Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 ) < ] .
x2 x20 = (x + x0 )(x x0 ) = x + x0 x x0
x + x0 (x + x0 )
(x0 + + x0 ) = 2x0 + 2 .
2 + 2x0 < 0 .
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 .