Tema 12: Teorema de Banach-Steinhaus

1 Teorema de Banach-Steinhaus

2 Aplicaciones en Análisis Funcional

Teorema de cierre de Steinhaus
Aplicaciones bilineales continuas

3 Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Motivación
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Motivación

Problema motivador
X, Y espacios normados, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión de operadores lineales
continuos. Supongamos que para cada x ∈ X, {Tn (x)} converge y llamemos
T (x) a lı́mite. Entonces, T es una aplicación de X en Y obviamente lineal.
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Motivación

Problema motivador
X, Y espacios normados, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión de operadores lineales
continuos. Supongamos que para cada x ∈ X, {Tn (x)} converge y llamemos
T (x) a lı́mite. Entonces, T es una aplicación de X en Y obviamente lineal.

¿Es continua?
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Motivación

Problema motivador
X, Y espacios normados, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión de operadores lineales
continuos. Supongamos que para cada x ∈ X, {Tn (x)} converge y llamemos
T (x) a lı́mite. Entonces, T es una aplicación de X en Y obviamente lineal.

¿Es continua?

Ejemplo
En c00 definimos Tn ∈ L(c00 , K) por
n
X
Tn (x) = x(k) (x ∈ X).
k=1

Es claro que
∞
X
Tn (x) −→ T (x) := x(k) (x ∈ c00 )
k=1
pero el operador (lineal) T no es continuo.
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

X espacio topológico de 2a categorı́a en sı́ mismo
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

X espacio topológico de 2a categorı́a en sı́ mismo
F familia de funciones continuas de X en R
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

X espacio topológico de 2a categorı́a en sı́ mismo
F familia de funciones continuas de X en R
F puntualmente acotada
⇓
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

X espacio topológico de 2a categorı́a en sı́ mismo
F familia de funciones continuas de X en R
F puntualmente acotada
⇓
F uniformemente acotada en un abierto no vacı́o B ⊂ X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

X espacio topológico de 2a categorı́a en sı́ mismo
F familia de funciones continuas de X en R
F puntualmente acotada
⇓
F uniformemente acotada en un abierto no vacı́o B ⊂ X
Basta considerar: Fn = {x ∈ X : |f (x)| 6 n ∀ f ∈ E} (n ∈ N)
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Principio de Acotación Uniforme

