76 votos

¿Es un automorfismo del campo de los números reales el mapa identidad?

¿Es un automorfismo del campo de los números reales $\mathbb{R}$ el mapa identidad? Si es así, ¿cómo podemos demostrarlo?

Observación Un automorfismo de $\mathbb{R}$ no necesariamente tiene que ser continuo.

8 votos

Pista: es bastante fácil ver que cualquier automorfismo preservador del orden es la identidad.

2 votos

Estaba seguro de que esto era un duplicado ya que recuerdo haberlo escrito aquí al menos dos veces. Pero la mejor coincidencia que pude encontrar de inmediato es esta. No estoy seguro de que podamos llamarlo un duplicado. Claro, las respuestas de esa pregunta también responden a esto, pero...

0 votos

También, Álgebra Básica I de Jacobson :-)

2voto

Creo que la forma correcta de usar la densidad de los racionales en este problema es la siguiente:

Sea $a$ un número real y supongamos que $\phi(a) \neq a$. Entonces, existe un número racional $q$ tal que $a\phi(a)$. Esto es una contradicción ya que $\phi$ es una biyección.

0 votos

Por supuesto, primero debes mostrar que $\phi$ preserva el orden.

1 votos

Sí. Esto se hace arriba.

0 votos

@GEdgar Es un hecho interesante que hay infinitos automorfismos de $\mathbb{C}$, aún cuando $[\mathbb{C}:\mathbb{R}]=2$. ¿Por qué este hecho no es una contradicción a este problema?

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