1. 程式人生 > >集合閉包,聚點,區別離散數學中的關係R閉包

集合閉包,聚點,區別離散數學中的關係R閉包

聚點是拓撲空間的基本概念之一。設A為拓撲空間X的子集,a∈X,若a的任意鄰域都含有異於a的A中的點,則稱a是A的聚點。集合A的所有聚點的集合稱為A的導集,聚點和導集等概念是康托爾(Cantor,G.(F.P.))研究歐幾里得空間的子集時首先提出的。

閉包

 

閉包運算時關係上的一元運算。它把給出的關係R擴充成一新關係R’,使R’具有一定的性質。且所進行的擴充又是最“節約”的。
比方自反閉包。相當於把關係R對角線上的元素全改成1。其它元素不變,這樣得到的R’是自反的。且是修改次數最少的。即是最“節約”的。
一個關係R的閉包,是指加上最小數目的有序偶而形成的具有自反性,對稱性或傳遞性的新的有序偶集,此集就是關係R的閉包。
設R是集合A上的二元關係,R的自反(對稱、傳遞)閉包是滿足下面條件的關係R': (i)R'是自反的(對稱的、傳遞的); (ii)R'⊇R。 (iii)對於A上的不論什麼自反(對稱、傳遞)關係R",若R"⊇R,則有R"⊇R'。 R的自反、對稱、傳遞閉包分別記為r(R)、s(R) 和t(R)。