Stonerum

Från Wikipedia
Hoppa till: navigering, sök

Ett Stonerum är mängden av ultrafilter på en boolesk algebra topologiserad genom att låta topologin generas av mängder på formen:

U_f=\{U|f\in U\}. Man kan visa att de rum som är Stonerum för någon boolesk algebra är de fullständigt osammanhängande, kompakta Hausdorffrumen.