Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Espace compactement engendré
Résumé
En mathématiques, un espace topologique est dit compactement engendré si c'est un k-espace faiblement Hausdorff. Cette notion intervient en théorie de l'homotopie, dans l'étude des CW-complexes. Un espace X est :
un k-espace si toute partie « compactement fermée » de X est fermée (une partie F de X est dite compactement fermée si pour toute application continue f d'un compact K dans X, est fermé dans K) ;
faiblement Hausdorff si toute application continue d'un compact dans X est fermée.
Se restreindre aux k-espaces sert principalement à obtenir une sous-catégorie de celle des espaces topologiques qui soit cartésienne fermée.
On démontre que X est faiblement Hausdorff, ou t, si et seulement si sa diagonale est compactement fermée dans X×X, ce qui est une condition plus faible que la séparation usuelle de Hausdorff, ou T, pour laquelle la diagonale doit être fermée. Plus précisément, la propriété t est située, dans la hiérarchie des axiomes de séparation, entre la séparation T et la séparation KC, ou T’. Un espace KC est un espace dans lequel tout quasi-compact est fermé. Dans un espace faiblement Hausdorff, on demande seulement que les images continues de compacts soient fermées. Mais elles sont alors automatiquement séparées donc compactes, et il en résulte que
dans un espace X compactement engendré, une partie est fermée dès que son intersection avec tout compact K de X est fermée dans K.
On en déduit facilement que X est KC. Ainsi, pour un k-espace, ces deux notions très proches de séparation (faiblement Hausdorff et KC) sont en fait équivalentes.
Un avantage de cette hypothèse de séparation est de permettre une reformulation plus simple de la définition des k-espaces : on vient de voir qu'un espace faiblement Hausdorff est un k-espace si et seulement si sa topologie est cohérente avec la famille de ses parties compactes. On peut remplacer fermé par ouvert dans cette caractérisation : un espace faiblement Hausdorff X est un k-espace si et seulement si une partie de X est ouverte dès que son intersection avec tout compact K de X est ouverte dans K.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (4)
MATH-497: Homotopy theory
We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspen
MATH-302: Functional analysis I
Concepts de base de l'analyse fonctionnelle linéaire: opérateurs bornés, opérateurs compacts, théorie spectrale pour les opérateurs symétriques et compacts, le théorème de Hahn-Banach, les théorèmes d
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
Publications associées (30)
Personnes associées (1)