Re Laci Ones

Producto Cartesiano
Definicin
Relacin binaria
Algunas relaciones notables.
Qu es un producto cartesiano?
Ejemplo: Sean A = {1, 2, 3} y B = {a, b}
A x B consta de los 6 pares de la lista
(1, a) (2, a) (3, a)
(1, b) (2, b) (3, b)
Sean A y B conjuntos no vacos
Producto cartesiano entre A y B es un conjunto
de pares ordenados donde la primera componente
pertenece a A y la segunda componente pertenece
a B y se denota por A x B.
A x B = {(a,b) / a e A y b e B }
Producto cartesiano
Los pares ordenados (a, b) e A B se pueden
representar como puntos que corresponden al cruce
de columnas que representan los elementos de A y
de filas que representan los elementos de B.
Ejemplo: La representacin grfica de los pares del
ejemplo se muestra a continuacin

B

A
Reflexiona
Respuestas:
1) No son iguales ... Por ej., sean los conjuntos
A = {a, b, c}, B = {1, 2}
A x B = { (a,1), (a,2), (b,1), (b, 2), (c, 1), (c,2) }
B x A = { (1,a), (1,b), (1,c), (2, a), (2, b), (2,c) }

2) |A x B|= |A|. |B| (Puedes decir por qu?)
Adems |A|. |B| = |B|. |A|= |B x A|
Entonces |A x B|= |B x A|
1) En general, ser cierto que A x B = B x A?
2) Si A y B son finitos qu podemos decir de
|A x B|?
Pinsalo y contesta
B
1
2
3
0
Ejemplo 2
1) Sean A = {1, 2, 3} y B = {0, 1, 2, 3}. Haz una lista
de los elementos de A x B. Cuntos son?
2) Representa grficamente al subconjunto
P = { (a, b) e A x B / a + b s 3}
1 2 3
A
0
Esta es la representacin
grfica del conjunto P.
Nos interesar fijar la
atencin en algunos
subconjuntos del
producto cartesiano
Qu es una relacin binaria?
Ejemplo: Sea U = {a, e, i, o, u}, A = {a, o} y B = { i, u}
A x B = {(a,i), (a,u), (o,i), (o,u)}
Son relaciones de A en B:
1) 2) {(a,i), (a,u)}
3) {(a, i)} 4) A x B
Sean A y B conjuntos no vacos
Una relacin R de A en B es cualquier subconjunto de
A x B.
En particular, cualquier subconjunto de A x A es una
relacin binaria en A.
Notacin
Ejemplos:
1) En N definimos la relacin R as:
a R b sii a es el doble de b.
Algunos elementos de la relacin son:
(2, 1) (8, 4) (2500, 1250), (120, 60)

2) En N se define la relacin R por:
x R y sii x divide a y
Entonces: 1 R 2, 2 R 2, 2 R 6, 2 R 18,
3 R 18, 3 R 21, 3 R 3, ....
Si (a,b) e R decimos que a est relacionado con
b y lo denotamos por a R b.
Conteo de relaciones
Ejemplo: Si A = {1, 2, 3} y B = {-1, -2}
entonces hay 64 relaciones de A en B.
Sean A y B conjuntos finitos y no
vacos podemos determinar el nmero de
relaciones entre A y B?
S !. Supongamos |A|=m y |B|=n. Sabemos que
|AxB|=m.n, por lo tanto, |(AxB)| = 2
m.n

Entonces pueden definirse hasta 2
m.n
relaciones
incluyendo .
MATEMATICAS DISCRETAS
Diremos que R es reflexiva si aeA, a R a
1) En N la relacin R definida por: x R y x divide a y
es reflexiva ya que xeN, x R x porque x divide a x
2) En N la relacin R definida por:
a R b a es el doble de b.
no es reflexiva ya que (1, 1) eR puesto que 1 no es el doble de 1
Propiedad reflexiva
Definicin:
Sea R una relacin binaria R en A, (A = C).
Ejemplo:
Propiedad reflexiva
Representacin Cartesiana
A
A
Si la relacin R es reflexiva
entonces la diagonal
pertenece a la relacin.
Representacin Sagital:
A
Si la relacin R es reflexiva entonces
todo elemento tiene una flecha que
comienza y termina en s mismo (un bucle).
Diremos que R es simtrica si a, b eA: a R b b R a
1) En Z la relacin R definida por: a R b a b es mltiplo de 2.
es simtrica ya que si a R b hay peZ tal que a b = 2p
b a = 2(-p) con -p e Z b R a
no es simtrica ya que 2 R 4 porque 2 divide a 4 pero 4 no divide a 2
por lo tanto (4,2) eR

