Date of Award
8-1-1972
Document Type
Thesis
Degree Name
Master of Arts (MA)
Department
Mathematics
First Advisor
Dr. J. Scott Downing
Abstract
For an arbitrary topological space algebraic topology prescribes a construction for a fundamental group. There is a natural way of imposing a topology on this set. We will examine this construction and the topological space which results. We use the following notation and definitions: 1. I f X and Y are topological spaces and ACX, BCY and if f:X+Y is a map, we write f: (X,A)➔(Y,B) if f(A)cB. 2. (Y,B)CX,A)={f: (X,A)+(Y,B)I f is continuous}. 3. 1=[0,1], the closed unit interval; i={O,l}, the points O and 1. 4. If X is a topological space and a£X, then R is an equivalence relation on (X,a) ( I ,I ) defined as follows: If f,gE(X,a)(I, i ) then fRg if and only if f and_ g are homotopic relative to I, written f��g rel I. That is, there exists a continuous function F: I xl+X such that F(O,t)= f(t), F(l,t)=g(t), F(x,O)=a, F(x,l)=a for all x,tsl. R is easily shown to be an equivalence relation, [2, p. 6]. We write Rf��{g£(X,a)(I,I )I gRf}. 5. When we speak of a topology on (Y,B) (X,A) we use the "compact-open" topology. The compact-open topology has subbasic sets of the form (C,U) where CCX i�� compact, UC"f is open, and (C,U)��{fE(Y,_B)(X, A) I f(C)cU} . 6. Q(X,a)=(X,a) (I ,I ) with the compact-open topology is called the loop space of X at a.
Recommended Citation
Atkinson, Daniel William, "A topology on the fundamental group." (1972). Student Work. 3566.
https://digitalcommons.unomaha.edu/studentwork/3566
Comments
A Thesis Presented to the Department of Mathematics and the Faculty of the Graduate College University of Nebraska In Partial Fulfillment of the Requirements for the Degree Master of Arts University of Nebraska at Omaha. Copyright 1972 Daniel William Atkinson