特殊化序

特殊化序(specialization order)拓撲空間上一類特殊的序.若(X (} ( X”是T。拓撲空間,二,yEX.定義二鎮y,若且唯若二E{列一,則鎮是X上的一個自反、反對稱、傳遞的關係,稱鎮為拓撲空間X上的特殊化序,或毛是由}<x)誘導的特殊化序.當x是r,空間時,x上的特殊化序是平凡序(即二鎮y,若且唯若二一婦.若f:X}Y是連續函式,則l保特殊化序,即由二}Xy可推出.f}x)vr.f}y),其中鎮x與鎮:分別是x與Y上的特殊化序.當L是定向完全偏序集時,I上的斯科特拓撲a<L)誘導的特殊化序是1上的原有的序.定向完全偏序集L上的不同的拓撲可以誘導同一個特殊化序鎮,並且鎮是1.上的原有的序.在這些拓撲中,最粗的拓撲是上拓撲v(1 ),最細的拓撲是亞歷山德羅夫拓撲)(L),其中Y(1.)是由1.的所有上集(即滿足條件A=個A的集合A)組成的拓撲.若(X(l(X))是索伯空間,並且(X,鎮)是定向完全偏序集,則由,(l ( X)誘導的特殊化序是鎮,若且唯若,(} ( X)細於(X,毛)上的上拓撲,並且粗於(X,鎮)上的斯科特拓撲.

相關詞條

熱門詞條

聯絡我們