Difference between revisions of "0708-1300/Class notes for Thursday, October 11"

From Drorbn
Jump to: navigation, search
Line 1: Line 1:
 
{{0708-1300/Navigation}}
 
{{0708-1300/Navigation}}
 +
 +
==Today's Agenda: Intro to Sard==
 +
* The Cantor set <math>C</math>.
 +
* Sets of measure zero.
 +
* <math>C</math> is of measure zero.
 +
* But <math>C+C</math> is <math>[0,2]</math> (in two ways).
 +
* Thick Cantor sets.
 +
* "Measure zero" is a smooth invariant.
 +
* Measure 0 makes sense on manifolds.
 +
* Baby Sard for <math>C^1</math> functions <math>f:{\mathbb R}\to{\mathbb R}</math>:
 +
** Such an <math>f</math> with a Cantor set of singular points and values.
 +
** And yet a proof.
 +
* A counterexample for Sard for <math>C^1</math> functions <math>f:{\mathbb R}^2\to{\mathbb R}</math>.
  
 
==The Cantor Aerogel==
 
==The Cantor Aerogel==

Revision as of 10:02, 11 October 2007

Announcements go here

Today's Agenda: Intro to Sard

  • The Cantor set C.
  • Sets of measure zero.
  • C is of measure zero.
  • But C+C is [0,2] (in two ways).
  • Thick Cantor sets.
  • "Measure zero" is a smooth invariant.
  • Measure 0 makes sense on manifolds.
  • Baby Sard for C^1 functions f:{\mathbb R}\to{\mathbb R}:
    • Such an f with a Cantor set of singular points and values.
    • And yet a proof.
  • A counterexample for Sard for C^1 functions f:{\mathbb R}^2\to{\mathbb R}.

The Cantor Aerogel

0708-1300-The Cantor Aerogel.png

Strange as it may seem, the faded and barely visible Cantor aerogel in the square at the bottom right of the image above is still thick enough to block all diagonal light rays.

Proof:


Take an arbitrary diagonal line intersecting the figure. Observe that in the first step figure the condition holds (the diagonal line intersects the black squares). Observe now that when moving to the second figure the given line will intersect a black square too. This means that if a diagonal line intersects the black set then it will intersect the set of the next step.

Since in each step the set is self similar i.e. in each quarter of the square you have the black set of the previous step, then the intersection point of the diagonal line is contained in the same quarter of the previous intersection. Since this quarters are nested and the diagonal of the quarters tents to zero, the sequence of intersection form a convergent sequence which converges inside the square (which is compact) and inside the segment of the line inside the square (which is compact too). Since the Cantor set is closed the limit point is in the Cantor set. It is inside the line segment as well.

QED