共尾性維基百科,自由的 encyclopedia 在數學裡,尤其是在序理論裡,一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的勢中的最小者。 共尾性的定義依賴於選擇公理,因为它利用了所有非空的基數集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定義成最小的序数 x,使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二個定義不需要選擇公理也可以有意義。若假設有選擇公理(此條目接下來的部分亦將如此假設),這兩種定義將是等價的。 共尾性也可類似地被定義在有向集合上,并且用來廣義化网中的子序列概念。
在數學裡,尤其是在序理論裡,一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的勢中的最小者。 共尾性的定義依賴於選擇公理,因为它利用了所有非空的基數集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定義成最小的序数 x,使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二個定義不需要選擇公理也可以有意義。若假設有選擇公理(此條目接下來的部分亦將如此假設),這兩種定義將是等價的。 共尾性也可類似地被定義在有向集合上,并且用來廣義化网中的子序列概念。