「關係 (數學)」:各本之異

[底本][底本]
刪去的內容 新增的內容
Wshun~zh-classicalwiki
無編輯摘要
Wshun~zh-classicalwiki
第三行:
== 定義 ==
 
關係,[[直積]]之[[子集]]也。有關係曰「關乎」(R),凡[[有序對]]乾坤屬「關乎」者(「(x,y)∈R」),則曰乾「關乎」坤(記曰「x R y」或「R(x,y)」)。
 
== 例 ==
第一二行:
*大于,實數之關係也。
*不等于,實數之關係也。
*[[映射]],定義域與倍域之關係也。
*子集,集與集之關係也。
*[[等價映射]],用諸分類定義域與倍域之關係也。
 
*[[序 (數學)|序]],用諸比較之關係也。
== 一集之關係 ==
 
常用者有六,
 
*物關乎己。此曰'''反射'''。
*甲關乎乙,則關乎甲。此曰'''對稱'''。
*甲關乎乙,乙關乎甲,則甲同乎乙。此曰'''反對稱'''。
*甲關乎乙,乙關乎丙,則甲關乎丙。此曰'''傳遞'''。
*合反射,對稱及傳遞者,曰[[等價]],乃用諸分類之關係也。
*合反射,反對稱及傳遞者,曰[[序 (數學)|序]],用諸比較之關係也。
 
「見過」,獨反射也。「異乎」,獨對稱也。「前者非大于一,後者非小于一」,獨反對稱也。「前者異乎一」,獨傳遞也。
 
「相知」,反射與對稱也。「相知」,反射與反對稱也。「相知」,反射與傳遞也。「二者皆異乎一」,對稱與傳遞也。「大乎」,反對稱與傳遞也。
 
「同乎」,等價也。「同乎或大于」,偏序也。「兩者皆一」,對稱,反對稱,傳遞也。
 
 
 
 
[[cs:Binární relace]]