UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMÁTICAS

E.A.P. DE MATEMÁTICA

Completitud y clausura algebraica de campos P-ádicos

TESIS
Para optar el Título Profesional de Licenciado en Matemática

AUTOR
Jorge Luis Rojas Orbegoso

Lima - Perú

2016
Índice general

1 Preliminares 4
1.1 Espacios ultramétricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Valores absolutos en campos . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Compleción de un campo valuado . . . . . . . . . . . . . . . . . . . . . . 17
1.4 Espacios normados sobre campos valuados . . . . . . . . . . . . . . . . . 21
1.5 Extensiones algebraicas de campos ultramétricos . . . . . . . . . . . . . . 25
1.6 Espacios esféricamente completos . . . . . . . . . . . . . . . . . . . . . . 38

2 Los campos p -ádicos 41

2.1 El campo p -ádico Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.2 El campo Qp , la compleción de (Q, | · |p ) . . . . . . . . . . . . . . . . . . . 43
2.3 El campo Qp , la clausura algebraica de Qp . . . . . . . . . . . . . . . . . 47
2.4 El campo esféricamente completo y algebraicamente cerrado Ωp . . . . . 52
2.5 El campo Cp , la compleción de Qp . . . . . . . . . . . . . . . . . . . . . . 59

3 Conclusiones 61

Bibliografía 63

ii
 Introducción

Durante el siglo pasado, los números p-ádicos y el análisis p-ádico han desempeñado
un papel importante en la teoría moderna de números. Su importancia radica en como
permite expresar de manera natural las congruencias entre números enteros en términos
de distancias, de esta manera podemos usar métodos del análisis para estudiar problemas
de congruencias. Por ejemplo,

a∈Z: |a|p ≤ p−k ⇐⇒ pk divide a a.

Se puede decir que mientras más cerca está a de 0 (en la topología p-ádica), más alta es
la potencia de p que divide a a.

Hay varias formas de abordar el estudio de los números p-ádicos. Una es la forma
original como nacieron, como series de Laurent, que es la forma más antigua. Otra forma
es usando límites proyectivos. Otra forma más, que será la forma que estudiemos en este
trabajo, es usando la teoría de valores absolutos. Esta última forma es a mi parecer la
mejor, ya que permite ver a los números p-ádicos en analogía directa con los números
reales. Para graficar esto, usando la métrica inducida por el valor absoluto usual en Q
tenemos las construcciones:

compleción clausura algebraica

Q −−−−−−−−−−−→ R −−−−−−−−−−−→ C.

En este trabajo repetiremos este proceso, pero, usando el valor absoluto p-ádico.
Este trabajo se basa en [8], en apoyo con [6], [9] y [10].

Veamos un poco de historia. Los números p-ádicos Qp , fueron introducidos por Kurt
Hensel en 1987, donde los describe como series de potencias de Laurent, en analogía, como
el mismo dice apenas iniciado su trabajo, entre los resultados de la teoría de funciones
algebraicas en una variable y de los números algebraicos.

En 1910, Ernst Steinitz publicó su trabajo fundamental sobre teoría de campos,

citando a los números p-ádicos como su mayor motivación. En ese mismo año, gracias a
los trabajos de Maurice Fréchet, Frigyes Riesz y otros, las ideas topológicas se vuelven
mas claras, esto permite tener un mejor entendimiento de los números p-ádicos.

1
 En 1912, Kürschák define los valores absolutos, esta nueva definición permite inter-
pretar Qp en términos de espacios métricos y topológicos. Hensel, a su vez, realizó varios
trabajos y libros, en los que simplificó las teoría de divisibilidad en números algebraicos
usando los números p-ádicos. Sin embargo, Hensel no uso la definición de Kürschák so-
bre valuaciones, pero introdujo límites y probó la completitud de Qp sin mencionar las
valuaciones. En 1917, Ostrowski da el teorema de valores absolutos en Q.

En 1921, Helmut Hasse en su tesis doctoral propone y prueba el Principio Local-

Global para la representacion de un número racional por una forma cuadrática con coe-
ficientes en Q, en otras palabras: Sea a ∈ Q y f ∈ Q[X1 , . . . , Xn ] una forma cuadrática,
entonces la afirmación “existen x1 , . . . , xn tal que a = f (x1 , . . . , xn )” se tiene en Q si y
solamente si se tiene en R y Qp para cada p ∈ Z primo.

Durante los años 1920 a 1935, se desarrolla la teoría completa de valores absolutos,
gracias a los aporte de Deuring, Schmidt, Krull, etc.

Actualmente, los números p-ádicos son utilizados en muchas áreas de la matemática,

como son teoría de números, geometría algebraica, topología algebraica, análisis funcional,
ecuaciones diferenciales y sistemas dinámicos. También son utilizados en física.

Este trabajo está estructurado en tres capítulos. El capítulo 1 se centra en la

definición de valor absoluto y cuerpo valuado, demostración de sus propiedades y conse-
cuencias. Nos apoyaremos en conceptos topológicos y algebraicos.

En el capítulo 2, nos centraremos en el objetivo central, construir campos de ex-

tensión de Q usando los valores absolutos p-ádicos y para cada campo construído respon-
deremos a las siguientes preguntas: ¿es algebraicamente cerrado?, ¿es completo?, ¿es
esféricamente completo?, ¿es localmente compacto?, ¿qué cardinal tiene?, ¿es segundo
numerable?, ¿cuál es un subconjunto numerable denso?.

En el capítulo 3, resumiremos los resultados principales, además de realizar obser-

vaciones a algunos resultados probados a lo largo del trabajo.

La completitud juega un rol muy importante en el estudio de espacio normados

reales y complejos, esto es, el análisis real arquimediano. Esféricamente completo es
una condición mas fuerte que completo. Campos esféricamente completos son impor-

2
tantes para el análisis funcional no-arquimediano. Por ejemplo, la prueba del teorema de
Hahn-Banach requiere la propiedad esféricamente completos. Los campos R y C además
de ser completos, son también esféricamente completos. La clausura algebraica es una
herramienta muy útil en el estudio de campos ya que, al estudiar un campo y sus exten-
siones finitas, no da un ambiente en el cual poder trabajar libremente con las soluciones
de polinomios. Segundo numerable o separabilidad (equivalente en espacios métricos) es
una propiedad requerida, por ejemplo, para el estudio de variedades diferenciales o en
la existencia de base de Schauder. Los espacios localmente compactos son abiertos de
un espacio compacto (compactificación de Alexandroff o por un punto) y los espacios
compactos están presentes en casi toda la matemática. Finalmente, la cardinalidad es
una pregunta propia, al querer saber que tan grandes son estos conjuntos.
A lo largo del trabajo supondremos que el lector cuenta con una formación sólida
en los tema necesarios, como son: teoría de conjuntos [2], álgebra lineal [5], análisis real,
álgebra abstracta [4, 7], espacios métricos [1], espacios topológicos [1].

3
Capítulo 1

Preliminares
El objetivo principal de este capítulo será, dado un campo valuado, la obtención de
valores absolutos en su compleción y en su clausura algebraica. En la última sección
estudiaremos brevemente la propiedad esféricamente completo, que será de utilidad al
final de este trabajo. Los resultados y demostraciones presentados son de [6], [8] y [9].

1.1 Espacios ultramétricos

En esta sección definiremos los espacios ultramétricos y probaremos propiedades

básicas sobre la topología en estos espacios suficientes para este trabajo. Denotaremos
las bolas abiertas, bolas cerradas y esferas de centro x y radio r como B(x, r), B[x, r] y
S(x, r). También donotaremos las secuencias como (xn )n suponiendo que n varía en Z+ ,
así como su límite será denotado simplemente como limn xn .

Definición 1.1.1. Sea (X, d) un espacio métrico. La métrica d es llamada ultramétrica

si cumple

d(x, y) ≤ max{d(x, z), d(z, y)} ∀x, y, z ∈ X,

llamada desigualdad triangular fuerte. En este caso, el espacio (X, d) es llamado espacio
ultramétrico.

Observación 1.1.1. La desigualdad triangular fuerte implica la desigualdad triangular,

ya que si A, B ≥ 0 entonces max{A, B} ≤ A + B.

Ejemplo 1.1.1. Dado un conjunto X. La función

d : X × X −→ R



 0 , x=y
(x, y) 7−→ d(x, y) = 

 1 , x 6= y

es una ultramétrica en X, y por ende una métrica en X. Esta métrica es llamada la

métrica cero-uno en X.

4
Proposición 1.1.1 (Principio del triángulo isósceles). Sean x, y, z ∈ X.

a) Si d(x, z) > d(z, y), entonces d(x, y) = d(x, z).

b) Si d(x, y) 6= d(y, z) entonces d(x, z) = max{d(x, y), d(y, z)}.

Demostración. Sean x, y, z ∈ X.

a) Por hipótesis
d(x, y) ≤ max{d(x, z), d(z, y)} = d(x, z)

No podemos tener que max{d(x, y), d(z, y)} = d(z, y) ya que en caso contrario

d(x, z) ≤ max{d(x, y), d(y, z)} = d(y, z),

contradiciendo así la hipótesis. Entonces debemos tener

d(x, z) ≤ max{d(x, y), d(y, z)} = d(x, y).

Hemos probado así la igualdad pedida.

b) Como d(x, y) 6= d(y, z), se tiene d(x, y) > d(y, z) o d(x, y) < d(y, z). Por el item
anterior, d(x, z) = d(x, y) o d(x, z) = d(y, z). En cualquier caso, d(x, z) es
exactamente el máximo de d(x, y) y d(y, z).

Proposición 1.1.2. Sea (X, d) un espacio ultramétrico. Supongamos que todos los
radios considerados sean positivos. Se cumple:
[
a) S(x, r) = B(y, r);
y∈S(x,r)

b) todas las bolas abiertas, bolas cerradas y esferas son conjuntos abiertos y cerrados a
la vez;

c) cada punto de la bola es el centro de la bola con el mismo radio;

d) dadas dos bolas B1 , B2 entonces B1 ⊆ B2 , B2 ⊆ B1 o B1 y B2 son conjuntos

disjuntos;

e) X es totalmente disconexo.

5
Notemos que el item a) no es cierto para r = 0, ya que en el lado derecho de la igualdad
obtenemos un conjunto unitario y en el lado izquierdo obtenemos el conjunto vacío.

Demostración.
[
a) La inclusión S(x, r) ⊆ B(y, r) es inmediato. Recíprocamente, dado z ∈ B(y, r)
y∈S(x,r)
para algún y ∈ S(x, r). Tenemos, d(y, z) < r y d(x, y) = r, por la proposición 1.1.1,

d(x, z) = max{d(x, y), d(y, z)} = r.

Esto significa, z ∈ S(x, r). Se sigue la igualdad pedida.

b) Se sabe que las bolas abiertas son conjuntos abiertos y las bolas cerradas y esferas
son conjuntos cerrados. Vamos a probar lo que falta.

Esferas: El item anterior muestra que toda esfera es unión de conjuntos abiertos,
entonces las esferas son también conjuntos abiertos.

Bolas cerradas: La expresión, B[x, r] = B(x, r) ∪ S(x, r), muestra a B[x, r] como
unión de conjuntos abiertos. Entonces toda bola cerrada es un conjunto abierto.

Bolas abiertas: La expresión, B(x, r) = B[x, r]\S(x, r), muestra a B(x, r) como
diferencia de un conjunto cerrado y un conjunto abierto. Entonces toda bola abierta
es un conjunto cerrado.

c) Sea y ∈ B(x, r) arbitrario. Para probar que y es centro de B(x, r) con radio r,
debemos probar que B(x, r) = B(y, r). En efecto, ya que d(x, y) < r tenemos

z ∈ B(x, r) =⇒ d(z, x) < r =⇒ d(z, y) ≤ max{d(z, x), d(x, y)} < r =⇒ z ∈ B(y, r),

de donde B(x, r) ⊆ B(y, r). De igual manera B(y, r) ⊆ B(x, r). Esto prueba la
igualdad pedida.

Similarmente, B[x, r] = B[y, r] ∀y ∈ B[x, r].

d) Supongamos que B1 y B2 no son disjuntos. Luego, existe z ∈ B1 ∩ B2 . Por el item

anterior, tendríamos que z es centro de B1 y B2 simultáneamente. Por la
comparabilidad en R, analizando los radios tendríamos lo pedido.

6
e) Como todo subespacio de un espacio ultramétrico es también ultramétrico, basta
probar que un espacio ultramétrico con más de dos elementos no es conexo. Sean
x, y ∈ X diferentes, por los items anteriores tenemos la unión disjunta de conjuntos
abiertos no vacíos
" # " #!
d(x, y) d(x, y)
X = B x, ∪ X\B x, .
2 2

Esto prueba que X no es conexo.

Proposición 1.1.3. Sea (xn )n una secuencia en un espacio ultramétrico (X, d).
Entonces, (xn )n una secuencia de Cauchy, si y solamente si, limn d(xn , xn+1 ) = 0.

Demostración.
⇒) De la definición de secuencia de Cauchy. Dado ǫ > 0, existe N ∈ Z+ tal que
d(xn , xm ) < ǫ ∀n, m ≥ N . Haciendo m = n + 1, se tiene limn d(xn , xn+1 ) = 0.
⇐) Dado ǫ > 0, existe N ∈ Z+ tal que d(xn , xn+1 ) < ǫ ∀n ≥ N . Sea m > n en Z+ ,
de la desigualdad triangular fuerte y d(xn , xn+1 ) < ǫ ∀n ≥ N , tenemos

d(xn , xm ) ≤ max{d(xn , xn+1 ), d(xn+1 , xn+2 ), . . . , d(xm−1 , xm )} < ǫ ∀m > n ≥ N.

Se sigue que (xn )n es una secuencia de Cauchy.

7
1.2 Valores absolutos en campos

En esta sección definiremos valor absoluto en un campo, probaremos que induce

una métrica y probaremos propiedades relacionadas a la topología inducida por esta
métrica. Dado un K campo, a lo largo de este trabajo K∗ denotará al conjunto K \ {0} y
[0, ∞) el conjunto de números reales no negativos.

Definición 1.2.1. Sea K un campo, diremos que la función | · | : K −→ [0, +∞) es un

valor absoluto en K si:

i) |x| = 0 ⇐⇒ x = 0,

ii) |xy| = |x||y| ∀x, y ∈ K,

iii) |x + y| ≤ |x| + |y| ∀x, y ∈ K.

Diremos que el valor absoluto | · | es ultramétrico si además cumple

iv) |x + y| ≤ max{|x|, |y|},

El par (K, | · |) será dicho campo valuado. El campo valuado es dicho campo
ultramétrico si su valor absoluto es ultramétrico.

Observación 1.2.1. Ya que para A, B ≥ 0 se tiene max{A, B} ≤ A + B, entonces iv

implica iii.

Ejemplo 1.2.1. Todo campo K posee un valor absoluto (ultramétrico), definido como

