Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

20.10: Quadrable sets

( \newcommand{\kernel}{\mathrm{null}\,}\)

A set S in the plane is called quadrable if for any ϵ>0 there are two polygonal sets P and Q such that

PSQandarea Qarea P<ϵ.

If S is quadrable, its area can be defined as the necessarily unique real number s=area S such that the inequality

area Qsarea P

holds for any polygonal sets P and Q such that PSQ.

Exercise 20.10.1

Let D be the unit disc; that is, D is a set that contains the unit circle Γ and all the points inside Γ.

Show that D is a quadrable set.

Hint

Let Pn and Qn be the solid regular n-gons so that Γ is inscribed in Qn and circumscribed around Pn. Clearly, PnDQn.

Show that area Pnarea Qn=(cosπn)2; in particular,

area Pnarea Qn1 as n.

Next show that area Qn<100, say for all n100.

These two statements imply that (area Qnarea Pn)0. Hence the result.

Since D is quadrable, the expression area D makes sense and the constant π can be defined as π=area D.

It turns out that the class of quadrable sets is the largest class for which the area function satisfying the conditions on page is uniquely defined.

If you do not require uniqueness, then there are ways to extend area function to all bounded sets. (A set in the plane is called bounded if it lies inside of a circle.) In the hyperbolic plane and in the sphere there is no similar construction. If you wonder why, read about doubling the ball paradox of Felix Hausdorff, Stefan Banach, and Alfred Tarski.


20.10: Quadrable sets is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?