12 votos

No es invertible medir la preservación de las transformaciones de $\mathbb{R}^n$

Estoy buscando ejemplos concretos de medir la preservación de las transformaciones de $\mathbb{R}^n$ (con medida de Lebesgue) para obtener una mejor idea de cómo se comportan.

Una gran familia de dichas transformaciones son el diffeomorphisms cuyos derivados se ha determinante $\pm 1$ en todas partes. También hay no-continuos ejemplos como el mapa de $x \mapsto x - 1/x$$\mathbb{R}$.

Sin embargo, todo el continuo de medir la preservación de los mapas que yo conozco son de hecho homeomorphisms. Me preguntaba ¿a qué distancia de un homeomorphism puede una medida continua-preservar el mapa, pero no tengo ningún ejemplo en mi mente. Así que mi pregunta es:

¿Cuáles son los ejemplos de continuo a medida para la preservación de los mapas de $\mathbb{R}^n$ que no homeomorphisms?

Aquí están algunas ideas:

Un mapa debe ser "casi-surjective", en el sentido de que su imagen se ha medida completa. De hecho, la preimagen de un complemento de la imagen está vacía, por lo que debe tener medida $0$ desde el mapa es la medida de preservación.

También, el mapa no puede ser excesivamente no inyectiva ya que la preimagen de un punto que se debe tener de medida $0$. Me preguntaba si había alguna declaración más fuerte se podría decir acerca de inyectividad (como el que tenemos para surjectivity).

3voto

Dominique R.F. Puntos 86

Esta es una visión muy parcial de respuesta. Creo que he encontrado un ejemplo en la dimensión 1. Considere la siguiente función: $$ f(x) = \begin{cases} x &\text{if} \quad x < 0 \\ 3x &\text{if} \quad 0 \leq x \leq 1 \\ |3x-6| &\text{if} \quad 1 < x \leq 3 \\ x &\text{if} \quad x>3 \end{casos} $$ La gráfica es la más reveladora:

enter image description here

Por lo $f$ es la identidad en todas partes, excepto en $[0,3]$, donde su pendiente es $3$ veces mayor para compensar el hecho de que cada punto en $[0,3]$ tienen $3$ preimages.

Para demostrar $f$ es la medida de preservación, es suficiente para comprobar que conserva la medida de intervalos abiertos. Para intervalos que no se intersecan $[0,3]$, esto es inmediata. Para los intervalos de $(a,b) \subset [0,3]$, la preimagen es una unión de $3$ distintos intervalos de longitud de $1/3(b-a)$: $$ f^{-1}((a,b)) = \left(\frac{a}{3}, \frac{b}{3}\right) \cup \left(-\frac{a}{3}+2, -\frac{b}{3}+2 \right) \cup \left(\frac{a}{3}+2, \frac{b}{3}+2 \right) $$ Así que tenemos $\mu( f^{-1}((a,b)) ) = b-a = \mu((a,b))$.

Hemos terminado, ya que para cualquier intervalo abierto $I$ podemos escribir $I = (I \cap [0,3]) \cup (I \cap [0,3]^c)$ y, a continuación, \begin{align} \mu( f^{-1}(I) ) &= \mu(f^{-1}((I \cap [0,3]) \cup (I \cap [0,3]^c))) \\ &= \mu(f^{-1}(I \cap [0,3])) +\mu(f^{-1} (I \cap [0,3]^c)) \\ &= \mu(I \cap [0,3]) + \mu( I \cap [0,3]^c) \\ &= \mu (I) \end{align}

Por lo $f$ es un continuo y surjective medida de preservación de la transformación, a pesar de que no es inyectiva. Es fácil ver que hemos sido capaces de construir otros ejemplos mediante la adición de más "dientes" a la función y el ajuste de la pendiente de compensar.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X