Infinitary combinatorics

In mathematics, infinitary combinatorics, or combinatorial set theory, is an extension of ideas in combinatorics to infinite sets. Some of the things studied include continuous graphs and trees, extensions of Ramsey's theorem, and Martin's axiom. Recent developments concern combinatorics of the continuum^[1] and combinatorics on successors of singular cardinals.^[2]

Ramsey theory for infinite sets

Write κ, λ for ordinals, m for a cardinal number and n for a natural number. Erdős & Rado (1956) introduced the notation

\kappa\rightarrow(\lambda)^n_m

as a shorthand way of saying that every partition of the set [κ]ⁿ of n-element subsets of $\kappa$ into m pieces has a homogeneous set of order type λ. A homogeneous set is in this case a subset of κ such that every n-element subset is in the same element of the partition. When m is 2 it is often omitted.

Assuming the Axiom of Choice, there are no ordinals κ with κ→(ω)^ω, so n is usually taken to be finite. An extension where n is almost allowed to be infinite is the notation

\kappa\rightarrow(\lambda)^{<\omega}_m

which is a shorthand way of saying that every partition of the set of finite subsets of κ into m pieces has a subset of order type λ such that for any finite n, all subsets of size n are in the same element of the partition. When m is 2 it is often omitted.

Another variation is the notation

\kappa\rightarrow(\lambda, \mu)^n

which is a shorthand way of saying that every coloring of the set [κ]ⁿ of n-element subsets of κ with 2 colors has a subset of order type λ such that all elements of [λ]ⁿ have the first color, or a subset of order type μ such that all elements of [μ]ⁿ have the second color.

Some properties of this include: (in what follows $\kappa$ is a cardinal)

\alef_0\rightarrow(\alef_0)^n_k

for all finite n and k (Ramsey's theorem).

\beth_n^+\rightarrow(\alef_1)_{\alef_0}^{n+1}

(Erdős–Rado theorem.)

2^\kappa\not\rightarrow(\kappa^+)^2

(Sierpiński theorem)

2^\kappa\not\rightarrow(3)^2_\kappa

\kappa\rightarrow(\kappa,\alef_0)^2

(Erdős–Dushnik–Miller theorem).

In choiceless universes, partition properties with infinite exponents may hold, and some of them are obtained as consequences of the Axiom of determinacy (AD). For example, Donald A. Martin proved that AD implies

\alef_1\rightarrow(\alef_1)^{\alef_1}_2

Large cardinals

Several large cardinal properties can be defined using this notation. In particular:

Weakly compact cardinals κ are those that satisfy κ→(κ)²
α-Erdős cardinals κ are the smallest that satisfy κ→(α)^<ω
Ramsey cardinals κ are those that satisfy κ→(κ)^<ω

References

Dushnik, Ben; Miller, E. W. (1941), "Partially ordered sets", American Journal of Mathematics 63 (3): 600–610, doi:10.2307/2371374, ISSN 0002-9327, JSTOR 2371374, MR 0004862
Erdős, Paul; Hajnal, András (1971), "Unsolved problems in set theory", Axiomatic Set Theory ( Univ. California, Los Angeles, Calif., 1967), Proc. Sympos. Pure Math, XIII Part I, Providence, R.I.: Amer. Math. Soc., pp. 17–48, MR 0280381
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard (1984), Combinatorial set theory: partition relations for cardinals, Studies in Logic and the Foundations of Mathematics 106, Amsterdam: North-Holland Publishing Co., ISBN 0-444-86157-2, MR 0795592
Erdős, P.; Rado, R. (1956), "A partition calculus in set theory", Bull. Amer. Math. Soc. 62 (5): 427–489, doi:10.1090/S0002-9904-1956-10036-0, MR 0081864
Kanamori, Akihiro (2000). The Higher Infinite, second edition. Springer. ISBN 3-540-00384-3.
Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Amsterdam: North-Holland, ISBN 978-0-444-85401-8

Notes

↑ Andreas Blass, Combinatorial Cardinal Characteristics of the Continuum, Chapter 6 in Handbook of Set Theory, edited by Matthew Foreman and Akihiro Kanamori, Springer, 2010
↑ Todd Eisworth, Successors of Singular Cardinals Chapter 15 in Handbook of Set Theory, edited by Matthew Foreman and Akihiro Kanamori, Springer, 2010

This article is issued from Wikipedia - version of the Tuesday, April 09, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.