cofinality
Sign in to saveIn mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. Formally, \operatorname{cf}(A) = \inf \{|B| : B \subseteq A, (\forall x \in A) (\exists y \in B) (x \leq y)\}
~6 min read
Article
7 sectionsContents
- Examples
- Properties
- Cofinality of ordinals and other well-ordered sets
- Regular and singular ordinals
- Cofinality of cardinals
- See also
- References
In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. Formally, \operatorname{cf}(A) = \inf \{|B| : B \subseteq A, (\forall x \in A) (\exists y \in B) (x \leq y)\}
This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set A can alternatively be defined as the least ordinal x such that there is a function from x to A with cofinal image. This second definition makes sense without the axiom of choice. If the axiom of choice is assumed, as will be the case in the rest of this article, then the two definitions are equivalent.