Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ISSN: 1794-8932
produccionbibliografica@ugca.edu.co
Universidad La Gran Colombia
Colombia
Oostra, Arnold
RELACIONES DE EQUIVALENCIA Y RELACIONES RECTANGULARES
Sophia, núm. 1, marzo, 2005, pp. 21-30
Universidad La Gran Colombia
Quindío, Colombia
RELACIONES DE EQUIV
RELA ALENCIA Y
EQUIVALENCIA
RELACIONES RECT
RELA RECTANGUL
ANGULARES
ANGUL ARES
Arnold Oostra
Profesor del Departamento de Matemáticas y Estadística de la Universidad del Tolima.*
RESUMEN
Ese presentan las relaciones rectangulares: ejemplos, propiedades, su conexión
con las relaciones de equivalencia, su relevancia en el contexto del Álgebra Universal.
- SOPHIA
Palabras clave: Relación binaria; relación de equivalencia; relación rectangular;
álgebra; variedad; congruencia.
ABSTRACT
Presenting rectangular relations: examples, properties, their connection with the
relations of equivalence and their relevance in the Universal Algebra context.
RELACIONES DE EQUIVALENCIA
Como todas las artes y ciencias, la matemática procura capturar nociones gene-
rales mediante representaciones ‘concretas’ y manejables.
* Universidad del Tolima. Ibagué, Tolima, Colombia. AA 546. Becario 2003–2004 de la Fundación Mazda para el Arte y la Ciencia. E-mail:oostra@telecom.com.co
21
Revista de Investigaciones U.G.C. // Año 1 Edición No. 1 // Marzo de 2005
Arnold Oostra
Definición
Definición
Definición
- SOPHIA
Definición
22
Universidad La Gran Colombia • Seccional Armenia
RELACIONES DE EQUIVALENCIA Y RELACIONES RECTANGULARES
- SOPHIA
rectangular en R × R.
Una relación binaria es
rectangular si para cada y Otra justificación para el nombre de
: estas relaciones reside en que las
relaciones rectangulares básicas son los
implica rectángulos.
23
Revista de Investigaciones U.G.C. // Año 1 Edición No. 1 // Marzo de 2005
Arnold Oostra
Ahora de se sigue y
de se sigue Luego
también y de se sigue
Así y . De
Definición esta manera R es rectangular.
24
Universidad La Gran Colombia • Seccional Armenia
RELACIONES DE EQUIVALENCIA Y RELACIONES RECTANGULARES
Ejemplo 5:
Para arbitrario es si y
solo si si y solo si
si y solo si , de
manera que . Por otro lado,
como , se tiene de donde
- SOPHIA
.
En resumen, si entonces
. donde A,C son subconjuntos
disyuntos de U y B,D lo son de
La misma igualdad se obtiene —de V. A la derecha, la relación es
manera simétrica— cuando . Así
es una
donde es una
partición de U y es
una partición de V. Esta relación
familia de rectángulos proyectivamente también es rectangular.
disyuntos dos a dos.
Este ejemplo puede generalizarse
Esta caracterización arroja más con facilidad. Si es una
ejemplos interesantes. partición finita de U y una
de V con
con igual
igual número
número de
declases,
clases,para
para
25
Revista de Investigaciones U.G.C. // Año 1 Edición No. 1 // Marzo de 2005
Arnold Oostra
cadacada permutación
permutación dedennelementos
elementos rectangular no tiene
rectangular por qué
no tiene ser reflexi-
por qué ser re-
la unión va, simétrica
flexiva, o transitiva.
simétrica El ejemplo
o transitiva. si-
El ejem-
guiente
plo es otra
siguiente generalización
es otra posible
generalización po-
del ejemplo
sible 4.
del ejemplo 4.
26
Universidad La Gran Colombia • Seccional Armenia
RELACIONES DE EQUIVALENCIA Y RELACIONES RECTANGULARES
- SOPHIA
es una estructura —denotada A, por
es reflexiva y rectangular.
ejemplo— que consiste en un conjunto
A dotado de una cantidad finita de ope-
Esta caracterización de las relacio-
raciones, a saber, funciones
nes de equivalencia tiene varios rasgos
para alguna aridad n. Esto
interesantes. En primer lugar, siempre
a veces se simboliza como sigue.
resulta útil e instructivo tener a mano la
mayor cantidad de descripciones diver-
sas de un mismo fenómeno. En segun-
do lugar, el carácter rectangular de una Por regla general, se exige que las
relación puede visualizarse —hasta cierto operaciones de una estructura específi-
punto— en el gráfico de la relación, lo ca tengan
tenganciertas
ciertaspropiedades
propiedades adicio-
adiciona-
que no sucede con el carácter transiti- nales. Así,
les. Así, por
por ejemplo,
ejemplo, unungrupo
grupopuede
pue-
vo. En tercer lugar y como se observó d e verse
verse c o m o una
como una e structura
estructura
al principio de esta sección, el concepto cuyas operaciones sa-
de relación rectangular tiene sentido en tisfacen ciertas ecuaciones, los axiomas
un contexto más general que el de las de grupo; un anillo es un álgebra de la
relaciones de equivalencia. En efecto, forma ; un retículo —
mientras las relaciones simétricas y conjunto ordenado en el cual cada par
transitivas deben ser, de entrada, rela- de elementos tiene extremo superior Sup
ciones en un mismo conjunto, las rela- y extremo inferior Inf — puede describir-
ciones rectangulares pueden existir en- se como un álgebra cuyas
tre conjuntos diferentes. operaciones satisfacen
satisfacen determinad
d e te r m inadaass
27
Revista de Investigaciones U.G.C. // Año 1 Edición No. 1 // Marzo de 2005
Arnold Oostra
28
Universidad La Gran Colombia • Seccional Armenia
RELACIONES DE EQUIVALENCIA Y RELACIONES RECTANGULARES
- SOPHIA
grupos, anillos y álgebras booleanas son
de congruencias permutables mientras
la de retículos no lo es [1, 2].
La siguiente caracterización se prue-
ba en [2] y fue la motivación para el
presente estudio de las relaciones rec-
tangulares.
Teorema 3
Una variedad es de congruencias
permutables si y solo si todo subuni-
verso del producto de dos álgebras de
la variedad es rectangular.
En símbolos: la variedad V es de
congruencias permutables si y solo si
para cada par de álgebras,
si S es cualquier subuniver-
so del producto A × B entonces S es
rectangular.
29
Revista de Investigaciones U.G.C. // Año 1 Edición No. 1 // Marzo de 2005
BIBLIOGRAFÍA
30
Universidad La Gran Colombia • Seccional Armenia