Toward a topological classification of convex sets in infinite-dimensional Fréchet spaces (Q5929614): Difference between revisions

Pour un sous-ensemble convexe \(C\) d'un espace de Fréchet, soit \(\text{aff}(C)\) le sous-espace affine qu'il engendre. Un point \(x_0\) de \(C\) est dit presque interne si l'ensemble des \(a\in C\) tels qu'il existe \(\varepsilon_a >0\) vérifiant \(x_0-\varepsilon_a(a-x_0)\in C\) est dense dans \(C\). L'une des notions les plus importantes pour la classification topologique des espaces, ou couples d'espaces, de dimension infinie est la propriété d'universalité forte (sa définition est malheureusement un peu longue; on pourra la trouver dans le livre de \textit{T. Banakh}, \textit{T. Radul} et \textit{M. Zarichnyi} [Absorbing sets in infinite-dimensional manifolds, V. N. T. L., Lvov (1996)]). L'auteur prouve le théorème très général suivant: pour tout sous-ensemble convexe de dimension infinie \(C\) d'un espace de Fréchet et pour tout compact \(K\) contenu dans \(\overline C\) tel que \(K\cap C=K\cap \text{aff} (C)\), le couple \((\overline C,C)\) est fortement \((K,K\cap C)\)-universel et l'espace \(C\) est fortement \(K\cap C\) universel. Il en déduit une dizaine de corollaires sur la classification topologique des ensembles convexes admettant des points presque internes.