Conjuntos Numéricos
1. ¿Qué es un Número? Aritmética vs Álgebra
Los números no son objetos físicos sino construcciones abstractas de la mente humana. A lo largo de la historia, la humanidad fue ampliando el concepto de "número" para resolver ecuaciones cada vez más complejas.
Aritmética vs Álgebra
Aritmética: estudia los números y las operaciones básicas entre ellos (suma, resta, multiplicación, división). Trabaja con valores concretos. Ejemplo: $3 + 5 = 8$.
Álgebra: generaliza la aritmética usando símbolos (letras) para representar números desconocidos. Busca patrones y estructuras. Ejemplo: resolver $x + 2 = 7$.
La ampliación de los conjuntos numéricos siguió una necesidad algebraica: cada vez que una ecuación no tenía solución en un conjunto, se creaba uno nuevo que sí la tuviera.
2. Axiomas de Peano
En 1889, Giuseppe Peano estableció una definición axiomática de los números naturales. Cinco axiomas simples bastan para construir toda la aritmética:
Axioma 1: El $0$ es un número natural. (Peano usaba $1$ como primer elemento; hoy muchos textos parten de $0$.)
Axioma 2: Todo número natural $n$ tiene un sucesor $S(n)$ que también es natural. $S(0) = 1$, $S(1) = 2$, $S(2) = 3$, ...
Axioma 3: El $0$ no es sucesor de ningún número natural. Es el primer elemento de la cadena.
Axioma 4: Si dos números tienen el mismo sucesor, entonces son iguales. La función sucesor es inyectiva. No hay ciclos: la cadena $0, 1, 2, 3, \ldots$ es lineal.
Axioma 5 (Principio de Inducción): Si una propiedad $P$ vale para $0$, y siempre que vale para $n$ vale para $S(n)$, entonces vale para todos los naturales. Este axioma es la base de las demostraciones por inducción.
Con los axiomas de Peano, la suma se define recursivamente: $m + 0 = m$, $m + S(n) = S(m + n)$. Con esto se construye la multiplicación, el orden, y eventualmente todos los conjuntos numéricos superiores.
3. Números Naturales (ℕ)
¿El 0 es natural?
Existen dos convenciones en la literatura matemática:
- ℕ₀ = {0, 1, 2, 3, ...} — incluye el cero. Usada en lógica, teoría de conjuntos, ciencias de la computación y en los axiomas de Peano modernos.
- ℕ₁ = {1, 2, 3, 4, ...} — excluye el cero. Común en textos escolares y de teoría de números elemental.
Ambas son válidas. Lo importante es especificar cuál se está usando. En este curso usaremos ℕ = {0, 1, 2, 3, ...} salvo que se indique lo contrario.
Los naturales están ordenados ($0 < 1 < 2 < \ldots$) y son discretos: entre dos naturales consecutivos no hay ningún otro natural.
Operaciones cerradas en ℕ
| Operación | ¿Cerrada en ℕ? | Ejemplo |
|---|---|---|
| Suma | ✓ Sí | $3 + 5 = 8 \in \mathbb{N}$ |
| Multiplicación | ✓ Sí | $3 \times 5 = 15 \in \mathbb{N}$ |
| Resta | ✗ No | $3 - 5 = -2 \notin \mathbb{N}$ |
| División | ✗ No | $3 / 5 \notin \mathbb{N}$ |
La necesidad de restar libremente motivó la creación de los números enteros.
4. Números Enteros (ℤ)
Los enteros se obtienen añadiendo los opuestos aditivos (negativos) a los naturales. Así, toda ecuación de la forma $x + a = b$ con $a, b \in \mathbb{Z}$ tiene solución en ℤ.
Propiedades de ℤ
- Es un anillo conmutativo con unidad.
- Es cerrado para suma, resta y multiplicación. La división sigue sin ser cerrada.
- Es un conjunto infinito numerable (mismo cardinal que ℕ).
- No tiene "primer elemento": se extiende infinitamente en ambas direcciones.
En la recta numérica, los enteros son puntos igualmente espaciados. Pero entre dos enteros consecutivos quedan "huecos" vacíos. Para llenarlos necesitamos los racionales.
5. Números Racionales (ℚ)
Los racionales representan fracciones y decimales finitos o periódicos. Son el cociente de dos enteros (con denominador no nulo).
Propiedad de densidad
Entre dos racionales cualesquiera $a < b$ existe siempre otro racional: basta tomar $\frac{a+b}{2}$. Esto implica que ℚ es denso en sí mismo: hay infinitos racionales entre dos racionales dados, por cercanos que estén.
Representación decimal
Todo racional tiene una expansión decimal finita o periódica. Ejemplos:
A pesar de su densidad, ℚ tiene "agujeros". Pitágoras descubrió que la diagonal de un cuadrado de lado 1 no es racional: $\sqrt{2} \notin \mathbb{Q}$. Esto llevó a la crisis de los inconmensurables y, eventualmente, a los números irracionales.
6. Números Irracionales (𝕀)
Los irracionales son números reales que no pueden expresarse como fracción de enteros. Su expansión decimal es infinita y no periódica.
Demostración: $\sqrt{2}$ es irracional
Supongamos $\sqrt{2} = p/q$ con $p,q$ coprimos (fracción irreducible).
Entonces $2 = p^2/q^2 \implies p^2 = 2q^2$. Por tanto $p^2$ es par, luego $p$ es par: $p = 2k$.
Sustituyendo: $(2k)^2 = 2q^2 \implies 4k^2 = 2q^2 \implies 2k^2 = q^2$.
Luego $q^2$ es par, y $q$ es par. Pero entonces $p$ y $q$ serían ambos pares, contradiciendo que son coprimos. Por lo tanto $\sqrt{2}$ no puede ser racional. $\blacksquare$
Números irracionales famosos: $\sqrt{2}$, $\sqrt{3}$, $\pi \approx 3{,}14159\ldots$, $e \approx 2{,}71828\ldots$, $\varphi = \frac{1+\sqrt{5}}{2}$ (razón áurea).
7. Números Reales (ℝ)
Los reales "llenan todos los huecos" de la recta. Su propiedad distintiva es la completitud: todo subconjunto de ℝ acotado superiormente tiene un supremo en ℝ.
Axioma del Supremo
Si $A \subseteq \mathbb{R}$ está acotado superiormente (existe $M$ tal que $a \leq M$ para todo $a \in A$), entonces $A$ tiene un supremo (la menor de las cotas superiores) en ℝ.
Este axioma es lo que distingue a ℝ de ℚ. Por ejemplo, $A = \{x \in \mathbb{Q} \mid x^2 < 2\}$ tiene supremo $\sqrt{2}$ en ℝ, pero no en ℚ.
ℝ es un cuerpo ordenado y completo. Es la base del Análisis Matemático: sobre ℝ se definen los límites, las derivadas y las integrales. La recta real está en correspondencia biunívoca con todos los números reales: cada punto de la recta es un número real, y cada número real es un punto de la recta.
8. Números Complejos (ℂ)
Así como los enteros nacieron para resolver $x + 5 = 0$ y los reales para $x^2 = 2$, los complejos surgen para resolver $x^2 = -1$. La unidad imaginaria $i = \sqrt{-1}$ permite expresar raíces de cualquier polinomio.
Teorema Fundamental del Álgebra
Todo polinomio con coeficientes complejos de grado $n \geq 1$ tiene al menos una raíz en ℂ. Equivalentemente, $\mathbb{C}$ es algebraicamente cerrado.
Cada número complejo $z = a + bi$ se representa como un punto $(a,b)$ en el plano complejo (eje real $a$, eje imaginario $b$). Las operaciones en ℂ tienen interpretación geométrica: la suma es traslación y el producto rota y escala.
9. Cuaterniones (ℍ)
En 1843, William Rowan Hamilton descubrió que podía extender los números complejos a cuatro dimensiones. Mientras caminaba por el puente de Brougham en Dublín, grabó la fórmula fundamental en una piedra:
Un cuaternión es un número de la forma:
No conmutatividad
Los cuaterniones rompen una propiedad fundamental: la multiplicación no es conmutativa. $ij = k$ pero $ji = -k$. Esta fue una revolución conceptual: ¡no toda álgebra tiene que ser conmutativa!
| × | i | j | k |
|---|---|---|---|
| i | -1 | k | -j |
| j | -k | -1 | i |
| k | j | -i | -1 |
Los cuaterniones tienen aplicaciones en gráficos 3D (rotaciones en espacio tridimensional), robótica y física. Son el conjunto numérico más grande en la cadena de inclusiones:
10. Mapa Interactivo de Conjuntos Numéricos
11. Test Final
12. Certificado
Certificado de Conocimientos
Conjuntos Numéricos — De ℕ a ℍ
Ha completado satisfactoriamente la evaluación
Prof. Mariano Miguel Lanzi