| · | : K −→ R



 0 , si x = 0
x 7−→ |x| =


 1 , si x 6= 0

llamado valor absoluto trivial. La métrica inducida es la métrica cero-uno en K.

Ejemplo 1.2.2. Dado p ∈ Z+ primo, definimos

| · |p : Q −→ R



 0 , x=0
x 7−→ |x|p = a


 p−n , x = pn , n ∈ Z+ ∪ {0}, a, b ∈ Z no divisibles por p
b
8
es bien definido y es un valor absoluto ultramétrico en Q, llamado valor absoluto p-ádico.

El valor absoluto p-ádico será el punto de inicio de nuestro trabajo en el capítulo 2.

Ejemplo 1.2.3. Sea K = Q, R o C. El valor absoluto usual en K es un valor absoluto.

Proposición 1.2.1. Sea (K, | · |) un campo valuado, la función

d : K × K −→ [0, +∞)
(x, y) 7−→ |x − y|

es una métrica, llamada métrica inducida por | · |. Si | · | es ultramétrico, entonces d es

una ultramétrica.

Demostración. Sean x, y ∈ K.

i) d(x, y) = 0 ⇐⇒ |x − y| = 0 ⇐⇒ x − y = 0 ⇐⇒ x = y.

ii) d(x, y) = |x − y| = | − (x − y)| = |y − x| = d(y, x).

iii) d(x, y) = |x − y| = |x − z + z − y| ≤ |x − y| + |z − y| = d(x, y) + d(z, y). Hasta aquí,

hemos probado que d es una métrica

iv) Ahora, supongamos que | · | es ultramétrico, entonces

d(x, y) = |x − y| = |x − z + z − y| ≤ max{|x − y|, |z − y|} = max{d(x, z), d(z, y)}.

Esto prueba que d es ultramétrica.

De esta manera vemos un campo valuado como un espacio métrico de forma

natural, así tenemos sobre campos valuados las nociones de topología, convergencia de
secuencias, secuencia de Cauchy, compacidad, conexidad, completitud, funciones
continuas, etc. Diremos que un campo valuado tiene una propiedad métrica si tiene tal
propiedad visto como espacio métrico. Por ejemplo, diremos que un campo es completo
si es completo como espacio métrico.

Proposición 1.2.2. En un campo valuado (K, | · |) se cumple: Dados x, y ∈ K, z ∈ K∗ ,

(xn )n , (yn )n secuencias en K, (zn )n secuencia en K∗ ,

9
a) |1| = 1, | − x| = |x|, |z −1 | = |z|−1 ;

b) ||x| − |y|| ≤ |x − y|;

c) si K un campo ultramétrico y |x| =

6 |y|, entonces |x + y| = max{|x|, |y|}.

d) si limn xn = x, limn yn = y, limn zn = z, entonces

lim(xn + yn ) = x + y, lim(xn yn ) = xy, lim zn−1 = z −1 ,

n n

e) si (xn )n , (yn )n , (zn )n son secuencias de Cauchy, entonces (xn + yn )n , (xn yn )n , (1/zn )n
son, también, secuencias de Cauchy.

Demostración. La prueba es de igual manera que en el Análisis Real.

Proposición 1.2.3. Sea K un campo. Sea | · | : K → [0, +∞) una función tal que
cumple: Para cada x, y ∈ K

i) |x| = 0 ⇐⇒ x = 0,

ii) |xy| = |x||y|.

Entonces las siguientes proposiciones son equivalentes:

a) | · | es un valor absoluto ultramétrico;

b) B[0, 1] es un subanillo de K;

c) 1 + x ∈ B[0, 1] si x ∈ B[0, 1].

Demostración.
a)⇒b) 0 ∈ B[0, 1] ya que |0| = 0 ≤ 1. Sean x, y ∈ B[0, 1], entonces

|x + y| ≤ max{|x|, |y|} ≤ max{1, 1} = 1,

|xy| = |x||y| ≤ 1 · 1 = 1.

Esto prueba que B[0, 1] es un anillo.

b)⇒c) Si x ∈ B[0, 1], como 1 ∈ B[0, 1] y B[0, 1] es un anillo, entonces
1 + x ∈ B[0, 1].

10
 c)⇒a) Si x = y = 0 entonces la desigualdad triangular fuerte es inmediata.
Supongamos que y 6= 0, el caso x 6= 0. será similar. Vamos a separar en dos casos:
Si |x| ≤ |y|: multiplicando por |y −1 | obtenemos |xy −1 | ≤ 1. Por hipótesis,
|1 + xy −1 | ≤ 1. Multiplicando por |y|, se tiene |y + x| ≤ |y| = max{|x|, |y|}.
Si |x| > |y|: multiplicamos por |x−1 | y procedemos como el caso anterior.

Proposición 1.2.4. Sea (K, | · |) un campo valuado. Se cumple que son equivalentes:

a) | · | es valor absoluto ultramétrico;

b) |2| ≤ 1;

c) |n| ≤ 1 ∀n ∈ Z, esto dice que la imagen de Z en K esta contenida en B[0, 1];

d) existe C > 0 tal que |n| ≤ C ∀n ∈ Z, esto dice que la imagen de Z en K es acotada.

Demostración.
a)⇒b) |2| = |1 + 1| ≤ max{|1|, |1|} = 1.
b)⇒c) Por inducción sobre n. Para n = 0, 1, 2 es válido. Supongamos válido para
n ≥ 2, entonces
|n + 1| ≤ max{|n|, |1|} ≤ 1.

Esto prueba lo pedido para n ∈ Z+ ∪ {0}. Para el caso n ∈ Z− , basta notar que
|n| = | − n|.
c)⇒d) Hacemos C = 1.
d)⇒a) Sea x ∈ B[0, 1]. Para cada n ∈ Z tenemos
 !   !
Xn
n k  Xn   Xn
n n   n 
|1 + x| = |(1 + x) | =  x ≤   |x|k ≤ C = C(n + 1).
 k   k 
k=0 k=0 k=0
q
De donde |1 + x| ≤ n
C(n + 1). Haciendo n → +∞ obtenemos |1 + x| ≤ 1, esto es,
1 + x ∈ B[0, 1]. Por la proposición 1.2.3, | · | es ultramétrico.

Corolario 1.2.1. Todo campo valuado de característica positiva es ultramétrico.

Demostración. Cuando la característica es positiva, la imagen de Z en el campo es

un conjunto finito, y por tanto acotada. Luego, aplicamos la proposición 1.2.4

11
Corolario 1.2.2. El valor absoluto usual en Q, R o C no es ultramétrico.

Demostración. Si | · | es el valor absoluto usual, entonces |2| = 2 > 1. Luego,

aplicamos la proposición 1.2.4.

Definición 1.2.2. Dados | · |1 y | · |2 valores absolutos en un campo K. Diremos que

| · |1 y | · |2 son equivalentes si existe α > 0 tal que |x|1 = |x|α2 ∀x ∈ K.

Observación 1.2.2. Sean K un campo y | · |1 y | · |2 valores absolutos equivalentes en K

con α > 0 tal que |x|1 = |x|α2 ∀x ∈ K. Entonces:

a) | · |2 y | · |1 son equivalentes, ya que

1/α
|x|1 = |x|α2 ∀x ∈ K ⇐⇒ |x|1 = |x|2 ∀x ∈ K.

b) Si | · |1 es arbitrario y | · |2 es trivial. Luego,




 |x|α2 = 0α = 0 , x = 0
|x|1 =


 |x|α2 = 1α = 1 , x 6= 0.

Se sigue que | · |2 es trivial. Por tanto, el valor absoluto trivial y un valor absoluto no
trivial no pueden ser equivalentes.

Proposición 1.2.5. Sean | · |1 y | · |2 valores absolutos no triviales en un campo K. Las

siguiente condiciones son equivalentes:

a) | · |1 y | · |2 son equivalentes,

b) | · |1 y | · |2 definen la misma topología,

c) dado x ∈ K se cumple que |x|1 < 1 si y solo si |x|2 < 1,

d) dado x ∈ K se cumple que |x|1 < 1 entonces |x|2 < 1.

Demostración. Denotemos B i (x, r) las bolas abiertas en (K, | · |i ).

a)⇒b) Sea α > 0 tal que |x|1 = |x|α2 ∀x ∈ K. Las bolas abiertas en (K, | · |1 ) y
(K, | · |2 ) coinciden, aunque los radio difieren. Más específicamente cumplen la igualdad

B 1 (x, rα ) = B 2 (x, r) x ∈ K, r > 0.

12
Como el conjunto de bolas abiertas es una base para la topología, se sigue que las
topologías son iguales.

b)⇒c) Sea x ∈ B 1 (0, 1) no nulo. Entonces limn |xn |1 = limn |x|n1 = 0. Esto implica
que limn xn = 0 en la topología inducida por | · |1 . Por la hipotesis, como la topología
inducida por | · |1 y | · |2 son iguales, limn xn = 0 en la topología inducida por | · |2 .
Luego, limn |xn |2 = limn |x|n2 = 0. Se sigue que necesariamente |x|2 < 1. Esto muestra
que B 1 (0, 1) ⊆ B 2 (0, 1). Igualmente se prueba B 2 (0, 1) ⊆ B 1 (0, 1).

c)⇒d) Es inmediato.

d)⇒a) Fijemos arbitrariamente b ∈ K∗ tal que |b|1 < 1. Por hipótesis, |b|2 < 1.
Definamos c = ln |b|1 / ln |b|2 > 0. Se sigue que |b|1 = |b|c2 . Sea a ∈ K∗ arbitrario,
escojamos r ∈ R tal que |a|1 = |b|r1 . Tomemos αn , βn , γn , δn ∈ K∗ tales que

αn γn αn γn
<r< y lim = lim = r.
βn δn n β
n
n δ
n

Como |b|1 < 1 y |b|2 < 1 entonces,

α /βn γ /δn
|a|1 = |b|r1 < |b|1 n , |a|1 = |b|r1 > |b|1n .

Luego,

|aβn b−αn |1 < 1, |bγn a−γn |1 < 1.

Por la hipótesis,

|aβn b−αn |2 < 1, |bγn a−γn |2 < 1.

Entonces
α /βn γ /δn
|a|2 < |b|2 n , |a|2 > |b|2n .

Haciendo n → +∞ se tiene

|a|2 < |b|r2 , |a|2 > |b|r2 .

Obteniendo así la igualdad |a|2 = |b|r2 . Finalmente,

|a|1 = |b|r1 = (|b|c2 )r = (|b|r2 )c = |a|c2

para todo a ∈ K∗ arbitrario. Para a = 0 se sigue rápidamente.

13
Corolario 1.2.3. Sean | · |1 y | · |2 valores absolutos equivalentes en un campo K.
Entonces | · |1 es ultramétrico si y solo | · |2 es ultramétrico.

Demostración. Basta con probar la condición necesaria. Tenemos dos casos:

Si | · |1 es trivial. Por la observación 1.2.2, | · |2 es trivial.

Si | · |1 es no trivial. Por la observación 1.2.2, | · |2 es no trivial. Por la proposición

1.2.4, |1/2|1 ≥ 1. Por la proposición 1.2.5, las bolas unitarias abiertas en (K, | · |1 ) y
(K, | · |2 ) coinciden, entonces |1/2|2 ≥ 1. Nuevamente, por 1.2.4, | · |2 es también
ultramétrico .

Definición 1.2.3. Sea (K, | · |) un campo ultramétrico. Según la proposición 1.2.3, la

bola unitaria cerrada es un subanillo de K, que denotaremos OK. De la misma forma se
puede probar que para todo R ≤ 1, las bolas B(0, R), B[0, R] son ideales de OK. La bola
unitaria abierta es denotado por mK.

Proposición 1.2.6. Sea (K, | · |) un campo ultramétrico. Se cumple que el par (OK, mK)
es un dominio de valuación de K.

/ OK, es decir, |x| ≥ 1; entonces, |x−1 | ≤ 1, esto es, x−1 ∈ OK.

Demostración. Si x ∈
Esto significa que dado x ∈ K∗ , entonces x ∈ OK o x−1 ∈ OK. Esto prueba que OK es un
dominio de valuación de K.

Notemos que los no invertibles son en OK esta exactamente en mK, ya que dado
x ∈ K∗

|x| < 1 ⇐⇒ |x−1 | > 1, |x| = 1 ⇐⇒ |x−1 | = 1.

Esto prueba que mK es (el único) ideal maximal de OK.

Lema 1.2.1. Sean (K, | · |) un campo valuado y T : K → K definida como T (x) = ax + b

con a, b ∈ K fijados. Entonces

a) T es uniformente continua,

b) T es invertible ⇐⇒ a 6= 0,

c) En el caso del item b, T es homeomorfismo uniforme.

14
Demostración.

a) Sean x, y ∈ K tal que

|T (x) − T (y)| = |ax + b − (ay + b)| = |a(x − y)| = |a||x − y|,

esto prueba que T es Lipschitziana y por tanto uniformemente continua.

b) Si a = 0, entonces T = 0. Si a 6= 0, entonces T −1 (x) = a−1 x − a−1 b.

c) Si a 6= 0, T y T −1 son uniformemente continuos por a).

Proposición 1.2.7. Sea (K, | · |) un campo valuado. Son equivalentes:

a) | · | no es el valor absoluto trivial,

b) existe un punto de acumulación,

c) todo punto de K es punto de acumulación,

d) (K, | · |) no es discreto.

Demostración.
a)⇒b) Existe x ∈ mK no nulo. Entonces, |xn | = |x|n → 0 cuando n → +∞. De
donde 0 es punto de acumulación.
b)⇒c) Existe x ∈ K un punto de acumulación. Sean y ∈ K arbitrario y T : K → K
la traslación que lleva x en y. Como T es homeomorfismo, y es punto de acumulación
∀y ∈ K.
c)⇒b) Es inmediato.
b)⇒a) Como 0 es punto de acumulación de K, para ǫ = 1 existe y ∈ B(0, 1) ∩ K∗ .
Es decir, existe y ∈ K∗ tal que |y| < 1. Esto prueba que | · | no es el valor absoluto trivial.
Finalmente, b) y d) son equivalentes por definición.

Proposición 1.2.8. Supongamos (K, | · |) es no discreto. Entonces son equivalentes:

a) K es localmente compacto,

b) existe una bola de radio positivo compacta,

15
c) todo cerrado y acotado es compacto.

Demostración.
a)⇒b) Existen U compacto y r > 0 tal que B(0, r) ⊆ U . Por la proposición 1.1.2,
B(0, r) es cerrado del compacto U , por tanto B(0, r) es compacto.
b)⇒c) Existe r > 0 y x ∈ K tal que B(x, r) es compacto. Usando el
homeomorfismo traslación que lleva x a 0, podemos considerar x = 0. Sea F un cerrado
y acotado de K. Escogiendo R > sup {|y| : y ∈ F } se ve que F ⊆ B(0, R) (aquí se usa
que F es acotado). Supongamos que existe T : K → K homeomorfismo tal que
T (F ) ⊆ B(0, r), en este caso T (F ) es cerrado del compacto B(0, r), luego F es
compacto (aquí hemos usado que F es cerrado).
Probemos la existencia de T . Como K es no discreto, por la proposición 1.2.7, x es
punto de acumulación. Se sigue que existe z ∈ B(0, r/R). Definimos T : K −→ K como
T (w) = zw. Vemos que
 
