Analytic \(k\)-spaces (Q1763616): Difference between revisions

Une topologie (régulière) sur un ensemble dénombrable \(X\) est analytique si, en tant que sous-ensemble du cube de Cantor \(2^X\), c'est un ensemble analytique. Les auteurs étudient ici diverses propriétés liées à la convergence séquentielle et les relations supplémentaires que l'analyticité implique entre ces diverses propriétés. Parmi les nombreux résultats obtenus, mentionnons les suivants: un espace analytique est biséquentiel si, et seulement si, son carré est de Fréchet; un groupe topologique dénombrable de Fréchet est métrisable si, et seulement si, sa topologie est analytique.