You are on page 1of 91

U N IV E R S ID AD D E C O N C E P C I N

F AC U LT AD D E C IE N C IAS F S IC AS Y M AT E M T IC AS
P R O G R AM A D E M AG IS T E R E N M AT E M T IC AS -AC AD M IC O

Productos Interiores No-Arquimedeanos

P rofesor G ua: Jos Aguayo G arrido


D epartam ento de M ate m tica
F acultad de C iencias F sicas y M atem ticas
U niversidad de C once pcin

T esis pa ra se r presenta da a la D ireccin de P ostgrado de la U nive rsidad


de C oncepcin
D AN IE L E D U AR D O IN Z U N Z A H E R R E R A
C O N C E P C I N -C H ILE
2011

Productos Interiores No-Arquimedeanos


Daniel Inzunza Herrera
Enero de 2011

ndice general
i

Agradecimientos

ii

Introduccin
1. Conceptos Bsicos
1.1. Espacios Ultramtricos . . .
1.2. Campos Ultramtricos . . .
1.2.1. Espacios de Banach
1.3. Los espacio c0 (I) y ! (I) .
1.3.1. Bases . . . . . . . .
1.4. Ortogonalidad . . . . . . . .
1.5. Espacios de Tipo contable .
1.6. Conjuntos Compactoides . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

1
1
3
9
10
11
17
21
21

2. Producto Interior No-Arquimedeano


2.1. Normalidad . . . . . . . . . . . . . .
2.2. Productos Interiores Compatibles . .
2.3. Producto Interior Simtrico . . . . .
2.4. Gram-Schmidt en c0 . . . . . . . . .
2.5. La propiedad de Riemann-Lebesgue
2.6. Complementos Normales . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

24
26
28
31
36
37
41

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

3. Operadores sobre c0
46
3.1. Proyecciones Normales . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2. Operadores Adjuntos y Auto-Adjuntos . . . . . . . . . . . . . . . 53
3.3. Operadores Compactos . . . . . . . . . . . . . . . . . . . . . . . . 60
4. El Espacio E
70
4.1. Complementos Normales . . . . . . . . . . . . . . . . . . . . . . . 75
4.2. Proyecciones Normales . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3. Adjunto de un Operador . . . . . . . . . . . . . . . . . . . . . . . 79

Agradecimientos
Quiero agradecer de forma muy especial a mi profesor guia, Jos
Aguayo, por su infinita paciencia, constante preocupacin y estmulo permamente en el desarrollo de esta tesis.
A mis padres y hermanos por su incondicional apoyo en todos los
aos de mi vida, como tambin a las muchas personas con quienes
comparto a diario, que de una u otra forma hicieron posible el
desarrollo de esta tesis.

Introduccin
Desde 1945 se ha intentado definir, de manera apropiada, un producto interior
no-arquimedeano y con ello un espacio con producto interior no-arquimedeano.
Estos espacios muestran una cercana analoga con los espacios de Hilbert clsicos
pero, al contrario de estos, no son ortomodulares: es decir, dado X espacio de
Banach y M X subespacio, se tiene
M = M X = M M

(1)

La existencia de un espacio no arquimedeano de dimensin infinita (no clsico)


ortomodular fue una pregunta abierta durante cierto tiempo, hasta que A. Keller
dio una respuesta positiva en 1980 [10].
Tales espacios deben ser poco comunes, segn el siguiente teorema de M.P. Solr
[11]: Sea X un espacio ortomodular y supongamos que contiene una sucesin
ortonormal e1 , e2 , . . .(en el sentido del producto interior). Entonces el campo de
base es R o C y X es un espacio de Hilbert clsico.
El objetivo de este trabajo es lograr definir un producto interior sobre un espacio de Banach E, y analizar las condiciones necesarias y suficientes para que los
subespacios cerrados de E admitan un complemento normal. En particular, se
enfocar el estudio al espacio de Banach c0 (T ).
Esta tesis est estructurada de la siguiente forma: en el Captulo 1 se revisan
algunas definiciones y resultados necesarios para el desarrollo de este trabajo.
As, por ejemplo, se estudian los campos y espacios ultramtricos. Adems, de
definir los espacios de Banach c0 (T ) y ! (T ) se demuestra que todo espacio que
tiene una base es linealmente homeomorfo a algn c0 (T ). Por otro lado, con la
idea de utilizar conjuntos compactos que tambin son convexos, se definen los
conjunto compactoides, y se muestran algunas propiedades generales sobre stos.
En el Captulo 2, se entrega la definicin de producto interior no-arquimedeano,
y se muestra la relacin que existe entre los vectores ortogonales y los productos interios no-arquimedeanos utilizando el concepto de Normalidad. Tambin,
dado un espacio de Banach E, se dan condiciones necesarias y suficientes para
que ste admita un producto interior no-arquimedeano. Adems, se muestra
que el espacio c0 (T ) admite un producto interior no-arquimedeano, que induce
ii

INTRODUCCIN

iii

la norma natural de c0 (T ) si y slo si el campo de clases residuales de K es


formalmente real. Sobre c0 (N), o simplemente c0 , se da un teorema del tipo
Gram-Schmidt, y se define la propiedad de Riemann-Lebesgue, la cual se utilizar para caracterizar los subespacios espacios ortomodulares existentes en c0 .
A tales subespacios se les denominar normalmente complementado.
En el Captulo 3, se definen lo operadores Proyeccin Normal, y se relacionan
stos con la propiedad de Riemann-Lebesgue y los subespacios normalmente
complementado. Se construyen operadores Proyeccin Normal a a partir de una
sucesin de elementos de c0 que tienen la propiedad de Reimann-Lebesgue. Posteriormente se estudian los operadores compactos y auto-adjuntos demostrando
una anlogo no-arquimedeano de un teorema de descomposicin espectral.
En el Captulo 4 y final, se generalizan los resultados
de "los captulos
!
1/2
anteriores para el espacio de Banach E = c0 N, K, |i |
, obtienendo
condiciones necesarias y suficientes para que E admita un producto interior
no-arquimedeano que induzca su norma. Por otro lado, se muestra que E no es
ortomodular y, al mismo tiempo se caracterizan los subespacios que admiten un
complemento normal. Se asocian las proyecciones normales a cada subespacio
que admite un complemento normal y, al final del captulo, se caracterizan las
proyecciones normales sobre E .

Captulo 1

Conceptos Bsicos
En este captulo presentamos nociones y resultados bsicos necesarios para
comprender la teora que en esta tesis se presenta. Definimos los conceptos
de espacios y campos ultramtricos, espacios de tipo contable, como tambin
el de espacio de Banach no-arquimedeano y base. En particular, se dedica una
seccin al estudio del espacio de Banach c0 (I), y se muestra un resultado clave
para el desarrollo de este trabajo.

1.1.

Espacios Ultramtricos

Definicin 1.1. Sea X un conjunto. Un mtrica sobre X es una funcin


d : X X [ 0, [ que satisface las siguientes propiedades:
1.

d(x, y) = 0 x = y.

2.

d(x, y) = d(y, x).

3.

d(x, y) d(x, z) + d(z, y).

para todo x, y X. El par (X, d) se llamar espacio mtrico.


Observacin 1.1. Sea (X, d) un espacio mtrico. Sea a X y r > 0. Entonces,
el conjunto
B(a, r) := {x X : d(x, a) r}
se llama bola cerrada de radio r y centro a. Del mismo modo, el conjunto
B(a, r ) := {x X : d(x, a) < r}
se llama bola abierta de radio r y centro a.
Definicin 1.2. Un espacio mtrico (X, d) se dice espacio ultramtrico si su
mtrica asociada d satisface adems
d(x, y) max{d(x, z), d(z, y)}
1

x, y X ,

CAPTULO 1. CONCEPTOS BSICOS

llamada desigualdad triangular fuerte.


En este caso, d se llama ultramtrica.
Observacin 1.2. A continuacin, enumeramos algunas hechos bsicos sobre
los espacios ultramtricos que lo diferencian del caso clsico. Si bien estos
resultados son sencillos de obtener, es necesario conocerlos para todo lo que
sigue.
1.

Cada punto de una bola es el centro de sta.

2.

Cada bola es abierta y cerrada a la vez.

3.

Dos bolas o bien son disjuntas, o bien una est contenida en la otra.

4.

Sean x, y, z X. Entonces, para d(x, y) += d(y, z), se tiene


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

El siguiente concepto tambin es parte de los espacio ultramtricos.


Definicin 1.3. Un espacio ultramtrico (X, d) se dir esfricamente completo
si cada sucesin de bolas B1 , B2 , . . . X con B1 B2 . . . tiene interseccin
no vaca.
Notar que, los espacios ultramtricos compactos son espacios esfricamente
completos. Adems, todo espacio ultramtrico esfericamente completo es
completo, sin embargo el recproco de este resultado es falso como lo muestra el
siguiente contra-ejemplo:
Se define en N la siguiente mtrica

0
si m = n

(
'
(m, n) =
.
1
1

si m += n
max 1 + , 1 +
n
m
Notar que (n, m) > 1 para todo n, m N, n += m, ().
Afirmamos que (N, ) es completo. En efecto, sea (xn )nN una sucesin de cauchy
en N. As, para cada $ > 0, existe N N tal que
n, m N = (xn , xm ) < $ .
Luego, de sto y utilizando (), se sigue que
n, m N

= (xn , xm ) = 0
= xn = xm
= xn = c , para algn c N

As, para este mismo N N, se obtiene


n N = (xn , xm ) = 0 < $ ,

CAPTULO 1. CONCEPTOS BSICOS

en otras palabras, (xn )nN es una sucesin de cauchy.


Por otro lado, para cada n N, se definen los conjuntos,
'
( )
*
1
1
Bn = B n, 1 +
= m N : (m, n) < 1 +
N,
n
n
los cuales cumplen la relacin: B1 B2 . . . y, claramente,
muestra que (N, ) no es esfricamente completo.

n=1

Bn = . Esto

Al igual como ocurre con los espacio vectoriales y la completitud de estos, todo
espacio vectorial normado est contenido en un espacio esfricamente completo.
Teorema 1.1 ([3] , 4.43). Cada espacio vectorial normado tiene una
completacin esfrica. Adems, dos completaciones esfricas de un espacio
vectorial normado son isomorfas.

1.2.

Campos Ultramtricos

Llamaremos valuacin sobre un campo K a una funcin || : K R que


satisface,
1. |x| 0, x K.
2. |x| = 0 x = 0K , x K.
3. |x y| = |x| |y|, x, y K.
4. |x + y| |x| + |y|, x, y K.
Llamaremos campo valuado o campo con valuacin al par (K, ||).
Observacin 1.3.
1.

Una valuacin || induce una mtrica d de la manera siguiente


d(x, y) := |x y| ,

x, y K .

La adicin, la multiplicacin y la inversin son continuas respecto de sta


mtrica d. K se dir completo si lo es respecto a la mtrica d.
2.

La bola cerrada unitaria es el conjunto


BK := { K : || 1} .
Del mismo modo, se define la bola abierta unitaria, como el conjunto
BK := { K : || < 1} .

CAPTULO 1. CONCEPTOS BSICOS

Definicin 1.4. Dos valuaciones se dirn equivalentes si inducen la misma


topologa.
El foco de estudio de esta tesis son los campos valuados no-arquimedeanos.
Definicin 1.5. Sea (K, ||) una campo con valuacin. La valuacin || se dir
no-arquimedeana, y K se dir un campo con valuacin no-arquimedeana, si
|| satisface adems la desigualdad triangular fuerte, es decir,
|x + y| max{|x| , |y|} ,

x, y K .

Un importante, y muy utilizado, resultado sobre valuaciones no-arquimedeanas


es el siguiente:
Teorema 1.2. Sea || una valuacin en K. Las siguientes aseveraciones son
equivalentes:
1.

La valuacin es no-arquimedeana.

2.

|n| 1, para todo n N.

3.

Si a, b K y |a| < |b|, entonces |b a| = |b|.

Demostracin.
1. 2. Induccin sobre n.

2. 1. Sea r = sup{|n| : n N}, el cual existe pues el conjunto {|n| : n N} es


acotado. Entonces, |nx| r |x| para todo n N y x K. Ahora, sean a, b K
y llamemos s = max{|a| , |b|}. Luego, para cada m N, se tiene
(
m -'
,
- m
m
j mj m
|a + b| = |(a + b)m |
a
b
- j
- (m + 1) r s .
j=0

As,

|a + b|

lm

"
.
(m + 1) r s = s = max{|a| , |b|} .

1. 3. Supongamos que |b| > |a| y notemos que

|b| = |a + b a| max{|a| , |b a|} = |b a|


As,
lo cual implica

(pues |b| > |a|) .

|b| |b a| max{|b| , |a|} = |b| ,


|b a| = |b| = max{|a| , |b|} .

3. 1. Si |a + b| > |a|, entonces |b| = |(a + b) a| = |a + b|. En particular,


|a + b| |b|. Del mismo modo, |a + b| |a| y as,
|a + b| max{|a| , |b|} .

CAPTULO 1. CONCEPTOS BSICOS

Corolario 1.1. Sea K un campo con valuacin no-arquimedeana completo y


sean x1 , x2 , . . . K.
1.
2.

Si lm xn = x += 0, entonces |xn | = |x| para n suficientemente grande.


n

Si lm xn = 0, entonces
n

xn converge en K.

n=1

Demostracin.

1. Supongamos que lm xn = x += 0, mostremos que |xn | = |x| para cierto


n

n suficientemente grande. En efecto, para $ = |x| > 0, existe N" N, tal


que
n , n N"

= |xn x| < |x|


= |xn x + x| = |x|
= |xn | = |x|

lo que muestra el resultado.


2. Como lm xn = 0, se tiene que dado $ > 0, existe N N tal que
n

n, n N = |xn | < $ .
Sea Sn =

n
,

xn . Mostraremos que (Sn )nN es una sucesin de cauchy. En

k=1

efecto, notar que para n, m N, n m, obtenemos


- n
- ,
|Sn Sm | = xk - max{|xk | : k = m + 1, m + 2, . . . , n} .
k=m+1

As,

n, m N = |Sn Sm | max{|xk | : k = m + 1, m + 2, . . . , n} < $ ,


lo que muestra que (Sn )nN es de cauchy. Luego, como K es completo, se
sigue que (Sn )nN converge a algn elemento de K, es decir, la serie

xn

n=1

converge.

Observacin 1.4. Denotaremos por K a K \ {0}, K es un grupo multiplicativo sobre K. De esto y de las propiedades de ||, se concluye que |K | = {|| :
K } es un grupo multiplicativo de nmeros reales positivos, llamado grupo
de valores de K. Para ste, tenemos tres posibilidades:

CAPTULO 1. CONCEPTOS BSICOS


1.

1 no es un punto de acumulacin de |K |. Entonces, |K | es un subgrupo


discreto de (0, ), en tal caso la valuacin se llama discreta.
Se demuestra que
= max{|| : BK }
existe y que |K | = {n : n Z}.

2.

Puede ocurrir que |K | = {1}. Entonces, la valuacin es conocida como


valuacin trivial y esta dada por
)
0 si = 0
|| :=
1 si K
cuya mtrica asociada es la trivial, la cual induce la topologa discreta.

3.

1 es un punto acumulacin de |K |. Entonces, |K | es un subgrupo denso


de (0, +), en tal caso la valuacin se llama densa.
Notar que, la bola unitaria BK de K no slo es cerrada para la
multiplicacin, si no que tambin es cerrada para la adicin, gracias a
la desigualdad triangular fuerte. As, BK es un anillo conmutativo con
identidad. La bola abierta BK es un ideal maximal en BK , pues cada
elemento de BK \ BK es invertible. Luego, BK /BK es un campo, llamado
campo de clases residuales de K, comunmente denotado por k.

Para K, || 1, el elemento de k determinado por se denotar por .


Ejemplo 1.1. Cada nmero primo p determina una valuacin no-arquimedeana
(valuacin p-dica) ||p sobre Q, definida por
|n| :=

pr(n)
0

si n += 0
,
si n = 0

donde r(n) es el nmero positivo ms grande tal que p r(n) divide a n.


El siguiente teorema clasifica todas las valuaciones sobre Q.
Teorema 1.3 ([3] , 1.2). Sea || una valuacin no-arquimedeana sobre Q.
Entonces, || es la valuacin trivial o es equivalente a alguna una valuacin
p-dica.
Al igual que en el caso caso clsico (Q, ||), donde || es el valor absoluto, (Q, ||p )
no es completo. La completacin de (Q, ||p ) se llama Qp , campo de los nmeros
p-dicos.
El siguiente teorema nos muestra como construir campos con valuacin noarquimedena. Daremos un bosquejo de su demostracin, y para ms detalles ver
[3, 1.3]

CAPTULO 1. CONCEPTOS BSICOS

Teorema 1.4. Sea F un campo y un subgrupo aditivo de R. Entonces, existe


un campo con valuacin no-arquimedeana K cuyo campo de clases residuales es
isomorfo a F y cuyo grupo de valores es {es : s }.
Demostracin. Se define la coleccin
S = {S : para cada s R, S (, s) es un conjunto finito} .
Esta coleccin satisface las siguientes propiedades:
1. {s} S, s .
2. Si S S y S += , entonces S tiene un primer elemento.
3. Si S S y T S, entonces T S.
4. Si S, T S, entonces S T S.
5. Si S, T S, entonces S + T S, donde S + T = {s + t : s S, t T }.
6. Si S, T S y u , entonces existe una cantidad finita de elementos s de
S tales que u s T .
7. Si S y si a1 , a2 , . . . R es una sucesin tal que lm an = mientras
que (, an ) S S para todo n, entonces S S.
Ahora, para una funcin f : F , se consideramos el conjunto
supp(f ) = {s : f (s) += 0}
y se define

K = {f : F/ supp(f ) S} ,

el cual es un espacio vectorial sobre F , con la operaciones de adiccin y producto


por escalar de funciones. Adems, para f, g K se define f g : F como
,
(f g)(u) =
f (s)g(u s) , u .
s

As, (K, +, ) resulta ser un campo.


Para f K\{0}, se denota r(f ) = mn supp(f ). As, se define
) r(f )
e
si f += 0
|f | =
.
0
si f = 0
Se demuestra que, || resulta ser una valuacin no-arquimedeana sobre K, cuyo
grupo de valores es justamente {es : s }.
Ahora, se define el homomorfismo de anillos
H

: {f K : |f | 1} F
f
3 H(f ) = f (0)

CAPTULO 1. CONCEPTOS BSICOS

Notar que el kernel de H es {f K : |f | < 1}. Entonces, al aplicar el primer


teorema de isomorfa se obtiene
{f K : |f | 1}/{f K : |f | < 1}
=F,
es decir, el campo de clases residuales de K es isomorfo a F .
Notar tambin que,
|f g| $ f = g en (, log($)) ,
con esto se muestra que K es completo.
Observacin 1.5. Si consideramos F = R y = Q en el teorema anterior,
entonces el campo K se conoce como campo de Levi-Civita y se denota por R.
Definicin 1.6. Un campo F se dir formalmente real si para cada
n
,
{a1 , a2 , . . . , an } F , con
a2i = 0, se tiene que ai = 0, para todo i =
1, 2, . . . , n.

i=1

Como un ejemplos conocido de la definicin anterior es el campo de los nmeros


reales R. En cambio el campo de los nmeros complejos C no es formalmente
real. Notar tambin que, el campo de clases residuales de R es formalmente real,
pues es isomorfo a R, en cambio, el campo de clases residuales de Qp no lo es,
pues es un campo finito.
Observacin 1.6. Sean F y como en el Teorema 1.4 y sea S la coleccin
de todos los subconjuntos bien ordenados de . Entonces, S satisface todas las
propiedades de 1. a 7. mencionadas en el Teorema 1.4 . Se define,
L = {S : S es bien ordenado}
y de la misma forma que en la demostacin del Teorema 1.4 , L tiene una
estructura de campo con valuacin no-arquimedeana, que resulta ser completo
para esta valuacin, cuyo grupo de valores es el conjunto {es : s } y su
campo de clases residuales es isomorfo a F .
El campo K construido en la demostracin del Teorema 1.4 es un subcampo
cerrado de L.
Los campos K y L coinciden si y slo si es un subgrupo discreto de R.
La siguiente proposicin muestra una importante propiedad de los campos
definidos anteriormente.
Proposicin 1.1 ([3] , pg. 25).
1.

El campo K dado en el Teorema 1.4 es esfricamente completo si y slo


si es discreto.

2.

El campo L mencionado en la observacin anterior es siempre esfricamente completo, ms an, L es la completacin esfrica de K.

CAPTULO 1. CONCEPTOS BSICOS

1.2.1.

Espacios de Banach

A partir de ahora, (K, ||) denotar un campo con valuacin no-arquimedeana y


completo. Adems, se asumir que la valuacin de K no es la trivial.
Definicin 1.7. Una norma no-arquimedeana en un espacio vectorial E sobre
K es una funcin 55 : E K que satisface:
1.

5x5 =
+ 0, si x += 0, x E.

2.

5x + y5 max{5x5 , 5y5}, x, y E.

3.

5 x5 = || 5x5, K, x E.

Observacin 1.7.
1.

Si E posee una norma no-arquimedeana, diremos que E es un espacio


normado no-arquimedeano.

2.

E se dir espacio de Banach, si ste es completo respecto a la mtrica


inducida por la norma
d(x, y) = 5x y5 ,

3.

x, y E .

La bola cerrada unitaria del espacio normado E, es el conjunto


BE := {x E : 5x5 1} .
Del mismo modo, la bola unitaria abierta del espacio normado E es el
conjunto

BE
:= {x E : 5x5 < 1} .
Se define, tambin

5E5 := {5x5 : x E} .

Notar que, en general 5E5 + |K|. Para ver esto, basta tomar s [0, [\ |K| y
definir la norma
55 = || s
en K. En este caso 5K5 =
+ |K|.

Observacin 1.8. Dos normas se dirn equivalente si ellas inducen la misma


topologa.
Al igual que el caso clsico, si se consideran dos normas 551 y 552 definidas
sobre un mismo espacio vectorial E, stas sern equivalentes si, y slo si, existen
constantes c > 0 y C > 0 tales que
c 5x51 5x52 C 5x51 ,

x E .

CAPTULO 1. CONCEPTOS BSICOS

10

Sean E y F espacio normados. Denotaremos por L(E, F ) a la coleccin de


todos los operadores lineales continuos de E en F , y por L(E) si F = E. Es
bien conocido que E ' denota a L(E, K).
Bajo las operaciones de adiccin y producto por escalar de funciones, el espacio
L(E, F ) es un espacio normado, con norma
5T 5 = sup
x(=0

5T (x)5
.
5x5

Por otro lado, la frmula


5T 5o = sup 5T (x)5
)x)1

tambin define una norma en L(E, F ) y, que a diferencia del caso clsico,
55 =
+ 550 , pero sin embargo son equivalentes. En efecto, se considera F = Q3
provisto de la valuacin 3-dica como norma, y E = Q3 con la norma 5x5 = 2 |x|.
Luego, para la funcin identidad I : E E, se obtiene
5I5 =

1
,
2

5I5o =

1
.
3

Similarmente al caso clsico, si E y F son espacios normados, con F un espacio


de Banach, entonces L(E, F ) ser tambin un espacio de Banach. En particular,
E ' es un espacio de Banach.

1.3.

Los espacio c0 (I) y ! (I)

Para un conjunto I, se define el espacio ! (I) como el espacio de todas las


funciones acotadas x : I K.
El espacio ! (I) es un espacio de Banach bajo la norma
5x5 = max |x(i)| .
iI

Si I = N, entonces se denotar a ! (N) por ! .


Se define el espacio c0 (I) como el espacio de todas las funciones x : I K tal
que para cada $ > 0, el conjunto {i I : |x(i)| $} es finito.
El espacio c0 (I) es un espacio de Banach bajo la norma 55 .
Observacin 1.9. Si I = N, entonces es fcil ver que
c0 (N) = {xn K : lm xn = 0} .
n

Se denotar por c0 a c0 (N).

CAPTULO 1. CONCEPTOS BSICOS

1.3.1.

11

Bases

Sea E un espacio normado no-arquimedeano, y sea I un conjunto. Diremos que


(xi )iI es sumable con suma x E, si $ > 0, existe un conjunto finito J0 I
tal que, para cada subconjunto finito J, con J0 J I, se tiene
/
/
/
, /
/
/
xi / < $ .
/x
/
/
iJ

La siguiente proposicin muestra algunas propiedades importantes de las


familias sumables.
Proposicin 1.2 ([5] , 2.5.1). Sea E un espacio normado y sea (xi )iI una
familia de elementos de E. Entonces,
1.

Si (xi )iI es sumable, entonces existe un conjunto numerable J =


{i1 , i2 , . . .} I tal que xi = 0 si i
/ J, y
,

xi =

xin .

n=1

iI

2.

(xi )iI es sumable si lm xi = 0, es decir, si para cada $ > 0 el conjunto


iI

{i I : 5xi 5 $} es finito. Reciprocamente, si E es un espacio de Banach


y lm xi = 0, entonces (xi )iI es sumable.
iI

Sea E un espacio de Banach y sea X un subconjunto de E, con 0 + X. Se


considera la funcin
S

: c0 (X) E
,
f
3 S(f ) =
f (x) x

(1.1)

xX

la cual est bien definida, puesto que para f c0 (X), el conjunto


{x X : 5f (x) x5 $} es finito cualquier sea $ > 0.
Definicin 1.8. Diremos que X es una base de E si la funcin S es biyectiva,
es decir, si para cada a E, existe una nica f : X K tal que
,
a=
f (x) x .
xX

Si X es una base de E, entonces X es un conjunto linealmente independientes y


[X] = E, donde [X] denota el clausura del conjunto generado por X. Adems,
si para cada x X, existe x' tal que x' es un mltiplo escalar de x, entonces
{x' : x X} es tambin una base de E.
Sea K, 0 < || < 1. Notar que
n

lm || = 0

lm || =

CAPTULO 1. CONCEPTOS BSICOS


y as,
R+ =

12

n+1

] ||

nZ

, || ] .

Luego, para cada x E, x += 0, existir m Z tal que


m+1

||
o equivalentemente

5x5 ||

/
/
|| /m x/ 1 .

As, si E tiene una base X, entonces tambin tendr una base Y con la propiedad
|| 5y5 1 , y Y
Observacin 1.10.
1.

Si I es un conjunto cualquiera, y si x I, x fijo, entonces las funciones


)
1 ,
x {x}
ex =
0 , x I\{x}
forman una base de c0 (I). Adems, si I es numerable, entonces, para i I,
se tiene ei = (0, 0, . . . , 1, 0, . . .)

2.

Si X es una base numerable en E, entonces X se dir base Schauder.

3.

Si X = {e1 , e2 , e3 . . .} es una base Schauder de E, y a =

n en en E,

n=1

entonces la funcin fa : X K, dada en Definicin 1.8, tendr la forma


)
i si x = ei
fa (x) =
0 si x =
+ ei
Observacin 1.11. Notemos que, en el caso clsico, el dual de c0 (I) es
isometricamente isormofo a !1 (I). Sin embargo, en el caso no-arquimedeano
c'0 (I) es isometricamente isomorfo a ! (I), como veremos a continuacin.
Notar que, para cada x = (xi )iI c0 (I) y cada y = (yi )iI ! (I), se tiene
|xi yi | |xi | 5y5 0 .
As, la frmula
B(x, y) =

