14.4: Lema algebraico
( \newcommand{\kernel}{\mathrm{null}\,}\)
Se utilizó el siguiente lema en la prueba de la Proposición 14.3.1.
Supongamos quef:R→R es una función tal que para cualquierax,y∈R tenemos
- f(1)=1,
- f(x+y)=f(x)+f(y),
- f(x⋅y)=f(x)⋅f(y).
Entoncesf está la función de identidad; es decir,f(x)=x para cualquierax∈R.
Tenga en cuenta que no asumimos quef sea continuo.
Una funciónf que satisface estas tres condiciones se denomina automorfismo de campo. Por lo tanto, el lema afirma que la función de identidad es el único automorfismo del campo de los números reales. Para el campo de los números complejos, la conjugaciónz↦ˉz (ver Sección 14.3) da un ejemplo de un automorfismo no trivial.
- Prueba
-
Por (b) tenemos
Por (a),
f(0)+1=1;
de donde
f(0)=0.
Aplicando (b) de nuevo, obtenemos que
0=f(0)=f(x)+f(−x).
Por lo tanto,
f(−x)=−f(x) for any x∈R.
Aplicando (b) de manera recurrente, obtenemos que
f(2)=f(1)+f(1)=1+1=2;f(3)=f(2)+f(1)=2+1=3; ...
Junto con el 14.4.2, esto último implica que
f(n)=n for any integer n.
Por (c)
Por lo tanto
f(mn)=mn
para cualquier número racionalmn.
Asumira≥0. Entonces la ecuaciónx⋅x=a tiene una solución realx=√a. Por lo tanto,[f(√a)]2=f(√a)⋅f(√a)=f(a). De ahíf(a)≥0. Es decir,
a≥0 ⟹ f(a)≥0.
Aplicando 14.3.2, también obtenemos
a≤0 ⟹ f(a)≤0.
Ahora asumaf(a)≠a para algunosa∈R. Luego hay un número racionalmn que se encuentra entrea yf(a); es decir, los números
tienen signos opuestos.
Por 14.4.3
y+mn=f(a)==f(x+mn)==f(x)+f(mn)==f(x)+mn;
es decir,f(x)=y. Por 14.4.4 y 14.4.5 los valoresx yy no pueden tener signos opuestos —una contradicción.