Soluciones de ejercicios seleccionados de los capítulos 11, 12, 13 de Díez Calzada.

Página 251-2

1. y 2.
Un conjunto está incluido en otro, si todos sus elementos también son elementos del otro. Un conjunto está
propiamente o estrictamente incluido en otro si está incluido en él, pero el otro además contiene algún
elemento extra (por lo que no son iguales). Es decir, formalmente: .
Obviamente, si un conjunto está estrictamente incluido en otro, entonces también está incluido en él, pero no
vice versa. Primero vamos a enumerar los casos de inclusión propia.

Esta situación se puede representar esquemáticamente de la siguiente manera (las flechas indican la relación
de inclusión; además, se tiene que tener en cuenta que esta relación 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 A20

A3 A19

A1 A5 A7 A10

A4 A8 A9 A2 A11 A12 A14

A6

Estos son los casos en los que la inclusión también se puede sustituir por la inclusión estricta . Además,
todo conjunto An está incluido en sí mismo (pero no estrictamente incluido).

3.
7.
8.
9.
10. Aquí la barra representa la relación de ‘ser divisible por’.

Página 269

14.
=

16.

. Ya que H y L son disjuntos, esta relación

es igual a .

17. Serán simplemente los recorridos de las relaciones restringidas en cuestión, p.e. es el conjunto
de personas que tienen un hermano masculino, etc.

18.
REL reflex. irreflex. simetr. asimetr. antisim. transit. intrans. dconex fconex
R1 N S N N N N N S N
R2 N N S N N N N N N
R3 N S N S S N N N N
R4 N S N S S S S N N
R5 N S N S S S S N N
R6 N S N S S S S S N
R7 S S S S S S S S S
R8 N S N S S S S N N
R9 S N N N S S N S S
R10 S N S N N S N N N
R11 S N S N S S N N N
R12 N S N S S N S S N
R13 N S S N N N S N N
R14 N S S N N S N N N
R15 N S N S S N S N N
R16 N S N S S N S N N
R17 N N S N N N N N N
R18 N S N S S S N S N
R19 S N N N S S N S S
R20 N S N S S S S N N
R21 N S N S S S S N N
R22 S N S N N S N N N
R23 N S N S S S S N N
R24 N S N S S S S N N
R25 S N S N N S N N N
R26 N N S N N N N N N
R27 S N S N N S N N N
R28 N S N S S N S N N
R29 N N N N S S N N N
R30 N N N N S S N N N
R31 S N S N N S N N N
R32 S N N N S S N N N
R33 N N S N N N N N N
R34 N N N N S N N N N
R35 N N N N S N N N N

Los conjuntos contemplados en los dominios y recorridos son los conjuntos de la p. 251. He supuesto
siempre que símbolos 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 débil
R9,19 – orden lineal no estricto
R32 – orden parcial no estricto

Página 282

23. Son funciones R4, R6, R7, R8, R11, R12, R13,15 (sólo en sociedades monogámicas), R20, R24 (si
despreciamos los casos de autoría compartida), R26, R28, R30, R34, R35.

24.

Las funciones que en Díez Calzada se llaman “biyectivas”, nosotros las llamamos “inyectivas”.

Recordad la definición de la función inyectiva:

. Informalmente, una función inyectiva le asigna a cada

objeto del dominio un objeto distinto del recorrido.

A continuación explico las relaciones entre las nociones de biyección, inyección y sobreproyección para
aquellos que estén interesados. Si no es tu caso, sólo aplica la definición 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 matemáticas muchas veces hablamos de funciones “de A en B”, siendo el conjunto A el dominio de la
función, pero si bien el recorrido de la función tiene que estar incluido en el conjunto B, no es necesario que
lo agote. Por ejemplo, podemos considerar la función R20 como una función de H en N, pero está claro que
en realidad, el recorrido de esa función será tan sólo un subconjunto muy pequeño de N. Estamos libres para
fijar el conjunto B según nuestros intereses prácticos. Decimos que una función f de A en B es sobreyectiva
o sobreproyectiva si agota el conjunto de llegada B, o, en otras palabras, si B = Rec f. (Díez Calzada llama
estas funciones “exhauciones”.)
Recordad que una función biyectiva de A en B en nuestro sentido (que es el más corriente en las
matemáticas, a diferencia del término “proyección”, utilizado por Díez Calzada) es una función inyectiva y
sobreproyectiva a la vez. La alternativa terminología de Díez Calzada se basa en el hecho de que las
funciones inyectivas también son biyectivas de A en B si fijamos B = Rec R.

Las funciones inyectivas son R6, R7, R8, R11, R12, R13, R26, R28, R35.