xi yi

iI

define una forma bilineal B : c0 (I) ! (I) K. Adems,


-,
|B(x, y)| = xi yi - max |xi yi | 5x5 5y5
iI
iI

CAPTULO 1. CONCEPTOS BSICOS

13

por lo que se sigue que B es continua.


Para cada y fijo en ! (I) se define la funcin fy = B(, y). Se afirma que fy es
un elemento de c'0 (I). En efecto, dado x c0 (I) se tiene
|fy (x)| = |B(x, y)| 5x5 5y5
y as,
5fy 5 5y5 ,

lo que muestra la continuidad de fy .


Por otro lado, aplicando fy a los vectores unitarios ei de c0 (I) se tiene que
|fy (ei )| = |yi | = |yi | 5ei 5 .
As, para cada i I, se obtiene
5fy 5 |yi | .
Luego,
5fy 5 5y5 ,

de lo que se concluye 5fy 5 = 5y5 , es decir,

: ! (I) c'0 (I)


y
3 (y) = fy

es una isometra.
Teorema 1.5. c'0 (I)
= ! (I).
Demostracin. En base a lo anterior, basta probar que es sobreyectiva. En
efecto, sea g c'0 (I), luego z = (g(ei ))iI ! (I) pues
|g(ei )| 5g5 5ei 5 = 5g5 < + .
1
Ahora, para un x = (i )iI = iI i ei c0 (I), la linealidad y la continuidad
de fy muestra que
,
,
i g(ei ) = g(
i ei ) = g(x) ,
fz (x) =
iI

iI

es decir, fz = g. As, (z) = fz = g.


De aqu en adelante, identificaremos ! (I) y c'0 (I) usando el teorema anterior.
Con el fin de demostrar el principal resultado de esta seccin, se enunciarn los
siguientes resultados:

CAPTULO 1. CONCEPTOS BSICOS

14

Lema 1.1 ([5] , 2.1.18). Sean E, F espacios normados, y sea T L(E, F ).


Entonces,
1.

Si T es sobreyectiva y F es completo, entonces T (BE ) es abierto.

2.

Si E es completo y T (BE ) es abierto, entonces T (BE ) = T (BE ).

Demostracin.
1. Sea 1 , 2 , . . . K, 0 |1 | | 2 | . . . , lmn |n | = . Ahora, del
hecho que E = nN n BE y de la sobreyectividad de T se tiene que
F = nN n T (BE ) = nN n T (BE ). Luego, por la completitud de F
y del Lema de las Categorias de Baire, se tiene que existe m tal que
A := m T (BE ) tiene interior no vaco, es decir, as existen x A y r > 0
tal que x + BF (0, r) A. Notar que gracias a la desigualdad triangular
fuerte, el conjunto A es un grupo aditivo. Por lo tanto, para cada y A,
se tiene
y + BF (0, r) y x + x + BF (0, r) A + A + A A ,
se sigue de esto que A es abierto y, por lo tanto, tambin lo ser
1
m A = T (BE ).
2. Notemos que como T (BE ) es un grupo aditivo, por lo que es suficiente
probar que si BF (0, r) T (BE ) para algn r > 0, entonces BF (0, r)
T (BE ). En efecto, sea y BF (0, r) y sea K, 0 < || < 1. Como
y T (BE ), existe x0 BE tal que
5y T (x0 )5 < || r ,
/
/
por tanto, /1 (y T (x0 ))/ < r. Desarrollando
los mismos
/
/ pasos,
obtenemos que existe x1 BE tal que /1 (y T (x0 )) T (x1 )/ < || r,
2
es decir 5y T (x0 ) T (x1 )5 < || r. Continuando de esta manera, se
encontrar inductivamente una sucesin x0 , x1 , . . . BE tal que, para
todo n,
n+1

5y T (x0 + x1 + x2 + + n xn )5 < ||
Ahora, como

() .

lm n xn = 0 ,

se obtiene
x=

n=0

n xn

x BE .

Luego, por () y la continuidad de T se obtiene que T (x) = y, es decir,


y T (BE ) y el resultado se sigue.

CAPTULO 1. CONCEPTOS BSICOS

15

El siguiente teorema es anlogo al caso clsico del anlisis funcional, cuya


demostracin sigue del lema previo.
Teorema 1.6 ([5] , 2.1.17). Sean E, F espacios de Banach y sea T L(E, F )
sobreyectiva. Entonces, T es una aplicacin abierta.
El resultado se sigue del siguiente lema.
Corolario 1.2 ([3] , 2.1.19).
Si T es una transformacin lineal biyectiva y continua entre espacio de Banach,
entonces T es un homeomorfismo.
Como consecuencia de este corolarios se tiene un segundo resultado.
Corolario 1.3. Si B es una base de E, entonces existe t > 0 tal que
/
/
/,
/
/
/
f (b) b/ t max 5f (b) b5
/
/
/
bB
bB

para todo f c0 (B)

Demostracin. Sea B una base de E. Luego, existe un nico f c0 (B) tal que
para cada x E, se tiene
,
x=
f (b) b
bB

as,

lm f (b) b = 0

bB

por lo que 5x5B = maxbB 5f (b) b5 existe. Adems,


/
/
/,
/
/
/
5x5 = /
f (b) b/ max 5f (b) b5 = 5x5B .
/
/ bB
bB

Ahora, como (E, 55) es un espacio de Banach, se sigue que (E, 55B ) es tambin
un espacio de Banach gracias a que
5f (b) b5 max 5f (b) b5 .
bB

As, aplicando el Corolario 1.2, obtenemos que existe C 1 tal que 55B
C 55. As,
/
/
/,
/
/
/
f (b) b/ C 1 5x5B = C 1 max 5f (b) b5
/
/
/
bB
bB

lo cual muestra lo pedido.

CAPTULO 1. CONCEPTOS BSICOS

16

A continuacin se enuncia el principal resultado de esta seccin:


Teorema 1.7. Un espacio de Banach E posee una base si y slo si es
linealamente homeomorfo a c0 (B), para algn B E.
Demostracin.
6 El homeomorfismo estar dado por la funcin S, introducida en la
Definicin 1.8.
6 Supongamos que E posee una base B, y probemos que E es linealmente
homeomorfo a c0 (B). En efecto, sin perdida de generalidad podemos
asumir que para un K con 0 < || < 1, se tiene que || 5b5 1
para todo b B. Ahora, dado f c0 (B) y $ > 0, tenemos que el conjunto
{b B : 5f (b) b5 $} es finito. De aqu
lm f (b) b = 0

bB

y as,

f (b) b

bB

existe en E, pues es sumable. Luego, la frmula


,
(f (b))bB 3
f (b) b
bB

define una transformacin lineal T : c0 (B) E, en la cual T (c0 (B)) es


denso en E. Luego,
/
/
/,
/
/
/
5T (f )5 = /
f (b) b/ max 5f (b) b5 = max |f (b)| 5b5 max |f (b)| = 5f 5 .
/
/ bB
bB
bB
bB

Por otro lado, por el corolario anterior, existe t > 0 tal que
/
/
/,
/
/
/
f (b) b/ t max 5f (b) b5 .
/
/
/
bB
bB

Por lo que,

/
/
/,
/
/
/
5T (f )5 = /
f (b) b/ t max 5f (b) b5 = t max |f (b)| 5b5
/
/
bB
bB

t || max |f (b)| = t || 5f 5
bB

De lo que se sigue que T es un homeomorfismo. As, T (c0 (B)) es completo,


y por tanto cerrado en E. Luego, T (c0 (B)) = T (c0 (B)) = E, lo que
muestra la sobreyectividad, y el resultado se sigue.

CAPTULO 1. CONCEPTOS BSICOS

1.4.

17

Ortogonalidad

El siguiente concepto de ortogonalidad es una adaptacin del caso clsico en los


espacios normados.
Definicin 1.9. Sea X un espacio normado y sean x, y X. Diremos que x
es ortogonal a y, notacin x y, si
5x5 5x + ay5 a K .
Teorema 1.8. Sean x, y X y t ] 0, 1] tal que 5x + y5 t 5x5. Entonces,
5x + y5 t 5y5
Demostracin. Si 5x5 5y5, entonces 5x + y5 t 5x5 t 5y5. Si 5x5 < 5y5 ,
entonces 5x + y5 = max{5x5 , 5y5} = 5y5 t 5y5.
El siguiente teorema caracteriza los vectores que son ortogonales.
Teorema 1.9. Sean x, y X. Entonces, x y si y slo si,
a, b K , 5ax + by5 = max{5ax5 , 5by5} .
Demostracin.
6 Considerando a = 1 K, obtenemos
5x + by5 = max{5x5 , 5by5} 5x5

b K

6 Por la desigualdad triangular fuerte, tenemos que 5ax + by5 max{5ax5 , 5by5}.
Ahora,
supongamos
que x es ortogonal a y. Entonces, 5ax + by5 =
/
/
|a| /x + a1 by / |a| 5x5 = 5ax5 y por el teorema anterior 5ax + by5
5by5. As, max{5ax5 , 5by5} 5ax + by5 y el resultado se sigue.
Definicin 1.10.
1.

Sean E1 , E2 X. Diremos que E1 es ortogonal a E2 , notacin E1 E2 ,


si x y para todo x E1 , y E2 . Si x X, denotaremos x E1 en vez
de {x} E1 .

2.

Sea {x1 , x2 , . . . , xn } un conjunto finito de elementos de X. Diremos que


{x1 , x2 , . . . , xn } es un conjunto ortogonal si, para cada i N,
xi [{ x1 , x2 , . . . , xi1 , xi+1 , . . . , xn }]
donde [ ] indica el espacio generado por {x1 , x2 , . . . , xn }. Un conjunto
ortogonal {x1 , x2 , . . . , xn } se dir ortonormal si 5xi 5 = 1 para todo
i {1, 2, 3, . . . , n}.

CAPTULO 1. CONCEPTOS BSICOS


3.

18

Un conjunto arbitrario es ortogonal si todo subconjunto finito de ste lo


es.

El siguiente resultado es una generalizacin del Teorema 1.9.


Proposicin 1.3. Sea {x1 , x2 , . . . , xn } un conjunto finito de elementos de X.
Entonces, {x1 , x2 , . . . , xn } es ortogonal si, y slo si, para cada {a1 , a2 , . . . , an }
K, tenemos que
/
/
n
/,
/
/
/
ai xi / = max{5ai xi 5 : i = 1, 2, . . . , n}
/
/
/
i=1

Demostracin.

6 Supongamos que {x1 , x2 , . . . , xn } X es un conjunto ortogonal.


Mostraremos que para cada {a1 , a2 , . . . , an } K, se tiene
/
/
n
/,
/
/
/
ai xi / = max{5ai xi 5 : i = 1, 2, . . . , n} .
/
/
/
i=1

En efecto, como {x1 , x2 , . . . , xn } es ortogonal, para cada i {1, 2, . . . , n}


