Notas de Analisis Funcional

Stiven Silva
Febrero 2024

7 de febrero de 2024
Continuaremos nuestra discusión sobre espacios de Banach hoy. Si V es un espacio
normado, podemos verificar si V es Banach tomando una secuencia de Cauchy y viendo
si converge en V . Pero hay otra forma de pensar en esto:

0.1 Sea {vn }∞

P
Definición P n=1 una secuencia de puntos en V . Entonces la serie n vn es
m ∞ P Pm ∞
sumable si { n=1 vn }m=1 converge, y n vn es absolutamente sumable si { n=1 ||vn ||}m=1
converge.

Esto es básicamente análogo a las definiciones de convergencia y convergencia absoluta

para series de números reales, y tenemos un resultado similar también:
P
Proposición 1 Si n vn es absolutamente sumable, entonces la secuencia de sumas par-
∞
ciales { m
P
v }
n=1 n m=1 es de Cauchy.

Esta demostración nos la dejan como un ejercicio (es la misma demostración que
cuando V = R), y debemos notar que el teorema es que tenemos una secuencia de Cauchy,
no necesariamente que es sumable (como en el caso de los valores reales). Y eso es porque
necesitamos completitud, y eso nos lleva a nuestro siguiente resultado:

Teorema 1 Un espacio vectorial normado V es un espacio de Banach si y solo si cada

serie absolutamente sumable es sumable.

A veces esta es una propiedad más fácil de verificar que pasar por el asunto de Cauchy.
En particular, será útil en la teorı́a de integración más adelante.

Prueba 1 Necesitamos probar ambas direcciones. Para la dirección hacia adelante, supon
que V es Banach. Entonces V es completo, por lo que cualquier serie absolutamente
sumable es de Cauchy y por lo tanto convergente en V (es decir, sumable).
Para la dirección opuesta, supon que cada serie absolutamente sumable es sumable.
Entonces para cualquier secuencia de Cauchy {vn }, primero mostraremos que podemos

1
encontrar una subsucesión convergente. (Esto implicará que toda la secuencia converge
por un argumento del espacio métrico de la desigualdad triangular.)
Para construir esta subsucesión, básicamente aceleramos la Cauchy-nidad de
{vn }. Sabemos que para todo k ∈ N, existe Nk ∈ N tal que para todo n, m ≥ Nk , tenemos

||vn − vm || < 2−k .

(Estamos eligiendo 2−k porque es sumable.) Entonces ahora definimos

nk = N1 + · · · + Nk ,

ası́ n1 < n2 < n3 < · · · es una secuencia creciente de enteros, y para todo k, nk ≥ Nk . Y
ahora afirmamos que {vnk } converge: después de todo,

||vnk+1 − vnk || < 2−k

(por cómo elegimos nk y nk+1 ), y por lo tanto la serie

X
(vnk +1 − vnk )
k∈N

debe ser sumable (es absolutamente sumable porque k∈N 2−k = 1, y asumimos que todas
P
las secuencias absolutamente sumables son sumables). Ası́ la secuencia de sumas parciales
m
X
(vnk+1 − vnk ) = vnm+1 − vn1
k=1

converge en V , y añadir vn1 a cada término no cambia la convergencia. Ası́ la secuencia

{vnm+1 }∞
m=1 converge, y hemos encontrado nuestra subsucesión convergente (significando
que toda la secuencia de hecho converge). Esto prueba que V es Banach.

Ahora que hemos caracterizado adecuadamente nuestros espacios vectoriales, queremos

encontrar el análogo de matrices del álgebra lineal, lo que nos llevará a operadores y
funcionales. Aquı́ hay un ejemplo particular para tener en mente (porque motiva gran
parte de la maquinaria que usaremos):

Ejemplo 1 Sea K : [0, 1] × [0, 1] → C una función continua. Entonces para cualquier
función f ∈ C([0, 1]), podemos definir
ˆ 1
T f (x) = K(x, y)f (y)dy.
0

El mapa T es básicamente los operadores inversos de operadores diferenciales, pero lo

veremos más adelante.

2
 Podemos verificar que T f ∈ C([0, 1]) (también es continuo), y para cualquier λ1 , λ2 ∈
C y f1 , f2 ∈ C([0, 1]), tenemos

T (λ1 f1 + λ2 f2 ) = λ1 T f1 + λ2 T f2

(linealidad). Ya hemos probado que C([0, 1]) es un espacio de Banach, ası́ que T aquı́ va
a ser un ejemplo de un operador lineal.

