it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · q when can dehni what it means...
TRANSCRIPT
![Page 1: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/1.jpg)
let M be a set
eg M possible configurations of a robot 3Q When can dehni what it means for f M IRto be continuous or smooth
Det A coordinator M is a subset UCMand a map low U R such that
du la C R is open and du is l l
ixiu
h
v
anti
s
I
Rink Let IT R IR ke projection IT LX X XiGiven U Qu we get a local coordinate hunchoic
Xiu u R
p Tiodulp
![Page 2: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/2.jpg)
M XE 1123 I 11 11 13
TCxx2 I Hit Clift 72 1
unit sphere S22
Let U x e S X o Northern hemisphere 7
and du U 1122
ex xix7 xix
1 k dula
M
claim du is a coordinate chart
Oulu Cx XI't 1 74 1 3 L X3o
Kxtx 1 446254313,216,07 which is open
Need du to be l l
Suppose X y e U and du duly
![Page 3: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/3.jpg)
x cxix.li xi7gy y y i yand 1 1 2
y yax Y
Nole du t u v u V I z
Attempt fi M R is smooth near peMif there is a chart U da with peusuch that f o chit Gulu Ris smooth
Problemy
Pll Need a chart around each PEMP2 smoothness near p should be independent of choice of thischart
DeI Two charts CU du and V lov on M
are smoothly compatible if either UhV 0
or if ducunV C R is open and
duo Oli't du UAV R is smooth
![Page 4: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/4.jpg)
M
U V
LouL j
du ditEf
DEI A smoothatas on M is a collection of
charts A Ua such thatx EA
II V U MCA
II Any two charts in A are compatible
Def a smooth ft dimension n is a
set M equipped a smooth atlas 9 where each
![Page 5: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/5.jpg)
Ole Ua Rn
M A
De A function f M IR is
smoothnearpcw.intA if for any Cha da c A with
pe Ua the function
f o fit dCua R
is smooth
Pl p t U for some af A by CII
1721 Suppose p E Her Up and
foolIt is smooth We need
to dit to also be smooth
f Get fold d off't
![Page 6: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/6.jpg)
footie di de 17T T
smooth by smooth byassumption I
Exercise the composition of smooth maps is smooth
This follows from chain rule and properties of continuity
![Page 7: it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · Q When can dehni what it means for f M IR to be continuous or smooth Det A coordinator M is a subset UCM and a](https://reader033.vdocuments.net/reader033/viewer/2022060219/5f06bcf57e708231d4197c5c/html5/thumbnails/7.jpg)