ftp - nd.edu

5
9 2 2020 Exe Let X be a convex subset of IR and x C X Then Leanna any based loop in X is lo topic to Cx group IT Xiao is trivial Lenny Let X be a top space and p a path from x to x Then the map IT X x IT X x is an isomorphism of group 1 In If r PT In particular the isomorphism class of it CX x of a patched space does not depend on the choice of base rent Xo C X proof o for a notary of loops based at x If r p a homotopy of ashore at well defined t Eris Eris Ep rip If rap If n p rip Cx L pig ragtop 7 4 Erie Lhd t as in is an iso 4th averse to r'T Ep y f J a Hot ol ftp.xrx.pt ftp.r xpxp In La Cx Go A space X is simply connected if it is path connected and it X 1 0 Leza X is simply corrected if the y EX there exists a any rent unique homotopy dais of paths x y

Upload: others

Post on 18-Jul-2022

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ftp - nd.edu

9 2 2020

Exe Let X be a convex subsetof IR and x C X Then Leanna

any basedloop in X is lo topic to Cx group IT Xiao istrivialLenny Let X be a top space and p a path from x to x Then themap

IT X x IT X x is an isomorphism ofgroup1In If r PT

In particular theisomorphism class of it CX x of a patched spacedoesnot depend on the choiceof baserent Xo C X

proof o for a notary of loopsbasedat x If r p a homotopy of ashoreat

well defined

t Eris Eris Ep rip If rap If n p ripCxLpig ragtop7 4 Erie Lhd t as in

is an iso 4th averse to r'T Ep y f Ja

Hot ol ftp.xrx.pt ftp.rxpxp In LaCx Go

A spaceX is simplyconnected if it is path connectedand it X 1 0

Leza X is simplycorrected if the y EX thereexists a anyrentuniquehomotopy dais ofpaths x y

Page 2: ftp - nd.edu

Proof existence of a path X path connected Wing Ti o

suppose Tik O and xp toopet between x y Then 2 d f P Pconversely if there is a uniquehomotopy classofperks x 1 X

the I X n D

RentFundamentalgreupofthecircle to E4 sw nd gne berwcrk.TL

theorem T.ES

Explicitly the map lo I IT CS G o is an isomorphismi

n 1 7 w Cs as 25nssi 25ns

PEE Let p IR s wi poet 0161 20.7 poop postTS 1 7 cos245,9245 on I IR anypath on IRIn or I Sts n s from o to n

p t since I Ibylinearhomotopy

lo is a homomorphismth mth

Ilmen p Em TmEon um on 4cm 104translation

Tn IR 1 IR CaB 1 1 Stm Lemma V patha.ISLoop starting at X es ardeato is surjective let a I S representng a givenclass Eep 4 3

acoksen Choi Emetics Fsf fgIfI Rme F lift I I 7112 Then ICD n C Itwith Ico o Since p Ici L G 4,0 b t homotopy

toG post a V Lt S ofpathsstartingat

tis tee surrose tea a o.uaIideII'IIIt I 1112 ofpaths starting

Let Lt be the hotopy Lo um 4 0 at Fo

I it lifts to Ft ab topy ofpaths IRstartingat 0Io In I In byuniqueness inLucaIt L is indep of t I i Ii i V

EdGance a homotopyofpa m n

Page 3: ftp - nd.edu

Lemmata Ca Cbl follow from F Rtopspace

i TI wP

Cc Given a map F x I St and a lifting 4 631

s

F lifting Ip restrictingto thegwenF on

YxI S 4 63F

taking Y point we get LmCataking 4 I we get Lm b

xP f I Use that 7 an open cover UD of S s t th p Oa JayUa's are evenly covered by p Pd

ex

a

EE

co on Y a nbhd CY

can choose CY and apartition 6 6 ate Ltm Ls t F N x Eti ti 17 cue Ug

Ete E is constructedon NxLo t 3 Weknow that FCarita tieD CuithepintF Ui r CIR cala ng Flye ti FC Arlt b CFK p122 replacing N

U with a su Hernbhd

define F on N Eti tied as p Flax ASK.fmtely many repetitionsw

U uwe getEly

Unquenessofthterpt Let F F be two lifts Flo lotof F I Sas before i o t et c Ctm I sit F Etr tie C

Induction assure F F on o tEti tied canceled FCetitie connected Etta tie C Ti r Le some r

p125similarly F Ceti tieD ET r Ui

Page 4: ftp - nd.edu

Ect FCt r r

pe.peF F on Eti tu V

andp jedrive on Vi rF constructed on NxImoreuniquewhenrestrictedholy XI must agree when NxI and N'xI overlapwe have a well defined lift F on YxI Ed

app tFundamental theorem of algebraEvery nonconstant polynomial with coefficients in CC has a not a Q

Proof Wemayassume plz 2 c a Zn t tan Assume p has no rootsin QHr o d g P ret't's pCr defies a loop in theunitcircle S CE

Ip re is par based at 1as r a Ees fr is a homotopy of loopsdoo C 2 3 0 E IT S

cast loop at 2 Hr

take r targe r maxG 2 laitfor lzl r II I r r r fail 171 3 I a zi t tantpolynomial p z 2n t a z t an has no roots on the circle 171_r

her so te lReplacing p with Pt h C andleHag t cEe D

2Tingbe oblan a he topy between Lr and the loop Wncs e ar rep Ptt

ta t oon h L C IT S I

n o do ER Leon11 generator of III Sl

peatMarrununurrunn

Page 5: ftp - nd.edu

inducedLet f X Y cont map 8,8 paths in X Thenif o and 8 have sameendpoints and roof then for fo f IIF't pieif rcn 861 then foCr 8 or f f carpet with

def Let f X Y contmap Themap f Ti Xoxo 1 Ii Yyox Yo ERT for

iscalledthe map of head groups inducedby ffrug

triapft'Xg Y are called 6 topic Tf F a catmap H X't YIt HG o FCK HCox D 67

I'of Y interrooftzapeganib ft X Y

two top spaces X Y are called h py equivalentChronotop c

if F f g XgY st got id go f idy

fEx yo S f 2 EIZ I

g inclusion

we have fog ids go f id yI pt

2 I7 with Hct z iz t I

121

Lenya if f X a CYyo homotopy equivalence of pet tenspaces basepants

then f Ti X x 7 Tilt y is an him

Ex Ti Cellos E it Sl TL