4 votos

¿Debe ser inyectivo un mapa continuo sobre un espacio compacto hacia sí mismo?

Dejemos que $X$ sea un espacio compacto y $f:X\to X$ un auto-mapa en ese espacio. Supongamos que $f$ es continua y sobreyectiva. ¿Es entonces también inyectiva? Sin la condición de compacidad no necesariamente, pero ¿es suficiente la compacidad? Si no, ¿qué más hay que exigir?

3 votos

Un ejemplo muy geométrico y natural de la topología algebraica sería $f:\mathbb{S}^1 \rightarrow \mathbb{S}^1$ s.t. $f(z)=z^2$ . Aquí definimos un círculo $\mathbb{S}^1=\{z\in \mathbb{C} = \mathbb{R}^2 : |z|=1 \}$ . Esta es la imagen

0 votos

@Mihail Tu comentario merece una respuesta. Y prefiero upvotearlo a upvotar el comentario $\ddot\smile$

10voto

Studer Puntos 1050

Puede tener, por ejemplo $X=[0,\pi]$ , $f(x)=\pi\sin(x)$ .

Una condición que puede exigir es que $X$ es finito. Aparte de eso, a menos que $X$ es muy especial siempre habrá una función de este tipo.

7voto

W3BGUY Puntos 51

$f:[0,1]\rightarrow[0,1]$ , $f(x)=-2x+1$ para $x\in[0,1/2]$ , $f(x)=2x-1$ para $x\in[1/2,1]$ , $f$ no es inyectiva.

0 votos

Gracias, el mapa de la tienda, o el mapa de la tienda al revés, es por supuesto un buen ejemplo.

4voto

zhw. Puntos 16255

Considere $4(x-1/2)^2$ en $X=[0,1].$

1 votos

Como alguien que sabe mucho menos de topología que el preguntante: ¿sería éste el único contraejemplo, uno de los muchos contraejemplos del único tipo disponible, o sólo un contraejemplo de muchos tipos diferentes de contraejemplos?

2 votos

@RobertSoupe Es sólo un ejemplo de los millones que hay.

3voto

enter image description here

Un ejemplo muy geométrico y natural de la topología algebraica sería $f:\mathbb{S}^1 \rightarrow \mathbb{S}^1$ s.t. $f(z)=z^2$ . Aquí definimos un círculo como $\mathbb{S}^1=\{z\in \mathbb{C}=\mathbb{R}^2:|z|=1\}$ Arriba puede ver una imagen que representa este mapa.

Si te interesa, busca los mapas de cobertura. Aparecen con bastante frecuencia, aunque no a menudo como endomorfismos. También podríamos preguntarnos si podríamos hacer lo mismo con esferas de mayor dimensión $\mathbb{S}^n=\{x\in \mathbb{R}^{n+1}:|x|=1\}$ para $n\geq 2$ ? La respuesta es no, y en la dimensión $1$ tenemos la suerte de que $\mathbb{S}^1=\mathbb{RP}^1$ .

0 votos

La imagen vinculada es - ¿sólo actualmente? - no está disponible. ¿Por qué no la incluye en su respuesta?

0 votos

@Hanno Gracias por ambos comentarios

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