Definición 0.2 Sean V y W dos espacios vectoriales. Un mapa T : V → W es lineal si

para todo λ1 , λ2 ∈ K y v1 , v2 ∈ V ,

T (λ1 v1 + λ2 v2 ) = λ1 T v1 + λ2 T v2 .

(A menudo usamos la frase operador lineal en lugar de mapa lineal o transformación

lineal.)

Estaremos particularmente interesados en operadores lineales que son continuos: re-

cordemos que un mapa T : V → W (no necesariamente lineal) es continuo en V si para
todo v ∈ V y todas las secuencias {vn } que convergen a v, tenemos T vn → T v. (Equi-
valentemente, podemos usar la noción topológica de continuidad y decir que para todo
conjunto abierto U ⊂ W , la imagen inversa

T −1 (U ) = {v ∈ V : T v ∈ U }

es abierta en V .) Para mapas lineales, hay una forma de caracterizar si una función es
continua en un espacio normado – en espacios vectoriales de dimensión finita, todas
las transformaciones lineales son continuas, pero esto no siempre es cierto cuando
tenemos un mapa entre dos espacios de Banach.

Teorema 2 Sean V, W dos espacios vectoriales normados. Un operador lineal T : V → W

es continuo si y solo si existe C > 0 tal que para todo v ∈ V , ||T v||W ≤ C||v||V .

En este caso, decimos que T es un operador lineal acotado, pero eso no significa que
la imagen de T esté acotada – ¡el único mapa lineal de este tipo es el mapa cero! En
cambio, estamos diciendo que los subconjuntos acotados de V siempre se envı́an
a subconjuntos acotados de W .

Prueba 2 Primero, supongamos que existe tal C > 0 (tal que ||T v||W ≤ C||v||V para todo
v en V ): demostraremos la continuidad mostrando que T vn → T v para todo {vn } → v.
Comienza con una subsecuencia convergente vn → v: entonces

||T vn − T v||W = ||T (vn − v)||W

(por la linealidad de T ), y ahora por nuestra suposición, esto se puede acotar como

≤ C||vn − v||V .

3
Dado que ||vn − v||V → 0, el teorema del apretón nos dice que ||T vn − T v||W → 0 (ya que
la norma siempre es no negativa), y por lo tanto T vn → T v.
Para la otra dirección, supongamos que T es continuo. Esta vez describiremos la con-
tinuidad con la caracterización topológica: la inversa de cada conjunto abierto en W es
un conjunto abierto en V , por lo que en particular, el conjunto

T −1 (BW (0, 1)) = {v ∈ V : T v ∈ BW (0, 1)}

es un conjunto abierto en V . Dado que 0 está contenido en BW (0, 1), y T (0) = 0, debemos
tener 0 ∈ T −1 (BW (0, 1)), y (por apertura) podemos encontrar una bola de algún radio
r > 0 de modo que BV (0, r) está contenida dentro de T −1 (BW (0, 1)). Esto significa que la
imagen de BV (0, r) está contenida dentro de BW (0, 1).
Ahora, afirmamos que podemos tomar C = 2r . Para demostrar esto, para cualquier
v ∈ V − {0} (el caso v = 0 satisface automáticamente la desigualdad), tenemos el vector
r
2||v||V
v, que tiene longitud 2r < r. Esto significa que
 
r r
v ∈ BV (0, r) =⇒ T v ∈ BW (0, 1)
2||v||V 2||v||V

(porque BV (0, r) es todo enviado dentro de BW (0, 1) bajo T ), y por lo tanto

 
r 2
T v < 1 =⇒ ||T (v)||W ≤ ||v||V
2||v||V W r

al sacar escalares de T y usar la homogeneidad de la norma, y hemos terminado.

La propiedad de acotación anterior se volverá tediosa de escribir, ası́ que no usaremos

los subı́ndices a partir de ahora. (Pero deberı́amos poder rastrear de qué espacio estamos
hablando simplemente pensando en dominios y codominios de nuestros operadores.)

Ejemplo 2 El operador lineal T : C([0, 1]) → C([0, 1]) dado por el operador integral es
de hecho un operador lineal acotado (y por lo tanto continuo).

Deberı́amos poder comprobar fácilmente que T es lineal en f (porque las constantes

salen de la integral). Para comprobar que es acotado, recordemos que estamos usando la
norma C∞ , por lo que si tenemos una función f ∈ C([0, 1]),

