SlideShare une entreprise Scribd logo
1  sur  21
MATEMATICAS DISCRETAS
Diremos que R es reflexiva si ∀a∈A, a R a
1) En N la relación R definida por: “x R y ⇔ x divide a y”
es reflexiva ya que ∀x∈N, x R x porque x divide a x
2) En N la relación R definida por:
“a R b ⇔ a es el doble de b”.
no es reflexiva ya que (1, 1) ∉R puesto que 1 no es el doble de 1
Propiedad reflexiva
Definición:
Sea R una relación binaria R en A, (A ≠ ∅).
Ejemplo:
Propiedad reflexiva
Representación Cartesiana
A
A
Si la relación R es reflexiva
entonces la diagonal
pertenece a la relación.
Representación Sagital:
A
Si la relación R es reflexiva entonces
todo elemento tiene una flecha que
comienza y termina en sí mismo (un bucle).
Diremos que R es simétrica si ∀ a, b ∈A: a R b ⇒ b R a
1) En Z la relación R definida por: “a R b ⇔ a – b es múltiplo de 2”.
es simétrica ya que si a R b ⇒ hay p∈Z tal que a – b = 2p
⇒ b – a = 2(-p) con -p ∈ Z ⇒ b R a
2) En N la relación R definida por: “x R y ⇔ x divide a y”
no es simétrica ya que 2 R 4 porque 2 divide a 4 pero 4 no divide a 2
por lo tanto (4,2) ∉R
Propiedad simétrica
Definición:
Ejemplo:
Propiedad simétrica
Representación Cartesiana
Si la relación R es simétrica
sobre A entonces los
pares relacionados se reflejan
respecto a la diagonal
principal.
Representación Sagital:
A
Si la relación R es simétrica entonces
todo par de elementos que tiene una flecha
la tiene en las dos direcciones
A
A
Diremos que R es antisimétrica si ∀ a, b ∈A: [a R b ∧ b R a] ⇒ a = b
Otra manera de expresarlo: Si a≠b ⇒ [ (a,b) ∉ R ∨ (b,a) ∉ R ]
1) En N la relación R definida por: “x R y ⇔ x divide a y” es antisimétrica
Ya que si a R b y b R a entonces existen n, m ∈N tales que:
b = an y a = bm. Combinándolas, a = bm = (a.n).m ⇒ n.m = 1 ⇒
n = m = 1 ⇒ a = b.
2) En Z la relación R definida por: “a R b ⇔ a – b es múltiplo de 2”.
no es antisimétrica ya que 2R4 y 4R2, pero 2≠4
Propiedad antisimétrica
Definición:
Ejemplo:
Propiedad antisimétrica
A
A
Representación Cartesiana
Si la relación R es antisimétrica
pueden existir pares por encima o por
debajo de la diagonal pero ningún par
tiene reflejo respecto a la diagonal
principal excepto la diagonal misma.
Representación Sagital:
A
La relación R es antisimétrica si para cada
par de elementos distintos relacionados la
flecha está solo en un sentido
Propiedad Transitiva
Definición:
Ejemplo:
Diremos que R es transitiva si ∀ a, b, c ∈A: [a R b ∧ b R c] ⇒ a R c
1) En N la relación R definida por: “x R y ⇔ x divide a y”
es transitiva ya que si a R b y b R c entonces existen n, m ∈N tales que:
b = an y c = bm. Combinándolas, c = bm = (a.n).m= a(n.m) con n.m ∈N
⇒ b R c.
2) En N la relación R definida por: “a R b ⇔ a es el doble de b”.
no es transitiva ya que (4, 2) ∈ R y (2, 1) ∈ R puesto que 4 es el doble de 2
y 2 es el doble de 1, sin embargo 4 no es el doble de 1, de donde (4,1)∉ R
Propiedad Transitiva
Representación Sagital:
A
La relación R es transitiva si cada vez que
hay un camino entre tres elementos,
también está la flecha que comienza en el
principio del camino y va al elemento que
es final del camino.
Cuadro Resumen
Propiedad
R
Se satisface sii No se satisface sii
Reflexiva ∀a∈A a R a
Simétrica ∀ a, b ∈A:
a R b ⇒ b R a
Antisimétrica ∀ a, b ∈A:
[a R b ∧ b R a] ⇒ a = b
Transitiva ∀ a, b, c ∈A:
[a R b ∧ b R c] ⇒ a R c
Completa la siguiente tabla:
Cuadro Resumen
Propiedad
R
Se satisface sii No se satisface sii
Reflexiva ∀a∈A a R a ∃ a∈A (a,a)∉R
Simétrica ∀ a, b ∈A:
a R b ⇒ b R a
∃ a, b ∈A:
(a, b) ∈ R ∧ (b, a) ∉ R
Antisimétrica ∀ a, b ∈A:
[a R b ∧ b R a] ⇒ a = b
∃ a, b ∈A:
(a, b) ∈ R ∧ (b, a) ∈ R ∧ a ≠ b
Transitiva ∀ a, b, c ∈A:
[a R b ∧ b R c] ⇒ a R c
∃ a, b, c ∈A:
(a, b) ∈ R ∧ (b, c) ∈ R ∧ (a, c) ∉ R
Verifique:
Ejercicios
Ejercicio 1:
Sea A = {1, 2, 3, 4}.
i) Represente gráficamente las relaciones (b) y (d) en forma cartesiana y
sagital.
ii) Determine las propiedades que satisfacen las siguientes relaciones en A y
verifíquelas (demuéstrelas)
a) R = { (1,1) , (2,2) , (3,3)}.
b) R = { (1,1) , (2,2) , (3,3), (4,4) , (1,2) , (1,4) , (2,1), (3,2) , (4,3) }.
c) R = { (1,1) , (2,2) , (3,3), (4,4)}.
d) R = { (1,1) , (2,2) , (3,3), (1,2), (3,2) , (2,3) }.
e) R = { (1,1) , (1,2) , (1,4) , (2,3), (4,3) }.
Ejercicios
Ejercicio 2:
Sea A = {1, 2, 3, 4}. Construya tres relaciones binarias en A con las siguientes
propiedades:
i) Reflexiva, simétrica y no transitiva
ii) Reflexiva, no simétrica y transitiva
iii) No reflexiva, simétrica y transitiva
Ejercicios
Ejercicio 3:
Sea A = {1, 2, 3, 4}. Considere las siguientes relaciones binarias en A:
A
1 2
3 4
A
1 2
3 4
(a) (b)
a) Exprese las relaciones anteriores por extensión
b) Determine las propiedades que satisfacen las relaciones en A anteriores
y pruébelas!
Ejercicios
Ejercicio 4:
Sea A = {1, 2, 3, 4, 5}. Considere las siguientes relaciones binarias en A:
(c) (d)
i) Determine las propiedades que satisfacen las relaciones en A anteriores
y pruébelas!
A
1 2
5 3
4
A
1 2
5 3
4
Ejercicios
Ejercicio 5:
Definimos en ℜ, el conjunto de los números reales, la relación R :
x R y ⇔ x – y ∈ Ζ
Determina las propiedades que cumple R y demuestra, usando la
definición, que efectivamente las verifica!
Conteo de relaciones
Relaciones reflexivas
Contemos la cantidad de relaciones reflexivas en A, con A=n
Tenemos n pares de la forma (ai,ai); como AxA=n2
, nos quedan n2
-n pares
con componentes distintas. Tenemos la opción de incluirlos o no......por lo tanto
hay
relaciones reflexivas en A
nn2
2 −
Relaciones simétricas
Tenemos subconjuntos de la forma
y n subconjuntos de la forma
Tenemos la opción de incluirlos o no......por lo tanto hay
relaciones simétricas en A y....
relaciones reflexivas y simétricas en A.
2
nn2
− { }Aa,ai,j),a,(a),a,(a jiijji ∈≠
{ }Aa),a,(a iii ∈
2
nn
n
2
22
−
2
nn2
2
−
Conteo de relaciones
Relaciones antisimétricas
Tenemos subconjuntos de la forma
y n subconjuntos de la forma
2
nn2
− { }Aa,ai,j),a,(a),a,(a jiijji ∈≠
{ }Aa),a,(a iii ∈
Tenemos la opción de incluirlos o no cada par de la forma (ai,ai) y con
respecto a los pares (ai,aj), tenemos tres opciones:
(1) incluir (ai,aj) (2) Incluir (aj,ai) y (3) no incluir niguno de los dos.
Por lo tanto, hay
relaciones antisimétricas en A..
2
nn
n
2
32
−
Tipos de relaciones
Relación de equivalencia
Diremos que una relación binaria sobre A, es una relación de equivalencia
si satisface las tres propiedades:
 R es reflexiva
 R es simétrica
 R es transitiva
Ejemplos:
1) En Z la relación R definida por: a R b ⇔ a – b es múltiplo de 3.
2) Dado un conjunto D⊆ U, la relación:
A R B ⇔ A ∩ D = B ∩D
Demuestra que estas son relaciones de equivalencia
Tipos de relaciones
Relación de orden
Diremos que una relación binaria sobre A, es una relación de orden parcial
si satisface las tres propiedades:
 R es reflexiva
 R es antisimétrica
 R es transitiva
