Topologie générale
La topologie générale étudie les espaces définis par une notion de proximité — les ensembles ouverts — et les applications continues entre eux, fournissant le langage fondamental des limites, de la convergence et de la continuité pour le reste de la géométrie et de l'analyse.
Definition
Une topologie sur un ensemble X est une collection de sous-ensembles (les ensembles ouverts) contenant l'ensemble vide et X, et fermée sous les unions arbitraires et les intersections finies ; la topologie générale est l'étude de ces espaces et des fonctions continues entre eux.
Scope
Ce domaine couvre le cadre abstrait des espaces topologiques : comment une topologie est spécifiée (ensembles ouverts, bases, sous-bases), comment la continuité et l'homéomorphisme sont définis sans référence à la distance, et les propriétés globales qui distinguent les espaces, principalement la compacité, la connexité et la hiérarchie de séparation. Il inclut les constructions de produit, de sous-espace et de quotient, ainsi que les résultats de métrisation qui relient les topologies abstraites aux espaces métriques. Il exclut les invariants algébriques de la topologie algébrique et la structure lisse de la géométrie différentielle, qui s'appuient sur cette fondation.
Sub-topics
Core questions
- Quelles données minimales spécifient une notion de continuité sur un ensemble, indépendamment de toute métrique ?
- Quelles propriétés topologiques sont préservées sous les applications continues, les produits, les sous-espaces et les quotients ?
- Quand un espace topologique abstrait peut-il être réalisé comme un espace métrique (métrisation) ?
- Comment la compacité et la connexité encodent-elles la forme globale et le comportement de finitude d'un espace ?
Key concepts
- Ensembles ouverts et fermés, voisinages, intérieur et adhérence
- Base et sous-base pour une topologie
- Applications continues, homéomorphismes et invariants topologiques
- Topologies de sous-espace, de produit et de quotient
- Compacité, connexité et axiomes de séparation
Clinical relevance
La topologie générale est le substrat commun des mathématiques modernes : elle fournit le sens rigoureux de la convergence et de la continuité utilisées en analyse, les espaces sous-jacents à l'analyse fonctionnelle et à la géométrie différentielle, et les prérequis ensemblistes (point-set) supposés dans toute la topologie algébrique.
History
La topologie ensembliste (point-set) est née des efforts de la fin du XIXe et du début du XXe siècle pour abstraire la notion de continuité de la droite réelle, se cristallisant dans l'axiomatisation des espaces topologiques par Hausdorff en 1914 et mûrissant pour devenir le programme standardisé codifié par des textes du milieu du siècle tels que Kelley (1955) et Munkres.
Key figures
- Felix Hausdorff
- James Munkres
- John L. Kelley
Related topics
Seminal works
- munkres2000
- kelley1955
Frequently asked questions
- En quoi la topologie générale diffère-t-elle de la topologie algébrique ?
- La topologie générale développe les fondements ensemblistes (point-set) — ensembles ouverts, continuité, compacité, connexité — tandis que la topologie algébrique attribue des invariants algébriques tels que les groupes d'homotopie et d'homologie aux espaces pour les distinguer à déformation près.
- Pourquoi définir la topologie avec des ensembles ouverts plutôt qu'avec une distance ?
- De nombreux espaces importants (quotients, espaces de fonctions, espaces produits abstraits) ne possèdent pas de métrique naturelle, mais ont néanmoins une notion de continuité bien définie ; les axiomes des ensembles ouverts capturent la continuité dans ce cadre entièrement général.