r
w ∈ B(0, R) ⇒ |T (w)| = |zw| = |z||w| < R = r,
R

luego T (B(0, R)) ⊆ B(0, r). Se sigue

T (F ) ⊆ T (B(0, R)) ⊆ B(0, r).

c)⇒a) Para cada punto podemos escoger una bola cerrada de radio positivo, el
cual es compacto por hipótesis.

Corolario 1.2.4. Supongamos que (K, | · |) es no discreto. Entonces, K es localmente

compacto si y solo si OK es compacto.

Demostración. Si K es localmente compacto entonces todo cerrado y acota en

compacto, en especial OK, la bola unitaria cerrada de K. Recíprocamente, si OK es
compacto, entonces K tiene una bola de radio positivo compacta, de donde K tiene que
se localmente compacto.

Observación 1.2.3. El corolario 1.2.4 es cierto si reemplazamos OK, por cualquier

cerrado y acotado, por ejemplo mK.

16
1.3 Compleción de un campo valuado

En esta sección, dado un campo valuado (K, | · |), no centraremos en encontrar un

b k · k), llamado la compleción, con la propiedad: k · k extiende a | · | y
campo valuado (K,
b es el menor campo de extensión de K, que es completo.
K
A lo largo de esta sección asumiremos que (K, | · |) es un campo valuado no
necesariamente ultramétrico ni completo.

b k · k) es compleción de (K, | · |) si:

Definición 1.3.1. Diremos que un campo valuado (K,

b es extensión de K y k · k extiende a | · |;
i) K

b k · k);
ii) (K, | · |) es denso en (K,

b k · k) es completo.
iii) (K,

Pasaremos a construir el campo valuado condidato a ser la compleción de (K, | · |).

Construcción 1.3.1. Definamos

C(K) = {Secuencias de Cauchy en K},

junto con las operaciones

+ : C(K) × C(K) −→ C(K)

((xn )n , (yn )n ) 7−→ (xn + yn )n ,
· : C(K) × C(K) −→ C(K)
((xn )n , (yn )n ) 7−→ (xn yn )n .

Estas operaciones están bien definidas y dotan a C(K) de una estructura de anillo
conmutativo con 0 = (0)n , 1 = (1)n , −(xn )n = (−xn )n y (yn )−1 −1
n = (yn )n tal que yn 6= 0

∀n ∈ Z+ .
El conjunto

m = {Secuencias de Cauchy que convergen a 0}

es ideal de C(K). Este ideal es propio, la secuencia constante (1)n converge a 1 6= 0.

Todo lo anteriormente afirmado es probado de manera similar que en el Análisis
Real. Lo que no es tan inmediato es que m es ideal maximal de C(K).

17
Lema 1.3.1. El ideal m es ideal maximal de C(K), o equivalente, C(K)/ m es un campo.

Demostración. Sea (xn )n ∈ C(K) \ m arbitrario. Luego la secuencia (xn )n no

converge a cero. Así podemos tomar una subsecuencia (también de Cauchy) (xnk )k de
términos no nulos. Esta subsecuencia cumple la propiedad limk (xk − xnk ) = 0, esto es,
(xk )k − (xnk )k ∈ m. Entonces, (xnk )−1
k ((xk )k − (1)k ) ∈ m. Se sigue que

(1)k = (xnk )−1

k (xk )k + (yk )k para algún (yk )k ∈ m. Esto implica que,

C(K) = C(K)(xn )n + m para cualquier (xn )n ∈ C(K) \ m. Por tanto, m es ideal maximal
de C(K).

b = C(K)/ m. Escribiremos, también, [(x ) ] en vez de (x ) + m.

Denotaremos K n n n n

Notemos que si (xn )n es una secuencia de Cauchy en K, entonces (|xn |)n es una
secuencia de Cauchy en [0, +∞). Por la completitud de R, existe limn |xn | en [0, +∞).
En virtud de esto, definiremos la función:

k·k : b
K −→ [0, +∞)
[(xn )n ] 7−→ limn |xn |

b → [0, +∞) está bien definida y es un valor absoluto.

Lema 1.3.2. La función k · k : K
Además, si | · | es ultramétrico entonces k · k es ultramétrico.

b
Demostración. Sean x = [(xn )n ], y = [(yn )n ], z = [(zn )n ] ∈ K.

a) Es bien definida:

Sea x = y, esto es, (xn )n − (yn )n ∈ m. Se sigue que limn (xn − yn ) = 0. Dado ǫ > 0
existe N ∈ Z+ tal que |xn − yn | < ǫ para todo n > N . Luego

||xn | − |yn || ≤ |xn − yn | < ǫ ∀n > N.

Esto implica que limn |xn | = limn |yn |. Esto significa que k · k no depende de la
secuencia representante.

b) kxk = 0 ⇐⇒ x = 0:

kxk = lim
n
|xn | = 0 ⇐⇒ lim
n
xn = 0 ⇐⇒ (xn )n ∈ m ⇐⇒ x = [(xn )n ] = 0.

18
c) kxyk = kxkkyk:
  
kxyk = k[(xn yn )n ]k = lim
n
|xn yn | = lim
n
|xn | lim
n
|yn | = kxkkyk.

d) kx + yk ≤ kxk + kyk:

kx + yk = k[(xn + yn )n ]k = lim |xn + yn | ≤ lim |xn | + lim |yn | = kxk + kyk.

n n n

b
Hasta aquí, hemos probado que k · k es un valor absoluto en K.

e) Si | · | es ultramétrico, entonces k · k es ultramétrico:

 
kx+yk = lim
n
|xn +yn | ≤ lim
n
max {|xn |, |yn |} ≤ max lim
n
|xn |, lim
n
|yn | = max{kxk, kyk}.

Termina así la prueba.

Ahora, definiremos la función

T : K −→ b
K
x 7−→ [(x)n ]

Proposición 1.3.1. T es un homomorfismo de campos que preserva el valor absoluto.

Demostración. Sean x, y ∈ K.

T (x + y) = [(x + y)n ] = [(x)n + (y)n ] = [(x)n ] + [(y)n ] = T (x) + T (y),

T (xy) = [(xy)n ] = [(x)n (y)n ] = [(x)n ][(y)n ] = T (x)T (y),

kT (x)k = k[(x)n ]k = lim |x| = |x|.

n

Esto prueba lo pedido.

b y k · k como extensión de
Mediante T podemos identificar K como subcampo de K
b k · k) extendiendo al
| · |. De esta manera hemos construido un nuevo campo valuado (K,
campo valuado (K, | · |).
b k · k) es la compleción de (K, | · |).
En lo que sigue, vamos a probar que (K,

b k · k).
Proposición 1.3.2. (K, | · |) es denso en (K,

19
 b y ǫ > 0. Como (x ) es una secuencia de Cauchy,
Demostración. Sean x = [(xn )n ] ∈ K n

existe N ∈ Z+ tal que |xn − xm | < ǫ/2 ∀n ≥ N . Haciendo m = N tenemos

|xn − xN | < ǫ/2 ∀n ≥ N . Así tenemos,
ǫ
kx − xN k = k[(xn )n ] − xN k = lim |xn − xN | ≤ < ǫ.
n 2
con xN ∈ K. Terminó la prueba.

b k · k) es completo.
Proposición 1.3.3. El campo valuado (K,

b Por la proposición 1.3.2,

Demostración. Sea (xn )n una secuencia de Cauchy en K.
para cada n ∈ Z+ existe ξn ∈ K tal que

kxn − ξn k < 1/n. (1.1)

Haciendo n → +∞ tenemos limn (xn − ξn ) = 0. Así, para probar que (xn )n converge,
basta con probar que (ξn )n converge.
Afirmamos que (ξn )n es una secuencia de Cauchy. En efecto, dado ǫ > 0, como
(xn )n es secuencia de Cauchy y de (1.1), existe N ∈ Z+ tal que
1 ǫ ǫ
kxn − ξn k < < , kxn − xm k < ∀n, m ≥ N.
n 3 3
Usando esto tenemos,

|ξn − ξm | = kξn − ξm k

= kξn − xn + xn − xm + xm − ξm k

≤ kxn − ξn k + kxn − xm k + kxm − ξm k

ǫ ǫ ǫ
< + + , ∀n, m ≥ N
3 3 3
= ǫ, ∀n, m ≥ N

Esto prueba que (ξn )n es una secuencia de Cauchy en K.

b Afirmamos que lim ξ = ξ. En efecto,
Consideremos el elemento ξ = [(ξn )n ] ∈ K. n n

dado ǫ > 0, como (ξn )n es secuencia de Cauchy, existe M ∈ Z+ tal que |ξn − ξm | < ǫ/2
∀n, m ≥ M . Luego,
ǫ
kξn − ξk = lim |ξn − ξm | ≤ < ǫ ∀n ≥ N.
m 2
Esto finaliza la prueba.

20
1.4 Espacios normados sobre campos valuados

En esta sección estudiaremos espacios normados de dimensión finita sobre campos

valuados, cuya definición es análogo al caso real o complejo; con miras a estudiar valores
absolutos en extensiones algebraicas de un campo ultramétrico no discreto completo.

A lo largo de esta sección asumiremos que (K, | · |) es un campo completo y V un

K-espacio vectorial de dimensión finita n ≥ 1.

Definición 1.4.1. Una función k · k : V −→ [0, +∞) es llamada norma en V si

i) kxk = 0 ⇐⇒ x = 0;

ii) kaxk = |a|kxk ∀a ∈ K ∀x ∈ V ;

iii) kx + yk ≤ kxk + kyk ∀x, y ∈ V .

Diremos que (V, k · k) es un (K, | · |)-espacio normado.

Proposición 1.4.1. La función

d : V ×V −→ [0, +∞)
(v, w) 7−→ kv − wk

es una métrica en V .

Demostración. Igual como en la demostración de la proposición 1.2.1.

Ejemplo 1.4.1. Fijemos β = {v1 , . . . , vn } base de V . La función k · kβ : V −→ [0, +∞)

definida como

ka1 v1 + . . . + an vn )kβ = max {|a1 |, . . . , |an |} ,

es una norma en V . En el caso que V = Kn y β es la base canónica, denotaremos k · kβ

como k · k∞ . En el caso n = 1, V = K y k · k∞ = | · |.

Proposición 1.4.2. Sea W un K-espacio vectorial de cualquier dimensión con una

norma k · kW y consideremos la norma k · kβ en V con β una base de V . Entonces toda
transformación lineal T : V −→ W es uniformemente continua.

21
Demostración. Sea x ∈ V . Escribamos β = {v1 , . . . , vn }, x = a1 v1 + . . . + an vn con
a1 , . . . , an ∈ K. Luego

kT (x)kW = ka1 T (v1 ) + . . . + an T (vn )kW

≤ max{ka1 T (v1 )kW , . . . , kan T (vn )kW }

≤ max{|a1 |kT (v1 )kW , . . . , |an |kT (vn )kW }

≤ max{kT (v1 )kW , . . . , kT (vn )kW } max{|a1 |, . . . , |an |}

= max{kT (v1 )kW , . . . , kT (vn )kW }kxkβ .

Haciendo C = max{kT (v1 )kW , . . . , kT (vn )kW }, vemos que C no depende de x, tenemos
que kT (x)kW ≤ Ckxkβ ∀x ∈ V . Ahora, dados x, y ∈ V , en la desigualdad anterior
tenemos
kT (x) − T (y)kW = kT (x − y)kW ≤ Ckx − ykβ ∀x, y ∈ V.

Lo que prueba que T es uniformemente continua.

Corolario 1.4.1. Todo subespacio de V es cerrado para una norma k · kβ en V con β

base de V

Demostración. Sean W subespacio propio de V . Sea T : V −→ K tal que ker T = W .

Por la proposición 1.4.2, T es continua, entonces W = ker T es cerrado.

Definición 1.4.2. Las normas k · k1 y k · k2 en V se dicen equivalentes, si existen

C1 , C2 > 0 tal que C1 kxk1 ≤ kxk2 ≤ C2 kxk1 x ∈ V .

Observación 1.4.1. Notemos en la definición 1.4.2, no importa el orden de k · k1 y

k · k2 en la definición, ya que

1 1
C1 kxk1 ≤ kxk2 ≤ C2 kxk1 ∀x ∈ V ⇐⇒ kxk2 ≤ kxk1 ≤ kxk2 ∀x ∈ V.
C2 C1

Proposición 1.4.3. Todas las normas en un K-espacio vectorial de dimensión finita

son equivalentes.

Demostración. Fijemos β = {v1 , . . . , vn } base de V . Basta probar que todas las

normas son equivalente a k · kβ . En efecto, sean k · k1 , k · k2 normas en V equivalentes a

22
k · k∞ . Existen A1 , A2 , B1 , B2 > 0 tal que

A1 kxk1 ≤ kxkβ ≤ A2 kxk1 , B1 kxkβ ≤ kxk2 ≤ B2 kxkβ ∀x ∈ V.

Luego,
A1 B1 kxk1 ≤ B1 kxkβ ≤ kxk2 ≤ B2 kxkβ ≤ A2 B2 kxk1 ∀x ∈ V.

Se sigue que k · k1 y k · k2 son, en efecto, equivalentes.

Ahora, dada k · k una norma arbitraria en V , probaremos es equivalente a k · kβ .
Sea x ∈ V , podemos escribir x = a1 v1 + . . . + an vn con xi ∈ K.

kxk = ka1 v1 + . . . + an vn )k

≤ |a1 |kv1 k + . . . + |an |kvn k

≤ n max{|a1 |kv1 k, . . . , |an |kvn k}

= n max{|a1 |, . . . , |an |} max{kv1 k, . . . , kvn k},

Haciendo C2 = max{kv1 k, . . . , kvn k} > 0 tenemos que kxk ≤ C2 kxkβ ∀x ∈ V . Solo falta
probar que existe C1 > 0 tal que C1 kxkβ ≤ kxk ∀x ∈ V . Probemos esto por inducción
sobre n ≥ 1.
Si n = 1: Dado x ∈ V , escribamos x = av1 para algún a ∈ K. Luego,

kxk = kav1 k = kv1 k|a| = kv1 kkxkβ .

Elegimos C1 = kv1 k.
Si n > 1: Sean W = Kv1 + . . . + Kvn−1 , γ = {v1 , . . . , vn−1 } base de W y k · kγ
norma en W , que coincide con k · kβ restricto a W . Por el corolario 1.4.1, W es cerrado
de V , entonces W es completo, por ser subespacio de un espacio completo. por hipótesis
de inducción,
kzk ≥ Ckzkγ ∀z ∈ W. (1.2)

