Espace de suites p

En mathématiques, l'espace p est un exemple d'espace vectoriel, constitué de suites à valeurs réelles ou complexes et qui possède, pour 1 ≤ p ≤ ∞, une structure d'espace de Banach.

Motivation

modifier

Considérons l'espace vectoriel réel ℝn, c'est-à-dire l'espace des n-uplets de nombres réels.

La norme euclidienne d'un vecteur   est donnée par :

 .

Mais pour tout nombre réel p ≥ 1, on peut définir une autre norme sur ℝn, appelée la p-norme, en posant :

 

pour tout vecteur  .

Pour tout p ≥ 1, ℝn muni de la p-norme est donc un espace vectoriel normé. Comme il est de dimension finie, il est complet pour cette norme.

Espace ℓp

modifier

La p-norme peut être étendue aux vecteurs ayant une infinité dénombrable de composantes, ce qui permet de définir l'espace ℓp (noté aussi ℓp() car on peut définir de même ℓp(X) pour n'importe quel ensemble X fini ou infini, le cas où X a n éléments correspondant au paragraphe précédent).

Plus précisément, ℓp sera un sous-espace vectoriel de l'espace des suites infinies de nombres réels ou complexes, sur lequel la somme est définie par :

 

et la multiplication par un scalaire par :

 

On définit la p-norme d'une suite   :

 

La série de droite n'est pas toujours convergente : par exemple, la suite (1, 1, 1, …) a une p-norme infinie pour n'importe quel p < ∞.

L'espace ℓp est défini comme l'ensemble des suites infinies de nombres réels ou complexes dont la p-norme est finie.

On définit aussi la « norme  » comme :

 

et l'espace vectoriel correspondant ℓ est l'espace des suites bornées.

Propriétés

modifier
  • Pour tout ensemble X, l'espace ℓ(X) des fonctions bornées sur X (à valeurs réelles ou complexes) est de Banach, c'est-à-dire que toute suite uniformément de Cauchy de fonctions bornées sur X converge uniformément (vers une fonction bornée). De même, pour 1 ≤ p ≤ ∞, ℓp(ℕ) est de Banach. (Ce sont deux cas particuliers du théorème de Riesz-Fischer, qui concerne tous les espaces Lp.)
  • Dans ℓ, un sous-espace remarquable est l'espace c des suites convergentes. Il est fermé (donc complet), puisque toute limite uniforme de suites convergentes est convergente ; ou encore : c est complet (donc fermé dans ℓ), puisqu'isométriquement isomorphe à l'espace (complet) des applications continues (donc) bornées sur le compact [0, ω] = ℕ∪{+∞}, compactifié d'Alexandrov de ℕ discret.
  • Pour 1 < p < , l'espace de suites ℓp est réflexif. Son dual[1] est l'espace ℓq, avec 1p+1q = 1 ;
  • Dans ℓ, le sous-espace c0 des suites de limite nulle 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.
  • Pour tout r < et tout x ∈ ℓr, l'application p ↦ ║xp est décroissante sur [r, +∞[. En effet, si p ≥ q ≥ r on a |xk| / xq ≤ 1 pour tout indice k, donc
     
    en sommant cette inégalité sur k on en déduit xp ≤ ║xq. La fonction p ↦ ║xp est aussi continue sur [r, +∞]. En particulier[2] :
     

Notes et références

modifier
  1. a et b Georges Skandalis, Topologie générale, Masson.
  2. (en) « The l-norm is equal to the limit of the lp-norms », sur math.stackexchange.

Articles connexes

modifier

Liens externes

modifier