Point de condensation (mathématiques)

Un point p d’un sous-ensemble S d’un espace topologique est un point de condensation si et seulement si tout voisinage ouvert de p est infini indénombrable.

Autrement dit, la notion de point de condensation est synonyme de celle d’${\displaystyle \aleph _{1}}$-point d’accumulation.

• Si S est l’intervalle ouvert ]0, 1[ de ℝ, alors 0 est un point de condensation de S.
• Si S est un sous-ensemble indénombrable d’un ensemble X muni de la topologie grossière, alors tout point p de X est un point de condensation de X puisque le seul voisinage ouvert de p est X lui-même.

• Walter Rudin, Principles of Mathematical Analysis (Principes d’analyse mathématique), 3^e édition, chapitre 2, exercice 27
• John C. Oxtoby, Measure and Category, 2^e édition (1980)
• Lynn Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, 2^e édition, p. 4