Topology: simple connectedness and fundamental groups

  • Thread starter quasar987
  • Start date
  • #1
quasar987
Science Advisor
Homework Helper
Gold Member
4,783
18
I read on wiki* that a (pointed) topological space is simply connected iff its fundamental group is trivial. But I don't see how this in accordance with the R² caracterisation that U is simply connected iff it is path-connected and has no holes in it.

Take the closed unit-disk with a point of its boundary as base point for example. Then what are the elements of the fundamental group? There is the trivial loop, which is the identity element, and then there are the homotopy equivalence classes of the loops that circles the boundary S^1 once, twice, three times, etc. such that the fundamental group is isomorphic to Z, not {e}.



*http://en.wikipedia.org/wiki/Simply_connected#Formal_definition_and_equivalent_formulations
 

Answers and Replies

  • #2
StatusX
Homework Helper
2,564
1
All loops in the disk are homotopic to the constant loop. Also, it is usually specified that simply connected spaces are path connected (this does not follow from having trivial fundamental group).
 
  • #3
matt grime
Science Advisor
Homework Helper
9,395
3
Take the closed unit-disk with a point of its boundary as base point for example. Then what are the elements of the fundamental group?
they are all trivially trivial.

There is the trivial loop, which is the identity element, and then there are the homotopy equivalence classes of the loops that circles the boundary S^1 once, twice, three times, etc. such that the fundamental group is isomorphic to Z, not {e}.
rubbish. those maps are all trivially homotopic to the constant map. The space is the whole disk, not S^1.
 
  • #4
matt grime
Science Advisor
Homework Helper
9,395
3
All loops in the disk are homotopic to the constant loop. Also, it is usually specified that simply connected spaces are path connected (this does not follow from having trivial fundamental group).
But it does from having trivial fundamental groupoid, right?
 
  • #5
StatusX
Homework Helper
2,564
1
But it does from having trivial fundamental groupoid, right?
I don't know, it depends what you mean by "trivial". The fundamental groupoid of a simply connected space is certainly not the trivial groupoid (which I'm taking to be the single element groupoid), but it is about as trivial as a fundamental groupoid can be (ie, every pair of points has a unique homotopy class of paths between them).
 
  • #6
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Ah, a debate on whether we should mean "trivial up to isomorphism" or "trivial up to equivalence". :tongue:
 
  • #7
StatusX
Homework Helper
2,564
1
Ah, a debate on whether we should mean "trivial up to isomorphism" or "trivial up to equivalence". :tongue:
What's the difference?
 
  • #8
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
The groupoids G and H are isomorphic iff there are functors

P : G --> H
Q : H --> G

such that PQ and QP are equal to the appropriate identity functors.


The groupoids G and H are equivalent iff there are functors

P : G --> H
Q : H --> G

such that PQ and QP are naturally isomorphic to the appropriate identity functors.



An equivalent way of stating it is that two groupoids are equivalent iff they become isomorphic after we identify isomorphic points.


In particular, a groupoid is equivalent to the groupoid you stated if and only if, for any ordered pair of points (A, B), there is exactly one arrow A --> B.
 
Last edited:

Related Threads on Topology: simple connectedness and fundamental groups

  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
7
Views
5K
Replies
3
Views
541
Replies
7
Views
899
Replies
3
Views
2K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
1
Views
2K
Top