Konig's Theorem (set Theory)

Get Konig's Theorem Set Theory essential facts below. View Videos or join the Konig's Theorem Set Theory discussion. Add Konig's Theorem Set Theory to your PopFlock.com topic list for future reference or share this resource on social media.
## Details

## Corollaries of König's theorem

### Axiom of choice

### König's theorem and cofinality

## A proof of König's theorem

## Notes

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Konig's Theorem Set Theory

In set theory, **König's theorem** states that if the axiom of choice holds, *I* is a set, and are cardinal numbers for every *i* in *I*, and for every *i* in *I*, then

The *sum* here is the cardinality of the disjoint union of the sets *m _{i}*, and the product is the cardinality of the Cartesian product. However, without the use of the axiom of choice, the sum and the product cannot be defined as cardinal numbers, and the meaning of the inequality sign would need to be clarified.

König's theorem was introduced by König (1904) in the slightly weaker form that the sum of a strictly increasing sequence of nonzero cardinal numbers is less than their product.

The precise statement of the result: if *I* is a set, *A _{i}* and

where **<** means *strictly less than in cardinality*, i.e. there is an injective function from *A _{i}* to

(Of course, König's theorem is trivial if the cardinal numbers *m _{i}* and

König's theorem is remarkable because of the strict inequality in the conclusion. There are many easy rules for the arithmetic of infinite sums and products of cardinals in which one can only conclude a weak inequality *i* in *I*, then one can only conclude

since, for example, setting and , where the index set *I* is the natural numbers, yields the sum for both sides, and we have an equality.

- If is a cardinal, then .

If we take *m _{i}* = 1, and

One way of stating the axiom of choice is "an arbitrary Cartesian product of non-empty sets is non-empty". Let *B _{i}* be a non-empty set for each

- If , then .

That is, the Cartesian product of the given non-empty sets *B _{i}* has a larger cardinality than the sum of empty sets. Thus it is non-empty, which is just what the axiom of choice states. Since the axiom of choice follows from König's theorem, we will use the axiom of choice freely and implicitly when discussing consequences of the theorem.

König's theorem has also important consequences for cofinality of cardinal numbers.

- If , then .

Choose a strictly increasing cf(?)-sequence of ordinals approaching ?. Each of them is less than ?, so their sum, which is ?, is less than the product of cf(?) copies of ?.

According to Easton's theorem, the next consequence of König's theorem is the only nontrivial constraint on the continuum function for regular cardinals.

- If and , then .

Let . Suppose that, contrary to this corollary, . Then using the previous corollary, , a contradiction.

Assuming Zermelo-Fraenkel set theory, including especially the axiom of choice, we can prove the theorem. Remember that we are given , and we want to show :

The axiom of choice implies that the condition *A* < *B* is equivalent to the condition that there is no function from *A* onto *B* and *B* is nonempty.
So we are given that there is no function from *A*_{i} onto *B*_{i}?{}, and we have to show that any function *f* from the disjoint union of the *A*s to the product of the *B*s is not surjective and that the product is nonempty. That the product is nonempty follows immediately from the axiom of choice and the fact that the factors are nonempty. For each *i* choose a *b*_{i} in *B*_{i} not in the image of *A*_{i} under the composition of *f* with the projection to *B*_{i}. Then the product of the elements *b*_{i} is not in the image of *f*, so *f* does not map the disjoint union of the *A*s onto the product of the *B*s.

**^**Rubin, H.; Rubin, J. E. (1985).*Equivalents of the Axiom of Choice, II*. New York, NY: North Holland. pp. 185. ISBN 0-444-87708-8.

- M. Holz, K. Steffens and E. Weitz (1999).
*Introduction to Cardinal Arithmetic*. Birkhäuser. ISBN 3-7643-6124-7. - König, J. (1904), "Zum Kontinuum-Problem", in Krazer, Adolf (ed.),
*Verhandlungen des dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904*, pp. 144-147, archived from the original on 2015-01-04, retrieved , reprinted as König, J. (1905), "Zum Kontinuum-Problem",*Mathematische Annalen*,**60**(2): 177-180, doi:10.1007/BF01677263

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists