Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-121/2/d/solution

The cardinal bound for an increasing chain of countable sets is . If is countable, there is nothing to prove. Otherwise choose with , and for every choose an index such that .
For any , its countable cannot contain all of , so choose . Since is a linear order, comparison of and forces : the other direction would imply . Therefore . The selected family is cofinal among the original sets, and
By infinite cardinal arithmetic, this union of countable sets has cardinality at most . No well-order or cofinality assumption on was used; a linear increasing union of countable sets has the same bound even for an arbitrary linear index order.

New to topics? Read the docs here!