[No Resuelto ] 30/12/08 - FINAL



























Bueno ahi termina el final , quiero agradecer publicamente a exequiel , Quimey , Yossarian , y todos los que resuelven y postean ejercicios en este foro , sin el cual me habria sido casi imposible aprobar esta materia
Saludos y buen año

X_{0}
En gral. podés intentar con X_{acá lo que quiero poner como "sub"}

Igual, si querés, date una vuelta por acá: . Si no encontrás algo, también podés chequear en algún otro post y mirar como se escriben, o mejor aún, preguntá que no hay drama.

Bienvenido.

El ejercicio 1 es el teorema de Wierstrass que dice que una función continua sobre un conjunto alcanza máximos y mínimos absolutos. La demostración utiliza el hecho que en , si tenés compacto, entonces toda sucesión de puntos de tiene una subsucesión que converge a un punto del compacto. Los pasos para la demostración son:
a)probás que está acotada superiormente(solo te interesa ver que hay máximo absoluto). Para ello, suponés por el absurdo:
Si no es acotado superiormente...
.existe tal que
.existe tal que
.
.
.
.existe tal que
Ahora, con el teorema que dije arriba, resulta que existe una subsucesión que converge a algún punto del compacto. Como es continua en el compacto, resulta que vale meter a dentro el limíte, teniendo:

De ahi el absurdo, porque , y tal subsucesión, cuando tomás , tiende a .
b)Probás que hay un tal valor para el se alcanza el máximo absoluto. En efecto, sea el supremo de la imagen. Sabemos que por ser el supremo, existe una sucesión[particularmente monótona creciente] , con sucesión de puntos de . Luego, en particular, son la imagen de , o sea, . Tomando de nuevo una subsucesión que converja a un punto del compacto, resulta:
(toda subsucesión de una sucesión convergente converge al mismo límite que la sucesión original)
(nuevamente por ser continua)
De acá tenés que , con , teniendo que hay un punto en el que se alcanza el máximo absoluto.

El ejercicio 2 consta de dos lemas que se usan para demostrar las propiedades de las integrales de Riemman. Para la primera, se razona de manera inductiva; primero probás para una partición más afinada por un solo punto(o sea, ), y después usás la inducción para n puntos fijos, y luego agregás un punto más.
Una vez que probás que si es una partición más fina que valen
(1)
(2)
sale la desigualdad tomando una partición más fina que las dos, tomando . En efecto, como es más fina que y , valen (1) y (2), obteniéndose:


Como , por la transitividad, termina quedando:


Igual estos dos ejercicios son lemas que seguro tenés probados. Espero que sirva. Saludos.

acabo de entender la demostracion del teorema de weiestrass en 3 segundos despues de dias de romperme la cabeza!!!!

mil gracias exequiel!!!!!

Una consulta, quizas sea simple, en los apuntes no lo encontre...
No entiendo por qué puedo asegurar, que como continua, entonces pasa esto:
.

Por otro lado, busqué en los apuntes de la teorica la demostracion del ejercicio.
La demostracion llega a lo que escribi arriba... lo vuelvo a poner

es acotada por ser convergente.
Por lo tanto, en particular es acotada superiormente y esto es contradiccion pues:

para todo

por lo tanto es acotado superiormente.

Asi es la demostracion que tengo... por lo que veo, es parecida a la primera parte de la de exequiel, pero no entiendo la segunda, o sea la b).
Esta bien la demostracion que puse o le falta algo?

MUCHAS GRACIAS!

