Está en la página 1de 9

Relaciones de equivalencia

1. Una relaci on de equivalencia en un conjunto X se puede interpretar como el subconjunto de X X dado por {(x, x ) X X | x x }. En unciesen las propiedades de la relaci on de equivalencia en t erminos de dicho subconjunto. Si R, S X X representan dos relaciones de equivalencia, representa R S una relaci on de equivalencia? y R S ?. Sea A = {1, 2, 3, 4} y la relaci on: aRb a | b. Calcular la matriz de la relaci on. 0 1 0 1 1 1 0 1 Sea A = {a, b, c, d} y R 0 0 1 0. Determinar R A A. 0 1 0 0 Sea A = {2, 6, 8, 15, 18}. Demostrar que las siguientes relaciones son de equivalencia y calcular la matriz asociada a cada una de ellas: a) b) 5. xRy 6 | x y xSy 4 | x y

2.

3.

4.

Decidir cu ales de las siguientes relaciones son de equivalencia: a) b) c) En Z, m n m n ( dem con m > n, mn 0). En N, m n m + n 0 ( dem con m + n > 0, 2m n). En R R, (x, y ) (x , y ) x < x o (x = x e y < y ). / Y una aplicaci on de conjuntos. Se dene una relaci on Rf en X por x x (mod Rf ) si y s olo si f (x) = f (x ) Probar que Rf es una relaci on de equivalencia. En Z (Z {0}) se dene la relaci on: (a, b) (a , b ) si y s olo si ab = a b Probar que es de equivalencia. El conjunto cociente se denomina conjunto de los n umeros racionales. Sea X el conjunto de R2 {(0, 0)}. Se dene en X la siguiente relaci on: x y si y s olo si existe una semirrecta que parte del origen y pasa por x e y Probar que es una relaci on de equivalencia y que el conjunto cociente se identica de modo natural con una circunferencia centrada en el (0, 0).

6.

Sea f : X

7.

8.

9.

Sea X el conjunto de Rn {0}. Se dene en X la siguiente relaci on: x y si y s olo si existe un R tal que x = y Probar que es una relaci on de equivalencia. En R2 se dene la relaci on: (x, y ) (x , y ) si y s olo si xy = x y Probar que es de equivalencia y calcular las clases de equivalencia.

10.

11.

Fijado un n umero natural n, se dene en Z la relaci on: m m (mod n) si s olo si m m es m ultiplo de n Probar que es de equivalencia calcular las clases de equivalencia. El conjunto cociente se denota por Z/n.

Relaciones de orden
12. Dada la matriz: 1 0 R= 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1

a) b) 13.

Hallar el diagrama de Hasse asociado. Dar un orden total que contenga a R.

Sea A = {1, 2, 3, 4, 5} con el orden: ? ?  ?  ?  ?  ?3   ? ?   ? 2 ?    ?   ? 4   


5 1

Sea B = {subconjuntos totalmente ordenados de A con 2 o m as elementos} ordenado con la inclusi on de conjuntos. Construir el diagrama de Hasse de B . 14. Sea A = {a, b, c, d, e} con el orden dado por:

Determinar si {a, c, d}, {b, d}, {a, b, c}, {b, c, e} y {d, e} son totalmente ordenados o no. Dar para cada subconjunto los elementos maximales, minimales, supremo e nmo. 15. Sea A = {a, b, c, d, e, v, w, x, y, z } con el orden dado por: z sKKKK s s KK ss KK y ss x K%  s    ys / o K KK w ss KK s s KK KK  ssss  s y % e NO s9 O eKKKK v ss KK s s KK ss s cK  d  b / o eKK 9 Ns O s KK s s KK s s KK K  ssss a Calcular: inf {b, d}, inf {b, w}, sup{c, x} y sup{d, e}. 16. Hallar maximales, minimales, m aximo y m nimo de los siguientes conjuntos ordenados seg un sus diagramas de Hasse y dar una ordenaci on total para cada uno.

a ? ?   ?  ? ?  ??c   ? ? ?  ?  ? ?  b ? ? ?  ? ?  d e 17.

a OOO  OOO   OOOc    ? ?    ? ?  ?   b ?    ? ? ?  d e ? ? ? f

b a ? ? ? ?   ?   ?  ?  ? ? ?   ? ?e   d  c

Sea U = {1, 2, 3, 4} y A = P (U ). Consideramos en A la relaci on de orden dada por la inclusi on de conjuntos. Calcular supremos, nmos, m aximos y m nimos (si existen) de los siguientes conjuntos: a) b) c) d) e) B = {{1}, {2}} B = {{1}, {2}, {3}, {1, 2}} B = {, {1}, {2}, {1, 2}} B = {{1}, {1, 2}, {1, 2, 3}} B = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}}

18.

Sea X = {0, 1}. En A = X X denimos la siguiente relaci on: a<c o (a, b)R(c, d) a=cybd a) b) c) Demostrar que es un orden parcial. Es total? Calcular maximales y minimales. Calcular m aximos y m nimos.

