|
Fecha actual 17 May 2024, 20:56
|
Buscar temas sin respuesta | Ver temas activos
|
Página 1 de 1 [ 18 mensajes ] |
|
![](./styles/AeroBlue/theme/images/tl.png) |
|
![](./styles/AeroBlue/theme/images/tr.png) |
|
Autor |
Mensaje |
Yossarian
|
Asunto: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 02 Ene 2009, 15:23 |
Casi 1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=84_1237647430.png) |
Registrado: 23 May 2008, 10:26 Mensajes: 394
|
Sea con la siguiente propiedad: Si es continua, entonces alcanza un máximo en . Demostrar que es un conjunto compacto.
Para los curiosos y para los que ya hicieron avanzado [?], ¿es cierto que si es un espacio métrico que cumple con esa propiedad, entonces es compacto?
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 01:20 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
Mmmm... considera en el conjunto definido por . Resulta que toda función continua alcanza máximo y mínimo, pero el punto de adherencia pertenece al complemento de .
|
|
|
|
![](images/spacer.gif) |
Quimey
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 09:36 |
1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=101_1393182339.jpg) |
Registrado: 05 Jul 2008, 14:02 Mensajes: 1166
|
La función es continua en A pero no es acotada superiormente por lo tanto f no alcanza maximo...
_________________ Quimey
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 15:49 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
Debe haber alguna definición de continuidad para la que esa función sea continua en , pero utilizando que una función es continua si y sólo si los límites laterales en coinciden con (salvo para la continuidad lateral, pero se sabe cómo es) pues resulta que acá no existen los límites laterales. El único lugar en el que podría existir un límite es en , pues en su entorno es denso, pero ese no es un elemento de .
En otras palabras, el conjunto de funciones continuas en es vacío. Y, en general, así se pueden construir cuanto contraejemplo nos guste.
Si se agregara la condición de que el conjunto de funciones contnuas es distinto de vacío, la proposición seguiría siendo falsa. Bastaría toamar . Se podría pedir arco-conexidad. No se me ocurre otra condición menor en este momento. En este caso, para demostrar que es acotado bastaría tomar y para demostrar que es cerrado, suponer lo contrario y tomar un punto de la clausura que no pertenezca al conjunto. Definimos una función sobre una curva que converja a tal punto y la hacemos estallar ahí. De hecho, alguna de las dos siguientes funciones tendrá que servir:
Luego, el conjunto es cerrado.
Edito: En realidad no podemos asegurar que la función esté bien definida así... mejor tomemos lo siguiente:
|
|
|
|
![](images/spacer.gif) |
Quimey
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 16:29 |
1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=101_1393182339.jpg) |
Registrado: 05 Jul 2008, 14:02 Mensajes: 1166
|
Deberias repasar tu definicion de continuidad. Ese conjunto tiene la topologia discreta, todas las funciones que salen de A son continuas. Una definicion mas util de continuidad es la de preimagen de abierto es abierto.
_________________ Quimey
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 18:15 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
Es una forma de verlo y ahí resulta como decís. Pero me quedaría ¿en qué subconjunto de una función constante no sería continua?
|
|
|
|
![](images/spacer.gif) |
Quimey
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 18:21 |
1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=101_1393182339.jpg) |
Registrado: 05 Jul 2008, 14:02 Mensajes: 1166
|
Es la forma correcta de verlo, las funciones constantes siempre son continuas
_________________ Quimey
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 22 Feb 2009, 19:41 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
El problema que me surge es el siguiente:
Hay un teorema que afirma que el cardinalidad de las funciones continuas de es . Sin embargo, el cardinalidad de es . Pero resulta que para todo podemos definir una función . Esto es lo que no me termina de cerrar.
|
|
|
|
![](images/spacer.gif) |
Quimey
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 23 Feb 2009, 10:39 |
1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=101_1393182339.jpg) |
Registrado: 05 Jul 2008, 14:02 Mensajes: 1166
|
No me queda claro de que teorema me estas hablando, seguro que el cardinal de es . Me da la impresion de que lo que vos decis es la hipotesis del continuo (que no es un teorema). Ademas no es cierto que siempre puedas extender una funcion definida en un subconjunto de los reales a todos los reales (de manera continua obviamente), un ejemplo es el que yo puse antes de 1 sobre x.
_________________ Quimey
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 23 Feb 2009, 13:43 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
¡Ja! Me faltó escribir una palabra importante.
La cosa es así. Mucha gente me ha dicho, gente que generalmente sabe de matemática, y se lo puede encontrar en la wiki, que entre y el conjunto de las funciones continuas se puede establecer una biyección, es decir que su cardinalidad es el mismo. Luego, según lo que vos me decís, sobre cualquier subconjunto de se puede definir una función continua. Y aquí está el problema. Si sobre cualquier subconjunto de podemos establecer una función continua y entre estas se puede establecer una biyección con , tendríamos una biyección entre y . Llámese a la cardinalidad como se guste, acá yo veo una contradicción.
Pero qué sé yo... hoy le consultaré a mi profesor a ver qué me dice. Quizá yo recuerde mal y se refería a las funciones ¿derivables? y no continuas. En fin...
|
|
|
|
![](images/spacer.gif) |
Quimey
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 23 Feb 2009, 13:58 |
1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=101_1393182339.jpg) |
Registrado: 05 Jul 2008, 14:02 Mensajes: 1166
|
Mira aca: http://en.wikipedia.org/wiki/Cardinalit ... dinality_cAhi aparece lo que vos decis, pero fijate que no hay contradiccion, porque del conjunto de funciones que hablan es de las funciones continuas definidas sobre todos los reales, y lo que yo digo que hay es funciones continuas de cualquier subconjunto de los reales en los reales, y no es lo mismo que definidas en todos los reales.
_________________ Quimey
|
|
|
|
![](images/spacer.gif) |
Yossarian
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 26 Feb 2009, 14:19 |
Casi 1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=84_1237647430.png) |
Registrado: 23 May 2008, 10:26 Mensajes: 394
|
ehm... me parece que estás confundiendo varias cosas, equis. Primero, la función que vos ponés es continua, precisamente porque cumple la condición que vos ponés: si agarrás un punto del dominio, y una sucesión , entonces , porque las únicas sucesiones convergentes en ese conjunto son las eventualmente constantes... hay una sucesión que converge a 0 en , pero como 0 NO está en el conjunto, no podés decir que esa sucesión converja a 0.
Acerca de lo de la biyección, sí, para cada podés armarte una función continua (por ejemplo, en todos los casos la constantemente 0). El tema es que no necesariamente se corresponde con una función continua definida en todo . Además, pueden ser "la misma función" (por ejemplo, siempre la función nula), aunque restringida a distintos conjuntos. Eso dice que la asignación que decís vos NO es una biyección, que sería problemática...
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 26 Feb 2009, 15:08 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 27 Feb 2009, 15:08 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
En realidad... a medida que pienso más cosas, me queda menos claro. Mi duda ahora es ¿Por qué podríamos decir que la función que propuso Quimey es continua, pero no la función de Dirichlet? (1 si x es racional, 0 si es irracional o al revés)
|
|
|
|
![](images/spacer.gif) |
Yossarian
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 27 Feb 2009, 20:24 |
Casi 1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=84_1237647430.png) |
Registrado: 23 May 2008, 10:26 Mensajes: 394
|
A ver... una función es continua en un espacio ambiente... y si querés, que sea continua es que si en entonces , sin importar si es punto de acumulación, ni nada por el estilo.
La función de Quimey cumple con esa condición... así que es continua. Fijate que el único punto en el que podría fallar es en el , pero tu espacio ambiente no sabe nada de ese punto...
La función de Dirichlet no es continua en todo porque, por ejemplo, hay una sucesión de números racionales , pero no tiende a .
|
|
|
|
![](images/spacer.gif) |
Don Equis
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 27 Feb 2009, 22:16 |
Registrado: 29 Sep 2008, 23:45 Mensajes: 68
|
|
|
|
![](images/spacer.gif) |
Yossarian
|
Asunto: Re: Cooooooooooooooompaaaaacto inforrrrrrrrmativo ![Nota Nota](./styles/AeroBlue/imageset/icon_post_target.gif) Publicado: 28 Feb 2009, 09:21 |
Casi 1er Licenciado |
![Avatar de Usuario](./download/file.php?avatar=84_1237647430.png) |
Registrado: 23 May 2008, 10:26 Mensajes: 394
|
Las definiciones son correctas y equivalentes.
|
|
|
|
![](images/spacer.gif) |
|
|
![](./styles/AeroBlue/theme/images/bl.png) |
|
![](./styles/AeroBlue/theme/images/br.png) |
|
Página 1 de 1 [ 18 mensajes ] |
|
|
No puede abrir nuevos temas en este Foro No puede responder a temas en este Foro No puede editar sus mensajes en este Foro No puede borrar sus mensajes en este Foro No puede enviar adjuntos en este Foro
|
|