等势

维基百科,自由的百科全书
跳转至: 导航搜索

数学领域中,两个集合 AB等势的(equinumerous),当它们有相同的的时候,就是说如果存在一个双射 f : AB。这通常指示为

A \approx B.

势的研究中经常叫做等势性(equinumerosity)。有时还使用术语 equipotent 或 equipollent。

集合范畴中,带有函数作为态射的所有集合的范畴,在两个集合之间的同构正好是一个双射,而两个集合正好是等势的,如果它们在这个范畴中是同构的。

参见[编辑]