This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (May 2024) (Learn how and when to remove this message)

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 ${\displaystyle \kappa ,\lambda }$ for ordinals, ${\displaystyle m}$ for a cardinal number (finite or infinite) and ${\displaystyle n}$ for a natural number. Erdős & Rado (1956) introduced the notation

${\displaystyle \displaystyle \kappa \rightarrow (\lambda )_{m}^{n}}$

as a shorthand way of saying that every partition of the set ${\displaystyle ^{n}}$ of ${\displaystyle n}$-element subsets of ${\displaystyle \kappa }$ into ${\displaystyle m}$ pieces has a homogeneous set of order type ${\displaystyle \lambda }$. A homogeneous set is in this case a subset of ${\displaystyle \kappa }$ such that every ${\displaystyle n}$-element subset is in the same element of the partition. When ${\displaystyle m}$ is 2 it is often omitted. Such statements are known as partition relations.

Assuming the axiom of choice, there are no ordinals ${\displaystyle \kappa }$ with ${\displaystyle \kappa \rightarrow (\omega )^{\omega }}$, so ${\displaystyle n}$ is usually taken to be finite. An extension where ${\displaystyle n}$ is almost allowed to be infinite is the notation

${\displaystyle \displaystyle \kappa \rightarrow (\lambda )_{m}^{<\omega }}$

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

Another variation is the notation

${\displaystyle \displaystyle \kappa \rightarrow (\lambda ,\mu )^{n}}$

which is a shorthand way of saying that every coloring of the set ${\displaystyle ^{n}}$ of ${\displaystyle n}$-element subsets of ${\displaystyle \kappa }$ with 2 colors has a subset of order type ${\displaystyle \lambda }$ such that all elements of ${\displaystyle ^{n}}$ have the first color, or a subset of order type ${\displaystyle \mu }$ such that all elements of ${\displaystyle ^{n}}$ have the second color.

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

${\displaystyle \displaystyle \aleph _{0}\rightarrow (\aleph _{0})_{k}^{n}}$ for all finite ${\displaystyle n}$ and ${\displaystyle k}$ (Ramsey's theorem).

${\displaystyle \displaystyle \beth _{n}^{+}\rightarrow (\aleph _{1})_{\aleph _{0}}^{n+1}}$ (the Erdős–Rado theorem.)

${\displaystyle \displaystyle 2^{\kappa }\not \rightarrow (\kappa ^{+})^{2}}$ (the Sierpiński theorem)

${\displaystyle \displaystyle 2^{\kappa }\not \rightarrow (3)_{\kappa }^{2}}$

${\displaystyle \displaystyle \kappa \rightarrow (\kappa ,\aleph _{0})^{2}}$ (the 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

${\displaystyle \displaystyle \aleph _{1}\rightarrow (\aleph _{1})_{2}^{\aleph _{1}}}$

Strong colorings

Wacław Sierpiński showed that the Ramsey theorem does not extend to sets of size ${\displaystyle \aleph _{1}}$by showing that ${\displaystyle 2^{\aleph _{0}}\nrightarrow (\aleph _{1})_{2}^{2}}$. That is, Sierpiński constructed a coloring of pairs of real numbers into two colors such that for every uncountable subset of real numbers ${\displaystyle X}$, ${\displaystyle ^{2}}$ takes both colors. Taking any set of real numbers of size ${\displaystyle \aleph _{1}}$ and applying the coloring of Sierpiński to it, we get that ${\displaystyle \aleph _{1}\not \rightarrow (\aleph _{1})_{2}^{2}}$. Colorings such as this are known as strong colorings^[3] and studied in set theory. Erdős, Hajnal & Rado (1965) introduced a similar notation as above for this.

Write ${\displaystyle \kappa ,\lambda }$ for ordinals, ${\displaystyle m}$ for a cardinal number (finite or infinite) and ${\displaystyle n}$ for a natural number. Then

${\displaystyle \displaystyle \kappa \nrightarrow \lambda _{m}^{n}}$

is a shorthand way of saying that there exists a coloring of the set ${\displaystyle \kappa ^{n}}$ of ${\displaystyle n}$Zdroj:https://en.wikipedia.org?pojem=Infinitary_combinatorics
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.