||f ||∞ = sup |f (x)|

x∈[0,1]

(y este valor supremo realmente se alcanzará en algún lugar, pero eso no es importante).
Podemos entonces estimar la norma de T f observando que para todo x ∈ [0, 1],
ˆ 1 ˆ 1
T f (x) = K(x, y)f (y)dy ≤ |K(x, y)| |f (y)|dy
0 0

4
por la desigualdad triangular, y ahora podemos acotar f y K por su supremo (sobre [0, 1]
y [0, 1] × [0, 1], respectivamente) para obtener
ˆ 1 ˆ 1
≤ |K(x, y)| ||f ||∞ dy ≤ ||K(x, y)|| ||f ||∞ dy = ||K(x, y)|| ||f ||∞ .
0 0

Dado que este lı́mite se sostiene para todo x, también se sostiene para el supremo, y por
lo tanto
||T f ||x ≤ ||K||∞ ||f ||∞
y podemos usar C = ||K||∞ para mostrar la acotación (y por lo tanto la continuidad). A
menudo nos referiremos a K como un núcleo o kernel.

Definición 0.3 Sea V y W dos espacios normados. El conjunto de operadores lineales

acotados de V a W se denota como B(V, W ).

Podemos comprobar que B(V, W ) es un espacio vectorial – la suma de dos operadores

lineales es un operador lineal, y ası́ sucesivamente. Además, podemos definir una norma
en este espacio:

Definición 0.4 La norma del operador de un operador T ∈ B(V, W ) se define por

||T || = sup ||T v||.

||v||=1,v∈V

Este es de hecho un número finito, porque estar acotado implica que

||T v|| ≤ C||v|| = C

siempre que ||v|| = 1, y la norma del operador es el menor C posible de este tipo.

Teorema 3 La norma del operador es una norma, lo que significa que B(V, W ) es un
espacio normado.

Prueba 3 Primero, demostramos la definición. El operador cero tiene de hecho norma 0

(porque ||T v|| = 0 para todo v). Por otro lado, supongamos que
 T′v = 0 para todo ||v|| = 1.
′ ′
Entonces, el cambio de escala nos dice que 0 = T v = ||v ||T ||vv′ || = 0 para todo v ′ ̸= 0,
por lo que T es de hecho el operador cero.
A continuación, podemos demostrar la homogeneidad, que sigue de la homogeneidad
de la norma en W . Tenemos

||λT || = sup ||λT v|| = sup |λ|||T v||,

||v||=1 ||v||=1

y ahora podemos sacar la constante no negativa |λ| del supremo para obtener

= |λ| sup ||T v|| = |λ|||T || .

||v||=1

5
Finalmente, la desigualdad triangular también se sigue de la desigualdad triangular en
W : esto es si S, T ∈ B(V, W ), y tenemos algún elemento v ∈ V con ||v|| = 1, entonces

||(S + T )v|| = ||Sv + T v|| ≤ ||Sv|| + ||T v|| ≤ ||S|| + ||T ||.

Ası́ que tomando el supremo del lado izquierdo sobre todos los v de longitud unitaria nos
da ||S + T || ≤ ||S|| + ||T ||, y hemos terminado.

Por ejemplo, si volvemos al operador T integral, notamos que para cualquier f de

longitud unitaria, tenemos
||T f ||∞ ≤ ||K||∞ .
Por lo tanto, ||T || ≤ ||K||. Y en general, ahora que hemos definido la norma del operador,
nos da una cota de la forma
 
v
T ≤ ||T || =⇒ ||T v|| ≤ ||T || ||v||
||v||
para todo v ∈ V (no solo aquellos con longitud unitaria).
Dado que tenemos un espacio vectorial normado, es natural preguntar por la comple-
titud, la cual obtenemos de la siguiente manera:

Teorema 4 Si V es un espacio vectorial normado y W es un espacio de Banach, entonces

B(V, W ) es un espacio de Banach.

Prueba 4 Utilizaremos la caracterización dada en summabilitybanach. Supongamos que

{Tn } es una secuencia de operadores lineales acotados en B(V, W ) tal que
X
C= ||Tn || < ∞.
n