Tipos de acotación
X 6= ∅, E ⊂ RX familia de funciones de X en R
E acotada en x0 ∈ X : sup {|f (x0 )| : f ∈ E} < ∞
E puntualmente acotada: sup {|f (x)| : f ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {|f (x)| : f ∈ E , x ∈ B} < ∞

Principio de acotación uniforme

X espacio topológico de 2a categorı́a en sı́ mismo
F familia de funciones continuas de X en R
F puntualmente acotada
⇓
F uniformemente acotada en un abierto no vacı́o B ⊂ X
Basta considerar: Fn = {x ∈ X : |f (x)| 6 n ∀ f ∈ E} (n ∈ N)
Lema de Baire: =⇒ Como X se puede tomar cualquier subconjunto abierto
de un espacio métrico completo
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞

Teorema de Banach-Steinhaus
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞

Teorema de Banach-Steinhaus
X espacio de Banach, Y espacio normado, E ⊂ L(X, Y )
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞

Teorema de Banach-Steinhaus
X espacio de Banach, Y espacio normado, E ⊂ L(X, Y )

A = x ∈ X : sup {kT xk : T ∈ E} < ∞ . Son equivalentes:
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞

Teorema de Banach-Steinhaus
X espacio de Banach, Y espacio normado, E ⊂ L(X, Y )

A = x ∈ X : sup {kT xk : T ∈ E} < ∞ . Son equivalentes:
(a) A es de 2a categorı́a en X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞

Teorema de Banach-Steinhaus
X espacio de Banach, Y espacio normado, E ⊂ L(X, Y )

A = x ∈ X : sup {kT xk : T ∈ E} < ∞ . Son equivalentes:
(a) A es de 2a categorı́a en X
(b) A = X , es decir, E está puntualmente acotada:
sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Teorema de Banach-Steinhaus

Acotación para familias de operadores

X, Y espacios normados, E ⊂ L(X, Y ) familia de operadores lineales continuos
E acotada en x0 ∈ X : sup {kT x0 k : T ∈ E} < ∞
E puntualmente acotada: sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
E uniformemente acotada en B ⊂ X : sup {kT (x)k : T ∈ E , x ∈ B} < ∞
E uniformemente acotada en la bola unidad: sup {kT k : T ∈ E} < ∞

Teorema de Banach-Steinhaus
X espacio de Banach, Y espacio normado, E ⊂ L(X, Y )

A = x ∈ X : sup {kT xk : T ∈ E} < ∞ . Son equivalentes:
(a) A es de 2a categorı́a en X
(b) A = X , es decir, E está puntualmente acotada:
sup {kT xk : T ∈ E} < ∞ ∀ x ∈ X
(c) E está acotada en norma:
sup {kT k : T ∈ E} < ∞
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Supongamos que {Tn } converge puntualmente en X :
{Tn x} → T x ∀ x ∈ X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Supongamos que {Tn } converge puntualmente en X :
{Tn x} → T x ∀ x ∈ X
Entonces T ∈ L(X, Y )
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Supongamos que {Tn } converge puntualmente en X :
{Tn x} → T x ∀ x ∈ X
Entonces T ∈ L(X, Y )

Caracterización dual de la acotación

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Supongamos que {Tn } converge puntualmente en X :
{Tn x} → T x ∀ x ∈ X
Entonces T ∈ L(X, Y )

Caracterización dual de la acotación

X espacio normado, E ⊂ X
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Supongamos que {Tn } converge puntualmente en X :
{Tn x} → T x ∀ x ∈ X
Entonces T ∈ L(X, Y )

Caracterización dual de la acotación

X espacio normado, E ⊂ X
E acotado ⇐⇒ f (E) acotado ∀ f ∈ X∗
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Primeras aplicaciones

Teorema de cierre de Steinhaus

X espacio de Banach, Y espacio normado, {Tn : n ∈ N} ⊂ L(X, Y ) sucesión
de operadores lineales continuos.
Supongamos que {Tn } converge puntualmente en X :
{Tn x} → T x ∀ x ∈ X
Entonces T ∈ L(X, Y )

Caracterización dual de la acotación

X espacio normado, E ⊂ X
E acotado ⇐⇒ f (E) acotado ∀ f ∈ X∗
Explı́citamente:

sup {kxk : x ∈ E} < ∞ ⇐⇒ sup {|f (x)| : x ∈ E} < ∞ ∀ f ∈ X ∗

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Aplicaciones bilineales continuas

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Aplicaciones bilineales continuas

Teorema
Sea X un espacio de Banach, Y y Z espacios normados y T : X × Y → Z una
aplicación bilineal.
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Aplicaciones bilineales continuas

Teorema
Sea X un espacio de Banach, Y y Z espacios normados y T : X × Y → Z una
aplicación bilineal. Equivalen:
Existe M > 0 tal que kT (x, y)k 6 M kxk kyk ∀x ∈ X, ∀y ∈ Y ,
T es continua en X × Y (con la topologı́a producto),
T es separadamente continua: para cada x0 ∈ X, y0 ∈ Y , las aplicaciones
lineales
y 7→ T (x0 , y) (y ∈ Y ), x→
7 T (x, y0 ) (x ∈ X)
son continuas.
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit ) 
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit ) 
Función 2π-periódica f : R → C
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit )   g(z) = f (Arg z)
Función 2π-periódica f : R → C
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit )   g(z) = f (Arg z)
Función 2π-periódica f : R → C
Medida de Lebesgue normalizada en la circunferencia
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit )   g(z) = f (Arg z)
Función 2π-periódica f : R → C
Medida de Lebesgue normalizada en la circunferencia
φ :] − π, π] → T φ(t) = eit ∀ t ∈] − π, π] biyectiva
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit )   g(z) = f (Arg z)
Función 2π-periódica f : R → C
Medida de Lebesgue normalizada en la circunferencia
φ :] − π, π] → T φ(t) = eit ∀ t ∈] − π, π] biyectiva
E ⊂ T medible ⇐⇒ φ−1 (E) medible-Lebesgue en R
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit )   g(z) = f (Arg z)
Función 2π-periódica f : R → C
Medida de Lebesgue normalizada en la circunferencia
φ :] − π, π] → T φ(t) = eit ∀ t ∈] − π, π] biyectiva
E ⊂ T medible ⇐⇒ φ−1 (E) medible-Lebesgue en R
1
λ φ−1 (E)


