Continuidad

"Natura non facit saltus." — Carl Linneo, 1751. ("La naturaleza no da saltos.")

Qué vas a aprender en este capítulo

Vas a entender por qué la palabra "continuo" — que parece intuitiva — necesita una definición matemática rigurosa. Vas a aprender a clasificar los tres tipos de "discontinuidad" que pueden aparecer en una función, y vas a conocer un teorema sorprendentemente poderoso (el del valor intermedio) que es la base de cómo las computadoras encuentran raíces de ecuaciones.

2.1 La idea: trazar sin levantar el lápiz

💡 Intuición

Una función es continua cuando podés dibujar su gráfica sin levantar el lápiz del papel. Si tenés que saltar — porque hay un agujero, un escalón, o porque la función se va al infinito — entonces es discontinua en ese punto.

Tres ejemplos de la vida diaria:

  • La temperatura de tu café: continua. Va bajando suavemente, sin saltos.
  • El precio del bus interurbano por tramo: discontinua con saltos. De San Miguel a La Unión cuesta lo mismo en cualquier punto del tramo, pero al cruzar la frontera del siguiente tramo el precio salta.
  • El número de personas en un cuarto: discontinua con saltos. Pasás de 3 a 4 personas cuando alguien entra — no existe "3.5 personas". Esa función solo toma valores enteros.

La continuidad importa porque muchas técnicas del cálculo solo funcionan sobre funciones continuas. Si no hay continuidad, no podés derivar, no podés integrar de la manera estándar, y los teoremas se rompen. Es la propiedad básica que asumimos cuando hacemos análisis matemático.

2.2 Definición formal: tres condiciones

📐 Fundamento

Una función ff es continua en el punto aa si se cumplen las tres condiciones siguientes:

  1. f(a)f(a) está definido. La función tiene un valor en aa.
  2. limxaf(x)\lim_{x \to a} f(x) existe. Hay un número al que la función tiende.
  3. Esos dos valores coinciden. Es decir, limxaf(x)=f(a)\lim_{x \to a} f(x) = f(a).

Si cualquiera de las tres falla, ff es discontinua en aa.

Decimos que ff es continua en un intervalo si es continua en cada punto del intervalo.

Las funciones que ya viste son continuas en sus dominios:

  • Polinomios: continuos en todo R\mathbb{R}.
  • Racionales P(x)Q(x)\frac{P(x)}{Q(x)}: continuas donde Q(x)0Q(x) \neq 0.
  • sinx\sin x, cosx\cos x, exe^x: continuas en todo R\mathbb{R}.
  • lnx\ln x: continua en (0,)(0, \infty).
  • x\sqrt{x}: continua en [0,)[0, \infty).

Esto te dice que el 95% de las funciones que vas a manipular son continuas, salvo en puntos específicos donde se rompen (denominadores que se anulan, raíces de números negativos, logaritmos de cero).

2.3 Los tres tipos de discontinuidad

📐 Fundamento

Cuando una función falla en ser continua en aa, el "tipo" de falla suele ser uno de tres:

Tipo 1 — Discontinuidad removible (hueco).

El límite existe, pero f(a)f(a) no coincide con él (o f(a)f(a) no está definido).

Ejemplo: f(x)=x21x1f(x) = \frac{x^2 - 1}{x - 1} en x=1x = 1. Vimos en el capítulo anterior que el límite cuando x1x \to 1 es 22. Pero f(1)f(1) no está definido (división por cero). Hay un hueco en la gráfica.

Se llama "removible" porque podríamos arreglar la función definiendo f(1)=2f(1) = 2 — y se vuelve continua. La discontinuidad es como un agujero que se puede tapar.

Tipo 2 — Discontinuidad de salto.

Los límites laterales existen, pero son distintos:

limxaf(x)limxa+f(x)\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x)

Ejemplo: la función "parte entera" x\lfloor x \rfloor tiene un salto en cada entero. En x=2x = 2, por la izquierda vale 11, por la derecha vale 22.

No se puede arreglar redefiniendo un solo punto — el salto está en la naturaleza de la función.

Tipo 3 — Discontinuidad infinita (asíntota vertical).

La función crece o decrece sin tope cerca de aa. El límite "es infinito", lo que técnicamente significa que no existe como número finito.