se tendr que
ai xi [ x1 , x2 , . . . , xi1 , xi+1 , . . . , xn ]
y por definicin de ortogonalidad, obtenemos
/
/
/
/
,
/
/
/ai xi +
/
a
x
j j / 5ai xi 5 .
/
/
/
j(=i
Luego,

/
/ n
/
/,
/
/
ai xi / max{5ai xi 5 : i = 1, 2, . . . , n} .
/
/
/
i=1

Por otro lado, como el conjunto {a1 , a2 , . . . , an } es arbitrario, podemos


aplicar la desigualdad triangular fuerte para obtener
/ n
/
/,
/
/
/
ai xi / max{5ai xi 5 : i = 1, 2, . . . , n} ,
/
/
/
i=1

lo que muestra la igualdad.

6 Recprocamente, supongamos que para cada {a1 , a2 , . . . , an } K,


se cumple que
/ n
/
/,
/
/
/
ai xi / = max{5ai xi 5 : i = 1, 2, . . . , n} .
/
/
/
i=1

CAPTULO 1. CONCEPTOS BSICOS

19

Mostremos que {x1 , x2 , . . . , xn } es un conjunto ortogonal. En efecto, dados


1 , 2 , . . . , n K y i {1, . . . , n}, se toma
,
u=
j xj [{ x1 , x2 , . . . , xi1 , xi+1 , . . . , xn }] .
j(=i

As, dado a K se tiene


/
/
/
/
,
/
/
/
5xi + au5 = /
x
+
a

x
ax{5xi 5 , 5a1 x1 5 , . . . , 5an xn 5} 5xi 5 ,
j j / = m
/ i
/
/
j(=i
como i {1, . . . , n} es arbitrario, se tiene que {x1 , x2 , . . . , xn } es ortogonal.
Definicin 1.11. Sea {xn }nN una sucesin de elementos no nulos de E.
Diremos que {xn }nN es una base ortogonal (ortonormal) de X si
1.

{xn : n N} es ortogonal.

2.

para cada x E, existen 1 , 2 , . . . K tal que


x=

n xn

n=1

Algunas propiedades de las bases ortonormales son las siguientes.


Proposicin 1.4. Sea {xn }nN una base ortonormal de X y sea x =
E, para ciertos 1 , 2 , . . . K. Entonces,
1.

n=1

n xn

lm n = 0.

2.

5x5 = max{|n | : n N}.

3.

Si adems x =

n=1

n N.

n xn con 1 , 2 , . . . K, entonces n = n para todo

Demostracin.
1. Como

n xn es una serie convergente, se sigue que

n=1

0 = lm 5n xn 5 = lm |n | 5xn 5 = lm |n |
n

CAPTULO 1. CONCEPTOS BSICOS


2. Sea xm =

m
,

n=1

20

n xn y notemos que, como {xn } es un conjunto ortonormal,

obtenemos

5ym 5 = max{5n xn 5 : n = 1, . . . , m}
= max{|n | 5xn 5 : n = 1, . . . , m}
= max{|n | : n = 1, . . . , m}
max{|n | : n N}
As,

5x5 = lm 5ym 5 max{|n | : n N} .


m

Por otro lado, sea i0 N tal que |i0 | = max{|n | : n N} y tomemos


k
,
k N tal que i0 < k. Luego, para yk =
n xn se tiene
n=1

|i0 | 5yk 5
y as,

|i0 | lm 5yk 5 = 5y5


k

lo que muestra el resultado.


3. Notemos que 0 =

n=1

(n n ) xn y aplicando 2. obtenemos que

|n n | max{|i i | : i N} = 0 , n N
y el resultado se sigue.

Definicin 1.12. Sea E un espacio normado y sea E1 un subespacio cerrado


de E. Diremos que E1 es complementado si existe un subespacio E2 de E tal
que
1.

E1 E2 = {0}.

2.

E = E1 + E 2 .

El subespacio E2 se dir complemento de E1 .


Si, adems, E1 E2 , entonces E2 se dir ortocomplemento de E1 .

CAPTULO 1. CONCEPTOS BSICOS

1.5.

21

Espacios de Tipo contable

Un importante concepto, en los espacios normados no-arquimedeanos es el


siguiente.
Definicin 1.13. Un espacio normado E se dir de tipo contable, si ste tiene
un subconjunto numerable D tal que [D] = E.
Los espacios no-arquimedeanos tambin cuentan con el teorema de HahnBanach, como lo muestra el siguiente resultado probado en [5, pg. 171].
Teorema 1.10. Sea E un espacio vectorial definido sobre un campo esfricamente completo K, y sea p una seminorma sobre E. Entonces, para cada
subespacio D de E y- cada
f D con |f | p sobre D, existe una extensin

f E de f tal que f p sobre E.


Como consecuencias inmediatas del Teorema 1.10, se tienen los siguientes
resultados (Ver [5, pg. 171]).

Corolario 1.4. Sea E un espacio normado definido sobre un campo esfericamente completo K, y sea D un/subespacio
de E. Entonces, cada f D' se puede
/
'
/
/
extender a un f E tal que f = 5f 5.

Corolario 1.5. Sea E un espacio localmente convexo definido sobre un campo


esfricamente completo K, y sea D un subespacio de E. Entonces, cada f D'
se puede extender a un f E '
An sin ser K un campo esfricamente completo, se pueden extender funcionales
lineales, como lo muestra el siguiente teorema (Ver [5, pg. 176]).
Teorema 1.11. Sea E un espacio de Banach de dimensin infinita y de tipo
contable, y sean D un subespacio de E, f D' y $ > 0 dados. Entonces, f se
puede extender a una funcin f E ' tal que
/ /
/f / (1 + $) 5f 5

1.6.

Conjuntos Compactoides

Definicin 1.14. Sea E un espacio vectorial normado. Diremos que un


subconjunto D de E es absolutamente convexo si x + y D para todo
x, y X y , BK .
Para cada Y E, se define la cpsula convexa cerrada de Y , denotada por
co(Y ), como la interseccin de todos los subconjuntos cerrados y absolutamente
convexos de E que contienen a Y .
Observacin 1.12.
1.

co(Y ) es el conjunto cerrado y absolutamente convexo ms pequeo de E,


que contiene a Y .

CAPTULO 1. CONCEPTOS BSICOS


2.

22

Si a1 , . . . , an E, entonces
co{a1 , . . . , an } = {1 a1 + + n an : i BK }

3.

Si a1 , a2 , . . . es una sucesin en E y si existe t (0, 1] tal que


/
/
/,
/
/
/
i ai / t max 5i ai 5
/
iN
/
/
i=1

entonces

co{a1 , a2 , . . .} =

2
,
iN

i ai : i BK , lm i ai = 0
iN

Los conjuntos acotados se definen de igual forma que en el caso clsico.


Definicin 1.15. Un subconjunto X de un espacio localmente convexo E se dir
acotado si cada vecindad de cero es absorbente, es decir, si para cada vecindad
de cero U , existe K tal que X U .
Un problema que surge al definir conjuntos convexos-compactos en un espacio
localmente convexo definido sobre K, es que, en general, K no es localmente
compacto; es decir, los conjuntos convexos-compactos resultan ser los triviales.
Con el fin de convexificar los conjuntos compactos, nace el siguiente concepto,
el cual es propio de los espacios no-arquimedeanos.
Definicin 1.16. Un subconjunto X de un espacio vectorial normado E se dir
compactoide, si para cada $ > 0 existe un conjunto finito F E tal que
X B" (0) + co(F )
donde B" (0) = {x E : 5x5 $}.
A continuacin se anuncian algunas propiedades de los conjuntos
compactoides:
1. La clausura y la cpsula cerrada absolutamente convexa de compactoides
es compactoide.
2. Cada subconjunto de un conjunto compactoide es compactoide.
3. Si X e Y son compactoides, tambin lo son X Y y X + Y .
4. Dados E y F espacios vectoriales normados. Si X E es compactoide y
T L(E, F ), entonces T (X) es compactoide en F .
5. Todo compactoide es acotado.
6. Si E es finito dimensional, entonces los conjuntos compactoides de E son
los conjuntos acotados.

CAPTULO 1. CONCEPTOS BSICOS

23

7. Si X E es compactoide, entonces [X] es de tipo contable.


8. Si a1 , a2 , . . . E y si lmn an = 0, entonces co{a1 , a2 , . . .} es compactoide.
El siguiente teorema caracteriza los conjuntos compactoides (Ver [3, pg. 141]).
Teorema 1.12 ([3] , 4.38). Sea X un subconjunto acotado y absolutamente
convexo de un espacio de Banach E y sea 0 < t < 1.
1.

Supongamos que cada subespacio uno-dimensional de E es ortocomplementado. Entonces, las siguientes aseveraciones son equivalentes:
a)

X es compactoide.

b)

Existe una sucesin ortogonal a1 , a2 , . . . X tal que lmn an = 0 y


X co{a1 , a2 , . . .}.

c)
2.

Cada sucesin ortogonal en X tiende a cero.

Si la valuacin de K es discreta, entonces las siguientes aseveraciones son


equivalentes
a)

X es compactoide.

b)

Existe una sucesin ortogonal a1 , a2 , . . . E tal que lmn an = 0 y


X = co{a1 , a2 , . . .}.

Captulo 2

Producto Interior
No-Arquimedeano
Este captulo se desarrollar el artculo [7] de L. Narici y E. Beckenstein,
y parte del artculo [1] de J. Aguayo y M. Nova. En ste estudiaremos los
espacios de tipo Hilbert, y daremos condiciones necesarias para que un espacio
de Banach no-arquimedeano admita un producto interior. En particular, para
c0 (I) mostraremos una condicin necesaria y suficiente para que ste espacio
admita un producto interno, y adems la norma inducida por ste coincida con
su norma natural.
Finalmente, se mostrarn condiciones para que un subespacio cerrado admita,
lo que vamos a llamar, un complemento normal.
Definicin 2.1. Sea K un campo con valuacin no-arquimedeana y sea E un
espacio vectorial sobre K. Se define el Producto Interior no-arquimedeano
como una funcin 8, 9 : E E K que satisface las siguientes propiedades:
i) 8x, x9 =
+ 0 x K {0}.
ii) 8ax + by, z9 = a 8x, z9 + b 8y, z9 a, b K, x, y, z E.
2

iii) |8x, y9| |8x, x9| |8y, y9| x, y E. (Desigualdad de Cauchy-Schwarz)


Si 8x, y9 = 8y, x9 x, y E, entonces ste se llamar Producto Interior
Simtrico.
Observacin 2.1. El par (E, 8, 9) se conocer como Espacio con Producto
Interior no-Arquimedeano.
Teorema 2.1. Un producto interior no arquimedeano induce la siguiente norma
no-arquimedeana
1/2
5x5 = |8x, x9|

24

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

25

Demostracin. Dado a K, con a += 0, y x E, con x += 0, se tiene


2

5ax5 = |8ax, ax9| = |a| 8x, ax9 |a| 5x5 5ax5


y as,
5ax5 |a| 5x5

Utilizando lo anterior, obtenemos


/' ( / - / 1
/ -1/ - 5x5 = /
/ a ax/ - a - 5ax5
es decir,

|a| 5x5 5ax5

En conclusin,

5ax5 = |a| 5x5

Para la desigualdad triangular fuerte, supongamos que 5x + y5 =


+ 0. Entonces,
2

5x + y5

= |8x + y, x + y9| = |8x, x + y9 + 8y, x + y9|


max{|8x, x + y9| , |8y, x + y9|}

Adems, como |8x, x + y9| 5x5 5x + y5 y |8y, x + y9| 5y5 5x + y5, se obtiene
que
2
5x + y5 5x + y5 max{5x5 , 5y5}
Luego,

5x + y5 max{5x5 , 5y5}

En lo que sigue, cuando se haga referencia al espacio normado E, se har


respecto de la norma proveniente del producto interior no arquimedeano
1/2
5x5 = |8x, x9| .
1/2

Notemos que 5E5 |K|

1/2

= {|a|

: a K}.

Ejemplo 2.1. Consideremos el espacio E = K2 . Para x = (x1 , x2 ), y = (y1 , y2 )


en K2 , se define

x1 y1 , |y1 | |y2 |
8x, y9 =

x2 y2 , |y1 | < |y2 |


Esta funcin es un producto interior que induce la norma del mximo en K2 .

En efecto, notemos que 8x, x9 = x21 o 8x, x9 = x22 dependiento si |x1 | | x2 | o


|x1 | < |x2 | respectivamente. Entonces,
2

5x5 = |8x, x9| = max{|x1 | , |x2 | } 5x5 = max{|x1 | , |x2 |} = 5x5

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

26

As, para x += 0 se tiene 8x, x9 =


+ 0. Por otro lado, para z = (z1 , z2 ) K2 y
a, b K tenemos

(ax1 + by1 ) z1 , |z1 | |z2 |


8ax + by, z9 =
= a 8x, z9 + b 8y, z9

(ax2 + by2 ) z2 , |z1 | < |z2 |

Finalmente, para la desigualdad de Cauchy-Schwarz, supongamos que |y1 |


|y2 |. Entonces,
2

|8x, y9|

= |x1 y1 | = |x1 | |y1 | max{ |x1 | , |x2 | } |y1 |

5x5 max{ |y1 | , |y2 | } = 5x5 5y5

El caso |y1 | < |y2 | se desarrolla de manera similar.


Para el caso particular K = Q2 y para x = (2, 4) Q22 , obtenemos que
8x, x9 = 2 2, pues |2|2 |4|2 . As,
|8x, x9|2 =

1
4

de lo que se sigue que


1/2

5x5 = |8x, x9|2

1
2

1
Definamos = , y notemos que Q2 . As, considerando u = 1 x = (4, 8),
2
obtenemos que
1
5u5 = max{|4|2 , |8|2 } = += 1
4
por lo que se concluye que no siempre es posible crear vectores unitarios.

2.1.

Normalidad

Definicin 2.2. Sea E un espacio con producto interior no arquimedeano y


sean x, y E.
1.

Diremos que x es normal a y, si 8y, x9 = 0.

2.

Dado B E. Se define el complemento normal de B como el conjunto,


B + = { y E : 8x, y9 = 0 x B }

3.

Dado A E. Se define el complemento transversal de B como el conjunto,


A, = { y E : 8y, x9 = 0 x A }

4.

Dados A, B E. Diremos que A es normal a B, y lo denotaremos por


A : B, si
8y, x9 = 0 , x A, y B

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

27

Observacin 2.2. Si 8, 9 es simtrico, entonces B + se dir perpendicular y


lo denotaremos, simplemente, por B p
Proposicin 2.1. Si 8, 9 es simtrico, entonces B p es un subespacio cerrado.
Demostracin. Para x B, x fijo, se define la funcin fx : E K, y 3 fx (y) =
8x, y9. La cual resulta ser continua, pues
|fx (y)| = |8x, y9| 5x5 5y5
As, como Ker(fx ) = B p se concluye que B p es cerrado.
La relacin entre normalidad y ortogonalidad se muestra en el siguiente teorema.
Teorema 2.2. Sea E es un espacio con producto interior no-Arquimedeano. Si
x es normal a y, entonces x es ortogonal a y.
Demostracin. Supongamos que x += 0. Como 8y, x9 = 0, entonces para todo
bK
2

5x5 = |8x, x9| = |8x, x9 + 8by, x9| = |8x + by, x9| 5x + by5 5x5
De lo anterior, se sigue que
5x5 5x + by5 , b K
El recproco no necesariamente se cumple, como lo muestra que siguiente
ejemplo.
Ejemplo 2.2. Consideremos el el producto interior del Ejemplo 2.1 , con
x = (1, 1) e y = (1, 0). Entonces,
5x + ay5 = max{|1 + a| , 1} 1 = 5x5 a K
de lo que se concluye que x es ortogonal a y, pero en cambio, como 1 1 se
sigue que
8y, x9 = 1 1 += 0
por lo que ortogonalidad no implica normalidad.

Observacin 2.3. Si {x1 , x2 , . . .} es un conjunto ortonormal, entonces


{x1 , x2 , . . .} es linealmente independiente (Proposicin 1.4 ).
Teorema 2.3. Sean M, N subespacios de E, con M normal a N y sean (xn ) e
(yn ) sucesiones en M y N respectivamente. Entonces (zn ), con zn = xn + yn ,
es una sucesin de Cauchy en M + N si y slo si (xn ) e (yn ) son sucesiones de
Cauchy en M y N respectivamente.

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

28

Demostracin. Notemos que si x, y M y v, w N , entonces por los Teoremas


1.9 y 2.2, se tiene que
5(x y) + (v w)5 = max{5x y5 ; 5v w5}
As, para todo m, n N obtenemos
5zm zn 5 = 5(xn xm ) + (yn ym )5 = max{ 5xm xn 5 , 5ym yn 5 }
de lo cual se sigue que la sucesin (zn )nN es de Cauchy en M + N si y slo si
(xn )nN y (yn )nN lo son en M y N respectivamente.
Corolario 2.1. Si M y N son subespacios cerrados de E, con M normal a N ,
entonces M + N es un subespacio cerrado.
Demostracin. Como M y N son subespacios cerrados de E, y E es un espacio
de Banach, se sigue que M y N son espacios de Banach. Luego, el resultado se
obtiene aplicando el teorema anterior.

2.2.

Productos Interiores Compatibles

Proposicin 2.2. Sea E un espacio normando no-arquimedeano sobre un


cuerpo esfricamente completo K tal que 5E5 |K|. Entonces, existe un
producto interior no-arquimedeano sobre E que induce la norma original.
Demostracin. Sea x E, x += 0. Como 5E5 |K| podemos escoger a K tal
que |a| = 5x5. Luego, para todo b K se define
f

: [ x] K
bx 3 f (bx) = ba2

donde [ x] es el subespacio generado por x. Entonces,


