Los números reales

"Dios creó los enteros; el resto es obra del hombre." — Leopold Kronecker.

Qué vas a aprender en este capítulo

Antes de hacer cálculo, álgebra avanzada o programación, necesitás manejar con seguridad el sistema numérico sobre el que todo se construye. Vas a repasar los conjuntos clásicos (N,Z,Q,R\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}), las propiedades de la suma y el producto, valor absoluto, intervalos, potencias y raíces. Es repaso, sí — pero hacerlo bien ahora te ahorra dolor el resto de la carrera.

1.1 La idea: los reales como una recta

💡 Intuición

Pintate una recta horizontal infinita. Marcá un punto y llamale 0 (el origen). Marcá otro punto a la derecha y llamale 1. Ahora cada punto de esa recta corresponde a un número real: positivos a la derecha del 0, negativos a la izquierda.

El conjunto de los números reales R\mathbb{R} se identifica con la recta numérica. A cada punto de la recta le corresponde exactamente un número real, y viceversa.

Eso parece tonto, pero esconde una sutileza enorme: hay puntos de la recta que no se pueden expresar como fracción. Por ejemplo, 2\sqrt{2} — la diagonal de un cuadrado de lado 1, que es un número concreto pero no es ninguna fracción p/qp/q. Esos números "irracionales" llenan todos los huecos que dejan los racionales.

Los reales son la unión de racionales (fracciones) e irracionales (los huecos). Juntos forman una recta sin agujeros — un continuo.

1.2 Los conjuntos clásicos

📐 Fundamento

Conjunto Símbolo Elementos
Naturales N\mathbb{N} 0,1,2,3,0, 1, 2, 3, \ldots (en algunos libros, sin el 0)
Enteros Z\mathbb{Z} ,2,1,0,1,2,\ldots, -2, -1, 0, 1, 2, \ldots
Racionales Q\mathbb{Q} Fracciones p/qp/q, con p,qZp, q \in \mathbb{Z}, q0q \neq 0
Irracionales I\mathbb{I} Reales que NO son racionales (ej: 2,π,e\sqrt{2}, \pi, e
c-2.7,0,-7.17,-2.7,-13.5,-8c-5.8,-5.3,-9.5,-10,-9.5,-14
c0,-2,0.3,-3.3,1,-4c1.3,-2.7,23.83,-20.7,67.5,-54
c44.2,-33.3,65.8,-50.3,66.5,-51c1.3,-1.3,3,-2,5,-2c4.7,0,8.7,3.3,12,10
s173,378,173,378c0.7,0,35.3,-71,104,-213c68.7,-142,137.5,-285,206.5,-429
c69,-144,104.5,-217.7,106.5,-221
l0 -0
c5.3,-9.3,12,-14,20,-14
H400000v40H845.2724
s-225.272,467,-225.272,467s-235,486,-235,486c-2.7,4.7,-9,7,-19,7
c-6,0,-10,-1,-12,-3s-194,-422,-194,-422s-65,47,-65,47z
M834 80h400000v40h-400000z"/>,π,e)
Reales R\mathbb{R} Unión de racionales e irracionales

Inclusiones: NZQR\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}.

Decimales y racionales. Un número es racional ⇔ su expansión decimal es finita o periódica:

  • 1/4=0.251/4 = 0.25 (finita).
  • 1/3=0.3331/3 = 0.333\ldots (periódica, período 3).
  • 1/7=0.1428571428571/7 = 0.142857142857\ldots (período 142857).

Un irracional tiene expansión decimal infinita y no periódica:

  • π=3.14159265358979\pi = 3.14159265358979\ldots
  • 2=1.41421356\sqrt{2} = 1.41421356\ldots
  • e=2.71828182e = 2.71828182\ldots