Ejemplo: f(x)=1xf(x) = \frac{1}{x} en x=0x = 0. Por la izquierda tiende a -\infty, por la derecha a ++\infty.

No se puede arreglar de ninguna manera — la función es genuinamente patológica en ese punto.

🛠️ En la práctica

Cómo clasificar una discontinuidad en la práctica.

Dado un punto aa donde sospechás que hay discontinuidad:

  1. ¿Está definida f(a)f(a)? Si no, es candidata a removible o infinita.
  2. Calculá limxaf(x)\lim_{x \to a^-} f(x) y limxa+f(x)\lim_{x \to a^+} f(x).
  3. Si ambos límites son finitos e iguales → discontinuidad removible (el límite existe, solo falta acomodar f(a)f(a)).
  4. Si ambos son finitos pero distintos → discontinuidad de salto.
  5. Si alguno es ±\pm\infty → discontinuidad infinita.

Ejemplo trabajado. Clasificá las discontinuidades de:

f(x)=x24x25x+6f(x) = \frac{x^2 - 4}{x^2 - 5x + 6}

Factorizamos: numerador =(x2)(x+2)= (x-2)(x+2), denominador =(x2)(x3)= (x-2)(x-3). Los puntos sospechosos son donde el denominador se anula: x=2x = 2 y x=3x = 3.

En x=2x = 2: f(2)=00f(2) = \frac{0}{0} → indefinido. Pero limx2(x2)(x+2)(x2)(x3)=limx2x+2x3=41=4\lim_{x \to 2} \frac{(x-2)(x+2)}{(x-2)(x-3)} = \lim_{x \to 2} \frac{x+2}{x-3} = \frac{4}{-1} = -4. Como el límite existe pero f(2)f(2) no, es discontinuidad removible.

En x=3x = 3: f(3)=50f(3) = \frac{5}{0} → no definido. El numerador no se anula, así que el cociente tiende a ±\pm\infty. Discontinuidad infinita.

Por la izquierda de 33: x3<0x - 3 < 0, así que el cociente x+2x350=\frac{x+2}{x-3} \to \frac{5}{0^-} = -\infty. Por la derecha: 50+=+\frac{5}{0^+} = +\infty.

⚠️ Trampa común

"Continuidad por trozos" no es un tipo de continuidad.

Una función definida con varios trozos (como f(x)=xf(x) = x si x<0x < 0, y f(x)=x2f(x) = x^2 si x0x \geq 0) puede ser perfectamente continua. Lo único que importa es si encajan en la frontera: si limx0f(x)=limx0+f(x)=f(0)\lim_{x \to 0^-} f(x) = \lim_{x \to 0^+} f(x) = f(0).

Un error frecuente en parciales: ver una función por trozos y declarar "discontinua" sin verificar la frontera. ¡Calculá los límites laterales primero!

Otro error común: confundir "no existe el límite en infinito" con "discontinuidad en infinito". El infinito no es un número, así que no hay un punto en el que ser discontinua. La continuidad es una propiedad puntual.

2.4 El teorema del valor intermedio

📐 Fundamento

Hay un teorema que parece obvio pero tiene consecuencias profundas:

Teorema del valor intermedio (TVI). Sea ff continua en el intervalo cerrado [a,b][a, b]. Si NN es cualquier número entre f(a)f(a) y f(b)f(b), entonces existe al menos un c[a,b]c \in [a, b] tal que f(c)=Nf(c) = N.

En palabras: si una función continua va del valor f(a)f(a) al valor f(b)f(b), pasa por todos los valores intermedios en el camino. No puede saltarse ninguno.

Esto suena como "no jodás, claro". Pero pensá lo que significa: si ff no fuera continua, podría saltar de 3 a 7 sin tocar el 5. Lo continuo es lo que garantiza que toca todo.

La aplicación más común: encontrar raíces.

Supongamos que querés saber si f(x)=x3x1f(x) = x^3 - x - 1 tiene una raíz entre 11 y 22. Calculás:

  • f(1)=111=1f(1) = 1 - 1 - 1 = -1
  • f(2)=821=5f(2) = 8 - 2 - 1 = 5

