Partie bornée d'un espace vectoriel topologique

Partie bornée d'un espace vectoriel topologique
Page d'aide sur l'homonymie Pour les articles homonymes, voir Partie bornée.

En analyse fonctionnelle et dans des domaines mathématiques reliés, une partie d'un espace vectoriel topologique est dite bornée si tout voisinage du vecteur nul peut être dilaté de manière à contenir cette partie. Ce concept a été introduit par John von Neumann et Andreï Kolmogorov en 1935.

Les parties bornées sont un moyen naturel de définir les topologies polaires (en) (localement convexes) sur les deux espaces vectoriels d'une paire duale (en).

Sommaire

Définition

Une partie B d'un e.v.t. E est dite bornée si pour tout voisinage V du vecteur nul, il existe un scalaire α tel que B soit incluse dans l'ensemble, noté αV, des vecteurs de la forme αx avec x dans V.

Exemples et contre-exemples

Propriétés

pour toute suite (λn) de scalaires qui tend vers 0 et toute suite (xn) d'éléments de B, la suite (λnxn) tend vers le vecteur nul.
  • Si l'e.v.t. E est localement convexe, i.e. si sa topologie est définie par une famille \scriptstyle\quad (p_i)_{i \in I} de semi-normes, une partie B de E est bornée au sens ci-dessus si et seulement si elle est bornée pour chaque pi, c'est-à-dire si pour tout indice i, il existe un réel Mi tel que
    \forall x\in B,\quad p_i(x)\le M_i.
    En particulier si E est un espace vectoriel normé, B est bornée au sens ci-dessus si et seulement si elle est bornée pour la norme.
  • Toute partie précompacte d'un e.v.t. séparé est bornée.
  • L'adhérence d'une partie bornée est bornée.
  • Dans un espace localement convexe, l'enveloppe convexe d'une partie bornée est bornée. (Sans l'hypothèse de convexité locale, c'est faux : par exemple les espaces Lp pour 0 < p < 1 n'ont pas d'ouverts convexes non triviaux.)
  • Toutes les homothétiques, translatées, réunions finies et sommes finies de parties bornées sont bornées.
  • Si un opérateur linéaire est continu alors il est borné, c'est-à-dire qu'il envoie toute partie bornée sur une partie bornée. La réciproque est vraie si l'espace de départ est pseudo-métrisable.
  • Un espace localement convexe est semi-normable si et seulement s'il est localement borné, i.e. s'il possède un voisinage borné de 0.
  • L'ensemble polaire (de) d'une partie bornée est absolument convexe (en) et absorbant.

Généralisation

Si M est un module topologique (en) sur un anneau topologique R, une partie B de M est dite bornée si pour tout voisinage V du vecteur nul de M, il existe un voisinage w du scalaire nul de R tel que wB soit inclus dans V.

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Partie bornée d'un espace vectoriel topologique de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Partie bornée — Pour les articles homonymes, voir Borne. En mathématiques, la notion de partie bornée (ou, par raccourci, de borné) étend celle d intervalle borné de réels à d autres structures, notamment en topologie et en théorie des ordres. Selon les cas, la… …   Wikipédia en Français

  • Espace vectoriel normé — Un espace vectoriel normé est une structure mathématique qui développe des propriétés géométriques de distance compatible avec les opérations de l algèbre linéaire. Développée notamment par David Hilbert et Stefan Banach, cette notion est très… …   Wikipédia en Français

  • Topologie d'un espace vectoriel de dimension finie — En mathématiques, la topologie d un espace vectoriel de dimension finie sur un corps K est, sous certaines hypothèses, un cas particulier de topologie d espace vectoriel normé. Le prototype est Rn muni de la norme qui à un n uplet de réels… …   Wikipédia en Français

  • Espace De Fréchet — L espace de Fréchet au sens de la topologie générale est décrit à l article Espace T1. Un espace de Fréchet est une structure mathématique d espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l… …   Wikipédia en Français

  • Espace de Frechet — Espace de Fréchet L espace de Fréchet au sens de la topologie générale est décrit à l article Espace T1. Un espace de Fréchet est une structure mathématique d espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de… …   Wikipédia en Français

  • Espace de fréchet — L espace de Fréchet au sens de la topologie générale est décrit à l article Espace T1. Un espace de Fréchet est une structure mathématique d espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l… …   Wikipédia en Français

  • Espace Préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Le cas… …   Wikipédia en Français

  • Espace prehilbertien — Espace préhilbertien En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la… …   Wikipédia en Français

  • Espace préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Sommaire 1… …   Wikipédia en Français

  • Espace propre — Valeur propre, vecteur propre et espace propre Fig. 1. Cette application linéaire déforme la statue de David. Les vecteurs bleus ont pour images les vecteurs verts. Ils gardent la même direction, ce sont des vecteurs propres. La valeur propre… …   Wikipédia en Français

Share the article and excerpts

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