Adhérence (mathématiques)En topologie, l'adhérence d'une partie d'un espace topologique est le plus petit ensemble fermé contenant cette partie. Lorsque l'espace est métrisable, c'est aussi l'ensemble des limites de suites convergentes à valeurs dans cette partie. Dans un espace topologique E, l'adhérence d'une partie X, notée , est le « plus petit » (au sens de l'inclusion) fermé contenant X. L'existence d'un tel fermé est claire : il existe au moins un fermé contenant X, à savoir l'espace E lui-même ; d'autre part, l'intersection de tous les fermés contenant X est un fermé contenant X, et est le plus petit ayant cette propriété.
Cofinal (mathematics)In mathematics, a subset of a preordered set is said to be cofinal or frequent in if for every it is possible to find an element in that is "larger than " (explicitly, "larger than " means ). Cofinal subsets are very important in the theory of directed sets and nets, where “cofinal subnet” is the appropriate generalization of "subsequence".
Base (topologie)En mathématiques, une base d'une topologie est un ensemble d'ouverts tel que tout ouvert de la topologie soit une réunion d'éléments de cet ensemble. Ce concept est utile parce que de nombreuses propriétés d'une topologie se ramènent à des énoncés sur une de ses bases et beaucoup de topologies sont faciles à définir par la donnée d'une base. Soit (X, T) un espace topologique. Un réseau de T est un ensemble N de parties de X tel que tout ouvert U de T est une réunion d'éléments de N, autrement dit : pour tout point x de U, il existe dans N une partie incluse dans U et contenant x.
Ultrafiltrevignette|Le diagramme de Hasse montre l'ensemble de tous les sous-ensembles de {1,2,3,4}, partiellement ordonnés par inclusion d'ensemble (⊆). L'ensemble supérieur ↑{1,4} est surligné en vert foncé, c'est un filtre. Cependant, ce n'est pas un ultrafiltre, car il peut toujours être étendu au filtre correctement plus grand ↑{1}, représenté en vert clair. Ce dernier ne peut pas être étendu à son tour à un filtre non trivialement plus grand, il s'agit donc d'un ultrafiltre.
Ensemble ordonné filtrantEn mathématiques, un ensemble ordonné filtrant est un ensemble ordonné (c'est-à-dire dans lequel on peut dire que certains éléments sont plus grands que d'autres) tel que pour toute paire d'éléments, il existe un élément qui est plus grand que chaque élément de la paire. Cela sous-entend en premier lieu que ce troisième élément peut être comparé aux deux premiers, ce qui n'est pas automatique dans un ensemble ordonné (implicitement partiellement ordonné, par opposition à totalement ordonné).
Filters in topologyFilters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such as convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called have many useful technical properties and they may often be used in place of arbitrary filters.
Subnet (mathematics)In topology and related areas of mathematics, a subnet is a generalization of the concept of subsequence to the case of nets. The analogue of "subsequence" for nets is the notion of a "subnet". The definition is not completely straightforward, but is designed to allow as many theorems about subsequences to generalize to nets as possible. There are three non-equivalent definitions of "subnet". The first definition of a subnet was introduced by John L.
UltraproduitEn mathématiques, un ultraproduit est une construction basée sur un ultrafiltre utilisée principalement en algèbre abstraite et en théorie des modèles (une branche de la logique mathématique) ; elle permet par exemple d'obtenir des extensions des réels, les nombres hyperréels, ayant les mêmes propriétés élémentaires que ceux-ci. La méthode générale de construction d'ultraproduits part d'un ensemble d'indices I, d'une structure Mi pour chaque élément i de I (toutes ayant la même signature), et d'un ultrafiltre U sur I.
Théorème de l'idéal premier dans une algèbre de BooleEn mathématiques, un théorème de l'idéal premier garantit l'existence de certains types de sous-ensembles dans une algèbre. Un exemple courant est le théorème de l'idéal premier dans une algèbre de Boole, qui énonce que tout idéal d'une algèbre de Boole est inclus dans un idéal premier. Une variante de cet énoncé pour filtres sur des ensembles est connue comme le théorème de l'ultrafiltre.
Cauchy spaceIn general topology and analysis, a Cauchy space is a generalization of metric spaces and uniform spaces for which the notion of Cauchy convergence still makes sense. Cauchy spaces were introduced by H. H. Keller in 1968, as an axiomatic tool derived from the idea of a Cauchy filter, in order to study completeness in topological spaces. The of Cauchy spaces and Cauchy continuous maps is Cartesian closed, and contains the category of proximity spaces. Throughout, is a set, denotes the power set of and all filters are assumed to be proper/non-degenerate (i.
