Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PDF 03 Formulario de Relaciones - Compress
PDF 03 Formulario de Relaciones - Compress
Relaciones
Relación Inversa: R ⊂ B×
R −1 = {( y, x ) / ( x, y ) ∈ R}
Propiedades de la composición:
- Asociatividad:
(T o S ) o R = T o (S o R)
- Relación Inversa:
(S o R )−1 =R
−1
o S −1
Relaciones definidas
2
Propiedades de las relaciones definidas: R ⊂ A
- No reflexividad: R no es reflexiva ⇔ ∃x / x ∈ A ∧ ( x, x ) ∉ R
- Arreflexividad: R es arreflexiva ⇔ ∀x : x ∈ A ⇒ ( x, x ) ∉ R
www.carlos-eduardo.webs.tl 1
Formulario de Algebra I Relaciones
2
La relación R ⊂ es de equivalencia en A, si y solo si cumple la:
- Reflexividad: ∀x : x ∈ A ⇒ x ~ x
- Simetría: ∀x∀y : x ~ y ⇒ y ~ x
- Transitividad: ∀x∀y∀z : x ~ y ∧ y ~ z ⇒ x ~ z
Clases de equivalencia:
K a = {x ∈ A / x ~ a}
Conjunto de índices:
Conjunto cociente:
El conjunto formado por las clases de equivalencia se llama conjunto cociente de por la
relación de equivalencia, donde I es el conjunto de índices:
A
= {K u / u ∈ I }
~
www.carlos-eduardo.webs.tl 2
Formulario de Algebra I Relaciones
Orden Parcial: Sea R una relación de orden parcial de A ⇔ existen pares de elementos
incomparables:
∃ a, ∃ b / (a, b ) ∉ R ∧ (b, a ) ∉ R
Orden Total: Sea R una relación de orden total de ⇔ no existen pares de elementos
incomparables:
a ≠ b ⇒ (a, b ) ∈ R ∨ (b, a ) ∈ R
2
Orden Estricto: Sea R ⊂ A , R es una relación de orden estricto en A si y solo sí cumple
la:
- Arreflexividad: a ∈ A ⇒ (a, a ) ∉ R
- Asimétrica: (a, b) ∈ R ⇒ (b, a) ∉ R
- Transitividad: (a, b ) ∈ R ∧ (b, c ) ∈ R ⇒ (a, c ) ∈ R
El signo de preceder:
Sea (a, b ) ∈ R y se puede igualmente denotar por aRb y con el signo de preceder a p b.
Con esta notación se tiene:
- Reflexividad: a∈ A⇒ a p a
- Antisimetría: a pb∧b p a ⇒ a =b
- Transitividad: a pb∧b p c ⇒ a pc
- Linealidad: a ≠ b⇒ a pb∨b p a
Relaciones Funcionales
Sea R una relación binaria que R ⊆ A × B , que es lo mismo decir de que R es una relación o
aplicación de A en B : R : A → B ,
Se dice que esta relación R que cumple estas dos condiciones, se llama Función,
Aplicación o Transformación Lineal y se denota por f :
f : A→B
www.carlos-eduardo.webs.tl 4