En el campo matemático del análisis funcional , el espacio denotado por c es el espacio vectorial de todas las sucesiones convergentes de números reales o números complejos . Cuando se le aplica la norma uniforme :
el espacio se convierte en un espacio de Banach . Es un subespacio lineal cerrado del espacio de sucesiones acotadas , y contiene como subespacio cerrado el espacio de Banach de sucesiones que convergen a cero. El dual de es isométricamente isomorfo a como lo es el de En particular, ni ni es reflexivo .
(
incógnita
norte
)
{\displaystyle \left(x_{n}\right)}
"
incógnita
"
∞
=
sorber
norte
|
incógnita
norte
|
{\displaystyle \|x\|_{\infty }=\sup _{n}|x_{n}|}
do
{\estilo de visualización c}
ℓ
∞
{\displaystyle \ell ^{\infty }}
do
0
estilo de visualización c_{0}}
do
{\estilo de visualización c}
ℓ
1
,
{\displaystyle \ell ^{1},}
do
0
.
{\displaystyle c_{0}.}
do
{\estilo de visualización c}
do
0
estilo de visualización c_{0}}
En el primer caso, el isomorfismo de con se da como sigue. Si entonces el emparejamiento con un elemento en se da por
ℓ
1
{\displaystyle \ell ^{1}}
do
∗
{\estilo de visualización c^{*}}
(
incógnita
0
,
incógnita
1
,
…
)
∈
ℓ
1
,
{\displaystyle \left(x_{0},x_{1},\ldots \right)\in \ell ^{1},}
(
y
0
,
y
1
,
…
)
{\displaystyle \left(y_{0},y_{1},\ldots \right)}
do
{\estilo de visualización c}
incógnita
0
límite
norte
→
∞
y
norte
+
∑
i
=
0
∞
incógnita
i
+
1
y
i
.
{\displaystyle x_{0}\lim _{n\to \infty }y_{n}+\sum _{i=0}^{\infty }x_{i+1}y_{i}.}
Este es el teorema de representación de Riesz sobre el ordinal .
ω
{\estilo de visualización \omega}
Para el emparejamiento entre in y in viene dado por
do
0
,
{\estilo de visualización c_{0},}
(
incógnita
i
)
{\displaystyle \left(x_{i}\right)}
ℓ
1
{\displaystyle \ell ^{1}}
(
y
i
)
{\displaystyle \left(y_{i}\right)}
do
0
estilo de visualización c_{0}}
∑
i
=
0
∞
incógnita
i
y
i
.
{\displaystyle \sum _{i=0}^{\infty }x_{i}y_{i}.}
Véase también
Referencias
Dunford, N.; Schwartz, JT (1958), Operadores lineales, Parte I , Wiley-Interscience .