Exercises:Saul - Algebraic Topology - 1/Exercise 1.2

From Maths
< Exercises:Saul - Algebraic Topology - 1
Revision as of 15:36, 17 January 2017 by Alec (Talk | contribs) (Saving work)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Exercises

Exercise 1.2

Arrange the capital letters of the Roman alphabet thought of as graphs into homeomorphism classes.

Solutions

First note I will use the font provided by \sf, giving the following letters: ABCDEFGHIJKLMNOPQRSTUVWXYZ The homeomorphism classes are:

  • {A,R}
  • {B}
  • {C,G,I,J,L,M,N,S,U,V,W,Z}
  • {D,O}
  • {E,F,G_,T,Y}
  • {H,K}
  • {P}
  • {Q}
  • {X}
Reasoning
Letter Class so far Reasoning Comment
A {A} There are no classes yet. So A founds one
B {B} Crafty[Note 1] point removal[Note 2] - by removing a point from the bottom right (\) edge of the A or the bottom left (/) edge we end up with 2 pathwise connected components (herein: components). However removing any point from B results in one component.
C {C} There are no loops in C (it is obviously homeomorphic to just a line (|) say, due to the absence of holes (of which A has one and B has two - see fundamental group) we must conclude C is none of the existing groups and founds its own.
D {D}
  • By Crafty point removal we see removing any point from D leaves one component, where as a crafty choice of point can leave A with 2 components.
  • By noticing the fundamental group of B would be ZZ and the fundamental group of D will be that of the circle, Z we see that D is not homeomorphic to B
E {E} By Crafty point removal we can have 3 components. No member of any class so far has this property. Therefore E must have its own class
F {E,F} A continuous map that doubles the length of the bottom | of the F and bends the latter half of it at a right angle to the right is easily seen to be an E and the inverse map simply shortens the -like part of the E and "unkinks" the right angle.
G {E,F,G_} OR {C,G} If you "retract" the part of the G and shorten the resulting C like shape until it is a C - clearly the inverse of this map involves extending the bottom arc of a C then bending it to a right angle is also continuous, thus homeomorphism. G

Notes

  1. Jump up T
  2. Jump up H

References