Soluciones de ejercicios seleccionados de los captulos 11, 12, 13 de Dez Calzada.

Pgina 251-2 1. y 2. Un conjunto est incluido en otro, si todos sus elementos tambin son elementos del otro. Un conjunto est propiamente o estrictamente incluido en otro si est incluido en l, pero el otro adems contiene algn elemento extra (por lo que no son iguales). Es decir, formalmente: . Obviamente, si un conjunto est estrictamente incluido en otro, entonces tambin est incluido en l, pero no vice versa. Primero vamos a enumerar los casos de inclusin propia.

Esta situacin se puede representar esquemticamente de la siguiente manera (las flechas indican la relacin de inclusin; adems, se tiene que tener en cuenta que esta relacin es transitiva, por lo que podemos componer las flechas: un conjunto est incluido en todos a los que se puede llegar a partir del mismo siguiendo las flechas). A18 A17 A16 A15 A3 A1 A4 A19 A5 A8 A7 A9 A2 A11 A10 A12 A14 A20

A6

Estos son los casos en los que la inclusin tambin se puede sustituir por la inclusin estricta todo conjunto An est incluido en s mismo (pero no estrictamente incluido). 3.

. Adems,

7. 8. 9. 10. Pgina 269 14. =

Aqu la barra representa la relacin de ser divisible por.

16.

. Ya que H y L son disjuntos, esta relacin es igual a . es el conjunto

17. Sern simplemente los recorridos de las relaciones restringidas en cuestin, p.e. de personas que tienen un hermano masculino, etc. 18. REL R1 R2 R3 R4 R5 R6 R7 R8 R9 R10 R11 R12 R13 R14 R15 R16 R17 R18 R19 R20 R21 R22 R23 R24 R25

reflex. N N N N N N S N S S S N N N N N N N S N N S N N S

irreflex. S N S S S S S S N N N S S S S S N S N S S N S S N

simetr. N S N N N N S N N S S N S S N N S N N N N S N N S

asimetr. N N S S S S S S N N N S N N S S N S N S S N S S N

antisim. N N S S S S S S S N S S N N S S N S S S S N S S N

transit. N N N S S S S S S S S N N S N N N S S S S S S S S

intrans. N N N S S S S S N N N S S N S S N N N S S N S S N

dconex S N N N N S S N S N N S N N N N N S S N N N N N N

fconex N N N N N N S N S N N N N N N N N N S N N N N N N

R26 R27 R28 R29 R30 R31 R32 R33 R34 R35

N S N N N S S N N N

N N S N N N N N N N

S S N N N S N S N N

N N S N N N N N N N

N N S S S N S N S S

N S N S S S S N N N

N N S N N N N N N N

N N N N N N N N N N

N N N N N N N N N N

Los conjuntos contemplados en los dominios y recorridos son los conjuntos de la p. 251. He supuesto siempre que smbolos diferentes representaban objetos diferentes. 19. Son relaciones de equivalencia R7, R10, R11, R22, R25, R27, y R31 . 22. Son relaciones de orden: R4,5,8,20,21,23,24 orden parcial estricto R6,18 orden lineal estricto R7 orden dbil R9,19 orden lineal no estricto R32 orden parcial no estricto Pgina 282 23. Son funciones R4, R6, R7, R8, R11, R12, R13,15 (slo en sociedades monogmicas), R20, R24 (si despreciamos los casos de autora compartida), R26, R28, R30, R34, R35. 24. Las funciones que en Dez Calzada se llaman biyectivas, nosotros las llamamos inyectivas. Recordad la definicin de la funcin inyectiva: . Informalmente, una funcin inyectiva le asigna a cada objeto del dominio un objeto distinto del recorrido. A continuacin explico las relaciones entre las nociones de biyeccin, inyeccin y sobreproyeccin para aquellos que estn interesados. Si no es tu caso, slo aplica la definicin de arriba a R1-R35 para identificar las funciones inyectivas y coteja tus resultados con los que se ofrecen al final. Es lo nico que vas a necesitar de cara al examen. En las matemticas muchas veces hablamos de funciones de A en B, siendo el conjunto A el dominio de la funcin, pero si bien el recorrido de la funcin tiene que estar incluido en el conjunto B, no es necesario que lo agote. Por ejemplo, podemos considerar la funcin R20 como una funcin de H en N, pero est claro que en realidad, el recorrido de esa funcin ser tan slo un subconjunto muy pequeo de N. Estamos libres para fijar el conjunto B segn nuestros intereses prcticos. Decimos que una funcin f de A en B es sobreyectiva o sobreproyectiva si agota el conjunto de llegada B, o, en otras palabras, si B = Rec f. (Dez Calzada llama estas funciones exhauciones.)

Recordad que una funcin biyectiva de A en B en nuestro sentido (que es el ms corriente en las matemticas, a diferencia del trmino proyeccin, utilizado por Dez Calzada) es una funcin inyectiva y sobreproyectiva a la vez. La alternativa terminologa de Dez Calzada se basa en el hecho de que las funciones inyectivas tambin son biyectivas de A en B si fijamos B = Rec R. Las funciones inyectivas son R6, R7, R8, R11, R12, R13, R26, R28, R35.