Propiedad simtrica
Definicin:
Ejemplo:
Propiedad simtrica
Si la relacin R es simtrica
sobre A entonces los
pares relacionados se reflejan
respecto a la diagonal
principal.
A
Si la relacin R es simtrica entonces
todo par de elementos que tiene una flecha
la tiene en las dos direcciones
A
A
Diremos que R es antisimtrica si a, b eA: [a R b . b R a] a = b
Otra manera de expresarlo: Si a=b [ (a,b) e R v (b,a) e R ]
1) En N la relacin R definida por: x R y x divide a y es antisimtrica
Ya que si a R b y b R a entonces existen n, m eN tales que:
b = an y a = bm. Combinndolas, a = bm = (a.n).m n.m = 1
n = m = 1 a = b.

no es antisimtrica ya que 2R4 y 4R2, pero 2=4

Propiedad antisimtrica
Definicin:
Ejemplo:
Propiedad antisimtrica
A
A
Si la relacin R es antisimtrica
pueden existir pares por encima o por
debajo de la diagonal pero ningn par
tiene reflejo respecto a la diagonal
principal excepto la diagonal misma.
A
La relacin R es antisimtrica si para
cada par de elementos distintos
relacionados la flecha est solo en un
sentido
Propiedad Transitiva
Definicin:
Ejemplo:
Diremos que R es transitiva si a, b, c eA: [a R b . b R c] a R c
es transitiva ya que si a R b y b R c entonces existen n, m eN tales que:
b = an y c = bm. Combinndolas, c = bm = (a.n).m= a(n.m) con n.m eN
b R c.

2) En N la relacin R definida por: a R b a es el doble de b.
no es transitiva ya que (4, 2) e R y (2, 1) e 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)e R
Propiedad Transitiva
A
La relacin R es transitiva si cada vez que
hay un camino entre tres elementos,
tambin 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
aeA a R a

Simtrica
a, b eA:
a R b b R a
Antisimtrica
a, b eA:
[a R b . b R a] a = b
Transitiva
a, b, c eA:
[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
aeA a R a

- aeA (a,a)eR

Simtrica
a, b eA:
a R b b R a
- a, b eA:
(a, b) e R . (b, a) e R
Antisimtrica
a, b eA:
[a R b . b R a] a = b
- a, b eA:
(a, b) e R . (b, a) e R . a = b
Transitiva
a, b, c eA:
[a R b . b R c] a R c
- a, b, c eA:
(a, b) e R . (b, c) e R . (a, c) e R
Verifique:
Ejercicios
Ejercicio 1:
Sea A = {1, 2, 3, 4}.

i) Represente grficamente las relaciones (b) y (d) en forma cartesiana y
sagital.

ii) Determine las propiedades que satisfacen las siguientes relaciones en A y
verifquelas (demustrelas)

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, simtrica y no transitiva

ii) Reflexiva, no simtrica y transitiva

iii) No reflexiva, simtrica 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 extensin
b) Determine las propiedades que satisfacen las relaciones en A anteriores
y prubelas!
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 prubelas!
A
1 2
5
3
4
A
1 2
5
3
4
Ejercicios
Ejercicio 5:
Definimos en 9, el conjunto de los nmeros reales, la relacin R :

x R y x y e Z
Determina las propiedades que cumple R y demuestra, usando la
definicin, que efectivamente las verifica!
Relaciones reflexivas
Contemos la cantidad de relaciones reflexivas en A, con |A|=n
Tenemos n pares de la forma (a
i
,a
i
); como |AxA|=n
2
, nos quedan

n
2
-n pares
con componentes distintas. Tenemos la opcin de incluirlos o no......por lo tanto
hay
relaciones reflexivas en A
n n
2
2

Relaciones simtricas
Tenemos subconjuntos de la forma

y n subconjuntos de la forma

Tenemos la opcin de incluirlos o no......por lo tanto hay

relaciones simtricas en A y....

relaciones reflexivas y simtricas en A
.

2
n n
2

