# Set theory of the real line

Set theory of the real line

Set theory of the real line is an area of mathematics concerned with the application of set theory to aspects of the real numbers.

For example, one knows that all countable sets of reals are null, i.e. have Lebesgue measure 0; one might therefore ask the least possible size of a setwhich is not Lebesgue null. This invariant is called the uniformity of the ideal of null sets, denoted $non\left(mathcal\left\{N\right\}\right)$. There are many such invariants associated with this and other ideals, e.g. the ideal of meagre sets, plus more which do not have a characterisation in terms of ideals. If the continuum hypothesis (CH) holds, then all such invariants are equal to $aleph_1$, the least uncountable cardinal. For example, we know $non\left(mathcal\left\{N\right\}\right)$ is uncountable, but being the size of some set of reals under CH it can be at most $aleph_1$.

On the other hand, if one assumes Martin's Axiom (MA) all common invariants are "big", that is equal to $mathfrak\left\{c\right\}$, the cardinality of the continuum. Martin's Axiom is consistent with $mathfrak\left\{c\right\}>aleph_1$. In fact one should view Martin's Axiom as a forcing axiom that negates the need to do specific forcings of a certain class (those satisfying the ccc, since the consistency of MA with large continuum is proved by doing all such forcings (up to a certain size shown to be sufficient). Each invariant can be made large by some ccc forcing, thus each is big given MA.

If one restricts to specific forcings, some invariants will become big while others remain small. Analysing these effects is the major work of the area, seeking to determine which inequalities between invariants are provable and which are inconsistent with ZFC. This analysis is substantially complete. The inequalities among the ideals of measure (null sets) and category (meagre sets) are captured in Cichon's diagram. Seventeen models (forcing constructions) were produced during the 1980s, starting with work of Arnold Miller, to demonstrate that no other inequalities are provable. These are analysed in detail in the book by Tomek Bartoszynski and Haim Judah, two of the eminent workers in the field.

One curious result is that if you can cover the real line with $kappa$ meagre sets (where $aleph_1 leq kappa leq mathfrak\left\{c\right\}$) then $non\left(mathcal\left\{N\right\}\right) geq kappa$; conversely if you can cover the real line with $kappa$ null sets then the least non-meagre set has size at least $kappa$; both of these results follow from the existence of a decomposition of $mathbb\left\{R\right\}$ as the union of a meagre set and a null set.

One of the last great unsolved problems of the area was the consistency of

:$mathfrak\left\{d\right\} < mathfrak\left\{a\right\},$

proved in 1998 by Saharon Shelah.

References

* Bartoszynski, Tomek & Judah, Haim "Set theory: On the structure of the real line" A.. K. Peters Ltd. (1995). ISBN 1-56881-044-x
* Miller, Arnold "Some properties of measure and category" Transactions of the American Mathematical Society, 266(1):93-114, (1981)

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium

• Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

• Theory of the firm — The theory of the firm consists of a number of economic theories that describe the nature of the firm, company, or corporation, including its existence, behavior, structure, and relationship to the market.[1] Contents 1 Overview 2 Background …   Wikipedia

• Naive set theory — This article is about the mathematical topic. For the book of the same name, see Naive Set Theory (book). Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics.[1] The informal content of… …   Wikipedia

• Baire space (set theory) — In mathematics field of set theory, especially descriptive set theory, the Baire space is the set of all infinite sequences of natural numbers with a certain topology. This space is commonly used in descriptive set theory, to the extent that its… …   Wikipedia

• Descriptive set theory — In mathematical logic, descriptive set theory is the study of certain classes of well behaved subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other… …   Wikipedia

• Completeness of the real numbers — Intuitively, completeness implies that there are not any “gaps” (in Dedekind s terminology) or “missing points” in the real number line. This contrasts with the rational numbers, whose corresponding number line has a “gap” at each irrational… …   Wikipedia

• Continuum (set theory) — In the mathematical field of set theory, the continuum means the real numbers, or the corresponding cardinal number, . The cardinality of the continuum is the size of the real numbers. The continuum hypothesis is sometimes stated by saying that… …   Wikipedia

• Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …   Wikipedia

• Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… …   Wikipedia