En este caso diremos que el conjunto A está parcialmente ordenado
Ejemplos:
1) En D60 , el conjunto de todos los divisores de 60, la relación R definida
por: a R b ⇔ a divide a b.
2) En R, la relación definida por a R b ⇔ a ≤ b.
Demuestra que estas son relaciones de orden.
Tipos de relaciones
Relación de orden
Diremos que una relación binaria R sobre A, es una relación de orden total
si es una relación de orden parcial y además se satisface que:
∀ a, b ∈A: [a R b ∨ b R a]
En este caso diremos que el conjunto A está totalmente ordenado
Ejercicio:
1) En las relaciones anteriores decida cuáles son de orden parcial o de
orden total
2) Para pensar: Considere la relación en R2
, definida por por:
(x,y) R (a,b) ⇔ x ≤ a ∧ y ≤ b .
¿Qué tipo de relación es?

Contenu connexe

Tendances

Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasÄlëx Vïllëğäš
 
LISTA DE SÍMBOLOS EN ÁLGEBRA
LISTA DE SÍMBOLOS EN ÁLGEBRALISTA DE SÍMBOLOS EN ÁLGEBRA
LISTA DE SÍMBOLOS EN ÁLGEBRAcarmencitamami
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaJ. Amauris Gelabert S.
 
