Topologie de la droite réellethumb|Richard Dedekind (1831 - 1916) a défini rigoureusement les nombres réels et posé les bases de leur étude topologique. La topologie de la droite réelle (ou topologie usuelle de R) est une structure mathématique qui donne, pour l'ensemble des nombres réels, des définitions précises aux notions de limite et de continuité. Historiquement, ces notions se sont développées autour de la notion de nombre (approcher des nombres comme la racine carrée de deux ou pi par d'autres plus « maniables ») et de la géométrie de la droite (à laquelle l'espace topologique des nombres réels peut être assimilé), du plan et de l'espace usuels.
Topologie induiteEn mathématiques, la topologie induite est une topologie définie sur toute partie Y d'un espace topologique X : c'est la trace sur Y de la topologie sur X. Autrement dit, l'ensemble des ouverts de Y (muni de la topologie induite) est : {O⋂Y | O ouvert de X}. Ou encore : les voisinages dans Y d'un point sont les traces sur Y de ses voisinages dans X. On dit alors que Y est un sous-espace de X. La topologie induite est souvent sous-entendue dans les énoncés de topologie : par exemple, lorsque l'on a un espace topologique X donné, une partie Y de X sera dite compacte si elle est compacte pour la topologie induite par X sur Y.
Fermé (topologie)En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert. Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide). Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Boule (topologie)En topologie, une boule est un type de voisinage particulier dans un espace métrique. Le nom évoque, à juste titre, la boule solide dans l'espace usuel à trois dimensions, mais la notion se généralise entre autres à des espaces de dimension plus grande (ou plus petite) ou encore de norme non euclidienne. Dans ce cas, une boule peut ne pas être « ronde » au sens usuel du terme.
Neighbourhood systemIn topology and related areas of mathematics, the neighbourhood system, complete system of neighbourhoods, or neighbourhood filter for a point in a topological space is the collection of all neighbourhoods of Neighbourhood of a point or set An of a point (or subset) in a topological space is any open subset of that contains A is any subset that contains open neighbourhood of ; explicitly, is a neighbourhood of in if and only if there exists some open subset with . Equivalently, a neighborhood of is any set that contains in its topological interior.
Ouvert (topologie)En mathématiques et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un sous-ensemble d'un espace topologique qui ne contient aucun point de sa frontière. L'ouvert est l'élément de base d'un espace topologique. Il existe plusieurs définitions des ouverts suivant le type d'espace concerné. Nous reprenons ici la définition pour le cas le plus général à savoir celui des espaces topologiques.
Topologie discrèteEn mathématiques, plus précisément en topologie, la topologie discrète sur un ensemble est une structure d'espace topologique où, de façon intuitive, tous les points sont « isolés » les uns des autres. Soit X un ensemble. L'ensemble des parties de X définit une topologie sur X appelée topologie discrète. X muni de cette topologie est alors appelé espace discret. On dit qu'une partie A d'un espace topologique X est un ensemble discret lorsque la topologie induite sur A est la topologie discrète.
Comparaison de topologiesEn mathématiques, l'ensemble de toutes les topologies possibles sur un ensemble donné possède une structure d'ensemble partiellement ordonné. Cette relation d'ordre permet de comparer les différentes topologies. Soient τ1 et τ2 deux topologies sur un ensemble X. On dit que τ2 est plus fine que τ1 (ou bien que τ1 est moins fine que τ2) et on note τ ⊆ τ si l'application identité idX : (X, τ2) → (X, τ1) est continue. Si de plus τ ≠ τ, on dit que τ2 est strictement plus fine que τ1 (ou bien que τ1 est strictement moins fine que τ2).
Filter (set theory)In mathematics, a filter on a set is a family of subsets such that: and if and , then If , and , then A filter on a set may be thought of as representing a "collection of large subsets", one intuitive example being the neighborhood filter. Filters appear in order theory, model theory, and set theory, but can also be found in topology, from which they originate. The dual notion of a filter is an ideal.
Topologie de ZariskiEn géométrie algébrique et en théorie des catégories, le terme topologie de Zariski peut désigner quatre notions proches : une certaine topologie définie sur une variété algébrique. Les fermés de cette topologie sont les ensembles algébriques ; une topologie définie de manière analogue sur le spectre premier d'un anneau commutatif ; une topologie définie sur un schéma, qui, localement, provient de la topologie de Zariski définie sur un spectre d'anneau ; une topologie de Grothendieck sur un site.
Suite généraliséeEn mathématiques, la notion de suite généralisée, ou suite de Moore-Smith, ou filet, étend celle de suite, en indexant les éléments d'une famille par des éléments d'un ensemble ordonné filtrant qui n'est plus nécessairement celui des entiers naturels. Pour tout ensemble X, une suite généralisée d'éléments de X est une famille d'éléments de X indexée par un ensemble ordonné filtrant A. Par filtrant (à droite), on entend que toute paire dans A possède un majorant dans A. Soit un filet dans un ensemble E et, pour tout , .
Espace topologiqueLa topologie générale est une branche des mathématiques qui fournit un vocabulaire et un cadre général pour traiter des notions de limite, de continuité, et de voisinage. Les espaces topologiques forment le socle conceptuel permettant de définir ces notions. Elles sont suffisamment générales pour s'appliquer à un grand nombre de situations différentes : ensembles finis, ensembles discrets, espaces de la géométrie euclidienne, espaces numériques à n dimensions, espaces fonctionnels plus complexes, mais aussi en géométrie algébrique.
Recouvrement (mathématiques)Un recouvrement d'un ensemble E est une famille (X) d'ensembles dont l'union contient E, c'est-à-dire telle que tout élément de E appartient à au moins l'un des X. Certains auteurs imposent de plus que les X soient des sous-ensembles de E. Dans ce cas, les X forment un recouvrement de E (si et) seulement si leur union est égale à E, et une partition de E s'ils sont de plus non vides et deux à deux disjoints. Par exemple, pour E = {1, 2, 3, 4}, la famille (∅, {1, 2, 3}, {3, 4}) n'est qu'un recouvrement alors que ({1, 2}, {3, 4}) est une partition.
Applications ouvertes et ferméesEn mathématiques, et plus précisément en topologie, une application ouverte est une application entre deux espaces topologiques envoyant les ouverts de l'un vers des ouverts de l'autre. De même, une application fermée envoie les fermés du premier espace vers des fermés du second. Soit deux espaces topologiques X et Y ; on dit qu'une application f de X vers Y est ouverte si pour tout ouvert U de X, l' f(U) est ouverte dans Y ; de même, on dit que f est fermée si pour tout fermé U de X, l'image f(U) est fermée dans Y.
Partie denseEn topologie, une partie dense d'un espace topologique est un sous-ensemble permettant d'approcher tous les éléments de l'espace englobant. La notion s'oppose ainsi à celle de partie nulle part dense. La densité d'une partie permet parfois d'étendre la démonstration d'une propriété ou la définition d'une application par continuité. Soient X un espace topologique et A une partie de X.
Euclidean topologyIn mathematics, and especially general topology, the Euclidean topology is the natural topology induced on -dimensional Euclidean space by the Euclidean metric. The Euclidean norm on is the non-negative function defined by Like all norms, it induces a canonical metric defined by The metric induced by the Euclidean norm is called the Euclidean metric or the Euclidean distance and the distance between points and is In any metric space, the open balls form a base for a topology on that space.
Topologie de l'ordreEn mathématiques, la topologie de l'ordre est une topologie naturelle définie sur tout ensemble ordonné (E, ≤), et qui dépend de la relation d'ordre ≤. Lorsque l'on définit la topologie usuelle de la droite numérique R, deux approches équivalentes sont possibles. On peut se fonder sur la relation d'ordre dans R, ou sur la valeur absolue de la distance entre deux nombres. Les égalités ci-dessous permettent de passer de l'une à l'autre : La valeur absolue se généralise en la notion de distance, qui induit le concept de topologie d'un espace métrique.
Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
PrébaseEn mathématiques, plus précisément en topologie, une prébase A d'une topologie T sur un ensemble X est un ensemble de parties de X qui engendre T, c'est-à-dire tel que T soit la plus petite topologie sur X pour laquelle tous les éléments de A sont des ouverts. Un ensemble de parties d'un ensemble X est donc toujours une prébase d'une certaine topologie sur X (celle qu'il engendre), ce qui est une différence avec la notion de base d'une topologie : un ensemble de parties de X n'est une base d'une certaine topologie que si l'intersection de deux éléments quelconques de cet ensemble est une union d'éléments de ce même ensemble.
Espace pseudo-métriqueEn mathématiques, un espace pseudo-métrique est un ensemble muni d'une pseudo-distance. C'est une généralisation de la notion d'espace métrique. Sur un espace vectoriel, tout comme une norme induit une distance, une semi-norme induit une semi-distance. Pour cette raison, en analyse fonctionnelle et dans les disciplines mathématiques apparentées, l'expression « espace semi-métrique » est utilisée comme synonyme d'espace pseudo-métrique (alors qu'« espace semi-métrique » a un autre sens en topologie).