Ensemble tonnelé
En analyse fonctionnelle et dans les domaines proches de mathématiques, un ensemble tonnelé ou un tonneau dans un espace vectoriel topologique est un ensemble qui est convexe, absorbant, fermé et équilibré (de manière mnémotechnique, c'est un tonneau de c.a.f.é.).
Définition modifier
Un ensemble E d'un K-espace vectoriel topologique X (où K est un corps valué non discret qui est une -algèbre) est tonnelé s'il est :
![{\displaystyle \forall t\in [0,1],tE+(1-t)E\subset E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0953a179cd759b79aadb0d1305acb4ebe27a2fb)
Remarques.
- Seule la dernière propriété (fermé) est topologique.
- Pour qu'un convexe E soit équilibré (on dit aussi « cerclé »), il suffit que
- Une partie E est un convexe équilibré si et seulement si elle est absolument convexe (en) :
- Pour qu'une partie équilibrée E soit absorbante, il suffit que tout vecteur de X soit l'homothétique d'un vecteur de E :
Propriétés modifier
Les tonneaux ont des propriétés intéressantes essentiellement dans le cas localement convexe. En effet, soit E un espace localement convexe (sur le corps des réels ou des complexes), son dual et T une partie de E. Les conditions suivantes sont équivalentes :
- (a) T est un tonneau ;
- (b) T est le polaire d'un ensemble M convexe, équilibré et fortement borné dans ;
- (c) il existe une semi-norme p sur E, semi-continue inférieurement, telle que T soit l'ensemble des satisfaisant à .
Ces équivalences sont une conséquence du théorème des bipolaires (donc du théorème de Hahn-Banach).
Exemples modifier
- Dans un espace vectoriel semi-normé, la boule unité est tonnelée.
- Tout espace localement convexe admet une base de voisinages de 0 tonnelés.
Références modifier
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Barrelled set » (voir la liste des auteurs).
- (en) « Barrel », sur PlanetMath
Voir aussi modifier
Espace tonnelé, un espace vectoriel topologique séparé où tout ensemble tonnelé est un voisinage de 0.