ff es continua (es un polinomio). Va de 1-1 a 55. Por TVI, tiene que pasar por 00 en algún momento. Es decir, existe c(1,2)c \in (1, 2) tal que f(c)=0f(c) = 0. La ecuación x3x1=0x^3 - x - 1 = 0 tiene una raíz entre 11 y 22.

No te dice dónde está la raíz exactamente — solo que existe. Pero ya con eso podés cerrar el intervalo (probá en 1.51.5, ves el signo, descartás la mitad sin raíz, repetís). Esto es el método de bisección, y es exactamente cómo las computadoras encuentran soluciones de ecuaciones que no se pueden resolver algebraicamente.

🛠️ En la práctica · método de bisección

Encontrar la raíz de f(x)=x3x1f(x) = x^3 - x - 1 con precisión de 0.010.01:

Paso Intervalo Punto medio mm f(m)f(m) Nuevo intervalo
1 [1,2][1, 2] 1.51.5 0.875>00.875 > 0 [1,1.5][1, 1.5]
2 [1,1.5][1, 1.5] 1.251.25 0.297<0-0.297 < 0 [1.25,1.5][1.25, 1.5]
3 [1.25,1.5][1.25, 1.5] 1.3751.375 0.2250.225 [1.25,1.375][1.25, 1.375]
4 [1.25,1.375][1.25, 1.375] 1.31251.3125 0.052-0.052 [1.3125,1.375][1.3125, 1.375]
5 [1.3125,1.375][1.3125, 1.375] 1.34381.3438 0.0820.082 [1.3125,1.3438][1.3125, 1.3438]

Después de 7 pasos más, llegarías a x1.3247x \approx 1.3247 — la respuesta correcta. Cada paso parte el intervalo en dos, así que el error se divide entre dos cada vez. Para precisión 10n10^{-n} se necesitan unos 3.3n3.3n pasos. Es exponencialmente eficiente.

Si programás (capítulo 5 de Programación I, bucles), bisección es uno de los primeros algoritmos serios que vas a escribir. Su corrección depende, literalmente, del teorema del valor intermedio. Sin continuidad, no funcionaría.

2.5 Resumen visual

Cuatro tipos de comportamiento en un punto: continua, removible (hueco), salto, e infinita (asíntota vertical). Continua trazás sin levantar el lápiz Removible f(a) se arregla redefiniendo f(a) Salto los límites laterales discrepan Infinita asíntota vertical en a
Condición de continuidad en aa ¿Qué falla si no se cumple?
f(a)f(a) definida Posible removible o infinita
limxaf(x)\lim_{x \to a} f(x) existe Salto, infinita, u oscilación
Coinciden Removible

2.6 Ejercicios

✏️ Ejercicio 2.1 — Verificá continuidad

Para cada función, determiná si es continua en el punto indicado. Si no lo es, clasificá la discontinuidad.

a. f(x)=x29x3f(x) = \frac{x^2 - 9}{x - 3} en x=3x = 3

b. g(x)={x+1x<0x1x0g(x) = \begin{cases} x + 1 & x < 0 \ x - 1 & x \geq 0 \end{cases} en x=0x = 0

c. h(x)=1x2h(x) = \frac{1}{x - 2} en x=2x = 2

d. p(x)=sinx+cosxp(x) = \sin x + \cos x en x=πx = \pi

✏️ Ejercicio 2.2 — Hacela continua

¿Para qué valor de kk la siguiente función es continua en x=2x = 2?

f(x)={x24x2x2kx=2f(x) = \begin{cases} \frac{x^2 - 4}{x - 2} & x \neq 2 \\ k & x = 2 \end{cases}

✏️ Ejercicio 2.3 — Aplicá TVI

Mostrá que la ecuación x52x+1=0x^5 - 2x + 1 = 0 tiene al menos una solución en el intervalo (0,1)(0, 1).

✏️ Ejercicio 2.4 — Pensalo

¿Existe una función continua en R\mathbb{R} que cumpla f(0)=1f(0) = 1, f(1)=1f(1) = -1, y nunca pase por 00? Justificá.

2.7 Para profundizar


Definiciones nuevas en este capítulo: continuidad puntual, discontinuidad removible, discontinuidad de salto, discontinuidad infinita, teorema del valor intermedio.