m(E) : =
2π
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Funciones en la circunferencia y funciones periódicas

T = {z ∈ C : |z| = 1} = {eit : t ∈ R}
Función definida en la circunferencia g : T → C
f (t) = g(eit )   g(z) = f (Arg z)
Función 2π-periódica f : R → C
Medida de Lebesgue normalizada en la circunferencia
φ :] − π, π] → T φ(t) = eit ∀ t ∈] − π, π] biyectiva
E ⊂ T medible ⇐⇒ φ−1 (E) medible-Lebesgue en R
1
λ φ−1 (E)


m(E) : =
2π
Lp (T) = Lp (m) (1 6 p 6 ∞)
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios Lp (T)
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios Lp (T)
Lp (T) (1 6 p < ∞) “Funciones” medibles g : T → C tales que
Z 1/p
p
kgkp : |g(z)| dm(z) <∞
T
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios Lp (T)
Lp (T) (1 6 p < ∞) “Funciones” medibles g : T → C tales que
Z 1/p
p
kgkp : |g(z)| dm(z) <∞
T

o bien, “funciones” medibles 2π-periódicas f : R → C tales que

 Z π 1/p
1
kf kp : = |f (t)|p dt <∞
2π −π
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios Lp (T)
Lp (T) (1 6 p < ∞) “Funciones” medibles g : T → C tales que
Z 1/p
p
kgkp : |g(z)| dm(z) <∞
T

o bien, “funciones” medibles 2π-periódicas f : R → C tales que

 Z π 1/p
1
kf kp : = |f (t)|p dt <∞
2π −π

L∞ (T). “Funciones” medibles y esencialmente acotadas g : T → C, o bien,

“funciones” medibles, 2π-periódicas y esencialmente acotadas f : R → C.


kgk∞ = ess sup |g| = ess sup |f | = kf k∞ g ≡ f ∈ L∞ (T)
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios Lp (T)
Lp (T) (1 6 p < ∞) “Funciones” medibles g : T → C tales que
Z 1/p
p
kgkp : |g(z)| dm(z) <∞
T

o bien, “funciones” medibles 2π-periódicas f : R → C tales que

 Z π 1/p
1
kf kp : = |f (t)|p dt <∞
2π −π

L∞ (T). “Funciones” medibles y esencialmente acotadas g : T → C, o bien,

“funciones” medibles, 2π-periódicas y esencialmente acotadas f : R → C.


kgk∞ = ess sup |g| = ess sup |f | = kf k∞ g ≡ f ∈ L∞ (T)

C(T). Funciones continuas g : T → C , o bien, funciones continuas y

2π-periódicas f : R → C con


kgk∞ = máx {|g(z)| : z ∈ T} = máx {|f (t)| : t ∈ R} g ≡ f ∈ C(T)
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Para 1 6 p 6 q 6 ∞ se tiene

C(T) ⊂ L∞ (T) ⊂ Lq (T) ⊂ Lp (T) ⊂ L1 (T)

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Para 1 6 p 6 q 6 ∞ se tiene

C(T) ⊂ L∞ (T) ⊂ Lq (T) ⊂ Lp (T) ⊂ L1 (T)

El operador Id : Lq (T) → Lp (T) es lineal y continuo, de hecho

kgkp 6 kgkq ∀ g ∈ Lq (T)

pero no es un monomorfismo:
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Para 1 6 p 6 q 6 ∞ se tiene

C(T) ⊂ L∞ (T) ⊂ Lq (T) ⊂ Lp (T) ⊂ L1 (T)

El operador Id : Lq (T) → Lp (T) es lineal y continuo, de hecho

kgkp 6 kgkq ∀ g ∈ Lq (T)

