En mathématiques, un espace topologique X est à bases dénombrables de voisinages si tout point x de X possède une base de voisinages dénombrable, c'est-à-dire s'il existe une suite V, V, V, ... de voisinages de x telle que tout voisinage de x contienne l'un des V. Cette notion a été introduite en 1914 par Felix Hausdorff.
Tout espace métrique (donc aussi tout espace métrisable) est à bases dénombrables de voisinages (prendre par exemple V = une boule (ouverte ou fermée) de centre x et de rayon 2).
Tout espace discret est à bases dénombrables de voisinages.
Tout espace à base dénombrable est à bases dénombrables de voisinages mais la réciproque est fausse :
l'espace vectoriel normé (donc métrique) l des suites bornées n'est pas à base dénombrable, ni même séparable ;
un ensemble non dénombrable (comme l'ensemble des réels), muni de la topologie discrète, non plus.
Tout espace parfaitement normal dénombrablement compact est à bases dénombrables de voisinages.
La topologie cofinie sur un ensemble non dénombrable n'est pas à bases dénombrables de voisinages.
Un autre contre-exemple est l'espace compact [0, ω] = ω + 1 (muni de la topologie de l'ordre) où ω désigne le premier ordinal non dénombrable. L'élément ω est un point limite du sous-ensemble [0, ω[ mais aucune suite d'éléments de ce sous-ensemble ne converge vers ω. En particulier, le point ω dans l'espace [0, ω] = ω + 1 n'a pas de base dénombrable de voisinages. Comme ω est le seul point de [0, ω] qui n'a pas de telle base, le sous-espace [0, ω[, lui, est à bases dénombrables de voisinages.
Le bouquet de cercles R/Z, où la droite réelle R est munie de sa topologie usuelle et tous les entiers relatifs sont identifiés à 0, n'est pas à bases dénombrables de voisinages mais seulement « de Fréchet-Urysohn » ( ci-dessous).
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.
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
The course provides students with the tools to approach the study of nonlinear systems and chaotic dynamics. Emphasis is given to concrete examples and numerical applications are carried out during th
The course is based on Durrett's text book
Probability: Theory and Examples.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.
In 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.
In mathematics, an axiom of countability is a property of certain mathematical objects that asserts the existence of a countable set with certain properties. Without such an axiom, such a set might not provably exist.
En mathématiques, un espace séquentiellement compact est un espace topologique dans lequel toute suite possède au moins une sous-suite convergente. La notion de compacité séquentielle entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité dénombrable. Pour un espace métrique (notamment pour un espace vectoriel normé), ces quatre notions sont équivalentes. Intuitivement, un ensemble compact est « petit » et « fermé », au sens où l'on ne peut « s'en échapper ».
Couvre les progressions arithmétiques, les treillis, la vérification formelle, les chaînes, les formules explicites, les relations de récurrence, les formules fermées et l'argument Diagonal de Cantor.
Couvre les espaces normés, les espaces doubles, les espaces de Banach, les espaces de Hilbert, la convergence faible et forte, les espaces réflexifs et le théorème de Hahn-Banach.
Ulam asked whether all Lie groups can be represented faithfully on a countable set. We establish a reduction of Ulam's problem to the case of simple Lie groups. In particular, we solve the problem for all solvable Lie groups and more generally Lie groups w ...
San Diego2023
It is proved that the total length of any set of countably many rectifiable curves whose union meets all straight lines that intersect the unit square U is at least 2.00002. This is the first improvement on the lower bound of 2 known since 1964. A similar ...
We provide a smoothening criterion for group actions on manifolds by singular diffeomorphisms. We prove that if a countable group Gamma has the fixed point property FW for walls (for example, if it has property(T)), every aperiodic action of Gamma by diffe ...