TEOREMA DE ROLLE

Breve Historia:

El teorema de Rolle, llamada así en honor del matemático francés Michel

Rolle (1652-1719), quien publicó por primera vez el teorema de Rolle en un libro
titulado "Méthode pour résoudre les égalitéz" en 1691. Sin embargo, tiempo
después, se volvió un fuerte crítico de los métodos de su época y atacó de manera
directa al cálculo. Su teorema decía lo siguiente: si una curva regular sale y llega a
la misma altura, en algún punto tendrá tangente horizontal. Si la función empieza
subiendo, tendrá luego que bajar para reencontrar su valor inicial, entre la subida y
la bajada, hay un punto donde la función alcanza un máximo, y en éste, f ' se
anula. Lo mismo sucede si la función empieza bajando, y f ' es nula en el mínimo
de f.

Objetivo:

Establece condiciones suficientes para garantizar la existencia de un valor extremo

en el interior de un intervalo cerrado.

Teorema:

Sea   continua en el intervalo cerrado   y derivable en el intervalo abierto .

Si 

existe al menos un número c en   tal que 

Demostración:

Hay tres casos:

CASO I
, una constante, entonces   asi que c puede ser cualquier
numero entre (a, b).
CASO II
, para cualquier   en (a, b). De acuerdo con el teorema del valor
extremo,  tiene un valor máximo en algún lugar de [a, b], dado que f(a) = f (b)
debe alcanzar el valor máximo en un numero c en intervalo abierto (a,
b).Entonces f tiene un máximo local en c,   es derivable en c. Por teorema de
fermat .

CASO III
 para alguna x en (a, b) De acuerdo con el teorema del valor
extremo,  tiene un valor mínimo en algún lugar de [a, b], dado que f(a) = f (b)
debe alcanzar el valor mínimo en un numero c en (a,b). Por teorema de fermat
.
 PUNTOS CRITICOS

Un punto crítico de una función de una variable real es cualquier valor en

el dominio en donde la función no es diferenciable o cuando su derivada es 0.1 2 El
valor de la función en el punto crítico es un valor crítico de la función. Estas
definiciones admiten generalizaciones a funciones de varias variables, mapas
diferenciables entre Rm y Rn, y mapas diferenciables entre variedades
diferenciables.

Definición para funciones de una sola variable:

Un punto crítico de una función de una sola variable real, ƒ(x), es un valor x0 dentro

del dominio de ƒ donde la función no es diferenciable, o bien, su derivada es 0, ƒ′
(x0) = 0. Cualquier valor en el codominio de ƒ que sea la imagen de un punto crítico
bajo ƒ es un valor crítico de ƒ. Estos conceptos pueden Un punto crítico de
una función de una variable real es cualquier valor en el dominio en donde la
función no es diferenciable o cuando su derivada es 0.1 2 El valor de la función en
el punto crítico es un valor crítico de la función. Estas definiciones admiten
generalizaciones a funciones de varias variables, mapas diferenciables
entre Rm y Rn, y mapas diferenciables entre variedades diferenciables.
Un punto ser visualizados por medio de la gráfica de ƒ: en un punto crítico, la
gráfica no admite una tangente, o bien, la tangente es una línea vertical u
horizontal. En el último caso, la derivada es cero y el punto es llamado un punto
estacionario de la función.

Optimización:

Por el teorema de Fermat, los máximos y mínimos locales de una función pueden

ocurrir únicamente en sus puntos críticos. Sin embargo, no todo punto estacionario
es un máximo o mínimo de la función; puede corresponder también a un punto de
inflexión de la gráfica, como para ƒ(x) = x3 en x = 0, o la gráfica puede oscilar en la
vecindad del punto, como en el caso de la función definida por la fórmula ƒ(x)
= x2sen(1/x) para x ≠ 0 y ƒ(0) = 0, en el punto x = 0.

Funciones de varias variables:

En esta sección, se asumirá que las funciones son suaves.

