Next: 5.2 Further Assumptions About
Up: 5. Area
Previous: 5. Area
  Index
5.1 Basic Assumptions about Area
5.3
Definition (Bounded Sets.)
A subset
of
is
bounded if
for some box
. A subset of
that is not bounded is said to be
unbounded.
It is clear that every subset of a bounded set is bounded. It is not
difficult to show that if is a bounded set then
is bounded for every
, and
is bounded for every symmetry of the square, .
5.4
Example.
The set
is an unbounded subset of
. I cannot draw a picture of an
unbounded set, because the sheet of paper on which I make my
drawing will represent a box containing any picture I draw.
5.5
Definition (Bounded Function.)
Let
be a set. A function
is called a
bounded function if there is a number
such that
for all
. It is clear that
if
is a bounded function on an interval
, then graph
is
a bounded subset of
, since graph
If
is bounded on
, then any number
satisfying
is called a
bound for on
.
We are now ready to state our official assumptions about area. At this point
you
should officially forget everything you know about area. Unofficially,
however, you
remember everything you know so that you can evaluate whether the theorems we
prove are reasonable. Our aim is not simply to calculate areas,
but to see how our
calculations are justified by our assumptions.
We will assume that there is a function from the set of bounded
subsets of
to the real numbers that satisfies the conditions of positivity,
additivity,
normalization, translation invariance and symmetry invariance described below.
Any
function that satisfies these conditions will be called an area
function.
5.6
Assumption (Positivity of area.)
5.7
Definition (Disjoint sets.)
We say two sets
are
disjoint if and only
if
.
5.8
Assumption (Additivity of area.)
If
are disjoint bounded subsets of
,
then
5.9
Assumption (Normalization property of area.)
For every box
we have
i.e., the area of a box is the product of the length and the width of the box.
5.10
Assumption (Translation invariance of area.)
Let
be a bounded set in
,
and
let
, then
5.11
Assumption (Invariance under symmetry.)
Let
be a bounded subset of
.
Then
if
is any symmetry of the square
(See definition
4.12 for the definition of symmetry of the square.)
Remark: I would like to replace the assumptions 5.10
and 5.11 by the single stronger assumption:
If and are bounded subsets of
, and is congruent to ,
then
.
However the problem of defining what congruent means is rather
complicated, and I do not want to consider it at this point.
5.12
Entertainment (Congruence problem.)
Formulate a
definition of what it means for two subsets of
to be
congruent.
5.13
Example.
Let
I do not know how to make any reasonable drawing of
or
. Any picture
I draw of
would look just like a picture of
, even though the
two sets are disjoint.
By additivity and the normalization property for area
Since areas are non-negative, it follows that
The problem of calculating
exactly cannot be answered on the
basis of the assumptions we have made.
Remarks: The assumptions we have just made are supposed to be
intuitively plausible. When we choose to make a particular set of assumptions,
we
hope that the assumptions are consistent, i.e., that no contradictions follow
from them. If we were to add a new assumption:
then we would have an inconsistent set of assumptions, because it follows from
the
assumptions we have already made that the area of a circle of radius is
greater
than .
In 1923 Stefan Banach(1892-1945)
[5] showed that area functions exist, i.e., that the
assumptions we have made about area are consistent. Unfortunately
Banach showed that there is more than one area function, and
different area functions assign different values to the set
described in the previous example.
A remarkable result of
Felix Hausdorff(1868-1942)
[24, pp469-472] shows that the analogous assumptions for volume in three
dimensional space (if we include the assumption that any two congruent sets in
3 dimensional space
have the same volume) are inconsistent. If one
wants to
discuss volume in
then one cannot consider volumes of arbitrary sets.
One
must considerably restrict the class of sets that have volumes. A discussion
of Hausdorff's result can be found in [20].
Next: 5.2 Further Assumptions About
Up: 5. Area
Previous: 5. Area
  Index
Ray Mayer
2007-09-07