SlideShare una empresa de Scribd logo
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?

Más contenido relacionado

La actualidad más candente

Relacion Simetrica
Relacion SimetricaRelacion Simetrica
Relacion Simetricageogenial
 
Relaciones Introducción
Relaciones IntroducciónRelaciones Introducción
Relaciones Introducciónrezzaca
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones linealesa12lma
 
Qué es una función? y Qué no es función?
Qué es una función? y Qué no es función?Qué es una función? y Qué no es función?
Qué es una función? y Qué no es función?
Marcela Torres Rodríguez
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
Jan Carlos Saldarriaga LInk
 
Relación y función
Relación y funciónRelación y función
Relación y función
Lina Cárdenas Crespo
 
Concepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicasConcepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicas
jose williams flores trujillo
 
Propiedades relaciones binarias
Propiedades relaciones binariasPropiedades relaciones binarias
Propiedades relaciones binarias
TERE FERNÁNDEZ
 
SUMAS DE RIEMANN
SUMAS DE RIEMANNSUMAS DE RIEMANN
SUMAS DE RIEMANN
Santiago Muñoz
 
Conjuntos y sus Operaciones
Conjuntos y sus OperacionesConjuntos y sus Operaciones
Conjuntos y sus Operaciones
karlerivero
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binariasEnyelJox
 
funciones
funciones funciones
funciones
scholem
 
EJEMPLO APLICACIÓN DE MATRICES
EJEMPLO APLICACIÓN DE MATRICESEJEMPLO APLICACIÓN DE MATRICES
EJEMPLO APLICACIÓN DE MATRICESGenesis Acosta
 
Funcion lineal
Funcion lineal Funcion lineal
Funcion lineal
Juliana Isola
 
La responsabilidad social de las instituciones y organizaciones
La responsabilidad social de las instituciones y organizacionesLa responsabilidad social de las instituciones y organizaciones
La responsabilidad social de las instituciones y organizacionesEl Raza Lopez
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
graicelys volcán
 

La actualidad más candente (20)

Relacion Simetrica
Relacion SimetricaRelacion Simetrica
Relacion Simetrica
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Relaciones Introducción
Relaciones IntroducciónRelaciones Introducción
Relaciones Introducción
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones lineales
 
Qué es una función? y Qué no es función?
Qué es una función? y Qué no es función?Qué es una función? y Qué no es función?
Qué es una función? y Qué no es función?
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Relación y función
Relación y funciónRelación y función
Relación y función
 
axiomas de algebra
axiomas de algebraaxiomas de algebra
axiomas de algebra
 
Concepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicasConcepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicas
 
Propiedades relaciones binarias
Propiedades relaciones binariasPropiedades relaciones binarias
Propiedades relaciones binarias
 
SUMAS DE RIEMANN
SUMAS DE RIEMANNSUMAS DE RIEMANN
SUMAS DE RIEMANN
 
Conjuntos y sus Operaciones
Conjuntos y sus OperacionesConjuntos y sus Operaciones
Conjuntos y sus Operaciones
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
funciones
funciones funciones
funciones
 
Teoria de grafos
Teoria de grafosTeoria de grafos
Teoria de grafos
 
EJEMPLO APLICACIÓN DE MATRICES
EJEMPLO APLICACIÓN DE MATRICESEJEMPLO APLICACIÓN DE MATRICES
EJEMPLO APLICACIÓN DE MATRICES
 
Funcion lineal
Funcion lineal Funcion lineal
Funcion lineal
 
La responsabilidad social de las instituciones y organizaciones
La responsabilidad social de las instituciones y organizacionesLa responsabilidad social de las instituciones y organizaciones
La responsabilidad social de las instituciones y organizaciones
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 

Similar a Propiedades de las relaciones

Ronald camacho C.I 24567505
Ronald camacho C.I 24567505Ronald camacho C.I 24567505
Ronald camacho C.I 24567505
Ronald Camacho
 
Relaciones
RelacionesRelaciones
Relaciones
Christian Infante
 
Relaciones binarias power point
Relaciones binarias power pointRelaciones binarias power point
Relaciones binarias power pointraymel-2411
 
Relaciones....
Relaciones.... Relaciones....
Relaciones.... Vic03
 
Relación binaria entre conjuntos
Relación binaria entre conjuntosRelación binaria entre conjuntos
Relación binaria entre conjuntos
Luis Antonio Siza
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
LisandroAray
 
Relacion y grafos
Relacion y grafosRelacion y grafos
Relacion y grafos
JosePerdign
 
7.1 relaciones
7.1 relaciones7.1 relaciones
7.1 relaciones
Esteban Andres Diaz Mina
 
7.1 relaciones
7.1 relaciones7.1 relaciones
7.1 relaciones
Esteban Andres Diaz Mina
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funcioneswilberfig
 
Relaciones y grafos PSMBNA
Relaciones y grafos PSMBNARelaciones y grafos PSMBNA
Relaciones y grafos PSMBNA
Jose Marquez M
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
Wilderd Cabanillas Campos
 
Relaciones-y-funciones.pdf
Relaciones-y-funciones.pdfRelaciones-y-funciones.pdf
Relaciones-y-funciones.pdf
ElizabethAyastaGonza
 
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
DiegoSebastianBaezCa
 

Similar a 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 Binarias
Relaciones BinariasRelaciones Binarias
Relaciones Binarias
 
Relaciones
RelacionesRelaciones
Relaciones
 
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
 
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
 
Relaciones
RelacionesRelaciones
Relaciones
 

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?