Números Reales
Números RealesNúmeros Reales
Números Realesesuarez28
 
Expresiones aritmetica
Expresiones aritmeticaExpresiones aritmetica
Expresiones aritmeticaCarlos Mauneul
 
Matrices en la vida cotidiana.
Matrices en la vida cotidiana.Matrices en la vida cotidiana.
Matrices en la vida cotidiana.GizehRodriguez
 
APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD
APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD
APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD Vivaldi Heredia
 
Axiomas de espacios vectoriales
Axiomas de espacios vectorialesAxiomas de espacios vectoriales
Axiomas de espacios vectorialesnktclau
 
Ejercicios resueltos derivadas trigonométricas
Ejercicios resueltos derivadas trigonométricasEjercicios resueltos derivadas trigonométricas
Ejercicios resueltos derivadas trigonométricasJosé
 
S5 Operaciones con funciones
S5 Operaciones con funcionesS5 Operaciones con funciones
S5 Operaciones con funcionesNormaToledo
 
Propiedades relaciones binarias
Propiedades relaciones binariasPropiedades relaciones binarias
Propiedades relaciones binariasTERE FERNÁNDEZ
 

Tendances (20)

Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
3 Operaciones Binarias
3  Operaciones Binarias3  Operaciones Binarias
3 Operaciones Binarias
 
Relación de orden
Relación de ordenRelación de orden
Relación de orden
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
LISTA DE SÍMBOLOS EN ÁLGEBRA
LISTA DE SÍMBOLOS EN ÁLGEBRALISTA DE SÍMBOLOS EN ÁLGEBRA
LISTA DE SÍMBOLOS EN ÁLGEBRA
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemática
 
Números Reales
Números RealesNúmeros Reales
Números Reales
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Expresiones aritmetica
Expresiones aritmeticaExpresiones aritmetica
Expresiones aritmetica
 
Números reales
Números realesNúmeros reales
Números reales
 
Matrices en la vida cotidiana.
Matrices en la vida cotidiana.Matrices en la vida cotidiana.
Matrices en la vida cotidiana.
 
APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD
APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD
APLICACIONES DE LOS NUMEROS COMPLEJOS A LA ELECTRICIDAD
 
Axiomas de espacios vectoriales
Axiomas de espacios vectorialesAxiomas de espacios vectoriales
Axiomas de espacios vectoriales
 
Ejercicios resueltos derivadas trigonométricas
Ejercicios resueltos derivadas trigonométricasEjercicios resueltos derivadas trigonométricas
Ejercicios resueltos derivadas trigonométricas
 
Arreglos c++
Arreglos c++Arreglos c++
Arreglos c++
 
S5 Operaciones con funciones
S5 Operaciones con funcionesS5 Operaciones con funciones
S5 Operaciones con funciones
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
Gauss jordan
Gauss jordanGauss jordan
Gauss jordan
 
Propiedades relaciones binarias
Propiedades relaciones binariasPropiedades relaciones binarias
Propiedades relaciones binarias
 

Similaire à Propiedades de las relaciones (20)

Ronald camacho C.I 24567505
Ronald camacho C.I 24567505Ronald camacho C.I 24567505
Ronald camacho C.I 24567505
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relaciones binarias power point
Relaciones binarias power pointRelaciones binarias power point
Relaciones binarias power point
 
Relaciones
RelacionesRelaciones
Relaciones
 
Expo elmo
Expo elmoExpo elmo
Expo elmo
 
Relaciones....
Relaciones.... Relaciones....
Relaciones....
 
Relación binaria entre conjuntos
Relación binaria entre conjuntosRelación binaria entre conjuntos
Relación binaria entre conjuntos
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
Relacion y grafos
Relacion y grafosRelacion y grafos
Relacion y grafos
 
7.1 relaciones
7.1 relaciones7.1 relaciones
7.1 relaciones
 
7.1 relaciones
7.1 relaciones7.1 relaciones
7.1 relaciones
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relaciones Binarias
Relaciones BinariasRelaciones Binarias
Relaciones Binarias
 
Relaciones y grafos PSMBNA
Relaciones y grafos PSMBNARelaciones y grafos PSMBNA
Relaciones y grafos PSMBNA
 
Tema 4 algebra
Tema 4 algebraTema 4 algebra
Tema 4 algebra
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
 
DOC-20230621-WA0002..pdf
DOC-20230621-WA0002..pdfDOC-20230621-WA0002..pdf
DOC-20230621-WA0002..pdf
 
Relaciones-y-funciones.pdf
Relaciones-y-funciones.pdfRelaciones-y-funciones.pdf
Relaciones-y-funciones.pdf
 
02.Relaciones y funciones - Luis Zegarra.pdf
02.Relaciones y funciones - Luis Zegarra.pdf02.Relaciones y funciones - Luis Zegarra.pdf
02.Relaciones y funciones - Luis Zegarra.pdf
 

