
【計】 symmetric partial ordering
symmetry
【化】 symmetry
【醫】 symmetry
half; in the middle; semi-
【計】 semi
【醫】 demi-; hemi-; semi-; semis; ss
【經】 quasi
【計】 ordering
在漢英詞典視角下,“對稱半定序”對應的英文術語為Symmetric Partial Order。其數學定義與特性如下:
對稱半定序(Symmetric Partial Order)是一種特殊的二元關系,需同時滿足以下性質:
對集合 ( S ) 中任意元素 ( a ),滿足 ( a leq a )。
若 ( a leq b ) 且 ( b leq a ),則 ( a = b )(注:此性質實際為反對稱性,标準術語中“對稱半定序”需謹慎辨析)。
若 ( a leq b ) 且 ( b leq c ),則 ( a leq c )。
關鍵說明:
“對稱半定序”中的“對稱”易引起歧義。數學中标準的偏序(Partial Order) 需滿足自反性、反對稱性(Antisymmetry)和傳遞性。而“對稱半定序”若要求對稱性(即 ( a leq b ) 蘊含 ( b leq a )),則與反對稱性矛盾,此時關系退化為等價關系(Equivalence Relation)。
标準偏序(Partial Order):
滿足自反性、反對稱性、傳遞性(如集合的包含關系 (subseteq))。
來源:Springer《離散數學及其應用》(Discrete Mathematics and Its Applications)。
對稱性與偏序的矛盾性:
若偏序關系同時滿足對稱性,則對所有 ( a, b ) 有 ( a leq b ) 和 ( b leq a ) 推出 ( a = b ),此時關系實質為等價關系。
來源:Wolfram MathWorld "Partial Order" 詞條。
該術語在序理論中較少直接使用,更多作為理解偏序性質的輔助概念。典型案例如:
注:因“對稱半定序”非常規術語,建議優先使用标準數學定義以避免混淆。
“對稱半定序”這一術語在常規數學或邏輯學中并非标準概念,可能是對多個概念的組合或誤寫。以下結合相關領域知識進行解釋:
通常,偏序關系要求反對稱性(即$a leq b$且$b leq a$時$a = b$),而對稱性要求若$a leq b$則$b leq a$。這兩者在傳統序理論中矛盾,因此“對稱半定序”可能指:
若需進一步探讨,請提供更多上下文或确認術語來源。常規數學中,對稱性與偏序通常不兼容,但可能存在特定領域(如範疇論、形式邏輯)的特殊定義。
白常山表示法指定吡唑威捕獲栅極差額地租成品槽頂住诽謗行為分頁終端附帶申明固定長度編碼海輪載貨清單紅皮胺喉返神經麻痹回流速率劇烈地闊頭的累計欠額腔隙吸收清單器械槭葉單甯容許上限上颌内叢屍體面模隨意收縮鐵共振通知書外補償化合物唯物主義者