PDA

View Full Version : The fundamental group of the disk is trivial, why?


math8
Apr1-09, 05:05 PM
How do we show that the fundamental group of the disk D^2={(x,y) in RxR: x^2 +y^2< or eq. to 1} is trivial?

I know how to show that the fundamental group of the circle is isomorphic to the group of the integers under addition, but for some reason, I don't see a way to show that the fundamental group of the disk is trivial.

Dick
Apr1-09, 10:35 PM
Because the disk is contractible?

math8
Apr2-09, 01:21 PM
Oh yes so there is a contraction and from there we can get a path homotopy that shows that every loop in the disk is path homotopic to the constant loop at the base point. Hence the fundamental group of the disk is trivial.
Thanks