Axiom of countability

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. Important countability axioms for topological spaces include: sequential space: a set is open if every sequence convergent to a point in the set is eventually in the set first-countable space: every point has a countable neighbourhood basis (local base) second-countable space: the topology has a countable base separable space: there exists a countable dense subset Lindelöf space: every open cover has a countable subcover σ-compact space: there exists a countable cover by compact spaces These axioms are related to each other in the following ways: Every first-countable space is sequential. Every second-countable space is first countable, separable, and Lindelöf. Every σ-compact space is Lindelöf. Every metric space is first countable. For metric spaces, second-countability, separability, and the Lindelöf property are all equivalent. Other examples of mathematical objects obeying axioms of countability include sigma-finite measure spaces, and lattices of countable type.

À 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.

Concepts associés (8)

Cours associés (11)

Séances de cours associées (59)

CS-101: Advanced information, computation, communication I

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

MATH-432: Probability theory

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.

MATH-260(a): Discrete mathematics

Study of structures and concepts that do not require the notion of continuity. Graph theory, or study of general countable sets are some of the areas that are covered by discrete mathematics. Emphasis

Espace à bases dénombrables de voisinages

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).

Espace à base dénombrable

En mathématiques, plus précisément en topologie, un espace est dit à base dénombrable si sa topologie admet une base dénombrable. La plupart des espaces usuels de l'analyse et beaucoup d'espaces en analyse fonctionnelle sont à base dénombrable. Tout espace à base dénombrable est à la fois séparable, à bases dénombrables de voisinages et de Lindelöf (en particulier, pour un espace à base dénombrable, les trois propriétés quasi-compact/dénombrablement compact/séquentiellement compact sont équivalentes).

Axiom of countability

Valeur absolue et intervalles

Introduit la valeur absolue, les intervalles, l'inégalité des triangles et les nombres complets dans le plan complexe.

Topologie des surfaces de Riemann

Couvre la topologie des surfaces de Riemann, en se concentrant sur l'orientation et l'orientabilité.

Problèmes et langues : Langues régulières

Couvre les langues régulières, l'encodage, les alphabets, les mots, les langues, la concaténation, l'exponentiation et la fermeture itérative.