Sur quelques invariants d'Analysis Situs

Le but de cette note est de démontrer: Théorème: Un ensemble homéomorphe d'un ${\displaystyle F_{\varrho \varrho }}$ est un ${\displaystyle F_{\varrho \varrho }}$. Théorème: Un ensemble homéomorphe d'un ${\displaystyle F_{\sigma \varrho }}$ est un ${\displaystyle F_{\sigma \varrho }}$. Théorème: Un ensemble homéomorphe d'un ${\displaystyle F_{\sigma \varrho \varrho }}$ est un ${\displaystyle F_{\sigma \varrho \varrho }}$.