pero no es un monomorfismo:
Lusin =⇒ C(T) = Lp (T) (1 6 p < ∞)
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Para 1 6 p 6 q 6 ∞ se tiene

C(T) ⊂ L∞ (T) ⊂ Lq (T) ⊂ Lp (T) ⊂ L1 (T)

El operador Id : Lq (T) → Lp (T) es lineal y continuo, de hecho

kgkp 6 kgkq ∀ g ∈ Lq (T)

pero no es un monomorfismo:
Lusin =⇒ C(T) = Lp (T) (1 6 p < ∞)

Series de Fourier
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Para 1 6 p 6 q 6 ∞ se tiene

C(T) ⊂ L∞ (T) ⊂ Lq (T) ⊂ Lp (T) ⊂ L1 (T)

El operador Id : Lq (T) → Lp (T) es lineal y continuo, de hecho

kgkp 6 kgkq ∀ g ∈ Lq (T)

pero no es un monomorfismo:
Lusin =⇒ C(T) = Lp (T) (1 6 p < ∞)

Series de Fourier
f ≡ g ∈ L1 (T). Coeficientes de Fourier de f :
Z π Z
1
fb(n) = f (t) e−int dt = g(z) z −n dm(z) (n ∈ Z)
2π −π T
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Espacios de Banach para el estudio de Series de Fourier

Relación entre los espacios Lp (T)

Para 1 6 p 6 q 6 ∞ se tiene

C(T) ⊂ L∞ (T) ⊂ Lq (T) ⊂ Lp (T) ⊂ L1 (T)

El operador Id : Lq (T) → Lp (T) es lineal y continuo, de hecho

kgkp 6 kgkq ∀ g ∈ Lq (T)

pero no es un monomorfismo:
Lusin =⇒ C(T) = Lp (T) (1 6 p < ∞)

Series de Fourier
f ≡ g ∈ L1 (T). Coeficientes de Fourier de f :
Z π Z
1
fb(n) = f (t) e−int dt = g(z) z −n dm(z) (n ∈ Z)
2π −π T
X X
Serie de Fourier de f : fb(n) eint ≡ fb(n) z n
n∈Z n∈Z
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ?

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?

Convergencia en norma
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?

Convergencia en norma
Riesz: 1 < p < ∞ , f ∈ Lp (T) =⇒ {Sn (f, ·)} → f en Lp (T):
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?

Convergencia en norma
Riesz: 1 < p < ∞ , f ∈ Lp (T)Z =⇒ {Sn (f, ·)} → f en Lp (T):
π
lı́m |Sn (f, t) − f (t)|p dt = 0
n→∞ −π
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?

Convergencia en norma
Riesz: 1 < p < ∞ , f ∈ Lp (T)Z =⇒ {Sn (f, ·)} → f en Lp (T):
π
lı́m |Sn (f, t) − f (t)|p dt = 0
n→∞ −π

Convergencia puntual
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?

Convergencia en norma
Riesz: 1 < p < ∞ , f ∈ Lp (T)Z =⇒ {Sn (f, ·)} → f en Lp (T):
π
lı́m |Sn (f, t) − f (t)|p dt = 0
n→∞ −π

Convergencia puntual
Para f ∈ C(T) tiene sentido preguntar:
¿ {Sn (f, t)} → f (t) ∀ t ∈ R ?
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Convergencia de series de Fourier

Planteamiento general
f ∈ L1 (T). Sucesión de sumas parciales de la serie de Fourier de f :
n
X
Sn (f, t) = fb(n) eikt (t ∈ R , n = 0, 1, 2, . . .)
k=−n

Problema: ¿ {Sn (f, ·)} → f ? ¿Cuándo y en qué sentido podemos decir que la
serie de Fourier de una función converge a dicha función?

Convergencia en norma
Riesz: 1 < p < ∞ , f ∈ Lp (T)Z =⇒ {Sn (f, ·)} → f en Lp (T):
π
lı́m |Sn (f, t) − f (t)|p dt = 0
n→∞ −π

