it fjpascale.pages.math.illinois.edu/481sp20/notes/lecture02.pdf · q when can dehni what it means...

7
let M be a set eg M possible configurations of a robot 3 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 map low U R such that du la C R is open and du is l l i xiu h v an ti s I Rink Let IT R IR ke projection IT LX X Xi Given U Qu we get a local coordinate hunchoic Xiu u R p Tiodulp

Upload: others

Post on 14-Jun-2020

0 views

Category:

Documents


0 download

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

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

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

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

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

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

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