Además, como vn ∈
/ W y W es cerrado, sea d(vn , W ) > 0 la distancia entre vn y W en
(V, k · k). Sea x ∈ V , podemos escribir x = y + avn con y ∈ W, a ∈ K.
Si a = 0,

kxk = kyk ≥ Ckykγ = C max{kykγ , 0} = C max{kykγ , |a|} = Ckxkβ .

23
Si a 6= 0, definimos D = kvn k−1 d(vn , W ) > 0, luego

kxk = ky + avn k = |a|ka−1 y + vn k ≥ |a|d(vn , W ) = |a|kvn kkvn k−1 d(vn , W ) = Dkavn k.

De donde kxk ≥ Dkavn k. Aplicando esto último,

 
kyk = kx − avn k ≤ kxk + kavn k ≤ kxk + D−1 kxk = 1 + D−1 kxk.

−1
De donde, kxk ≥ (1 + D−1 ) kyk. Desde que y ∈ W , por (1.2), tenemos kyk ≥ Ckykγ .
Entonces,
   
−1 −1
kxk ≥ max D, 1 + D kyk
   
−1 −1
≥ max |a|d(vn , W ), 1 + D Ckykγ
  −1 
≥ min d(vn , W ) 1 + D−1 C max{|a|, kykγ }.
   
−1 −1
≥ min d(vn , W ) 1 + D C kxkβ .

Finalmente, de lo obtenido en en caso a = 0 y a 6= 0, haciendo

   
−1 −1
C1 = min d(vn , W ) 1 + D C, C > 0

tenemos que kxk ≥ C1 kxkβ , como se quería probar.

24
1.5 Extensiones algebraicas de campos ultramétricos

En esta sección buscaremos extender valores absoluto de un campo ultramétrico a

sus extensiones extensiones algebraicas, además de probar algunas consecuencias de este
hecho. A lo largo de esta sección asumiremos que (K, | · |) es un campo completo.

Definición 1.5.1. Dado f (X) = an X n + an−1 X n+1 + . . . + a0 ∈ K[X] definamos

kf k = max |ai |.
i=0,...,n

Si f ∈ OK[X] definimos
 
n n+1 OK
f (X) = (an + mK)X + (an−1 + mK)X + . . . + (a0 + mK) ∈ [X].
mK

Proposición 1.5.1. k · k en K[X] tiene las propiedades: Para todo f, g ∈ K[X], a ∈ K

a) kf k = 0 ⇐⇒ f = 0.

b) kak = |a|.

c) kaf k = |a|kf k.

d) kf gk ≤ kf kkgk.

e) kf + gk ≤ max{kf k, kgk}.

f) Si f ∈ OK[X] entonces f = 0 ⇐⇒ f ∈ mK[X] ⇐⇒ kf k < 1.

Demostración. Denotemos f (X) = an X n + . . . + a0 , g(X) = bm X m + . . . + b0 .

Hacemos el resto de ai ’s y bi ’s iguales a cero. Entonces

a) kf k = max |ai | = 0 ⇐⇒ |an | = . . . = |a0 | = 0 ⇐⇒ an = . . . = a0 = 0 ⇐⇒ f = 0.

i=0,...,n

n+m i
X X
i
b) kf gk = a b X = max |ai bi−j | ≤ max |ai | · max |bi | = kf kkgk.
j i−j 0≤j≤i≤n+m i=0,...,n i=0,...,m
i=0 j=0

c) Es inmediato.
n
X
i
d) kaf k = aai X = max |aai | = max |a||ai | = |a| max |ai | = |a|kf k.
i=0,...,n i=0,...,n i=0,...,n
i=0

25
 n+m
X
i
e) kf + gk =

(ai + bi )X

= max |ai + bi | ≤ max |ai | + max |bi | = kf k + kgk.
i=0,...,n+m i=0,...,n i=0,...,m
i=0

f) f = 0 ⇐⇒ an + mK = . . . = a0 + mK = mK ⇐⇒ an , . . . , a0 ∈ mK ⇐⇒ f ∈ mK[X],

kf k < 1 ⇐⇒ |an | < 1, . . . , |a0 | < 1 ⇐⇒ an , . . . , a0 ∈ mK ⇐⇒ f ∈ mK[X].

La proposición 1.5.1 implica que la función k · k : K[X] −→ [0, +∞) es una norma
ultramétrica en K[X] con bola abierta unitaria igual a mK[X] y al núcleo de la
proyección OK[X] → (OK/ mK)[X].

Proposición 1.5.2. Sean (fn )n , (gn )n secuencias en K[X] y f, g ∈ K[X]. Escribamos,

X X X X
fn (X) = an,i X i , gn (X) = bn,i X i , f (X) = ai X i y g(X) = bi X i (todas estas
i≥0 i≥0 i≥0 i≥0
sumas son finitas). Entonces:

a) Si (fn )n es secuencia de Cauchy en K[X], entonces (an,i )n es secuencia de Cauchy en

K para todo i ≥ 0.

b) Si limn fn = f en K[X], entonces limn an,i = ai en K ∀i ≥ 0.

X
c) Recíprocamente, si limn an,i = ci en K ∀i ≥ 0, si h(X) = ci X i ∈ K[X], entonces
i≥0
limn fn = h.

d) Si limn fn = f y limn gn = g, entonces limn (fn + gn ) = f + g y limn fn gn = f g.

Demostración. Notemos que kfn − fm k ≥ |an,i − am,i | y kfn − f k ≥ |an,i − ai | para

todo i ∈ Z+ . Sea ǫ > 0 arbitrario.

a) Como (fn )n es de Cauchy, existe N ∈ Z+ tal que |an,i − am,i | ≤ kfn − fm k < ǫ
∀n, m ≥ N . Esto implica que (an,i )n es también de Cauchy ∀i ∈ Z+ .

b) Como limn fn = f , existe N ∈ Z+ tal que |an,i − ai | ≤ kfn − f k < ǫ ∀n ≥ N . Esto

implica que limn an,i = ai ∀i ∈ Z+ .

c) Como limn an,i = ci , existe N ∈ Z+ tal que |an,i − ci | < ǫ ∀n ≥ N , ∀i ∈ Z+ . Luego

kfn − hk = max
+
{|an,i − ci |} < ǫ ∀n ≥ N, ∀i ∈ Z+ .
i∈Z

Esto implica que limn fn = h.

26
d) Como limn fn = f y limn gn = g, por el item b, limn an,i = ai y limn bn,i = bi ∀i ∈ Z+ .
Entonces,
i
X i
X
lim(an,i + bn,i ) = ai + bi , lim an,j bn,i−j = aj bi−j .
n n
j=0 j=0

Esto significa que las secuencias coeficientes de fn + gn , fn gn convergen a los

respectivos coeficientes de f + g, f g ∈ K[X], y por el item c, tenemos que,
limn fn + gn = f + g y limn fn gn = f g.

Proposición 1.5.3 (Lema de Hensel). Sean f ∈ OK[X], g, h ∈ (OK/ mK)[X] tal que
kf k = 1, g, h primos relativos, g mónico y f = gh. Entonces existen G, H ∈ OK[X] tal
que

a) f = GH,

b) G = g y H = h,

c) deg G = deg g y g es mónico.

Demostración. Usaremos los resultados de las proposiciones 1.5.1 y 1.5.2. Elijamos

polinomios G1 , H1 ∈ OK[X] tal que

G1 = g, deg G1 = deg g, G1 es mónico, H1 = h, deg H1 = deg h.

Como f, g son primos relativos en (OK, mK), existen R, S ∈ OK[X] tal que gR + hS = 1.
Luego,
RG1 + SH1 − 1 = RG1 + SH1 − 1 = Rg + Sh − 1 = 0,

f − G1 H1 = f − G1 H1 = f − gh = 0.

Esto significa que f − G1 H1 , RG1 + SH1 − 1 ∈ mK. Así podemos tomar

δ = max{kf − G1 H1 k, kRG1 + SH1 − 1k} < 1. (1.3)

Si δ = 0, entonces kf − G1 H1 k = 0, de donde f = G1 H1 , que cumple las condiciones

pedidas.
En lo que resta de la prueba, asumiremos que δ ∈ (0, 1). Pasaremos a construir,
por inducción, secuencias (Gn )n , (Hn )n en OK[X] tal que para todo n ∈ Z+ tenemos

27
 i) kf − Gn Hn k ≤ δ n ,

ii) kGn − Gn−1 k ≤ δ n−1 , kHn − Hn−1 k ≤ δ n−1 n 6= 1,

iii) Gn = g, Hn = h,

iv) deg Gn = deg g, deg Gn + deg Hn ≤ deg f .

Vemos que G1 , H1 ya están determinados. Asumiremos que para m = 1, . . . , n − 1 ya

están construidos Gm , Hm satisfaciendo i, ii, iii, iv. Definiremos

Gn = Gn−1 + ǫn−1 tn−1 , Hn = Hn−1 + ǫn−1 un−1 ,

con tn−1 , un−1 ∈ OK[X] a determinar y ǫ ∈ mK tal que |ǫ| = δ < 1 (por (1.3), esto es
posible). Se sigue rápidamente que

kGn − Gn−1 k = kǫn−1 tn−1 k = |ǫ|n−1 ktn−1 k ≤ δ n−1 ,

kHn − Hn−1 k = kǫn−1 un−1 k = |ǫ|n−1 kun−1 k ≤ δ n−1 ,

Gn = Gn−1 + ǫn−1 tn−1 = Gn−1 + ǫn−1 tn−1 = Gn−1 + 0n−1 tn−1 = Gn−1 = g,

Hn = Hn−1 + ǫn−1 un−1 = Hn−1 + ǫn−1 un−1 = Hn−1 + 0n−1 un−1 = Hn−1 = h.

Esto prueba ii y iii.

De la desigualdad triangular fuerte tenemos

kG1 − Gn−1 k = kG1 − G2 + G2 − . . . − Gn−2 + Gn−2 − Gn1 k

≤ max{kG1 − G2 k, . . . , kGn−2 − Gn−1 k}

≤ max{δ, . . . , δ n−2 }

= δ

De igual manera para H1 , Hn−1 , esto es,

kG1 − Gn−1 k ≤ δ, kH1 − Hn−1 k ≤ δ. (1.4)

Por la hipótesis inductiva item i,

kǫ−(n−1) (f − Gn−1 Hn−1 )k = |ǫ|−(n−1) k(f − Gn−1 Hn−1 )k ≤ δ −(n−1) δ n−1 = 1,

28
es decir, ǫ−(n−1) (f − Gn−1 Hn−1 ) ∈ OK[X], llamaremos a este polinomio pn−1 .
Por el algoritmo de división, como G1 es mónico, existen qn−1 , tn−1 ∈ OK[X] tal
que
pn−1 S = qn−1 G1 + tn−1 , deg tn−1 ≤ deg G1 .

Escribamos
pn−1 R + qn−1 H1 = cm X m + . . . + c0

con c0 , . . . , cm ∈ OK. Definamos

un−1 = cm X m + . . . + c0

donde 


 ci , δ < |ci |
ci = 
  0 , |ci | ≤ δ.
Se sigue que

pn−1 R + qn−1 H1 − un−1 = (cm − cm )X m + . . . + (c0 − c0 )

donde 


 ci − ci = 0 , δ < |ci |
ci − ci =


 ci − 0 = ci , |ci | ≤ δ.
Se sigue que
kpn−1 R + qn−1 H1 − un−1 k ≤ δ.

Luego, esto último junto con (1.3) implica que

kpn−1 − G1 un−1 − H1 tn−1 k

= kpn−1 (1 − RG1 − SH1 ) + pn−1 RG1 + pn−1 SH1 − G1 un−1 − H1 tn−1 k

= kpn−1 (1 − RG1 − SH1 ) + pn−1 RG1 + (qn−1 G1 + tn−1 )H1 − G1 un−1 − H1 tn−1 k

= kpn−1 (1 − RG1 − SH1 ) + pn−1 RG1 + qn−1 G1 H1 − G1 un−1 k

= kpn−1 (1 − RG1 − SH1 ) + G1 (pn−1 R + qn−1 H1 − un−1 )k

≤ max{kpn−1 (1 − RG1 − SH1 )k, kG1 (pn−1 R + qn−1 H1 − un−1 )k}

≤ max{kpn−1 kk1 − RG1 − SH1 k, kG1 kkpn−1 R + qn−1 H1 − un−1 k}

≤ max{k1 − RG1 − SH1 k, kpn−1 R + qn−1 H1 − un−1 k}

≤ δ

29
Ahora, usando (1.4) tenemos
kpn−1 − Gn−1 un−1 − Hn−1 tn−1 k

= kpn−1 − Gn−1 un−1 − Hn−1 tn−1 − G1 un−1 + G1 un−1 − H1 tn−1 + H1 tn−1 k

= kpn−1 − G1 un−1 − H1 tn−1 − Gn−1 un−1 + G1 un−1 − Hn−1 tn−1 + H1 tn−1 k

= kpn−1 − G1 un−1 − H1 tn−1 + (G1 − Gn−1 )un−1 + (H1 − Hn−1 )tn−1 k

≤ max{kpn−1 − G1 un−1 − H1 tn−1 k, k(G1 − Gn−1 )un−1 k, k(H1 − Hn−1 )tn−1 k}

≤ max{kpn−1 − G1 un−1 − H1 tn−1 k, kG1 − Gn−1 kkun−1 k, kH1 − Hn−1 kktn−1 k}

≤ max{kpn−1 − G1 un−1 − H1 tn−1 k, kG1 − Gn−1 k, kH1 − Hn−1 k}

≤ δ

Es decir,
kpn−1 − Gn−1 un−1 − Hn−1 tn−1 k ≤ δ (1.5)

Luego, usando esto obtenemos que

kf − Gn Hn k = kf − (Gn−1 + ǫn−1 tn−1 )(Hn−1 + ǫn−1 un−1 )

= kf − Gn−1 Hn−1 − ǫn−1 (Gn−1 un−1 + Hn−1 tn−1 ) − ǫ2n−2 tn−1 un−1 k

= kǫn−1 pn−1 − ǫn−1 (Gn−1 un−1 + Hn−1 tn−1 ) − ǫ2n−2 tn−1 un−1 k

≤ max{kǫn−1 (pn−1 − Gn−1 un−1 − Hn−1 tn−1 )k, kǫ2n−2 tn−1 un−1 k}

≤ max{|ǫ|n−1 kpn−1 − Gn−1 un−1 − Hn−1 tn−1 k, |ǫ|2n−2 ktn−1 un−1 k}

≤ max{δ n−1 δ, δ 2n−2 }

= δn

Esto prueba el item i. Falta probar que Gn , Hn satisfacen el item iv. Por hipótesis
inductiva, deg g = deg G1 = deg Gn−1 . Por la construcción de tn−1 ,
deg tn−1 < deg G1 = deg Gn−1 . Por la construcción de Gn , deg Gn = deg Gn−1 . Así,

