and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ...
-
Upload
truongdieu -
Category
Documents
-
view
215 -
download
1
Transcript of and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ...
![Page 1: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/1.jpg)
Pizzas, Bagels, Pretzels, and Euler's Magical χ
---- an informal introduction to topology
![Page 2: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/2.jpg)
What is topology?Given a set X , a topology on X is a collection T of subsets of X, satisfying the following axioms:
1. The empty set and X are in T.2. T is closed under arbitrary union.3. T is closed under finite intersection.
Equivalent definition:
Given a set X , a topology on X is a collection S of subsets of X, satisfying the following axioms:
1. The empty set and X are in S.2. S is closed under finite union.3. S is closed under arbitrary intersection.
![Page 3: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/3.jpg)
...Another equivalent definition:
Given a set X , a topology on X is an operator cl on P(X) (the power set of X) called the closure operator, satisfying the following properties for all subsets A of X:
1. Extensivity2. Idempotence3. Preservation of binary unions4. Preservation of nullary unions
If the second axiom, that of idempotence, is relaxed, then the axioms define a preclosure operator.
![Page 4: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/4.jpg)
What really is topology?Topology is : "Gummy geometry"
≅
≇
≅ ≅
≇
No tearing
No glueing
It’s MY geometry!
![Page 5: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/5.jpg)
vs.
More examples
≅ ≅
≇
≅ :
![Page 6: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/6.jpg)
Topological invariants:
● holes & cavities● boundaries & endpoints● connectedness ("in one piece")● etc...
Not topological invariants:● size● angle● curvature● etc...
![Page 7: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/7.jpg)
Classify boldface capital letters up to “topological sameness”:● G,I,J,L,M,N,S,U,V,W,Z,C,E,F,T,Y,H,K,X● R,A,D,O,P,Q● B
≇
≇≇
![Page 8: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/8.jpg)
Question:
They cannot deform into each other in the 3-D space, but they can if you put them in a 4-D space.
≅ ?
Hence they should be considered as the same topological object (“homeomorphic” objects). They just sit ("embed") differently in the 3-D space.
Mathematical rigor is needed at some point to help our intuition!
![Page 9: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/9.jpg)
Knot theory
≅
Trefoil knot Unknot
Same (“homeomorphic”) in general topology
Different in knot theory
≇knot
![Page 10: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/10.jpg)
Applications of knot theory
![Page 11: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/11.jpg)
Surfaces: compact 2-dimensional manifolds with boundaries
![Page 12: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/12.jpg)
![Page 13: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/13.jpg)
These are not surfaces in our sense:
![Page 14: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/14.jpg)
Operations on surfaces:
1. Adding an ear 2. Adding a bridge
Bridge
● attached to one boundary
● increases β by 1
● attached to two boundaries
● decreases β by 1
(β = number of boundaries)
![Page 15: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/15.jpg)
3. Adding a lid
Decreases β by 1
+
=
Lid
+
=
Lid
A lid can be attached to any boundary
![Page 16: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/16.jpg)
How to make a torus (the surface of a bagel)?Torus = disk + ear + bridge + lid
Annulus
![Page 17: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/17.jpg)
4. Twisted ear
The Möbius strip
Adding a twisted ear does not change β
![Page 18: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/18.jpg)
The Möbius strip is unorientable: no up and down!
Möbius Strip by Escher
![Page 19: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/19.jpg)
Escher's paintings
![Page 20: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/20.jpg)
The Möbius strip
The Möbius Resistor
![Page 21: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/21.jpg)
Other unorientable surfaces
+ Lid =
(The real projective plane)
+ Lid =
The Klein BottleNeither can embed into the 3-D space!
![Page 22: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/22.jpg)
The Klein bottle in real life
![Page 23: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/23.jpg)
Twisted bridge & more complicated surfaces
Fact: All surfaces can be built this way.
![Page 24: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/24.jpg)
Topological invariants for surfaces:
● number of boundaries β● orientability: can we distinguish between
inside and outside (or up and down)?● the Euler characteristic
![Page 25: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/25.jpg)
The Euler characteristic χ
● V(ertices) = 5● E(dges) = 5● F(aces) = 1χ := V - E + F = 1
● V = 9● E = 10● F = 2χ := V - E + F = 1
A polygon complex
![Page 26: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/26.jpg)
Theorem: χ = 1 for all planar complexes with no "holes".
● ΔV=4● ΔE=5● ΔF=1Δχ := ΔV - ΔE + ΔF = 0
How does χ change when we add a polygon?
![Page 27: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/27.jpg)
χ = 0
In general, a planar complex with n holes has χ = 1 - n .
![Page 28: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/28.jpg)
We may also define χ for other (not necessarily planar) complexes:
χ = 2 χ = 2
χ = 1
![Page 29: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/29.jpg)
That’s all very nice, but what’s so magical about χ anyway?
Proof:
χ = 2 χ = 1
Trivial.
Left as an exercise.
Theorem: χ is a topological invariant!
![Page 30: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/30.jpg)
Δχ Δβ
● Ear● Bridge● Twisted ear● Twisted bridge● Lid
-1 +1-1 -1-1 0-1 -1+1 -1
Adding an...
χ = 0 χ = 0 χ = - 4
![Page 31: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/31.jpg)
Question: What values can χ take?
Answer: χ ≤ 2
In fact, β+χ ≤ 2
Theorem: The pair (β,χ) classifies all orientable surfaces.
Non-orientable surfaces?They are classified by (β,χ,q) where q=0,1,2 measures non-orientability.
![Page 32: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/32.jpg)
Some mathematical applications of χ
1. Regular polyhedra2. Critical points3. Poincaré–Hopf theorem4. Gauss-Bonnet formula
![Page 33: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/33.jpg)
Regular polyhedra
Theorem: These are the only five regular polyhedra.
![Page 34: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/34.jpg)
A soccer ball needs 12 pentagons
![Page 35: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/35.jpg)
Vector fields
![Page 36: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/36.jpg)
Index of singularities
![Page 37: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/37.jpg)
Poincaré–Hopf theorem:
Σ(indices of singularities) = χ
Corollary: Any vector field on a sphere has at least two vortices.
Corollary: At any time, there are at least two places on the earth with no winds.
Corollary: Any "hairstyle" on a sphere has at least two vortices (cowlicks).
![Page 38: and Euler's Magical χ Pizzas, Bagels, Pretzels, · Pizzas, Bagels, Pretzels, ... Proof: χ = 2 χ = 1 Trivial. Left as an exercise. ... Theorem: These are the only five regular polyhedra.](https://reader031.fdocuments.in/reader031/viewer/2022022513/5aedcec07f8b9a455690279b/html5/thumbnails/38.jpg)
Thank you!
References: 1. Wikipedia!2. Topology of Surfaces by L. Christine Kinsey