![Page 1: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/1.jpg)
Introduction to Differential Geometry
Ron Kimmel
www.cs.technion.ac.il/~ron
Computer Science Department Technion-Israel Institute of Technology
Geometric Image Processing Lab
![Page 2: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/2.jpg)
Planar Curves C(p)={x(p),y(p)}, p [0,1]
y
x
C(0)
C(0.1) C(0.2)
C(0.4)
C(0.7)
C(0.95)
C(0.9)
C(0.8)
pC =tangent
![Page 3: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/3.jpg)
Arc-length and Curvature
s(p)= | |dp 0
p
| | 1,sC pC
1
C
nCss
nCss
|| p
ps C
CCt
![Page 4: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/4.jpg)
Linear Transformations
Euclidean:
Affine:
.1, and 0, where,,
,},{}~,~{
2121
ii
TT
uuuuuuA
byxAyx
![Page 5: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/5.jpg)
Linear Transformations
Equi-Affine: .1)det( ,},{}~,~{ AbyxAyx TT
![Page 6: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/6.jpg)
Differential Signatures
Euclidean invariant signature )}(,{ ss
s
![Page 7: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/7.jpg)
Differential Signatures
Euclidean invariant signature )}(,{ ss
s
![Page 8: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/8.jpg)
Differential Signatures
Euclidean invariant signature
s
)}(),({ ss s
Cartan Theorem
![Page 9: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/9.jpg)
Differential Signatures
![Page 10: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/10.jpg)
~Affine
![Page 11: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/11.jpg)
~Affine
![Page 12: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/12.jpg)
Image transformation
)),(),,((),( 2112 yxTyxTIyxI
Affine:
Equi-affine:
f
e
y
x
dc
ba
yxT
yxT
),(
),(
2
1
1det
dc
ba
![Page 13: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/13.jpg)
Invariant arclength should be
1. Re-parameterization invariant
2. Invariant under the group of transformations
drCCCFdpCCCFw rrrppp ,...,,,...,,
Geometric measure
Transform
![Page 14: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/14.jpg)
Euclidean arclength
Length is preserved, thus ,
dpCdpdydxdp
dpdydxds pdp
dydp
dx 222222
ds dy
dx
1sC
dpCs p
L
ppp dsdpCCdpCL0
1
0
1
0
21
,Length Total
![Page 15: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/15.jpg)
Euclidean arclength
Length is preserved, thus
pC
dpCCs pp
21
,
1, ss CC
dpCds p
re-parameterizationinvariance
![Page 16: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/16.jpg)
1Area
Equi-affine arclength
Area is preserved, thus
vC
vvC
dpCCv ppp
31
,
1, vvv CC
dsdsCCv sss
31
31
,
dsdv 31
re-parameterizationinvariance
![Page 17: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/17.jpg)
Equi-affine curvature
is the affine invariant curvature
vvvvvvvv
vvvv
vvvvvvvv
vvvdvd
vvv
CCCC
CC
CCCC
CCCC
0,
0,,
0, 1,
![Page 18: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/18.jpg)
Differential Signatures
Equi-affine invariant signature )}(,{ vv
v
![Page 19: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/19.jpg)
From curves to surfaces
Its all about invariant measures…
![Page 20: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/20.jpg)
Surfaces
Topology (Klein Bottle)
![Page 21: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/21.jpg)
Surface
A surface, For example, in 3D
Normal
Area element Total area
2 M: 2 nS nR
),(),,(),,(),( vuzvuyvuxvuS
vu
vu
SS
SSN
N
uS
vS
u vdA S S dudv
dudvSSA vu
![Page 22: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/22.jpg)
Example: Surface as graph of function
A surface, 32: RR S
),(,,),( vuzvyuxvuS
z
x
y
N
xS
yS
![Page 23: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/23.jpg)
Curves on Surfaces: The Geodesic Curvature
NNCCN ssssg
,ˆ
ssC
N
![Page 24: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/24.jpg)
Curves on Surfaces: The Geodesic Curvature
ssC
N
n)(min
)(max
2
1
Principle Curvatures
221
HMean Curvature
21KGaussian Curvature
NCssn
,
Normal Curvature
Gauss
![Page 25: Introduction to Differential Geometry Ron Kimmel ron Computer Science Department Technion-Israel Institute of Technology Geometric](https://reader035.vdocuments.us/reader035/viewer/2022062308/56649d585503460f94a37806/html5/thumbnails/25.jpg)
Geometric measures
Curvature , normal , tangent , arc-length s Mean curvature H Gaussian curvature K principle curvatures geodesic curvature normal curvature tangent plane
www.cs.technion.ac.il/~ron
21,
g
pT
t
n
n
t
n
ssCn