+ FUNDAMENTOS

2015
Práctico No 5
Cardinales

Ejercicio 1 Demuestre que la relación de equipotencia es una relación de

equivalencia.

Ejercicio 2 Producto de cardinales: Dados y , cardinales representados

por A y B; respectivamente. Se de…ne su producto como el cardinal del
producto cartesiano A B, denotado por = card(A B):

Probar que el producto de cardinales está bien de…nido, es decir, es

independiente de representantes.
Ayuda: Si A A0 y B B 0 ; probar que A B A0 B 0 :

Ejercicio 3 Propiedad Monaria de cardinales: Si A es un representante del

cardinal , se de…ne la potencia de en base 2 como el cardinal de }(A): En
símbolos, 2 := card(}(A)):

Probar que la propiedad monaria de cardinales está bien de…nida, es

decir que es independiente de representantes.

Ayuda: Supongamos que A0 es otro representante de ; es decir que

A A0 ; de modo que existe una aplicación biyectiva f : A ! A0 . Demostrar
que la aplicación
: }(A) ! }(A)

X 7 ! f (X)
es una …nción biyectiva.

Ejercicio 4 Demostrar:

i. Si A B entonces el card(A) card(B): En particular, si A B y B es

…nito, entonces card(A) < card(B):

ii. card(A) card(}(A)):

1
Ejercicio 5 Probar usando conjuntos equipotentes que para todo n 2 N;

a. 2n = n + n:

b. 2n+1 = 2n 2:

Ejercicio 6 Probar que la función p : N ! N; de…nida por p(n) = 2n es

inyectiva y p (N) N:

Ejercicio 7 Demostrar: si n 2 N entonces n + 2 2 N

a. Usando la Proposición 2.1.

b. Usando la de…nición de conjuntos …nitos, hacer una demostración por el

absurdo contruyendo la funcion biyectiva y el subconjunto equipotente.

Ejercicio 8

a. Demostrar que N P; donde P es el conjunto de los número pares, es

decir, P = f2n : n 2 Ng : Concluir que el conjunto N de los números
naturales es in…nito y que card(P ) = @0

b. Demostrar que N P , donde P es el conjunto formado por los cuadrados

de cada natural, es decir, P = fn2 : n 2 Ng : Concluir que card(P ) =
@0 :

Nota: Para los más curiosos leer: La Paradoja de Galileo.

Ejercicio 9 Determine la validéz de las siguientes a…rmaciones:

a. Suponga que E es un conjunto numerable. Luego, card(E)+ = card(E);

para todo cardinal card(E):

b. Si 2n > n; para todo n 2 N; entonces 2@0 > @0 :

Ejercicio 10

2
 x
a. Probar que ( 1; 1) R vía la función f (x) = 1 x2
: Concluir que el
conjunto R; de los números reales, es in…nito.

b. Demostrar que R R+ = fa 2 R : a > 0g via la función f (x) = ex : ¿Es

la única función que determina la equipotencia entre ambos conjuntos?

Ejercicio 11 Demostrar que el intervalo [0; 1] [0; ] : Concluir que card([0; ]) =

c; donde c = card(R).

Ejercicio 12

a. Demostrar Corolario 2.5.

b. Demostrar Corolario 2.6.

Ejercicio 13 Problemas del libro: 2.1 (a., d., e., f.), 2.2, 2.3, 2.4, 2.5, 2.6,
2.7, 2.19, 2.25, 2.26.