Pizzas, Bagels, Pretzels, and Euler's Magical ---- an informal - - PowerPoint PPT Presentation

pizzas bagels pretzels and euler s magical
SMART_READER_LITE
LIVE PREVIEW

Pizzas, Bagels, Pretzels, and Euler's Magical ---- an informal - - PowerPoint PPT Presentation

Pizzas, Bagels, Pretzels, and Euler's Magical ---- an informal introduction to topology 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.


slide-1
SLIDE 1

Pizzas, Bagels, Pretzels, and Euler's Magical χ

  • --- an informal introduction to topology
slide-2
SLIDE 2

What is topology?

Given a set X , a topology on X is a collection T of subsets

  • f 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

  • f 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.
slide-3
SLIDE 3

...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. Extensivity
  • 2. Idempotence
  • 3. Preservation of binary unions
  • 4. Preservation of nullary unions

If the second axiom, that of idempotence, is relaxed, then the axioms define a preclosure operator.

slide-4
SLIDE 4

What really is topology?

Topology is : "Gummy geometry"

≅ ≇ ≅ ≅ ≇ No tearing No glueing

It’s MY geometry!

slide-5
SLIDE 5

vs.

More examples

≅ ≅ ≇ ≅

:

slide-6
SLIDE 6

Topological invariants:

  • holes & cavities
  • boundaries & endpoints
  • connectedness ("in one piece")
  • etc...

Not topological invariants:

  • size
  • angle
  • curvature
  • etc...
slide-7
SLIDE 7

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

≇ ≇ ≇

slide-8
SLIDE 8

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!

slide-9
SLIDE 9

Knot theory

≅ Trefoil knot Unknot Same (“homeomorphic”) in general topology Different in knot theory ≇knot

slide-10
SLIDE 10

Applications of knot theory

slide-11
SLIDE 11

Surfaces: compact 2-dimensional manifolds with boundaries

slide-12
SLIDE 12
slide-13
SLIDE 13

These are not surfaces in our sense:

slide-14
SLIDE 14

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)

slide-15
SLIDE 15
  • 3. Adding a lid

Decreases β by 1

+ = Lid + = Lid A lid can be attached to any boundary

slide-16
SLIDE 16

How to make a torus (the surface of a bagel)? Torus = disk + ear + bridge + lid

Annulus

slide-17
SLIDE 17
  • 4. Twisted ear

The Möbius strip Adding a twisted ear does not change β

slide-18
SLIDE 18

The Möbius strip is unorientable: no up and down! Möbius Strip by Escher

slide-19
SLIDE 19

Escher's paintings

slide-20
SLIDE 20

The Möbius strip

The Möbius Resistor

slide-21
SLIDE 21

Other unorientable surfaces

+ Lid = (The real projective plane) + Lid = The Klein Bottle Neither can embed into the 3-D space!

slide-22
SLIDE 22

The Klein bottle in real life

slide-23
SLIDE 23

Twisted bridge & more complicated surfaces

Fact: All surfaces can be built this way.

slide-24
SLIDE 24

Topological invariants for surfaces:

  • number of boundaries β
  • orientability: can we distinguish between

inside and outside (or up and down)?

  • the Euler characteristic
slide-25
SLIDE 25

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

slide-26
SLIDE 26

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?

slide-27
SLIDE 27

χ = 0 In general, a planar complex with n holes has χ = 1 - n .

slide-28
SLIDE 28

We may also define χ for other (not necessarily planar) complexes:

χ = 2 χ = 2 χ = 1

slide-29
SLIDE 29

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!

slide-30
SLIDE 30

Δχ Δβ

  • Ear
  • Bridge
  • Twisted ear
  • Twisted bridge
  • Lid
  • 1

+1

  • 1
  • 1
  • 1
  • 1
  • 1

+1

  • 1

Adding an...

χ = 0 χ = 0 χ = - 4

slide-31
SLIDE 31

Question: What values can χ take?

Answer: χ ≤ 2 In fact, β+χ ≤ 2

Theorem: The pair (β,χ) classifies all

  • rientable surfaces.

Non-orientable surfaces?

They are classified by (β,χ,q) where q=0,1,2 measures non-orientability.

slide-32
SLIDE 32

Some mathematical applications of χ

  • 1. Regular polyhedra
  • 2. Critical points
  • 3. Poincaré–Hopf theorem
  • 4. Gauss-Bonnet formula
slide-33
SLIDE 33

Regular polyhedra

Theorem: These are the only five regular polyhedra.

slide-34
SLIDE 34

A soccer ball needs 12 pentagons

slide-35
SLIDE 35

Vector fields

slide-36
SLIDE 36

Index of singularities

slide-37
SLIDE 37

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).

slide-38
SLIDE 38

Thank you!

References:

  • 1. Wikipedia!
  • 2. Topology of Surfaces by L. Christine Kinsey