deg g = deg Gn−1 = deg Gn

y
deg f ≥ deg Gn + Hn > deg tn−1 + deg Hn−1 .

30
Ahora, supongamos que deg Gn + deg Hn > deg f . Junto con la hipótesis inductiva

deg Hn > deg f − deg Gn = deg f − deg Gn−1 ≥ deg Hn−1 .

De donde,
 
deg un−1 = deg ǫ−(n−1) (Hn − Hn−1 ) = deg Hn > deg Hn−1 .

Esto implica que un−1 es no nulo. Luego,

deg f ≤ deg Gn−1 + deg Hn−1 < deg Gn−1 + deg un−1 .

Además, por la definición e hipótesis inductiva item d, deg pn−1 ≥ deg f . Los datos,

deg f < deg Gn−1 + deg un−1 , deg f ≥ deg tn−1 + deg Hn−1 ,

deg f ≥ deg pn−1 , un−1 = cm X m + . . . + c0 , cm 6= 0, Gn−1 es mónico

implican que
pn−1 − Gn−1 un−1 − Hn−1 tn−1

tiene coeficiente líder −cm . Por la definición de cm , tenemos que

kpn−1 − Gn−1 un−1 − Hn−1 tn−1 k ≥ | − cm | = |cm | > δ.

Esto contradice (1.5). Por tanto nuestra suposición no es correcta, es decir,

deg Gn + deg Hn ≤ deg f . Esto termina la construcción de la secuencias (Gn )n y (Hn )n .
Finalmente, probemos lo pedido.
El item ii y la proposición 1.1.3, implican que (Gn )n y (Hn )n son secuencias de
Cauchy. Por el item iv podemos escribir r = deg g, s = deg f ,

Gn = X r + an,r−1 X r−1 + . . . + an,0 ∈ OK[X],

Hn = bn,s X s + bn,s−1 X s−1 + . . . + bn,0 ∈ OK[X],

an,r = 1 y el resto de ai,j , bi,j iguales a cero. bn,s no es necesariamente igual a cero.
Entonces, las secuencias (an,i )n , (bn,i )n son secuencias de Cauchy. Como OK es
completo, (an,i )n , (bn,i )n convergen, digamos a ai , bi ∈ OK respectivamente. Vemos que
ar = 1, ai = 0 ∀i > r y bi = 0 ∀i > s.

31
 Denotemos
G = X r + ar−1 X r−1 + . . . + a0 ∈ OK[X],

H = bs X s + bs−1 X s−1 + . . . + b0 ∈ OK[X].

Entonces, lim Gn = G, lim Hn = H. Notemos que r = deg G = deg Gn = deg g y G es

mónico. Esto prueba la existencia de G, H y que cumplen el item c.
Por el item i, haciendo n → +∞, tenemos que f = limn Gn Hn = GH. Esto prueba
que cumplen el item a.
Del item iii, Gn = G1 = g, Hn = H1 = h. Luego, Gn − G1 , Hn − H1 ∈ mK[X].
Como mK es cerrado, por ser bola abierta y la proposición 1.1.2, haciendo n → +∞,
G − G1 , H − H1 ∈ mK[X]. De donde, G = G1 = g, H = H1 = h. Esto prueba que
cumplen el item b.
Esto termina la prueba.

Corolario 1.5.1. Sea f (X) = an X n + . . . + a0 ∈ K[X] irreducible. Entonces

kf k = max{|an |, |a0 |}.

Demostración. Escojamos m tal que kf k = |am |, es el máximo entre |an |, . . . , |a0 |. Se

sigue que |a−1 −1
m ai | ≤ 1 son lo coeficientes de am f y su coeficiente m es exactamente 1.

−1
Esto es, am f ∈ OK[X] y ka−1
m f k = 1. Entonces, pasando a OK /mK podemos factorizar

a−1
m f = gh con g un polinomio mónico y h una constante. Aplicando el Lema de Hensel,

a−1 −1
m f = GH con deg G = deg g = deg am f . De donde f = am GH.

En este punto, supondremos que la suposición del corolario es falsa, es decir,

kf k = |am | > max{|an |, |a0 |}

con m 6= 0, n. Luego a−1

m f tiene coeficientes 0, n en mK y coeficiente m igual a 1. Esto

implica que a−1

m f es no nulo con grado 6= 0, n. Entonces G es no nulo de grado 6= 0, n.

De donde f = am GH es una factorización no trivial, contradiciendo que f es

irreducible.

Proposición 1.5.4. Sea F una extensión algebraica de K. Entonces existe un único

valor absoluto ultramétrico en F que extiende al valor absoluto de K.

32
Demostración. Comencemos probando que si existe una extensión de | · | a todo F,
entonces es único. En efecto, sean k · k1 y k · k2 valores absolutos de F que extienden | · |.
Por la proposición 1.4.3, existen C1 , C2 > 0 tal que

C1 kxn k1 ≤ kxn k2 ≤ C2 kxn k1 ∀n ∈ Z+ , ∀x ∈ K.

Elevando a la 1/n,

1/n 1/n
C1 kxk1 ≤ kxk2 ≤ C2 kxk1 ∀n ∈ Z+ , ∀x ∈ K.

Haciendo n → +∞ tenemos que kxk1 ≤ kxk2 ≤ kxk1 ∀x ∈ K. De donde, k · k1 y k · k2

son iguales.
Paseremos a probar que | · | puede extenderser a F. Primero supondremos que F es
extensión finita de K. Dado x ∈ F, denotemos px (X) ∈ K[X] el polinómio mónico
irreducible sobre K, n = deg fx y m = [F : K].
Definamos la función, que será candidato a extender | · |, como

k · k : F −→ [0, +∞)
x 7−→ |NF/K(x)|1/m = |fx (0)|1/n .

Probemos que k · k es valor absoluto ultramétrico extendiendo a | · |. Sean x, y ∈ F,

entonces

a) kxk = |x| ∀x ∈ K:

Para x ∈ K, tenemos que fx (X) = X − x. Luego kxk = |fx (x)|1/1 = | − x| = |x|.

b) kxk = 0 ⇐⇒ x = 0:

kxk = |NF/K(x)|1/m = 0 ⇐⇒ NF/K(x) = 0 ⇐⇒ x = 0.

c) kxyk = kxkkyk:

kxyk = |NF/K(xy)|1/m = |NF/K(x)NF/K(y)|1/m = |NF/K(x)|1/m |NF/K(y)|1/m = kxkkyk.

d) Si kxk ≤ 1, entonces k1 + xk ≤ 1:

Denotemos fx (X) = X n + an−1 X n−1 + . . . + a0 . Luego,

kxk = |fx (0)|1/n = |a0 |1/n ≤ 1, implica que |a0 | ≤ 1. Además, como fx es mónico

33
 irreducible, entonces fx (X − 1) es también mónico irreducible anulando a 1 + x.
Entonces f1+x (X) = fx (1 + X). Entonces, usando el lema 1.5.1

k1 + xk = |f1+x (0)|1/n

= |fx (−1)|1/n

= |(−1)n + an−1 (−1)n−1 + . . . + a0 |1/n

≤ (max{1, |an−1 |, . . . , |a0 |})1/n

= kfx k1/n

= (max{1, |a0 |})1/n

≤ 1

Por la proposición 1.2.3, k · k es un valor absoluto ultramétrico. Así, hemos

probado que si F es extensión finita de K existe un valor absoluto extendiendo | · |.
Ahora pasaremos al caso general. Sea F extensión algebraica arbitraria de K. Para
x ∈ F \ K, por el caso anterior existe un valor absoluto | · |x en K(x). De esta manera
podemos definir la función k · k : F → [0, +∞), como



 |x| , x∈K
kxk =


 |x|x , x ∈ F \ K

Esta función es un valor absoluto en K. En efecto, sean x, y ∈ K.

a) kxk = 0 ⇐⇒ x = 0:

Tenemos k0k = |0| = 0. Recíprocamente, sea x ∈ F tal que kxk = 0. Si x ∈

/ K,
entonces |x|x = kxk = 0, luego x = 0. Contradicción con x ∈
/ K. Luego x ∈ K, así
|x| = kxk = 0, luego x = 0.

b) kxyk = kxkkyk y kx + yk ≤ max{kxk, kyk}:

Como K(x) y K(y) contienen a K(xy) y K(x + y), y todos son extensiones finitas de K,
por la unicidad de la extensión del valor absoluto | · |, probado inicialmente, tenemos
que | · |x , | · |y , | · |xy y | · |x+y coinciden en las intersecciones respectivas. Luego,

kxyk = |xy|xy = |x|xy |y|xy = |x|x |y|y = kxkkyk,

34
 kx + yk = |x + y|x+y ≤ max{|x|x+y , |y|x+y } = max{|x|x , |y|y } = max{kxk, kyk}.

Así hemos terminado.

Lema 1.5.1. Sean F una extensión algebraica de K y σ : F → K un homomorfismo de

campos que fija los elementos de K. Entonces, |x| = |σ(x)| para todo x ∈ F.

Demostración. Por la proposición 1.5.4, basta probar que k · k : F → [0, +∞),

definido como kxk = |σ(x)|, es valor absoluto ultramétrico en F que extiende | · |
restricto a K. Sean x, y ∈ F, entonces:

a) kxk = |x| ∀x ∈ K.

Esto se debe a que σ fija los elementos de K.

b) kxk = 0 ⇐⇒ x = 0:

kxk = 0 ⇐⇒ |σ(x)| = 0 ⇐⇒ σ(x) = 0 ⇐⇒ x = 0.

c) kxyk = kxkkyk:

kxyk = |σ(xy)| = |σ(x)σ(y)| = |σ(x)||σ(y)| = kxkkyk.

d) kx + yk ≤ kxk + kyk:

kx + yk = |σ(x + y)| = |σ(x) + σ(y)| ≤ max{|σ(x)|, |σ(y)|} = max{kxk, kyk}.

Esto prueba que k · k es valor absoluto ultramétrico en F.

A partir de ahora, hasta que termina la sección, supondremos que K es un campo

ultramétrico completo de característica 0 y F un campo de extensión finita de K.

Proposición 1.5.5 (Lema de Krasner). Sea a ∈ K. Entonces existe r > 0 tal que para
todo b en la bola abierta B(a, r) en K se tiene que F(a) ⊆ F(b).

Demostración. Si a ∈ F, es inmediato. Si a ∈
/ F, sean a1 , . . . , an ∈ K todos los
conjugados de a en F distintos del propio a y r = min {|ai − a|} > 0 (aquí usamos que
i=1,...,n

la característica es 0). Sea b ∈ B(a, r) arbitrario. Vamos a probar que a no tiene

conjugados en F(b). Para esto consideremos un homomofismo de campos σ : F(a, b) → K

35
que fija los elementos de F(b), existe uno por cada conjugado de a en F(b). Supongamos
que σ no es la identidad. Esto último es equivalente a que σ(a) 6= a. También, como
σ(a) es un conjugado de a en F(b), entonces, σ(a) es conjugado de a en F. Luego

|a − b| < r ≤ |σ(a) − a|. (1.6)

Notemos que

|σ(a) − b| = |σ(α) − σ(β)| = |σ(α − β)| = |α − β|, (1.7)

donde la última igualdad es por el lema 1.5.1. Pero

|σ(α) − α| = |σ(α) − β + β − α|

≤ max{|σ(α) − β|, |β − α|}

= max{|α − β|, |β − α|}

= |α − β|,

la penúltima desigualdad se sigue de (1.7). Lo obtenido se contradice con (1.6). Se sigue

que nuestra suposición es falsa y en consecuencia α no tiene conjugados en F(β). Esto
significa que α ∈ F(β). Terminó la prueba.

Proposición 1.5.6 (Continuidad de Raíces de Ecuaciones). Fijemos a ∈ K

algebraico sobre K de grado n. Sea f ∈ F[X] el polinomio mónico irreducible de a sobre
F. Entonces existe ǫ > 0 tal que para todo g ∈ F[X] mónico de grado n con kf − gk < ǫ
tiene una raíz b ∈ F(a) tal que F(b) = F(a).

Demostración. Sea polinomio mónico g ∈ F[X] de grado n arbitrario y su

factorización g(X) = (X − b1 ) . . . (X − bn ) ∈ K[X]. Definamos
M = max{1, |a|, . . . , |a|n−1 }. Entonces

 n 
n
Y Y 
 
|a − bi | =  (a − bi )
 
= |g(a)| = |g(a) − f (a)|.
i=1 i=1

36
Escribamos f − g = cn−1 X n−1 + . . . + c0 , entonces
n
Y
|a − bi | = |g(a) − f (a)|
i=1
= |cn−1 an−1 + . . . + c0 |

≤ max{|cn−1 an−1 |, . . . , |c0 |}

= max{|cn−1 |, . . . , |c0 |} max{|an−1 |, . . . , 1}

≤ kf − gkM

De donde, para al menos un índice k se debe tener

|a − bk | ≤ kf − gk1/n M 1/n ,

o equivalentemente
bk ∈ B(a, kf − gk1/n M 1/n ) en K.

Escogemos ǫ > 0 suficientemente pequeño tal que kf − gk < ǫ implica que F(a) ⊆ F(bk ).
Esto último junto con el hecho que a y bk son raíces de polinomios en F[X] de grado n,
implica que F(a) = F(bk ).

37
1.6 Espacios esféricamente completos

En esta sección estudiaremos brevemente los espacios métricos esféricamente

completos y campos esféricamente completos.
Como motivación para la definición central de esta sección vamos a probar un
resultado sobre espacios completos.

Proposición 1.6.1. Un espacio métrico X es completo, si y solo si, toda secuencia

decreciente de bolas cerradas en X con radios tendiendo a cero tiene intersección no
vacía.

Demostración.
⇒) Sea (B[xn , rn ])n secuencia decreciente de bolas cerradas en X con limn rn = 0.
Afirmamos que (xn )n es secuencia de Cauchy. En efecto, dado ǫ > 0 existe N ∈ Z+ tal
que rk < ǫ ∀k ≥ N . Sean m ≥ n ≥ N , como B[xm , rm ] ⊆ B[xn , rn ], se sigue

d(xn , xm ) ≤ rn < ǫ ∀m ≥ n ≥ N. (1.8)

Esto prueba que (xn )n es una secuencia de Cauchy. Desde que X es completo, existe el
límite de (xn )n , digamos que es x ∈ X. Haciendo m → +∞ en (1.8) tenemos
d(xn , x) ≤ rn ∀n ≥ N . Esto implica,
\ \
x∈ B[xn , rn ] = B[xn , rn ],
n≥N n≥1

ya que la secuencia (B[xn , rn ])n es decreciente.

⇐) Sea (xn )n una secuencia de Cauchy en X. Debemos probar que (xn )n
converge. Dado k ∈ Z+ existe nk ∈ Z+ tal que

