Ê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 GraphSearch.
Concept
Axiomatic foundations of topological spaces
Résumé
In the mathematical field of topology, a topological space is usually defined by declaring its open sets. However, this is not necessary, as there are many equivalent axiomatic foundations, each leading to exactly the same concept. For instance, a topological space determines a class of closed sets, of closure and interior operators, and of convergence of various types of objects. Each of these can instead be taken as the primary class of objects, with all of the others (including the class of open sets) directly determined from that new starting point. For example, in Kazimierz Kuratowski's well-known textbook on point-set topology, a topological space is defined as a set together with a certain type of "closure operator," and all other concepts are derived therefrom. Likewise, the neighborhood-based axioms (in the context of Hausdorff spaces) can be retraced to Felix Hausdorff's original definition of a topological space in Grundzüge der Mengenlehre.
Many different textbooks use many different inter-dependences of concepts to develop point-set topology. The result is always the same collection of objects: open sets, closed sets, and so on. For many practical purposes, the question of which foundation is chosen is irrelevant, as long as the meaning and interrelation between objects (many of which are given in this article), which are the same regardless of choice of development, are understood. However, there are cases where it can be useful to have flexibility. For instance, there are various natural notions of convergence of measures, and it is not immediately clear whether they arise from a topological structure or not. Such questions are greatly clarified by the topological axioms based on convergence.
A topological space is a set together with a collection of subsets of satisfying:
The empty set and are in
The union of any collection of sets in is also in
The intersection of any pair of sets in is also in Equivalently, the intersection of any finite collection of sets in is also in
Given a topological space one refers to the elements of as the open sets of and it is common only to refer to in this way, or by the label topology.
À 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.