{ } A a , a i, j ), a , (a ), a , (a
j i i j j i
e =
{ } A a ), a , (a
i i i
e
2
n n
n
2
2 2

2
n n
2
2

Relaciones antisimtricas
Tenemos subconjuntos de la forma

y n subconjuntos de la forma

2
n n
2

{ } A a , a i, j ), a , (a ), a , (a
j i i j j i
e =
{ } A a ), a , (a
i i i
e
Tenemos la opcin de incluirlos o no cada par de la forma (a
i
,a
i
) y con
respecto a los pares (a
i
,a
j
), tenemos tres opciones:
(1) incluir (a
i
,a
j
) (2) Incluir (a
j
,a
i
) y (3) no incluir niguno de los dos.
Por lo tanto, hay
relaciones antisimtricas en A.
.
2
n n
n
2
3 2

Tipos de relaciones
Relacin de equivalencia
Diremos que una relacin binaria sobre A, es una relacin de equivalencia
si satisface las tres propiedades:
R es reflexiva
R es simtrica
R es transitiva
Ejemplos:
2) Dado un conjunto D_ U, la relacin:
A R B A D = B D
Demuestra que estas son relaciones de equivalencia
Tipos de relaciones
Relacin de orden
Diremos que una relacin binaria sobre A, es una relacin de orden parcial
si satisface las tres propiedades:
R es reflexiva
R es antisimtrica
R es transitiva
En este caso diremos que el conjunto A est parcialmente ordenado
Ejemplos:
1) En D
60
, el conjunto de todos los divisores de 60, la relacin R definida
por: a R b a divide a b.
2) En R, la relacin definida por a R b a s b.
Demuestra que estas son relaciones de orden.
Tipos de relaciones
Relacin de orden
Diremos que una relacin binaria R sobre A, es una relacin de orden total
si es una relacin de orden parcial y adems se satisface que:

a, b eA: [a R b v b R a]
En este caso diremos que el conjunto A est totalmente ordenado
Ejercicio:
1) En las relaciones anteriores decida cules son de orden parcial o de
orden total
2) Para pensar: Considere la relacin en R
2
, definida por por:
(x,y) R (a,b) x s a . y s b .
Qu tipo de relacin es?
Relaciones de orden
Recordar:
* Qu es una relacin de orden parcial?
* Cmo reconocer estas propiedades en
una representacin cartesiana?
Definicin:
Un conjunto (A, R ) parcialmente ordenado es totalmente
ordenado si cualesquiera dos elementos de A, a y b, estn
vinculados mediante la relacin R. Es decir,
a, b e A [a = b a R b v b R a ].
Por ejemplo:
1) (N, s) es un conjunto totalmente ordenado. Por qu?
2) Sea U = {1, 2, 3} y en P(U) se define la relacin
A R B sii A _ B.
(P(U), R) no es un conjunto totalmente ordenado. Por qu?
Relaciones de orden
Relaciones de orden
Ejercicio 1:
En N, el conjunto de los nmeros naturales se define la
relacin divisor de, as:
a R b sii a divide a b, (se denota por a|b)

(a|b si existe un nmero natural n tal que b = an)

a) Compruebe que es una relacin de orden.
b) Es un orden total o parcial?
(Ir a la respuesta)
Pinsalo un poco ...
Relaciones de orden
Elementos distinguidos en un conjunto ordenado.
Sea (A, R ) es un conjunto parcialmente ordenado,
E1: Elementos minimales
mi e A es minimal x e A [x R mi x = mi]
x e A [x = mi x mi]
(Esta es la proposicin matemtica para expresar que no existe otro
elemento que sea, mediante la relacin de orden, menor que el minimal).
E2: Elementos maximales
ma e A es maximal x e A [ma R x ma = x]
(No existe otro elemento que sea, mediante la relacin de orden, mayor
que el maximal).
Relaciones de orden
Ejemplos:
3) Sea B = {1, 2}, en P(B )= {C, {1}, {2}, {1,2}} se define la
relacin de inclusin, la cual es de orden parcial
C _ {1} _ {1,2} y C _ {2} _ {1,2}
Entonces, B es el elemento maximal y C es el elemento
minimal, pues no existe otro elemento en P(B ) que est
por debajo del minimal, ni por encima del maximal.
4) En el conjunto C = {C, {1}, {2}} se define la relacin de
inclusin. Observar que C _ {1} y C _ {2}.

C es el elemento minimal y tanto {1} como {2} son
los elementos maximales.
Moraleja:
Los elementos maximales y minimales no son
nicos,
en caso de existir.
Ejercicio 2:

Es posible determinar el elemento
minimal y maximal para la relacin
definida en N: a|b?
Relaciones de orden
E3 Elemento mnimo
a e A es mnimo x e A [ a R x]

E4 Elemento mximo
b e A es mximo x e A [ x R b]

Relaciones de orden
Ejemplo:
En la relacin inclusin sobre el conjunto A, el elemento
mximo es el elemento maximal: el universo y el elemento
mnimo es el conjunto vaco.

