Y estalló la polémica . Hace unos días, en Twitter se vieron una agria discusión matemática en la que dos bandos «luchaban» por una victoria que les llevara a la cima del mundo del análisis [...] Sí, amigos, efectivamente ésa es la razón por la cual la temperatura matemática llegó a niveles nunca vistos en las redes sociales. En concreto, la cuestión que desató el conflicto puede resumirse en la siguiente pregunta: ¿Es la función f(x)=1/x continua? [...] Respuesta corta: sí, es continua
|
etiquetas: 1/x , continuidad , análisis , dominio , límites
Y como matemático que soy, suscribo todo lo que dice @gaussianos en su blog.
Resumo que a muchos os gusta más mirar los comentarios que los artículos: al hablar de continuidad de una función, solo se puede hacer en el dominio y el 0 no pertenece al domino de la función 1/x. Así que la función es continua en todos los puntos de su dominio.
Y añado algo que no viene en el artículo. En realidad la definición general de función continua entre dos espacios topológicos es que la antimagen de todo conjunto abierto* es un conjunto abierto, no depende de la continuidad punto a punto. Y es fácil comprobar que así es en esta función.
P.d. *abierto: en R un conjunto abierto es aquel que se puede poner como unión de intervalos abiertos. Para comprobar la definición de continuidad no hace falta comprobarlo con la antiimagen de todo abierto, sino que bastaría comprobarlo con la antiimagen de cada intervalo abierto.
Te lo pondre de otra manera, aunq la explicacion de #2 es perfecta.
1o. La continuidad solo tiene sentido en el dominio de la funcion. Fuera del dominio es absurdo plantearlo.
2o. 1/x no esta definida en 0 por tanto no forma parte del dominio.
ERGO 1/x es continua en todo su dominio.
Esto no es democracia, es matematicas.
O te lo digo de otra forma, si estás estudiando la función restringida a un intervalo, pues en ese nuevo dominio de definición la función es continua. Ningún problema.
— Mira, si tu madre y yo solo queríamos un hijo, y tu hermano nació antes, ¿quién sobra?
— Hijo de puta.
¿Qué tiene de interesante esta discusión? pues también, es subjetivo. No soy matemático pero en la facultad (dónde van los años...) tuve unas cuantas dosis de matemáticas, así que puedo tener un pelín de opinión al respecto: para hacerse pajas entre los bandos.
En este caso, f(x)=1/x significa que el resultado de la función para un número X que le apliques, le devuelves 1 dividido por X. Como seguramente sabrás, 1/0 no existe, no se puede aplicar, no hay número que multiplicado por 0 dé 1. Pero podemos irnos alrededor del 0 y vemos que, como es lógico, si X es un número positivo, cuanto más pequeño sea ese número (más próximo a cero) entonces 1/X será más grande, es decir, cada vez más próximo a infinito(*). Por el contrario, si X es un número negativo (nos acercamos a cero por la izquierda en la gráfica) 1/X será cada vez más próximo a menos infinito.
Si en el punto 0 tienes que si te acercas por la izquierda (el negativo) vas hacia abajo y si te acercas por la derecha (el positivo) vas hacia arriba (en la gráfica) está claro que la curva, la línea, la raya que es en sí el juntar todos los resultados de la función para todos los posibles valores de X (que a su vez también son infinitos pero esa es otra historia) entonces está claro, obvio, cristalino, que esa raya NO es contínua.
Así que unos dicen que no es continua la función porque la raya no es continua.
Y otros dicen que sí es continua porque hacen, a mi entender, la trampa de que "no, mira, es que en 0 no existe 1/0, así que ahí no está definida la función, y si no está definida, entonces no cuenta y por tanto es continua".
(*) Ojo, que infinito NO es un número sino un concepto, pero para la explicación puede valer (a riesgo de herejía matemática) entenderlo como un número grandísimo de la hostia. Técnicamente nunca te acercas más a infinito ni a menos infinito porque siempre tienes un infinito de por medio.
Y como éste hay bastantes ejemplos.
Ejemplo muy sencillo. Si defino f(x)=0 en todos los puntos salvo en el 0 donde la defino como f(0)=1, esta función está definida para todos los números reales y no es continua. En el 0 tendría lo que en el instituto se llamaba discontinuidad evitable.
La definición de continua por límites en un punto a del dominio se define como que existe el límite cuando x tiende a a (por tanto los límites laterales son iguales, que es lo que has dicho) y ese límite vale f(a). Observa que en la definición he puesto "del dominio". Y es que ese "del domino" es necesario en la definición, ya que si a no pertenece al dominio no podemos hablar de f(a).
Na, solo te diré una cosa, no es una ecuación, es una función.
¿Sabes que existen funciones continuas en todo R que son imposible de dibujar? Es más, si coges una función continua al azar, lo más probable (probabilidad 1 de hecho) es que la función no se pueda dibujar, entre otras cosas porque te saldrá que no es derivable en ninguno de sus puntos.
Si te vas a limitar a pensar en continuidad con esa idea preconcebida errónea de la gráfica vas a estar errado.
Ta'bien...
En una funcion como 1/× cerca de cero no son utiles.
De todas formas la grafica no dice lo contrario ... no la estas interpretando bien
Aquí utilizan un tecnicismo para decirme que 0 está fuera del dominio de la función y que es continua, a pesar de que estoy viendo una gráfica que dice lo contrario.
La pregunta está mal planteada.
De todos modos, por definición, 1/x es continua en R-{0}.
Por ejemplo, es mentira que hay asolo tres estados de la materia (plasma? condensado de Bose-Einstein?); no es verdad que solo tengamos 5 sentidos (el del equilibrio, propiocepción?); no es cierto que sólo podamos distinguir sabores con determinadas partes de la lengua; y por supuesto no es cierto que una función continua sea aquella que se puede dibujar de un solo trazo.
¿Podría algún @admin, bloger o especial mover este envío ahí? O @Ergo tú mismo y así me devuelves algún favor
#79, no sabes, yo sí lo sé, que para algo soy doctor en matemáticas
Eso es porque tú (y casi todo el mundo) llamas continuidad a una cosa y los matemáticos se lo llaman a otra.
La definición matemática de continuidad no es que la función se puede dibujar en todo R sin levantar el lápiz del papel, porque esa definición que tú empleas y que nos resulta tan "natural" llevaría de manera ineludible a que toda función cuyo domino no es R es necesariamente no-continua, lo cual vaciaría de sentido el concepto de continuidad. Esta herramienta (las definiciones no son más que herramientas que nos permiten hacer cosas) sería inútil a la hora de hacer todas los cosas interesantes que se hace con la definición canónica de "continuidad" y, por lo tanto, nos obligaría a emplear la herramienta "continua en su dominio" en su lugar.
¿Por qué concederle el nombre a una herramienta defectuosa en lugar de a la herramienta que sí que es útil? ¿Para que se parezca más al concepto cotidiano? No es así como funcionan los matemáticos, créeme.
Yo como ingeniero, siempre pensé que era continua pero por otro motivo. Para mi, la función para x=0 sí la consider definida, vale infinito, y el infinito en el campo complejo no tiene fase al igual que el cero.
Tú tendrás la razón, y yo estaré equivocado en muchas cosas. Pero yo soy ingeniero y me follo a las matemáticas como quiero para obtener los resultados prácticos.
Pero espérate que tú no sabes lo que significa ser continua en a porque no conoces la topología de esa extensión. Así que ya que te pones chulo, para chulo yo y te lo explico. Que por cierto, no hace falta irse a C, la compactificación por un punto podrías haberla hecho en R y funciona igual.
Vale, pues vamos allá. Primero vamos a dotar de topología a la compactificación en un punto (una topología con la que será compacto). Para ello definimos en el infinito una base de entornos formada por los conjuntos de la forma {x en R (o C) tales que | x|>M} con M un número positivo.
Con la topología que sale de ahí podemos ver que la antiimagen de un abierto sigue siendo un abierto.
¿Que te gusta más con límites? Bueno, tenemos que aclarar lo que significa que el límite en un punto sea infinito. Y la definición es esta:
el límite de f(x) en a es infinito si para todo M>0 existe un épsilon tal que si | x - a|<épsilon, entonces | f(x)|>M.
Y con ese concepto de límite saldría también que la extensión es continua.
Así que vete a vacilarle a otro
P.d. A ver al darle a enviar si menéame no me hace cosas raras con las expresiones matemáticas y empieza a tachar cosas
Edit: arregladas las cosas raras
En cualquier caso, si te empeñas en seguir viendo los límites en el 0 te añado más información. Al hablar de límites infinitos en R se puede considerar 3 tipos de límites, los que tienden a +infinito, los que tienden a -infinito y los que tienden a infinito. Ojo, infinito no es lo mismo que +infinito. Se dice que f tiene de límite infinito en a cuando para todo | M | > 0 existe un b tal que si | x - a | < b entonces | f(x) | > M.
Pues bien, resulta que el límite de la función f(x)=1/x cuando x tiende a a es infinito (sin signo). Y los límites laterales coincidirían.
Por cierto, podría pasar que los límites laterales sean infinito sin ser los límites laterales tampoco +infinito o -infinito.
La función f(x)=1/x no es continua en R, aunque sí es continua en su dominio, en R~{0}.
Si al no decir el intervalo se interpreta que es continua en R, sería obviamente falso.
Espero haberme expresado bien
El standard de coma flotante IEEE754 define varios "números" especiales: "NaN" que significa literalmente "Not a Number"; y también está "Infinity".
Si en el ordenador arrancas nodejs y evaluas 1/0 obtienes "Infinity", y si calculas "0/0" obtienes NaN
El tema es que dichos valores NO SON NUMEROS: no se puede operar con ellos. Cualquier programa de cálculo que los intente utilizar retornará una excepción ("DivisionByZeroException") y en primero de telemática es una pregunta casi obligada de examen el capturar dichas excepciones.
En ingeniería la operación de buscar "polos" y "ceros" de una función es algo que se enseña en primero de carrera, y está intimamente relacionado con la noción de continuidad de una función, y con el dominio en que dicha función está definida, y cómo tiene que ser tratada a la hora de realizar cálculos computacionales con ella ( p. e. evaluar la frecuencia de resonancia de un puente para que no se hunda al paso de un camión, o cómo construir una emisora de radio que emita en una frecuencia determinada, o .... )
En otras carreras STEM no sé, pero en arquitectura y telecomunicaciones es el pan de cada día.
Lo que has dicho ha sido, textualmente:
"el hecho de que una función tenga una discontinuidad en un punto no significa, necesariamente, que no sea continua en dicho punto"
Precisamente el hecho de que pueda no ser ni continua ni discontinua en el punto es lo que hace incorrecta tu frase, te está liando la doble negación unido a que son tres posibles casos, no dos. No tiene nada que ver ni con "mi" visión de continuidad ni con "tu" división de continuidad, insisto una vez más. Sustituye "continua", "no continua" y "ni continua ni no continua" por "A", "B", "C", y lo verás más claro. Asumimos que "discontinua" se contradice con "A". La frase ahora es "el hecho de que una función tenga una discontinuidad en un punto no significa, necesariamente, que no sea "A"". Si "no significa, necesariamente, que no sea A", significa que podría ser "A" (continua), lo cual parece que estamos de acuerdo en que es absurdo.
Vamos, que la existencia de discontinuidad en un punto no implica necesariamente que la función no sea continua en ese punto...porque podría ser que en dicho punto no fuera nada
Pero es que tu frase también está abriendo la opción a que sí sea continua!!
Espero que ahora sí hayas entendido lo que quiero decir. Si no es así, de verdad que lo siento, pero no sé cómo explicártelo mejor.
Yo sí espero que ahora hayas entendido lo que quiero decir, porque parece que ni te molestas en leer lo que digo. Te estoy diciendo que no tiene nada que ver con tu idea de "discontinuidad" y sigues erre que erre con lo mismo. Te dije hace varios comentarios que, por supuesto, la función puede no ser ni continua ni discontinua en un punto, pero parece que ni me lees. Es un problema semántico, tu frase es incorrecta porque no expresa lo que crees que expresa.
Lo dice la frase
Lo voy a intentar de nuevo. Mi frase va por la siguiente "creencia":
"Si f tiene una discontinuidad en un punto 'a', entonces f no es continua en dicho punto."
Tu frase no dice eso!!
Si f tiene una discontinuidad en 'a' pero no existe f(a), se tiene que f no es ni continua ni no continua en 'a'
Por supuesto. El tema es que "no es ni continua ni no continua" => No es continua. Y tu frase está diciendo que sí puede ser continua
Como ves, en ningún momento se deja abierta la posibilidad de que f pueda ser continua en 'a' (de nuevo, creo que esto era evidente, pero parece que hace falta aclararlo)
Pero cómo que no??
cambias 'significa' por 'implica', puede que lo comprendas mejor y te des cuenta de que mi frase es correcta y sí expresa lo que quiero expresar.
Cambiando significa por implica, la frase queda:
"el hecho de que una función tenga una discontinuidad en un punto no implica, necesariamente, que no sea continua en dicho punto"
Y el significado sigue siendo el mismo: no implica, necesariamente, que no sea continua => puede que sea continua. Joder, no lo veo tan difícil de entender... Ya que hablas de implicación y somos matemáticos, lo único ya que se me ocurre para que lo veas es que expreses la frase como proposición lógica y compruebes que es verdadera cuando la función es continua en el punto:
no(discontinua => no (continua))
discontinua=V
continua=V
no(continua)=F
V=>F = F
no(F) = V
Estoy usando "=" como símbolo de equivalencia. Como ves, la proposición es verdadera cuando la función es continua y discontinua en el punto, lo cual es absurdo.
Si quieres seguir con esto, Intenta expresar tu frase con predicados y proposición lógica, como hice yo, y entonces te lo explico a partir de ahí
"el hecho de que una función tenga una discontinuidad en un punto no significa, necesariamente, que no sea continua en dicho punto"
Este tipo de cosas son la muestra de que, aunque las matemáticas sean coherentes y lógicas, cuando se trasladan al lenguaje natural, se pierde mucho rigor. Todos entendemos que la funcion f(x)=1/x no es continua en el sentido que le damos en la vida real a la palabra "continua". Pero sí lo es en el sentido matemático. El problema no está en las matemáticas ni en nuestro entendimiento intuitivo, no es una paradoja. Es un problema de traducción al lenguaje natural y de las asunciones que hacemos.
Como no hecho de menos las transformadas y los desarrollos..........
www.get-digital.es/gandalf-no-puedes-pasar.html
Seguro que da pie a conversaciones interesantes
Ahi esta la clave ... no lo has entendido bien. La continuidad matematica de una funcion no es lo mismo q lo q entendemos por "continuidad" intuitivamente en el mundo fisico.
Es como decir los numerod y letras sirven para que tu puedas tener móvil , ordenador y tablet ....
Para que sirve una función exactamente en mi móvil ? Para que sirve esa ecuación ? Que representa ???
Y pasa que aquí no es ni lo uno ni lo otro. Aquí lo que hay es un cambio de definición. No hace falta que me digas algo que ya sé y que ya han escrito otros. Por raro que te parezca, sé leer y suelo entender la mayoría de lo que leo, al menos cuando está en algún idioma que hablo.
Tú mismo me estás dando la razón: "ERGO 1/x es continua en todo su dominio", claro, cuando especificas el dominio entonces sí, pero la función, como tal, no lo es.
Estas cosas pasan con matemáticas, como cuando se pelean algunos con que si el cero pertenece a los naturales o no: depende de la definición que quieras aplicar.
Mira, ya que nos ponemos, dos motivos por los que no es continua:
1- por lo que ya hemos dicho, que se salta un punto.
2- tampoco es continua porque, INCLUSO aunque elijas su propio dominio, aunque cojas la gráfica y te saltes la "columna" del cero, hay un salto de menos infinito a la izquierda a infinito a la derecha, es decir, dos infinitos de distancia, que viene siendo un infinito a fin de cuentas. Ahí tenemos a #8 definiendo como discontinua a una función definida como 0 en todos los puntos menos en 0 que sería 1. ¿Qué significa que es discontinua entonces? que no puedes seguir la función de una manera "suave", que tienes algún cambio abrupto en algún sitio (como ya lo hemos dicho) y otra QUE TIENES UN PUÑETERO ESCALÓN DE VALOR INFINITO. ¿Qué más discontinuidad que esa quieres?
Gracias.
Dejando eso a un lado, creo que no es exactamente igual que el símil que haces (aunque es un buen intento y de buenas a primeras casi me convences pero en una segunda lectura no) por el sencillo motivo que indicas: no podemos saber qué había antes del big bang, pero aquí se trata de una cuestión de definiciones que hacemos. Es más parecido a lo de si 1 es primo o no es primo, que no recuerdo ahora exactamente cómo era el razonamiento pero venía a ser algo así como que sí podría ser primo, pero si lo consideramos primo, entonces no sé qué teorema matemático se venía abajo, así que se considera no primo.
Tú mismo has puesto como ejemplo de una función no continua la que tiene todo 0 menos en 0 que tiene 1 ¿por qué es discontinua? porque incluso aunque coinciden los límites laterales, no coinciden con el valor de la función en el punto.
Tú dices que, oye, sólo si está definida la función en el punto, ese punto pertenece al dominio y es sólo en el dominio donde se considera la continuidad de la misma. Muy bien, hagamos esa suposición y quitamos el 0 de los puntos a calcular. ¿Cuánto es el límite de la función por el lado negativo cuando se aproxima a cero? menos infinito ¿cuánto es por el lado positivo cuando se aproxima a cero? más infinito.
¿Coinciden los límites laterales del cero, que ya hemos dicho que no íbamos a contar con el cero pero sí podemos ver los valores a un lado y a otro? No, no coinciden porque tienen un salto infinito. En tu función de ejemplo valía un salto de valor unidad (en realidad dos saltos y no hace falta ningún valor concreto mientras sea distinto de cero) para indicar que es discontinua.
Pues aquí con mayor motivo, no hay mayor salto posible que infinito. Si quieres aquí, dos infiinitos, pero ya sabemos que dos infinitos son un infinito.
¿O es que como además no está definida en cero entonces da igual también lo que pase a un lado y a otro de la "singularidad"? Nopes.
Atendiendo a la definición que usas, es decir, "continuidad en el dominio", para que fuese continua tendría que ser definida la función tal que en el lado negativo de las X, f(X) = -1/X, y sí fuese 1/X para la parte positiva de las X.
De esa manera sí coincidirían los límites por izquierda y derecha al aproximarse a cero (aunque no usemos cero) y sería infinito. O si quieres puedes hacerlo al revés y cambiar el signo del semieje positivo de las X, dejando el semeje negativo igual, por tanto tendrías continuidad en menos infinito si quitamos el 0.
Así tal como está, lo quieras ver por la definición, lo quieras ver por el valor real de la función en los límites alrededor del cero, no es continua.
Repito ¿o es que las "singularidades", las zonas donde no está definida la función son entes que tienen, entre a lo mejor otras, como consecuencia que no importa lo que sucede a sus lados y la función puede hacer lo que le dé la gana y aún así ser continua porque patata?
Sí, ya yo mismo dije en mi, creo, primer comentario en este meneo que infinito no es un número sino un concepto, aunque la aproximación como número puede valer para empezar a entender algunas cosas, pero rápidamente hay que pasar de eso para irse a lo que es.
Como dije también en otro comentario, salvo que ahora me digas que hagas la vuelta del cuentakilómetros, de manera que irse al infinito por la parte positiva se toca con el infinito en la parte negativa, lo cual es un salto conceptual que no veo, lo cierto es que "mientras no llegues a infinito", los límites se van alejando cada vez más entre sí.
Me habré olvidado de cosas de matemáticas, pues hace no lustros sino décadas que no voy a una clase de matemáticas, pero estoy bastante convencido que ese "teorema del punto gordo de los infinitos" al que haces referencia no lo vi en clase.
Pero es que incluso aunque exista tal teorema, el caso está en saber usarlo y aplicarlo. Y aunque no lo conozca, o por lo menos no lo recuerde, no acabo de ver cómo, importante, hablando de una función, podamos decir que es lo mismo que dé hacia infinito por arriba o por abajo, que todo es infinito y decir lo contrario es no tener perspectiva de infinigénero, ser un infachanito o algo por el estilo.
Ya lo decía el cubano aquel: el infinito te confunde
Bien, entramos entonces en el caso de que si no está definida ahí no cuenta. En ese caso tendrían que al menos coincidir los límites, y tampoco. Si le aplicas el valor absoluto sí, pero la del enunciado no.
La función f(x)=1/x sí es continua, lo de "en todo su dominio" es redundante. Por otra parte, preguntarse si la función es continua en un punto que no pertenece a su dominio no tiene sentido, es como preguntarse si el color verde es ancho o estrecho. De la misma forma, preguntarse si "f(x)=1/x es continua en R", que es lo que os está liando a muchos, es hacerse una pregunta que no tiene sentido y que ni siquiera está en discusión, ya que lo que se discute es si la función f(x)=1/x es continua o no, y sí lo es.
Si hay un salto, incluso con la definción de "dentro del dominio", no es continua.
(-infinito,0)U(0,+infinito) si lo quieres ver de una manera un poco más oficial sin entrar a buscar símbolos raros en el mapa de caracteres.
El de la izquierda, cuando se acerca a cero, tiende a menos infinito, mientras que en el otro lado es a más infinito. Hay un salto. No es continua.
Si tú dices "es que en este tramo lo es, y en aquel también lo es" sí, claro, en esos subtramos lo es, pero para pasar de un tramo a otro das un salto, ergo no lo es.
Saludos a la madre Rusia.