Instituto de Profesores “Artigas” Topología – 3er año – 2013

2 – PRODUCTOS CARTESIANOS Y NUMERABILIDAD

1. A = A1 x A2 x … y B = B1 x B2 x … productos cartesianos indexados en * .
a) Si Bi  Ai, para todo i    ¿B  A? Justifique.
b) ¿Se cumple el recíproco de la “afirmación” anterior? Justifique y en caso de que no se cumpla,
indique alguna condición para que sí se cumpla.
c) Si A ≠ , ¿qué se puede afirmar sobra cada Ai? ¿Se cumple el recíproco?
d) ¿Cuál es la relación entre el conjunto A  B y el producto cartesiano de los conjuntos Ai  Bi?
e) ¿Cuál es la relación entre el conjunto A  B y el producto cartesiano de los conjuntos Ai  Bi?

2. Sean m, n  * y X ≠ .
a) Si m  n, encuentre una aplicación inyectiva f : Xm  Xn.
b) Encuentre una aplicación biyectiva g: Xm  Xn  Xm + n.
c) Encuentre una aplicación inyectiva h : Xn  X.
d) Encuentre una aplicación biyectiva k : Xn  X  X.
e) Encuentre una aplicación biyectiva l : X  X  X.
f) Si A  B, encuentre una aplicación inyectiva m : (A)n  B.


3. ¿Cuál de los siguientes subconjuntos de  puede expresarse como el producto cartesiano
de subconjuntos de  ?
a) {x / xi es un entero para todo i}
b) { x / xi  i para todo i}
c) { x / xi es un entero para todo i  100}
d) { x / x2 = x3}

4. Determine cuáles de los siguientes conjuntos son numerables y justifique:

a)  b)  c)  x  d) [0,1]
e) A x B, siendo A y B numerables. ¿Se puede extender este resultado?
f) A  B, siendo A y B numerables. ¿Se puede extender este resultado?
g) La familia de intervalos de extremos racionales.
h) La familia de polinomios de coeficientes racionales.
i) El conjunto de los reales algebraicos sobre  . (Un real es algebraico sobre  si es raíz de un
polinomio de coeficientes racionales y es trascendente cuando no es algebraico).
j) ¿Qué resultado interesante puede deducir de la parte anterior?
Instituto de Profesores “Artigas” Topología – 3er año – 2013

5. a) X = {0,1}. Demuestre que existe una correspondencia biyectiva entre el conjunto P    

y el producto cartesiano X.
b) ¿Es X numerable?

6. Determine cuáles de los siguientes conjuntos son numerables y justifique:

a) El conjunto A de todas las funciones f : {0,1}  
b) El conjunto Bn de todas las funciones f : {1,…,n}  
c) El conjunto C = B
n 
n

d) El conjunto D de todas las funciones f :     

e) El conjunto E de todas las funciones f :   {0,1}
f) El conjunto F de todas las funciones f :   {0,1} que son “finalmente cero” (f
es finalmente cero si existe un natural N tal que f(n) = 0 para todo n  N).
g) El conjunto F de todas las funciones f :   {0,1} que son “finalmente uno”.
h) El conjunto H de todas las funciones f :      que son “finalmente constante”.
i) El conjunto I de todos los subconjuntos de dos elementos de  
j) El conjunto J de todos los subconjuntos finitos de  

Sugerencia final para el alumno: leer el parágrafo 9 del capítulo 1 del libro (Conjuntos infinitos y
el axioma de elección).