Convergencia puntual
Para f ∈ C(T) tiene sentido preguntar:
¿ {Sn (f, t)} → f (t) ∀ t ∈ R ?
La respuesta es negativa (DuBois-Reymond) pero no es fácil dar ejemplos
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n
X
Sn (f, 0) = fb(k)
k=−n
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n n
!
Z π
X 1 X
Sn (f, 0) = fb(k) = f (t) e−ikt dt
2π −π
k=−n k=−n
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n n
!
Z π
X 1 X
Sn (f, 0) = fb(k) = f (t) e−ikt dt
2π −π
k=−n k=−n
Z π
1
= f (t) Dn (t) dt
2π −π
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n n
!
Z π
X 1 X
Sn (f, 0) = fb(k) = f (t) e−ikt dt
2π −π
k=−n k=−n
Z π
1
= f (t) Dn (t) dt = ϕn (f )
2π −π
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n n
!
Z π
X 1 X
Sn (f, 0) = fb(k) = f (t) e−ikt dt
2π −π
k=−n k=−n
Z π
1
= f (t) Dn (t) dt = ϕn (f )
2π −π

Recordemos: L1 (T) ⊂ M (T) ≡ C(T)∗

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n n
!
Z π
X 1 X
Sn (f, 0) = fb(k) = f (t) e−ikt dt
2π −π
k=−n k=−n
Z π
1
= f (t) Dn (t) dt = ϕn (f )
2π −π

Recordemos: L1 (T) ⊂ M (T) ≡ C(T)∗

Luego ϕn ∈ C(T)∗ con kϕn k = kDn k1
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Punto de vista “funcional”

Para n ∈ N ∪ {0} fijo, tenemos:
n n
!
Z π
X 1 X
Sn (f, 0) = fb(k) = f (t) e−ikt dt
2π −π
k=−n k=−n
Z π
1
= f (t) Dn (t) dt = ϕn (f )
2π −π

Recordemos: L1 (T) ⊂ M (T) ≡ C(T)∗

Luego ϕn ∈ C(T)∗ con kϕn k = kDn k1
Ahora un poco de cálculo:
n
X sen (2n + 1)t/2)
Dn (t) = e−ikt = (0 < |t| 6 π) Dn (0) = 2n + 1
sen (t/2)
k=−n

y se comprueba sin mucha dificultad que {kDn k1 } → +∞

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Lo que hizo famoso al Teorema de Banach-Steinhaus

Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Lo que hizo famoso al Teorema de Banach-Steinhaus

Por tanto. . .
{ϕn } ⊂ C(T)∗ no está acotado en norma.
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Lo que hizo famoso al Teorema de Banach-Steinhaus

Por tanto. . .
{ϕn } ⊂ C(T)∗ no está acotado en norma. Por tanto, el conjunto
 
f ∈ C(T) : sup |ϕn (f )| < ∞
n∈N
a
es de 1 categorı́a en C(T).

En otras palabras,
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Lo que hizo famoso al Teorema de Banach-Steinhaus

Por tanto. . .
{ϕn } ⊂ C(T)∗ no está acotado en norma. Por tanto, el conjunto
   
f ∈ C(T) : sup |ϕn (f )| < ∞ ≡ f ∈ C(T) : sup |Sn (f, 0)| < ∞
n∈N n∈N
a
es de 1 categorı́a en C(T).

En otras palabras,

Aplicación a las series de Fourier

El conjunto de las funciones f ∈ C(T) tales que la sucesión {Sn (f, 0)}
está acotada es de 1a categorı́a en C(T).
Teorema de Banach-Steinhaus Aplicaciones en Análisis Funcional Una aplicación a las series de Fourier

Lo que hizo famoso al Teorema de Banach-Steinhaus

Por tanto. . .
{ϕn } ⊂ C(T)∗ no está acotado en norma. Por tanto, el conjunto
   
f ∈ C(T) : sup |ϕn (f )| < ∞ ≡ f ∈ C(T) : sup |Sn (f, 0)| < ∞
n∈N n∈N
a
es de 1 categorı́a en C(T).

En otras palabras,

Aplicación a las series de Fourier

El conjunto de las funciones f ∈ C(T) tales que la sucesión {Sn (f, 0)}
está acotada es de 1a categorı́a en C(T). Ası́ pues, la convergencia puntual de
la serie de Fourier de una función continua es “atı́pica”