Demostración famosa: 2\sqrt{2} es irracional. Por contradicción. Supongamos 2=p/q\sqrt{2} = p/q con la fracción simplificada al máximo (sin factores comunes). Elevando: 2=p2/q2p2=2q22 = p^2/q^2 \Rightarrow p^2 = 2 q^2. Esto significa que p2p^2 es par, así que pp es par. Escribimos p=2kp = 2k. Entonces 4k2=2q2q2=2k24 k^2 = 2 q^2 \Rightarrow q^2 = 2 k^2, así que q2q^2 es par y qq es par. Pero entonces pp y qq tienen factor común 2 — contradicción con que la fracción estaba simplificada. Por tanto, no existen p,qp, q tales que 2=p/q\sqrt{2} = p/q.

Ese argumento (~500 a.C., probablemente pitagórico) destruyó la creencia griega de que "todo número es razonable" (es decir, fracción). Por mucho tiempo lo mantuvieron en secreto.

1.3 Propiedades de las operaciones

📐 Fundamento

Para a,b,cRa, b, c \in \mathbb{R}:

Suma:

Propiedad Fórmula
Conmutativa a+b=b+aa + b = b + a
Asociativa (a+b)+c=a+(b+c)(a + b) + c = a + (b + c)
Elemento neutro a+0=aa + 0 = a
Elemento opuesto a+(a)=0a + (-a) = 0

Multiplicación:

Propiedad Fórmula
Conmutativa ab=baa \cdot b = b \cdot a
Asociativa (ab)c=a(bc)(a b) c = a (b c)
Elemento neutro a1=aa \cdot 1 = a
Inverso multiplicativo a1a=1a \cdot \frac{1}{a} = 1 (para a0a \neq 0)

Distributiva (la que une las dos):

a(b+c)=ab+aca(b + c) = a b + a c

Es la propiedad mas usada del álgebra. Cuando "expandís" o "sacás factor común", estás usando distributiva.

Cero y signos:

  • a0=0a \cdot 0 = 0 (siempre).
  • (a)=a-(-a) = a.
  • (a)(b)=(ab)(-a)(b) = -(ab).
  • (a)(b)=ab(-a)(-b) = ab.
  • Si ab=0ab = 0, entonces a=0a = 0 o b=0b = 0 (propiedad fundamental — clave para resolver ecuaciones por factorización).

División por cero — la prohibición. a/0a/0 no está definido. Nunca. Si en una cuenta llegás a dividir por algo que vale cero, algo está mal — probablemente perdiste un caso al despejar. Esa es una fuente recurrente de errores en exámenes.

1.4 Orden, intervalos y desigualdades

📐 Fundamento

En R\mathbb{R} existe un orden <<. Algunas propiedades:

  1. Si a<ba < b y cRc \in \mathbb{R}, entonces a+c<b+ca + c < b + c.
  2. Si a<ba < b y c>0c > 0, entonces ac<bcac < bc.
  3. Si a<ba < b y c<0c < 0, entonces ac>bcac > bc (¡el sentido se invierte!).

Trampa #1 del cap. Multiplicar una desigualdad por un negativo invierte la desigualdad:

x>5(2)2x<10x > 5 \quad \xrightarrow{\cdot (-2)} \quad -2x < -10

Si te olvidás de invertir, todo el problema queda mal.

Intervalos. Subconjuntos importantes de R\mathbb{R}:

Notación Definición Interpretación
[a,b][a, b] {x:axb}{x : a \leq x \leq b} cerrado: incluye extremos
(a,b)(a, b) {x:a<x<b}{x : a < x < b} abierto: excluye extremos
[a,b)[a, b) {x:ax<b}{x : a \leq x < b} semicerrado
(a,)(a, \infty) {x:x>a}{x : x > a} infinito a la derecha
(,b](-\infty, b] {x:xb}{x : x \leq b} infinito a la izquierda
(,)(-\infty, \infty) todo R\mathbb{R} la recta entera

