Ero sivun ”Kanta (topologia)” versioiden välillä

2 merkkiä poistettu ,  3 vuotta sitten
p
Diskreetti avaruus|
p (Diskreetti avaruus|)
p (Diskreetti avaruus|)
 
* ''nw''(''X'') ≤ ''w''(''X'').
* Jos ''X'' on [[diskreettiDiskreetti topologiaavaruus|diskreetti]], niin ''w''(''X'') = ''nw''(''X'') = |''X''|.
* Jos ''X'' on [[Hausdorff-avaruus]], niin ''nw''(''X'') on äärellinen, jos ja vain jos ''X'' on äärellinen ja diskreetti.
* Jos ''B'' on ''X'':n kanta, on olemassa kanta <math>B'\subseteq B</math>, jonka mahtavuus on <math>|B'|\leq w(X)</math>.
21 260

muokkausta