- 22
-ba |f (bx)|
|b| |a|
5f 5 = sup
= sup
= sup
= 5x5
bx(=0 5bx5
bx(=0 |b| 5x5
bx(=0 |b| 5x5

As, como K es esfericamente completo, podemos aplicar el teorema de HahnBanach para extender f a un funcional lineal fx E ' , tal que 5fx 5 = 5x5.
Denotemos por P(E ' ) a la coleccin de todos los subconjuntos de E ' y definamos
la funcin
D

: E P(E ' )
x 3 Dx = { f E ' : f (x) = a2 donde |a| = 5x5 } .

Ahora, para cada x E, escogemos fx Dx y denotemos por


S = {fx Dx : x E} .
Con lo anterior se define 8, 9S : E E K por
8x, y9S = fy (x) .

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

29

Esta funcin satisface i) y ii) de la definicin 2.1, adems como


|8x, y9|S = |fy (x)| 5fy 5 5x5 = 5y5 5x5
con lo que se demuestra que 8, 9S es un producto interior en E que induce su
norma.
Observacin 2.4. El producto interior definido en la proposicin anterior se
conoce como Producto Interior de Hanh Banach. Este, en general, no es nico,
en efecto, consideremos E = K = Q7 y tomemos x = 1,a1 = 1 y a2 = 5. As,
|1|7 = |6|7 = 1. Luego, se definie los funcionales lineales
f

[1] Q7
1 3 f ( 1) = 12

[6] Q7
5 3 f ( 1) = 62

Adems,

5f 5 = 1 y

5g5 = 1

Por lo que, aplicando el teorema de Hahn-Banach, podemos extender los


funcionales f y g a los funcionales fx , gx E ' , tales que 5fx 5 = 1 y 5gx 5 = 1.
Con lo anterior, podemos definir los productos interiores de Hahn-Banach
8x, y9Sf = fy (x) y

8x, y9Sg = gy (x)

los cuales inducen la norma de E.


El siguiente teorema caracteriza los espacios de Banach E que admiten un
producto interior compatible.
Teorema 2.4. Para un espacio de Banach no-arquimedeano E sobre un cuerpo
K, las siguientes afirmaciones son equivalentes:
1.

E admite un producto interior que induce la norma de E.

2.

5E5 |K|
do.

3.

Existe una funcin y 3 fy de E en E ' que satisface 5fy 5 = 5y5 y


2
|fy (y)| = 5y5 para todo y E.

1/2

y cada subespacio 1-dimensional de E es ortocomplementa-

Demostracin.
1. 2. Sea 8, 9 el producto interior que induce la norma original de E. Entonces,
2
1/2
para cada x E, 5x5 = |8x, x9| |K|. As 5E5 |K| . Ahora, dado
+
y E, y += 0, el complemento transverso {y} es un subespacio cerrado de
E (Proposicin 2.1); adems {y}+ es ortogonal a {y} (Teorema 2.2).
Ahora, notemos que, para cada x E, se tiene
x = x

8x, y9
8x, y9
y+
y
8y, y9
8y, y9

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO


con
x
As,

30

8x, y9
8x, y9
y {y}+ y
y [y]
8y, y9
8y, y9
E = {y}+ + [y]

2. 3. Dado y E, y += 0, existe un subespacio My tal que


E = My [ y] y [ y] My
1/2

Adems, como 5y5 5E5 |K| , existe ay K tal que |ay | = 5y5 . Con esto
podemos definir el funcional lineal continuo
fy

: My [ y] K
x + by
3 fy (x + by) = bay

Ahora, dado z E, existen x My y b K tales que z = x + by y as,


2

|fy (z)| = |bay | = |b| 5y5


= 5by5 5y5
5x + by5 5y5 = 5z5 5y5
2

Por lo que, 5fy 5 5y5. Pero como |fy (y)| = |ay | = 5y5 , se sigue que
5fy 5 = 5y5.
3. 1. 8x, y9 = fy (x) define un producto interior sobre E con
2

|8x, x9| = |fx (x)| = 5x5

El siguiente corolario es una versin dbil de ortogonalidad implica la


normalidad.
Corolario 2.2. Sea E un espacio de Banach no-arquimedeano con las
propiedades que todo subespacio 1-dimensional de E es ortocomplementado y
1/2
que 5E5 |K| . Sea M subespacio finito-dimensional y sea S un conjunto de
vectores ortogonales a M . Entonces existe un producto interior 8, 9 sobre E que
induce la norma, y que adems 8x, y9 = 0 para todo x M , y S.
Demostracin. Notemos que, como cada subespacio 1-dimensional admite un
ortocomplemento, entonces los subespacios finito-dimesionales tambin los
admiten. Luego, para cada y S, y += 0, el subespacio finito-dimensional M +[y]
admite un ortocomplemento que lo denotaremos por Ny , es decir,
E = Ny (M + [y]) y Ny (M + [y])

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

31

De lo anterior, se sigue que My = M + Ny es un ortocomplemento de [y].


1/2
2
Ahora, como 5y5 5E5 |K| , existe ay K tal que |ay | = 5y5 . Con esto
se define el funcional lineal continuo
gy

: My [ y] K
x + by
3 gy (x + by) = bay

Notemos que gy (x) = 0, para todo x My .


Luego, definiendo 8x, y9 = gy (x), se obtiene un producto interior sobre E, el
induce su norma. Como M My , para cada y S, se sigue que
8x, y9 = 0 x M , y S

2.3.

Producto Interior Simtrico

Comenzamos la seccin demostrando un lema tecnico.


Lema 2.1. El campo de clases residuales de K es formalmente real si, y slo
si, para cada subconjunto finito {1 , 2 , . . . , n } K, se tiene
- -5
- 2
4- - - -1 + 22 + + 2n - = max -21 - , -22 - , . . . , -2n Demostracin.

6 Supongamos que el campo de clases residuales de K es formalmente real.


Probemos que si {1 , 2 , . . . , n } K, entonces
- -5
- 2
4- - - -1 + 22 + + 2n - = max -21 - , -22 - , . . . , -2n En efecto, definamos

55 = max {|1 | , |2 | , . . . , |n |} e I = {i {1, 2, . . . , n} : |i | = 55}


Entonces, |i | = 55 para i I y |i | < 55 para i + I. Ahora,
supongamos por un instante que 55 = 1, entonces |i | = 1 para i I y
as i += 0. Luego, como k es formalmente real, se tiene que
,
,
2i =
2i += 0
iI

y as,

iI

-, 2i - = 1
iI

Por otro lado, como |i | < 1 para i + I, obtenemos


-, -, 2 2i i -- < 1 = - i(I iI

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

32

con lo que se obtiene


- - -- -, -n
-,
- -,
,
- 2
22
2
i - = -i -- = i +
2i - = 1 = 55
- i=1

i(I

iI

iI

Ahora, si 55 =
+
0 y 55 =
+
1, escogemos a K tal que
|a| = 55 y aplicamos el procedimiento anterior al conjunto finito
{a1 1 , a1 2 , . . . , a1 n } K.

6 Recprocamente, supongamos que, para cada subconjunto finito


{1 , 2 , . . . , n } K, se tiene
- 2
- -5
4- - - -1 + 22 + + 2n - = max -21 - , -22 - , . . . , -2n -

Mostrermos que k es formalmente real. En efecto, sea {1 , . . . , n } k


tal que
n
n
,
,
2
2i =
i = 0
- n
-, Luego, 2i - = 0 y
i=1

i=1

i=1

n
-,
- 2- 2- 22
-i - max{-1 - , . . . , -n -} = i - = 0
i=1

de lo que sigue que i = 0, para todo i = 1, . . . , n.


Observacin 2.5.
1.

2.

Notemos que si x c0 (T ), entonces |x(t)| 5x5 para todo t T .


Por otro lado, si x += 0 y $ = 5x5 , entonces el conjunto
{t T : |x(t)| = 5x5 } es, a lo ms, finito, pues {t T : |x(t)| $} es
finito por la definicin de c0 (T ).
Denotemos por (x) al conjunto {t T : |x(t)| = 5x5 }.

Consideremos x, y c0 (T ). Entonces,
,
x(t)y(t)
tT

es una forma bilineal simtrica y continua, pues


-,
x(t)y(t)- max{|x(t)| , |y(t)|} 5x5 5y5 < +
tT
tT

Adems, para cada , K, y cada x, y, z c0 (T ) se tiene


,
,
,
( x(t) + z(t))y(t) =
x(t)y(t) +
z(t)y(t)
tT

tT

tT

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

33

Con lo anterior, podemos mostrar el siguiente resultado.


Teorema 2.5. Consideremos la forma bilineal
,
8x, y9 =
x(t)y(t)
tT

en c0 (T ). Entonces, 8, 9 es un producto interior si y slo si la clase residual de


K es formalmente real. Adems, cuando 8, 9 es un producto interior, se tiene
-,
2
2
|8x, x9| = 5x5 = x (t) - , x = (x(t)) c0 (T )
tT

Demostracin.

6 Supongamos que la clase residual de K es formalmente real. Por el punto


2
2 de la Observacin 2.5, basta mostrar que |8x, x9| = 5x5 . En efecto,
si consideramos (x) = {t1 , t2 , . . . , tn }, se tiene que |x(ti )| = 5x5 para
i = 1, 2, . . . , n y |x(t)| < 5x5 para t + {t1 , t2 , . . . , tn }. Adems,
- ,
45
2
2
x (t)-- max -x2 (t)- : t + (x) < 5x5
-t((x)
Por lo que basta mostrar que
- 2
-x (t1 ) + x2 (t2 ) + + x2 (tn )- = 5x52

para obtener

-,
2
2
x (t)- = 5x5
tT

En efecto, notemos que {x(t1 ), x(t2 ), . . . , x(tn )} es un conjunto finito de


K. Luego, como el campo de clases residuales de K es formalmente real,
podemos aplicar el Lema 2.1 para obtener
- ,
2
2
2
5x5 = |8x, x9| = x (t)-- = 5x5
-t(x)
As,

|8x, y9| 5x5 5y5 = 5x5 5y5

lo que muestra que 8, 9 es un producto interior no-arquimedeano que


induce la norma de c0 (T ).
6 Supongamos que 8, 9 es un producto interior que induce la norma de
c0 (T ). Mostremos que el campo de clases residuales de K es formalmente

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

34

real. En efecto, sea {1 , . . . , n } K y para t1 , t2 , . . . , tn T definamos


x(ti ) = i para i = 1, 2, . . . , n y x(t) = 0 en otros casos. As,
-,
- 2
-1 + + 2n - = |8x, x9| = x2 (t)tT
- 2 = max{-x (t)- : t T }
- = max{-2i - : i = 1, 2, . . . , n}

Luego, por el Lema 2.1 obtenemos que el campo de clases residuales es


formalmente real.

Corolario 2.3. Sean a1 , a2 , . . . , an K. Si el campo de clases residuales de K


es formalmente real y |ai | = c para i = 1, 2, . . . , n, entonces
n
-,
2ai - = c2
i=1

Demostracin. Para t1 , t2 , . . . , tn T definamos x(ti ) = ai para i = 1, 2, . . . , n


y x(t) = 0 para otros casos. As,
- n
- -, - -,
2
x2 (t)- = max{|x(t)| : t T } = c2
a2i - = - i=1

tT

Corolario 2.4. Sean x, y c0 (T ) y supongamos que el campo de clases


residuales de K es formalmente real. Entonces,
|8x, x9 + 8y, y9| = max{ |8x, x9| , |8y, y9| } .
Demostracin. Si |8x, x9| += |8y, y9|, entonces el resultado se sigue aplicando el
Teorema 1.2.
2
2
Sin perdidad de generalidad, supongamos que |8x, x9| = 5x5 = 5y5 =
|8y, y9| = 1 y consideremos (x) = {t1 , t2 , . . . , tn }, (y) = {s1 , s2 , . . . , sm }.
Luego, aplicando el Lema 2.1 a los conjuntos {x(t1 ), . . . , x(tn )} y {y(s1 ), . . . , y(sm )}
se tiene
- n
-,
m
-,
2
2
x (ti )- = 1 y y (sj )-- = 1
- j=1
i=1
y aplicando nuevamente el Lema a {x(t1 ), . . . , x(tn ), y(s1 ), . . . , y(sm )}, se

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO


concluye
|8x, x9 + 8y, y9| =
=
=
=

35

- ,
,
,
,
2
2
2
2
x (t) +
x (t) +
y (t) +
y (t)--t((x)
t(x)
t((y)
t(y)
- ,
,
2
2
x
(t)
+
y
(t)
-t(x)
t(y)
- 2
2
-x (t1 ) + . . . + x (tn ) + y 2 (s1 ) + + y 2 (sm )-2
2 max {|xti | , -ysj - } = 1
1in

1jm

-
- -- m
-
n
-,
- -,
- 2
2
max y (sj )-x (ti )- , - -
i=1

j=1

max{|8x, x9| , |8y, y9|}

Siguiendo los mismos argumentos que en la demostracin del corolario anterior,


se obtiene:
Corolario 2.5. Si x1 , x2 , . . . , xn c0 (T ), entonces
n
-,
8xi , xi 9- = max{|8xi , xi 9| : i = 1, . . . , n}
i=1

Demostracin. Mostremos el Corolario para tres elementos x, y, z c0 (T ). Si


|8x, x9| += |8y, y9| += |8z, z9|, el resultado se sigue de la desigualdad triangular
fuerte.
Si |8x, x9| = |8y, y9| pero |8x, x9| += |8z, z9|, entonces por el Corolario 2.4, se tiene
|8x, x9 + 8y, y9 + 8z, z9| =
=
=

max{|8x, x9 + 8y, y9| , |8z, z9|}


max{max{|8x, x9| , |8y, y9|}, |8z, z9|}
max{|8x, x9| , |8y, y9| , |8z, z9|}

Si |8x, x9| = |8y, y9| = |8z, z9| = 1, entonces, siguiendo la demostracin del
Corolario 2.4, se tiene
3
-,
,
,
,
,
2
2
2
2
8xi , xi 9- = x1 (t) +
x1 (t) + . . . +
xn (t) +
xn (t)--t((x1 )
i=1
t(x1 )
t((xn )
t(xn )
- ,
,
2
2
= x1 (t) + . . . +
xn (t)-- = 1
-t(x1 )
t(xn )
=

max{|8x, x9| , |8y, y9| , |8z, z9|}

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

36

Observacin 2.6. Notemos que en el caso real o complejo, cuando tenemos un


producto interior que cumple con
|8x, y9| = 5x5 5y5 ,
entonces existe a K tal que y = ax.
Este no es el caso para los productos interiores no arquimedeanos. En efecto,
supongamos que el campo de clases residuales de K es formalmente real.
Luego, en K3 consideramos el producto interior simtrico natural. As, para
los elementos y = (0, 1, 1) y x = (1, 0, 1) se tiene que {x, y} es un conjunto
linealmente independiente, pero en cambio
1 = 5x5 = 5y5 = |8x, y9| = 5x5 5y5

2.4.

Gram-Schmidt en c0

An cuando se mencion en el Ejemplo 2.1 que, en general, no es posible crear


vectores unitarios en espacios de Banach, cada elemento no nulo de c0 puede
ser normalizado. En efecto, si x c0 , con x += 0, se define p(x) = mn (x);
entonces, |x(p(x))| = 5x5 . Luego, tomando a = x(p(x))1 , se obtiene que
y = ax es un vector unitario.
Teorema 2.6. Sea (xn ) c0 una sucesin de vectores linealmente independientes. Entonces existe una sucesin ortonormal de vectores (yn ) c0 tal que
[x1 , x2 , . . . , xn ] = [y1 , y2 , . . . , yn ] para todo n N
1

Demostracin. Sea w1 = x1 y w2 = x2 8x2 , w1 9 8w1 , w1 9 w1 (notemos que


w2 += 0 pues si lo fuera, x2 sera mltiplo de x1 , contradiciendo la independencia
lineal). Luego,
9
:
1
8w1 , w2 9 =
x1 , x2 8x2 , x1 9 8x1 , x1 9 x1
1

= 8x1 , x2 9 8x2 , x1 9 8x1 , x1 9


= 0

8x1 , x1 9

de lo que se sigue, w1 es ortogonal a w2 .


De la misma forma, se define
1

w3 = x3 8x3 , w1 9 8w1 , w1 9

w1 8x3 , w2 9 8w2 , w2 9

w2

(w3 += 0 pues si no lo fuera, x3 sera combinacin lineal de x1 y de x2 ) con lo


que obtenemos 8w1 , w3 9 = 0 y 8w2 , w3 9 = 0.
Iterando de la misma forma, obtenemos que, para k > 1
wk = xk

k1
,
i=1

8xk , wi 9 8wi , wi 9

wi , con 8wi , wj 9 = 0 i, j , i += j

Para normalizar la sucesin obtenida definimos, yk = ak wk con ak =


wk (p(wk ))1 , y as [x1 , x2 , . . . , xn ] = [y1 , y2 , . . . , yn ].

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

2.5.

37

La propiedad de Riemann-Lebesgue

Notemos que, si (xn ) es una


1 base ortonormal de c0 , entonces todo x c0 se
puede escribir como x = nN an xn , con an K. As, por la continuidad del
producto interior y utilizando el hecho que la sucesin (xn ) es normal obtenemos
que para todo x c0 , 8x, xn 9 = an , n N, y por la Proposicin 1.4 concluimos
8x, xn 9 0 cuando n
Con este hecho podemos dar la siguiente definicin.
Definicin 2.3. Sea (xn ) una sucesin en c0 . Diremos que (xn ) tiene la
Propiedad de Riemann-Lebesgue si 8x, xn 9 0 para todo x c0
A continuacin mostraremos que toda sucesin ortonormal con la Propiedad de
Riemann-Lebesgue esta dentro de una base ortonormal.
Teorema 2.7. Si S c0
1.

es un conjunto ortonormal finito {x1 , x2 , . . . , xn }, o

2.

es una sucesin ortonormal (xn )nN con la propiedad de RiemannLebesgue,

entonces S puede completarse a una base ortonormal de c0 .


Demostracin.
1. Sean M = [{x1 , x2 , . . . , xn }] e I = {k N : ek + M }. Para cada k I,
definimos
n
,
1
wk = ek
8ek , xj 9 8xj , xj 9 xj
j=1

y consideramos un subconjunto linealmente independiente maximal W de


{wk : k N}. Sea {yk : k N} el conjunto obtenido al aplicar el Teorema
de Gram-Schmitd a W . Pongamos N = cl[{yk : k N}]. Ahora, para todo
wm W tenemos
wm =

,
i=1

As,
em =

n
,
j=1

i yi i K, yi N

8em , xj 9 8xj , xj 9

lo que muestra el resultado.

xj +

,
i=1

i yi M + N

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

38

2. Sean M = cl[{xn : n N}] += c0 y I = {n N : en + M }. Por la propiedad


de Riemann-Lebesgue de (xn )nN obtenemos
lm 8en , xj 9 = 0 n I
j

y as, la serie

,
jN

8en , xj 9 8xj , xj 9

xj

converge para todo n I. Ahora, para n N, se define


,
1
wn = en
8en , xj 9 8xj , xj 9 xj += 0 (en + M ) .
jN

Luego,
8wn , xi 9 = 8en , xi 9

,
jN

8en , xj 9 8xj , xj 9

8xj , xi 9

= 8en , xi 9 8en , xi 9 = 0 n I, i N
De esto se sigue que wn es normal a M , para todo n N. Siguiendo las
mismas ideas del caso anterior, consideramos un subconjunto linealmente
independiente maximal W de {wn : n N} y aplicamos el Teorema 2.6
para obtener un conjunto ortonormal {yn : n N}. Luego, definiendo
N = cl[ yn : n N], obtenemos que N es normal a M y resultado se sigue
de igual forma que el caso anterior.
Ahora, como M + N es cerrado (Corolario 2.1) y {en : n N} M + N ,
se tiene c0 = M + N .

Corolario 2.6. Sea M un subespacio de c0 . Entonces, si M es de dimensin


finita o M es de dimensin infinita y tiene una base ortonormal con la propiedad
de Riemann-Lebesgue, entonces c0 = M M p .
Demostracin. Si M es finito-dimensional, entonces M posee una base
ortonormal {x1 , x2 , . . . , xn }, por el Teorema 2.6. Ahora, si z c0 , entonces
n
,

k=1

8z, xk 9 8xk , xk 9

xk M .

Pues bien, si consideremos


y=z

n
,

k=1

8z, xk 9 8xk , xk 9

xk .

entonces para xj M tenemos


8y, xj 9 = 8z, xj 9 8z, xj 9 = 0 .

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

39

Esto implica que y M p . Por lo tanto, para cada z c0 tenemos la


representacin
z=

n
,

k=1

8z, xk 9 8xk , xk 9

xk + y M + M p

donde el primero sumando de la derecha pertenece a M y el segundo sumando


a M p . En consecuencia c0 = M M p .
Supongamos que M es de dimensin infinita y que posee una base ortonormal
{xn : n N} con la Propiedad de Riemann-Lebesgue.
Por el teorema anterior, existe una base ortonormal numerable {yn : n N} tal
que {xn : n N} {yn : n N} es una base ortonormal para c0 . Definiendo
M = cl[xn : n N], obtenemos que N = cl[yn : n N] = M p .
Observacin 2.7. No toda sucesin ortonormal posee la Propiedad de RiamnnLebesgue, como lo muestra el siguiente ejemplo.
Ejemplo 2.3. Consideremos los vectores,
x1
x2
x3
x4
..
.
xn
Para n > 2,
xn+1

= (1, 1, 0, . . .)
= (1, 1, 1, 0, . . .)
= (1, 1, 2, 6, 1, 0, . . .)
= (1, 1, 2, 6, 42, 1, 0, . . .)
..
.
= (a1 , a2 , a3 , . . . , an , 1, 0, 0, . . .)

a1 , a2 , a3 , . . . , an ,

n
,

a2i , 1, 0, 0, . . .

i=1

<

Continuando de esta manera, obtenemos una sucesin de vectores tales que


5xn 5 = max{|ai | : i N} = 1 (con ai entero, para todo i N)
Adems, como |8xn , e1 9| = 1 para todo n N, se sigue que (xn ) no posee la
Propiedad de Riemann-Lebesgue.
A continuacin damos un criterio para identificar sucesiones con la Propiedad
de Riemann-Lebesgue.
Teorema 2.8. Una sucesin ortonormal (xn ) = (xn (k)kN ) tiene la Propiedad
de Riemann-Lebesgue si, y slo si, para todo $ > 0 y para todo m > 0, existe
N = N (m, $) > 0 tal que
n > N = |xn (i)| < $ , i, 1 i m

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

40

Demostracin.
6 Sea $ > 0 dado, y supongamos que para todo m > 0, existe
N = N (m, $) N tal que
n > N = |xn (i)| < $ , i, 1 i m
Mostremos que (xn ) tiene la propiedad de Riemann-Lebesgue. En efecto,
dado x = (x(n)) c0 , escojemos m > 0 tal que
|x(i)| < $ para i > m
Por hiptesis, para este m, existe N N tal que
n N |xn (i)| < $ para 1 i m
Ahora, como |xn (i)| < $ para i m y n N y que |x(i)| 5 x5 para
todo i, se sigue de esto que
|x(i)xn (i)| $ 5x5 para n N y i m
y as,

-,
x(i)xn (i)-- max {|x(i)xn (i)| : i m} 5x5 $
-im
-

Por otro lado, para i > m se tiene que |x(i)| < $ y |xn (i)| 5 xn 5 = 1,
cualquiera sea n N. Luego,
|x(i)xn (i)| < $ para i > m y n N
y por tanto,
-,
x(i)xn (i)- max {|x(i)xn (i)| : i > m} < $ para n N .
i>m

En consecuencia, para n N ,
- --,
- -,
,
x(i)xn (i) +
x(i)xn (i)-|8x, xn 9| = x(i)xn (i)- = -- im

iN

i>m

max{5x5 $, $}

lo que muestra que 8x, xn 9 0.

6 Ahora, supongamos que existen $ > 0 y m > 0 tales que para infinitos n
se tiene |xn (in )| $ para cierto in m. Luego, para x = (n,i0 ), con n,i0
delta de Kronecker, se tiene |8x, xn 9| $, es decir,
8x, xn 9 + 0

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

2.6.

41

Complementos Normales

En la seccin anterior, gracias al Corolario 2.6 hemos encontrado condiciones


suficientes para las cuales un subespacio cerrado M cumple con
c0 = M M p
En la presente seccin se encontrarn condiciones necesarias que permitirn
caracterizar tales subespacios cerrados.
Definicin 2.4. Sean M y N dos subespacios cerrados de c0 . Diremos que N
es un complemento normal de M si
1.

8x, y9 = 0 x M , y N .

2.

c0 = M N .

Teorema 2.9. Sea f un funcional lineal continuo, distinto del nulo, definido
sobre c0 . Entonces, f es un funcional de Riesz si y slo si N (f )p += {0}. Para
esto ltimo, se tiene que
c0 = N (f ) N (f )p
Demostracin.
6 Supongamos que f es un funcional de Riesz. Luego, existe y c0 , y += 0,
2
tal que f () = 8 , y9. Notar que y + N (f ), pues |8y, y9| = 5y5 > 0. Ahora,
como
8x, y9 = 0 x N (f )
se concluye que y N (f )p , lo que muetra que N (f )p += {0}.

6 Reciprocamente, supongamos ahora que existe w N (f )p , w += 0. As,


w + N (f ) y con esto se define M = [y], donde y = w/f (w). Ahora,
para x c0 , definamos = f (x). Notar que, x y N (f ), y que
x = x y + y N (f ) + M . Adems, N (f ) M = {0}, lo que muestra
que c0 = N (f ) M . Luego, dado x c0 , existe z N (f ) y a K tal que
x = z + ay. Notar que,
f (x) = f (z + ay) = f (z) + af (y) = a
1

As, tomando b = 8y, y9

obtenemos que

8x, by9 = 8z + ay, by9 = 8ay, by9 = a = f (x)


lo que muestra que f es un funcional de Riesz. Se sigue del Corolario 2.6
que
c0 = [by]p [by] = N (f ) N (f )p

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

42

Corolario 2.7. Sea f un funcional lineal, no trivial, continua definida sobre


c0 . Si N (f ) tiene una base ortonormal (xn )nN con la Propiedad de RiemannLebesgue, entonces f es un funcional de Riesz.
Demostracin. Supongamos que N (f ) tiene una base ortonormal (xn )nN con
la Propiedad de Rienamm-Lebesgue. Entonces, por el Corolario 2.6, se tiene
c0 = N (f ) N (f )p

Adems, como f + 0, se sigue que N (f ) += c0 , es decir, existe w N (f )p con


w += 0, en otras palabras N (f )p += {0}. Por el Teorema 2.9 f es un funcional de
Riesz.
El siguiente teorema caracteriza las bases ortormales de N (f ) que tienen la
Propiedad de Riemann-Lebesgue.
Teorema 2.10. Sea f un funcional no nulo, continuo definido en c0 y sea
(xn )nN una base ortonormal de N (f ). Entonces, (xn )nN tiene la Propiedad
de Riemann-Lebesgue si, y slo si, lm 8ej , xn 9 = 0 cuando ej + N (f ).
n

Demostracin.
6 Supongamos que lmn 8ej , xn 9 = 0 cuando ej + N (f ).
Consideremos la sucesin (f (en ))nN = (an )nN . Notar que (an )nN
! (= c'0 ), por la continuidad de f . Por otro lado, notar tambin que
x f (x)a1
j ej N (f ). En efecto,
1
1
f (x f (x)a1
j ej ) = f (x) f (x)aj f (ej ) = f (x) f (x)aj aj = 0

Por tanto, como { xn : n N } es una base de N (f ), se tiene


=
>
lm x f (x)a1
j ej , xn = 0
n

Sea x c0 ,

> =
>
1
x f (x)a1
j ej , xn + f (x)aj ej , xn
=
>
1
= x f (x)a1
j ej , xn + f (x)aj 8ej , xn 9

8x, xn 9 =

Tomando lmite cuando n tiende al infinito y aplicando la hiptesis,


tenemos
lm 8x, xn 9 = 0
n

lo que muestra que (xn )nN tiene la Propiedad de Riemann-Lebesgue.


6 Ahora, supongamos que (xn )nN es una base ortonormal de N (f ) con la
Propiedad de Riemann-Lebesgue, es decir,

En particular,

8x, xn 9 0 x c0
lm 8ej , xn 9 = 0

para ej + N (f ).

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

43

Observacin 2.8. Como el dual de c0 es ! , entonces existen f c'0 que no


son funcionales de Riesz. Para estos funcionales, N (f )p = {0} por el teorema
anterior.
Teorema 2.11. Si f c'0 es un funcional de Riesz, entonces cualquier base
ortonormal de N (f ) tiene la Propiedad de Riemann-Lebesgue.
Demostracin. Si f 0, entonces N (f ) = c0 y as, cualquier base de c0 tiene la
propiedad de Riemann-Lebesgue.
Supongamos que f + 0 y como f es un funcional de Riesz, existe y c0 , y += 0,
tal que f () = 8, y9. Por el Teorema 2.10, basta mostrar que lm 8ej , xn 9 = 0
n

cuando ej + N (f ).
Sea ej un elemento de la base cannica tal que ej + N (f ) y consideremos la
sucesin (f (en ))nN = (an )nN ! . Luego,
=
>
1
y, y 8y, y9 a1
8y, ej 9 = 8y, y9 8y, y9 a1
j ej = 8y, y9 8y, y9 aj
j aj = 0

Es decir, y 8y, y9 a1
j ej N (f ). Ahora, si (xn ) es una base ortonormal de
N (f ), entonces
=
>
1
0 = 8y, xn 9 = y 8y, y9 a1
8ej , xn 9
j ej , xn + 8y, y9 aj
y luego,

>
aj =
y 8y, y9 a1
ej , xn = 0 .
j
n 8y, y9

lm 8ej , xn 9 = lm

Observacin 2.9. Dada la base cannica (en )nN c0 , se define el funcional


lineal,
e'i : c0 K
x 3 e'i (x) = xi
,
donde x =
xn en . Notemos que e'i c'0 = ! y que
nN

5e'i 5 = sup
x(=0

|e'i (x)|
=1
5x5

Adems, e'i es un funcional de Riesz, ya que e'i (x) = xi = 8ei , x9.


Proposicin 2.3. cl[{e'i : i 1}]
= c0 .

Demostracin. Definamos la aplicacin lineal

:[ {e'i : i N}] c0

por (e'i ) = ei en su base. Como


5(e'i )5 = 5e'i 5 = 1 = 5ei 5

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

44

resulta ser isometra.


Se extiende continuamente a la claususra de [{e'i : i N}]

: cl[{e'i : i 1}] c0

es sobreyectiva. En
la cual resulta ser tambin una isometra. Afirmamos que
efecto, sea (an )nN c0 y definamos
,
x' =
an e'n .
nN

Como

0 = lm |an | = lm |an | 5e'n 5 ,


n

se tiene que x' ! . En particular,


x' =

n
,

lm

an e'n = lm

nN

i=1

ai e'i cl[{e'i : i 1}] .

Ahora,
')
(x

=
=

lm

n
,

ai (e'i )

i=1

n
,

ai ei

i=1

ai ei = (an )

nN

es sobreyectiva.
lo que muestra que
La siguiente proposicin es una caracterizacin de los funcionales de Riesz sobre
c0 .
Proposicin 2.4. f cl[{e'i : i 1}] si, y slo si, f es un funcional de Riesz.
Demostracin.
6 Sea f cl[{e'i : i 1}]. Luego, existe (n )nN c0 tal que
f=

k e'k

k=1

con

lm |n | 5e'k 5 = lm |n | = 0

Por lo tanto, definiendo


y=

nN

n en

CAPTULO 2. PRODUCTO INTERIOR NO-ARQUIMEDEANO

45

se tiene que y c0 , y que


f=

k e'k

k=1

=
=

lm

lm

n
,

k=1
? n
,

lm

= 8y, 9

k e'k

k=1
n
,
k=1

k ek ,

k ek ,

lo que muestra que f es un funcional de Riesz.


6 Supongamos que f es un funcional de Riesz. Entonces, existe y c0 , con
y += 0, tal que f () = 8, y9. Ahora, notemos que
y=

k=1

n en c0

y as,
f = 8y, 9 =

k=1

k 8ei , 9 = lm

n
,

k=1

k e'i cl[{e'i : i 1}]

Captulo 3

Operadores sobre c0
En este captulo se estudiarn en detalle los trabajos [1] y [2] de J. Aguayo y
M. Nova.
En estos trabajos se caracterizan los espacios que admiten un complemento
normal y cmo estos se relacionan con los operadores proyeccin.
Adems, utilizando las proyecciones normales, se mostrar un anlogo noarquimedeano de un teorema de descomposicin espectral.

3.1.

Proyecciones Normales

Sea T : c0 c0 un operador lineal. Entonces,


1. llamaremos espacio nulo de T al conjunto
N (T ) = {x c0 : T (x) = 0}
2. llamaremos Rango de T al conjunto
R(T ) = {y c0 : y = T (x); para algn x c0 }
3. Adems, denotaremos por L(c0 ) al espacio de todos los operadores lineales
T definidos sobre c0 .
Definicin 3.1. Sea P L(c0 ). Entonces, P se dir Proyeccin Normal si
satisface
1.

P2 = P

2.

P es continua.

3.

8x, y9 = 0, para x N (P ) e y R(P ).

46

CAPTULO 3. OPERADORES SOBRE C0

47

Observacin 3.1.
1.

De 1. y 3. en la definicin anterior, obtenemos que c0 = N (P ) R(P ).

2.

Si x c0 , entonces x P x N (P ). En efecto,
P (x P x) = P x P 2 x = P x P x = 0

3.

Si x R(P ), entonces x = P (x). En efecto, dado x R(P ) existe z c0


tal que x = P (z). As,
P (x) = P (P (z)) = P 2 (z) = P (z)

Teorema 3.1. Sea P una proyeccin normal. Si (xn )nN es una base
ortonormal de N (P ), entonces sta tiene la Propiedad de Riemann-Lebesgue.
Demostracin. Supongamos que (xn )nN es una base ortogonal de N (P ) y sea
x c0 arbitrario. Si x N (P ), entonces lm 8x, xn 9 = 0, ya que (xn )nN es
n

una base ortonormal de N (P ). Supongamos que x + N (P ); como P es una


proyeccin normal, se tiene x P x N (P ) y que 8P x, xn 9 = 0. As,
8x, xn 9 = 8x P x, xn 9 + 8P x, xn 9 = 8x P x, xn 9
y por tanto

lm 8x, xn 9 = lm 8x P x, xn 9 = 0

Corolario 3.1. Si P es proyeccin normal sobre c0 , entonces I P es tambin


una proyeccin normal. Adems, N (P )p = R(P ) = N (I P ) y R(P )p =
N (P ) = R(I P ).
Demostracin.
1. I P es continua, pues I y P los son. Adems,
(I P )2 (x) = (I P )(x P (x)) = x P (x) P (x) + P 2 (x) = x P (x)
As, (I P )2 = I P . Finalmente, 8x, y9 = 0 con x N (I P )
e y R(I P ), se obtiene de las igualdades R(P ) = N (I P ) y
N (P ) = R(I P ), las cuales se prueban a continuacin.
2. N (P )p = R(P ).
Sea x N (P )p y sea (u, v) N (P ) R(P ) tal que x = u + v (Observacin
3.1). Como 8x, u9 = 0 y 8v, u9 = 0, se tiene que 8u, u9 = 0, lo cual implica
que u = 0. Luego, x = v R(P ).
Por otro lado, dado x R(P ) e y N (P ) obtenemos que 8x, y9 = 0, por
el punto 3 de la Definicin 3.1. As, x N (P )p .

CAPTULO 3. OPERADORES SOBRE C0

48

3. R(P ) = N (I P ).
x R(P )

x = P (x)
x P (x) = 0
(I P )(x) = 0
x N (I P )

4. N (P ) = R(I P ).
x N (P )

P (x) = 0
x = x P (x) R(I P )

Proposicin 3.1. Sea M un subespacio cerrado de c0 . Si M posee una


base ortonormal con la Propiedad de Riemann-Lebesgue, entonces existe una
proyeccin normal P tal que M = N (P ).
Demostracin. Por el Corolario 2.6, se tiene c0 = M M p . Si x c0 , entonces
existe un nico par (u, v) M M p tal que x = u + v. Definiendo PM (x) = v,
obtenemos la proyeccin normal que cumple con N (P ) = M .
Corolario 3.2. Sea M un subespacio cerrado y finito-dimensional de c0 .
Entonces, las siguientes aseveraciones son equivalentes:
1.

M admite un complemento normal.

2.

M tiene una base ortonormal con la propiedad de Riemann-Lebesgue.

3.

Existe una proyeccin normal P tal que N (P ) = M .

Demostracin.
1. 2. Supongamos que M admite un complemento normal, es decir, existe un
subespacio N tal que
c0 = M N y que 8x, y9 = 0 , x M , y N
Luego, dado z c0 existen nicos (x, y) M N tales que z = x + y. Entonces, definiendo PM (z) = y, obtenemos un proyeccin normal que satisface
N (PM ) = M . As, dada una base ortonormal (xn )nN de N (PM ), sta tendr
la Propiedad de Riemann-Lebesgue gracias al Teorema 3.1.
2. 3. Sea M un subespacio cerrado tal que admite una base ortonormal con
la Propiedad de Riemann-Lebesgue. Luego, aplicando la Proposicin 3.1
obtenemos la existencia de una proyeccin normal P tal que N (P ) = M .

CAPTULO 3. OPERADORES SOBRE C0

49

3. 1. Supongamos que existe una proyeccin normal P tal que N (P ) = M .


Luego, por el Corolario 3.1 tenemos que R(P ) = N (P )p = M p , y utilizando la
Observacin 3.1, item 1. se tiene que,
c0 = M M p
lo cual muestra el resultado.
Corolario 3.3. Sea M un subespacio cerrado de c0 . Entonces,
1.

Si M es finito-dimensional o tiene una base ortonormal con la Propiedad


de Riemann-Lebesgue, entonces M p tiene una base con la propiedad de
Riemann-Lebesgue o es finito-dimensional.

2.

Si M tiene una base ortonormal con la Propiedad de Riemann-Lebesgue,


entonces cualquier otra base ortonormal tiene la misma propiedad.

Demostracin.
1. Supongamos que M es finito dimensional, luego por el Corolario 2.6
se tiene c0 = M M p . As, si x c0 , entonces existe un nico par
(u, v) M M p tal que x = u+v. Definiendo PM p (x) = u, obtenemos una
proyeccin normal que satisface que N (PM p ) = M p . Luego, el resultado
se sigue del Corolario 3.2.
2. Supongamos que M tiene una base ortonormal con la Propiedad de
Riemann-Lebesgue, entonces por el Corolario 3.2 existe una proyeccin
normal P tal que N (P ) = M . As, si (xn )nN es una base ortonormal
cualquiera de M = N (P ), podemos aplicar el Teorema 3.1 para obtener
que (xn )nN tambin satisface la Propiedad de Riemann-Lebesgue.

Definicin 3.2. Un subespacio cerrado M de c0 se dir que tiene la Propiedad


de Riemann-Lebesgue si M es finito-dimensional o tiene una base ortonormal
con la Propiedad de Riemann-Lebesgue.
Lo siguiente, generaliza la Observacin 2.9
Observacin 3.2. Sea {ei : i N} la base cannica de c0 . Se define el operador
lineal
e'j ei : c0 c0
x 3 e'j ei (x) = e'j (x) ei .
Notemos que,

- '
- '
-e (x)- 5ei 5
-e (x)- / /
/ '
/
j
/ej ei / = sup j
= sup
= /e'j / = 1
5x5
x(=0
x(=0 5x5

Por lo que e'j ei L(c0 ).

CAPTULO 3. OPERADORES SOBRE C0

50

Proposicin 3.2. Sea (ei )iN la base cannica de c0 . Entonces, cada u L(c0 )
se puede escribir de forma nica como
,
u=
ij e'j ei
j,i

donde para cada j N, se tiene


lm |ij | = 0

Adems,

5u5 = sup |ij |


j,i

Demostracin. Sea u L(c0 ). Entonces, para cada j N se tiene que


u(ej ) c0 . Luego, como (ei )iN es una base ortonormal de c0 , existen nicos
1j , 2j . . . K, para cada j N tales que
,
u(ej ) =
ij ei con lm |ij | = 0
i

iN

Se sigue de esto que,


,
,,
,,
u(x) =
xj u(ej ) =
ij xj ei =
ij e'j (x)ei
jN

,,

jN iN

ij e'j

jN iN

Adems,

ei (x)

/
/
lm |ij | /e'j ei / = lm |ij | = 0 j N

As,

jN iN

u=

,,
jN iN

ij e'j ei

es una suma puntualmente convergente. Por otro lado, notemos que


5u(ej )5
5u5
5ej 5

j N

Ahora, para cada x c0 , se tiene


/
/
/,
/
/
/
/
5u(x)5 = /
xj u(ej )/
|xj | 5u(ej )5 5x5 sup 5u(ej )5
/ sup
jN
/jN
/ jN
por lo que

5u5 = sup
x(=0

5u(x)5
sup 5u(ej )5
5x5
jN

CAPTULO 3. OPERADORES SOBRE C0


lo que muestra que

51

5u5 = sup 5u(ej )5


jN

Finalmente
)
*
5u5 = sup 5u(ej )5 = sup sup |ij | = sup |ij |
jN

jN

j,i

iN

Observacin 3.3. Por la proposicin anterior, sabemos que si u L(c0 ),


entonces u se puede escribir de forma nica como una suma puntualmente
convergente
,
u=
ij e'j ei
i,jN

en trminos matriciales, lo anterior puede representarse como

11 12 13 1j
21 22 23 2j

31 32 33 3j

..
..

.
.

i1 i2 i3 ij

..
..
..
..

.
.
.
.

.
.

.

0
0
0
0
Proposicin 3.3. Sea u L(c0 ), con u =
siguientes aseveraciones son equivalentes:
1.
2.

i,jN

ij e'j ei . Entonces, las

u2 = u
,
ik kj = ij , para todo i, j N.
kN

Demostracin.
1. 2. Basta probarlo para los elementos de la base cannica. En efecto, sea
ej un elemento de la base cannica. Entonces,
,
u(ej ) =
ij ei = (1j , 2j , 3j , . . .)
iN

CAPTULO 3. OPERADORES SOBRE C0

52

lo que implica que,


u2 (ej )

= u(u(ej ))
;
<
,
= u
ij ei
iN

= u(1j , 2j , 3j , . . .)

11 12 13
21 22 23

31 32 33

.
..
=
..
.

i1 i2 i3

..
..
..
.
.
.

1

1jN 1k kj


1jN 2k kj

jN 3k kj

.
=
..

jN ik kj

..
.
;
<
, ,
=
ik kj ei .
iN

As,

;
, ,
iN

1k
2k
3k
ik
..
.

1j
2j
3j
..
.


kj
..
.

kN

ik kj

kN

en vista de la unicidad,

<

ei = u2 (ej ) = u(ej ) =

ij ei

iN

ik kj = ij

kN

2. 1. De la parte anterior, se sabe que


;
<
, ,
u2 (ej ) =
ik kj ei
iN

As,
u (ej ) =
2

y que

iN

lo que muestra que u2 = u.

kN

ik kj

<

ij ei

iN

kN

;
, ,

u(ej ) =

ei =

,
iN

ij ei = u(ej )

CAPTULO 3. OPERADORES SOBRE C0

53

Observacin 3.4. Sea ek un elemento de la base cannica y u como en la


Proposicin 3.3 . Entonces,
?
@
8ek u(ek ), u(ek )9 =

(0, . . . , GHIJ
1 , 0, . . .) (1k , 2k , . . .), (1k , 2k , . . .)
k-simo
2
2
2
= 1k
. . . (k1)k
+ kk (1 kk ) (k+1)k
...
,
2
= kk
ik
iN

As, u una proyeccin ser normal si, y slo si,


,
2
ik
= kk
iN

Utilizando la Proposicin 3.3 y la Observacin 3.4 se obtiene el siguiente


resultado.
,
Proposicin 3.4. Sea u =
ij e'j ei L(c0 ). Entonces, las siguientes
i,jN

aseveraciones son equivalentes:


1.

u es proyeccin normal.

2.

Para cada k N,

2
ik
= kk

iN

y, para cada i, k N,

ij jk = ik

jN

Demostracin. Por la Proposicin 3.3, se tiene que u es proyeccin si, y slo si,
,
ij jk = ik
i, k N
jN

Adems, por la Observacin 3.4, obtenemos que u es proyeccin normal si, y


slo si,
,
2
= kk
ik
iN

lo que muestra el resultado.

3.2.

Operadores Adjuntos y Auto-Adjuntos

Definicin 3.3. Sean u, v L(c0 ). Diremos que v es adjunto de u (con respecto


a 8, 9) si, para todo x, y c0 , se tiene que
8u(x), y9 = 8x, v(y)9

En tal caso, diremos que u admite un adjunto y que denotaremos por u . Si


u = u diremos que u es auto-adjunto.

CAPTULO 3. OPERADORES SOBRE C0

54

Observacin 3.5.
1.

El adjunto de u es nico.

2.

Para cada K y cada x, y c0 , obtenemos ( u) = u .


En efecto, dados K, x, y c0 se tiene
8( u)(x), y9 = 8 u(x), y9 = 8u(x), y9
= 8x, u (y)9 = 8x, u (y)9
= 8x, ( u )(y)9

y por la unicidad ( u) = u .
3.

(uv) = v u .
En efecto, dados x, y c0 se tiene

8(uv)(x), y9 = 8u(v(x)), y9 = 8v(x), u (y)9


= 8x, v (u (y))9 = 8x, v u (y)9

y por la unicidad (uv) = v u .


4.

No todo elemento u L(c0 ) admite adjunto. Como contra-ejemplo,


consideremos
; <
,
u=
xi e1
i=1

y supongamos que ste admite un adjunto u . Luego,


1 = 8u(ei ), e1 9 = 8ei , u (e1 )9

cualquiera sea i N. Como (u (e1 )) = (yi ) debes er un elemento de c0 y


8ei , u (e1 )9 = yi 0, obtenemos una contradiccin a lo anteior.

Teorema 3.2. Si P es una proyeccin normal, entonces P es operador autoadjunto. Reciprocamente, si P es un operador auto-adjunto y P 2 = P , entonces
P es un proyeccin normal.
Demostracin. Supongamos que P es una proyeccin normal y sean x, y c0 .
Luego, se tiene que x P x, y P y N (P ) y
Por tanto,

8P x, y P y9 = 8P x x, P y9 = 0 .

8P x, y9 = 8P x, y P y9 + 8P x, P y9 = 8P x, P y9
= 8P x x, P y9 + 8x, P y9
= 8x, P y9

Reciprocamente, supongamos P un operador auto-adjunto y P 2 = P , y sean


x N (P ) e y R(P ). Luego, existe z c0 tal que y = P z. As,
8x, y9 = 8x, P z9 = 8P x, z9 = 0

lo que muestra el resultado.

CAPTULO 3. OPERADORES SOBRE C0


Teorema 3.3. Sea u =

,
i,j

55

ij e'j ei L(c0 ). Entonces, u admite un nico

operador adjunto si, y slo si,


lm |ij | = 0 i 0

Bajo esta condicin, se tiene


u =

,
i,j

ji e'j ei

Demostracin. Sean u, v L(c0 ). Por la Proposicin 3.2, u y v se escriben de


forma nica como,
,
,
ij e'j ei
u=
ij e'j ei y v =
i,j

i,j

con

lm |ij | = 0 y

lm |ij | = 0

Luego, v es un adjunto de u si y slo si


8u(x), y9 = 8x, v(y)9

x, y c0

Entonces, si consideramos la base ortonormal (en )nN de c0 , obtendremos que


@
?
,
ji =
ki ek , ej = 8u(ei ), ej 9
kN

= 8ei , v(ej )9 =

= ij i, j N
Adems,

ei ,

kj ek

kN

lm |ji | = lm |ij | = 0 j N

Por lo tanto, v se puede escribir como


,
v=
ji e'j ei
i,j

Observacin,
3.6. Por la proposicin anterior, sabemos que si u L(c0 ),
entonces u =
ij e'j ei admite un adjunto si, y slo si,
i,j

lm |ij | = 0

i N

CAPTULO 3. OPERADORES SOBRE C0


en trminos matriciales, lo

11
21

32

.
u=
..

i1

..
.

56

anterior nos dice que


12
22
32
..
.

13
23
33
..
.

...
...
...
..
.

1j
2j
3j

...
...
...

i2
..
.

i3
..
.

...

ij

...
..
.

0
0
0

Observacin 3.7. Sea f () = 8, y9 un funcional


de,
Riesz, donde y = (yn ) c0 ,
,
2
2
y += 0. Notemos que f (ei ) = yi , 8y, y9 =
yi =
8ei , y9 K. El operador
iN

lineal u definido como

u=

y1
0
0
0
..
.

y2
0
0
0
..
.

es continuo, su nucleo es igual N (f ), y

y1 0
y2 0

u = y3 0
y4 0

.. ..
. .

y3
0
0
0
..
.

iN

y4
0
0
0
..
.

..
.

su adjunta es

0 0
0 0

0 0

0 0

.. .. . .
.
. .

Proposicin 3.5. Si f y u estn definidos como en la observacin anterior,


entonces
1
P =
u u
8y, y9

es un proyeccin normal y N (P ) = N (u) = N (f ).

Demostracin.
'
(
1
1
1
1

P =
u u =
(u u) =
u (u ) =
u u = P
8y, y9
8y, y9
8y, y9
8y, y9
Lo que muestra que P es un operador auto-adjunto. Ahora,
a P es la siguiente:
2
y1
y1 y 2 y1 y3 y 1 y 4
y1 y2
y22
y2 y3 y 2 y 4
1
y 1 y 3 y2 y 3
y32
y3 y4
P =

8y, y9 y1 y4 y2 y4 y3 y4

y42

..
..
..
..
..
.
.
.
.
.

la matriz asociada

CAPTULO 3. OPERADORES SOBRE C0

57

Para probar que P es proyeccin normal, por la Proposicin 3.4, basta mostrar
que
,
ik kj = ij , i, j N
kN

,
iN

donde

2
ik
= kk , k N

ij =
En efecto,
,

ik kj

k1

y
,

2
ik

i1

1
2

8y, y9
yi y j

1
yi yj
8y, y9

(yi yk )(yk yj ) =

k1

yi y j ,
2

8y, y9

yi yj
2 8y, y9 = 8y, y9 = ij
8y, y9
1
2

8y, y9
yk2

(yi yk )2 =

i1

8y, y9

y1 y4
y2 y4
y3 y4
y42
..
.

..
.

yk2
2

yk2
2 8y, y9 = 8y, y9 = kk
8y, y9

yk2

k1

yi2

i1

Observacin 3.8.
1.

Notemos que,

P (x)

8y, y9

8y, y9

8y, y9

y12
y1 y2
y1 y3
y1 y4
..
.

y 1 y2
y22
y 2 y3
y 2 y4
..
.

y1 y3
y2 y3
y32
y3 y4
..
.

x1
x2
x3
x4
..
.

y1 x1 y1 + y1 x2 y2 + y1 x3 y3 + y1 x4 y4 +
y2 x1 y1 + y2 x2 y2 + y2 x3 y3 + y2 x4 y4 +

y3 x1 y1 + y3 x2 y2 + y3 x3 y3 + y3 x4 y4 +

y4 x1 y1 + y4 x2 y2 + y4 x3 y3 + y4 x4 y4 +

..
.

1
y1 1iN xi yi
y1 8x, y9
y2 8x, y9
y2 1iN xi yi

1
y3 8x, y9
y3 1iN xi yi
=

8y, y9 y4 8x, y9
y4 iN xi yi

..
..
.
.

CAPTULO 3. OPERADORES SOBRE C0

Adems,

8x, y9

8y, y9

y1
y2
y3
y4
..
.

58

8x, y9

y
=
8y, y9

/
/ / 8x, y9 / - 8x, y9 /
/
- 5y5 = |8x, y9| 5y5 = |8x, y9| 5x5 5y5 = 5x5
5P (x)5 = /
y =
8y, y9 / - 8y, y9 |8y, y9|
5y5
5y5
por lo que

5P 5 1

Por otro lado, sea a K tal que |a| = 5y5. Entonces,


-= 1
>- a y, y 1 |8y, y9|
1=
5y5 =
5y5 5P 5
5y5 |8y, y9|
|8y, y9|
2.

Luego, P es proyeccin normal con 5P 5 = 1.

Generalizando
el punto anterior, consideremos {y 1 , y 2 , . . . , y n } c0 tal
= i j>
que y , y = 0 si i += j. Entonces, el operador
>
n =
,
x, y i i
P (x) =
y
8y i , y i 9
i=1
define una proyeccin normal con 5P 5 = 1. En efecto, notemos que
i
>
n = j
y si i = j
i
,
y ,y
i
P (y j ) =
y
=

8y i , y i 9
i=1
0 si i += j
Entonces,

; n =
>
> <
n =
, x, y i
,
x, y i
2
i
P (x) = P (P (x)) = P
y =
P (y i )
i , yi 9
i , yi 9
8y
8y
i=1
i=1
>
n =
,
x, y i i
=
y = P (x)
8y i , y i 9
i=1
=
>
x, y i i
Notar, por lo anteior, que cada Pi (x) = i i y define un operador auto8y , y 9
adjunto y as se tiene,
? n
@
n
,
,
8P (x), y9 =
Pi (x), y =
8Pi (x), y9
i=1

n
,
i=1

8x, Pi (y)9 =

= 8x, P (y)9

i=1

x,

n
,
i=1

Pi (y)

CAPTULO 3. OPERADORES SOBRE C0

59

es decir, P es un operador auto-adjunto. Adems,


2 -=
3
>- x, y i - / /
/y i / : i = 1, 2, . . . , n
5P (x)5 = max
|8y i , y i 9|
2
3
/ /
/
5x5 /y i / /
i/
/
y : i = 1, 2, . . . , n = 5x5
max
2
5y i 5
1

5P 5

/ /
Por otro lado, sea ai K tal que |ai | = /y i / para todo i = 1, . . . , n.
Luego,
-=
-=
>>i i - / /
/ - a1
1 - yi , yi - /
i y ,y
i/
/
/y i / 5P 5
y =
1= i
5y 5 |8y i , y i 9|
|8y i , y i 9|
As, P es proyeccin normal con 5P 5 = 1.

El siguiente teorema presenta una generalizacin del punto 2 de la observacin


anterior.
Teorema 3.4. Sea {y 1 , y 2 , . . .} una sucesin ortonormal con la propiedad de
Riemann-Lebesgue. Entonces, P : c0 c0 es una proyeccin normal con
R(P ) = [{y 1 , y 2 , . . .}] si, y slo si,
>
=
,
x, y i i
P (x) =
y
8y i , y i 9
i=1
Demostracin.
6 Supongamos que P : c0 c0 es una proyeccin normal con R(P ) =
[{y 1 , y 2 , . . .}]. Entonces, dado x c0 , se tiene que P (x) R(P ). Luego,
existen i c'0 , i N, tales que
P (x) =

i (x) y i .

i=1

Luego, del hecho que,


=

x, y

>

=
=

x, P y

,
i=1

se concluye que

>

= P x, y

>

?
,

i (x)y , y

i=1

=
>
=
>
i (x) y i , y j = j (x) y j , y j
=

>
x, y j
j (x) = j j ,
8y , y 9

CAPTULO 3. OPERADORES SOBRE C0

60

es decir i es un funcinal de Riesz. Ahora, definamos


=
>
x, y i i
Pi (x) = i i y
8y , y 9
y notemos que, como {y 1 , y 2 , . . .} una sucesin ortonormal con la
Propiedad de Riemann-Lebesgue, se tiene
=
>
x, y i i
lm Pi (x) = lm i i y = 0
8y , y 9
i
por lo que

>
=
,
x, y i i
P (x) =
y
8y i , y i 9
i=1

lo cual muestra el resultado.


6 Si

entonces
P (x) =

>
=
,
x, y i i
P (x) =
y
8y i , y i 9
i=1
>
>
=
n =
,
,
x, y i i
x, y i i
y
=
l
m
y [{y 1 , y 2 , . . .}] = R(P )
n
8y i , y i 9
8y i , y i 9
i=1
i=1
=

>
x, y i i
Por otro lado, notemos cada Pi (x) = i i y define un operador auto8y , y 9
adjunto, adems
) i
y si i = j
Pi (y j ) =
0 si i += j

por lo que Pi2 = Pi . Luego,

P 2 = lm

n
,

Pi2 = lm

i=1

n
,

Pi = P

i=1

y as, P es una proyeccin normal.

3.3.

Operadores Compactos

Definicin 3.4. Sean E y F espacios de Banach sobre el campo K. Una


transformacin lineal T : E F se dir compacta si T (BE ) es compactoide.
Al igual que el caso clsico, tenemos el siguiente resultado, probado en
[3, pg. 142], para operadores compactos en espacios no-arquimedeanos.

CAPTULO 3. OPERADORES SOBRE C0

61

Teorema 3.5. Sean E e F espacios de Banach sobre el campo K y sea


T L(E, F ). Entonces, T es compacto si, y slo si, para cada $ > 0, existe
S L(E, F ) tal que S(E) es de dimensin finita y
5T S5 $
El siguiente teorema nos muestra cmo construir operadores compactos en c0 ,
considerando sucesiones ortonormales.
Teorema 3.6. Sea (i ) un elemento de c0 y sea {y1 , y2 , . . .} una sucesin
ortonormal con la Propiedad de Riemann-Lebesgue. Entonces, T : c0 c0
definido por

,
T () =
i Pi () ,
i=1

donde

8 , yi 9
yi ,
8yi , yi 9
es un operador compacto y auto-adjunto.
Pi () =

Demostracin. Notemos que si (i ) un elemento de c0 , entonces 5i Pi 5


0 cuando i , por tanto T est bien definida. Por otro lado,
/
/
/
/ /
/

/
/
/ ,
/ / ,
,
8x, yi 9 /
/
/
/
/ /
/
i
i Pi (x)/ = /
i Pi (x)/ /
yi /
/T x
/
/
/
/ /
/
8y
,
y
9
i
i
i=n+1
i=1
i=n+1
)
*
- 8x, yi 9 - 5yi 5 : i = n + 1, n + 2, . . .
max |i | -8yi , yi 9 max {|i | 5x5 : i = n + 1, n + 2, . . .}
= 5x5 max {|i | : i = n + 1, n + 2, . . .}
Entonces,

/
/
n
/
/
,
/
/
i Pi / =
/T
/
/
i=1

sup
x(=0

5T x

1n

i=1

i Pi (x)5

5x5

max {|i | : i = n + 1, n + 2, . . .} 0

Como cada Pi tiene rango finito y la convergencia es uniforme, T se convierte


en un operador compacto gracias al Teorema 3.5
Observacin 3.9. No todo operador compacto es una proyeccin normal. En
efecto, consideremos el operador Ma , con a = (ai ) c0 y cuya matriz asociada
[Ma ] es:

a1 0 0
0 ...
0 a2 0
0 . . .

0 0 a3 0 . . .

[Ma ] =

0 0 0 . . . . . .

..
..
..
..
..
.
.
.
.
.

CAPTULO 3. OPERADORES SOBRE C0


As,
Ma =

ai Pi , donde Pi x =

i=1

62

8x, ei 9
ei = 8x, ei 9 ei
8ei , ei 9

es un operador compacto (Teorema 3.5 ) y auto-adjunto, pero no es proyeccin


normal ya que Ma2 (ei ) = a2i ei += ai ei = Ma (ei ) (Proposicin 3.4 ).
Ahora, sea T un operador compacto y auto-adjunto. La pregunta natural que
surge es existen (i ) c0 y una sucesin de proyecciones normales (Pi ) tales

,
que T =
i Pi ?
i=1

La respuesta es afirmativa y comenzaremos el estudio con aquellos operadores


compactos y auto-adjuntos de rango finito.
Teorema 3.7. Sea T : c0 c0 un operador compacto y auto-adjunto con
R(T ) = [{y1 , y2 , . . . , yn }], donde {y1 , y2 , . . . , yn } es una sucesin ortonormal.
Entonces, existen 1 , 2 , . . . , n K tal que
T =

n
,

i Pi ,

i=1

donde
Pi =

8, yi 9
yi .
8yi , yi 9

Demostracin. Notar que, para cada x c0 , T (x) es una combinacin lineal de


la forma
n
,
Tx =
i (x) yi ,
i=1

donde i
para i = 1, 2, . . . , n, puesto que T un operador continuo. As,
como T es un operador auto-adjunto se tiene
? n
@
,
8x, T yj 9 = 8T x, yj 9 =
i (x)yi , yj
c'0 ,

i=1

= j (x) 8yj , yj 9

Luego,
j (x) =

8x, T yj 9
8yj , yj 9

y por tanto, cada i es un funcional de Riesz y


Tx =

n
,
8x, T yj 9
i=1

8yj , yj 9

yi

CAPTULO 3. OPERADORES SOBRE C0

63

Ahora, para x c0 , x fijo, se plantea el siguiente sistema de ecuaciones con


incgnitas i , i = 1, 2, . . . , n
n
,
8x, T yi 9

8yi , yi 9

i=1

yi =

n
,

i=1

8x, yi 9
yi
8yi , yi 9

o equivalentemente
L
n K
n
,
,
8x, T yi 9
8x, yi 9
1
i
yi = 0
[8x, T yi 9 i 8x, yi 9] yi = 0
8y
,
y
9
8y
,
y
9
8y
i i
i i
i , yi 9
i=1
i=1

n
,
8x, T yi i yi 9
i=1

8yi , yi 9

yi = 0

Como {y1 , y2 , . . . , yn } es un conjunto linealmente independiente, se tiene


8x, T yi i yi 9 = 0
Como x fue elegido de forma arbitraria, se concluye 8x, T yi i yi 9 = 0 para
todo x c0 , lo que implica que
T y i i yi = 0 T y i = i yi
8yi , T yi 9 = i 8yi , yi 9
8yi , T yi 9
i =
8yi , yi 9
As,
Tx =

n
,
8x, T yj 9
i=1

con

8yj , yj 9
i =

yi =

n
n
,
,
8yi , T yi 9 8x, yi 9
yi =
i Pi (x)
8yi , yi 9 8yi , yi 9
i=1
i=1

8yi , T yi 9
8yi , yi 9

y Pi (x) =

8x, yi 9
yi
8yi , yi 9

A continuacin, generalizaremos el teorema anterior para operadores compactos


y auto-adjuntos de rango infinito.
Teorema 3.8. Si T : c0 c0 es un operador compacto y auto-adjunto, entonces
existe a = (n ) c0 y una sucesin ortonormal {y1 , y2 , . . .} tal que
T =

n Pn

n=1

donde
Pn =

8, yn 9
yn
8yn , yn 9

es la proyeccin normal definida por yn

CAPTULO 3. OPERADORES SOBRE C0

64

Demostracin. Como T es un operador compacto, se tiene X = T (B) es


compactoide, donde B es la bola unitaria en c0 . Adems, cada subespacio unodimensional de c0 admite un complemento normal (Corolario 2.6). Por otro
lado, como X = T (B) es absolutamente convexo, compactoide y acotado, toda
sucesin ortogonal en X converge a 0 (Teorema 1.12).
Ahora, construiremos una sucesin ortonormal (yn ) en X tal que X co{yn :
n N}. En efecto, supongamos que la valuacin de K es densa y sea K tal
que 0 < || < 1. Escogemos , 1 , 2 , . . . K y v1 , v2 , . . . R tal que
1

|| < ||
1 < vn < |n | ; |1 2 . . . n | < || n N
Se define P0 = Idc0 y se escoge a1 P0 (X) = X tal que
5a1 5 v11 sup 5P0 x5 = v11 sup 5x5
xX

xX

El subespacio [{a1 }] admite un complemento normal [{a1 }]p . Se define la


proyeccin Q0 : c0 c0 como
Q0 (x) =

8x, a1 9
a1
8a1 , a1 9

la cual resulta ser una proyeccin normal (Observacin 3.8).


El operador P1 = P0 Q0 : c0 c0 es tambin una proyeccin normal (Corolario
3.1) cuyo rango es [{a1 }]p . Esta proyeccin normal es definida por
P1 x = x

8x, a1 9
a1
8a1 , a1 9

y satisface las siguientes propiedades


5P1 5 1 ; P1 P0 = P1 ; y P0 P1 es una proyeccin normal
El siguiente paso es escoger a2 P1 (X) tal que
5a2 5 v21 sup 5P1 x5
xX

Como P1 (X) R(P1 ) = [{a1 }]p , tenemos que 8a1 , a2 9 = 0. Una vez ms, como
antes, se define la proyeccin normal Q1 : c0 c0 por
Q1 (x) =

8x, a2 9
a2
8a2 , a2 9

Notemos que
Q1 P1 (x)

'
(
8x, a1 9
= Q1 x
a1
8a1 , a1 9
8x, a1 9
= Q1 (x)
Q1 (a1 ) = Q1 (x)
8a1 , a1 9

CAPTULO 3. OPERADORES SOBRE C0

65

Se define P2 = P1 Q1 , y notemos que satisface


P2 (x)

= (P1 Q1 )(x)
= P1 (x) Q1 (x)
'
(
8x, a1 9
8x, a2 9
=
x
a1
a2
8a1 , a1 9
8a2 , a2 9
8x, a1 9
8x, a2 9
= x
a1
a2
8a1 , a1 9
8a2 , a2 9

la cual es una proyeccin normal (Observacin 3.8) y por tanto 5P2 5 1.


Adems,
P2 P1 = (P1 Q1 )P1 = P12 Q1 P1 = P1 Q1 = P2
Resumiendo,

P2 P0 = P2 ; P2 P1 = P2 ; P2 P2 = P2
P1 P2 = Q1 es proyeccin normal
y R(P2 ) = [{a1 , a2 }]p
Siguiendo con el proceso, escogemos a3 P2 (X) tal que
5a3 5 v31 sup 5P2 x5
xX

Otra vez, ya que a3 P2 (X) R(P2 ) = [{a1 , a2 }]p tenemos que 8a3 , a2 9 =
8a3 , a1 9 = 0.
Se define la proyeccin normal Q2 : c0 c0 como
Q2 (x) =

8x, a3 9
a3
8a3 , a3 9

Como se hizo anteriormente


'
(
8x, a1 9
8x, a2 9
Q2 P2 (x) = Q2 x
a1
a2
8a1 , a1 9
8a2 , a2 9
8x, a1 9
8x, a2 9
= Q2 (x)
Q2 (a1 )
Q2 (a2 ) = Q2 (x)
8a1 , a1 9
8a2 , a2 9
y el operador
es tal que
P3 (x)

P3 = P2 Q2
= (P2 Q2 )(x)
= P2 (x) Q2 (x)
'
(
8x, a1 9
8x, a2 9
8x, a3 9
=
x
a1
a2
a3
8a1 , a1 9
8a2 , a2 9
8a3 , a3 9
8x, a1 9
8x, a2 9
8x, a3 9
= x
a1
a2
a3
8a1 , a1 9
8a2 , a2 9
8a3 , a3 9

CAPTULO 3. OPERADORES SOBRE C0

66

el cual resulta ser una proyeccin normal (Observacin 3.8).


Procediendo inductivamente, escogemos una sucesin (ai )iN c0 tal que
8ai , aj 9 = 0 para i += j, y obtenemos una sucesin (Pi )iN de proyecciones
normales en L(c0 ) tal que

an

Pn1 (X), 5an 5 vn1 sup 5Pn1 x5


xX

= Qn1 es una proyeccin normal


= Pn ; i = 0, 1, 2, . . . , n.

Pn1 Pn
Pn Pi

Es claro que Pn (c0 ) Pn1 (c0 ), ya que [{a1 , a2 , . . . , an1 }] [{a1 , a2 , . . . , an1 , an }]
lo cual es equivalente a [{a1 , a2 , . . . , an }]p [{a1 , a2 , . . . , an1 }]p .
Tambin notemos que si i > n, entonces ai Pi1 (c0 ) Pn (c0 ) y Pn (ai ) = ai .
Por otro lado, si i n, entonces
Pn (ai ) = ai

n
,
8ai , aj 9
aj = 0
8aj , aj 9
j=1

As,
Qn1 (ai ) = (Pn1 Pn )(ai ) =

0
an

si i += n
si i = n

Tambien, notemos que Qn1 Pn1 = Qn1 . En efecto,


Qn1 Pn1 (x)

= Qn1 (Pn1 (x))

n1
, 8x, aj 9
= Qn1 x
aj
8aj , aj 9
j=1
= Qn1 (x)

n1
,
j=1

8x, aj 9
Qn1 (aj ) = Qn1 (x)
8aj , aj 9

ya que Qn1 (aj ) = 0, j = 1, 2, . . . , n 1.


Ahora, para cada x X y para cada n N, =
Qn1 (x) = an . Por lo tanto,

.x,an /
.an ,an /

K es tal que

|| 5an 5 = 5an 5 = 5Qn1 (x)5 = 5Qn1 Pn1 (x)5


5Qn1 5 5Pn1 (x)5 5Pn1 (x)5
As,
|| 5an 5

5Pn1 (x)5 sup 5Pn1 (x)5 vn 5an 5


xX
- - || vn < |n | -- -- < 1
n
' (

Qn (x) = an = n
an n BK an
n

CAPTULO 3. OPERADORES SOBRE C0

67

Esto dice que


Pn (X) Pn1 (X) Qn (X) Pn1 (X) n Pn1 (X)
= (1 n )Pn1 (X)
n Pn1 (X)
y entonces
Pn (X) n n1 . . . 1 P0 (X)
= (n n1 . . . 1 )X X, ya que |1 2 . . . n | < || n N
As, {a1 , a2 , . . .} X. Como {a1 , a2 , . . .} es una sucesin ortonormal (lo
que implica que es ortogonal) de un conjunto compactoide X, se tiene que
lm an = 0 (Teorema 1.12). Si se define yn = an , entonces
n

lm yn = 0 ; yn 2 X 1 X ; y 8yi , yj 9 = 0 para i += j,

Se afirma que X co{y1 , y2 , . . .}. En efecto, sea x X, entonces


5Pn (x)5

sup 5Pn (
x)5 vn 5an 5

x
X

|n | 5an 5 < 5an 5


lo cual implica que

lm Pn (x) = 0

De esto
x = P0 (x) =

n=1

y ya que

(Pn1 (x) Pn (x)) =

Qn1 (x) n BK an =

Qn1 (x)

n=1

n
n
BK an =
BK yn co{y1 , y2 , . . .}

se prueba que x co{y1 , y2 , . . .}, esto es,


x=

n=1

n (x)yn , |n (x)| 1

Ahora, sabemos que para todo u = (un ) c0 , existe n N tal que 5u5 = |un |;
escogemos n0 = mn{n N : 5u5 = |un |}. De la linealidad de T , obtenemos
T (u)

= u T
=

n=1

'

1
u
u

= u

u n yn =

n yn

n=1

n=1

gn (u)yn

CAPTULO 3. OPERADORES SOBRE C0

68

donde |u | = |un0 | = 5u5. Notemos que cada gn es un funcional lineal continuo


y |gn | 1.
Por la ortogonalidad de {y1 , y2 , . . .} respecto de 8, 9, tenemos que
?
@
,
8T x, yi 9 =
gn (x)yn , yi = gi (x) 8yi , yi 9
n=1

y, como T es auto-adjunto, tenemos que


gi (x) =

8x, T yi 9
8T x, yi 9
=
8yi , yi 9
8yi , yi 9

Esta expresin nos dice que cada gi es un funcional de Riesz y


Tx =

,
8x, T yn 9
yn
8yn , yn 9
n=1

Por otro lado, si definimos


TN x =

N
,
8x, T yi 9
i=1

8yi , yi 9

yi

Entonces

/
/
/ , 8x, T y 9 /
/
/
i
5T x TN x5 = /
yi /
/
8yi , yi 9 /
i=N +1
)*
- 8x, T yi 9 - 5yi 5 : i = N + 1, N + 2, . . . ({y1 , y2 , . . .} es ortogonal)
= max 8yi , yi 9 max{5x5 5gi 5 5yi 5 : i = N + 1, N + 2, . . .}
5x5 max{5yi 5 : i = N + 1, N + 2, . . .}
De esto, obtenemos que
5T TN 5 = sup

5T x TN x5
max{5yi 5 : i = N + 1, N + 2, . . .} 0
5x5

esto es,
T = lm Tn T =
n

,
8, T yn 9
yn
8y
n , yn 9
n=1

y la convergencia es uniforme.
Ahora, para n N y x c0 , ambos fijos, definimos el siguiente sistema de
ecuaciones para incgnitas i , i = 1, 2, . . . , n
Tn x =

n
,
8x, T yi 9
i=1

8yi , yi 9

yi =

n
,
i=1

8x, yi 9
yi
8yi , yi 9

()

CAPTULO 3. OPERADORES SOBRE C0

69

Analicemos la existencia de soluciones del sistema:


(
n '
,
8x, T yi 9
8x, yi 9
() =
i
yi = 0
8yi , yi 9
8yi , yi 9
i=1
n
,

i=1

n
,

i=1

1
(8x, T yi 9 i 8x, yi 9)yi = 0
8yi , yi 9
1
(8x, T yi i yi 9)yi = 0
8yi , yi 9

Ahora, como {y1 , y2 , . . . , yn } es linealmente independiente, se concluye que, para


cada i = 1, 2, . . . , n,
8x, T yi i yi 9 = 0
Ahora, como x fue elegido de forma arbitraria, se tiene que 8x, T yi i yi 9 = 0
para todo x c0 , lo cual implica
T y i i yi = 0 T y i = i yi
y entonces
8T yi , yi 9 = i 8yi , yi 9 i =
As,
Tn x =

n
,
8x, T yi 9
i=1

con

8T yi , yi 9
8yi , yi 9

n
n
,
,
8T yi , yi 9 8x, yi 9
yi =
yi =
i Pi (x)
8yi , yi 9
8yi , yi 9 8yi , yi 9
i=1
i=1

i =

8yi , T yi 9
8yi , yi 9

y Pi (x) =

8x, yi 9
yi
8yi , yi 9

Captulo 4

El Espacio E
En este captulo mostraremos algunas generalizaciones de los resultados
obtenidos en el captulo 2. Comenzaremos definiendo el espacio E .
Sea K un campo completo con respecto a una valuacin no arquimedeana y sea
= (i )i0 una familia de elementos no nulos de K. Entonces, denotaremos por
E al espacio
2
3
'
!
" (
,
1/2
1/2
c0 N, K, |i |
= x : N K/x =
xi ei : lm |xi | |i |
=0
i0

iI

Observacin 4.1. Notemos que ! (X : s) es un espacio de Banach bajo la


norma
5f 5s = sup{|f (x)| s(x) : x X} ,
donde s : X (0, +) es una funcin (ver [3], Ejemplo 3.H, p. 49). Adems,
c0 (X : s) es un subespacio cerrado de ! (X : s). Luego, considerando X = N
1/2
y s : N (0, +), i 3 |i | , entonces E = c0 (N : s), es decir, E es un
espacio de Banach.
1/2

Observacin 4.2. Notar que 5ei 5 = |i |


de Kronecker.
Para x =

,
i=1

xi ei E , e y =

,
i=1

, donde ei = (ij )j0 , con ij delta

yi ei E , la forma

8x, y9 =

,
i=1

resulta ser una forma bilineal simtrica.

70

xi yi wi

CAPTULO 4. EL ESPACIO E

71

Observacin 4.3. Notemos que, dados x, y E


-
-,
|8x, y9 | = xi yi i - max |xi | |yi | |i |
iN
i=1

1/2

max |xi | |i |

5x5 5y5

iN

1/2

|yi | |i |

De aqu en adelante, supondremos que para cada i existe i K, tal que


i = 2i , i N. Un ejemplo de un campo no-arquimedeano que cumple con la
condicin anterior es el campo R de Levi-Civita (Ver [6]).
El siguiente resultado es una generalizacin del Teorema 2.5
Teorema 4.1. La forma bilineal simtrica, definida anteriormente, es un
producto interior no-arquimedeano sobre E la cual induce la norma original
del espacio si, y slo si, el campo de clases residuales de K es formalmente real.
En este caso,
-
-,
2
|8x, x9 | = 5x5 = x2i i i=1

Demostracin.

6 Supongamos que el campo de clases residuales de K es formalmente


real. Como 8, 9 es una forma bilineal simtrica, basta mostrar que sta
induce la norma original del espacio. En efecto, consideremos (x) =
{i1 , i2 , . . . , in }, y recordemos que i = 2i , para cada i N. De esto
1/2
se tiene que |xi i | = |xi | |i |
= 5x5 , para i (x), y |xi i | =
1/2
|xi | |i |
< 5x5 , para i += (x). Adems,
- - ,
- - ,
4- 5
2
2
2 2
ax -x2i - |i | : i + (x) < 5x5
=
x
x

i i - m
i i - -i( (x)
-i( (x)
Ahora, como {xi1 i1 , xi2 i2 , . . . , xin in } es un conjunto finito de K,
podemos utilizar el Teorema 2.1 para obtener
- - - , 2 2- - , 2 2
xi i - = xi i -- = 5x5
-i (x)
- -i (x)
-

As,

|8x, y9 | 5x5 5y5 = 5x5 5y5

lo cual muestra que 8, 9 es un producto interior que induce la norma de


1/2
E , donde 55 = |8, 9 | .

CAPTULO 4. EL ESPACIO E

72

6 Ahora, supongamos que 8, 9 es un producto interior que induce la norma


original del espacio E . Mostremos que el campo de clases residuales de
K es formalmente real. En efecto, sea {1 , . . . , n } K y consideremos
1
el conjunto finito {1 1
1 , . . . , n n } K. Adems, definamos x =
(xi )iN E como
)
i 1
, in
i
xi =
0
, i>n
Por otro lado, se tiene que
- 2
-1 + + 2n - = -(x1 1 )2 + + (xn n )2 = -x21 1 + + x2n n = |8x, x9 |
=
=
=

-2
2- |i | : i = 1, 2, . . . , n}
max{|i | -1
i
-2
2
- |i |2 : i = 1, 2, . . . , n}
max{|i | -1
i
2

max{|i | : i = 1, 2, . . . , n}

Luego, por el Teorema 2.1, se sigue que el campo de clases residuales de


K es formalmente real.

Notemos que si i = 1 para todo i N, entonces el producto interior noarquimedeano resulta el producto interior trabajado en el captulo 2.
Corolario 4.1. Si el campo de clases residuales de K es formalmente real,
entonces
1.

1/2

para toda coleccin finita {ai K : |ai | |i |


- n
-,
2 ai i - = c2
-

= c}, se tiene

i=1

2.

para todo x, y E ,

|8x, x9 + 8y, y9 | = max{|8x, x9 | , |8y, y9 |}.


Demostracin.
1. Para t1 , t2 , . . . , tn N se define xti = ai y xt = 0 para otros casos. As,
- n

-,
- -,
- 2
2
2
ai i - = xti i - = max{|xt | |i | : t I} = c2
- i=1

i=1

CAPTULO 4. EL ESPACIO E

73

2. Si |8x, x9 | += |8y, y9 |, entonces el resultado se obtiene directo de


la desigualdad triangular fuerte. Supongamos por un momento que
2
2
|8x, x9 | = 5x5 = 5y5 = |8y, y9 | = 1 y consideremos los conjuntos
1/2
(x) = {t1 , t2 , . . . , tn } y (y) = {s1 , s2 , . . . , sm }. As, |xt | |t |
= 1
1/2
para t (x) y |xt | |t |
< 1 para t + (x); del mismo modo,
1/2
1/2
|ys | |s |
= 1 para s (y) y |ys | |s |
< 1 para s + (y).
Luego, como el k es formalmente real, podemos aplicar el Teorema 2.1
al conjunto {xt1 t1 , . . . , xtn tn , ys1 s1 , . . . , ysm sm } (donde k K es
tal que 2k = k para todo k N) para obtener
|8x, x9 + 8y, y9 | = -x2t1 t1 + + x2tn tn + ys21 s1 + + ys2m sm - -2 - 2
= max {|xti | |ti | , -ysj - -sj -}
1in

1jm

Repitiendo el procedimiento anterior, aplicamos el Teorema 2.1 a los


conjuntos {xt1 t1 , . . . , xtn tn } y {, ys1 s1 , . . . , ysm sm } para obtener
- n
-,
2
2
|8x, x9 | = xti ti - = max |xti | |ti | = 1
- 1in
i=1

-,
- -2 - -m 2
|8y, y9 | = ysj sj -- = max -ysj - -sj - = 1
- 1jm
- j=1

As,
- 2
-xt + + x2t + ys2 + + ys2 1
n
1
m

n
-,
2
max xti i -

i=1

-
-,
- m 2 -
, -ysj j --
- j=1

max{|8x, x9 | , |8y, y9 |}

Si 5x5 = 5y5 += 1, escogemos a K tal 5x5 = 5y5 = |a| y se aplica


el desarrollo anterior a los elementos v = a1 x y z = a1 y.

Observacin 4.4. Definamos el espacio


;
;
E1 = c0

y notemos que
5ei 51 =

N, K,
1

1/2

|i |

1
1/2

|i |
=

<<

1
5ei 5

CAPTULO 4. EL ESPACIO E

74

donde ei = (ij )jN . Entonces, para e'i E' definido en la Observacin 2.9,
obtenemos que
1
5e'i 5 =
= 5ei 51
5ei 5

Adems,

x, ei i1

>

= i1 xi i = xi = e'i (x)

es decir, e'i E' es un funcional de Riesz.


Con elementos de la observacin anterior, podemos generalizar el resultado de
la Proposicin 2.3, como lo muestra la siguiente proposicin.
Proposicin 4.1.

cl[{e'i : i N}]
= E1

Demostracin. Definamos la aplicacin lineal

:[ {e'i : i 0}] E1

en su base {e'i : i 0} por (e'i ) = ei . Notar que


5(e'i )51 = 5ei 51 =

1
= 5e'i 5
5ei 5

es decir, es una isometra y por tanto inyectiva.


Extendemos a
: cl[{e' : i 0}] E1

es
la cual resulta ser una isometra por la continuidad de . Afirmamos que
sobreyectiva. En efecto, para (an )nN E1 escribimos
,
x' =
an e'n .
n0

Ahora, como
lm |an | 5e'n 51 = lm |an |
n

se tiene que x' est bien definida. En particular,


x' =

an e'n = lm

n0

n
,
i=0

1
1/2

|n |

=0

ai e'i cl[{ e'i : i 0 }]

Ahora,
' ) = lm
(x

n
,
i=0

ai (e'i ) = lm

es sobreyectiva.
lo que muestra que

n
,
i=0

ai ei =

n0

an en = (an )

CAPTULO 4. EL ESPACIO E

75

De lo anterior, se sigue de forma natural la siguiente proposicin.


Proposicin 4.2. Si f cl[{e'i : i 0}], entonces f es un funcional de Riesz.
Demostracin. Sea f cl[{e'i : i 1}]. Luego, existe (i )iN c0 tal que
f=

i e'i = lm

i=1

con

n
,
i=1

i e'i cl[{e'i : i 1}]

lm |i | 5e'i 5 = 0

Ahora,
lm -i i1 - 5ei 5 =

y=

nN

se tiene
f=

k e'k

k=1

=
=

1/2

|i |

1/2

lm |i | |i |

=
Por lo tanto, definiendo

lm |i | |i |

lm |i | 5e'i 5 = 0

n n1 en E1

lm

lm

n
,

k e'k

k=1

, lm

= 8, y9

n
,

k=1
n
,
k=1

k k1 ek
k k1 ek

lo que muestra que f es un funcional de Riesz.

4.1.

Complementos Normales

Dado un subsespacio M de E , denotaremos por M p al subespacio de todos lo


elementos x de E , tales que 8x, y9 = 0, para todo y M , es decir,
M p = {x E : 8x, y9 = 0 for all y M }

Supongamos que la valuacin de K es densa y consideremos la sucesin (i ) tal


que 1 < |1 | < |2 | < . . . < 2. Afirmamos que M p = {0}, donde

,
M = x = (xi ) E :
xi i i = 0

i1

CAPTULO 4. EL ESPACIO E

76

En efecto, supongamos
que existe z = (zi ) en M p , z += 0; se define z = 1 z,
1
donde
1 = i1 zi i i . Ahora, si x = (xi ) E , entonces x z M , donde
= i1 xi i i , ya que
,
i1

(xi zi ) i i =

,
i1

xi i i 1

zi i i =

i1

,
i1

xi i i = 0

Luego, si b = 8
z , z9 , entonces
8x, b z9 = 8x z, b z9 + 8 z, b z9 = 0 + b 8
z , z9 =
en particular, para un elemento de la base cannica ei , se tiene
i i = 8ei , b z9 = b zi i
lo que implica

1/2

1 < |i | = |b| |zi | |i |

Lo anterior es una contradiccin, pues el miembro derecho de la desigualdad


converge a cero. En otras palabras, M p = {0}. Esto muestra que existen
subespacios cerrados sobre E , que no admiten un complemento.
Definicin 4.1. Sean M y N dos subespacios cerrados de E . Diremos que N
es un complemento normal de M si
(x M , y N 8x, y9 = 0) and E = M M p .
Si tal complemento normal existe para M , entonces diremos que M admite un
complemento normal.
Definicin 4.2. Si una sucesin (xn )nN de E satisface que 8x, xn 9 0, para
cada x E , entonces diremos que (xn )nN tiene la Propiedad de RiemannLebesgue.
Ejemplo 4.1. La sucesin (yn ), donde yn = (in 1
n ), tiene la Propiedad de
Riemann-Lebesgue. En efecto,
- - 1
1/2
2- 0
|8x, yn 9 | = -1
n xn n = n xn n = |xn n | = |xn | |n |

4.2.

Proyecciones Normales

Para un operador lineal T : E E , se definen los conjuntos N (T ) = {x


E : T (x) = 0} y R(T ) = {y E : y = T (x) para algn x E }. Tambin,
se define el conjunto de todos los operadores lineales continuos de E sobre si
mismo, como L(E ).
Recordemos que, para ei E y e'j E ,
e'j ei

: E
x

E
3

e'j ei (x) = e'j (x) ei

CAPTULO 4. EL ESPACIO E

77

es un operador lineal y como adems,


- '
- '
-e (x)- |i |1/2
-e (x)- 5ei 5
/ '
/ /
/
j
1/2

/ej ei / = sup j
= sup
= /e'j / |i |
=1
5x5
5x5
x(=0
x(=0

se concluye que e'j ei L(E ).

Con lo anterior, podemos dar una caracterizacin de los operadores lineales


continuos definidos sobre E .
Proposicin 4.3. Sea (ei )iN base de E . Entonces, cada u L(E ) se puede
escribir como una nica serie doble
,
u=
ij e'j ei ,
j,i

donde ij K, y

1/2

lm |ij | |i |

= 0 , j N.

Adems,

1/2

5u5 = sup

|ij | |i |

1/2

|j |

j,i

Demostracin. Sean (ei )iN base de E y u L(E ). Entonces, para cada j N


se tiene que u(ej ) E . Luego, como (ei )iN es una base de E , existen nicos
1j , 2j . . . K, para cada j N tales que
,
1/2
u(ej ) =
ij ei , con lm |ij | |i |
=0
i

iN

Se sigue de esto que,


,
,,
,,
u(x) =
xj u(ej ) =
ij xj ei =
ij e'j (x)ei
jN

,,

jN iN

ij e'j

jN iN

Adems,

ei (x)

/
/
lm |ij | /e'j ei / = lm |ij | = 0 j N

As,

jN iN

u=

,,
jN iN

ij e'j ei

es una suma puntualmente convergente. Por otro lado, notemos que


5u(ej )5
5u5
5ej 5

j N

CAPTULO 4. EL ESPACIO E

78

Ahora, para cada x E , se tiene


/
/
/,
/
/
/
5u(ej )5
/
5u(x)5 = /
5x5
x
u(e
)
j
j / sup |xj | 5u(ej )5 sup
/
5ej 5
jN
jN
/jN
/
por lo que

5u5 = sup
x(=0

lo que muestra que

5u(x)5
5u(ej )5
sup
5x5
jN 5ej 5

5u5 = sup
jN

As,
5u5 = sup
jN

5u(ej )5
5ej 5

)
*
1/2
5ei 5
5u(ej )5
|ij | |i |
= sup sup |ij |
= sup
1/2
5ej 5
5ej 5
j,i
jN
iN
|j |

Siguiendo las mismas ideas de la Proposicin 3.3, se obtiene el siguiente


resultado:
,
Proposicin 4.4. Sea u L(E ), con u =
ij e'j ei . Entonces las

siguientes aseveraciones son equivalentes:


1.
2.

i,jN

u2 = u
,
ik kj = ij , para todo i, j N.
kN

Observacin 4.5. Por lo anterior, si u satisface una de las condiciones


Proposicin 4.4, entonces
?
@
8ek u(ek ), u(ek )9

(0, . . . , GHIJ
1 , 0, . . .) (1k , 2k , . . .), (1k , 2k , . . .)
k-simo
2
2
= 1k 1 . . . (k1)k
k1 + kk (1 kk ) k . . .
,
2
= kk k
ik
i
iN

As, una proyeccin u ser normal si, y slo si,


,
2
ik
i = kk k
iN

De lo1anterior y utilizando la Proposicin 4.4, se obtiene que


u = i,jN ij e'j ei L(c0 ) es una proyeccin normal si, y slo si, u satisface:
1
1.
jN ij jk = ik para todo i, k N.
1
2
2.
iN ik i = kk k , para todo k N.

CAPTULO 4. EL ESPACIO E

4.3.

79

Adjunto de un Operador

Dado u L(E ), se define


D(u ) = {y E : y E , 8u(x), y9 = 8x, y 9 x E }
el cual resulta ser un subespacio de E .
Notemos que y E es nico, ya que si existe otro elemento z E tal que
8u(x), y9 = 8x, z 9 x E ,
se obtendr

8x, y 9 = 8u(x), y9 = 8x, z 9 x E ,

lo cual es equivalente a

8x, y z 9 = 0 x E ,
es decir, y = z .
Denotemos L0 (E ) = {u L(E ) : D(u ) = E }. Ahora, por la unicidad de
y , podemos definir el operador lineal
u

: E
y

E
3

u (y) = y

El operador u se llama adjunto de u, el cual cumple la relacin


8u(x), y9 = 8x, u (y)9 x, y E
Con lo anterior, podemos dar la siguiente definicin.
Definicin 4.3. Dado u L(E ), se dice que u admite un operador adjunto si
existe u L(E ) tal que
8u(x), y9 = 8x, u (y)9 x, y E
En el espacio E , podemos caracterizar los operadores que admiten adjunto, tal
como lo muestra el siguiente teorema.
,
Teorema 4.2. Sea u =
ij e'j ei L(E ). Entonces, u admite un nico
i,j

operador adjunto v = u L(E ) si, y slo si, para cada i 0 se tiene


1/2

lm |ij | |j |
j

=0

Bajo esta condicin, obtenemos que


,
u =
i1 j ji e'i ej
i,j

CAPTULO 4. EL ESPACIO E

80

Demostracin. Sean u, v L(E ). Luego,


,
,
u=
ij e'j ei y v =
ij e'j ei
i,j

con

i,j

1/2

lm |ij | |i |
i

1/2

= lm |ij | |i |
i

=0

Adems, si (ei )iI es base ortogonal de E , entonces


u(ei ) =

y v(ej ) =

ki ek

k=0

kj ek

k=0

As, v es el adjunto de u si, y slo si,

8u(ei ), ej 9 = 8ei , v(ej )9 ,


es decir,
ji j =

ki ek , ej

k=0

Entonces,

ei ,

kj ek

k=0

= ij i i, j 0 .

ij = i1 j ji i, j 0

Adems, para cada i N, se tiene


1/2

lm |ji | |i |
i

lm |j |
i

= |j |

= |j |

1/2

|i | |j | |ji | |i |
1/2
lm -i1 j ji - |i |
i

1/2

lm |ij | |j |
i

=0

lo cual muestra el resultado.


Observacin 4.6. Del teorema anterior se sigue que no todo operador lineal
continuo en E admite un adjunto. En efecto, consideremos el operador
T

:
x=

,
i=1

Luego,

E
xi ei

3 T (x) =

5T 5 = sup
iN

;
,
i=1

xi

<

e1 11

|T (ei )|
1
=
2
5ei 5
|1 |

por lo que T L(E ). Por otro lado, supongamos que T tiene un adjunto T
tal que T (e1 ) = (yi )iN E . As, para cada i N se tiene que
=
>
8 ei , T (e1 )9 = 8T (ei ), e1 9 = e1 1 , e1 = 1

lo cual implica que yi = 1 ,para todo i N, lo cual es una contradiccin.

CAPTULO 4. EL ESPACIO E
Teorema 4.3. Sea u =

,
i,j

81

ij e'j ei L(E ). Entonces, u admite un

operador adjunto si, y slo si, para cada y E , se tiene


lm 8u(ei ), y9 = 0

Demostracin.
6 Supongamos que u admite un adjunto. Tomemos y E y escojamos
i N. Luego, como
8u(ei ), y9 = 8ei , u (y)9 = ai i
donde u (y) = (ai )iN E , se tiene
lm 8u(ei ), y9 = 0

6 Supongamos que para cada y E , se tiene


lm 8u(ei ), y9 = 0

Basta mostrar que

1/2

lm |ij | |j |

=0

En efecto, consideremos i N fijo y tomemos cualquier elemento base ek .


As, se tiene
,
u(ek ) =
ij e'j (ek ) ei
i,j0

ij ei

i,j0

(1k , 2k , . . . , ik , . . .)

de lo que se sigue que


-=
> - = lm |ik | |k |1/2
0 = lm - u(ek ), ei 3
i

Observacin 4.7. Si consideramos un funcional de Riesz f () = 8y, 9 , con


y = (yn ) E , y += 0, podemos definir el operador lineal continuo u como

y1 1 y2 2 y 3 3 y 4 4
0
0
0
0

0
0
0
0

u=

0
0
0
0

..
..
..
..
..
.
.
.
.
.

CAPTULO 4. EL ESPACIO E
Notar que N (u) = N (f ) y
1
1 (y1 1 ) 1
21 (y2 2 ) 1
1

u = 3 (y3 3 ) 1
1 (y4 4 ) 1
4
..
.

82

que su adjunta es

0 0 0

0 0 0

0 0 0 = 1

0 0 0

.. .. .. . .
.
. . .

y1
y2
y3
y4
..
.

0
0
0
0
..
.

0
0
0
0
..
.

0
0
0
0
..
.

Con lo anterior podemos mostrar el siguiente resultado

..
.

Proposicin 4.5. Si u y u estn definidos como en la observacin anterior,


entonces
1
u u
P =
1 8y, y9

es una proyeccin normal.

Demostracin. Notemos que la matriz asociada a P


2
y1 1
y2 y 1 2 y3 y 1 3
y1 y 2 1
y22 2
y2 y 3 3
1
y1 y 3 1 y2 y 3 2
y32 3
P =

8y, y9 y1 y4 1 y2 y4 2 y3 y4 3

..
..
..
.
.
.

est dada por

y4 y1 4
y4 y2 4

y4 y3 4

y42 4

..
..
.
.

Luego, para probar que P es proyeccin normal, gracias a la observacin 4.5,


basta motrar que
,
ik kj = ij , i, j N
kN

2
= kk ,
ik

iN

donde

ij =

En efecto,
,

ik kj

k1

=
=
=
=

kN

yi y j j
8y, y9
, yi yk k yk yj j
8y, y9 8y, y9
k1
yi yj j , 2
yk k
2
8y, y9 k1
yi yj j
2 8y, y9
8y, y9
yi yj j
8y, y9
ij , i, j N

CAPTULO 4. EL ESPACIO E

83

y
,

, y 2 y 2 2 i

2
ik
i

i1

i k k
2
8y, y9

i1

yk2 k2 ,

8y, y9
yk2 k2

8y, y9

yi2 i

i1

8y, y9

yk2 k2
8y, y9
yk y k k k
=
8y, y9
= kk k , k N
=

El siguiente teorema generaliza la proposicin anterior:


Teorema 4.4. Si P : E E es una proyeccin normal con R(P ) =
cl[{y1 , y2 , . . .}], donde {y1 , y2 , . . .} es un subconjunto ortonormal finito o una
sucesin ortonormal con la Propiedad de Riemann-Lebesgue sobre E . Entonces,
>
=
,
x, y i i
P (x) =
y
8y i , y i 9
i=1
Demostracin. Supongamos que P : E E es una proyeccin normal con
R(P ) = [{y 1 , y 2 , . . .}]. Entonces, dado x E , se tiene que P (x) R(P ). Luego,
existen i E' , i N, tales que
P (x) =

i (x) y i

i=1

Por lo que,
=

x, y

>
j

=
=

x, P y

,
i=1

As,

Ahora, definamos

>
j

= P x, y

i (x) y i , y

>
j

>
j

i (x)y i , y j

i=1

= j (x) y j , y

>
x, y j
j (x) = j j
8y , y 9
=

?
,

>
x, y i i
Pi (x) = i i y
8y , y 9

>
j

CAPTULO 4. EL ESPACIO E

84

y notemos que, como {y 1 , y 2 , . . .} una sucesin ortonormal con la Propiedad de


Riemann-Lebesgue, se tiene
=
>
x, y i i
lm Pi (x) = lm i i y = 0
8y , y 9
i

por lo que

>
=
,
x, y i i
P (x) =
y .
8y i , y i 9
i=1

Bibliografa
[1] Aguayo J. y Nova M., Non-Archimedean Hilbert like Spaces,
[2] Aguayo J. y Nova M., Characterization of Compact and self-adjoint
Operator on spaces whit non-arhimedean inner product, (pre-print).
[3] A. C. M. Van Rooij, Non-Archimedean Functional Analysis, Marcel
Dekker, Inc., 1978.
[4] G. Bachman, Introduction to p-adic numbers and valuation theory,
Academic Press, New York (1964).
[5] C. Perez-Garcia y W.H. Schikhof, Locally Convex Spaces over
Non-Archimedean Valued Fields, Cambridge University Press, 2010.
[6] shamseddine, K., New Elements of Analysis on the Levi-Civita Field, PhD
Dissertation, Departamen of Mathematics and Departament of Physics and
Astronomy, Michigan State, Diciembre 1999.
[7] Narici, L. y Beckenstein, E., A non-Archimedean Inner Product,
Contemporary Mathematics, vol. 384 (2005), 187-202.
[8] Diarra B., Geometry of the p-adic Hilbert Spaces, (pre-print).
[9] Oortwijn S. On Definition of a Compactoid, Annales Mathmatiques Blais
Pascal, tomo 2, no 1 (2005), p. 201-215.
[10] H. Keller, Ein nicht-klassischer Hilbertscher Raum, Math. Z. 172 (1980),
41-49.
[11] M. P. Solr, Characterization of Hilbert spaces by orthomodular spaces,
Communications in Algebra, 23 (1995), 182-189.

85

You might also like