Espace de suites ℓp

En mathématiques, l'espace ℓp est un certain espace de

suites à valeurs réelles ou complexes qui possède une
1/p
structure d'espace de Banach. ∥x∥p = (|x0 |p + |x1 |p + · · · + |xn |p + |xn+1 |p + . . . ) ∈ [0, +∞].

La série de droite n'est pas toujours convergente : par

exemple, la suite (1, 1, 1, …) a une p-norme infinie pour
1 Motivation n'importe quel p.
p
Considérons l'espace vectoriel réel ℝn , c'est-à-dire L'espace ℓ est défini comme l'ensemble des suites infinies
l'espace des n-uplets de nombres réels. de nombres réels ou complexes dont la p-norme est finie.

La norme euclidienne d'un vecteur x = (x , x , . . . , x ) On définit aussi la « norme ∞ » comme :

1 2 n
est donnée par :

∥x∥∞ = sup(|x0 |, |x1 |, . . . , |xn |, |xn+1 |, . . . )

( )1/2
∥x∥ = x21 + x22 + ··· + x2n
et l'espace vectoriel correspondant ℓ∞ est l'espace des
Mais pour tout nombre réel p ≥ 1, on peut définir une suites bornées.
autre norme sur ℝn , appelée la p-norme, en posant :

1/p
3 Propriétés
∥x∥p = (|x1 |p + |x2 |p + · · · + |xn |p )

pour tout vecteur x = (x1 , x2 , . . . , xn ) . • Pour 1 < p < ∞, l'espace de suites ℓp est réflexif. Son
dual[1] est l'espace ℓq , avec 1/p+ 1/q = 1 ;
Pour tout p ≥ 1, ℝn muni de la p-norme est donc un espace
vectoriel normé. Comme il est de dimension finie, c'est • Dans ℓ∞ , le sous-espace c0 des suites de limite nulle
même un espace de Banach. n'est pas réflexif : son dual est ℓ1 et le dual de ℓ1 est
ℓ∞[1] . Par conséquent, ℓ1 et ℓ∞ ne sont pas non plus
réflexifs.
2 Espace ℓp • Pour tout q < ∞ et tout x ∈ ℓq , l'application dé-
croissante p ↦ ║x║p est continue sur [q, +∞]. En
La p-norme peut être étendue aux vecteurs ayant une particulier[2] :
infinité dénombrable de composantes, ce qui permet de
définir l'espace ℓp (noté aussi ℓp (ℕ) car on peut définir ∥x∥∞ = limp→+∞ ∥x∥p .
de même ℓp (X) pour n'importe quel ensemble X fini ou
infini, le cas où X a n éléments correspondant au para-
graphe précédent).
4 Notes et références
Plus précisément, ℓp sera un sous-espace vectoriel de
l'espace des suites infinies de nombres réels ou complexes, [1] Georges Skandalis (de), Topologie générale, Masson.
sur lequel la somme est définie par :
[2] (en) « The l∞ -norm is equal to the limit of the lp -norms »,
sur math.stackexchange.
(x0 , x1 , . . . , xn , xn+1 , . . . )+(y0 , y1 , . . . , yn , yn+1 , . . . ) = (x0 +y0 , x1 +y1 , . . . , xn +yn , xn+1 +yn+1 , . . . )

et la multiplication par un scalaire par : 5 Articles connexes

• Base de Schauder
λ(x0 , x1 , . . . , xn , xn+1 , . . . ) = (λx0 , λx1 , . . . , λxn , λxn+1 , . . . ).
• Espace Lp
On définit la p-norme d'une suite x =
(x0 , x1 , . . . , xn , xn+1 , . . . ) : • Espace de suites (de)

1
2 5 ARTICLES CONNEXES

• Famille sommable

• Portail de l’analyse
 3

6 Sources, contributeurs et licences du texte et de l’image

6.1 Texte
• Espace de suites ℓp Source : http://fr.wikipedia.org/wiki/Espace%20de%20suites%20%E2%84%93p?oldid=99326062 Contributeurs :
Anarkman, Orel'jan, Stéphane33, Ico, Grecha, Peps, Kyle the bot, Trex, Dfeldmann, Laddo, Ambigraphe, SniperMaské, Jaipasdepseudo,
Herr Satz, Anne Bauval, RomDem, MerlIwBot, Addbot et Anonyme : 4

6.2 Images
• Fichier:Nuvola_apps_kmplot.svg Source : http://upload.wikimedia.org/wikipedia/commons/e/e8/Nuvola_apps_kmplot.svg Licence :
LGPL Contributeurs : ? Artiste d’origine : ?

6.3 Licence du contenu

• Creative Commons Attribution-Share Alike 3.0