Relaciones de orden
Teorema importante:
Si el conjunto A es parcialmente ordenado y
posee elemento mximo (o mnimo) entonces
este es nico.

Demostracin:
Supongamos que el conjunto A posee dos elementos
mximos, digamos M
1
y M
2
. Por definicin de mximo
para cada uno:
M
1
mximo M
2
R M
1

M
2
mximo M
1
R M
2

Como R es antisimtrica: entonces M
1
= M
2

Relaciones de orden
Definiciones:

1) Un elemento cs de A es una cota superior de B _ A
sii x e B [ x R cs]

2) Un elemento ci de A es una cota inferior de B _ A
sii x e B [ ci R x]

3) El supremo de B, es la mnima cota superior de B; la cual es un
elemento de A.

4) El nfimo de B, es la mxima cota inferior de B; la cual es un
elemento de A.

5) Los elementos a y b de A son consecutivos sii
a) a R b y
b) [a R x . x R b] [a = x v x = b]
Relaciones de orden
Ejercicio 3:
Sea A = {2, 3, 4, 6, 8, 12, 24, 48 } y la relacin definida por
(a, b) e R sii a divide a b : a|b
Sea B = {2, 3, 4, 6, 8, 12, 24}
Determinar para B, si existen
a) Cotas superiores
b) Cotas inferiores
c) Elemento minimal y elemento maximal.
d) Mximo y mnimo.
e) Supremo e nfimo.
f) Elementos consecutivos.
(Ir a la respuesta)
Relaciones de orden
Diagramas de Hasse:
Sea (A, R ) es un conjunto parcialmente ordenado y finito.

A cada elemento del conjunto A se le asocia un punto en el
plano (o en el espacio), que llamaremos vrtice.
Un diagrama de Hasse es el grfico resultante al unir dos
elementos consecutivos mediante un segmento de recta,
que llamaremos arista.
a
b
c
Ejemplo: Sea A = {a,b,c} y la relacin R
R = {(a,a), (b,b), (c,c), (b,a), (b,c), (a,c)}
Es de orden total.
Su diagrama de Hasse es:
Relaciones de orden
Ejercicio 4:
Realizar el diagrama de Hasse para
A = {2, 3, 4, 6, 8, 12, 24 } con la relacin
Ir a la respuesta
Tarea:
Preparar para el jueves los ejercicios
19, 20 y 29
de la pgina 381 del libro.
Relaciones de orden
El sabio comienza por hacer
lo que quiere ensear y
despus ensea.
- Confucio.
Respuestas
Ejercicio 1
a) Veamos que es una relacin de orden
* Como a= a.1 para cualquier a natural entonces a|a, por lo tanto a R a,
para todo a natural. Entonces R es reflexiva.
* Si aRb entonces a|b, i.e., existe un natural n tal que b = an.
Si bRa entonces existe un natural m tal que a = bm.
Combinndolas, a = bm = (a.n).m n.m = 1 n = m = 1 a = b.
Entonces R es antisimtrica.
*Si aRb y bRc entonces existen naturales n y m tales que
b = an y c = bm
Por lo tanto: c = bm =(an).m = a (n.m) = a.k donde k es un n natural.
Esto indica que a|c o que aRc. Entonces R es transitiva.
R es un orden parcial sobre A.
b) No es un orden total. Por ej.: ni 2 est relacionado con 7, ni 7 est
relacionado con 2. Esto indica que no es orden total. (Retorno)

Respuestas
Ejercicio 3
a) Cotas superiores: 24, 48
Cotas inferiores: no tiene pues 2 no est relacionado con 3
b) Elemento maximal: 24.
Elementos minimales : 2 y 3 Por qu?
c) Supremo: 24 e nfimo: no tiene.
d) Los elementos consecutivos son:

2 y 4 3 y 6 4 y 8 6 y 12 12 y 24
2 y 6 4 y 12 8 y 24
(Retorno)
(Retorno)
2
3
4
8
6
12
24
Ejercicio 4
Respuestas
El diagrama de Hasse para el
orden (A, R) es:
Observa que se ha hecho una
convencin al construirlo: se
traza un segmento de x hacia
arriba, hacia y, si xRy y son
consecutivos.
De modo que leemos el
diagrama de abajo hacia arriba,
de los elementos menores
hacia los mayores
Retorno
... Representacin cartesiana
Sea R una relacin definida sobre el conjunto A.
la diagonal pertenece a la relacin.
A
A
Si la relacin R es simtrica sobre A entonces
los pares se reflejan respecto a la diagonal principal.
A
A
Si la relacin R es antisimtrica pueden existir pares por
encima o por debajo de la diagonal pero ningn par
tiene reflejo respecto a la diagonal principal excepto la
diagonal misma.
A
A
Representacin cartesiana
Retorno ...
MATEMATICAS DISCRETAS
Definicin
Sea A un conjunto no vaco en el conjunto Universal U.
Una relacin binaria R sobre A, es una relacin de equivalencia
si R satisface las tres propiedades:
R es reflexiva
R es simtrica
R es transitiva

