home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math
- Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!mary.fordham.edu!nissim
- From: nissim@mary.fordham.edu (Leonard J. Nissim)
- Subject: Re: A Question About Fundamental Group
- References: <amirishs.722059588@acf9>
- Sender: nobody@ctr.columbia.edu
- Organization: Fordham University
- Date: Wed, 18 Nov 1992 13:58:00 GMT
- News-Software: VAX/VMS VNEWS 1.41
- Message-ID: <18NOV199209581321@mary.fordham.edu>
- X-Posted-From: mary.fordham.edu
- NNTP-Posting-Host: sol.ctr.columbia.edu
- Lines: 26
-
- In article <amirishs.722059588@acf9>,
- amirishs@acf9.nyu.edu (shaahin amiri sharifi) writes...
- >Consider a bunch of infinitely many (countable) circles with a
- >point in common. The radii of these circles make a sequence like
- >{1/n}. What is the fundamental group of this space? Any comments
- >or referenc would be so helpful!
-
- Sometimes known as the "Hawaiian earing space".
- Its fundamental group has coutably many generators (one for each circle)
- and no relations. (I.e., it is a free non-Abelian group on countably
- many generators.)
-
- "Algebraic Topology: An Introduction" by Massey is a good reference for
- the definition and early theorems about the fundamental group.
-
- This is cute: take the cone over your original space; that is, put all
- the circles in the xy-plane tangent to the y-axis at (0,0) and connect
- each point of every circle to the point (0,0,1) in R^3.
- Now you have a space that is contractable (homotopic to a point), but
- *not* locally simply connected. In fact, every small neighborhood of (0,0,a)
- (where 0<=a<1) has a fundamental group with infinitely many generators.
-
- -------------------------------------------------------------------------------
- Leonard J. Nissim (nissim@mary.fordham.edu)
- Disclaimer: "I speak only for myself."
- -------------------------------------------------------------------------------
-