MATEMATICA I C1 y C3 - ESQUEMA CLASE TEORICA 08: RELACIONES Y RELACIONES DE ORDEN

Observación: este apunte NO reemplaza a la clase teórica. Es un detalle de los temas que vamos a desarrollar
en clase a los fines de agilizar la toma de apuntes en la misma.

Recuerdo: Producto cartesiano

Dados A y B conjuntos llamamos “Producto Cartesiano de A por B” al siguiente conjunto:
AxB  ( x, y) / x  A  y  B
Ejemplo: A  a, b, c B  1, 2
Observación: no conmuta y el cardinal es el producto de los cardinales

Definición Relación
Dados A y B conjuntos, llamamos “relación de A en B ” a cualquier subconjunto del producto cartesiano
de AxB
En símbolos: R : A  B  R  AxB
Ejemplos: Definir algunas. Notar la cantidad que son

Formas de representación de una relación

1. Por extensión
2. Por tabla
3. Por Diagrama de Venn
4. Por ejes Cartesianos
5. Por comprensión

Notación: dados A y B conjuntos si a  A y b  B , R : A  B , para indicar que “el elemento a  A está

relacionado con el elemento b  B ” diremos: aRb o (a, b)  R

Ejemplo por comprensión:

Dados A  1,3,5 B  2, 4,6 , se define la siguiente relación:
R : A  B / ( x, y )  R  x  y

Definiciones Varias
Sea R : A  B
A  Conjunto de Partida
B  Conjunto de Llegada o Codominio
Dominio de la relación: Dom( R)  D( R)  x  A / y  B  ( x, y)  R conjunto formado por las
primeras componentes de los pares ordenados que pertenecen a la relación. Dom( R)  A
Imagen de la relación: Im( R)  I ( R)   y  B / x  A  ( x, y)  R conjunto formado por las segundas
componentes de los pares ordenados que pertenecen a la relación. Im( R)  B
Relación Inversa: Dada R : A  B defino a la relación inversa como:
R1 : B  A / R1  ( y, x)  B  A / ( x, y)  R
Relación complementaria
R : A  B / R  ( x, y)  AxB / ( x, y )  R  AxB  R

Relaciones definidas en un mismo conjunto

Sea R : A  A R  AxA  A2 . Ejemplo:
A  a, b, c , defino una relación cualquier R  (a, b),(a, a),(c, b),(c, c)
Definir conjunto de partida, de llega, dominio, imagen y graficar
Obs: Si A  n entonces AxA  n
2
 MATEMATICA I C1 y C3 - ESQUEMA CLASE TEORICA 08: RELACIONES Y RELACIONES DE ORDEN

Para pensar:
Dado un conjunto A con A  n quiero pensar cuántas relaciones podemos armar
Recuerdo: el conjunto de partes P( A)   X / X  A y P( A)  2n
Sabemos que cualquier relación R  AxA , eso significa que R  P ( AxA) . ¿Y cuántos elementos tiene este
Conjunto de Partes?
o sea que puedo definir esta cantidad de relaciones¡¡!!
4
Observación: 23

Propiedades de las relaciones definidas en un mismo conjunto

Sea A   y R : A  A

1. R es reflexiva en A  x  A :  x, x   R
2. R no es reflexiva en A  x  A :  x, x   R

3. R es simétrica en A  x  A y  A :  x, y   R   y, x   R
4. R no es simétrica en A  x  A y  A :  x, y   R   y, x   R

5. R es transitiva en A  x  A y  A z  A :  x, y   R   y, z   R   x, z   R
6. R no es transitiva en A  x  A y  A z  A :  x, y   R   y, z   R   x, z   R

7. R es antisimétrica en A  x  A y  A :  x, y   R   y, x   R  x  y
Otra forma de escribir: x  A y  A :  x, y   R  x  y   y, x   R

Ejemplos:
Sea A  1, 2,3 estudiar las propiedades de las siguientes relaciones:
R1  (1,1), (2, 2), (3,3), (1, 2) R5  (1, 2), (2,1), (1,3)
R2  (1,1), (2, 2), (1, 2) R6  (2,3), (3, 2), (2, 2), (3,3)
R3  (1, 2) R7  (1,1), (2, 2)
R4  (1,1), (2,1) R8  (1, 2), (2,1)

Estudiar la relación R definida en el conjunto de números enteros por:

x, y  : ( x, y )  R  x  y es par
 MATEMATICA I C1 y C3 - ESQUEMA CLASE TEORICA 08: RELACIONES Y RELACIONES DE ORDEN

RELACIONES DE ORDEN
Sea la relación R : A  A :
R se dirá de orden amplio si y solo sí R es reflexiva, antisimétrica y Transitiva
R se dirá de orden estricto si y solo sí R es a-Reflexiva (ningún par cumple la reflexividad) y Transitiva

Notación: dados a, b  A , en lugar de aRb escribiremos a  b y diremos “ a precede a b ” o “ a antecede

a b ” o “ b sucede a a ”
Con esta notación ( A, ) indicamos que en el conjunto A , hay definida una relación de orden
En este caso se dirá que “el conjunto está ordenado”

Orden total y Parcial

Sea ( A, )
Se dirá que el conjunto A está totalmente ordenado si y solo sí x  A y  A : ( x  y  y  x ) , esto
significa que todos sus elementos son comparables
Si esto no sucede se dirá que el Orden es parcial y los elementos que no cumplen lo anterior, se dirán
Incomparables

Elementos en un orden (elementos notables)

Sea ( A, ) un conjunto ordenado y B  A , definiremos los siguientes Elementos Notables:
Cota superior del conjunto B
Dado z  A , z es cota superior de B si y solo sí x  B  x  z . Notación: z  CS ( B)
Supremo del conjunto B
Dado z  A , z es será el supremo de B si y solo sí z es cota superior de B y además
c  A : c es cota superior de B  z  c . Notación: z  sup( B)
Máximo del conjunto B
Dado z  A , z es el máximo de B si y solo sí z es el supremo de B y además z  B

Cota inferior del conjunto B

Dado z  A , z es cota inferior de B si y solo sí x  B  z  x . Notación: z  CI ( B )
Infimo del conjunto B
Dado z  A , z será el ínfimo de B si y solo sí z es cota inferior de B y además
c  A : c es cota inferior de B  c  z . Notación: z  inf( B)
Mínimo del conjunto B
Dado z  A , z será el mínimo de B si y solo sí z es el ínfimo de B y además z  B

Conjunto Maximal de B
Dado z  A , z  Maxim( B ) si y solo sí z  B  : x  B  z x . Notación: z  Maxim( B )
Conjunto Minimal de B
Dado z  A , z  Minim( B ) si y solo sí z  B  : x  B  x z . Notación: z  Minim( B)

Resumiendo:
• Las cotas superiores forman un conjunto
• Las cotas inferiores forman un conjunto
• Supremo, ínfimo, máximo y mínimo, si existen, son únicos
• Maximales y Minimales pertenecen a los conjuntos Maximal y Minimal respectivamente
• El supremo es la cota superior que antecede a cualquier otra cota superior
• El ínfimo es la cota inferior que sucede a cualquier otra cota inferior
• Si el supremo pertenece al conjunto, se llamará máximo
• Si el ínfimo pertenece al conjunto, se llamará mínimo
 MATEMATICA I C1 y C3 - ESQUEMA CLASE TEORICA 08: RELACIONES Y RELACIONES DE ORDEN

DIAGRAMA DE HASSE
Ejemplo: hacemos en clase
Sea A  a, b, c y considerar el conjunto de partes con la relación de inclusión (que es de orden, se podría
demostrar), escribimos entonces ( P( A), )
Escribir el conjunto de partes por extensión y graficar en Diagrama de Venn
Complicado, no se entiende
Si la relación es de orden utilizaremos para graficar un diagrama simplificado que se llama Diagrama de Hasse.
En el mismo:
Se suprimen los bucles y las flechas de la transitividad
Sólo se dibujan las líneas directas entre elementos diferentes
Se grafica de abajo hacia arriba y se omiten las puntas de las flechas
Recorrer “el camino” para encontrar los elementos que están relacionados

Ejemplos:
Sea A  a, b, c, d , e, f , g , h y diagrama que lo doy en clase. Encontrar elementos notables y elementos
incomparables si los hubiera
a. B1  a, b, c
b. B2  b, c, e, g
c. B3  a, c, d 