Teorema de existencia

En matemticas, un teorema de existencia es un teorema con un enunciado

que comienza 'existe(n)...', o ms generalmente 'para todo x, y,...existe(n)...'.
Esto, en trminos ms formales de lgica simblica, es un teorema con un
enunciado involucrando el cuantificador existencial. Muchos teoremas no lo
hacen explcitamente, como es usual en el lenguaje matemtico estndar, por
ejemplo, el enunciado de que la funcin seno es continua.
Una controversia que data del temprano siglo XX concierne al tema
de teoremas de existencia, y la acusacin relacionada de que al admitirlos las
matemticas traicionan sus responsabilidades de aplicacin concreta. El punto
de vista matemtico es que los mtodos abstractos tienen un gran alcance,
mayor que el del anlisis numrico.
Los teoremas de existencia y unicidad de solucin tienen gran importancia en
el estudio de los problemas matemticos y del clculo.

Muchas son difciles de resolver y por ello es importante asegurarse de la
existencia de solucin antes de intentar resolverlas. Por otra parte el tema tiene
inters para las aplicaciones: que representa un modelo matemtico
determinista de una situacin fsica, y del cual esperamos exista solucin.

Adems la solucin debe ser nica pues si se repite el experimento en las
mismas condiciones, cabe esperar los mismos resultados.

Teorema de existencia para integrales definidas.
Sea una funcin real y = f (x), que es continua en un intervalo [a, b]. Entonces
se puede afirmar que existe al menos un punto c perteneciente a dicho
intervalo, para el que se verifica:
Que el valor de f (c) es el valor medio de la funcin f (x) en el intervalo [a, b].
Quiz sea interesante hacer varias observaciones:
1) El punto c puede no ser nico. El teorema asegura la existencia de por lo
menos un punto con esa propiedad.
2) El valor medio de la funcin f (x) no se refiere a la tasa de variacin media en
el intervalo considerado. Se trata de un concepto diferente.
3) El clculo de dicho valor medio y el del punto c en el que se alcanza,
presupone el clculo de una integral definida. Dicho clculo puede hacerse por
la Regla de Barrow o bien, en el caso de funciones complicadas, utilizando
mtodos numricos, como la Regla de Simpson.
Tambin, hemos visto que cuando f(x) es la razn de cambio de la funcin F(x)
y f(x) 0 en [a, b] entonces la integral definida tiene la siguiente interpretacin:
= cambio total en f(x) cuando x cambia de a a b.
Decir que f(x) es la razn de cambio de F(x) significa que f(x) es la derivada de
F(x) o equivalentemente que F(x) es una primitiva de f(x). El cambio total en
F(x) cuando x cambia de a a b es la diferencia entre el valor de F al final y el
valor de F al principio, es decir, podemos definir
Esta definicin o principio se puede aplicar a todas las razones de cambio en
las ciencias sociales y naturales. Podemos citar, algunos ejemplos:
Ejemplo 1.
Si v (t) es el volumen de agua de un depsito, en el instante t, entonces su
derivada v'(t) es la razn a la cual fluye el agua hacia el depsito en el
instante t. As = , es el cambio en la cantidad de agua
en el depsito entre los instantes t
1
y t
2
.
Si [c] (t) es la concentracin del producto de una reaccin qumica en el
instante t entonces la velocidad de reaccin es la derivada [c]'(t). De esta
manera es el cambio en la concentracin [c]
desde el instante t
1
hasta el t
2
.
Ejemplo 2.
Si la masa de una varilla, medida desde la izquierda hasta un punto x, es m(x)
entonces la densidad lineal es (x)=m'(x). De esta manera
, es la masa del segmento de la varilla entre x=a y
x=b.
Si la tasa de crecimiento de una poblacin es , entonces
, es el aumento de poblacin durante el perodo desde
t
1
hasta t
2
.
Ejemplo 3.
Si c(x) es el costo para producir x unidades de un artculo, entonces el costo
marginal es la derivada c'(t). Por consiguiente , es el
incremento en el costo cuando la produccin aumenta desde x
1
hasta x
2

unidades.
Ejemplo 4.
Si un objeto se mueve a lo largo de una recta con funcin de posicin s (t),
entonces su velocidad es v (t) = s'(t) de modo que , es
el cambio de la posicin, o desplazamiento, de la partcula durante el perodo
desde t
1
hasta t
2
.
Dado que la aceleracin de un objeto es a(t) = v'(t), podemos asegurar que la
expresin , es el cambio en la velocidad en el
instante t
1
hasta el t
2
.
Ejemplo 5.
La potencia P (t) indica la razn de cambio de la energa E (t). Esto permite
decir que P (t) = E'(t) y por lo tanto resulta , indica la
energa utilizada en el tiempo entre t
1
y t
2
.
La definicin que estudiamos de integral definida nos permite calcular o evaluar
la integral de funciones sencillas pero en la mayora de los casos el clculo del
lmite de sumas resulta complicado.










TAREA No. 4 Contesta las cuestiones siguientes.

1. Es un teorema con un enunciado que comienza 'existe(n)...', o ms generalmente
'para todo x, y,...existe(n)...'.



2. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se puede afirmar que existe al menos un punto c perteneciente a
dicho intervalo, para el que se verifica: El valor f (c) se conoce como
_____________de la funcin f (x) en el intervalo [a, b].
3. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se puede afirmar que existe al menos un punto c perteneciente a
dicho intervalo, para el que se verifica: El punto c puede no ser nico. El
teorema de existencia asegura la existencia de por lo menos ______ punto con
esa propiedad.

4. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se puede afirmar que existe al menos un punto c perteneciente a
dicho intervalo, para el que se verifica: El _____________ de la funcin f (x) no
se refiere a la tasa de variacin media en el intervalo considerado. Se trata de
un concepto diferente.

5. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se puede afirmar que existe al menos un punto c perteneciente a
dicho intervalo, para el que se verifica: El clculo de dicho valor medio y el del
punto c en el que se alcanza presupone el clculo de _______________.

6. Determina si es verdadero o falso a las cuestiones del Teorema de
Existencia. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se verifica que: 1) El punto c es nico. 2) El valor medio de la funcin
f (x) no se refiere a la tasa de variacin media en el intervalo considerado. 3) El
clculo de dicho valor medio y el del punto c en el que se alcanza presupone el
clculo de una integral definida.

7. Determina si es verdadero o falso a las cuestiones del Teorema de
Existencia. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se verifica que: 1) El punto c es nico. 2) El valor medio de la funcin
f (x) se refiere a la tasa de variacin media en el intervalo considerado. 3) El
clculo de dicho valor medio y el del punto c en el que se alcanza presupone el
clculo de una integral definida.

8. Determina si es verdadero o falso a las cuestiones del Teorema de
Existencia. Sea una funcin real y = f (x), que es continua en un intervalo [a, b].
Entonces se verifica que: 1) El punto c puede no ser nico. 2) El valor medio de
la funcin f (x) no se refiere a la tasa de variacin media en el intervalo
considerado. 3) El clculo de dicho valor medio y el del punto c en el que se
alcanza presupone el clculo de una integral definida.
9. El cambio total en F(x) cuando x cambia de a a b es la diferencia entre el
valor de F al final y el valor de F al principio, es decir, se refiere a la definicin
de una integral definida. Esta definicin o principio se puede aplicar a todas
________________en las ciencias sociales y naturales.