Supposons qu'à tout systeme fini de nombres naturels n_1,n_2,…,n_k corresponde un ensemble E_{n_1,n_2,…,n_k}. Désignons par E l'ensemble de tous les éléments x, tels que pour chacun d'eux au moins une suite infinie d'indices n_1,n_2,n_3,… existe telle que x appartienne à chacun d'ensembles E_{n_1}, E_{n_1,n_2},E_{n_1,n_2,n_3},… On dit que l'ensemble E est le résultant d'une opération A, effectuée sur le systeme d'ensembles S={E_{n_1,n_2,…,n_k}}. Le but de cette note est de démontrer Théorème: L'opération A effectuée sur un systeme d'ensembles jouissants de la propriété de Baire donne toujours un ensemble jouissant de la propriété de Baire.
@article{bwmeta1.element.bwnjournal-article-fmv7i1p8bwm, author = {Otton Nikodym}, title = {Sur une propri\'et\'e de l'op\'eration A}, journal = {Fundamenta Mathematicae}, volume = {7}, year = {1925}, pages = {149-154}, zbl = {51.0169.01}, language = {fra}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv7i1p8bwm} }
Nikodym, Otton. Sur une propriété de l'opération A. Fundamenta Mathematicae, Tome 7 (1925) pp. 149-154. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv7i1p8bwm/