Espace séparable

Espace séparable
Page d'aide sur l'homonymie Ne pas confondre avec la structure d'espace séparé.

En mathématiques, et plus précisément en topologie, un espace séparable est un espace topologique contenant un sous-ensemble fini ou dénombrable et dense, c'est-à-dire contenant un ensemble fini ou dénombrable de points dont l'adhérence est égale à l'espace topologique tout entier.

Sommaire

Lien avec les espaces à base dénombrable

Article détaillé : espace à base dénombrable.

Tout espace métrisable séparable est un espace à base dénombrable et a donc au plus la puissance du continu. Sont de ce type la plupart des espaces usuels. Être à base dénombrable est une propriété beaucoup plus forte qu'être séparable.

L'hypothèse de séparabilité se retrouve abondamment dans les résultats d'analyse fonctionnelle.

Un sous-espace d'un espace séparable n'est pas en général séparable. Par contre, un sous-espace d'un espace à base dénombrable est encore à base dénombrable. A fortiori, par ce qui précède, un sous-espace d'un espace métrisable séparable est encore métrisable séparable. Mais il est possible de donner une démonstration directe de cette dernière assertion sans utiliser l'équivalence, pour un espace métrisable, entre la séparabilité et l'existence d'une base dénombrable.

Démonstration

Soit (X,d) un espace métrique séparable, et soit A un sous-espace de X. On va construire une suite dense dans A. Choisissons (x_n)_{n\in\N^*} une suite dense dans X. Pour tout entier n > 0, fixons un point an de A vérifiant d(xn,an) < d(xn,A) + 1 / n. Soit a un point de A, et soit ε > 0. Par définition de la suite (xn), il existe un entier n>3/\epsilon tel que d(a,x_n)<\epsilon/3. On a alors (par définition de la suite (an)) d(x_n,a_n)<\epsilon/3+1/n<2\epsilon/3 donc (par inégalité triangulaire) d(a,a_n)<\epsilon.

La suite (an) est donc bien dense dans A.

Exemples

L'ensemble \R des nombres réels

L'ensemble \mathbb{R} des nombres réels, muni de sa topologie usuelle, est séparable car \mathbb{Q} y est dense et de cardinal dénombrable.

Espace métrique précompact

Tout espace métrique précompact est séparable.

Il existe de très gros espaces compacts non métrisables mais néanmoins séparables ; c'est le cas du compactifié de Stone-Čech de N qui a même puissance que l'ensemble des parties de R.

Espaces de Lebesgue

Pour 1 \le p < \infty, l'espace L^p(\mathbb R) des fonctions dont la puissance p est intégrable, est séparable. Par contre, l'espace L^\infty(\mathbb R) des fonctions essentiellement bornées ne l'est pas.

Espace produit

Si, pour tout α appartenant à un ensemble A ayant au plus la puissance du continu \mathfrak c, Xα est un espace séparable, alors l'espace produit \prod_{\alpha \in A} X_\alpha est séparable. En particulier, {\mathbb R}^{\mathbb R} et ({\mathbb R}^{\mathbb R})^{\mathbb R} sont séparables.

Un espace séparable et séparé a un cardinal inférieur ou égal à 2^{\mathfrak c}, de sorte que {\mathbb R}^{({\mathbb R}^{\mathbb R})} n'est pas séparable[1].

Notes et références

  1. ↑ François Guénard et Gilbert Lelièvre, Compléments d'analyse, Volume 1, Topologie, première partie, ENS Fontenay éd., (1985) p.41

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace séparable de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Espace Séparable — En mathématiques, et plus précisément en topologie, un espace séparable est un espace topologique contenant un sous ensemble dénombrable et dense, c est à dire si l on peut trouver un ensemble dénombrable de points dont l adhérence est égale à l… …   Wikipédia en Français

  • Espace separable — Espace séparable En mathématiques, et plus précisément en topologie, un espace séparable est un espace topologique contenant un sous ensemble dénombrable et dense, c est à dire si l on peut trouver un ensemble dénombrable de points dont l… …   Wikipédia en Français

  • Espace a base denombrable — Espace à base dénombrable Un espace topologique est dit à base dénombrable si sa topologie admet une base dénombrable. Tout sous espace d un espace à base dénombrable et tout produit dénombrable d espaces à base dénombrable sont eux mêmes à base… …   Wikipédia en Français

  • Espace À Base Dénombrable — Un espace topologique est dit à base dénombrable si sa topologie admet une base dénombrable. Tout sous espace d un espace à base dénombrable et tout produit dénombrable d espaces à base dénombrable sont eux mêmes à base dénombrable ; d autre …   Wikipédia en Français

  • Espace De Sobolev — Les espaces de Sobolev sont des espaces fonctionnels. Plus précisément, un espace de Sobolev est un espace vectoriel de fonctions muni de la norme obtenue par la combinaison de la norme norme Lp de la fonction elle même ainsi que de ses dérivées… …   Wikipédia en Français

  • Espace de sobolev — Les espaces de Sobolev sont des espaces fonctionnels. Plus précisément, un espace de Sobolev est un espace vectoriel de fonctions muni de la norme obtenue par la combinaison de la norme norme Lp de la fonction elle même ainsi que de ses dérivées… …   Wikipédia en Français

  • Espace séparé —  Ne pas confondre avec la structure d espace séparable. Deux points admettant des voisinages disjoints. Somm …   Wikipédia en Français

  • Espace à base dénombrable —  Ne doit pas être confondu avec Espace à base dénombrable de voisinages (en). En mathématiques, plus précisément en topologie, un espace est dit à base dénombrable si sa topologie admet une base dénombrable. La pl …   Wikipédia en Français

  • Séparable — Séparabilité Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 En mathématiques 2 En physique 2 …   Wikipédia en Français

  • Espace complet — En mathématiques, un espace métrique M est dit complet ou espace complet si toute suite de Cauchy de M a une limite dans M (c’est à dire qu elle converge dans M). La propriété de complétude dépend de la distance. Il est donc important de toujours …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”