Sums and integration against counting measure: Appendix 1: Proof that counting measure really is a measure

For other posts in this series, see
https://explaining-maths.blogspot.com/search?q=Sums+and+integration+against+counting+measure

In case the MathJax mathematics below does not display properly in your browser, I will make a PDF of the main article available via my WordPress blog

Counting measure is a very standard example of a measure, but not everyone checks the details. I'm going to attempt to give a fairly efficient proof! But here are a few comments first about what we will be assuming before we start.

  1. By convention the empty set, , is a finite set, and the number of points in is 0.
  2. For a finite set A, we denote the cardinality of A (number of points in A) by |A|. Here |A| is a non-negative integer, and |A|=0 if and only if A=.
  3. A finite union of finite sets is finite.
  4. If we have finitely many pairwise disjoint finite sets A1,A2,,Am, then
    |mk=1Ak|=mk=1|Ak|.
It is, of course, possible to start further back, but we do have to start somewhere!

Now let X be a set, and denote the power set of X by P(X). Define counting measure μ from P(X) to [0,] as follows. For AP(X), we define
μ(A)={|A|if A is a finite set,otherwise.

Let's prove that μ really is a measure.
First note that (by our first comment above), μ()=||=0. So we just need to check countable additivity.
Let (Ak)k=1 be a sequence of pairwise disjoint subsets of X, and set
A=k=1Ak.
We have to show that
μ(A)=k=1μ(Ak).
  • First note that if any of the sets Ak are infinite, then so is A, and both sides of (1) are clearly equal to .
  • Similarly, if infinitely many of the (pairwise disjoint) sets Ak are non-empty, then the set A is infinite and both sides of (1) are infinity.
  • The only remaining case is when all of the sets Ak are finite, and only finitely many of the Ak are non-empty. In this case there is a natural number m such that Ak= for all k>m, and then we have
    A=mk=1Ak.
    But then, by our 3rd and 4th comments above, A is a finite set and
    |A|=|mk=1Ak|=mk=1|Ak|, and so
    μ(A)=mk=1μ(Ak)=k=1μ(Ak), as required.
For that last equality, note that μ(Ak)=μ()=0 for all k>m.

That does it!

Note that what we have done, in some sense, is to bootstrap up from results for finitely many finite sets to the general case. This is, in some sense, the flavour of the whole topic (as seen in the earlier posts).

Comments

Popular posts from this blog

A rule of thumb for when to use the Ratio Test

An introduction to the Hahn-Banach extension theorem: Part VI

Discussion of the proof that the uniform norm really is a norm