B Tcnicas de demostracin

En esta seccin recogemos unos breves comentarios sobre dos de las tcnicas
utilizadas: las demostraciones de continuidad (ya vistas en Anlisis Matematico
I), con consideraciones extrapolables a las demostraciones de lmites n0 , y el
Principio de Induccin.

B.1 Demostraciones -
En mltiples ocasiones, a la hora de estudiar la continuidad de una funcin,
hemos hecho uso de la siguiente denicin de continuidad: dados dos espacios
mtricos X e Y , una funcin 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 mtricos E y F,
una funcin 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 funcin

de (y probablemente en funcin tambin 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 mayora
de los casos es sencillo de deducir. Explicar cmo se obtienen valores apropiados
para los es el contenido de esta seccin.
B.1.1 Pensando al revs
La idea principal de ese tipo de demostraciones es que a uno no se le ocurre
mgicamente cul es el que necesita utilizar, sino que empieza con un genrico
y al nal obtiene la condicin sobre l que garantizara la conclusin sobre el .
Es por ello que, en realidad, se piensa al revs de como al nal se cuenta. Esto
sucede en la gran mayora de los textos de Matemticas y Fsica, 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 funcin 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 ) = 2x0 + 2 .

Por tanto, si queremos conseguir x2 x20 < nos basta garanti-

2
zar 2x0 + < . Podremos conseguir esto? Se trata de resolver una
inecuacin de segundo grado en la indeterminada ,

2 + 2x0 < 0 .

La ecuacin 2 + 2x0 = 0 tiene por races

4x0 2 + 4
2x0
2

por lo que si est en el intervalo (2x0 4x0 2 + 4, 2x0 + 4x0 2 + 4 ),
entonces hemos conseguido lo que queramos. Sin embargo, no todos esos
valores de nos sirven ya que tambin queramos que fuera positivo,
por lo que los que de verdad nos sirven son aquellos

(0, 2x0 + 4x0 2 + 4 ) .

Ntese que 2x0 + 4x0 2 + 4 es positivo ya que > 0. Por tanto, cual-
quiera de esos nos valdra; se suele elegir el mejor de los calculados a

la hora de exponer la demostracin, en este caso = 2x0 + 4x0 2 + 4,
aunque puede no ser en muchos casos el mayor que podramos encon-
trar.

B.1.2 Negacin de los cuanticadores y

Hemos expuesto anteriormente cmo realizar las demostraciones de continui-
dad, pero qu se hace para demostrar que una funcin no es continua? Para ello,
hace falta negar la denicin. Para ello, veamos primero cmo negar condiciones
en las que intervengan los cuanticadores y .
162
APNDICE B TCNICAS DE DEMOSTRACIN

B.1.2.1 Negacin de
Para negar una oracin 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 Negacin de .
Negar una oracin 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 funcin f no es continua en un punto x0 si y slo 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 Induccin

Aunque el principio de induccin 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 proposicin, si tenemos que
a) la proposicin es cierta para n = 1 y
b) si la proposicin es cierta para n = k entonces tambin es cierta para n = k + 1,
entonces sabemos que la proposicin es cierta para todos los nmeros 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 seguira
para cada nmero natural.
Para aplicar el Principio de Induccin en una demostracin no se necesita
comenzar en n = 1. Si realizamos una demostracin por induccin comenzando en
163