PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] another definition of cofinality (Definition)

Let $\kappa$ be a limit ordinal (e.g. a cardinal). The cofinality of $\kappa$ $\operatorname{cf}(\kappa)$ could also be defined as: $$\operatorname{cf}(\kappa)=\inf \{ |U| : U \subseteq \kappa \text{s.t. } \sup \; U = \kappa \} $$ ($\sup \; U$ is calculated using the natural order of the ordinals). The cofinality of a cardinal is always a regular cardinal and hence $\operatorname{cf}(\kappa) = \operatorname{cf}(\operatorname{cf}(\kappa))$

This definition is equivalent to the parent definition.




"another definition of cofinality" is owned by x_bas.
(view preamble | get metadata)

View style:

Keywords:  supremum approximation cofinality

This object's parent.

Attachments:
$\operatorname{cf}(\operatorname{cf} \alpha) = \operatorname{cf} \alpha$ (Proof) by yesitis
Log in to rate this entry.
(view current ratings)

Cross-references: equivalent, regular cardinal, ordinals, order, cardinal, limit ordinal
There is 1 reference to this entry.

This is version 5 of another definition of cofinality, born on 2003-08-20, modified 2003-08-20.
Object id is 4626, canonical name is AnotherDefinitionOfCofinality.
Accessed 2048 times total.

Classification:
AMS MSC03E04 (Mathematical logic and foundations :: Set theory :: Ordered sets and their cofinalities; pcf theory)

Pending Errata and Addenda
1. need a space by CWoo on 2009-02-24 13:45:40
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)