1
d(xnk , xnk+1 ) < .
k(k + 1)
h i
Afirmamos que (B[xnk , 1/k])k es decreciente. En efecto, dado y ∈ B xnk+1 , 1/(k + 1)
tenemos

1 1 1
d(y, xnk ) ≤ d(y, xnk+1 ) + d(xnk+1 , xnk ) < + = .
k + 1 k(k + 1) k

Esto significa que y ∈ B [xnk , 1/k]. Se sigue la afirmación. Por hipótesis, existe z ∈ X
en B[xnk , 1/k] ∀k ≥ 1. Haciendo k → +∞ se tiene que limk xnk = z. Así tenemos que

38
(xn )n es una secuencia de Cauchy con una subsecuencia convergente, entonces (xn )n es
convegente.

Definición 1.6.1. Un espacio métrico es esféricamente completo si toda secuencia

decreciente de bolas cerradas tiene intersección no vacía.

Corolario 1.6.1. Se cumple:

a) Todo espacio esféricamente completo es completo;

b) un espacio completo no es necesariamente esféricamente completo.

Demostración.

a) En la definición de esféricamente completo no es necesaria la condición de radios

tendiendo a cero, que es usada en la proposición 1.6.1.

b) El campo completo Cp , que veremos más adelante, no es esféricamente completo.

El espacio Rn es esféricamente completo, debido al teorema intersección de Cantor.

Proposición 1.6.2. Todo campo localmente compacto es esféricamente completo.

Demostración. Para el caso no discreto, por la proposición 1.2.8 las bolas cerradas
son compactas. Usamos el teorema de intersección de Cantor para probar lo pedido.
Para el caso discreto, el valor absoluto es trivial. Entonces las bolas cerradas son
conjunto unitario o todo el campo. Así, la intersección de toda secuencia decreciente de
bolas cerradas es un conjunto unitaria o todo el campo, y por tanto no vacío.

Proposición 1.6.3. Sea (K, | · |) un campo ultramétrico segundo numerable con |K|
denso en [0, +∞). Entonces K no es esféricamente completo.

Demostración. Sea {xn : n ∈ Z+ } subconjunto denso en K. Escogemos números

reales r1 > r2 > . . . > r > 0. Vamos a construir una secuencia decreciente de bolas
/ Bn n ∈ Z+ .
cerradas (Bn )n tal que radio de Bn es rn , xn ∈
Vamos probarlo por inducción sobre n. Para n = 1, podemos escoger B1 como
cualquier bola cerrada de radio r1 no conteniendo x1 . Supongamos válido para n ≥ 1.
Probemos para n + 1. Escribamos Bn como B[yn , rn ]. Tenemos dos casos:

39
 Si |yn − xn+1 | > rn+1 : Escogemos Bn+1 = B[yn , rr+1 ]. Luego

Bn+1 = B[yn , rr+1 ] ⊆ B[yn , rn ] = Bn , xn+1 ∈

/ B[yn , rr+1 ] = Bn+1 .

Si |yn − xn+1 | ≤ rn+1 : Por densidad de |K| en [0, +∞) existe z ∈ K tal que

|yn − xn+1 | ≤ rn+1 < |z| < rn .

Escogemos Bn+1 = B[yn + z, rn+1 ]. Luego, de la última desigualdad, que

yn + z ∈ B[yn , rn ]. Entonces

Bn = B[yn , rn ] = B[yn + z, rn ] ⊆ B[yn + z, rn+1 ] = Bn+1 ,

y xn+1 ∈
/ Bn+1 = B[yn + z, rn+1 ], ya que

|yn + z − xn+1 | = |yn − xn+1 + z| = max{|xn+1 − yn |, |z|} = |z| > rn+1 .

Esto prueba la construcción de (Bn )n con las propiedades pedidas.

Supongamos que K es esféricamente completo. Entonces existe x ∈ Bn ∀n ∈ Z+ .
Esto implica que Bn = B[x, rn ] ∀n ∈ Z+ . Luego B[x, r] está contenido en todos los
Bn ’s. Como xn ∈ / B[x, r] ∀n ∈ Z+ . Esto contradice la densidad de
/ Bn , entonces xn ∈
{xn : n ∈ Z+ }. Por tanto K no es esféricamente completo.

40
Capítulo 2

Los campos p -ádicos

Esta es el capítulo central del trabajo, en el cual usaremos toda la maquinaria
presentada en capítulo 1. Haremos las construcciones de los campos Qp , Qp , Ωp y Cp ,
tomando como punto de parte el campo Q con el valor absoluto p-ádico, como en [8].
También probaremos las propiedades de este campo, nos apoyaremos con [6], [9] y [10].

2.1 El campo p -ádico Q

En esta sección clasificaremos los valores absolutos ultramétricos en Q, además de

analizar la completitud de Q. Recordemos que es bien sabido que Q no es
algebraicamente cerrado, por ejemplo, no podemos resolver X 2 = 2.

Proposición 2.1.1. Dado | · | valor absoluto ultramétrico no trivial en Q. Entonces | · |

es equivalente al valor absoluto p-ádico para algún p ∈ Z+ primo.

Demostración. Por la proposición 1.2.6 el ideal m = {m ∈ Z : |m| < 1} = mQ ∩Z es

un ideal primo de Z. Luego existe p ∈ Z+ primo tal que m = pZ. Como |p| < 1
podemos escribir |p| = p−c para algún c > 0. Dado x ∈ Q \ 0, podemos escribirlo como

a
x = pn , n ∈ N, a, b ∈ Z no divisibles por p.
b

Como a, b ∈ Z no divisibles por p, entonces a, b ∈

/ m, es decir, |a| = |b| = 1. Entonces

|a|
|x| = |p|n = p−cn , |x|p = p−n .
|b|

De donde, |x| = |x|cp para algún c > 0 y todo x ∈ Q. (Para x = 0 es inmediato).

Entonces | · | y | · |p son equivalentes.

El resultado completo dice que todo valor absoluto en Q es el valor absoluto trivial
o equivalente al valor absoluto p-ádico o equivalente al valor absoluto usual. Este
resultado puede ser visto en [10].

41
 Los valores absolutos no triviales son equivalentes a los valores absolutos p-ádicos
y valor absoluto usual. Como las propiedades métricas y topológicas son las mismas
para valores absolutos equivalentes, basta con estudiar los valores absolutos p-ádicos y
el valor absoluto usual.

Proposición 2.1.2. Dados p, q ∈ Z+ primos diferentes, entonces | · |p y | · |q no son

valores absolutos equivalentes.

Demostración. Supongamos que son equivalentes. Existe c > 0 tal que |x|p = |x|cq
∀x ∈ Q. Para x = 1 tenemos |p|p = p−1 , |p|q = 1. De donde, p−1 = |p|p = |p|cq = 1c = 1.
Lo cual es una contradicción. Por tanto | · |p y | · |q no pueden ser equivalentes.

Corolario 2.1.1. El valor absoluto trivial, los valores absolutos p-ádicos y el valor
absoluto usual, definen todos diferentes topologías en Q.

Demostración. por la observación 1.2.2 y la proposición 1.2.7, el valor absoluto

trivial es el único valor absoluto que define una topología discreta. Por el corolario
1.2.2, el valor absoluto usual no es ultramétrico y por tanto, por el corolario 1.2.3, no
puede ser equivalente a un valor absoluto p-ádico, y así su sus topologías no puede ser
iguales, por la proposición 1.2.5. Los valores absolutos p-definen topologías diferentes
por la proposición 2.1.2 y la proposición 1.2.5.

Proposición 2.1.3. (Q, | · |p ) no es completo ∀p ∈ Z+ primo.

Esto implica, por el corolario 1.6.1, que (Q, | · |p ) no es esféricamente completo y,
por la proposición 1.6.2, (Q, | · |p ) no es localmente compacto.

Demostración. Como | · |p no es trivial, por la proposición 1.2.7, los puntos de Q no

son abiertos, por ser todos puntos de acumulación. Entonces, expresando a Q como
unión de sus puntos tenemos a Q como unión numerable de cerrados de interior vacío.
Por el Teorema de la Categoría de Baire, Q no puede ser completo.

42
2.2 El campo Qp , la compleción de (Q, | · |p )

En la sección anterior vimos que (Q, | · |) no es ni completo ni algebraicamente

cerrado. En esta sección a definir su compleción y estudiar las propiedades de esta
compleción.

Definición 2.2.1. Sea p ∈ Z+ número primo. Definiremos la compleción de (Q, | · |p )

como (Qp , | · |p ), que es llamado el campo (ultramétrico) de los números p-ádicos. A
partir de ahora, dejaremos entendido el valor absoluto | · |p .

Denotaremos por Zp a la bola unitaria cerrada mQp en Qp , que es llamado el anillo

de los enteros p-ádicos.

Lema 2.2.1. Dado x ∈ Qp y n ∈ Z se cumple que:

a) |Qp |p = pZ ∪ {0};

b) B[x, pn ] = B(x, pn+1 ).

Demostración. Para probar el item a), recordemos que se cumple en (Q, | · |p ). El

item b) no es sorpresa que las bolas sean abiertas y cerradas a la vez, por 1.1.2, pero
aquí obtenemos una igualdad explícita.

a) Por definición de x, existe una secuencia (xn ) en Q tal que xn → x. Como

|xn |p ∈ pZ ∪ 0, |xn |p es convergente y 0 es el único punto de acumulación en R de
pZ ∪ 0, entonces, |xn |p → |x|p ∈ pZ ∪ 0.

b) Si pn < pn+1 , entonces B[x, pn ] ⊆ B(x, pn+1 ). Recíprocamente, sea y ∈ B(x, pn+1 ), es
decir, |x − y|p < pn+1 . Por el item a), necesariamente se debe tener que
|x − y|p ≤ pn , esto es, y ∈ B[x, pn ]. Termina la prueba.

Proposición 2.2.1. Zp tiene las siguientes propiedades:

a) Z es denso Zp ,

b) Zp es compacto.

43
Esto implica, por la proposición 1.2.8, que Qp es localmente compacto no discreto y por
la proposición 1.6.2 es esféricamente completo.

Demostración. Sea ǫ > 0. Fijemos k ∈ Z+ tal que p−k < ǫ.

a) Sea x ∈ Zp . Como Q es denso en Qp , por definición, existe y ∈ Q tal que

|x − y|p < p−k . Luego,

|y|p = |x − x + y|p ≤ max{|x|p , |x − y|p } ≤ max{1, p−k } ≤ 1.

Escribimos y = pn a/b con a, b, n ∈ Z, a, b no divisibles por p. De aquí,

|y|p = p−n ≤ 1, esto significa que n ≥ 0. Ahora, como b, p son primos entre si,
existen α, β ∈ Z tal que 1 = αb + βpk . Luego,

a a a
y = pn = pn (αb + βpk ) = pn aα + βpk+n ,
b b b
a
de donde y − pn aα = βpk+n . Aplicando | · |p , tenemos que pn aα ∈ Z y
b
 
a 
|y − pn aα|p =  βpk+n  ≤ p−(k+n) ≤ p−k < ǫ,
b p

ya que a, b, n ∈ Z y a, b no divisibles por p. Esto implica que Z es denso en Zp .

b) Como Zp es cerrado de Qp y Qp es completo, se tiene que Zp es completo. Solo

debemos probar que Zp es totalmente acotado. En efecto, dado x ∈ Z, por el
algoritmo de división, existen q, r ∈ Z tal que

x = qpk−1 + r, r ∈ {0, . . . , pk−1 − 1}.

