索伯空間(Sober space)一類特殊的拓撲空間.設X是拓撲空間，A是X的非空閉集.若對於X的任意閉集B與C，由A=BUC可推出A=B或A=C，則稱A是X的既約閉集.若對於X的任意既約閉集A，存在A的惟一的稠點a，即存在惟一的uEA，使得A= {a}一，則稱X是索伯空間.豪斯多夫空間是索伯空間.索伯空間是T。
索伯空間(Sober space)一類特殊的拓撲空間.設X是拓撲空間，A是X的非空閉集.若對於X的任意閉集B與C，由A=BUC可推出A=B或A=C，則稱A是X的既約閉集.若對於X的任意既約閉集A，存在A的惟一的稠點a，即存在惟一的uEA，使得A= {a}一，則稱X是索伯空間.豪斯多夫空間是索伯空間.索伯空間是T。空間.存在X是界空間但不是索伯空間的例子.若I.是完全格，a(1)是I.上的斯科特拓撲，上確界運算元
sup:(I ,a(1_))X (L,a(L))~(1_,a(1 >)
是連續的，則(I ,a(L))是索伯空間.特別地，當L是連續格時，(L,Q(I ;是索伯空間.索伯空間在連續格的譜理論中有重要的作用.
