Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorico Relaciones 2021
Teorico Relaciones 2021
1-Por comprensión. Indicando la propiedad que debe cumplir un par (a, b) para que pertenezca a la Relación.
Academia Giovannini 1
Copyright 1982 - 2011 Academia Giovannini - Todos los derechos reservados.
Eduardo Acevedo 1462 Tel. 2 402 72 27 ACADEMIA GIOVANNINI
http://www.giovannini.edu.uy Relaciones - Propiedades
• Existen 2 2(
1 n2 +n
) relaciones simétricas A.
4. ANTISIMÉTRICA
La relación R es antisimétrica si para todos a, b ∈ A se cumple que si ( a, b ) ∈ R y ( b,a ) ∈ R ⇒ a = b .
• Una relación es antisimétrica si y sólo si M ∩ M t ≤ In
• Existen en 2 .3 n 2(
1 n 2 −n
) relaciones antisimétricas A.
5. ASIMÉTRICA.
La relación R es asimétrica si ( a, b ) ∈ R ⇒ ( b, a ) ∉ R para todos a, b ∈ A
ur
• Una relación es asimétrica si y sólo si M ∩ M t = O (debe tener solamente 0 en la diagonal).
• Existen en 3 2
(
1 n2 −n
) relaciones antisimétricas A.
6. TRANSITIVA
• Para un conjunto A, una relación R sobre A es transitiva si
( a, b ) ∈ R y ( b, c ) ∈ R ⇒ ( a, c ) ∈R
• Una relación es transitiva si y sólo si M 2 ≤ M .
RELACIÓN INVERSA Dada una relación R de A en B, se define como R-1 de B en A a la relación tal que
bR-1a si aRb
RELACIÓN DE EQUIVALENCIA
Una relación de equivalencia R sobre un conjunto A es una relación que es reflexiva, simétrica y transitiva.
Academia Giovannini 2
Copyright 1982 - 2011 Academia Giovannini - Todos los derechos reservados.
Eduardo Acevedo 1462 Tel. 2 402 72 27 ACADEMIA GIOVANNINI
http://www.giovannini.edu.uy Relaciones - Propiedades
RELACIÓN DE ORDEN
ORDEN PARCIAL Una relación R es de orden parcial sobre un conjunto A si es es reflexiva, antisimétrica y
transitiva.
ORDEN TOTAL Una relación R de orden parcial es de orden total en A si ∀a, b ∈ A entonces: aRb o bRa.
Notacion
1 Si aRb diremos que a “precede a” b o que b “sigue a” a
2 (A,R) indica que R es una relación de orden parcial o total definida en el conjunto A.
Diagrama de Hasse
Si (A,R) es un conjunto parcialmente ordenado, el grafico asociado a la relación
1- Como cada elemento esta en relación con el, el grafo tiene un lazo en cada elemento.
2- Si el elemento a determina una arista con el elemento b, entonces el elemento b determina una arista
con el elemento a, lo que implica que en el grafo cada arista tiene una doble flecha.
3- Como es transitiva, si a determina una arista con b y b determina una arista con c, entonces a
determina una arista c, formándose en el grafo un triángulo.
Para simplificar el grafo asociado, el matemático Hasse convino en dibujarlo con las siguientes reglas para
evitar lazos, flechas y triángulos.
1 No dibujar lazos en cada vértice.
2 Si a esta en relación con b, ubicamos el vértice a debajo del vértice b y los unimos sin flecha.
3 Si a esta en relación con b y b con c, no dibujamos la arista ac
Sea (A, R) un conjunto parcialmente ordenado.
• En forma análoga, un elemento b´∈ A es un supremo de B si es una cota superior de B y si para todas las
demás cotas inferiores b´´ de B tenemos que b´Rb´´. (el supremo de B es cota superior de B y precede a
todas las cotas superiores de B)
Academia Giovannini 3
Copyright 1982 - 2011 Academia Giovannini - Todos los derechos reservados.