Es que vos probás que es acotada, pero no probás que alcanza los máximos y mínimos valores. De ahi la necesidad de la parte b)
Vale por la siguiente razón:
es continua en , el compacto. Luego:
1-, tomando suficientemente cerca de , o sea, que verifica . Esto último vale para .
2-La sucesión . Esto quiere decir que , para suficientemente grande(.
3-Esto quiere decir que la sucesión verifica que para , se tiene . Como es continua en , por (1) tenés los puntos suficientemente cerca de para que las imágenes estén suficientemente cerca, o sea, (básicamente, digo que 1 vale para todos los puntos metidos en una bola centrada en de radio . Como los puntos de la sucesión están metidos dentro de esa bola, tengo las imágenes tan cerca como quiero)
Perdón; estoy muy desprolijo aclarando todo últimamente. Recomiendo que pienses las cosas para , y después hagas la extensión a . Para los resultados de análisis I, y muchos otros, sirve(no fijés porque hay cosas bastante sencillas que no valen cuando hacés el salto a )
Espero haber ayudado. Saludos.

Despues de revisarlo lo suficiente creo haberlo entendido... Se me complicaba cuando definias .. Pero despues de la aclaracion lo entendi

Muchsimas Gracias por la paciencia!!

Recomendaría mencionar la completitud de para ahorrarse problemas ^^

La verdad que no sé. El profesor que tuve le dio bastante bolilla al principio de la cursada al axioma de completitud. En todo caso, acercarse y preguntarle al que tome el parcial si hacerlo o no, pero no recomendaría pasarlo por alto. En un parcial que me tomaron me pusieron un "-" por no haber vuelto a aclarar una cosa dicha :S

Una consulta sobre el ejercicio

Para resolverlo diria que dado un busco un y bastaría tomar no?
Obviamente mas formalizado...

Otra cosa: Queriendo resolver el me di cuenta que hay un par de cosas que estan mal copiadas:
Hay un pequeño error en la curva, estan mal puesto los parentesis...

y tambien que la funcion no va de sino que:


Gracias! Saludos!

Hola!!
Gracias por la respuesta! Busque en el Tromba la demostracion, y la encontré...

Usa fuertemente que, sea una transformacion lineal .. siendo una transformacion, entonces lo primero vale y queda .
Creo que eso es lo mas molesto que usa, despues en gral se entiende. Decime q no entendes, y me fijo, quizas cuando me digas tu dificultad, tambien se transforme en la mia, o quizas te pueda dar una mano.. la primera es mas probable jeje..

Gracias por la ayuda!!

SALUDOSS!!!

Una consulta, porque, la verdad, no lo veo:

En el ejercicio 4) cuando dice:

Mi duda es: si f va de a ... ¿Cómo es que el argumento de f es en ?

Porque aún si reemplazamos nos queda Pero el argumento pertenece a

Muchas gracias desde ya por vuestro tiempo...

Mira que F es un campo, no una función de R -> R . Continuidad no implica diferenciabilidad.

Lo que si vale es que si es diferenciable en P entonces es continua en P. Esa parte la hice acotando y usando la desigualdad Cauchy-Schwartz.

|F(X) - F(P)| =< |F(P) - F(P) - <GradF(p) , (X-P)> + <GradF(p) , (X-P)> | =< |F(P) - F(P) - <GradF(p) , (X-P)>|+ ||GradF(p)||* ||(X-P)||

después multiplicas y dividís al primer sumando por ||X-P|| y tomas limite con X-->P

Te queda que el primer sumando se va a 0 por ser F diferenciable en P ( te queda un ||X-P|| multiplicando pero no importa porque se va a 0 también) y el segundo sumando evidentemente se va a 0. Después por el teorema del sándwich te queda que
|F(X) - F(P)| --> 0 cuando X-->P y con eso probas la continuidad.


Yo tengo dudas con la parte b) de ese mismo ejercicio.

Yo supuse que como F es derivable en P entonces existe una bola donde el plano tangente aproxima bien la funcion. Despues despeje F(X) - F(P) de un lado, tome modulo de ambos lados y use la desigualdad de C.S y me quedo que M = ||GradF(p)||

la verdad no estoy muy seguro si vale lo que hice.. si alguno me confirma si la idea es masomenos valida jaja..

Si si.. tengo que aprender a usar el tex

Borre el post anterior! Estuve todo el dia estudiando y ya veo cualquier cosa.... lei integrable en lugar de deferenciable, entonces las cosas no me cerraban..jaja
En el 4to hice exactamente lo mismo que dijiste.

Te comento que se me ocurrió a mi para el 3)b) (en realidad es basicamente lo que decis, ya que hay una propiedad que nombraron más arriba que dice que

La verdad que eso de escribir cada enunciado 10 veces es bastante denso para el que lee.

Pongo la resolución del 3, como el enunciado no está bien escrito, supongo que dice que para todo x en la bola existe un M => 0 tal que |F(x)-F(p)|=<M|X-P|

Por el teorema de lagrange en Rn, tomamos un punto X cualquiera y un punto P cualquiera y afirmamos que existe una bola de radio DELTA centrada en P tal que si |X-P|<Delta entonces :
|F(x)-F(p)|=<gradiente de F ; X-P> <=|Gradiente de F|.|X-P|.Cos(alpha)<=|Gradiente de F|.|X-P|

Como son 2 terminos positivos, ese producto es positivo o 0. Como F es diferenciable, el gradiente de F es evaluable en todos los puntos (quizás salvo el borde de la bola, pero como pedimos que los puntos esten contenidos en el interior de la bola no hay problema) . Entonces como el gradiente es evaluable, podemos decir que siempre existe un M>0 tal que |Gradiente de F|<M y acotando al gradiente por M llegamos a la conclusión que buscabamos.

Perdón por no usar Latex, pero si lo hago en latex tardo 2 horas y no tengo tiempo. saludos!