1
$\begingroup$

I was studying Apostol's Calculus second edition (volume 1) chapter THE CONCEPTS OF INTEGRAL CALCULUS, section 1.6 The concept of area as a set function where I ran into this:

AXIOMATIC DEFINITION OF AREA. We assume there exists a class $M$ of measurable sets in the plane and a set function $a$, whose domain is $M$ , with the following properties: ... (page 58)

I don't know the definition of "measurable sets in the plane".

$\endgroup$
7
  • 1
    $\begingroup$ mathworld.wolfram.com/MeasurableSet.html (or just google it!) $\endgroup$
    – Albert
    Sep 15, 2016 at 18:02
  • $\begingroup$ i saw this link but i wasn't sure they're the same , what is the sigma-algebra for real plane?? @Glougloubarbaki $\endgroup$
    – Arsh Gh
    Sep 15, 2016 at 18:04
  • $\begingroup$ click on the hyperlink for the definition of a sigma algebra. in the case of the plane, the usual sigma algebra is given by countable intersections and unions of open or closed sets. basically, the idea is that it's not possible to assign a meaningful notion of area (or length, or volume) to ANY set, so we first define what kind of sets are measurable, ie for what kind of set we want to define a notion of area $\endgroup$
    – Albert
    Sep 15, 2016 at 18:09
  • $\begingroup$ thank you , can you recommend a book about these basic notions like area ? @Glougloubarbaki $\endgroup$
    – Arsh Gh
    Sep 15, 2016 at 18:12
  • 1
    $\begingroup$ If nothing is specified then the sigma algebra for some set is assumed to be the borel algebra, i.e. the sigma algebra induced from the topology. If no topology is specified then is assumed that the topology is the standard. For $\Bbb R^n$ the standard topology is induced from the product topology of the standard topology of $\Bbb R$ (the topology generated from the open intervals). $\endgroup$
    – Masacroso
    Sep 15, 2016 at 18:36

1 Answer 1

3
$\begingroup$

Page 58: "Before we state the axioms for area, we will make a few remarks about the collection of sets in the plane to which an area can be assigned. These sets will be called measurable sets".

In other terms, there is no definition for measurable set in Apostol's book, just a few of their properties (stated as axioms). You should simply think of "measurable sets" as those which can be measured.

$\endgroup$
2
  • 1
    $\begingroup$ I would add a paragraph saying that pretty much all the sets you'll encounter in everyday calculus are in fact measurable. You have to do some work to construct sets that aren't, so this is not something to worry about until you're well along in a math major. $\endgroup$ Sep 15, 2016 at 18:55
  • $\begingroup$ Agreed with the above comment. Existence of non-measurable sets is in fact independent from the usual axioms for real numbers, and in fact depends on some weak form of the axiom of choice. $\endgroup$ Sep 15, 2016 at 18:57

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .