Академический Документы
Профессиональный Документы
Культура Документы
Una de las cosas más antiguas que sabe hacer el hombre es contar. En sus inicios
contar estaba asociado a contar objetos: UN PALOTE, DOS PALOTES, TRES
PALOTES,......,DIEZ MILLONES DE PALOTES.
Asi que contar es algo más que enumerar objetos. Saber esto no es tan antiguo,
ni tan intuitivo.
De todas formas, una cosa que hacemos es contar, de diversas formas, y para
ello asociamos sı́mbolos a cantidades. Por ejemplo, todos sabemos que no es lo
mismo ocho manzanas que ocho naranja o ocho sandı́as. Pero, en común tienen
que son ocho objetos. Deducimos que hay una cosa abstracta que se llama ocho.
También hay otra cosa abstracta que se llama quinientos veinticinco mil billones,
novecientos treinta y seis millones veinte.
Concluimos que contar objetos es intuitivo pero asociar sı́mbolos a esta enu-
meración no lo es.
Los matemáticos, a lo largo de los años, han tenido varias formas de justificar
estos sı́mbolos y de convencer que representan lo que dicen que representan.
Desde fines del siglo XIX, los matemáticos han coincidido en establecer una forma
de hacer matemáticas que se reconoce como Axiomática. A saber: se parte de con-
ceptos primitivos, postulados o axiomas cuya validez se asume (no se demuestran),
se dan definiciones y se empieza a establecer proposiciones que mezclan axiomas
y definiciones. A estas proposiciones se les llama lemas, proposiciones, corolarios,
escolios, etc. Cuando alguna de ellas resulta central en el desarrollo de la teorı́a, se
le llama Teorema. En lo que sigue haremos esto.
Tenemos que iniciar la teorı́a con algo que sea fácil y evidente de aceptar. ¿ Qué tal
con: existen conjuntos y los conjuntos tienen elementos ?
En sı́mbolos:
A = B ⇔ A ⊂ B ∧ B ⊂ A.
Con lo que hemos contruido ya tenemos los elementos para iniciar la construc-
ción de los números.
Esto no garantiza que existan todos los números naturales: apenas garantiza
que existen todos aquellos números que, con paciencia, seamos capaces de construir.
1.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000
Para obtener los otros números naturales tenemos que dar otras definiciones y acep-
tar otros axiomas.
i) 0 ∈ S y
ii) Toda vez que n ∈ S se verifica n+ ∈ S
entonces S = ω.
Esta propiedad garantiza que S es un conjunto sucesor y luego ω ⊂ S. De
aquı́ la igualdad.
2. Cada n ∈ ω satisface n+ ̸= 0.
Esto es claro ya que n ∈ n+ y luego n+ no es el conjunto vacı́o.
4. Sean n ∈ ω y x ∈ n entonces x n.
I.- 0 ∈ ω.
II.- Si n ∈ ω entonces n+ ∈ ω.
3.1 Introducción
Es claro que esta última representación es más amigable pero, en rigor, lo que
representa es lo primero.
3.2 Funciones
Para definir funciones necesitamos señalar primero lo que entenderemos por producto
cartesiano.
1.- A ∪ B = (A \ B) ∪ (B \ A) ∪ (A ∩ B).
2.- (A ∪ B)c = Ac ∩ B c .
3.- (A ∩ B)c = Ac ∪ B c .
Las partes 2.− y 3.− de ésta proposición se conocen como las Leyes de De
Morgan.
Ahora, dados dos conjuntos, A y B queremos definir la pareja ordenada (A, B).
Esta pareja deberá cumplir las siguientes propiedades: (A, B) ̸= (B, A) y (A, B) =
(C, D) si y solo si A = C y B = D.
Para probar lo afirmado en (ii): {a} ∈ (a, c) y (a, b) = (c, d) entonces {a} ∈
(c, d).
Si ocurre que {a} = {c} entonces ha de ser que a = c. Como {a, b} ∈ (a, b) =
(c, d) entonces {a, b} ∈ (c, d) y debe ser {a, b} = {c} o {a, b} = {c, d}. Si ocurre
{a, b} = {c} entonces a = c = b y luego (a, b) = {{a}}. Como {c, d} ∈ (c, d) =
(a, b) = {{a}} entonces {c, d} = {a} y, necesariamente, a = c = b = d. Si ocurre
que {a, b} = {c, d} entonces como a = c se debe tener b ∈ {a, d}. Si b = a entonces
de {a, b} = {a} = {c, d} = {a, d} debemos tener d = a y luego a = c = b = d. Si
b ̸= a entonces hemos de tener b = d y concluimos que a = c y b = d.
Estas eran las propiedades principales que le pediamos a las parejas ordenadas
y, por ello, la definición exhibida cumple con lo requerido.
¿ Existe un conjunto que contenga a todas las parejas ordenadas (a, b) con
a ∈ A y b ∈ B?.
Sabemos que (a, b) = {{a}, {a, b}}. También que {a} ⊂ A ⊂ A ∪ B y {a, b} ⊂
A ∪ B. Luego {a} ∈ P (A ∪ B) y {a, b} ∈ P (A ∪ B). Asi que el conjunto (a, b) =
{{a}, {a, b}} ⊂ P (A ∪ B). Esto es (a, b) ∈ P (P (A ∪ B))
1. dom(f ) = A y
2. Para cada a ∈ A existe un único b ∈ B talque (a, b) ∈ f .
Sea
C = {A ⊂ ω × X; (0, a) ∈ A y (n+, f (x)) ∈ A toda vez que (n, x) ∈ A}.
Sea
S = {n ∈ ω; existe a lo más un x ∈ X tal que (n, x) ∈ u}.
Afirmación 3. 0 ∈ S. Si no, existe b ̸= a tal que (0, b) ∈ u.
Supongamos que (n, x) ∈ ν. Se tiene que (n, x) ∈ u y (n, x) ̸= (0, b). Luego
(n+, f (x)) ∈ u. Como n+ ̸= 0 ∀n ∈ ω entonces (n+, f (x)) ̸= (0, b) y tenemos
(n+, f (x)) ∈ ν. Asi que ν ∈ C. Por lo tanto u ⊂ ν. Esto último no es posible pues
ν = u \ {(0, b)}.
De esta forma, suponer que existen dos elementos a y b con (0, a) ∈ u , (0, b) ∈
u y a ̸= b nos lleva a una contradicción. Luego, no existe tal b. Concluı́mos que
0 ∈ S.
Esto es m + n = Sm (n).
Sea S = {m ∈ ω; 0 + m = m}.
Afirmación 4. 0 ∈ S . En efecto 0 + 0 = 0.
Tenemos:
Sea S = {m ∈ ω; 1 × m = m}.
A = {n ∈ ω; k × (m + n) = k × m + k × n}.
Afirmación 5. 0 ∈ A.
En efecto,
k × (m + 0) = k × m y k × 0 = 0,
luego k × (m + 0) = k × m + k × 0 , asi 0 × A.
k × (m + n+) = k + k × m + k × n = k × m + k × n + k × 1.(∗)
Tenemos: (n+) × (k+) = Pn+ (k+) = Sn+ (Pn+ (k)) = (n+) + (n+) × k =
(n+) + n × k + k = n × k + (n+) + k = n × k + (n + 1) + k = n × k + n + (k + 1) =
n × k + n + (k+) = (Pn (k) + n) + (k+) = (n + Pn (k)) + (k+) = Sn (Pn (k)) + (k+) =
Pn (k+) + (k+) = n × (k+) + (k+).
Esto es: (n+) × (k+) = n × (k+) + (k+), que implica (k+) ∈ S. Luego S = ω.
Seguimos ahora con (*)