por Rafael Potrie
En algunos post pasados (este y este) estudiamos formas de probar que un mapa de en con siempre podia ser perturbado a un mapa que no fuese sobreyectivo. La pregunta cobra sentido desde el momento que existen mapas continuos del intervalo en que son sobreyectivos para todo (ver aquí).
Una de las maneras de lograr esta perturbación, dijimos que era aproximar el mapa por uno diferenciable, ya que en dicho caso, el Teorema de Sard nos garantizaba que para una función suficientemente diferenciable, un mapa de en con no podia ser sobreyectiva. También mencionamos que era un poco fuerte usar ese resultado para probar algo relativamente natural.
En este post, pretendo explicar un Lema que me enseño Martín Sambarino que permite dar una prueba relativamente elemental de este hecho.
Recordamos que una función es de variación acotada por si para todos se tiene que . Obviamente, una función diferenciable es de variación acotada (de hecho, su variación es la integral del módulo de su derivada).
Lemma 1 Sea una función continua tal que cada coordenada es de variación acotada, entonces, la imagen de no contiene ningún abierto.
Llamamos variación de en (que notamos como ) al supremo de entre las familias de de puntos tal que . Es muy fácil ver que si , entonces y si son disjuntos, entonces . Naturalmente, será de variación acotada por si y solamente si .
Una última observación que vale la pena hacer sobre la variación es la siguiente: Supongamos que verifica que contiene un intervalo . Entonces, tenemos que para cualquier abierto que contenga a (notar que podemos asumir, tomando un subconjunto de , que tiene finitas componentes conexas ya que es compacto). Esto se puede ver considerando una partición de suficientemente peque\~na (utilizando la continuidad uniforme de ) de forma tal que la preimagen de dos puntos siempre quede contenida en una componente de . Ahora, tomando esa sucesión de puntos, obtenemos variación igual a exactamente. Como la variación es el supremo de esos numeros, esto prueba la afirmación.
Demostración: Supongamos que la imagen de contiene un abierto, sin perdida de generalidad, podemos suponer que contiene un conjunto de la forma .
Fijado , tenemos que el conjunto es un compacto de . Naturalmente, si , tenemos que .
Dado que la imagen de por contiene todo el cuadrado , en particular contiene la linea .
Esto implica que si consideramos un entorno cualquiera de , la variación de en ese entorno tiene que ser como mínimo (notar que contiene y por lo tanto, ).
Fijando , y considerando cubrimientos disjuntos de respectivamente con distintos dos a dos y tal que , obtenemos que la variación de es necesariamente mayor que . Siendo arbitrario, contradecimos el hecho de que era de variación acotada por hipotesis.
Naturalmente, la misma prueba nos da también que ningun mapa cuyas coordenadas son de variación acotada puede contener un abierto en su imagen. Sin embargo, la generalización a mapas de con necesita adaptaciones (para empezar definir variación acotada!). Para hacerlo en dimensiones más grandes, se me ocurre que la idea puede imitarse para mapas diferenciables, utilizando cubrimientos pequeños donde se puede controlar la «medida» de las imagenes (y sin darnos cuenta, acercarnos a la prueba del Teorema de Sard).