Tarea 0 de Javier
Tarea 0 de Javier
Tarea 0 de Javier
¿Qué es lo que
debemos hacer, si queremos demostrar que A y B tienen el mismo número de elementos? ¿Qué
significa que uno tenga más elementos que otro?
ii) Demuestren que el conjunto de los múltiplos de 10 y el de los números con expansión deci-
mal finita tienen exactamente la misma cantidad de elementos que N. Lo mismo con Z X Z y Q.
Analicemos el problema por partes y primero centrémonos en el conjunto de números con ex-
pansión decimal finita al que llamaremos W. Ahora descompongamos un poco a dicho conjunto y
veamos sus subconjutos que lo componen.
Sea w1 = {A.a1 A ∈ Z ∧ a1 ∈ {0, 1, 2, ..., 9}}
w2 = {A.a1 a2 A ∈ Z ∧ a1 , a2 ∈ {0, 1, 2, ..., 9}}
w3 = {A.a1 a2 a3 A ∈ Z ∧ a1 , a2 , a3 ∈ {0, 1, 2, ..., 9}}
.
.
.
wn = {A.a1 a2 a3 ...an A ∈ Z ∧ a1 , a2 , a3 , ..., an ∈ {0, 1, 2, ..., 9}}
S∞
⇒ k=1 wk = W
1
Obteniendo ası́ que |w1 | = |N| . Este mismo procedimiento se puede utilizar para mostrar que w2
es numerable, tal y como se muestra en la siguiente figura.
Figure 1: •
Este procedimiento se generaliza para wk obteniendo por inducción que |wk | = |N|, luego se reor-
ganizan los elementos en una nueva estructura que involucra a cada uno de los subconjuntos de W
ordenándolos de una nueva forma, tal y como se plantea en la siguiente figura, donde cada elemento
es llamado wl,p donde l hace referencia al subconjunto al que pertenece y p a la numeración que
lleva.
Figure 2: •
S∞
La anterior tabla representa a k=1 wk = W y muestra que |W| = |N| Puesto que se encontró una
forma de emparejarlos 1 a 1.
2
Para mostrar que también existe una manera de numerar a los múltiplos de 10 podemos uti-
lizar la siguiente figura:
Figure 3: •
Figure 4: •
iii)¿Qué significa que un conjunto sea infinito? Defı́nalo de dos maneras alternativas.
1.- Se puede definir a un conjunto infinito como a que se puede poner en correspondiencia biunı́voca
con un subconjunto propio de sı́ mismo.
3
2.- Que no sea finito i.e que no tenga un último elemento.
iv) ¿Qué significa que un conjunto A sea numerable? ¿Qué concluyen de los ejemplos del in-
ciso 1ii? Argumenten que la unión finita o numerable de conjuntos numerables nos resulta siempre
conjunto numerable. - Significa que |A| = |N|, i.e que puedes aparear cada uno de los elementos
de A con los de los naturales en una correspondencia 1 a 1 y viceversa.
Para argumentar el porque la unión finita o numerable de conjuntos numerables podemos tomar
dos razonamientos paralelos, el primero de ellos nos da una noción gráfica de lo que podemos hacer
dando una familia de conjuntos numerables y obteniendo aquello que afirmábamos ”La unión nu-
merable de conjuntos numerables es numerable”.
Figure 5: •
Un segundo ejemplo de esto es tomar un caso particular y llevarlo por inducción al caso gen-
eral. ¿Cómo hacemos esto? Tomemos dos conjuntos arbitrarios que sean numerables |A| ∧ |B|,
puesto que son numerables entonces ambos pueden ser apareados 1 a 1 con un tercer y cuarto con-
junto numerable, escojamos a conveniencia dichos conjuntos siendo |P| el conjunto de los números
pares y |IP| el conjunto de los números impares, ambos tienen una cardinalidad igual a la de los
números naturales, lo cual significa que ambos son numerables. Ahora bien, sigamos el siguiente
razonamiento:
4
que los elementos de O los apareamos uno a uno con IP y nuevamente se repite el proceso Ad
Infinitum. La siguiente figura ayuda a su interpretación.
Figure 6: •
V) ¿Con qué tipo de números podrı́amos modelar la recta? Demuestren que en el intervalo (0,1)
hay tantos puntos como en el (0,2) y tantos como en toda la recta.
El tipo de puntos con los cuales se deberı́a de modelar una recta deben de ser continuos y no dejar
ningún espacio vacı́o entre ellos, esta propiedad solamente puede ser cumplida por los números
”reales” R puesto que en los números racionales existen los huecos de los irracionales y viceversa.
5
Ahora bien, para demostrar que hay tantos puntos en (0,1) como en (0,2) se utilizará a la función
f : (0, 1) ⊂ R −→ (0, 2) ⊂ R con la regla de correspondencia f (x) = 2x que es una función
biyectiva, tal y como se demostrará a continuación:
Primero demostremos que f es inyectiva, se dice que dicha función es inyectiva ⇔ [Dados x1
y x2 en el dominio de la función f (x1 ) = f (x2 ) ⇔ x1 =x2 ]
Demostración de suprayectividad:
x se encuentra definida para el intervalo (0,1) y y está definido para el intervalo (0,2). Entonces
se tiene que 0 < x < 1 ⇒ 0 < 2x < 2 puesto que f (x) = 2x = y implica que g(y) = y2 = x ya que
0 < y2 = x < 1.
Ya que f(x)es inyectiva y suprayectiva, entonces es biyectiva en dichos intervalos, por tanto hay
tanto punto en (0,1) como en (0,2) para terminar de ilustrar la idea se muestra la siguiente figura:
Figure 7: •
vi) Demuestren que ”el infinito de los puntos de la recta es mayor que el de los naturales” y
que ”el infinito de los naturales es el más pequeño de los infinitos” ¿Qué hay más, racionales o
irracionales?.
Para realizar esta demostración utilizaremos la prueba de la diagonal de Cantor que consiste en lo
siguiente:
Siendo R = {A.a1 a2 a3 ... A ∈ Zyak = {1, 2, 3, 4, ..., 9}}
Supóngase que el conjunto R es numerable, entonces podemos tener un primer, segundo, tercer y
ası́ sucesivamente ordenados reales.
1.-A.a1 a2 a3 ... Y por otro lado tenemos a un número ς.α1 α2 α3 ...
2.-B.b1 b2 b3 ...
3.-C.c1 c2 c3 ...
.
6
.
.
Nuestro número ς 6= A, α1 6= b1 , α2 6= c2 , α1 6= d3 ... De modo que dicho número no se puede
expresar como un racional y por tanto |N| 6 |R|.
2. i)Demuestren que ”entre cualesquiera dos racionales diferentes, por pegados que éstos estén
entre sı́, siempre hay una infinidad de racionales más, de modo que dado un racional, no puede
existir ”el siguiente”.
iii) ¿Qué significa construir un modelo axiomático de la recta? ¿Cuáles son las propiedades que
caracterizan a un campo ordenado?¿Es Q un campo ordenado? ¿Es I un campo ordenado?
Significa analizar y observar el comportamiento de la recta y ası́ extraer sus propiedades fun-
damentales con las cuales se puede deducir y describir toda la recta.
1) Cerradura de la suma
2) Conmutatividad de *
3) Asociatividad de *
4) Asociatividad de +
5) Conmutatividad de +
6) Inverso aditivo
7) Inverso multiplicativo.
8) Neutro aditivo.
9) Neutro multiplicativo
10) Cerradura
Y para que sea ordenado: Deben de existir tres operadores ”=, <, >” que relacionan a distintos
números entre si, de tal manera que sean exclusivos el uno del otro en una misma relación.