(En otras palabras, tenemos una serie P absolutamente sumable de operadores lineales.)
Entonces necesitamos demostrar que n Tn es sumable, y haremos esto de una manera
similar a como demostramos que el espacio C∞ (X) era de Banach: idearemos un operador
lineal acotado y mostraremos que tenemos convergencia en la norma del operador.
Nuestro candidato se obtendrá de la siguiente manera: para cualquier v ∈ V y m ∈ N,
sabemos que
Xm m
X X
||Tn v|| ≤ ||Tn || ||v|| ≤ ||v|| ||Tn || = C||v||.
n=1 n=1 n

Por lo tanto, la secuencia de sumas parciales de números reales no negativos m

P
n=1 ||Tn v||
está acotada y, por loPtanto, convergente. Dado que Tn v ∈ W para cada n, hemos demos-
trado que unaP serie n Tn v es absolutamente sumable en W , y por lo tanto (porque W
es Banach) n Tn v es sumable también. Ası́ que podemos definir la ”suma de los Tn ”,
T : V → W , definiendo
m
X
T v = lı́m Tn v
m→∞
n=1

6
(porque este lı́mite existe de hecho). Ahora necesitamos demostrar que este candidato es
un operador lineal acotado.
La linealidad se sigue porque para todos λ1 , λ2 ∈ K y v1 , v2 ∈ V ,
m
X
T (λ1 v1 + λ2 v2 ) = lı́m Tn (λ1 v1 + λ2 v2 ),
m→∞
n=1

y ahora porque cada Tn es lineal, esto es

m
X m
X
= lı́m λ1 T v1 + λ2 T v2 .
m→∞
n=1 n=1

Ahora cada una de las sumas converge como queremos, ya que la suma de los lı́mites es
el lı́mite de las sumas:
= λ1 T v1 + λ2 T v2 .
(La demostración de que la suma de dos secuencias convergentes también converge a la
suma de los lı́mites es la misma que en R, excepto que reemplazamos los valores absolutos
con normas.)
A continuación, para probar que este operador lineal T es acotado, consideremos cual-
quier v ∈ V . Entonces
Xm
||T v|| = lı́m Tn v ,
m→∞
n=1
y los lı́mites y las normas se intercambian, ası́ que esto es también
m
X m
X
= lı́m Tn v ≤ lı́m ||Tn v||
m→∞ m→∞
n=1 n=1

por la desigualdad triangular. Pero ahora esto está acotado por

m
X
≤ ||Tn || ||v|| = C||v||,
n=1

donde C es finito por suposición (porque tenemos una serie absolutamente sumable). Ası́
que hemos verificado que P
T es un operador lineal acotado en B(V, W ).
m
Resta demostrar que n=1 Tn converge de hecho a T en la norma del operador (a
medida que m → ∞). Si consideramos algún v ∈ V con ||v|| = 1, entonces
m m ′ m m′
X X X X
Tv − Tn v = lı́m Tn v − Tn v , = lı́m Tn v ,
m′ →∞ m′ →∞
n=1 n=1 n=1 n=m+1

y ahora podemos llevar la norma dentro del lı́mite y luego usar la desigualdad triangular
para obtener
Xm′ Xm′
≤ lı́m
′
||Tn v|| ≤ lı́m
′
||Tn ||
m →∞ m →∞
n=m+1 n=m+1

7
(porque v tiene longitud unitaria). Y ahora esto es una serie de números reales no nega-
tivos ∞
X
= ||Tn ||,
n=m+1

y por lo tanto, notamos que (tomando el supremo sobre todos los v de longitud unitaria)
m
X ∞
X
T− Tn ≤ ||Tn || → 0
n=1 n=m+1

porque tenemos la cola de una serie convergente de números reales. Ası́ que de hecho
tenemos convergencia en la norma del operador como deseábamos.

Definición 0.5 Sea V un espacio vectorial normado (sobre K). Entonces V ′ = B(V, K)
se llama el espacio dual de V , y debido a que K = R, C son ambos completos, V ′ es
entonces un espacio de Banach por banachoperatorbanach. Un elemento del espacio dual
B(V, K) se llama funcional.

De hecho, podemos identificar el espacio dual para todos los espacios ℓp : resulta que
′
(ℓp )′ = ℓp ,

donde p, p′ satisfacen la relación p1 + p1′ = 1. Ası́ que el dual de ℓ1 es ℓ∞ , y el dual de ℓ2 es

él mismo (este es el único espacio ℓp para el que esto es cierto), pero el dual de ℓ∞ no es
realmente ℓ1 . (La vida serı́a mucho más fácil si esto fuera cierto, y este dolor de cabeza
también aparecerá en los espacios Lp .)