19.

Sea A = {a, b, c, d, e, f, g } y el orden dado por:

Calcular maximales, minimales, m aximo y m nimo (si existen) de A. Consideramos el subconjunto S = {c, d, e, f }. Dar una cota superior y una cota inferior de S . Calcular el sup(S ) y el inf(S ). Dar un orden total que contenga al orden parcial. 20. Dado el orden: 5 8C  f 4 ? O _??   ???  ?? 1  ? 2 / o N P P 3 Dibujar su diagrama de Hasse asociado y calcular un orden total que contenga al mismo.

21.

Dado el orden: 1 2   /O / //OOOO // OOOO OOO O/'  4  3 /// P // // /  5 N Dibujar su diagrama de Hasse asociado y calcular un orden total que contenga al mismo.

Grafos
22. Dado el grafo:

  

Calcular: a) b) c) d) e) f) g) 23. Un camino de b a d que no sea recorrido. Un recorrido de b a d que no sea camino simple. Un camino simple de b a d. Un camino cerrado b b que no sea circuito. Un circuito b b que no sea un ciclo. Un ciclo b b. Calcular el n umero de caminos simples que existen de b a f .

Demostrar que los siguientes grafos no son isomorfos:     

   


24.

Determinar si cada par de grafos son o no isomorfos:

! 

. " (*) /10 4 2 3

"#  )

4 " $ 6 . /

$'& + ,

( &

$%  6 " $ & 3 2 0 ) ( 4 5

25.

Sea V = {000, 001, 010, . . . , 110, 111}. Para cualquier sucesi on de cuatro bits b 1 b2 b3 b4 trazar una arista del elemento b1 b2 b3 al elemento b2 b3 b4 en V . a) b) c) Trazar el grafo G = (V, A) descrito. Encontrar un ciclo hamiltoniano dirigido para G. Distribuir ocho ceros y ocho unos de modo uniforme alrededor del borde de un disco que gira en el sentido de las manecillas del reloj de modo que estos 16 bits formen una sucesi on circular tal que las subsucesiones (consecutivas) de longitud 4 proporcionen las representaciones binarias de 0, 1, 2, . . . , 15 en alg un orden.

26.

Carolina y Ricardo van a una esta con otras tres parejas. En esta esta hubo mucho apretones de manos pero, (1) nadie estrech o la mano de su pareja; (2) nadie estrech o su propia mano; y (3) nadie dio la mano m as de una vez a otra persona. Antes de salir de la esta, Carolina pregunt oa las otras 7 personas a cu antas hab an dado la mano, y recibi o una respuesta diferente de cada uno. Cu antas veces dio Carolina la mano en esta esta? Cu antas veces lo hizo Ricardo? Distribuir nueve ceros, nueve unos y nueve doses de modo uniforme alrededor del borde de un disco que gira en el sentido de las manecillas del reloj de modo que estos 27 s mbolos formen una sucesi on circular tal que las subsucesiones (consecutivas) de longitud 3 proporcionen las representaciones ternarias (base 3) de 0, 1, 2, . . . , 25, 26. En los siguientes grafos se pide calcular: a) b) c) d) grados de los v ertices (G) =n umero de componentes conexas de G Un camino simple, un ciclo, un recorrido y un circuito. Decidir si tiene alg un circuito o recorrido euleriano. Lo mismo para un camino o ciclo hamiltoniano.

27.

28.

8:9<; = ; ? > A 7 @ ? > 8 9 > ? ;

7 C = 8

9 7 8 C @ B P A =

DFEHGJILKNMFO

29.

a)

Encontrar dos grafos G = (V, E ) y G1 = (V1 , E1 ) con v V y v1 V1 de modo que: (G v ) = (G) pero (G1 v1 ) > (G1 )

b)

Encontrar dos grafos G = (V, E ) y G1 = (V1 , E1 ) con e E y e1 E1 de modo que: (G e) = (G) pero (G1 e1 ) > (G1 )

30. 31. 32.

Determinar los valores de n para los que el grafo completo Kn tiene un circuito euleriano. Para qu e n tiene Kn un recorrido euleriano pero no un circuito euleriano? Para cada n 3, denotamos por Cn el ciclo de longitud n. Demostrar que P (Cn , ) = ( 1)n + (1)n ( 1). Dados los grafos:

R X U T S W \ Q V

[ Y Z

a) b) c) 33.

Determinar si son isomorfos. Encontrar P (G, ) para cada grafo. Comentar los resultados de los apartados anteriores.

Dados los grafos:

j ^ a _ egf b ` d ] ^ ]
a) b) c) 34.

^ a _

dih a

` ]

` c a _ ` c ^

Determinar sus polinomios crom aticos. Encontrar (G) para cada grafo. Si se dispone de cinco colores, cu antas coloraciones propias de los v ertices de cada grafo existen? 3, sea Cn el ciclo de longitud n. Probar las siguientes relaciones: 4. 5.
n n2

(Examen Febrero 2003) Para n

