22 votos

Mejor Hölder exponentes de surjective mapas de la unidad de la plaza a la unidad de cubo

El Peano la plaza de llenado de la curva de $p:I\to I^2$ turn out ser Hölder continua con exponente $1/2$ en la unidad de intervalo de $I$ (una forma rápida de ver, se nota que $p$ es un punto fijo de una adecuada contracción $T:C(I,I^2)\to C(I,I^2)$, y el no vacío, cerrado subconjunto de las curvas con el módulo de continuidad $\omega(t):=ct^{1/2}$ es $T$-invariante, para una adecuada selección de $c$, por lo que el $p$ es de la misma).

Por la misma razón, más en general, de forma análoga $n$-cubo-el llenado de las curvas de $I\to I^n$ (por ejemplo, se describe en la misma Peano de papel) son Hölder continua con exponente $1/n$.

Por otro lado, para cualquier $1\le k\le n$, por consideraciones elementales sobre medidas de Hausdorff, no $\alpha$-Hölder mapa continuo $I^k\to I^n$ con exponente $\alpha > k/n $ puede ser surjective. El natural de preguntas, por lo tanto:

Dado $1\le k\le n$, no existe una $\alpha$-Hölder mapa continuo $I^k\to I^n$ con exponente $\alpha=k/n$? De lo contrario, ¿cuál es el mejor exponente $\alpha$ obtener para tal surjective mapa? En particular, hay una construcción simple para el caso de $I^2\to I^3$? (En realidad, podemos enfocar en esta última pregunta, que parece ser la más simple no trivial caso).

Resumiendo las observaciones anteriores, la respuesta es afirmativa si $k=1$ o si $k=n$, y también podemos notar que si por un par de $(k,n)$ hay un surjective mapa de $q:I^k\to I^n$, entonces el mapa de $(x_1,\dots,x_m)\mapsto (q(x_1), q(x_2),\dots ,q(x_m))$ es también un surjective mapa de $I^{mk}\to I^{mn}$ con el mismo exponente $k/n$ de % de$q$. También, podemos considerar que las composiciones de mapas, de manera que las respuestas afirmativas para $(k,n)$ e $(n,m)$ implica la respuesta afirmativa para $(k,m)$.

Actualización 08.01.16. La única respuesta recibida hasta el momento sugiere que un buen artículo, sin embargo, no relacionados con esta cuestión (la única teorema en que el papel que se ocupa de Hölder mapas es Thm 2.1, pero no tiene nada o muy poco que ver con el problema actual, ya que es acerca de $\mathbb{R}$valores de las funciones, que es $n=1$ (existencia de Hölder funciones en un espacio métrico que el mapa surjectively en un intervalo no trivial problema sólo para totalmente desconectados de los espacios).

6voto

Spencer Puntos 5876

(Esto no es una respuesta completa, pero no puedo comentar.)

===========

Edit: Para aclarar, primero debe observar, como Willie Wong señala en los comentarios, que hay un error tipográfico en la pregunta original. Simple dimensión de Hausdorff argumentos mostrar que no puede ser no $\alpha$-Hölder mapa de $I^k$ a $I^n$ con $\alpha>k/n$. (La pregunta dice lo contrario.) La pregunta es entonces: ¿cuál es el mayor valor de $\alpha$ para los que podemos encontrar un mapa?

===========

De ello se deduce inmediatamente de la principal resultado de

http://arxiv.org/pdf/1203.0686.pdf

que por cada $\alpha<k/n$ hay un $\alpha$-Hölder mapa de $I^k$ a $I^n$.

En la general de espacio métrico caso de que el teorema, un mapa con óptima Hölder exponente no tiene que existir.

En este caso específico, yo apuesto a que sí, pero no tengo una construcción específica en mente.

5voto

Matt Penner Puntos 173

Hay surjections con la crítica de Hölder exponente para cualquier par de dimensiones k < n. Stong de manifiesto que hay un bijection $\mathbb Z^k \to \mathbb Z^n$ que es Hölder continua con exponente $k/n$:

R. Stong, la Asignación de $\mathbb Z^r$ a $\mathbb Z^s$, con una Contracción Máxima, Discreto Comput Geom 20:131-138 (1998)

Un límite de la construcción puede entonces ser utilizado para obtener surjections de $\mathbb R^k$ a $\mathbb R^n$ de la misma regularidad, lo que implica también la surjection resultado de los cubos. Algunos detalles y más interesantes discusiones acerca de este tipo de mapas son los que figuran en la sección 9.1 de las siguientes notas por Semmes:

S. Semmes, Donde los Búfalos: Infinito Procesos y la Infinita Complejidad, arXiv:matemáticas/0302308v1 (2003)

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