Kiel registrite je 12:34, 3 nov. 2022 redakti Filozofo (diskuto \| kontribuoj) Mempatrolatoj, Patrolantoj 9 229 redaktoj e Riparis ligon Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado ← Iru al antaŭa ŝanĝo		Kiel registrite je 16:08, 3 nov. 2022 redakti malfari Moldur (diskuto \| kontribuoj) Patrolantoj 54 310 redaktoj e disa kunaĵo Iru al sekvanta ŝanĝo →
Linio 3: == Difino == Se <math>X</math> estas topologia spaco, do la jenaj aksiomoj estas ekvivalentaj: * <math>X</math> ne estas la ~~disa~~ [[disa kunaĵo]] de du nemalplenaj [[malfermita aro\|malfermitaj subaro]]j. T.e. ne ekzistas paro de malfermitaj subaroj <math>U,V\subseteq X</math>, tiaj ke <math>U\cap V=\varnothing</math> kaj <math>U\ne \varnothing\ne V</math> kaj <math>U\cup V = X</math>. * <math>X</math> ne estas la ~~disa~~ [[disa kunaĵo]] de du nemalplenaj [[fermita aro\|fermitaj subaro]]j. T.e. ne ekzistas paro de fermitaj subaroj <math>U,V\subseteq X</math>, tiaj ke <math>U\cap V=\varnothing</math> kaj <math>U\ne \varnothing\ne V</math> kaj <math>U\cup V = X</math>. * Ne ekzistas [[fermita-malfermita aro\|malfermita fermita subaro]] en <Math>X</math>, krom <math>\varnothing</math> kaj <math>X</math>. * Ĉiu [[kontinua funkcio\|kontinua bildigo]] <math>f\colon X\to\{0,1\}</math> estas konstanta. (<math>\{0,1\}</math> estas du-punkta [[diskreta spaco]]).

Koneksa spaco: Malsamoj inter versioj