EJERCICIOS

Ejercicio 1.7

El diagrama interno de g lo muestra como un mapeo sobreyectivo?

R = No
Ejercicio 1.8

Hay algn mapeo sobreyectivo AB para el diagrama anterior A,B?

R = No
Ejercicio 1.9
Cuntos mapeos hay del conjunto de tres elementos A al de siete elementos B?
Pueden dibujarse todos?

R = #B#A = 73 = 343. S, en principio es posible dibujar todos.

Ejercicio 1.10
Como el ejercicio 1.9, pero para los mapeos B A desde un conjunto de siete
elementos a uno de tres.

R = #B#A = 37 = 2187
Exercise 1.11

Hay alguno sobreyectivo de B A? Hay alguno inyectivo?

R = S, hay varios sobreyectivos (como el de la imagen); pero ninguno inyectivo.

Ejercicio 1.12

Qu definicin de f1 = f2 est supuesta por la idea de nmero de mapeos

usados en 1.9 y 1.10?
R = Dados los mapeos:

Ejercicio 1.15
En la categora de conjuntos abstractos S, algn conjunto A con al menos un
elemento x:1A es tambin un separador? Justifique.

R = A cada elemento x:1X podemos asociarle un mapeo constante xA: A1X

que satisfaga la definicin de separador, i.e., dados los mapeos f1: XY y f2: XY,
(x [xA: AX f1(xA) = f2(xA)]) f1 = f2.

Pues a[a:1A fxAa = fx11 = fx].

Ejercicio 1.16
En la categora de conjuntos abstractos S el conjunto inicial 0 no es un separado.
Justifquelo. (Asuma que existen dos conjuntos A y B con al menos dos mapeos
AB.)

Ejercicio 1.17
Considere

S = Conjunto de conjunto de calcetines en un cuarto oscuro,

V = {blanco, negro}
f = color

Qu tan grande debe ser mi muestra T para que se cumpla lo siguiente: para todo x
inyectivo, fx no es inyectivo (i.e., al menos dos muestras elegidas verificarn tener el
mismo color?

Ejercicio 1.18
Cuntos mapeos hay desde 0 hasta 1? desde 0 hasta 0? desde 1 hasta 0? (y,
entonces, cuntos elementos tiene 0)
Tip: Para contestar la tercera pregunta se necesitan ms axiomas adems de los otros
dos.

Ejercicio 1.20
Aprovechando que 1 es un separador en la categora de conjuntos abstractos,
muestre que (en dicha categora), si V puede discriminar elementos, entonces ste
puede discriminar elementos generalizados. Por lo tanto, en S la T general de la
definicin 1.19 podra ser reemplazada por T = 1.
Ejercicio 1.23
Considerando un conjunto de dos elementos y uno de tres:

Nombra los elementos de A por a0 y a1, y los de B por b0,b1,b2. Dibuja la grfica de
todos los mapeos f : AB y todos los g : B A. Cuntos mapeos hay de AB?
Ejercicio 1.24 (Ya est resuelto)
Qu podemos decir acerca de los mapeos desde un conjunto de cinco elementos en
uno de dos elementos? Cuntos mapeos hay desde:

Respuesta: 25 = 32 mapeos

Ejercicio 1.26
Verificar la tabla de composicin para los endomapeos de 2 considerando las cuatro
posibilidades para las dos flechas en 2 2 2 y computar la composicin.