Propiedades de las relaciones

  • 2. Diremos que R es reflexiva si ∀a∈A, a R a 1) En N la relación R definida por: “x R y ⇔ x divide a y” es reflexiva ya que ∀x∈N, x R x porque x divide a x 2) En N la relación R definida por: “a R b ⇔ a es el doble de b”. no es reflexiva ya que (1, 1) ∉R puesto que 1 no es el doble de 1 Propiedad reflexiva Definición: Sea R una relación binaria R en A, (A ≠ ∅). Ejemplo:
  • 3. Propiedad reflexiva Representación Cartesiana A A Si la relación R es reflexiva entonces la diagonal pertenece a la relación. Representación Sagital: A Si la relación R es reflexiva entonces todo elemento tiene una flecha que comienza y termina en sí mismo (un bucle).
  • 4. Diremos que R es simétrica si ∀ a, b ∈A: a R b ⇒ b R a 1) En Z la relación R definida por: “a R b ⇔ a – b es múltiplo de 2”. es simétrica ya que si a R b ⇒ hay p∈Z tal que a – b = 2p ⇒ b – a = 2(-p) con -p ∈ Z ⇒ b R a 2) En N la relación R definida por: “x R y ⇔ x divide a y” no es simétrica ya que 2 R 4 porque 2 divide a 4 pero 4 no divide a 2 por lo tanto (4,2) ∉R Propiedad simétrica Definición: Ejemplo:
  • 5. Propiedad simétrica Representación Cartesiana Si la relación R es simétrica sobre A entonces los pares relacionados se reflejan respecto a la diagonal principal. Representación Sagital: A Si la relación R es simétrica entonces todo par de elementos que tiene una flecha la tiene en las dos direcciones A A
  • 6. Diremos que R es antisimétrica si ∀ a, b ∈A: [a R b ∧ b R a] ⇒ a = b Otra manera de expresarlo: Si a≠b ⇒ [ (a,b) ∉ R ∨ (b,a) ∉ R ] 1) En N la relación R definida por: “x R y ⇔ x divide a y” es antisimétrica Ya que si a R b y b R a entonces existen n, m ∈N tales que: b = an y a = bm. Combinándolas, a = bm = (a.n).m ⇒ n.m = 1 ⇒ n = m = 1 ⇒ a = b. 2) En Z la relación R definida por: “a R b ⇔ a – b es múltiplo de 2”. no es antisimétrica ya que 2R4 y 4R2, pero 2≠4 Propiedad antisimétrica Definición: Ejemplo:
  • 7. Propiedad antisimétrica A A Representación Cartesiana Si la relación R es antisimétrica pueden existir pares por encima o por debajo de la diagonal pero ningún par tiene reflejo respecto a la diagonal principal excepto la diagonal misma. Representación Sagital: A La relación R es antisimétrica si para cada par de elementos distintos relacionados la flecha está solo en un sentido
  • 8. Propiedad Transitiva Definición: Ejemplo: Diremos que R es transitiva si ∀ a, b, c ∈A: [a R b ∧ b R c] ⇒ a R c 1) En N la relación R definida por: “x R y ⇔ x divide a y” es transitiva ya que si a R b y b R c entonces existen n, m ∈N tales que: b = an y c = bm. Combinándolas, c = bm = (a.n).m= a(n.m) con n.m ∈N ⇒ b R c. 2) En N la relación R definida por: “a R b ⇔ a es el doble de b”. no es transitiva ya que (4, 2) ∈ R y (2, 1) ∈ R puesto que 4 es el doble de 2 y 2 es el doble de 1, sin embargo 4 no es el doble de 1, de donde (4,1)∉ R
  • 9. Propiedad Transitiva Representación Sagital: A La relación R es transitiva si cada vez que hay un camino entre tres elementos, también está la flecha que comienza en el principio del camino y va al elemento que es final del camino.
  • 10. Cuadro Resumen Propiedad R Se satisface sii No se satisface sii Reflexiva ∀a∈A a R a Simétrica ∀ a, b ∈A: a R b ⇒ b R a Antisimétrica ∀ a, b ∈A: [a R b ∧ b R a] ⇒ a = b Transitiva ∀ a, b, c ∈A: [a R b ∧ b R c] ⇒ a R c Completa la siguiente tabla:
  • 11. Cuadro Resumen Propiedad R Se satisface sii No se satisface sii Reflexiva ∀a∈A a R a ∃ a∈A (a,a)∉R Simétrica ∀ a, b ∈A: a R b ⇒ b R a ∃ a, b ∈A: (a, b) ∈ R ∧ (b, a) ∉ R Antisimétrica ∀ a, b ∈A: [a R b ∧ b R a] ⇒ a = b ∃ a, b ∈A: (a, b) ∈ R ∧ (b, a) ∈ R ∧ a ≠ b Transitiva ∀ a, b, c ∈A: [a R b ∧ b R c] ⇒ a R c ∃ a, b, c ∈A: (a, b) ∈ R ∧ (b, c) ∈ R ∧ (a, c) ∉ R Verifique:
  • 12. Ejercicios Ejercicio 1: Sea A = {1, 2, 3, 4}. i) Represente gráficamente las relaciones (b) y (d) en forma cartesiana y sagital. ii) Determine las propiedades que satisfacen las siguientes relaciones en A y verifíquelas (demuéstrelas) a) R = { (1,1) , (2,2) , (3,3)}. b) R = { (1,1) , (2,2) , (3,3), (4,4) , (1,2) , (1,4) , (2,1), (3,2) , (4,3) }. c) R = { (1,1) , (2,2) , (3,3), (4,4)}. d) R = { (1,1) , (2,2) , (3,3), (1,2), (3,2) , (2,3) }. e) R = { (1,1) , (1,2) , (1,4) , (2,3), (4,3) }.
  • 13. Ejercicios Ejercicio 2: Sea A = {1, 2, 3, 4}. Construya tres relaciones binarias en A con las siguientes propiedades: i) Reflexiva, simétrica y no transitiva ii) Reflexiva, no simétrica y transitiva iii) No reflexiva, simétrica y transitiva
  • 14. Ejercicios Ejercicio 3: Sea A = {1, 2, 3, 4}. Considere las siguientes relaciones binarias en A: A 1 2 3 4 A 1 2 3 4 (a) (b) a) Exprese las relaciones anteriores por extensión b) Determine las propiedades que satisfacen las relaciones en A anteriores y pruébelas!
  • 15. Ejercicios Ejercicio 4: Sea A = {1, 2, 3, 4, 5}. Considere las siguientes relaciones binarias en A: (c) (d) i) Determine las propiedades que satisfacen las relaciones en A anteriores y pruébelas! A 1 2 5 3 4 A 1 2 5 3 4
  • 16. Ejercicios Ejercicio 5: Definimos en ℜ, el conjunto de los números reales, la relación R : x R y ⇔ x – y ∈ Ζ Determina las propiedades que cumple R y demuestra, usando la definición, que efectivamente las verifica!
  • 17. Conteo de relaciones Relaciones reflexivas Contemos la cantidad de relaciones reflexivas en A, con A=n Tenemos n pares de la forma (ai,ai); como AxA=n2 , nos quedan n2 -n pares con componentes distintas. Tenemos la opción de incluirlos o no......por lo tanto hay relaciones reflexivas en A nn2 2 − Relaciones simétricas Tenemos subconjuntos de la forma y n subconjuntos de la forma Tenemos la opción de incluirlos o no......por lo tanto hay relaciones simétricas en A y.... relaciones reflexivas y simétricas en A. 2 nn2 − { }Aa,ai,j),a,(a),a,(a jiijji ∈≠ { }Aa),a,(a iii ∈ 2 nn n 2 22 − 2 nn2 2 −
  • 18. Conteo de relaciones Relaciones antisimétricas Tenemos subconjuntos de la forma y n subconjuntos de la forma 2 nn2 − { }Aa,ai,j),a,(a),a,(a jiijji ∈≠ { }Aa),a,(a iii ∈ Tenemos la opción de incluirlos o no cada par de la forma (ai,ai) y con respecto a los pares (ai,aj), tenemos tres opciones: (1) incluir (ai,aj) (2) Incluir (aj,ai) y (3) no incluir niguno de los dos. Por lo tanto, hay relaciones antisimétricas en A.. 2 nn n 2 32 −
  • 19. Tipos de relaciones Relación de equivalencia Diremos que una relación binaria sobre A, es una relación de equivalencia si satisface las tres propiedades:  R es reflexiva  R es simétrica  R es transitiva Ejemplos: 1) En Z la relación R definida por: a R b ⇔ a – b es múltiplo de 3. 2) Dado un conjunto D⊆ U, la relación: A R B ⇔ A ∩ D = B ∩D Demuestra que estas son relaciones de equivalencia
  • 20. Tipos de relaciones Relación de orden Diremos que una relación binaria sobre A, es una relación de orden parcial si satisface las tres propiedades:  R es reflexiva  R es antisimétrica  R es transitiva En este caso diremos que el conjunto A está parcialmente ordenado Ejemplos: 1) En D60 , el conjunto de todos los divisores de 60, la relación R definida por: a R b ⇔ a divide a b. 2) En R, la relación definida por a R b ⇔ a ≤ b. Demuestra que estas son relaciones de orden.
  • 21. Tipos de relaciones Relación de orden Diremos que una relación binaria R sobre A, es una relación de orden total si es una relación de orden parcial y además se satisface que: ∀ a, b ∈A: [a R b ∨ b R a] En este caso diremos que el conjunto A está totalmente ordenado Ejercicio: 1) En las relaciones anteriores decida cuáles son de orden parcial o de orden total 2) Para pensar: Considere la relación en R2 , definida por por: (x,y) R (a,b) ⇔ x ≤ a ∧ y ≤ b . ¿Qué tipo de relación es?