共尾性维基百科,自由的 encyclopedia 在数学里,尤其是在序理论里,一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的势中的最小者。 共尾性的定义依赖于选择公理,因为它利用了所有非空的基数集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定义成最小的序数 x,使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二个定义不需要选择公理也可以有意义。若假设有选择公理(此条目接下来的部分亦将如此假设),这两种定义将是等价的。 共尾性也可类似地被定义在有向集合上,并且用来广义化网中的子序列概念。
在数学里,尤其是在序理论里,一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的势中的最小者。 共尾性的定义依赖于选择公理,因为它利用了所有非空的基数集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定义成最小的序数 x,使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二个定义不需要选择公理也可以有意义。若假设有选择公理(此条目接下来的部分亦将如此假设),这两种定义将是等价的。 共尾性也可类似地被定义在有向集合上,并且用来广义化网中的子序列概念。