勵志

勵志人生知識庫

等置抽象

等置抽象是科學中最常用的抽象方法之一,它利用某種等價關係來得出所研究的對象的共同性質。在數學中,這種抽象方法表現為用某種等價關係對集合進行分類,所得到的類(商集)往往就是一個新的數學概念。等置方法是數學中得出新概念的重要抽象方法之一。

如果R是集合A上的一個等價關係,那麼存在A的一個劃分P,使元素a,b∈A處於P的同一類中,若且唯若aRb成立。反之,如果P是A的一個劃分,那麼關係{(a,b)|存在一類C∈P以及a,b∈C}是一個等價關係。

經過等價關係R的劃分得到的A的等價類的集合,被稱為A對R的商集,記為A/R。捨棄商集中「原來集合A」的元素的性質,收括商集自身的一些性質往往得出新的概念,從而完成等置抽象的過程。例如,設整數集Z,對a,b∈Z,如果正整數m除a的餘數相同,那麼a與b在等價關係R下屬於同一個類,這個類就是Z對R的商集。