Convención: paréntesis () para extremos NO incluidos, corchetes [] para los SÍ. El infinito \infty siempre lleva paréntesis porque no es un número que se pueda "alcanzar".

Resolviendo desigualdades. Dos pasos:

  1. Despejá usando reglas (cambiá de signo si multiplicás por negativo).
  2. Expresá la solución en notación de intervalo.

Ejemplo. 3x+511-3x + 5 \leq 11.

3x6x2-3x \leq 6 \Rightarrow x \geq -2 (dividí por 3-3 negativo, invertí).

Solución: x[2,)x \in [-2, \infty).

1.5 Valor absoluto

📐 Fundamento

Definición.

x={xsi x0xsi x<0|x| = \begin{cases} x & \text{si } x \geq 0 \\ -x & \text{si } x < 0 \end{cases}

En palabras: el valor absoluto mata el signo. 5=5|5| = 5, 7=7|-7| = 7, 0=0|0| = 0.

Interpretación geométrica. x|x| es la distancia de xx al origen en la recta numérica. xa|x - a| es la distancia de xx a aa.

Propiedades:

  1. x0|x| \geq 0 siempre.
  2. x=0x=0|x| = 0 \Leftrightarrow x = 0.
  3. xy=xy|x \cdot y| = |x| \cdot |y|.
  4. x/y=x/y|x/y| = |x|/|y| (con y0y \neq 0).
  5. Desigualdad triangular: x+yx+y|x + y| \leq |x| + |y|.
  6. x2=x2|x|^2 = x^2.

Desigualdades con valor absoluto — la fuente eterna de errores:

Desigualdad Equivale a
x<a x
x>a x
x=a x

Ejemplo. Resolver x3<5|x - 3| < 5.

Equivale a 5<x3<5-5 < x - 3 < 5, sumando 3: 2<x<8-2 < x < 8. Solución: (2,8)(-2, 8).

Ejemplo. Resolver 2x+17|2x + 1| \geq 7.

Equivale a 2x+172x + 1 \leq -7 o 2x+172x + 1 \geq 7. Despejando: x4x \leq -4 o x3x \geq 3. Solución: (,4][3,)(-\infty, -4] \cup [3, \infty).

1.6 Potencias y raíces

📐 Fundamento

Definición de potencia entera positiva:

an=aaan vecesa^n = \underbrace{a \cdot a \cdots a}_{n \text{ veces}}

Potencias cero y negativa:

  • a0=1a^0 = 1 (con a0a \neq 0). 000^0 es indeterminado.
  • an=1/ana^{-n} = 1/a^n.

Leyes de los exponentes (memorizá):

Ley Fórmula
Producto aman=am+na^m \cdot a^n = a^{m+n}
Cociente am/an=amna^m / a^n = a^{m-n}
Potencia de potencia (am)n=amn(a^m)^n = a^{m \cdot n}
Producto a potencia (ab)n=anbn(ab)^n = a^n b^n
Cociente a potencia (a/b)n=an/bn(a/b)^n = a^n / b^n

Trampas comunes:

  • am+anam+na^m + a^n \neq a^{m+n}. Las leyes son para PRODUCTO, no suma.
  • (a+b)2a2+b2(a + b)^2 \neq a^2 + b^2. Lo correcto: (a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2.

Raíces como exponentes fraccionarios.

an=a1/n\sqrt[n]{a} = a^{1/n}

Y combinando: am/n=amn=(an)ma^{m/n} = \sqrt[n]{a^m} = (\sqrt[n]{a})^m.

Reglas para raíces:

  • ab=ab\sqrt{ab} = \sqrt{a} \cdot \sqrt{b} (con a,b0a, b \geq 0).
  • a/b=a/b\sqrt{a/b} = \sqrt{a}/\sqrt{b} (con a0,b>0a \geq 0, b > 0).
  • a+ba+b\sqrt{a + b} \neq \sqrt{a} + \sqrt{b}. ¡Esta es trampa MUY común!
  • a2=a\sqrt{a^2} = |a|. (No simplemente aa — si aa es negativo, hay que poner valor absoluto.)

Notación científica. Para números muy grandes o muy pequeños:

1,500,000=1.5×1061{,}500{,}000 = 1.5 \times 10^6
0.000023=2.3×1050.000023 = 2.3 \times 10^{-5}

Los exponentes se suman al multiplicar: (2×103)(3×104)=6×107(2 \times 10^3)(3 \times 10^4) = 6 \times 10^7.

⚠️ Trampa común

Errores algebraicos de bachillerato que matan en cálculo:

  1. (a+b)2=a2+b2(a + b)^2 = a^2 + b^2 ❌. Correcto: a2+2ab+b2a^2 + 2ab + b^2.
  2. a2+b2=a+b\sqrt{a^2 + b^2} = a + b ❌. Casi nunca se simplifica así.
  3. a+ba=1+ba\frac{a + b}{a} = 1 + \frac{b}{a} ✓ (sí se puede). aa+b=1+ab\frac{a}{a + b} = 1 + \frac{a}{b} ❌ (no se puede).
  4. 1a+b=1a+1b\frac{1}{a + b} = \frac{1}{a} + \frac{1}{b} ❌. Casi nunca.
  5. log(a+b)=loga+logb\log(a + b) = \log a + \log b ❌. Lo cierto es log(ab)=loga+logb\log(a \cdot b) = \log a + \log b.

Si te encontrás haciendo cualquiera de estas "simplificaciones", retrocedé y verificá con valores concretos. Por ejemplo, a=3,b=4a = 3, b = 4: 9+16=25=53+4=7\sqrt{9 + 16} = \sqrt{25} = 5 \neq 3 + 4 = 7.

Esa prueba con números te salva muchísimas veces. Se llama el "método de los pequeños números" y es un debugging matemático muy efectivo.

1.7 Ejercicios

✏️ Ejercicio 1.1 — Clasificar números

Para cada número, decí a qué conjuntos pertenece (N,Z,Q,R\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}):

a. 77 b. 3.2-3.2 c. 9\sqrt{9} d. 10\sqrt{10} e. 00 f. π/2\pi/2

✏️ Ejercicio 1.2 — Desigualdades

Resolvé y expresá en notación de intervalo:

a. 3x7<83x - 7 < 8 b. 2x+511-2x + 5 \geq 11 c. x12>x+34\frac{x - 1}{2} > \frac{x + 3}{4}

✏️ Ejercicio 1.3 — Valor absoluto

Resolvé:

a. x=7|x| = 7 b. x4<3|x - 4| < 3 c. 2x+15|2x + 1| \geq 5

✏️ Ejercicio 1.4 — Leyes de exponentes

Simplificá:

a. x7x3x2\frac{x^7 \cdot x^{-3}}{x^2} b. (2a3b1)2(2 a^3 b^{-1})^2 c. (x2)3x4x1\frac{(x^2)^3 \cdot x^{-4}}{x^{-1}} d. 27a63\sqrt[3]{27 a^6}

✏️ Ejercicio 1.5 — Trampas

Decí si cada igualdad es verdadera o falsa. Para las falsas, dá un contraejemplo.

a. a2+b2=a+b\sqrt{a^2 + b^2} = a + b b. (ab)2=a22ab+b2(a - b)^2 = a^2 - 2ab + b^2 c. log(a+b)=loga+logb\log(a + b) = \log a + \log b d. a+bc=ac+bc\frac{a + b}{c} = \frac{a}{c} + \frac{b}{c} e. a+b3=a3+b3\sqrt[3]{a + b} = \sqrt[3]{a} + \sqrt[3]{b}

1.8 Para profundizar


Definiciones nuevas: número natural, entero, racional, irracional, real, intervalo, valor absoluto, desigualdad triangular, ley de exponentes, notación científica.