Misplaced Pages

In mathematical set theory, an Ulam matrix is an array of subsets of a cardinal number with certain properties. Ulam matrices were introduced by Stanislaw Ulam in his 1930 work on measurable cardinals: they may be used, for example, to show that a real-valued measurable cardinal is weakly inaccessible.

Definition

Suppose that κ and λ are cardinal numbers, and let ${\displaystyle {\mathcal {F}}}$ be a ${\displaystyle \lambda }$-complete filter on ${\displaystyle \lambda }$. An Ulam matrix is a collection of subsets ${\displaystyle A_{\alpha \beta }}$ of ${\displaystyle \lambda }$ indexed by ${\displaystyle \alpha \in \kappa ,\beta \in \lambda }$ such that

• If ${\displaystyle \beta \neq \gamma \in \lambda }$ then ${\displaystyle A_{\alpha \beta }}$ and ${\displaystyle A_{\alpha \gamma }}$ are disjoint.
• For each ${\displaystyle \beta \in \lambda }$, the union over ${\displaystyle \alpha \in \kappa }$ of the sets ${\displaystyle A_{\alpha \beta },\,\bigcup \left\{A_{\alpha \beta }:\alpha \in \kappa \right\}}$, is in the filter ${\displaystyle {\mathcal {F}}}$.

References

1. Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics (Third Millennium ed.), Berlin, New York: Springer-Verlag, p. 131, ISBN 978-3-540-44085-7, Zbl 1007.03002

• Ulam, Stanisław (1930), "Zur Masstheorie in der allgemeinen Mengenlehre", Fundamenta Mathematicae, 16 (1): 140–150, doi:10.4064/fm-16-1-140-150

This set theory-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Set theory
• Set theory stubs