Estrada index

2013-05-05T18:46:15Z

74.88.3.83: /* Derivation */

In [[set theory]], a branch of mathematics, the '''Milner – Rado paradox''', found by {{harvs|txt|first1=Eric Charles|last1=Milner|author1-link=Eric Charles Milner|first2=Richard|last2=Rado|author2-link=Richard Rado|year=1965}}, states that every [[ordinal number]] α less than the [[Successor cardinal|successor]] ''κ''+ of some [[cardinal number]] κ can be written as the union of sets ''X''1,''X''2,... where ''X''''n'' is of [[order type]] at most ''κ''''n'' for ''n'' a positive integer.

==Proof==
Let ''<math>\alpha</math>'' be a limit ordinal, and for each ''<math>\beta<\alpha</math>'', let ''<math>\{X_\beta^n\}_n</math>'' be the obvious thing.

Fix an increasing sequence <math>\{\beta_\gamma\}_{\gamma<\mathrm{cf}\,(\alpha)}</math> [[Cofinality|cofinal]] in <math>\alpha</math> with <math>\beta_0=1</math>.

Note <math>\mathrm{cf}\,(\alpha)\le\kappa</math>.

Define:

:<math>X^\alpha _0 = \{0\};\ \ X^\alpha_{n+1} = \bigcup_\gamma X^{\beta_{\gamma+1}}_n\setminus \beta_\gamma</math>

Observe that:

:<math>\bigcup_{n>0}X^\alpha_n = \bigcup _n \bigcup _\gamma X^{\beta_{\gamma+1}}_n\setminus \beta_\gamma = \bigcup_\gamma \bigcup_n X^{\beta_{\gamma+1}}_n\setminus \beta_\gamma = \bigcup_\gamma \beta_{\gamma+1}\setminus \beta_\gamma = \alpha \setminus \beta_0</math>

and so ''<math>\bigcup_nX^\alpha_n = \alpha</math>''.

Let <math>\mathrm{ot}\,(A)</math> be the [[order type]] of ''<math>A</math>''. As for the order types, clearly <math>\mathrm{ot}(X^\alpha_0) = 1 = \kappa^0</math>.

Noting that the sets <math>\beta_{\gamma+1}\setminus\beta_\gamma</math> form a consecutive sequence of ordinal intervals, and that each <math>X^{\beta_{\gamma+1}}_n\setminus\beta_\gamma</math> is a tail segment of <math>X^{\beta_{\gamma+1}}_n</math> we get that:

:<math>\mathrm{ot}(X^\alpha_{n+1}) = \sum_\gamma \mathrm{ot}(X^{\beta_{\gamma+1}}_n\setminus\beta_\gamma) \leq \sum_\gamma \kappa^n = \kappa^n \cdot \mathrm{cf}(\alpha) \leq \kappa^n\cdot\kappa = \kappa^{n+1}</math>
==References==
*{{Citation | last1=Milner | first1=E. C. | last2=Rado | first2=R. | title=The pigeon-hole principle for ordinal numbers | doi=10.1112/plms/s3-15.1.750 | mr=0190003 | year=1965 | journal= Proc. London Math. Soc. (3) | volume=15 | pages=750–768}}
*[http://math.stackexchange.com/questions/440184/how-to-prove-milner-rado-paradox How to prove Milner-Rado Paradox? - Mathematics Stack Exchange]

{{DEFAULTSORT:Milner-Rado paradox}}
[[Category:Set theory]]
[[Category:Paradoxes]]

{{mathlogic-stub}}

formulasearchengine - User contributions [en]

Estrada index