P (Cn , ) ( 1)n = ( 1)n1 P (Cn1 , ), n P (Cn , ) ( 1) = P (Cn2 , ) ( 1) 35. ,n

En unos laboratorios qu micos se reciben siete sustancias qu micas {s i }i=1,...,7 que precisan ser almacenadas. La naturaleza de las sustancias es tal que para 1 i 5 la sustancia s i no puede ser almacenada con la sustancias si+1 y si+2 . Determinar el n umero m nimo de compartimentos necesarios para almacenar las mencionadas sustancias qu micas en las condiciones anteriores. Con ese n umero m nimo de compartimentos, de cu antas maneras distintas se pueden almacenar las sustancias qu micas?

M aquinas Finitas
36. Dada la m aquina nita:
0

89:; ?>=<
a) b) 37.

 u e0 X
0

0 1

89:; ?>=<
1

 e3

89:; ?>=< 0123 7654 e X


1

u
0

 5 e4

89:; ?>=< 0123 7654 e F


2 1

89:; ?>=< 0123 7654

Calcular fe0 (011011010). Obtener todas las palabras de entradas tales que fe0 () = 0011110.

Dada la m aquina siguiente, calcular fe0 () para toda palabra de entradas .


0 0 0

e0

89:; ?>=<
1 1 0

& 

89:; ?>=< e Z
1 1

&

89:; ?>=< e
2

- e3 q K

89:; ?>=< 0123 7654


7

38. 39.

Construir una m aquina nita lo m as sencilla posible con I = {0, 1} de manera que f e0 () = 0 para toda palabra de entrada . Demostrar que existe un u nico homomorsmo entre las siguientes m aquinas que es epimorsmo pero no es monomorsmo.
0

89:; ?>=<

 0 e U
0

%
0 1

89:; ?>=< (/) .1*+ -, X


1

89:; ?>=<

 a e
0

%
b

89:; ?>=< (/) .*+ -,

 89:; ?>=< (/) .2*+ -,

40.

Sea M la m aquina cuyo grafo de estados es: z z w w { k%l knm v x { x x z z y { { k%r kps v

kpo y z w { w { kpt x

{ x { z v z

kpq z w kpu x

y R la relaci on en E cuya partici on asociada es: {{e0 , e4 }, {e1 , e2 , e5 }, {e6 }, {e3 , e7 }} Dibujar el grafo de M/R. 41. Dadas las m aquinas M y M , denir un homomorsmo g : M y denir el isomorsmo entre M/g e Im(g ).
1 1

/ M , dibujar el grafo de M/g

89:; ?>=< (/) .0*+ -,U


0 1

(
0

89:; ?>=< (/) .*+ -, 89:; ?>=< (/) .aK *+ -, n


1

. b
0

89:; ?>=<Z
1

 2 2 r U

89:; ?>=<
0

0 1

89:; ?>=< (/) .c*+ -, S


0

89:; ?>=< (/) .3J *+ -, h


0

89:; ?>=< (/) .4*+ -,

42.

Determinar en cada caso si la palabra pertenece o no al conjunto regular representado por la expresi on regular. a) b) c) 10100010 ; (0*10)* 011100 ; (0(11)*)* 000111100 ; ((00111)*(00)*)*

d) e) f) g) 43.

01110111 ; (1*01)*(110*) 11100111 ; ((1*0)*0*11)* 011100101 ; 01*10*(11*0)* 1000011 ; (10*11)*(0*1)*

Determinar cu ales de las siguientes igualdades son ciertas. a) b) c) d) e) (a b)*= a*b* (a b)*= (a*b*)* (a b)*= (a*b)* a*a = aa* a b = aa b b

44.

Dar una expresi on regular para cada uno de los siguientes conjuntos regulares sobre X = {a, b}: a) b) c) d) Palabras que empiezan por a. Palabras que tienen exactamente una a. Palabras que tienen un n umero par de aes. Palabras que contienen la palabra aa.

45.

Construir una m aquina nita de Moore que reconozca el lenguaje L sobre I = {0, 1} en cada caso. a) b) c) d) e) f) Palabras que empiezan por cero. Palabras que tienen exactamente un cero. Palabras que tienen exactamente un cero y empiezan por el. Palabras que terminan en 101. Palabras que terminan en 00. Palabras que contienen 10 o 01.

46.

Dar una expresi on regular para L(M ) en los casos siguientes:


1 0,1 1

(a) e0
0

89:; ?>=<
, e1

'

89:; ?>=< e M
2 0,1 1 0,1

(b)

89:; ?>=< g
1 1

 e0

'

89:; ?>=< 0123 7654 e


1 1

89:; ?>=< 0123 7654


1

(c)

89:; ?>=<

 e0

'

89:; ?>=< e
1 0

'

89:; ?>=< e M
3 0,1

(d) e0

89:; ?>=< 0123 7654


0 0 0,1

, e2

89:; ?>=< 0123 7654

89:; ?>=< e g  ?>=< / 89:; e o K


1 3

'

'
1 0

89:; ?>=< 0123 7654 e


2