Algunas de las relaciones con las que hemos trabajado en clase son
de equivalencia. Puedes mencionar alguna?
Relaciones de equivalencia
Ejemplos
Relaciones de equivalencia
1) La relacin R sobre Z definida por: a R b a b es mltiplo de
3.
2) Sea keN, la relacin R sobre Z: a R b a b es mltiplo de k.
3) Dado un conjunto D _ U, la relacin: A R B A D = B D
4) Sobre los nmeros reales 9, la relacin R: x R y x y e Z
5) La relacin R sobre 9
2
definida por: (x,y) R (a,b) x.y = a.b
6) La relacin R sobre Z
2
definida por: (m,n) R (p,q) m+q = n+p
Una relacin de equivalencia identifica los elementos de un conjunto que
satisfacen una misma propiedad y los llama elementos equivalentes.
Particin de un conjunto
Definicin:
Ejemplos:
1) Sea A = {1, 2, 3, 4, 5} una particin P de A, con 3 celdas, es
P = { {1,3}, {4}, {2,5} }, donde A
1
={1,3}, A
2
={4}, A
3
={2,5}.
En efecto {1,3} {4}=C . {1,3} {2,5}= C . {4} {2,5}=C.
Adems {1,3} {4} {2,5} = {1, 2, 3, 4, 5} = A
Sea A un conjunto no vaco. Sean
Diremos que P es una particin de A y escribimos si:
y
A A
j
J j
=
e
j i J, j i, A A
j i
= e C =
J J, j , A y A A
j j
_ e C = _
{ }
j
A =
Cada subconjunto A
j
es una celda de la particin
Particin de un conjunto
Ejemplos:
2) Sea A = {1, 2, 3, 4} una particin P de A con 2 celdas es
P = { {1}, {2,3,4} }, donde A
1
={1}, A
2
={2,3,4}.
En efecto
{2,3.4} {1} = C . {1} {2,3,4} = {1, 2, 3, 4} = A

Ser P= {{1,2}, {3}, {4}, {1,3}, {2,3}, {3,4}} una particin de A?
Justifique
Ejercicios
Ejercicio 1:
Determine todas las particiones posibles para el conjunto
A = {1, 2, 3}
Ejercicio 2:
Determine el nmero de particiones distintas para el conjunto
A = {1, 2, 3, 4} con exactamente dos celdas.
Para pensar:
Cuente todas las particiones distintas del conjunto
A = {1, 2, 3, 4, 5}.
Ejercicios
Ejercicio 3:
Sea A = {1, 2, 3, 4, 5} y la particin P = { {1,3}, {4}, {2,5} },
donde A
1
= {1,3}, A
2
={ 4} , A
3
= {2,5}.
Definimos en A la siguiente relacin:
x R y x, y e A
i
para algn i = 1, 2, 3

Prueba que R es una relacin de equivalencia
Una particin sobre A induce una relacin de equivalencia en A
Clase de equivalencia
Definicin:
Sea R una relacin de equivalencia en un conjunto A no vaco.
Sea a e A, llamaremos clase de equivalencia de a y la
escribiremos por [a] al conjunto de todos los elementos que
estn relacionados con a, es decir
[a] = { x e A / x R a }
Ejemplo:
La relacin R sobre Z :
a R b a b es mltiplo de 2.
Hay dos clases de equivalencia distintas, la del 0 y la del 1:

[0] = { 0, 2, 4, 4, } y [1] = { 1, 3, 5, }
Ejercicios
Ejercicio 3:
En el conjunto A = {1, 2, 3, 4} se define la siguiente relacin

R = {(1,1), (2,2), (3,3), (4,4), (1,2), (2,1)}

Determine [1], [2] y [4]
Ejercicio 4:
En los nmeros reales 9, la relacin R: x R y x y e Z

Encuentre [0], la clase de equivalencia del 0
Definicin:
Sea R una relacin de equivalencia en A. El conjunto de las
clases de equivalencia se llama conjunto cociente de A por
R.

El conjunto cociente es una particin de A

En efecto,
Las clases de equivalencia son disjuntas dos a dos.
La unin de todas las celdas coincide con el conjunto A.