De aquí, |x − r|p = |qpk−1 |p ≤ p−k−1 . Luego x ∈ B[r, p−k−1 ] para algún r. Se sigue
que
pk−1
[−1
Z⊆ B[r, p−k−1 ].
r=0

Por el lema 2.2.1 y aplicando cerradura

pk+1
[−1 pk−1
[−1 pk+1
[−1 pk+1
[−1
−k−1 −k
Zp = Z ⊆ B[r, p−k−1 ] = B[r, p ]= B(r, p ) ⊆ B(r, ǫ).
r=0 r=0 r=0 r=0

Esto implica que Zp es totalmente acotado. Termina así la prueba.

44
Proposición 2.2.2. Qp no es algebraicamente cerrado.

Demostración. Sea m ≥ 2 en Z. Consideremos la ecuación f (X) = X m − p ∈ Qp [X].

Supongamos que podemos resolver f en Qp , existe b ∈ Qp tal que bm = p. Aplicando
| · |p , tenemos |b|m m −1
p = |b |p = |p|p = p . Luego, |b|p = p
−1/m
; pero, por el lema 2.2.1 item
a), deberíamos tener |b|p ∈ pZ ∪ 0. Tenemos una contradición, probando lo pedido.

Lema 2.2.2. Sea (an )n secuencia en Zp con índices en Z+ ∪ {0}, entonces la serie
n
!
X X
i
secuencia ai p converge en Zp . El límite se denota como ai pi .
i=0 n i≥0

Demostración. Usaremos la proposición 1.1.3. Como

n+1 
X n
X   
 i
= an+1 pn+1  ≤ p−(n+1)



ai pi − ai p 
i=1 i=1
n
!
X
n+1 i
y limn p = 0 en R, debemos tener que ai p es secuencia de Cauchy en Zp , y
i=0 n
por la completitud de Zp , converge en Zp .

Lema 2.2.3. Denotemos T el conjunto de secuencias de {0, . . . , p − 1} con índices en

Z+ ∪ {0}. Definimos la función f : T → Zp , bien definida por el lema 2.2.2, como
X
T ((an )n ) = an pn .
n≥0

Entonces f es inyectiva.

De hecho, f es función biyectiva. Dando así una forma para expresar los
elementos de Zp .

Demostración. Sean (an )n , (bn )n ∈ T tal que f ((an )n ) = f ((bn )n ). Esto significa que
la secuencia
k
X
zk = (an − bn )pn converge a 0 y (an − bn ) ∈ {−(p − 1), . . . , p − 1}. (2.1)
n=0

Notemos si an 6= bn entonces |(an − bn )pn | = |an − bn ||p|n = p−n .

Supongamos que (an )n 6= (bn )n . Sea l ≥ 0 menor tal que al 6= bl . Entonces (2.1)
indica que zk tiene sumandos no nulos para k ≥ l y todos estos sumandos tienen valor
absolutos todos diferentes dos a dos. Entonces para k ≥ l
   
Xk  Xk  n o
     
|zk | =  (an − bn )pn  =  (an − bn )pn  = max (an − bn )p−n  = p−l .
    n=l,...,k
n=0 n=l

45
Esto implica que limk |zk | = pl , lo que contradice que limk zk = 0. Por tanto, f es
inyectiva.

Proposición 2.2.3. Zp y Qp tiene cardinal ℵ1 .

Demostración. Recordemos para punto en Qp se le asocia muchas secuencias de

Cauchy en Q que son diferentes para cada punto. Luego, tenemos la desigualdad

 +

cardinal(Zp ) ≤ cardinal(Qp ) ≤ cardinal QZ = ℵℵ0 0 = ℵ1 .

Por el lema 2.2.3,

 +

cardinal(Zp ) ≥ cardinal(T ) = cardinal {0, . . . , p − 1}Z = p ℵ 0 = ℵ1 .

Por tanto, cardinal(Zp ) ≤ cardinal(Qp ) = ℵ1 .

Proposición 2.2.4. Qp es segundo numerable.

Demostración. Por definición de compleción de Qp , Q es denso en Qp .

Proposición 2.2.5. Qp no es isomorfismo a R.

Demostración. Supongamos que existe f : R −→ Qp . Como p tiene raíz cuadrada en

R, entonces p = f (p) debería tener raíz cuadrada en Qp . Pero ya vimos que esto no es
posible. Por tanto R y Qp no pueden ser isomorfos.

46
2.3 El campo Qp , la clausura algebraica de Qp

En la sección anterior al construir el campo valuado completo Qp , nos encontramos

con el problema que no es algebraicamente cerrado. Por este motivo vamos a construir
un nuevo campo valuado extensión de Qp usando la clausura algebraica.

Construcción 2.3.1. Por la proposición 1.5.4, podemos extender el valor absoluto | · |p

en Qp a su clausura algebraica, Qp . El valor absoluto extendido en Qp será denotado,
también, | · |p . Igualmente que con Qp , dejaremos entendido el valor absoluto | · |p en Qp .

Con este nuevo campo nos enfrentamos a un problema, que ya habíamos tenido
anteriormente.

Lema 2.3.1. Sea x ∈ Qp tal que [Qp (x) : Qp ] ≤ n, entonces existe f ∈ Zp [T ] \ 0 de grado
menor o igual que n tal que f (x) = 0 y f (T ) = an T n + . . . + a0 con algún ak igual a 1.

Demostración. Sabemos que existe g ∈ Qp [T ] \ 0 tal que g(x) = 0. Escribimos

g(T ) = bn T n + . . . + b0 .

Sea bk tal que |bk | = max {|bj |} > 0 (los coeficientes no son todos nulos).
j=1,...,n

Consideremos el polinomio

n
f (T ) = b−1 −1 −1
k g(T ) = bk bn T + . . . + bk b0

que claramente es no nulo y se anula en x. Analizando los coeficientes, como |bk | ≥ |bi |
∀i = 1, . . . , n, tenemos cuando bi 6= 0 que

|b−1 −1 −1
k bi | = |bk | |bi | ≤ |bi | |bi | = 1.

Cuando bi = 0, entonces b−1

k bi = 0. Esto implica que los coeficientes de f están en Zp .

Además el término de índice k de f es b−1

k bk = 1.

Proposición 2.3.1. Qp es de primera categoría, esto es, existe una colección

S
enumerable de cerrados de interior vacío (Fn )n de Qp tal que Qp = n Fn . En
consecuencia, por el Teorema de Baire, Qp no es completo.

47
 Igualmente como para Q, la no completitud de Qp implica que Qp no es
esféricamente completo, por el corolario 1.6.1, ni localmente compacto, por la
proposición 1.6.2.

Demostración. Para pobar esto, definamos los subconjuntos

Xn = {x ∈ Qp : deg x = [Qp (x) : Qp ] ≤ n} n ∈ Z+ .

El conjunto Xn puede reescribirse como,

Xn = {x ∈ Qp : x es raíz de un polinomio no nulo de grado ≤ n en Qp }.

Claramente X1 = Qp . Como todos los elementos de Qp son algebraicos sobre Qp ,

entonces todo elemento de Qp está en algún Xn . Esto es, Qp = ∪n≥1 Xn .

Se cumple que,

a) Xn 6= Qp ∀n ∈ Z+ .

Escogemos x ∈ Qp tal que xn+1 = p. Se cumple que 1, . . . xn son Qp -LI. En efecto,

sean a0 , . . . , an ∈ Qp tal que a0 + . . . + an xn = 0. Como xn+1 = p, entonces
|x|−1/(n+1)
p . Luego, para cada ai 6= 0

|ai xi |p = |ai |p |x|ip ∈ pZp−i/(n+1) ⊆ p−i/(n+1)+Z, i = 0, . . . , n.

Entonces, |ai xi |p 6= |aj |xj para i 6= j, ai 6= 0, aj 6= 0. Entonces

0 = |0|p = |a0 + . . . + an xn |p = max {|ai xi |p }.

i=0,...,n

Así, ai = 0 ∀i = 0, . . . , n. Se sigue que 1, . . . , xn son Qp -LI.

Luego [Qp (x), Qp ] = n + 1, y esto significa que, x ∈

/ Xn . Por tanto, Xn 6= Qp .

b) λXn ⊆ Xn ∀λ ∈ Qp , n ∈ Z+ .

En efecto. Si λ = 0, es inmediato. Supongamos que λ 6= 0. Dado x ∈ Xn , existen

a0 , . . . , an ∈ Qp no todo nulos tal que

an xn + . . . + a0 = 0.

48
 Multiplicando por λn ,

an (λx)n + an−1 λ(λx)n−1 + . . . + a1 λn−1 (λx) + a0 λn = 0.

Notemos que an , an−1 λ, . . . , a1 λn−1 , a0 λn ∈ Qp no todos nulos. Luego, λx ∈ Xn .

c) Xm + Xn ⊆ Xmn , n, m ∈ Z+ .

En efecto. Sean x ∈ Xm , y ∈ Xn . Entonces

[Q(x + y), Qp ] ≤ [Qp (x, y), Qp ]

= [Qp (x, y), Qp (y)][Qp (y), Qp ]

≤ [QP (x), Qp ][Qp (y), Qp ]

≤ mn

Esto prueba que x + y ∈ Xmn .

d) Xn es cerrado ∀n ∈ Z+ .

Sea x ∈ Xn \ 0 y (xk ) secuencia en Xn tal que xk → x. Por el lema 2.3.1, existen

fk ∈ Zp [T ] \ 0 de grado menor o igual n tal que fk (xk ) = 0 y

fk (T ) = an,k T n + an−1,k T n−1 + . . . + a1,k T + a0,k

donde cada fk tiene al menos un coeficiente igual a 1. Entonces, existe una

subsecuencia de (aj,k )k para algún j fijo que tiene infinitos términos igual a 1. Por la
proposición 2.2.1, Zp es compacto, existen subsecuencias de cada ai,k convergentes.
Así, pasando a subsecuencias podemos considerar cada ai,k convergente a bi ∈ Zp y
algún aj,k convergente a bj = 1. Luego, definamos el polinomio no nulo en Zp [T ]

f (T ) = bn T n + . . . + b0 .

Notese que,

fk (xk ) = an,k (xk )n + . . . + a0,k → f (x) = bn (x)n + . . . + b0 .

Como fk (xk ) = 0 ∀k ≥ 1, entonces fk (xk ) → 0. Así, tenemos f ∈ Zp [T ] \ 0 de grado

menor o igual n tal que f (x) = 0 . Esto significa que x ∈ Xn .

Para completar, claramente 0 ∈ Xn .

49
e) Xn tiene interior vacío ∀n ∈ Z+ .

Supongamos lo contrario. Existen x ∈ Xn y r > 0 tal que B(x, r) ⊆ Xn . Por b) y c),

B(0, r) ⊆ B(x, r) + {−1} · {x} ⊆ Xn + Qp Xn ⊆ Xn2 .

Sea y ∈ Qp arbitrario no nulo. Como (Q, | · |p ) es no discreto, podemos escoger

z ∈ B(0, r/|y|) ∩ Q no nulo. Notemos que zy ∈ B(0, r). Entonces, por b)

y = z −1 (zy) ∈ QB(0, r) ⊆ Qp Xn2 ⊆ Xn2 .

Entonces, Qp ⊆ Xn2 . Esto no es posible por a). Por tanto Xn no tiene punto interior
∀n ∈ Z+ .

Los items d) y e) implican que X es un espacio de primera categoría.

Proposición 2.3.2. Qp tiene cardinal ℵ1 .

Demostración. Se sigue del hecho que un campo y su clausura tienen el mismo

cardinal.

Proposición 2.3.3. Qp es segundo numerable.

Demostración. Repetiremos la prueba de Continuidad de Raíces.

Sean x ∈ Qp y ǫ > 0. Consideremos f ∈ Qp [X] el polinomio mónico irreducible de
x sobre Qp . Sea g ∈ Q[X] un polinomio del mismo grado que f que vamos a construir, y
su factorización g(X) = (X − a1 ) . . . (X − an ) ∈ Qp [X]. Definamos
M = max{1, |x|, . . . , |x|n−1 }. Entonces
 
n
Y Yn 
 
|x − ai | =  (x − ai ) = |g(x)| = |g(x) − f (x)|.
 
i=1 i=1

Escribamos f (X) − g(X) = bn−1 X n−1 + . . . + b0 , entonces

n
Y
|x − ai | = |g(x) − f (x)|
i=1
= |bn−1 xn−1 + . . . + x0 |

≤ max{|bn−1 xn−1 |, . . . , |b0 |}

= max{|bn−1 |, . . . , |b0 |} max{|xn−1 |, . . . , 1}

≤ kf − gkM

50
De donde, para al menos un índice k se debe tener

|a − bk | ≤ kf − gk1/n M 1/n ,

o equivalentemente
bk ∈ B(a, kf − gk1/n M 1/n ) en Qp .

Escogemos δ = ǫn /M > 0. Por la densidad de Q en Qp , regresamos al principio y

escogemos g tal que kf − gk < δ. Esta ultima desigualdad implica
 n 1/n
1/n 1/n 1/n 1/n ǫ
|a − bk | ≤ kf − gk M <δ M = M 1/n = ǫ.
M

Finalmente notemos que bk ∈ Q, por ser raíz de g ∈ Q[X]. Esto prueba que Q es denso
en Qp y además Q es numerable, por ser la clausura de Q. Esto termina la prueba.

51
2.4 El campo esféricamente completo y algebraicamente cerrado Ωp

El campo valuado Qp resultó no ser completo, pero si algebraicamente cerrado. En

esta sección, lo más natural sería hacer la compleción, sin embargo, extenderemos Qp de
una manera más radical que la campleción. Construiremos el campo esféricamente
completo y algebraicamente cerrado Ωp . Este procedimiento se puede realizar de una
manera más general, ver [3].

Construcción 2.4.1. Definamos el conjunto

l∞ (Qp ) = {Secuencias acotadas en Qp }.

Definamos también las funciones

+ : l∞ (Qp ) × l∞ (Qp ) −→ l∞ (Qp )

((xn )n , (yn )n ) 7−→ (xn + yn )n

· : l∞ (Qp ) × l∞ (Qp ) −→ l∞ (Qp )

((xn )n , (yn )n ) 7−→ (xn yn )n

Estas funciones dotan a l∞ (Qp ) de una estructura de anillo y de Qp -espacio vectoral

normado. Definamos el conjunto U como el ultrafiltro en Z+ conteniendo los
subconjuntos [n, +∞) ⊆ Z+ .

Lema 2.4.1. Dado (xn )n ∈ l∞ (Qp ), lim |xn |p existe.

U

Demostración. Es un resultado de topología.

Queremos construir un campo a partir de l∞ (Qp ). Para ello vamos a definir el

conjunto
m = {(xn )n ∈ l∞ (Qp ) : lim |xn |p = 0}.
U

Lema 2.4.2. El conjunto m es ideal maximal l∞ (Qp ).

Demostración. Sean (xn )n ∈ l∞ (Qp ) \ m y r = limU |xn |p > 0. Luego,

 
+ r
A = n ∈ Z : ||xn |p − r| < ∈ U.
2

52
Por la desigualdad triangular, 0 < r/2 < |xn |p < 3r/2 ∀n ∈ A. Definamos la secuencia
(yn )n como 


 1/xn , n ∈ A
yn = 
 0 , n∈
/A

Se sigue que |yn | < 2/r ∀n ∈ A. Luego (yn )n es una secuencia acotada y pertenece a
l∞ (Qp ). En inmediato, de la construcción, que 1 − xn yn = 0 ∀n ∈ A. Entonces,
1 − (xn )n (yn )n ∈ m. Esto implica que l∞ (Qp ) = (xn )n l∞ (Qp ) + m para todo
(xn )n ∈ l∞ (Qp ) \ m. Por tanto m es ideal maximal en l∞ (Qp ).

Denotaremos, Ωp = l∞ (Qp )/ m y [(xn )n ] = (xn )n + m. Pasaremos a definir un valor

absoluto ultrámetrico en este campo

k·k : Ωp −→ [0, +∞)

[(xn )n ] 7−→ lim |xn |p .
U

Lema 2.4.3. (Ωp , k · k) es un campo ultramétrico extensión de Qp .

Demostración. Vamor a probar que k · k es valor absoluto ultramétrico en Ωp . Sean

x = [(xn )n ], y = [(yn )n ], z = [(zn )n ] ∈ Ωp .

a) k · k es bien definido: Sea x = y, es decir, (xn )n − (yn )n ∈ m. O lo mismo,

limU |xn − yn |p = 0. Dado ǫ > 0

{n ∈ Z+ : |xn − yn |p < ǫ} ∈ U.

Como ||xn |p − |yn |p | ≤ |xn − yn |p , entonces

{n ∈ Z+ : |xn − yn |p < ǫ} ⊆ {n ∈ Z+ : ||xn |p − |yn |p | < ǫ}.

Como U es ultrafiltro,

{n ∈ Z+ : ||xn |p − |yn |p | < ǫ} ∈ U.

Esto implica que limU |xn |p = limU |yn |p . Esto significa que k · k no depende de la
secuencia representante.

53
b) kxk = 0 ⇐⇒ x = 0:

kxk = 0 ⇐⇒ lim |xn | = 0 ⇐⇒ (xn )n ∈ m ⇐⇒ x = [(xn )n ] = 0.

U

c) kxyk = kxkkyk:
  
kxyk = k[(xn yn )n ]k = lim |xn yn |p = lim |xn |p lim |yn |p = kxkkyk.
U U U

d) kx + yk ≤ max{kxk, kyk}:

kx + yk = k[(xn + yn )n ]k = lim |xn + yn |p ≤ lim max{|xn |p , |yn |p }

U U
 
= max lim |xn |p , lim |yn |p = max{kxk, kyk}.
U U

Así, hemos probado que (Ωp , k · k) es campo ultramétrico.

Hemos terminado la construcción. Ahora, definiremos la función

T : Qp −→ Ωp
x 7−→ [(x)n ]

Proposición 2.4.1. T es un homomorfismo isométrico de campos.

Demostración. Sean x, y ∈ Qp .

T (x + y) = [(x + y)n ] = [(x)n + (y)n ] = [(x)n ] + [(y)n ] = T (x) + T (y),

T (xy) = [(xy)n ] = [(x)n (y)n ] = [(x)n ][(y)n ] = T (x)T (y),

kT (x)k = k[(x)n ]k = lim |x|p = |x|p .

