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.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/23296
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact