B Técnicas de demostración

En esta sección recogemos unos breves comentarios sobre dos de las técnicas
utilizadas: las demostraciones de continuidad (ya vistas en Análisis Matematico
I), con consideraciones extrapolables a las demostraciones de límites ε − n0 , y el
Principio de Inducción.

B.1 Demostraciones ε - δ
En múltiples ocasiones, a la hora de estudiar la continuidad de una función,
hemos hecho uso de la siguiente denición de continuidad: dados dos espacios
métricos X e Y , una función f ∶ X → Y es continua en un punto x0 ∈ X si
∀ε > 0, ∃δ > 0, [dX (x, x0 ) < δ ⇒ dY (f (x), f (x0 )) < ε] ;
o de su equivalente en espacios normados: dados dos espacios métricos E y F,
una función f ∶ E → F es continuo en x0 ∈ E si
∀ε > 0, ∃δ > 0, [∥x − x0 ∥ < δ ⇒ ∥f (x) − f (x0 )∥ < ε] .

En muchas de estas demostraciones hemos expuesto un valor de δ en función

de ε (y probablemente en función también del x0 ) que sirve para demostrar esa
continuidad, pero no hemos expuesto el razonamiento que lleva a ese valor. Expli-
car este razonamiento en cada caso lleva cierto tiempo, pero en la gran mayoría
de los casos es sencillo de deducir. Explicar cómo se obtienen valores apropiados
para los δ es el contenido de esta sección.
B.1.1 Pensando al revés
La idea principal de ese tipo de demostraciones es que a uno no se le ocurre
mágicamente cuál es el δ que necesita utilizar, sino que empieza con un δ genérico
y al nal obtiene la condición sobre él que garantizaría la conclusión sobre el ε.
Es por ello que, en realidad, se piensa al revés de como al nal se cuenta. Esto
sucede en la gran mayoría de los textos de Matemáticas y Física, debido a la
comodidad de la lectura del resultado directo y a que se presupone que este tipo
161
B.1 DEMOSTRACIONES ε - δ
de razomiento se tiene dominado. Ilustremos a lo que nos estamos reriendo con
un ejemplo en funciones reales de variable real.

Ejemplo B.1.1 (AMI) Demostrar que la función f (x) = x2 es con-

tinua. Tomemos un x0 ∈ R cualquiera (que a partir de ahora está jo),

y veamos que f es continua en ese punto. Para ello, tomemos un ε>0

cualquiera y busquemos un δ>0 de tal modo que si ∣x − x0 ∣ < δ entonces
∣x2 − x20 ∣ < ε. No vamos a jar el δ de momento.
Si ∣x − x0 ∣ < δ tenemos que

∣x2 − x20 ∣ = ∣(x + x0 )(x − x0 )∣ = ∣x + x0 ∣ ∣x − x0 ∣

≤ δ∣x + x0 ∣ ≤ δ(∣x∣ + ∣x0 ∣)
≤ δ(∣x0 ∣ + δ + ∣x0 ∣) = 2∣x0 ∣δ + δ 2 .

Por tanto, si queremos conseguir ∣x2 − x20 ∣ < ε nos basta garanti-
2
zar 2∣x0 ∣δ + δ < ε. ¾Podremos conseguir esto? Se trata de resolver una
inecuación de segundo grado en la indeterminada δ,

δ 2 + 2∣x0 ∣δ − ε < 0 .

La ecuación δ 2 + 2∣x0 ∣δ − ε = 0 tiene por raíces

√
4∣x0 ∣2 + 4ε
−2∣x0 ∣ ±
2
√ √
por lo que si δ está en el intervalo (−2∣x0 ∣− 4∣x0 ∣2 + 4ε, −2∣x0 ∣+ 4∣x0 ∣2 + 4ε ),
entonces hemos conseguido lo que queríamos. Sin embargo, no todos esos
valores de δ nos sirven ya que también queríamos que δ fuera positivo,
por lo que los que de verdad nos sirven son aquellos
√
δ ∈ (0, −2∣x0 ∣ + 4∣x0 ∣2 + 4ε ) .
√
Nótese que −2∣x0 ∣ + 4∣x0 ∣2 + 4ε es positivo ya que ε > 0. Por tanto, cual-
quiera de esos δ nos valdría; se suele elegir el mejor de los calculados a
√
la hora de exponer la demostración, en este caso δ = −2∣x0 ∣+ 4∣x0 ∣2 + 4ε,
aunque puede no ser en muchos casos el mayor δ que podríamos encon-
trar.

B.1.2 Negación de los cuanticadores ∀ y ∃

Hemos expuesto anteriormente cómo realizar las demostraciones de continui-
dad, pero ¾qué se hace para demostrar que una función no es continua? Para ello,
hace falta negar la denición. Para ello, veamos primero cómo negar condiciones
en las que intervengan los cuanticadores ∀ y ∃.
162
APÉNDICE B TÉCNICAS DE DEMOSTRACIÓN

B.1.2.1 Negación de ∀
Para negar una oración del tipo  ∀x, algo(x) es cierto basta encontrar al
menos un x para el que algo(x) no sea cierto, es decir, sea falso. Por tanto,
no(∀x, algo(x) es cierto) ⇐⇒ ∃x, no(algo(x) es cierto) ⇐⇒ ∃x, algo(x) es falso .

B.1.2.2 Negación de ∃.
Negar una oración del tipo  ∃x, algo(x) es cierto es equivalente a negar
algo(x) para todos los x. Por tanto,
no(∃x, algo(x) es cierto) ⇐⇒ ∀x, no(algo(x) es cierto) ⇐⇒ ∀x, algo(x) es falso .

B.1.2.3 Funciones no continuas

Una función f no es continua en un punto x0 si y sólo si
no (∀ε > 0, ∃δ > 0, [∥x − x0 ∥ < δ ⇒ ∥f (x) − f (x0 )∥ < ε]) .
Por lo expuesto anteriormente esto es equivalente a
∃ε > 0, no (∃δ > 0, [∥x − x0 ∥ < δ ⇒ ∥f (x) − f (x0 )∥ < ε]) ,
ya
∃ε > 0, ∀δ > 0, no [∥x − x0 ∥ < δ ⇒ ∥f (x) − f (x0 )∥ < ε] ,
y, denitamente, a
∃ε > 0, ∀δ > 0, [∃x, ∥x − x0 ∥ < δ y ∥f (x) − f (x0 )∥ ≥ ε] .

B.2 El Principio de Inducción

Aunque el principio de inducción se ha usado únicamente en un par de ocasiones
en el texto, lo exponemos tanto por completar los contenidos del mismo como por
su sencillez.
La idea del Principio es sencilla: dada una proposición, si tenemos que
a) la proposición es cierta para n = 1 y
b) si la proposición es cierta para n = k entonces también es cierta para n = k + 1,
entonces sabemos que la proposición es cierta para todos los números naturales.
Por a) sabemos que es cierta para n = 1. Entonces, por b) sabemos que es cierta
para n = 2. De nuevo, por b) sabemos que es cierta para n = 3. Y así se seguiría
para cada número natural.
Para aplicar el Principio de Inducción en una demostración no se necesita
comenzar en n = 1. Si realizamos una demostración por inducción comenzando en
163