Le fameux théorème de Kuratowski-Mrowka dit qu'un espace topologiuque X est compact sis et seulemnt si la projection XxY-->Y est ferée pour tous les espaces Y. En particulier nous démonstrons qu'un locale A est compact si et seulment si la projection AxB-->B est fermée pour tous les locales B. Pour a nombre infini alfa A est alfa-compact si et seulment si la projection est frée pour tous les locales spatiaux alfa-discrete.
Notes on Kuratowski-Mròwka theorems in point-free context
TOZZI, Anna
1992-01-01
Abstract
Le fameux théorème de Kuratowski-Mrowka dit qu'un espace topologiuque X est compact sis et seulemnt si la projection XxY-->Y est ferée pour tous les espaces Y. En particulier nous démonstrons qu'un locale A est compact si et seulment si la projection AxB-->B est fermée pour tous les locales B. Pour a nombre infini alfa A est alfa-compact si et seulment si la projection est frée pour tous les locales spatiaux alfa-discrete.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.