Mergelyan-Wesler Theorem

Theorem

Let $P = \sequence {D_1, D_2, \dotsc}$ be an infinite sequence of disjoint open disks whose union is the unit disk $D$ except for a set of measure zero.

Let $r_n$ be the radius of $D_n$.

Then:

$\ds \sum_{k \mathop = 1}^\infty r_k = +\infty$


Proof


This theorem requires a proof.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Source of Name

This entry was named for Sergey Nikitovich Mergelyan and Oscar Wesler.


Sources

  • 1962: S.N. Mergelyan: Uniform approximations to functions of a complex variable (Amer. Math. Soc. Transl. Vol. 3: pp. 294 – 391)
  • 1960: Oscar Wesler: An infinite packing theorem for spheres (Proc. Amer. Math. Soc. Vol. 11: pp. 324 – 326)  www.jstor.org/stable/2032977
  • 1966: Z.A. Melzak: Infinite packings of disks (Canad. J. Math. Vol. 18: pp. 838 – 852)
  • 1983: François Le Lionnais and Jean Brette: Les Nombres Remarquables ... (previous) ... (next): $1,30695 1 \ldots$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.