Le but de cette note est de de démontrer Théorème: Pour qu'un ensemble E, situe dans un espace à m dimensions, soit G_(δ), il faut et il suffit qu'il existe une famille dénombrable ℱ de sous-ensembles de E, ouverts dans E et tels que • tout point p de E est un produit d'une suite descendente et convergente vers p d'ensembles de la famille ℱ • tout suite descendente d'ensembles distincts de la famille ℱ converge vers un point de E.
@article{bwmeta1.element.bwnjournal-article-fmv6i1p12bwm,
author = {Wac\l aw Sierpi\'nski},
title = {Une d\'efinition topologique des ensembles},
journal = {Fundamenta Mathematicae},
volume = {6},
year = {1924},
pages = {106-110},
language = {fra},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv6i1p12bwm}
}
Sierpiński, Wacław. Une définition topologique des ensembles. Fundamenta Mathematicae, Tome 6 (1924) pp. 106-110. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv6i1p12bwm/