Difference between revisions of "07081300/Class notes for Thursday, October 11"
Line 5:  Line 5:  
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.  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:'''  
+  
+    
+  Observe that in the first step figure the condition holds (every diagonal line intersects the black squares).  
+  Observe now that when moving to the second figure the given line will intersect a 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 quarter are nested and the diagonal of the quarter 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.  
+  
+  '''QED''' 
Revision as of 08:36, 11 October 2007

The Cantor Aerogel
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:
Observe that in the first step figure the condition holds (every diagonal line intersects the black squares). Observe now that when moving to the second figure the given line will intersect a 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 quarter are nested and the diagonal of the quarter 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.
QED