U

Esto prueba lo pedido.

Mediante T podemos identificar Qp dentro de Ωp y ver que los valor absolutos | · |p

y k · k son iguales en Qp . Así podemos ver Qp como subcampo de Ωp y k · k como
extensión de | · |p .
De esta manera hemos construido un nuevo campo valuado (Ωp , k · k) extendiendo
al campo valuado (Qp , | · |p ).
En lo que sigue, vamos a demostrar las propiedades de este campo.

54
Proposición 2.4.2. Ωp es algebraicamente cerrado.

Demostración. Sea f ∈ Ωp [X] polinomio mónico de grado n ≥ 1. Escribamos

f (X) = X n + an−1 X n−1 + . . . + a0 .

Podemos escribir, ak = [(ak,i )i ] para cada i = 0, . . . , n − 1. Consideremos los polinomios

fi (X) = X n + an−1,i X n−1 + . . . + a0,i ∈ Qp [X].

Como Qp es algebraicamente cerrado existen xi ∈ Qp tal que

fi (xi ) = xni + an−1,i xn−1

i + . . . + a0,i = 0.

Luego,

|xi |np = |xni |p = | − an−1,i xn−1

i − . . . − a0,i |p ≤ |a0,i | ≤ max{|a0,i |p } < +∞.
i≥1

r
De donde |xi |p ≤ n max{|a0,i |p } < +∞. Así, tenemos que la secuencia (xi )i es acotada,
i≥1

lo que implica que x = [(xi )i ] ∈ Ωp . Finalmente,

f (x) = xn + an−1 xn−1 + . . . + a0

= [(xi )i ]n + [(an−1,i )i ][(xi )i ]n−1 + . . . + [(a0,i )i ]

= [(xni + an−1,i xn−1

i + . . . + a0,i )i ]

= [(fi (xi ))i ]

= [(0)i ]

= 0.

Se demuestra así que todo polinomio mónico en Ωp tiene al menos una raíz en Ωp . Por
tanto Ωp es algebraicamente cerrado.

Lema 2.4.4. Sean x = [(xn )n ] ∈ Ωp y A ∈ U. Se cumple

( )
kxk = inf sup {|xn − yn |p } ≤ sup |xn |p .
(yn )n ∈m n∈Z+ n∈A

Demostración. Probaremos tres desigualdades:

55
 ( )
a) kxk = inf sup {|xn − yn |p } :
(yn )n ∈m n∈Z+

Para cada (yn )n ∈ m tenemos

kxk = k[(xn )n ]k = k[(xn )n − (yn )n ]k = lim |xn − yn |p ≤ sup {|xn − yn |p } .

U n∈Z+

Aplicando inf obtenemos

(yn )n ∈m

( )
kxk ≤ inf sup {|xn − yn |p } .
(yn )n ∈m n∈Z+

( )
b) inf sup {|xn − yn |p } ≤ sup |xn |p :
(yn )n ∈m n∈Z+ n∈A

Definimos la secuencia 


 0 , n∈A
znA =


 xn , n ∈
/A

Claramente (znA )n es una secuencia acotada, ya que (xn )n es acotada, y pertenece a

 
 
m, esto es, lim znA  = 0.
U p

Entonces
( )
n o
inf sup {|xn − yn |p } ≤ sup |xn − znA |p = sup |xn |p .
(yn )n ∈m n∈Z+ n∈Z+ n∈A

( )
c) inf sup {|xn − yn |p } ≤ kxk:
(yn )n ∈m n∈Z+

Aplicando inf en el item b) tenemos

A∈U
( ) ( )
inf sup {|xn − yn |p } ≤ inf sup |xn |p = lim sup |xn |p = lim |xn |p = kxk.
(yn )n ∈m n∈Z+ A∈U n∈A U U

Así hemos probado lo pedido.

Proposición 2.4.3. Ωp es esféricamente completo.

Demostración. Sea (B[xn , rn ])n una secuencia decreciente de bolas cerradas en Ωp .

Como Ωp es ultramétrico y por la proposición 1.1.2,

B[xn+1 , rn+1 ] ⊆ B[xn , rn ] = B[xn+1 , rn ] ∀m ≥ n ≥ 1,

56
lo que implica que kxn+1 − xn k ≤ rn y rn+1 ≤ rn ∀n ∈ Z+ . Podemos escribir
an = [(αn,i )i ]. Luego, por el lema 2.4.4,
( )
kxn+1 − xn k = inf sup {|αn+1,i − αn,i − βi |p } ≤ rn < rn−1 .
(βi )i ∈m i∈Z+

Definimos r0 > 0 arbitrariamente grande. Por propiedad del ínfimo, existe (γn,i )i ∈ m
tal que

sup {|αn+1,i − αn,i − γn,i |p } < rn−1

i∈Z+

Por inducción sobre n, fijando (αn,i )i podemos redefinir (αn+1,i )i como (αn+1,i )i − (γn,i )i
ya que ambos son representantes de xn . Entonces,

sup {|αn+1,i − αn,i |p } < rn−1 .

i∈Z+

Se sigue,

|αn+1,i − αn,i |p < rn−1 ∀n, i ∈ Z+ .

Dado m ≥ n y dado que (rn )n es decreciente tenemos

|αm,i − αn,i |p = |αm,i − αm−1,i + αm−1,i − . . . − αn+1,i + αn+1,i − αn,i |p

≤ max {|αm,i − αm−1,i |p , . . . , |αn+1,i − αn,i |p }

< max {rm−2 , . . . , rn−1 }

= rn−1 ∀i, m, n ∈ Z+ , m ≥ n.

Supongamos por ahora que la secuencia (αi,i )i es acotada y define el elemento x ∈ Ωp .

Luego, por el lema 2.4.4 y la desigualdad anterior,

kx − xn k ≤ sup |αi,i − αn,i |p ≤ rn−1 .

i∈[n,+∞)

Entonces,

kx − xn k ≤ max{kx − xn+1 k, kxn+1 − xn k} ≤ max{rn , rn } = rn ,

o lo que es lo mismo x ∈ B[xn , rn ] ∀n ∈ Z+ . Esto implica que (B[xn , rn ])n tiene

intersección no vacía. Esto prueba que Ωp es esféricamente completo.

57
 Solo falta probar que (αi,i )i es acotada. En efecto, recordemos que

|αm,i − αn,i |p < rn−1 ∀i, m, n ∈ Z+ , m ≥ n.

Haciendo n = 1, m = i, tenemos

|αi,i − α1,i |p < r0 ∀i ∈ Z+ .

Recordemos que r0 es fijo suficientemente grande. De la desigualdad triangular

|αi,i |p < r0 + |α1,i |p ∀i ∈ Z+ .

Como la secuencia (α1,i )i es acotada, sea C > 0 tal que |α1,i |p ≤ C ∀i ∈ Z+ . Luego

|αi,i |p < r0 + |α1,i |p ≤ r0 + C ∀i ∈ Z+ .

Esto prueba que (αi,i )i es acotada, como se quería.

En lo que sigue, el valor absoluto k · k pasará ser denotado como | · |p .

Corolario 2.4.1. Ωp no es segundo numerable.

Demostración. Por la proposición 1.6.3, como Ωp es esféricamente completo y |Qp |p es

denso en [0, +∞), Ωp no puede ser segundo numerable.

Proposición 2.4.4. Ωp tiene cardinal ℵ1 .

Demostración. A cada punto de x ∈ Ωp le corresponde una (de muchas) secuencia

(xn )n en Qp , que es diferente para cada x ∈ Ωp . Entonces
 
Z+
ℵ1 = cardinal(Qp ) ≤ cardinal(Ωp ) ≤ cardinal Qp = ℵℵ1 0 = ℵ1 ,

de donde cardinal(Ωp ) = ℵ1 .

58
2.5 El campo Cp , la compleción de Qp

El campo valuado Cp es un subcampo de Ωp , exactamente la compleción de Qp .

Los campo Cp y C, resultan ser isomorfismos como campos, sin embargo, sus topologías
son diferentes.

Definición 2.5.1. Definimos el campo valuado Cp como la cerradura de Qp en Ωp con

el valor absoluto restricto.

Proposición 2.5.1. Cp es la compleción de Qp .

Demostración. Se sigue de la definición de Cp que Cp es extensión de Qp , al igual que

los valores absolutos respectivos, Qp es denso en Cp . Cp , por ser cerrado del espacio
completo Ωp , es completo. Todo esto prueba lo pedido.

Proposición 2.5.2. Cp es segundo numerable.

Demostración. Debido que, por la proposición 2.3.3, Qp es segundo numerable y

denso en Cp .

Proposición 2.5.3. Cp no es esféricamente completo.

Demostración. Debido a la proposición 1.6.3, ya que Cp es segundo numerable y |Qp |p

es denso en [0, +∞).

Corolario 2.5.1. Cp no es localmente compacto.

Demostración. Por proposición 1.6.2, localmente compacto implica esféricamente

completo. Luego, como Cp no es esféricamente completo, entonces Cp no es localmente
compacto.

Observación 2.5.1. Recordemos que en un espacio métrico completo, todo cerrado es

también completo. El campo Ωp y el subcampo cerrado Cp son un ejemplo de que un
cerrado de un espacio esféricamente completo no tiene porque ser esféricamente
completo.

Proposición 2.5.4. Cp es algebraicamente cerrado.

59
Demostración. Usaremos que (Cp , | · |p ) es un campo ultramétrico no discreto de
característica 0. Sea a ∈ Cp elemento algebraico de grado n ≥ 1 sobre Cp y sea f su
polinomio mónico irreducible sobre Cp . Por densidad de Qp en Cp y la proposición 1.5.6
(continuidad de raíces), podemos escoger g ∈ Qp [X] de grado n suficientemente cerca de
f tal que tiene una raíz b ∈ Cp (a) tal que Cp (b) = Cp (a). Como Qp es algebraicamente
cerrado, b es necesariamente en Qp , así Cp (a) = Cp (b) = Cp . Entonces a ∈ Cp . Esto
prueba que Cp es algebraicamente cerrado.

Lema 2.5.1. Cp tiene cardinal ℵ1 .

Demostración. Como Qp ⊂ Cp ⊂ Ωp y cardinal(Qp ) = cardinal(Ωp ) = ℵ1 , se sigue lo

pedido.

Proposición 2.5.5. C y Cp son campos isomorfos.

Demostración. Sea S y T bases de trascendencia de C y Cp sobre Q, respectivamente.

Note que S y T deben tener cardinal ℵ1 , el mismo que C y Cp . Se sigue que Q(S) y
Q(T ) son isomorfos. Pasando a la clausura algebraica, debemos tener que C = Q(S) y
Cp = Q(T ) son isomorfos.

Proposición 2.5.6. Ωp no es localmente compacto.

Demostración. Usaremos sucesivamente 1.2.4. Supongamos que Ωp es localmente

compacto. Entonces OΩp es compacto. Como Cp es completo, tenemos que Cp es un
cerrado de Ωp . Luego, el subconjunto cerrado OCp = OΩp ∩ Cp de OΩp es compacto. Lo
que implica que Cp es localmente compacto. Contradicción. Por tanto Ωp no es
localmente compacto.

60
Capítulo 3

Conclusiones
• En este trabajo realizamos las construcciones

compleción clausura algebraica compleción esférica

(Q, | · |p ) // Qp // Qp // Ωp
OO
compleción
((  ?
Cp

• Resumiremos los resultados principales en la siguiente tabla.

Tabla 1
Cuadro resumen de resultados principales.
(K, | |) Q Qp Qp Cp Ωp

¿Es algebraicamente cerrado? NO NO SI SI SI

¿Es completo? NO SI NO SI SI
¿Es esféricamente completo? NO SI NO NO SI
¿Es localmente compacto? NO SI NO NO NO
¿Qué cardinal tiene? ℵ0 ℵ1 ℵ1 ℵ1 ℵ1
¿Es segundo numerable? SI SI SI SI NO
¿Subconjunto numerable denso? Q Q Q Q

• Según la tabla 1, basta las propiedades algebraicamente cerrado, completo y

esféricamente completo para distingir los campos Q, Qp , Qp , Cp y Ωp ; pero son
iguales para Qp y R, y también para Ωp y C.

• Podemos ver que R tiene las mismas respuestas a las preguntas, como Qp . Pero, a
diferencia de R, Qp es totalmente disconexo, por la proposición 1.1.2. Además R y
Qp no son campos isomorfos, por la proposición 2.2.5.

• El campo Cp resulto ser isomorfo como campo a C. Existe el análisis en Cp , que

tiene resultados en paralelo con el análisis complejo.

61
• Por el corolario 1.6.1, todo espacio métrico esféricamente completo es completo
completo. El recíproco no es cierto, ejemplo: Cp .

• Por la proposición 1.6.2, todo campo localmente compacto es esféricamente

completo. El recíproco no es cierto, ejemplo; Ωp .

• Por la proposición 1.6.3, un campo ultramétrico segundo numerable (K, | · |) con

|K| denso en [0, +∞) no es esféricamente completo. La condición “|K| denso en
[0, +∞)” no puede ser evitada, ejemplo: Qp es segundo numerable, esféricamente
completo y, por el lema 2.2.1, |Qp |p = pZ ∪ {0}; y Q es segundo numerable, no
esféricamente completo y |Q|p = pZ ∪ {0}.

• Nuevamente, en la proposición 1.6.3, la condición “ultramétrico” no puede ser

evitada, ya que R es segundo numerable, esféricamente completo y |R| = [0, +∞).

• Se cumple que todo cerrado de un espacio métrico completo es también completo.

Esto no es cierto para espacios métricos esféricamente completos. En efecto, Ωp es
esféricamente completo, pero Cp a pesar de ser cerrado en Ωp , Cp no es
esféricamente completo.

62
 Bibliografía

[1] Bourbaki, N. (1987). General topology. Elements of Mathematics. Berlin:

Springer-Verlag.

[2] Cohen, L. W. and Ehrlich, G. (1963). The structure of real number system. New
York: Van Nostrand.

[3] Escassut, A. (1995). Analytic elements in p-adic analysis. Singapore: World

Scientific.

[4] Fraleigh, J. B. (1982). A first course in abstract algebra (3rd ed.). Massachusetts:
Addison-Wesley.

[5] Knapp, A. W. (2016). Basic algebra (Digital 2nd ed.). New York.

[6] Koblitz, N. (1984). p-adic numbers, p-adic analysis, and zeta-functions (2nd ed.).
New York: Springer-Verlag.

[7] McCarthy, P. J. (1991). Algebraic extensions of fields. New York: Dover

Publications.

[8] Robert, A. M. (2000). A course in p-adic analysis. New York: Springer-Verlag.

[9] Schikhof, W. H. (2006). Ultrametric calculus - an introduction to p-adic analysis.

New York: Cambridge University Press.

[10] Villa, G. D. (2005). Introducción a la teoría de las funciones algebraicas. España:

Fondo de Cultura Económica.

63