| | { } A x / x A
/R
e =
Demostracin:
1) Sean x, y e A [x]= [y] v [x] [y] = C

i) Si x R y [x]= [y];
sea z e [x] z R x . x R y z R y (transitividad)
z e [y], de donde [x] c [y].

Razonando de manera similar se prueba que [y] c [x].

Por lo tanto, [x] = [y].

ii) Si (x,y) e R entonces [x] [y] = C.
En efecto, si existiera z e [x] [y] entonces z R x . z R y
por lo tanto, x R y, lo cual es un absurdo.

| | x x
A xe
e
Demostracin:
2) Veamos que

En efecto, si x e A, como R es reflexiva, x R x x e [x]

| | x A
A xe
=
| | A x
A x
_
e
| | | | A z zRx A, x algn para , x z x z

A x
e e e e
e
| | x A
A xe
_
Por otro lado, sea z tal que

Toda relacin de equivalencia sobre A genera una
particin en A.
Toda particin sobre el conjunto A, genera una
relacin de equivalencia
Ejercicios
Ejercicio 5:
Definimos en Z, la relacin R:

x R y x
2
y
2
= x y

Encuentre las clases de equivalencia de algunos nmeros, por
ejemplo 0, 5 y 8
En 9
2
, la relacin R definida por:
(x,y) R (a,b) x.y = a.b
Determine las clases de equivalencia y dibjelas en el plano
Ejercicio 6:
Soluciones
Solucin 1:
Como A tiene 3 elementos solo podemos tener particiones
con 3 celdas, 2 celdas y 1 celda, es decir, como |A|=3, el
nmero 3 puede escribirse como
3 = 3 (particin con una celda de 3 elementos). Hay 1
3=2+1 (particin con dos celdas de 1 y 2 elementos). Hay
3=1+1+1 (particin con tres celdas de 1 elemento). Hay 1
Hay 5 particiones de distintas de A
P
1
={ {1, 2, 3}}
P
2
= {{1, 2}, {3}}, P
3
= {{1, 3}, {2}}, P
4
= {{2, 3}, {1}}
P
5
= {{1}, {2}, {3}}
3
2
3
=
|
|
.
|
\
|
Prof. Lida Nio
Relaciones de orden
Recordar:
* Qu es una relacin de orden parcial?
* Cmo reconocer estas propiedades en una
representacin cartesiana?

Prof. Lida Nio
Definicin:
Un conjunto (A, R ) parcialmente ordenado es totalmente
ordenado si cualesquiera dos elementos de A, a y b, estn
vinculados mediante la relacin R. Es decir,
a, b e A [a = b a R b v b R a ].

Por ejemplo:
1) (N, s) es un conjunto totalmente ordenado. Por qu?
2) Sea U = {1, 2, 3} y en P(U) se define la relacin
A R B sii A _ B.
(P(U), R) NO es un conjunto totalmente ordenado. Por qu?
Relaciones de orden
Prof. Lida Nio
Relaciones de orden
Ejercicio 1:
En N, el conjunto de los nmeros naturales se define la
relacin divisor de, as:
a R b sii a divide a b, (se denota por a|b)

(a|b si existe un natural n tal que b = an)

a) Compruebe que es una relacin de orden.
b) Es un orden total o parcial?
(Ir a la respuesta)
Pinsalo un poco ...
Prof. Lida Nio
Relaciones de orden
Elementos distinguidos en un conjunto ordenado.
Sea (A, R ) es un conjunto parcialmente ordenado,
E1: Elementos minimales
mi e A es minimal x e A [x R mi x = mi]
x e A [x = mi x mi]
(Esta es la proposicin matemtica para expresar que no existe otro elemento
que sea, mediante la relacin de orden, menor que el minimal).
E2: Elementos maximales
ma e A es maximal x e A [ma R x ma = x]
(No existe otro elemento que sea, mediante la relacin de orden, mayor que
el maximal).
Prof. Lida Nio
Relaciones de orden
Ejemplos:
3) Sea B = {1, 2}, en P(B )= {C, {1}, {2}, {1,2}} se define la relacin
de inclusin, la cual es de orden parcial
C _ {1} _ {1,2} y C _ {2} _ {1,2}
Entonces, B es el elemento maximal y C es el elemento
minimal.
4) En el conjunto C = {C, {1}, {2}} se define la relacin de inclusin
Observar que C _ {1} y C _ {2}.

C es el elemento minimal y tanto {1} como {2} son los
elementos maximales.
Prof. Lida Nio
Moraleja:
Los elementos maximales y minimales no son nicos,
en caso de existir.
Ejercicio 2:

Es posible determinar el elemento
minimal y maximal para la relacin
definida en N , a|b?
Relaciones de orden
Prof. Lida Nio
E3 Elemento mnimo
a e A es mnimo x e A [ a R x]

E4 Elemento mximo
b e A es mximo x e A [ x R b]

Relaciones de orden
Ejemplo:
En la relacin inclusin
el elemento mximo es el elemento maximal: el universo y
el elemento mnimo es el conjunto vaco.

Prof. Lida Nio
Relaciones de orden
Teorema importante:
Si el conjunto A es parcialmente ordenado y posee
elemento mximo (o mnimo) entonces este es
nico.

Demostracin: Supongamos que el conjunto A posee
dos elementos mximos, digamos M
1
y M
2
. Por
definicin de mximo para cada uno:
M
1
mximo M
2
R M
1

M
2
mximo M
1
R M
2

Como R es antisimtrica: entonces M
1
= M
2

Prof. Lida Nio
Relaciones de orden
Definiciones:
1) Un elemento cs de A es una cota superior de B _ A
sii x e B [ x R cs]

2) Un elemento ci de A es una cota inferior de B _ A
sii x e B [ ci R x]

3) El supremo de B, es la mnima cota superior de B; la cual es un
elemento de A.

4) El nfimo de B, es la mxima cota inferior de B; la cual es un
elemento de A.

5) Los elementos a y b de A son consecutivos sii
a) a R b y
b) [a R x . x R b] [a = x v x = b]
Prof. Lida Nio
Relaciones de orden
Ejercicio 3:
Sea A = {2, 3, 4, 6, 8, 12, 24 } y la relacin definida por

Determinar, si existen
a) Cotas superiores.
b) Cotas inferiores
c) Elemento minimal y elemento maximal.
d) Mximo y mnimo.
e) Supremo e nfimo.
f) Elementos consecutivos.
(Ir a la respuesta)
Prof. Lida Nio
Relaciones de orden
Diagramas de Hasse:
Sea (A, R ) es un conjunto parcialmente ordenado y finito.

A cada elemento del conjunto A se le asocia un punto en el
plano (o en el espacio), que llamaremos vrtice.
Un diagrama de Hasse es el grfico resultante al unir dos
elementos consecutivos mediante un segmento de
recta, que llamaremos arista.

a
b
c
Ejemplo: Sea A = {a,b,c} y la relacin R
R = {(a,a), (b,b), (c,c), (b,a), (b,c), (a,c)}
Es de orden total.
Su diagrama de Hasse es:
Diagramas de
hasse
Diagramas de Hasse
Los diagramas de Hasse (llamados as
por el matemtico alemn Helmut
Hasse), son una representacin grfica
y abreviada de una digrfica para una
relacin de orden parcial sobre un
conjunto finito.
Diagramas de Hasse
Una imagen vale ms que mil palabras:

xRy si x | y, sobre S = {1,2,4,5,8,10,20,40}
1
2
4
8
5
10
20
40
digrfica diagrama de hasse
Cmo puede ser tan simple?
Los diagramas de Hasse son mucho ms
simples y sencillos de dibujar, por las
propiedades de los conjuntos
parcialmente ordenados (CoPOs):

Reflexiva: x S, xRx
Antisimtrica: x,y S; xRy yRx x =
y
Transitiva: x,y,z S; xRy yRz xRz
Fuente: Wikipedia : Binary Relation
La reflexividad de un CoPO nos evita
tener que poner lazos en cada uno de los
aristas.
a
digrfica
a
diagrama de hasse
Como los CoPOs son antisimtricos, slo existe una direccin de
todas y cada una de las flechas. La direccin se indica mediante la
posicin vertical de cada punto en el diagrama. Si un punto x est
arriba de otro punto y, y estn unidos por una lnea, quiere decir
que xRy.
digrfica
diagrama de hasse
a
c
b
a
c
b
Como los CoPOs son transitivos, no es
necesario indicar el arista aRc, si aRb y
bRc. Esta relacin se sobreentiende.
digrfica
diagrama de hasse
a
c
b
a
c
b
Cmo se construye un diagrama de Hasse?
No existe un mtodo infalible para
generar diagramas de Hasse (sencillos),
aunque existen algoritmos para hacerlo.
Aqu se va a mostrar el ms sencillo (e
intuitivo) para construir uno.
Primero, tenemos que tener la digrfica dibujada. Sirve
mucho mejor si est hecha en computadora, pues hay que
borrar mucho. Primero hay que eliminar todos los lazos de la
digrfica del CoPO. Partiremos de la digrfica de la primer
diapositiva.
1
2
4
8
5
10
20
40
1
2
4
8
5
10
20
40
Ahora, para simplificar la grfica, hay
que eliminar todas las aristas que
cumplan con la ley transitiva (las que van
de a a c directamente, sin pasar por b).
1
2
4
8
5
10
20
40
1
2
4
8
5
10
20
40
Posteriormente, hay que reubicar todos
los puntos, para que queden
verticalmente ordenados. Tambin hay
que quitar las puntas de flecha.
1
2
4
8
5
10
20
40
1
2
4
8
5
10
20
40
Por ltimo (y la parte ms difcil del
proceso) es acomodar los nodos de tal
manera que luzcan bien, y que por su
posicin y arreglo nos muestren
propiedades de la relacin que no se
pueden ver de otra forma.
1
2
4
8
5
10
20
40
1
2
4
8
5
10
20
40
Ejemplo
En la siguiente diapositiva se encuentra un diagrama de Hasse para la
relacin:

(A, B) R si A B, aplicado en el conjunto potencia sobre S = {1, 2,
3, 4}

NOTAS:
significa es subconjunto de o es igual, por ejemplo {1} {1,3}, {1,2,3}
{1,2,3} y {} {1}
El conjunto potencia de S es el conjunto de todos los subconjuntos de S.
Es igual al siguiente conjunto:
= { {}, {1}, {2}, {3}, {4}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}, {1,2,3},
{1,2,4}, {1,3,4}, {2,3,4}, {1,2,3,4} }
Algunas soluciones:
Nota: existen una infinita cantidad de soluciones.
El objeto que se forma de este diagrama de Hasse es una representacin plana de un Hipercubo.
Fuente: Wikipedia : Hasse Diagram
Prof. Lida Nio
Relaciones de orden
Ejercicio 4:
Realizar el diagrama de Hasse para
A = {2, 3, 4, 6, 8, 12, 24 } con la relacin
2
3
4
8
6
12
24
Prof. Lida Nio
Tarea:
Preparar para el jueves los ejercicios
19, 20 y 29
de la pgina 381 del libro.
Relaciones de orden
Cuando tomas una decisin y eres congruente con
ella, debes saber que puedes proceder a su
realizacin con toda garanta de xito
Prof. Lida Nio
Respuestas
Ejercicio 1
a) Veamos que es una relacin de orden
* Como a= a.1 para cualquier a natural entonces a|a, por lo tanto a R a,
para todo a natural. Entonces R es reflexiva.
* Si aRb entonces a|b, i.e., existe un natural n tal que b = an.
Si bRa entonces existe un natural m tal que a = bm.
Combinndolas, a = bm = (a.n).m n.m = 1 n = m = 1 a = b.
Entonces R es antisimtrica.
*Si aRb y bRc entonces existen naturales n y m tales que
b = an y c = bm
Por lo tanto: c = bm =(an).m = a (n.m) = a.k donde k es un n natural.
Esto indica que a|c o que aRc. Entonces R es transitiva.
R es un orden parcial sobre A.
b) No es un orden total. Por ej.: ni 2 est relacionado con 7, ni 7 est
relacionado con 2. Esto indica que no es orden total. (Retorno)

Prof. Lida Nio
Respuestas
Ejercicio 3
a) Cotas superiores: 24.
Cotas inferiores: no tiene pues 2 no est relacionado con 3!
b) Elemento maximal: 24.
Elementos minimales : 2 y 3 Por qu?
c) Supremo: 24 e nfimo: no tiene.
d) Los elementos consecutivos son:

2 y 4 3 y 6 4 y 8 6 y 12 12 y 24
2 y 6 4 y 12 8 y 24
(Retorno)
(Retorno)
Prof. Lida Nio
Sea R una relacin definida sobre el conjunto A.
la diagonal pertenece a la relacin.
A
A
Prof. Lida Nio
Si la relacin R es simtrica sobre A entonces
los pares se reflejan respecto a la diagonal principal.
A
A
Prof. Lida Nio
Si la relacin R es antisimtrica pueden existir pares por
encima o por debajo de la diagonal pero ningn par
tiene reflejo respecto a la diagonal principal excepto la
diagonal misma.
A
A
Representacin cartesiana
Retorno ...

Re Laci Ones

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Re Laci Ones

Cargado por

Copyright:

Formatos disponibles

Producto Cartesiano

| | | | A z zRx A, x algn para , x z x z

También podría gustarte