Para una función suave de varias variables reales, la condición de ser un punto
crítico es equivalente a que todas sus derivadas parciales sean cero; para una
función en una variedad, es equivalente a que su diferencial sea cero.
Si la matriz hessiana en un punto crítico es no singular entonces el punto crítico es
llamado no degenerado, y el signo de los auto valores del Hessiano determinan el
comportamiento local de la función. En el caso de una función real de una variable
real, el Hessiano es simplemente la segunda derivada, y la no singularidad es
equivalente a ser diferente de cero. Un punto crítico no degenerado de una función
real de una variable es un máximo si la segunda derivada es negativa, y un mínimo
si es positiva. Para una función de n variables, el número de auto valores negativos
de un punto crítico es llamado su índice, y un máximo ocurre cuando todos los auto
valores son negativos (índice n, la matriz hessiana es definida negativa) y un
mínimo ocurre cuando todos los auto valores son positivos (índice cero, la matriz
hessiana es definida positiva); en todos los otros casos, el punto crítico puede ser
un máximo, un mínimo o un punto de silla (índice estrictamente entre 0 y n, la
matriz hessiana es indefinida). La Teoría de Morse aplica estas ideas a la
determinación de la topología de variedades, tanto de dimensión finita o infinita.

Campo vectorial gradiente:

En la presencia de una métrica Riemanniana o una forma simplecita, a cada

función suave le es asociada un campo vectorial (el gradiente o campo vectorial
Hamiltoniano). Estos campos vectoriales desaparecen exactamente en los puntos
críticos de la función original, y así los puntos críticos son estacionarios, es decir,
las trayectorias constantes del flujo asociado al campo vectorial.
Definición para mapas3:

Para un mapa diferenciable f entre Rm y Rn, los puntos críticos son los puntos

donde el diferencial de f es una aplicación lineal de rango menor que n; en
particular, cada punto es crítico si m < n. Esta definición inmediatamente se
extiende a mapas entre variedades suaves. La imagen de un punto crítico bajo f es
llamada un valor crítico. Un punto en el complemento del conjunto de valores
críticos es llamado un valor regular. El teorema de Sard dice que el conjunto de
valores críticos de un mapa suave tiene medida cero.
 MAXIMOS Y MINIMOS

La función máximo es una función definible en todo conjunto completamente

ordenado que asigna a cada n-tupla de valores el máximo de dichos valores.
Análogamente se define la función mínimo como el menor de los elementos de un
cierto conjunto.

Definición formal:

Dado un conjunto completamente ordenado   y una colección   de subconjuntos

finitos de A no vacíos , se define la función máxima:

En algunos casos no es necesario restringir la definición anterior a conjuntos

finitos. Dado un conjunto totalmente ordenado y una colección de conjuntos   tal
que para todo  existe un elemento máximo se puede extender la función
anterior a conjuntos no necesariamente finitos:

Dada una función , siendo   un conjunto totalmente ordenado

frecuentemente se definie una variante de función máximo relacionada con las
definiciones anteriores:

Estas definiciones se extienden de manera simple, para definir una función mínimo
para conjuntos totalmente ordenados. Las dos últimas requieren la existencia de
un elemento mínimo para todo conjunto de  .

Números reales:

Los números reales son un conjunto totalmente ordenado (y por tanto todos sus
subconjuntos también lo son). Esto permite definir las funciones máximo y mínimo
sobre conjuntos finitos de números reales.
Si un conjunto de números reales es infinito es además un conjunto compacto se
pueden definir sobre él las funciones máximo sobre subconjuntos de dicho
conjunto (que involucran encontrar el máximo de un conjunto no finito). Esto
significa que si considera la siguiente colección de conjuntos:

La función máximo está bien definida sobre dicha colección de conjuntos que
incluye conjuntos infinitos aunque todos acotados, debido al teorema de Heine-
Borel. Para conjuntos no compactos pero acotados puede definirse una función
real, llamada función suprema:

donde   es la clausura topológica de  . Análogamente la función ínfima se define

como:

Para conjuntos no acotados de números reales se pueden definir función suprema

e ínfima pero su recorrido será .

Propiedades:

Las funciones máximas y mínimo sobre los números reales tienen las siguientes
propiedades:

 Monotonía:   y 


 Imagen por funciones:   (la igualdad se da para
funciones monótonas crecientes cuando A es
compacto),