Differential Geometry
Differential Geometry
Differential Geometry
For
Master of Mathematics
By
1 of 161
Lecture notes on MTH352: Differential Geometry
2 of 161
Lecture notes on MTH352: Differential Geometry
Chapter 1
3 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 1
History
From the very beginning of the evolution human beings started observing
geometry of objects around.
The first written work is by Euclid. He compiled of his and others work
into volume form known as Euclid's Elements. His work is one of the most
influential works in the history of mathematics. The “Elements” have been
serving as the main textbook for teaching geometry from the 300 B.C. until
the 20th century. For his contributions he is often referred as “Father of
geometry”.
The next major development in geometry was done in Muslim Era. The
need to predict the phases of the Moon for Ramadan and other religious
festivals led to great steps forward in geometry of celestial objects
(astronomy).
4 of 161
Lecture notes on MTH352: Differential Geometry
the Cartesian coordinates built a bridge between algebra and geometry. The following example
reminds us the procedure.
Example: Graph of equation 𝑦 = 𝑥 2 in Euclidean plane. We can sketch the graph by first finding
the images of different values of 𝑥 under the equation 𝑦 = 𝑥 2 . Then we can sketch the ordered pair
in Cartesian plane to get the graph of the equation 𝑦 = 𝑥 2 .
X 0 1 -1 2 -2
Y 0 1 1 4 4
On the same lines we can have Cartesian coordinates in three dimensional space. On the same
lines we can associate a point in space with an ordered triple.
Using these coordinates we can associate curves and surfaces in
space with an equation.
There is a particular emphasis on surfaces in geometry. Mainly because there are many examples
of surfaces around us, for example, surface of earth and the geometry of space due to some heavy
object.
5 of 161
Lecture notes on MTH352: Differential Geometry
Some definitions
Set
A set S is a collection of objects that are called the elements of S.
Subset
A set A is a subset of S provided each element of A is also an element of S.
Function
A function from set 𝐷 to set 𝑅, written as 𝑓 : 𝐷 → 𝑅, is a rule that assigns each element element
of 𝐷 to a unique element of 𝑅
6 of 161
Lecture notes on MTH352: Differential Geometry
Domain
𝐷 is called domain of 𝑓.
Range
𝑅 is called range of 𝑓.
Image
For x ∈ 𝐷, 𝑓(𝑥) is called image of 𝑥 under 𝑓. In above example 𝑓(𝑎) = 1. Image of the function 𝑓
is the set {𝑓(𝑥): 𝑥 ∈ 𝐷}. In above example image of 𝑓 is {1,2,4}.
Composite Function
Let 𝑓: 𝐷 → 𝑅 and 𝑔: 𝐸 → 𝑆 such that g(𝐸) ⊂ 𝐷 then 𝑓 ∘ 𝑔(𝑥) = 𝑓(𝑔(𝑥)).
One-to-one
𝑓: 𝐷 → 𝑅, 𝑓(𝑥) = 𝑓(𝑦) )𝑥 = 𝑦.
Example: 𝑓(𝑥) = 1 + 𝑥.
7 of 161
Lecture notes on MTH352: Differential Geometry
Onto functions
A function 𝑓: 𝐴 → 𝐵, is onto if 𝑓(𝐴) = 𝐵.
Inverse
𝑓: 𝐷 → 𝑅 is one-to-one and onto, then 𝑓 has inverse 𝑓 −1 : 𝑅 → 𝐷, such that 𝑦 → 𝑥 where 𝑦 = 𝑓(𝑥).
Or
𝑔 is inverse of 𝑓 if 𝑓 ∘ 𝑔 = 𝑔 ∘ 𝑓 = 𝐼.
Euclidean 3-Space
Euclidean 3-space 𝑹 is the set of all ordered triples of real
numbers. Such a triple 𝑝 = (𝑝1 , 𝑝2 , 𝑝3 ) is called a point of 𝑹𝟑 .
𝑝 + 𝑞 = (𝑝1 + 𝑞1 , 𝑝2 + 𝑞2 , 𝑝3 + 𝑞3 )
𝑹𝟑 is a vector space .
8 of 161
Lecture notes on MTH352: Differential Geometry
𝛼 + 𝛽 ∈ 𝐹, and 𝛼. 𝛽 ∈ 𝐹
𝛼 + 𝛽 = 𝛽 + 𝛼 and 𝛼. 𝛽 = 𝛽. 𝛼
𝛼 + 0 = 0 + 𝛼 = 𝛼, 𝛼. 1 = 𝛼
−𝛼 ∈ 𝐹 , 𝛼 + (−𝛼) = (−𝛼) + 𝛼 = 0
𝛼. (𝛽 + 𝛾) = 𝛼. 𝛽 + 𝛼𝛾
Example: Set of real numbers and set of rational numbers are examples of field.
Vector Space
A vector space over a field is a set 𝑉 such that: for any 𝛼, 𝛽 ∈ 𝐹 and 𝑣, 𝑤 ∈ 𝑉, the following hold.
Associativity of addition 𝑢 + (𝑣 + 𝑤) = (𝑢 + 𝑣) + 𝑤
9 of 161
Lecture notes on MTH352: Differential Geometry
Coordinate functions
Let 𝑥, 𝑦, and 𝑧 be real-valued functions on 𝑅 3 such the for each point 𝑝 = (𝑝1 , 𝑝2 , 𝑝3 ) we have
We can use
𝑥1 = 𝑥, 𝑥2 = 𝑦, 𝑥3 = 𝑧
Differentiable OR 𝑪∞ functions
A real-valued function 𝑓 on 𝑹𝟑 is differentiable (or infinitely differentiable, or smooth, or of class
𝐶 ∞ ) provided all partial derivatives of 𝑓, of all orders, exist and are continuous.
𝜕𝑓 𝜕𝑓
= 2𝑥𝑦, = 𝑥2.
𝜕𝑥 𝜕𝑦
𝜕 2𝑓 𝜕 2𝑓 𝜕 2𝑓
= 2𝑦, = 0, = 2𝑥.
𝜕𝑥 2 𝜕𝑦 2 𝜕𝑥𝜕𝑦
Which are continuous again. Similarly we can see that all the partial derivatives of 𝑓(𝑥, 𝑦) are
continuous so 𝑓(𝑥, 𝑦) is a smooth function.
10 of 161
Lecture notes on MTH352: Differential Geometry
Differentiable real-valued functions 𝑓 and 𝑔 may be added and multiplied in the following way
Chain rule
If g is differentiable at x and f is differentiable at g(x) then the composition 𝑓 ∘ 𝑔 is differentiable at
x. Moreover, if
y f ( g ( x)) and u g ( x)
Alternatively
d
f g x f g x f g x g x
dx
Derivative of
inside function
Example:
𝑑𝑦
Find 𝑑𝑥 if 𝑦 = 𝑐𝑜𝑠 (𝑥 3 ).
Solution: Let
𝑢 = 𝑥3
Then
11 of 161
Lecture notes on MTH352: Differential Geometry
𝑦 = cos 𝑢 .
Now
𝑑𝑦
= − sin 𝑢.
𝑑𝑢
And
𝑑𝑢
= 3𝑥 2
𝑑𝑥
So by using chain rule
Rates of
𝑑𝑦 𝑑𝑦 𝑑𝑢
= × change
𝑑𝑥 𝑑𝑢 𝑑𝑥 multiply
𝑑𝑦
= (− sin 𝑢)(3𝑥 2 )
𝑑𝑥
𝑑𝑦
= −3𝑥 2 sin 𝑥 3
𝑑𝑥
𝜕 𝜕 𝜕𝑓
sin 𝑓 = ( sin 𝑓 ) ( ).
𝜕𝑦 𝜕𝑓 𝜕𝑦
𝜕
sin 𝑓 = (cos 𝑓 )(𝑥 2 ).
𝜕𝑦
12 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 2
Tangent vectors
Vector field
Vectors in 𝑹𝟑
Intuitively a vector in 𝑅 3 is an oriented line segment or “arrow”. Vectors are used to describe
vector quantities such as force, velocities, angular momenta etc.
For practical purposes there is a problem with this definition and needs to be improved. According
to above definition two translated vectors are same, but in real life two vectors can have different
effect if there initial points are different (see picture below). So we need to incorporate the initial
point in the definition of vector.
13 of 161
Lecture notes on MTH352: Differential Geometry
To define a vector v precisely we mention the starting point p of the vector as well.
Tangent vectors
Definition: A tangent vector 𝑣𝑝 to 𝑅3 consists of two points of 𝑅3; its vector part 𝑣 and its
point of application 𝑝.
𝑣𝑝 = (2,3,2)(1,1,3)
14 of 161
Lecture notes on MTH352: Differential Geometry
Note: Each point of 𝑹𝟑 has its own tangent space. They are all
different from each other.
Here we give a recall of the method of parallelogram law, scalar multiple of a vector, linear
transformation, and isomorphism of vector spaces.
Let 𝑐 be scalar, then for vector 𝐴, 𝑐𝐴 stretches or shrinks 𝐴 by the factor 𝑐, and reverse the
direction if 𝑐 < 0.
𝑣𝑝 + 𝑤𝑝 = (𝑣 + 𝑤)𝑝
𝑐𝑣𝑝 = (𝑐𝑣)𝑝
Fact : 𝑇𝑝 (𝑅3) is vector space under the above addition and scalar multiplication.
L(𝑐𝑣) = 𝑐𝐿(𝑣).
15 of 161
Lecture notes on MTH352: Differential Geometry
Isomorphism: Two vector spaces 𝑉 and 𝑊 are isomorphic if there exist a bijective linear
transformation between them L: 𝑉 → 𝑊. A bijective linear transformation 𝐿 is also called an
isomorphism.
Fact: Tp (R3) is isomorphic to R3. The isomorphism L: Tp (R3 ) → R3 between them such that for
vp ∈ Tp (R3 )
Using above definition we can conclude that the map L: Tp (R3 ) → R3 defined as
L(vp ) = v.
is an isomorphism.
Vector field
There are many examples of vector field around us, for example, the gravitational field etc. In such
vector fields each point of the domain space represents a vector, for example, in case of gravitation
vector field each point of the space represents a vector, directed towards the center of the earth
and the magnitude representing the amount of force with which earth attracts the object towards
itself. As the force of attraction of earth reduced as the object moves away from the center of earth
so there will be vectors of different length in the gravitational vector field.
16 of 161
Lecture notes on MTH352: Differential Geometry
Since a vector field is a function so we can add two vector fields just like we add functions. So if 𝑉
and 𝑊 are two vector fields on 𝑅 3 then
(𝑓𝑉)(𝑝) = 𝑓(𝑝)𝑉(𝑝).
𝑈1 (𝑝) = (1,0,0)𝑝
𝑈2 (𝑝) = (0,1,0)𝑝
𝑈3 (𝑝) = (0,0,1)𝑝
The following result shows how to factorize given vector field into combination of natural frame:
Lemma: If 𝑉 is a vector field on 𝑅3, there are three uniquely determined real-valued functions,
𝑣1 , 𝑣2 , 𝑣3 on 𝑅 3 such that
𝑉 = 𝑣1 𝑈1 + 𝑣2 𝑈2 + 𝑣3 𝑈3
17 of 161
Lecture notes on MTH352: Differential Geometry
We always assume vector fields are differentiable. So from now on vector field means
18 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 3
Contents:
Directional derivatives
How to differentiate composite functions (Chain rule)
How to compute directional derivatives more efficiently
The main properties of directional derivatives
Operation of a vector field
Basic properties of operations of vector fields
The main of the lecture is to discuss directional derivative of real-valued functions on 𝑅 3 . Recall
that a real-valued function on 𝑅 3 , written as 𝑓: 𝑅 3 → 𝑅, has domain 𝑅 3 and range 𝑅. Graph of such
a function is a surface, for example, the graph in the following is a graph of a real-valued function
on 𝑅 3 .
𝒕 → 𝒑 + 𝒕𝒗
19 of 161
Lecture notes on MTH352: Differential Geometry
Definition: Let 𝑓 be a differentiable real-valued function on 𝑹𝟑, and let 𝑣𝑝 be a tangent vector
to 𝑹𝟑 . Then the number
𝑑
𝑣𝑝 [𝑓] = (𝑓(𝑝 + 𝑡𝑣))|𝑡=0
𝑑𝑡
Is called the derivative of 𝑓 with respect to 𝑣𝑝 .
Here the derivative of the curve means the same thing as we did in calculus of one variable (In fact
the green curve in above graph is contained in a plane which is not shown in the graph).
The directional derivative 𝑣𝑝 [𝑓] informs us about the change in the value of 𝑓 as we move
away from 𝑝 in the direction 𝑣𝑝 .
Example: Compute 𝑣𝑝 [𝑓] for the function 𝑓 = 𝑥 2 𝑦𝑧, with 𝑝 = (1,1,0) and 𝑣 = (1,0, −3).
Now
𝑑 𝑑
(𝑓(𝑝 + 𝑡𝑣)) = (−3𝑡 − 6𝑡 2 − 3𝑡 3 ) = −3 − 12𝑡 − 9𝑡 2
𝑑𝑡 𝑑𝑡
20 of 161
Lecture notes on MTH352: Differential Geometry
The following results can be used to calculate directional derivatives more efficiently.
Now
Since
𝑑
(𝑝 + 𝑡𝑣𝑖 ) = 𝑣𝑖
𝑑𝑡 𝑖
By using chain rule, we get
𝑑 𝜕𝑓 𝑑 𝜕𝑓
𝑣𝑝 [𝑓] = 𝑓(𝑝 + 𝑡𝑣 )|𝑡=0 = ∑ (𝑝𝑖 + 𝑡𝑣𝑖 )|𝑡=0 = ∑𝑣𝑖 (𝑝)
𝑑𝑡 𝜕𝑥𝑖 𝑑𝑡 𝜕𝑥𝑖
Example: Compute 𝑣𝑝 [𝑓] for the function 𝑓 = 𝑥 2𝑦𝑧, with 𝑝 = (1,1,0) and 𝑣 = (1,0, −3).
21 of 161
Lecture notes on MTH352: Differential Geometry
𝜕𝑓
𝑣𝑝 [𝑓] = ∑𝑣𝑖 (𝑝).
𝜕𝑥𝑖
So we calculate
𝜕𝑓 𝜕𝑓 𝜕𝑓
= 2𝑥𝑦𝑧, = 𝑥 2 𝑧, = 𝑥2𝑦
𝜕𝑥 𝜕𝑦 𝜕𝑧
𝜕𝑓 𝜕𝑓 𝜕𝑓
= 0, = 0, =1
𝜕𝑥 𝜕𝑦 𝜕𝑧
So
𝜕𝑓
𝑣𝑝 [𝑓] = ∑𝑣𝑖 (𝑝) = 1(0) + 0(0) − 3(1) = −3
𝜕𝑥𝑖
Theorem: Let 𝑓 and 𝑔 be functions on 𝑹𝟑, 𝑣𝑝 and 𝑤𝑝 tangent vectors, 𝑎 and 𝑏 numbers. Then
1)- (𝑎𝑣𝑝 + 𝑏𝑤𝑝 )[𝑓] = 𝑎𝑣𝑝 [𝑓] + 𝑏𝑤𝑝 [𝑓].
Proof (3):
22 of 161
Lecture notes on MTH352: Differential Geometry
Definition: Let 𝑉 be a vector field, and let 𝑓: 𝑹𝟑 → 𝑹 be a function. Then 𝑉[𝑓] be the function
defined by
So 𝑉[𝑓] is a function which to each point 𝑝 in 𝑹𝟑 gives us the derivative of 𝑓 with respect to the
tangent vector 𝑉(𝑝).
Example: For the natural fame field 𝑈1, 𝑈2, 𝑈3, we get
𝑈1 [𝑓](𝑝) = 𝑈1 (𝑝)[𝑓] = (1,0,0)𝑝 [𝑓]
So we get
𝜕𝑓 𝜕𝑓 𝜕𝑓 𝜕𝑓
𝑈1 [𝑓](𝑝) = 𝑈1 (𝑝)[𝑓] = (1,0,0)𝑝 [𝑓] = 1 (𝑝) + 0. (𝑝) + 0 (𝑝) = (𝑝).
𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑥
Corollary: Let 𝑉 and 𝑊 be vector fields on 𝑹𝟑 and 𝑓, 𝑔 and ℎ are real-valued function, then
Example: Let 𝑉 be a vector field 𝑉 = 𝑥 2 𝑈1 + 𝑦𝑈3 and let 𝑓be the function 𝑓 = 𝑥 2 𝑦 − 𝑦 2𝑧.
Calculate 𝑉[𝑓].
Solution:
𝑉[𝑓] = (𝑥 2 𝑈1 + 𝑦𝑈3 )(𝑥 2 𝑦 − 𝑦 2 𝑧)
We get
= (𝑥 2 𝑈1 + 𝑦𝑈3 )𝑥 2 𝑦 − (𝑥 2 𝑈1 + 𝑦𝑈3 )𝑦 2 𝑧
= 𝑥 2 (2𝑥𝑦) + 𝑦. 0 − 𝑥 2 . 0 − 𝑦(𝑦 2 )
= 2𝑥 3 𝑦 − 𝑦 3 .
24 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 4
Contents:
Curves in 𝑅 3
Velocity Vectors
Reparametrization of Curves in 𝑅 3
Properties of Curves
Conclusion
Curves in 𝑹𝟑
Open intervals in 𝑅
• {𝑡| 𝑏 < 𝑡}
• {𝑡|𝑡 < 𝑎}
• 𝑅
25 of 161
Lecture notes on MTH352: Differential Geometry
in 𝑹𝟑 for 𝑡 ∈ (0,8).
In rigorous terms:
𝛼 is a function from 𝐼 to 𝑹𝟑 ,
write
The real-valued functions 𝛼1 (𝑡), 𝛼2 (𝑡), and 𝛼3 (𝑡) are called Euclidean coordinate functions.
𝛼: 𝑹 → 𝑹𝟑
defined as
26 of 161
Lecture notes on MTH352: Differential Geometry
Circle:
Helix:
If we allow this curve to rise (or fall) at a constant rate, we obtain a helix
𝛼: 𝑹 → 𝑹𝟑
defined as
where 𝑎 > 0, 𝑏 ≠ 0.
𝑡
𝛼(𝑡) = (1 + cos 𝑡 , sin 𝑡 , 2 sin )
2
is a curve. The green line in the figure shows the curve.
27 of 161
Lecture notes on MTH352: Differential Geometry
Example:
The curve 𝛼: 𝑹 → 𝑹𝟑 defined as
Example:
The curve 𝛼: 𝑹 → 𝑹𝟑 defined by
𝛼(𝑡) = (3𝑡 − 𝑡 3 , 3𝑡 2 , 3𝑡 + 𝑡 3 )
Velocity vector
Definition: Let 𝛼: 𝐼 → 𝑹𝟑 be a curve in 𝑹𝟑 with 𝛼 = (𝛼1, 𝛼2, 𝛼3). For each number 𝑡 in 𝐼, the
velocity vector of 𝛼 at 𝑡 is the tangent vector
28 of 161
Lecture notes on MTH352: Differential Geometry
Geometric interpretation:
29 of 161
Lecture notes on MTH352: Differential Geometry
Q1 (Exercise 1.4): Compute the velocity vector of the curve in Example 4.2(3) for arbitrary
𝜋 𝜋
𝑡 and for 𝑡 = 0, 𝑡 = 4 , 𝑡 = 2 visualizing these on figure 1.8.
𝑡
𝛼(𝑡) = (1 + cos 𝑡 , sin 𝑡 , 2 sin 2).
Now by definition
𝑑𝛼 𝑑𝛼2 𝑑𝛼3
𝛼 ′ (𝑡) = ( 𝑑𝑡1 (𝑡), (𝑡), (𝑡))
𝑑𝑡 𝑑𝑡
𝛼(𝑡)
Now at 𝒕 = 𝟎
𝛼(0) = (2,0 , 0 ).
and hence
30 of 161
Lecture notes on MTH352: Differential Geometry
𝝅
Now at 𝒕 = 𝟒
𝜋 1+√2 1
𝛼 (4 ) = ( , , 0.76537).
2 √2
and hence
𝜋 1 1
𝛼 ′ (4 ) = (− , , 0.92388 ) 1+√2 1
.
√2 √2 ( , ,0.76537)
2 √2
𝝅
Now at 𝒕 = 𝟐
𝜋
𝛼 (2 ) = (1 , 1 , √2 )
and hence
𝜋
𝛼 ′ (2 ) = (−1,0,
1
√2
) .
(1 ,1 ,√2 )
Reparametrization of Curves in 𝑹𝟑
Definition: Let 𝛼: 𝐼 → 𝑹𝟑 be a curve. If ℎ: 𝐽 → 𝐼 is a differentiable function on an open interval
𝐽, then the composite function
𝛽 = 𝛼(ℎ): 𝐽 → 𝑹𝟑
31 of 161
Lecture notes on MTH352: Differential Geometry
Now
Which yields
𝛽′(𝑡) = 𝛼′( ℎ(𝑠)) = (𝛼1′ (ℎ(𝑠))ℎ′ (𝑠), 𝛼2′ (ℎ(𝑠))ℎ′ (𝑠), 𝛼3′ (ℎ(𝑠))ℎ′ (𝑠))
= ℎ′ (𝑠)𝛼 ′ (𝑠) .
Q3 (Exercise 1.4): Find the coordinate function of the curve 𝛽 = 𝛼(ℎ), where 𝛼 is the curve
in example 4.2(3) and ℎ(𝑠) = cos−1 (𝑠) on 𝐽: 0 < 𝑠 < 1.
𝑡
𝛼(𝑡) = (1 + cos 𝑡 , sin 𝑡 , 2 sin ).
2
32 of 161
Lecture notes on MTH352: Differential Geometry
In this case
So
𝜕𝑓 𝑑𝛼𝑖
𝛼 ′ (𝑡)[𝑓] = ∑ (𝛼(𝑡)) (𝑡)
𝜕𝑥𝑖 𝑑𝑡
𝑑(𝑓(𝛼))
𝛼 ′ (𝑡)[𝑓] = (𝑡).
𝑑𝑡
Properties of Curves
One-to-one curves: The function 𝛼: 𝐼 → 𝑹𝟑 is one-to one if
If 𝛼 is one-to-one then the curve does not intersect itself, or stay in the same point without
moving on, or repeat itself over after some time.
Periodic curves:
A curve 𝛼: 𝑹 → 𝑹𝟑 is called periodic if there is a positive number 𝑝 such that
33 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 5
Contents:
1-forms
Differentials
Properties of differentials
Classical differentials:
If 𝑓 is a real-valued function on 𝑹𝟑 , then in elementary calculus the differential of 𝑓 is usually
defined as
𝜕𝑓 𝜕𝑓 𝜕𝑓
𝑑𝑓 = 𝑑𝑥 + 𝑑𝑦 + 𝑑𝑧.
𝜕𝑥 𝜕𝑦 𝜕𝑧
𝑑𝑓 here calculates the small change in the value of 𝑓 when there is small change (dx, 𝑑𝑦, 𝑑𝑧) in 𝑥,
𝑦 and 𝑧.
𝝏𝒇 𝝏𝒇 𝝏𝒇
What does 𝒅𝒇 = 𝝏𝒙 𝒅𝒙 + 𝝏𝒚 𝒅𝒚 + 𝝏𝒛 𝒅𝒛 means?
We will see the meaning of this expression using the notion of 1-forms.
Definition:
A 1 −form 𝜙 on 𝑹𝟑 is a real-valued function on the set of all tangent vectors to 𝑹𝟑 such that 𝜙 is
linear at each point, that is,
34 of 161
Lecture notes on MTH352: Differential Geometry
Fact:
For fix point p in 𝑹𝟑 the resulting fucntion 𝜙𝑝 : 𝑇𝑝 (𝑹𝟑 ) → 𝑹 is linear.
Let 𝑓: 𝑹𝟑 → 𝑹 be a real valued function and 𝜙 be a one form. Then for any tangent vector 𝑣𝑝 to 𝑹𝟑
we define:
(𝑓𝜙)(𝑣𝑝 ) = 𝑓(𝑝)𝜙(𝑣𝑝 )
Differentiable 𝟏-form
A 1-form 𝜙 is differentiable if 𝜙(𝑉) is differentiable whenever 𝑉 is differentiable then 𝜙 is
differentiable .
Properties of 𝝓(𝑽)
The linearity of 𝜙 and vector field properties imply that:
and
35 of 161
Lecture notes on MTH352: Differential Geometry
Definition:
If 𝑓 is a differentiable real-valued function on 𝑹𝟑 , the differential 𝑑𝑓 of 𝑓 is the
𝑑𝑓(𝑣𝑝 ) = 𝑣𝑝 [𝑓]
Fact:
For any real-valued function 𝑓 on 𝑹𝟑 the differential of 𝑓 knows directional derivative of 𝑓 in
every direction 𝑣𝑝 .
𝑥1 (𝑝1 , 𝑝2 , 𝑝3 ) = 𝑝1
𝑥2 (𝑝1 , 𝑝2 , 𝑝3 ) = 𝑝2
𝑥3 (𝑝1 , 𝑝2 , 𝑝3 ) = 𝑝3 .
Now we calculate differentials of these natural coordinate functions. Using definition of 𝑑𝑓 we get,
for any tangent vector 𝑣𝑝 :
𝜕𝑥𝑖
𝑑𝑥𝑖 (𝑣𝑝 ) = 𝑣𝑝 [𝑥𝑖 ] = ∑ (𝑝)𝑣𝑗 = ∑ 𝛿𝑖𝑗 𝑣𝑗 = 𝑣𝑖
𝜕𝑥𝑗
𝑗
1 𝑤ℎ𝑒𝑛 𝑖 = 𝑗
𝛿𝑖𝑗 = {
0, 𝑤ℎ𝑒𝑛 𝑖 ≠ 𝑗
36 of 161
Lecture notes on MTH352: Differential Geometry
𝜓(𝑣𝑝 ) = 𝑓1 (𝑝) 𝑑𝑥1 (𝑣) + 𝑓2 (𝑝) 𝑑𝑥2 (𝑣) + 𝑓3 (𝑝) 𝑑𝑥3 (𝑣)
= ∑ 𝑓𝑖 (𝑝)𝑣𝑖
𝑖
Next: we show that in fact each 1-form can be written in the form of 𝜓 above.
Proof:
𝜕𝑓 𝜕𝑓 𝜕𝑓
𝑑𝑓 = 𝑑𝑥 + 𝑑𝑦 + 𝑑𝑧.
𝜕𝑥 𝜕𝑦 𝜕𝑧
37 of 161
Lecture notes on MTH352: Differential Geometry
Proof:
Product rule:
Lemma: Let 𝑓𝑔 be the product of differentiable functions 𝑓 and 𝑔 on 𝑹𝟑. Then
𝑑(𝑓𝑔) = 𝑔𝑑𝑓 + 𝑓𝑑𝑔
Proof:
Chain rule:
Lemma: Let 𝑓: 𝑹𝟑 → 𝑹 and ℎ: 𝑹 → 𝑹 be differentiable functions, so the composite function
ℎ(𝑓): 𝑹𝟑 → 𝑹 is also differentiable. Then
𝑑(ℎ(𝑓)) = ℎ′ (𝑓)𝑑𝑓.
Now
38 of 161
Lecture notes on MTH352: Differential Geometry
39 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 6
Contents
Differential Forms
𝑝-forms
Exterior derivatives
Conclusion
Differential Forms
1 −forms (we discussed in last lecture) are part of a larger system called differential forms.
Will discuss some properties of differential forms rather than full description.
Examples:
1)- 𝑥 2 𝑑𝑥𝑑𝑦 + 𝑥𝑦𝑑𝑦𝑑𝑧 + (𝑥𝑧 + 𝑦 2 )𝑑𝑧𝑑𝑦
3)- 𝑥 2 𝑦 2 𝑑𝑥𝑑𝑦𝑑𝑧 .
40 of 161
Lecture notes on MTH352: Differential Geometry
The multiplication of forms 𝑑𝑥 𝑑𝑦 is not the usual multiplication and is not commutative. In
fact
𝑑𝑥 𝑑𝑦 = −𝑑𝑦 𝑑𝑥.
This is a special kind of multiplication called “Wedge product”, we denote it by " ∧ " (called
wedge). Hence the above expression becomes:
𝑑𝑥 ∧ 𝑑𝑦 = −𝑑𝑦 ∧ 𝑑𝑥.
Other properties of wedge product are as follows. For differential forms 𝛼, 𝛽 and 𝛾 we have:
1) 𝛼 ∧ (𝛽 ∧ 𝛾) = (𝛼 ∧ 𝛽) ∧ 𝛾
2) 𝛼 ∧ (𝛽 + 𝛾) = 𝛼 ∧ 𝛽 + 𝛼 ∧ 𝛾
We will ignore the " ∧ " sign where ever it is clear that what kind of multiplication we are
considering.
An important consequence of the wedge product is that “repeats are zero”, due to “alternation
rule”. Which means
𝑑𝑥 ∧ 𝑑𝑥 = 0.
Similarly
𝑑𝑦 ∧ 𝑑𝑦 = 0 and 𝑑𝑧 ∧ 𝑑𝑧 = 0.
In fact
𝑑𝑥 ∧ 𝑑𝑥 = −𝑑𝑥 ∧ 𝑑𝑥 ⇒ 2 𝑑𝑥 ∧ 𝑑𝑥 = 0 ⇒ 𝑑𝑥 ∧ 𝑑𝑥 = 0
𝑑𝑦 ∧ 𝑑𝑦 = 0 and 𝑑𝑧 ∧ 𝑑𝑧 = 0.
41 of 161
Lecture notes on MTH352: Differential Geometry
Notice that on 𝑅 3 , where we have three coordinates namely 𝑥, 𝑦, 𝑧 the 4-forms and higher 𝑝-forms
are zero due to the “alternation rule”. For instance
𝑑𝑥 ∧ 𝑑𝑦 ∧ 𝑑𝑧 ∧ 𝑑𝑦 = 0.
Proof: Write
𝜙 = ∑ 𝑓𝑖 𝑑𝑥𝑖
and
𝜓 = ∑ 𝑔𝑖 𝑑𝑥𝑖 .
Then
42 of 161
Lecture notes on MTH352: Differential Geometry
Exterior derivative
Recall:
Definition:
𝑑𝑓(𝑣𝑝 ) = 𝑣𝑝 [𝑓]
We can generalize this concept to define an apply it on a 𝑝-form and get a (𝑝 + 1)-form.
We know that:
43 of 161
Lecture notes on MTH352: Differential Geometry
Definition: Let 𝜓 = 𝑓𝑑𝑥𝑑𝑦 + 𝑔𝑑𝑥𝑑𝑧 + ℎ𝑑𝑦𝑑𝑧 be a 2-form. Then the exterior derivative of 𝜓 is
the 3-form
2) 𝑑(𝑓𝜙) = 𝑑𝑓 ∧ 𝜙 + 𝑓 𝑑𝜙
3) 𝑑(𝜙 ∧ 𝜓) = 𝑑𝜙 ∧ 𝜓 − 𝜙 ∧ 𝑑𝜓
𝜙 = 𝑓 𝑑𝑥 and 𝜓 = 𝑔 𝑑𝑦 then:
44 of 161
Lecture notes on MTH352: Differential Geometry
and
and
𝜙 = ∑ 𝑓𝑖 𝑑𝑥𝑖
and
𝜓 = ∑ 𝑔𝑖 𝑑𝑥𝑖 .
45 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 7
Contents:
Introduction to Mappings
Tangent Maps
Introduction to Mappings
Our aim:
𝑓: 𝑅 𝑚 → 𝑅 𝑛
𝑓: 𝑅 2 → 𝑅 2 , 𝑓: 𝑅 2 → 𝑅 3, 𝑓: 𝑅 3 → 𝑅 3
These function are called the Euclidean coordinate functions of 𝐹, and we write 𝐹 = (𝑓1 , 𝑓2 , … , 𝑓𝑚 ).
46 of 161
Lecture notes on MTH352: Differential Geometry
To see the effect of this mapping we consider images of a special curve 𝛼 in 𝑅 2 under this mapping,
namely circle of radius r, given as
Tangent Maps
47 of 161
Lecture notes on MTH352: Differential Geometry
Our next goal is to find analogous linear approximation for the mapping 𝐹: 𝑅 𝑛 → 𝑅 𝑚 near a
point 𝑝 ∈ 𝑅 𝑛 .
For this we once again used special curves in 𝑅 𝑛 , namely lines associated to tangent vectors 𝑣𝑝 . We
approximate 𝐹 near 𝑝 by the map 𝐹∗ .
48 of 161
Lecture notes on MTH352: Differential Geometry
are linear
An important property of tangent maps which is a consequence of proposition is:
Corollary: If 𝐹: 𝑅𝑛 → 𝑅𝑚 is a mapping, then at each point 𝑝 of 𝑅3 the tangent map 𝐹∗: 𝑇𝑝 (𝑅𝑛 ) →
𝑇𝐹(𝑝) (𝑅 𝑚 ) is a linear transformation.
Proof: We take 𝑚 = 3
we have
for 1 ≤ 𝑗 ≤ 𝑛 .
49 of 161
Lecture notes on MTH352: Differential Geometry
𝜕𝑓𝑖
( (𝑝))
𝜕𝑓𝑗
1≤𝑗≤𝑛,1≤𝑖≤𝑚
Definition: A mapping 𝐹: 𝑅 𝑛 → 𝑅 𝑚 is regular provided that at every point 𝑝 of 𝑅 𝑛 the tangent map
𝐹∗𝑝 is one-to-one.
𝐹∗ 𝑝 is one-to-one
Diffeomorphism
Definition: if 𝐹: 𝑅𝑛 → 𝑅𝑚 has an inverse mapping, then 𝐹 is called diffeomorphism.
Inverse function theorem.
Theorem: Let 𝐹: 𝑅𝑛 → 𝑅𝑚 be a mapping. If 𝐹∗𝑝 is one-to-one at 𝑝, then there is a restriction of
𝐹 to an open set containing 𝑝 which is a diffeomorphism.
50 of 161
Lecture notes on MTH352: Differential Geometry
Chapter 2
Lecture #8
Contents:
Frames
We study distances and angles in geometry. We will see that geometry of Euclidean spaces can be
derived from dot product.
Definition: Let
𝑝 = (𝑝1 , 𝑝2 , 𝑝3 ) and 𝑞 = (𝑞1 , 𝑞2 , 𝑞3 )
𝑝 ∙ 𝑞 = 𝑝1 𝑞1 + 𝑝2 𝑞2 + 𝑝3 𝑞3
1. Bilinearity:
51 of 161
Lecture notes on MTH352: Differential Geometry
2. Symmetry:
𝑝. 𝑞 = 𝑞. 𝑝
3. Positive definiteness
𝑝. 𝑝 ≥ 0
and
𝑝. 𝑝 = 0 ⇒ 𝑝 = 0
1
‖𝑝‖ = (𝑝 ∙ 𝑝)2 = √𝑝12 + 𝑝22 + 𝑝32
‖𝒑 + 𝒒‖ ≤ ‖𝒑‖ + ‖𝒒‖
‖𝑎𝒑‖ = |𝑎|‖𝒑‖
Distances in 𝑹𝟑
If 𝑝 and 𝑞 are two points of 𝑅 3 , the Euclidean distance from 𝑝 to 𝑞 is the number
𝑑(𝑝, 𝑞) = ‖𝑝 − 𝑞‖
So we calculate
52 of 161
Lecture notes on MTH352: Differential Geometry
Open sets
The distance formula can be used to give a precise definition of
open sets.
∀𝑝 ∈ O ∃ 𝜖 > 0: N 𝜖 (𝑝) ⊂ O
Definition: The dot product of tangent vectors 𝑣𝑝 and 𝑤𝑝 at the same point of 𝑅 3 is the number
𝑣𝑝 . 𝑤𝑝 = 𝑣. 𝑤.
Similarly we can define norm of any tangent vector in the following way.
Definition: The norm, or length, of a tangent vector 𝑣𝑝 is the norm of its vector part, that is,
‖𝑣𝑝 ‖ = ‖𝑣‖
Schwarz inequality:
|𝑣. 𝑤| ≤ ‖𝑣‖‖𝑤‖
This permits us to define the cosine of the angel between two vectors as:
53 of 161
Lecture notes on MTH352: Differential Geometry
Definition: To any non-zero vectors 𝑣 and 𝑤 define the cosine of the angle between 𝑣 and 𝑤
by
𝑣. 𝑤 = ‖𝑣‖‖𝑤‖ cos 𝜃
Frames
Definition: A set 𝑒1 , 𝑒2 , 𝑒3 of three mutually orthogonal unit vectors
tangent to 𝑅 3 at point 𝑝 is called a frame at the point 𝑝.
We can say that a set of three tangent vectors 𝑒1 , 𝑒2 , 𝑒3 in 𝑇𝑝 (𝑅 3 ) is a frame at 𝑝 if the vectors
satisfy
𝑒1 . 𝑒2 = 𝑒1 . 𝑒3 = 𝑒2 . 𝑒3 = 0
𝑒1 . 𝑒1 = 𝑒2 . 𝑒2 = 𝑒3 . 𝑒3 = 1
We can write down the same definition using notion of Kronecker delta function 𝛿𝑖𝑗 defined as
0, 𝑖𝑓 𝑖 ≠ 𝑗
𝛿𝑖𝑗 = {
1, 𝑖𝑓 𝑖 = 𝑗
Definition: The set of tangent vectors 𝑒1, 𝑒2, 𝑒3 to 𝑅3 at 𝑝 is a frame at 𝑝 if and only if
𝑒𝑖 . 𝑒𝑗 = 𝛿𝑖𝑗 for all 𝑖, 𝑗 ∈ {1,2,3}
Theorem: Let 𝑒1, 𝑒2, 𝑒3 be a frame at a point 𝑝 of 𝑅 3 . If 𝑣 is any tangent vector to 𝑅 3 at 𝑝, then
54 of 161
Lecture notes on MTH352: Differential Geometry
Now we know that the tangent space 𝑇𝑝 (𝑹𝟑 ) is isomorphic to 𝑹𝟑 . So three linearly independent
vectors form a basis of 𝑇𝑝 (𝑹𝟑 ).
55 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 9
Contents:
Cross Product
If
Then
𝑎11 𝑎12 𝑎13
𝐴 = (𝑎21 𝑎22 𝑎23 )
𝑎31 𝑎32 𝑎33
Definition:
If the rows of a square matrix are orthonormal, then the matrix is called orthogonal.
56 of 161
Lecture notes on MTH352: Differential Geometry
Definition:
The transpose of 3 × 3 matrix is defined by
1 0 0
𝑡
𝐴𝐴 = (0 1 0)
0 0 1
So 𝐴𝑡 is inverse of 𝐴.
Cross Product
Cross Product:
Let 𝑣 and 𝑤 be tangent vectors to 𝑅 3 at a point 𝑝. The cross product of 𝑣 and 𝑤 is the
determinant
and
57 of 161
Lecture notes on MTH352: Differential Geometry
Alternation Rule:
If 𝑣, 𝑤 are tangent vectors to 𝑅 3 at a point 𝑝, then
𝑣 × 𝑤 = −𝑤 × 𝑣
‖𝑣 × 𝑤‖ = ‖𝑣‖‖𝑤‖ sin 𝜃
58 of 161
Lecture notes on MTH352: Differential Geometry
𝑢. 𝑣 × 𝑤
59 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 10
Contents:
Speed Of A Curve
Speed Of A Curve
Speed
Let a car moves between Islamabad and Quetta and follow the path
𝛼 = (𝛼1 , 𝛼2 ): 𝐼 → 𝑅 2
given by
𝛼(𝑡) = (𝑡 2 , 𝑡 3 )
What is the speed of the car after 3 hours. To answer such questions we need the following.
Definition: Let
𝛼 = (𝛼1 , 𝛼2 , 𝛼3 ): 𝐼 → 𝑅 3
be a curve
60 of 161
Lecture notes on MTH352: Differential Geometry
Arc length
Let a car moves between Islamabad and Quetta and follow the path
𝛼 = (𝛼1 , 𝛼2 , 𝛼3 ): 𝐼 → 𝑅 2
given by
𝛼(𝑡) = (2𝑡, 𝑡 2 )
Definition:
The arc length of 𝛼 from 𝑡 = 𝑎 to 𝑡 = 𝑏 is equal to
𝑏 𝑏
∫ ‖𝛼′‖𝑑𝑡 = ∫ 𝑣(𝑡)𝑑𝑡
𝑎 𝑎
If 𝜎 is a curve segment of 𝛼,
𝜎: [𝑎, 𝑏] → 𝑅 3
Definition: A curve 𝛽 has unit speed if its speed is 1 at every point, that is,
‖𝛽 ′ ‖ = 1.
Arc-Length parameterization
Theorem: Let 𝛼: 𝐼 → 𝑅3 be a regular curve. Then there exist a reparameterization 𝛽 of 𝛼 such
that
‖𝛽 ′ ‖ = 1.
61 of 161
Lecture notes on MTH352: Differential Geometry
Orientation of a reparameterization
A reparameterization of a curve 𝛼 given by
𝛽(𝑡) = 𝛼(ℎ(𝑠))
Is orientation preserving if
ℎ′ (𝑠) ≥ 0
It is orientation reversing if
ℎ′ (𝑠) ≤ 0
Example:
For curve 𝛼 the velocity 𝛼′ satisfies the definition of vector field on a
curve.
Definition:
62 of 161
Lecture notes on MTH352: Differential Geometry
Scalar Multiplication
𝑑𝑦𝑖
𝑌 ′ (𝑡) = ∑ 𝑈
𝑑𝑡 𝑖
is the derivative of 𝑌(𝑡).
Definition: Let 𝛼: 𝐼 → 𝑹𝟑 be a curve with coordinates 𝛼(𝑡) = (𝛼1(𝑡), 𝛼2 (𝑡), 𝛼3(𝑡)) then the
acceleration of 𝜶 is defined as
′′
𝑑2 𝛼1 𝑑 2 𝛼2 𝑑 2 𝛼3
𝛼 =( 2 , , )
𝑑𝑡 𝑑𝑡 2 𝑑𝑡 2
Properties of differentiation
63 of 161
Lecture notes on MTH352: Differential Geometry
Linearity:
(𝑎𝑌 + 𝑏𝑍)′ = 𝑎𝑌 ′ + 𝑏𝑍 ′
Leibnizian properties
(𝑌. 𝑍)′ = 𝑌 ′ . 𝑍 + 𝑌. 𝑍 ′
(𝑓𝑌) = 𝑓 ′ 𝑌 + 𝑓𝑌 ′
That is
Vanishing derivatives:
Lemma: Let 𝛼: 𝐼 → 𝑅 3 be a curve then:
64 of 161
Lecture notes on MTH352: Differential Geometry
Lecture #11
Contents:
Curvature
Frenet Formulas
Unit-Speed Helix
Aim of today’s lecture is to understand the geometry of the curves. In daily life we can understand
the geometry of the curve by looking at them, for example, in the following figure there are three
curves given. We can easily see that which curves have more curvature and which curve is turning
very fast.
Curvature
Definition: The rate of change of tangent, that is,
𝑇 ′ = 𝛽 ′′
65 of 161
Lecture notes on MTH352: Differential Geometry
‖𝑇‖ = 1
So
𝑇. 𝑇 = 1
𝑇 ′. 𝑇 = 0
Note:
When 𝜅 is small then the curve is close to straight.
Principal normal
Let 𝛽 be a curve. Let > 0 , that is, curve is never straight. We
define principal normal vector 𝑁 as:
T′
𝑁=
𝜅
We can see that ‖𝑁‖ = 1, hence a unit vector.
The principal normal vector tells us the direction in which the curve turns.
66 of 161
Lecture notes on MTH352: Differential Geometry
𝐵 = 𝑇×𝑁
Lemma: If 𝛽 is a unit-speed curve in 𝑹𝟑 with 𝜅 > 0. Then the three vector fields 𝑇, 𝑁, 𝐵 on 𝛽
are unit vectors that are mutually orthogonal at each point.
The derivative of 𝑻
We defined
𝑇′
𝑁=
𝜅
So
𝑇 ′ = 𝜅𝑁
67 of 161
Lecture notes on MTH352: Differential Geometry
The derivative of B
We can write 𝐵′ in the following form
𝐵 = −𝜏𝑁
𝑇′ = 𝜅𝑁
𝑁 ′ = −𝜅𝑇 + 𝜏𝐵
𝐵′ = − 𝜏𝑁
68 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 12
Contents:
Frenet Approximation
Plane Curves
Planes
In this lecture we are mainly interested in approximating the curve using Frenet Frame and Frenet
formulas. So we want to approximate the curve using the geometric information, for example,
using curvature, torsion, normal, etc.
(𝒓 − 𝒑). 𝒒 = 𝟎
forms a plane.
69 of 161
Lecture notes on MTH352: Differential Geometry
Taylor Series
Let 𝑓(𝑥) be a function from 𝑅 to 𝑅. If 𝑓(𝑥) is infinitely
differentiable near 0. Then the functional values of 𝑓(𝑥)
near 𝑥 = 0 are given by the Taylor series.
𝑑𝑓 𝑑2𝑓 𝑥 2 𝑑3𝑓 𝑥3
𝑓(𝑥) = 𝑓(0) + (0) 𝑥 + 2 (0) + 3 (0) +⋯
𝑑𝑥 𝑑𝑥 2 𝑑𝑥 3!
To approximate a curve near an arbitrary point on the curve. We are going to achieve this by
using Taylor series and Frenet Frame at a point.
Frenet Approximation
Approximation of Euclidean Coordinate Functions
The Taylor series around origin is given.
𝑑𝑓 𝑑2 𝑓 𝑠 2 𝑑3𝑓 𝑠3
𝑓(𝑥) = 𝑓(0) + (0) 𝑠 + 2 (0) + 3 (0) + ⋯
𝑑𝑠 𝑑𝑠 2 𝑑𝑠 3!
Where 𝑥 is any point near 𝑥 = 0.
Now let 𝛽 = (𝛽1 , 𝛽2 , 𝛽3 ) be a unit speed curve. We can approximate each of the functions 𝛽𝑖 , for 𝑖 =
1,2,3 in the following way:
𝑑𝛽𝑖 𝑑2 𝛽 𝑠 2 𝑑3 𝛽 𝑠3
𝛽𝑖 ~ 𝛽𝑖 (0) + (0) 𝑠 + 2 (0) + 3 (0)
𝑑𝑠 𝑑𝑠 2 𝑑𝑠 3!
In coordinate form we can write.
𝑠 2 ′′ 𝑠 3 ′′′
𝛽(𝑠) = (𝛽1 (𝑠), 𝛽2 (𝑠), 𝛽3 (𝑠)) ~ 𝛽(0) + 𝑠 𝛽′(0) + 𝛽 (0) + 𝛽 (0)
2 3!
Now the above is an approximation to the curve. Now we want to see what kind of geometrical
properties can be obtained from this geometrical approximation of the curve. For this we apply
Frenet formulas.
70 of 161
Lecture notes on MTH352: Differential Geometry
𝛽 ′ (0) = 𝑇(0) = 𝑇0
𝑑(𝜅 𝑁) 𝑑𝜅 𝑑𝑁
𝛽 ′′′ = = 𝑁+𝜅
𝑑𝑠 𝑑𝑠 𝑑𝑠
Frenet formulas imply that
𝑁 ′ (𝑠) = −𝜅 𝑇 + 𝜏 𝐵
𝑑𝜅
𝛽 ′′′ = 𝑁 − 𝜅 2 𝑇 + 𝜏𝜅 𝐵
𝑑𝑠
So we get
𝑑𝜅
𝛽0′′′ = 𝛽 ′′′ (0) = (0) 𝑁0 − 𝜅02 𝑇0 + 𝜏0 𝜅0 𝐵0
𝑑𝑠
Next question: Can we do the same process for a point 𝑠0 other than 𝑠 = 0.
𝒅𝒇 𝒅𝟐 𝒇 (𝒔 − 𝒔𝟎 )𝟐 𝒅𝟑 𝒇 (𝒔 − 𝒔𝟎 )𝟑
𝒇(𝒙) = 𝒇(𝒔𝟎 ) + (𝒔𝟎 ) (𝒔 − 𝒔𝟎 ) + 𝟐 (𝒔𝟎 ) + 𝟑 (𝒔𝟎 ) +⋯
𝒅𝒔 𝒅𝒔 𝟐 𝒅𝒔 𝟑!
Where 𝑥 is any point near 𝑥 = 𝑠0.
Using above and Frenet Formulas we can show that for a general point 𝑠0 on the curve the
approximation is given by
71 of 161
Lecture notes on MTH352: Differential Geometry
(𝑠 − 𝑠0 )2 (𝑠 − 𝑠0 )3
𝛽̂𝑠0 (𝑠) = 𝛽(𝑠0 ) + (𝑠 − 𝑠0 )𝑇𝑠0 + 𝜅𝑠0 𝑁𝑠0 + 𝜅𝑠0 𝜏𝑠0 𝐵𝑠0
2 3!
Important: We have triplet (𝑇, 𝐵, 𝑁) at each and every point of the curve.
𝑠2 𝑠3
𝛽̂ (𝑠) = 𝛽(0) + 𝑠𝑇0 + 𝜅0 𝑁0 + 𝜏0 𝜅0 𝐵
2 6 0
Now we discuss the terms of approximation one by one.
𝑠2
The approximation 𝛽(0) + 𝑠𝑇0 + 𝜅0 𝑁0 is in fact a quadric function in 𝑠 and in particular defines
2
a parabola. The parabola lies in the plane with axis 𝑇0 and 𝑁0 . This plane is called Osculating
plane.
The approximation
𝑠2 𝑠3
𝛽(0) + 𝑠𝑇0 + 𝜅0 𝑁0 + 𝜏0 𝜅0 𝐵
2 6 0
is curve which is moving the parabola in the third dimension of 𝐵0.
72 of 161
Lecture notes on MTH352: Differential Geometry
Planar curve
A plane curve in 𝑹𝟑 is the set of all point which lie in the same
plane in 𝑹𝟑 .
Theorem: Let 𝛽 be a curve in 𝑹𝟑 with positive curvature 𝜅 > 0. Then 𝛽 is a plane curve if and
only if 𝜏 = 0.
73 of 161
Lecture notes on MTH352: Differential Geometry
Lecture #13
Contents:
Frenet Approximation
Conclusion
Curvature Of Circle
Consider the following circle
𝑠 𝑠
𝛽(𝑠) = (acos , 𝑎 sin )
𝑎 𝑎
1
Then it is a unit speed curve. And its curvature is 𝑎.
Now the question is: every curve with torsion zero (contained in plane) and constant curvature is
a circle?
Lemma: If 𝛽 is a unit speed curve with constant curvature 𝜅 and torsion zero, then 𝛽 is part of a
1
circle of radius 𝜅.
Theorem: Let 𝛼: 𝐼 → 𝑹𝟑 be a regular curve. Then there exist a reparameterization 𝛽 of 𝛼 such that
‖𝛽 ′ ‖ = 1.
74 of 161
Lecture notes on MTH352: Differential Geometry
Now 𝛼̅ is a unit speed curve. If 𝜅̅ > 0 then we can define the following
𝜅̅ , 𝜏̅, 𝑇̅, 𝑁
̅ , 𝐵̅
75 of 161
Lecture notes on MTH352: Differential Geometry
̅ (𝑠)
Principal normal vector field of : 𝑁 = 𝑁
For arbitrary speed curve 𝛼 the speed 𝑣(𝑡) = ‖𝛼′(𝑡)‖ is an important factor in the Frenet
formulas for arbitrary speed curves.
𝑁 ′ = −𝜅𝑣𝑇 + 𝜏𝑣𝐵
𝐵′ = − 𝜏𝑁
If a object (e.g. bird, airplane, etc ) is moving on a constant speed then velocity and acceleration
are perpendicular. If the object follow the path 𝛼: 𝐼 → 𝑹𝟑 . Since 𝛼 has constant speed so
‖𝛼′‖ = 𝑐
Definition: Let 𝛼: 𝐼 → 𝑹𝟑 be a curve with coordinates 𝛼(𝑡) = (𝛼1(𝑡), 𝛼2 (𝑡), 𝛼3(𝑡)) then the
acceleration of 𝜶 is defined as
𝑑2 𝛼1 𝑑 2 𝛼2 𝑑 2 𝛼3
𝛼 ′′ = ( 2 , , )
𝑑𝑡 𝑑𝑡 2 𝑑𝑡 2
So
𝛼.′ 𝛼 ′ = 𝑐 2
𝛼 ′ . 𝛼 ′′ = 0
We can analyze the situation by expressing velocity and acceleration in terms of Frenet Frame
field.
Lemma: If 𝛼 is a regular curve with speed function 𝑣, then its velocity and acceleration are
expressed by
𝑑𝑣
𝛼 ′ = 𝑣𝑇, 𝛼 ′′ = 𝑇 + 𝜅𝑣 2 𝑁
𝑑𝑡
76 of 161
Lecture notes on MTH352: Differential Geometry
77 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 14
Contents:
Cylindrical Helix
Conclusion
In this lecture we will learn to calculate the Frenet Frame for arbitrary speed curves. For this
purpose the following result is useful.
𝑁 =𝐵×𝑇
𝛼′ × 𝛼 ′′
𝐵= ,
‖𝛼 ′ × 𝛼 ′′ ‖
‖𝛼 ′ × 𝛼 ′′ ‖
𝜅=
‖𝛼 ′ ‖3
(𝛼 ′ × 𝛼 ′′ ). 𝛼 ′′′
𝜏=
‖𝛼 ′ × 𝛼 ′′ ‖2
78 of 161
Lecture notes on MTH352: Differential Geometry
Spherical Image:
Let 𝛽: 𝐼 → 𝑹𝟑 be a unit speed curve. The spherical image 𝛽 is the curve 𝜎 ≈ 𝑇. That is
𝜎: 𝐼 → 𝑹𝟑
is given by
where
79 of 161
Lecture notes on MTH352: Differential Geometry
80 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 15
Contents:
Cylindrical Helix
Covariant Derivatives
Cylindrical Helix
Sometimes the geometrical information like torsion and curvature are enough to tell what the
curve is exactly going to be. Cylindrical is one of those examples where, by just looking at the
𝜏
torsion and curvature, you can tell with exactness. In fact the ration 𝜅 is some times very decisive
in the case of some curves. We start with the definition of the cylindrical helix.
Definition: A regular curve 𝛼 in 𝑹𝟑 is a cylindrical helix provided the unit tangent 𝑇 of 𝛼 has
constant angle 𝜃 with some fixed unit vector 𝒖; that is, 𝑇(𝑡). 𝒖 = 𝑐𝑜𝑠 𝜃.
81 of 161
Lecture notes on MTH352: Differential Geometry
𝜏
Theorem: A regular curve 𝛼 with 𝜅 > 0 is a cylindrical helix if and only if the ration 𝜅 is constant.
In summary we have the following information directly about the curve by just looking at the
Frenet apparatus.
82 of 161
Lecture notes on MTH352: Differential Geometry
Covariant Derivative
We have seen the definition of vector field. For
an example of a vector field see the diagram.
Definition:
Let 𝑊 be a vector field on 𝑹𝟑 . Let 𝑣𝑝 be a tangent vector to 𝑹𝟑 at point 𝑝. The covriant derivative of
𝑊 with respect to 𝒗𝒑 is the tangent vector
at the point 𝑝.
83 of 161
Lecture notes on MTH352: Differential Geometry
and
𝑣 = (−1,0,2), 𝑎𝑡 𝑝 = (2,1,0).
Theorem: Let 𝒗 and 𝒘 be tangent vectors to 𝑹𝟑 at 𝒑, and let 𝑌 and 𝑍 be vector fields on 𝑹𝟑 .
Then for numbers 𝑎, 𝑏 and functions 𝑓.
Corollary: If = ∑ 𝑤𝑖 𝑈𝑖 , then
∇𝑉 𝑊 = ∑ 𝑉[𝑤𝑖 ]𝑈𝑖
84 of 161
Lecture notes on MTH352: Differential Geometry
and therefore
(4) 𝑉[𝑌. 𝑍] = ∇𝑉 𝑌. 𝑍 + 𝑌. ∇𝑉 𝑍
85 of 161
Lecture notes on MTH352: Differential Geometry
Lecture #16
Contents:
Frame Fields
Coordinate Functions
𝑇′ 0 𝜅𝑣 0 𝑇
(𝑁′) = (−𝜅𝑣 0 𝜏𝑣 ) (𝑁)
From Curves to Surfaces 𝐵′ 0 −𝜏𝑣 0 𝐵
So far we have discussed the geometry of curves in 𝑅 3 . We mainly use the Frenet frame 𝑇, 𝑁 , 𝐵.
Then we calculated the rate of change 𝑇 ′ , 𝑁 ′ , 𝐵 ′ using Frenet formulas.
Now to go from curves to surfaces we use the same idea, that is,
86 of 161
Lecture notes on MTH352: Differential Geometry
And then we calculate the changes in the frame in terms of the frame itself.
Frame Fields
We can extend the idea of point wise operation to define the following terms for vector fields.
Definition: Let 𝑉 and 𝑊 be vector fields in 𝑹𝟑 , then we can define their dot product 𝑉. 𝑊 as
follows:
Definition: Let 𝑉 be a vector field then we define ‖𝑉‖ to be a real valued function on 𝑅3
‖𝑉‖: 𝑅 3 → 𝑅
87 of 161
Lecture notes on MTH352: Differential Geometry
given by
𝐸𝑖 . 𝐸𝑗 = 𝛿𝑖𝑗 for 1 ≤ 𝑖, 𝑗 ≤ 3
Thus at each point 𝒑 the vectors 𝐸1 (𝑝), 𝐸2 (𝑝), 𝐸3 (𝑝) do in fact form a
frame since they have unit length and are mutually orthogonal.
We pick unit vector field in the direction in which each coordinate increases
𝐸1 = cos 𝜃 𝑈1 + sin 𝜃 𝑈2
𝜋 𝜋
𝐸2 = cos (𝜃 + ) 𝑈1 + sin (𝜃 + )
2 2
= − sin 𝜃 𝑈1 + cos 𝜃 𝑈2
𝐸3 = 𝑈3
𝐸𝑖 . 𝐸𝑗 = 𝛿𝑖𝑗
So
88 of 161
Lecture notes on MTH352: Differential Geometry
Now the question is are there points where the cylindrical frame is not defined?
Yes, the points on 𝑧 −axis does not have a cylindrical frame defined on them. Cylindrical
coordinates are useful in many practical situations, like, designing of a robotic arm etc.
Spherical Coordinates:
Why spherical coordinates?
Just like cylindrical coordinates, there are situations in real like that
𝐹2 = 𝐸2
89 of 161
Lecture notes on MTH352: Differential Geometry
𝐹1 = cos 𝜙 𝐸1 + sin 𝜙 𝐸3
𝜋 𝜋
𝐹3 = cos (𝜙 + 2 ) 𝐸1 + sin (𝜙 + 2 ) 𝐸3
= − sin 𝜙 𝐸1 + cos 𝜙 𝐸3
So we have
𝐹2 = 𝐸2
𝐹1 = cos 𝜙 𝐸1 + sin 𝜙 𝐸3
𝐹3 = − sin 𝜙 𝐸1 + cos 𝜙 𝐸3
2) If 𝑉 = ∑ 𝑓𝑖 𝐸𝑖 and 𝑊 = ∑ 𝑔𝑖 𝐸𝑖 then
𝑉. 𝑊 = ∑ 𝑓𝑖 𝑔𝑖
And
1
1
2 2
‖𝑉‖ = (𝑉. 𝑉)2 = (∑ 𝑓𝑖 )
But for a given problem we would like to choose a frame field that is especially easy to work with.
The calculations could be very easy with the right selection of frame field.
90 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 17
91 of 161
Lecture notes on MTH352: Differential Geometry
Contents:
Connection Form
Connection Equations
Connection Form
Covariant derivative of a frame field
Let {𝐸1 , 𝐸2 , 𝐸3 } be a frame field on 𝑹𝟑 . Let 𝑣 be an arbitrary tangent vector at point 𝑝 of 𝑹𝟑 . Then
we can write
Theorem: Let 𝑒1, 𝑒2, 𝑒3 be a frame at a point 𝑝 of 𝑹𝟑 . If 𝑣 is any tangent vector to 𝑹𝟑 at 𝑝, then
Note that the coefficients 𝑐𝑖𝑗 depend only the vector 𝑣, so we can write them
92 of 161
Lecture notes on MTH352: Differential Geometry
Yes, we have.
Definition:
A 1 −form 𝜙 on 𝑹𝟑 is a real-valued function on the set of all tangent vectors to 𝑹𝟑 such that 𝜙 is
linear at each point, that is,
Lemma: Let 𝐸1, 𝐸2, 𝐸3 be a frame field on 𝑹𝟑. For each tangent vector 𝑣 to 𝑹𝟑 at point 𝒑, let
𝜔𝑖𝑗 (𝑣) = ∇𝑣 𝐸𝑖 . 𝐸𝑗 (𝑝) for 1 ≤ 𝑖, 𝑗 ≤ 3
Theorem: Let 𝜔𝑖𝑗 be the connection forms of the frame field 𝐸1, 𝐸2 , 𝐸3 on 𝑹𝟑.
Then for any vector field 𝑉 on 𝑹𝟑 ,
∇𝑉 𝐸𝑖 = ∑ 𝜔𝑖𝑗 (𝑉)𝐸𝑗
93 of 161
Lecture notes on MTH352: Differential Geometry
But since 𝜔𝑖𝑗 = −𝜔𝑗𝑖 , so for 𝑖 = 𝑗 we have 𝜔𝑖𝑖 = −𝜔𝑖𝑖 . Hence we have
𝜔𝑖𝑖 = 0 for 1 ≤ 𝑖 ≤ 3.
0 𝜔12 𝜔13
𝜔 = (𝜔21 0 𝜔13 )
𝜔31 𝜔32 0
𝑎𝑖𝑗 = 𝐸𝑖 . 𝑈𝑗
We can calculate the connection forms in terms the attitude matrix as follows:
94 of 161
Lecture notes on MTH352: Differential Geometry
Theorem: If 𝐴 = (𝑎𝑖𝑗 ) is an attitude matrix of a frame field {𝐸1, 𝐸2, 𝐸3}. Let
𝜔𝑖𝑗 be the connection forms of this frame field, then
𝜔𝑖𝑗 = 𝑑𝐴 𝑡𝐴
Or equivalently
cos 𝜃 sin 𝜃 0
𝐴 = (− sin 𝜃 cos 𝜃 0)
0 0 1
Hence
0 𝑑𝜃 0
𝜔 = (−𝑑 𝜃 0 0)
0 0 0
Now the connection forms for cylindrical frame are
0 𝑑𝜃 0
𝜔 = (−𝑑 𝜃 0 0)
0 0 0
Hence the connection equations become
∇𝑉 𝐸1 = 𝑑𝜃 𝑈2
∇𝑉 𝐸2 = −𝑑 𝜃 𝑈1
∇𝑉 𝐸3 = 0
𝑑𝜃(𝑉) = 𝑉[𝜃]
∇𝑉 𝐸1 = 𝑑𝜃 𝑈2
∇𝑉 𝐸2 = −𝑑 𝜃 𝑈1
95 of 161
Lecture notes on MTH352: Differential Geometry
∇𝑉 𝐸3 = 0
Becomes
∇𝑉 𝐸1 = 𝑉[𝜃] 𝑈2
∇𝑉 𝐸2 = −𝑉[𝜃] 𝑈1
∇𝑉 𝐸3 = 0
Lecture # 18
96 of 161
Lecture notes on MTH352: Differential Geometry
Contents:
Dual Forms
Dual Forms
The dual forms of a frame field
Any frame field can be described in terms of 1-forms.
Definition: If 𝐸1, 𝐸2, 𝐸3 is a frame field on 𝑅3, then the dual 1-forms 𝜃1, 𝜃2, 𝜃3 of the frame
field are the 1-forms such that
𝜃𝑖 (𝒗) = 𝑣. 𝐸𝑖 (𝒑)
Another property of 𝜽𝒊
𝜃𝑖 (𝐸𝑗 ) = 𝛿𝑖𝑗 for 1 ≤ 𝑖, 𝑗 ≤ 3
97 of 161
Lecture notes on MTH352: Differential Geometry
𝑉 = ∑ 𝑓𝑖 𝐸𝑖
𝑉 = ∑ 𝜃𝑖 (𝑉)𝐸𝑖
𝜙 = ∑ 𝜙(𝑈𝑖 ) 𝑑𝑥𝑖
Theorem: Let 𝜃1 , 𝜃2 , 𝜃3 be the dual 1-forms of a frame field 𝐸1, 𝐸2, 𝐸3 . Then any 1-form 𝜙 on
𝑅 3 has a unique expression
𝜙 = ∑ 𝜙(𝐸𝑖 )𝜃𝑖
Formula for 𝜽𝒊
We know that any frame field {𝐸1 , 𝐸2 , 𝐸3 } can be written in terms of natural frame field,
𝐸𝑖 = ∑ 𝑎𝑖𝑗 𝑈𝑗 for 1 ≤ 𝑖, 𝑗 ≤ 3
Fact:
98 of 161
Lecture notes on MTH352: Differential Geometry
𝜔𝑖𝑗 (1 ≤ 𝑖, 𝑗 ≤ 3).
𝑑𝜃𝑖 = ∑ 𝜔𝑖𝑗 ∧ 𝜃𝑗 .
Matrix notation
We define some notations and remarks to make these structural equations more easy to
understand. We define
𝜔11 𝜔12 𝜔13
𝜔 = (𝜔21 𝜔22 𝜔23 )
𝜔31 𝜔32 𝜔33
𝜃1
𝜃 = (𝜃2 )
𝜃3
𝑑 𝑥1
𝑑𝜉 = (𝑑 𝑥2 )
𝑑 𝑥3
Fact:
99 of 161
Lecture notes on MTH352: Differential Geometry
𝜃 =𝐴𝑑𝜉
𝑑𝜃𝑖 = ∑ 𝜔𝑖𝑗 ∧ 𝜃𝑗
can be written as
Similarly
can be written as
𝑑𝜔 =𝜔𝜔
𝐹2 = − sin 𝜃 𝑈1 + cos 𝜃 𝑈2
100 of 161
Lecture notes on MTH352: Differential Geometry
𝜃 = 𝐴 𝑑𝜉
Calculation of 𝜽
x1 = 𝜌 cos 𝜙 cos 𝜃
𝑥2 = 𝜌 cos 𝜙 sin 𝜃
𝑥3 = sin 𝜙
𝜕𝑓 𝜕𝑓 𝜕𝑓
𝑑𝑓 = 𝑑𝑥1 + 𝑑𝑥2 + 𝑑𝑥3
𝜕𝑥1 𝜕𝑥2 𝜕𝑥3
Calculation of 𝝎
Now we will
0 cos 𝜙 𝑑𝜃 𝑑𝜙
𝜔=( 0 sin 𝜙 𝑑𝜃 )
0
First Structural Equation for Spherical Frame
So we have
𝑑𝜃𝑖 = ∑ 𝜔𝑖𝑗 ∧ 𝜃𝑗 .
101 of 161
Lecture notes on MTH352: Differential Geometry
Where
𝑑𝑟 0 cos 𝜙 𝑑𝜃 𝑑𝜙
𝜃 = (𝑟 cos 𝜙) 𝑎𝑛𝑑 𝜔=( 0 sin 𝜙 𝑑𝜃)
𝑟 𝑑𝜙 0
Procedure
Lecture # 19
102 of 161
Lecture notes on MTH352: Differential Geometry
Contents:
Surfaces in 𝑅 3
The Sphere
Construction Of A Surface
Surfaces in 𝑹𝟑
Coordinate patches
A coordinate patch
𝑥 : 𝐷 → 𝑅3
is a
Mapping
one-to-one
regular
Proper Patches
𝒙−1 : 𝒙(𝐷) → 𝑹𝟐
is continuous.
103 of 161
Lecture notes on MTH352: Differential Geometry
Surface
A surface in 𝑹𝟑 is a subset 𝑀 of 𝑹𝟑 such that for each point 𝒑 of 𝑀 there exist a proper patch in 𝑀
whose image contains a neighborhood of 𝒑 in 𝑀.
Sphere:
A sphere Σ is the set of all point in 𝑹𝟑 whose distance from origin is 1, that is all points 𝒑 such that
𝟏
‖𝒑‖ = (𝒑𝟐𝟏 + 𝒑𝟐𝟐 + 𝒑𝟐𝟑 )𝟐 = 𝟏
Let
Define
104 of 161
Lecture notes on MTH352: Differential Geometry
One to one
To check if the patch 𝑥 is regular we need to calculate the Jacobian of this map:
Similarly we can define the patch for the south pole, that is, the point (0,0, −1).
The map
𝑥: 𝐷 → 𝑅 3
given by
for any differentiable function 𝑓(𝑢, 𝑣) is a patch. These kind of patches are called the Monge
patches.
Simple Surface
Example:
105 of 161
Lecture notes on MTH352: Differential Geometry
So 𝑀 is a simple surface.
Lecture 20
Contents:
106 of 161
Lecture notes on MTH352: Differential Geometry
Surfaces of Revolution
Properties Of Patches
𝑔(𝑥, 𝑦, 𝑧) = 𝑐
𝑔(𝑝) = 𝑐
Example:
Let g(𝑥, 𝑦, 𝑧) = 𝑥 2 + 𝑦 2 + 𝑧 2 and let 𝑐 = 1 then the set of all points 𝒑 such that
𝑔(𝑝) = 1
Example:
Let 𝑔(𝑥, 𝑦, 𝑧) = 𝑧 and 𝑐 = 1 then the set of all points 𝒑 in 𝑹𝟑 such that
𝑔(𝑝) = 1
is
𝑧=1
An Implicit Construction
107 of 161
Lecture notes on MTH352: Differential Geometry
Monge Patches:
The map
𝑥: 𝐷 → 𝑅 3
given by
for any differentiable function 𝑓(𝑢, 𝑣) is a patch. These kind of patches are called the Monge
patches.
Sphere is a surface
A sphere Σ with center 𝒄 = (𝒄𝟏 , 𝒄𝟐 , 𝒄𝟑 ) and radius r is the set of all point in 𝑹𝟑 whose distance
from 𝒄 is 𝑟, that is all points 𝒑 = (𝒙, 𝒚, 𝒛) such that
𝟏
‖𝒑 − 𝒄‖ = ((𝒙 − 𝒄𝟏 )𝟐 + (𝒚 − 𝒄𝟐 )𝟐 + (𝒛 − 𝒄𝟑 )𝟐 )𝟐 = 𝒓𝟐
Let 𝑔(𝑥, 𝑦, 𝑧) = (𝒙 − 𝒄𝟏 )𝟐 + (𝒚 − 𝒄𝟐 )𝟐 + (𝒛 − 𝒄𝟑 )𝟐
Surfaces of Revolution
𝑔(𝑥, 𝑦, 𝑧) = 𝑓 (𝑥, √𝑦 2 + 𝑧 2 ) = 𝑐
108 of 161
Lecture notes on MTH352: Differential Geometry
Example: Let
and
Here 𝑥 is a patch.
Lecture 21
109 of 161
Lecture notes on MTH352: Differential Geometry
Contents:
Parametrizations
Torus
Ruled Surface
𝑢 → 𝑥(𝑢, 𝑣0 )
𝑣 → 𝒙(𝒖𝟎 , 𝒗)
Partial Velocities
If 𝑥: 𝐷 → 𝑅 3 is a patch, for each point (𝑢0 , 𝑣0 ) in 𝐷.
110 of 161
Lecture notes on MTH352: Differential Geometry
The vectors 𝒙𝒖 (𝑢0 , 𝑣0 ) and 𝒙𝒗 (𝑢0 , 𝑣0 ) are called the partial velocities of 𝒙 at (𝑢0 , 𝑣0 ).
111 of 161
Lecture notes on MTH352: Differential Geometry
Parametrizations
Definition:
A regular mapping 𝑥: 𝐷 → 𝑀 whose image lies in a surface 𝑀 is called a parametrization of the
region 𝑥(𝐷) in 𝑀.
Properties of parametrization
In parametrization of a curve mean a surjective map onto the whole curve. But in case of
surface parametrization it might be only the region 𝒙(𝐷) of 𝑀.
𝒙(𝑫) ⊂ 𝑴 ?
First determine that 𝑥(𝐷) ⊂ 𝑀 or not. For example if surface is defined by 𝑀: 𝑔 = 𝑐. Then
112 of 161
Lecture notes on MTH352: Differential Geometry
𝒙 is regular?
𝑈1 𝑈2 𝑈3
𝜕𝑥1 𝜕𝑥2 𝜕𝑥3
| |
𝒙𝒖 × 𝒙𝒗 = 𝜕𝑢 𝜕𝑢 𝜕𝑢 |
|
𝜕𝑥1 𝜕𝑥2 𝜕𝑥3
𝜕𝑣 𝜕𝑣 𝜕𝑣
is non zero.
Given mapping
𝒙(𝑫) ⊂ 𝚺 ?
𝑔(𝑥, 𝑦, 𝑧) = 𝑥 2 + 𝑦 2 + 𝑧 2 = 𝑟 2
𝒙 is regular?
𝜋 𝜋
Here 𝐷 = {(𝑢, 𝑣): −𝜋 < 𝑢 < 𝜋, − 2 < 𝑣 < 2 }
Surface of revolution
here ℎ > 0.
113 of 161
Lecture notes on MTH352: Differential Geometry
𝒙(𝑫) ⊂ 𝑴?
𝒙 is regular?
Torus
Definition:
A torus of revolution 𝑇 is the surface of revolution of a circle 𝐶.
Example:
Suppose that 𝐶 is the circle in the 𝑥𝑧 −plane with radius 𝑟 > 0 and center (𝑅, 0,0).
Here parametrization of 𝐶 is
Definition:
A ruled surface is a surface
swept out by a straight line 𝐿 moving along a curve 𝛽.
The various positions of the ruling line 𝐿 are called the rulings of the surface.
114 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 22
115 of 161
Lecture notes on MTH352: Differential Geometry
Contents:
Coordinate Expressions
Curves on a Surface
Differentiable Functions
Definition:
A regular mapping 𝑥: 𝐷 → 𝑀 whose image lies in a surface 𝑀 is called a parametrization of the
region 𝑥(𝐷) in 𝑀.
In parametrization of a curve mean a surjective map onto the whole curve. But in case of surface
parametrization it might be only the region 𝒙(𝐷) of 𝑀.
Coordinate Expressions
Suppose that 𝑓 is a real valued function on a surface 𝑀.
If
𝑥: 𝐷 → 𝑀
is a coordinate patch of 𝑀 then the composite function 𝑓(𝑥) is called the coordinate expression
for 𝑓.
𝑓(𝑥): 𝐷 → 𝑅
are differentiable.
116 of 161
Lecture notes on MTH352: Differential Geometry
For a function
𝐹: 𝑅 𝑛 → 𝑀
each patch of 𝑀
𝑥: 𝐷 → 𝑀
𝑥 −1 (𝐹): 𝑂 → 𝐷
{𝑝 ∈ 𝑅 𝑛 : 𝐹(𝑝) ∈ 𝑥(𝐷)}
The function 𝐹 is differentiable if every coordinate expression for 𝐹 is differentiable. Every set 𝑂 is
open set.
Definition:
A curve on a surface 𝑀 is a differentiable function
𝛼: 𝐼 → 𝑀
Or 𝛼 = 𝑥(𝑎1 , 𝑎2 ).
117 of 161
Lecture notes on MTH352: Differential Geometry
Let 𝑥: 𝐷 → 𝑀 be a patch in 𝑀.
The functions 𝑥 and 𝑥 −1 establish a one-to-one correspondence between objects in D and the
objects in 𝒙(𝐷).
Overlapping patches
118 of 161
Lecture notes on MTH352: Differential Geometry
Assume that we show that 𝑓(𝑥) is differentiable for a patch 𝑥. Let 𝑦 be another patch. Then 𝑓(𝑥) is
differentiable and 𝑥 −1 𝑦 is also differentiable. Therefore the composition 𝑓𝑥𝑥 −1 𝑦 is differentiable.
The function 𝑓𝑥𝑥 −1 𝑦 is the restriction of 𝑓(𝑦) to only a small region of 𝑀, where 𝑥 and 𝑦 overlap.
But 𝑀 is covered by such regions, therefore 𝑓(𝑦) is differentiable in an open region around every
point of 𝑀
Lecture #23
Contents:
119 of 161
Lecture notes on MTH352: Differential Geometry
Tangents
Tangents
Tangents to a surface
The set of all tangent vectors to 𝑀 at 𝑝 is called the tangent plane of 𝑀 at point 𝑝 and is denoted by
𝑇𝑝 (𝑀).
Fact: At each point the tangent plane 𝑇𝑝 (𝑀) is actually a 2-dimensional vector subspace of the
tangent space 𝑇𝑝 (𝑅3 ).
Lemma:
Let 𝑀 be a surface in 𝑅 3 and 𝑝 be a point on 𝑀. Let 𝑥 be a patch of 𝑀 such that 𝑥(𝑢0 , 𝑣0 ) = 𝑝. A
tangent vector to 𝑅 3 is a tangent vector to 𝑀 at point 𝑝 if and only if 𝑣 can be written as a linear
combination of 𝑥𝑢 (𝑢0 , 𝑣0 ) and 𝑥𝑣 (𝑢0 , 𝑣0 ).
120 of 161
Lecture notes on MTH352: Differential Geometry
Definition:
A Euclidean vector field on 𝑀 is a function 𝑍 that maps every point 𝑝 of 𝑀 to a tangent vector 𝑍(𝑝)
to 𝑹𝟑 at point 𝑝.
on a small region of 𝑀.
A Euclidean vector field 𝑍 is normal vector field on 𝑀 if 𝑍(𝑝) is normal to 𝑀 for every point 𝑝 of 𝑀.
It is easy to deal with tangent and normal vector fields for surfaces given in implicit form. To see
this we define:
Let 𝑀 be a surface given in implicit form 𝑀: 𝑔 = 𝑐. The gradient vector field is the Euclidean vector
field ∇𝑔 that maps every point 𝑝 of 𝑀 to
𝜕𝑔
∇𝑔 (𝑝) = ∑ (𝑝) 𝑈𝑖 (𝑝)
𝜕𝑥𝑖
121 of 161
Lecture notes on MTH352: Differential Geometry
Lemma: Let 𝑀: 𝑔 = 𝑐 be a surface in implicit form. Then the gradient vector field has the following
properties:
Directional derivatives
Lecture # 24
Contents:
Differential Forms
122 of 161
Lecture notes on MTH352: Differential Geometry
Exterior Derivatives
Differential Forms
Let 𝑀 be a surface in 𝑅 3
A 0 −form on 𝑀 is a function 𝑓: 𝑀 → 𝑅
Definition
A 2 −form 𝜂 on a surface 𝑀 is a real-valued function on all ordered pairs of tangent vectors 𝑣, 𝑤 to
𝑀 such that
2. 𝜂(𝑣, 𝑤) = −𝜂(𝑤, 𝑣)
Properties of forms
𝜂(𝑣, 𝑣) = 0.
123 of 161
Lecture notes on MTH352: Differential Geometry
Let 𝜂 be a 2 −form on surface 𝑀. Let 𝑣, 𝑤 be two linearly independent tangent vectors at some
point of 𝑀. Then
𝑎 𝑏
𝜂(𝑎𝑣 + 𝑏𝑤, 𝑐𝑣 + 𝑑𝑤) = | |.
𝑐 𝑑
See book for proof.
Wedge product
On surface the wedge product is zero if 𝑝 + 𝑞 > 2. So we need only the following definition:
𝜉 ∧ 𝜂 = (−1)(𝑝+𝑞) 𝜂 ∧ 𝜉
In case of surfaces sign changes only occur in case of multiplication of two 1 −forms.
𝜙 ∧ 𝜙 = 0.
Exterior Derivatives
𝑑𝑓 = 𝑣[𝑓].
124 of 161
Lecture notes on MTH352: Differential Geometry
𝜕 𝜕
𝑑 𝜙(𝑥𝑢 , 𝑥𝑣 ) = (𝜙(𝑥𝑣 )) − (𝜙(𝑥𝑢 )).
𝜕𝑢 𝜕𝑣
𝜕 𝜕
𝑑 𝜙(𝑥𝑢 , 𝑥𝑣 ) = (𝜙(𝑥𝑣 )) − (𝜙(𝑥𝑢 )).
𝜕𝑢 𝜕𝑣
Lemma: Let 𝜙 be a 1 −form on 𝑀. If 𝑥 and 𝑦 are patches in 𝑀. If 𝑥 and 𝑦 are patches in 𝑀, then
dx 𝜙 = 𝑑𝑦 𝜙 on the overlap of 𝑥(𝐷) and 𝑦(𝐸).
Differentiation Rule
Then
𝑑(𝑔(𝑓)) = 𝑔′ (𝑓) 𝑑𝑓
𝑑(𝑓𝑔ℎ) = 𝑔ℎ 𝑑𝑓 + 𝑓ℎ 𝑑𝑔 + 𝑓𝑔 𝑑ℎ
𝑑(𝑓 𝜙) = 𝑓 𝑑𝜙 − 𝜙 ∧ 𝑑𝑓
Two criteria
125 of 161
Lecture notes on MTH352: Differential Geometry
𝜇(𝑥𝑢 , 𝑥𝑣 ) = 𝜈(𝑥𝑢 , 𝑥𝑣 ).
If 𝜙 is the exterior derivative of some form 𝜉, so that 𝜙 can be written as 𝜙 = 𝑑 𝜉, then 𝜙 is exact.
Lecture # 25
Contents:
Mappings of Surfaces
126 of 161
Lecture notes on MTH352: Differential Geometry
Diffeomorphism
Mappings of Surfaces
Differential functions
Let 𝑀 and 𝑁 be two surfaces in 𝑅 3 . Let 𝐹: 𝑀 → 𝑁 be a function. Then 𝐹 is differentiable if the
following condition is satisfied
The function 𝑦 −1 𝐹𝑥 is defined at all points (𝑢, 𝑣) of 𝐷 such that 𝐹(𝑢, 𝑣) lies in the image of 𝑦.
Cylindrical Projection
Let Σ be a unit sphere in 𝑹𝟑 with center at origin with north and south poles removed, that is,
Let 𝐶 be the cylinder bases on the unit circle in the 𝑥𝑦 plane. So 𝐶 is in contact with the sphere
along the equator, that is 𝐶 is given by
𝐶 = {𝑝 ∈ 𝑅 3 : 𝑝12 + 𝑝22 = 1}
Cylindrical projection
Define 𝐹: Σ → 𝐶 as follows.
127 of 161
Lecture notes on MTH352: Differential Geometry
Question: Is 𝐹 a mapping?
where
𝜋 𝜋
𝐷 = {(𝑢, 𝑣): −𝜋 < 𝑢 < 𝜋, − < 𝑣 < }.
2 2
Now consider a patch 𝑦: 𝐸 → 𝐶 of the cylinder given by
where
But
Hence
Applying 𝐹 −1 we get
Hence 𝐹: Σ → 𝐶 is a mapping.
Stereographic projection
Let Σ be a unit sphere with center (0,0,1). Delete
the north pole from Σ, that is, consider
128 of 161
Lecture notes on MTH352: Differential Geometry
𝑅𝑝1 𝑅𝑝2
𝐹(𝑝1 , 𝑝2 , 𝑝3 ) = ( , )
𝑟 𝑟
𝑅 𝑟
=
2 2 − 𝑝3
So
2𝑝1 2𝑝2
𝐹(𝑝1 , 𝑝2 , 𝑝3 ) = ( , ).
2 − 𝑝3 2 − 𝑝3
The function
2𝑝1 2𝑝2
𝐹(𝑝1 , 𝑝2 , 𝑝3 ) = ( , ).
2 − 𝑝3 2 − 𝑝3
is differentiable.
Let 𝑦: 𝑅 2 → 𝑅 3 given by
𝑦(𝑝1 , 𝑝2 ) = (𝑝1 , 𝑝2 , 𝑝3 )
be the patch for the 𝑥𝑦 − plane, then 𝑦 −1 is differentiable. Hence 𝑦 −1 𝐹𝑥 is differentiable, making 𝐹
a mapping.
Definition
Let 𝐹: 𝑀 → 𝑁 be a mapping of surfaces. Let 𝑣 be a tangent vector to 𝑀 such that there exist a curve
𝛼 in 𝑀 and 𝑣 = 𝛼 ′ (0). Then F(𝛼) is a curve in 𝑁.
129 of 161
Lecture notes on MTH352: Differential Geometry
Fact1: The tangent map 𝐹∗ is a linear map from 𝑇𝑝 (𝑀) to 𝑇𝑇(𝑝) (𝑁).
(𝐺(𝐹))∗ = 𝐺∗ (𝐹∗ ).
Let 𝐹: 𝑀 → 𝑁 be a mapping.
Diffeomorphisms
Definition: Let 𝐹: 𝑀 → 𝑁 be a mapping of surfaces. If 𝐹 has an inverse 𝐹 −1 : 𝑁 → 𝑀 which is also a
mapping of surfaces then 𝐹 is a diffeomorphism.
𝐹|𝑈 : 𝑈 → 𝑉
is a diffeomorphism.
130 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 26
Contents:
131 of 161
Lecture notes on MTH352: Differential Geometry
Diffeomorphic Surfaces
Diffeomorphic Surfaces
Examples of diffeomorphic surfaces
So 𝐹 is a diffeomorphism.
diffeomorphic to 𝑅 2 .
where
132 of 161
Lecture notes on MTH352: Differential Geometry
3𝜋 𝜋
(𝑢, 𝑣) ∈ 𝑅 × (− , )
2 2
2𝑝1 2𝑝2
𝐹(𝑝1 , 𝑝2 , 𝑝3 ) = ( , , 0).
2 − 𝑝3 2 − 𝑝3
So
2 cos 𝑣
𝑦(𝑢, 𝑣) = 𝐹(𝑥(𝑢, 𝑣)) = (cos 𝑢 , sin 𝑢 , 0).
1 − sin 𝑣
𝐹(𝑥, 𝑦, 𝑧) = 𝑒 𝑧 (𝑥, 𝑦)
Mapping of a 𝟎 −form
133 of 161
Lecture notes on MTH352: Differential Geometry
𝑓(𝐹): 𝑀 → 𝑅 , 𝑝 → 𝑓(𝐹(𝑝)).
The essential operations on forms are sum, wedge product, and exterior derivative, are all
preserved by mapping.
Theorem:
1. 𝐹 ∗ (𝜉 + 𝜂) = 𝐹 ∗ 𝜉 + 𝐹 ∗ 𝜂.
2. 𝐹 ∗ (𝜉 ∧ 𝜂) = 𝐹 ∗ 𝜉 ∧ 𝐹 ∗ 𝜂.
3. 𝐹 ∗ (𝑑𝜉) = 𝑑 (𝐹 ∗ 𝜉).
Lecture # 27
Contents:
134 of 161
Lecture notes on MTH352: Differential Geometry
Line Integrals
Integration of 2 −forms
Line Integrals
Pull-back of 𝟏 −form on a curve
Let
𝛼: [𝑎, 𝑏] → 𝑀
𝑓(𝑡) 𝑑𝑡 where
135 of 161
Lecture notes on MTH352: Differential Geometry
Assume that a particle moves on a curve 𝛼: [𝑎, 𝑏] → 𝑀. We want to know how much work is done
by the force field on the particle as it moves between points 𝛼(𝑎) and 𝛼(𝑏).
Work is done on the particle only by the component of force tangent to 𝛼, that is,
𝛼′
𝑉(𝛼). ‖𝛼′ ‖ = ‖𝑉(𝛼)‖ cos 𝜃
𝛼′
(𝑉(𝛼). ′ ) ‖𝛼 ′ (𝑡)‖Δ𝑡 .
‖𝛼 ‖
becomes
𝑊=∫ 𝜙
𝛼
136 of 161
Lecture notes on MTH352: Differential Geometry
∫ 𝑑𝑓 = 𝑓(𝑞) − 𝑓(𝑝).
𝛼
∫ 𝑑𝑓 = 𝑓(𝑞) − 𝑓(𝑝).
𝛼
Let the “boundary” of the curve be 𝑞 − 𝑝, where 𝑝 is the starting point and 𝑞 is the end point. Then
the integral of 𝑑𝑓 over 𝛼 equals the “integral” of 𝑓 over the boundary of 𝛼, namely 𝑓(𝑞) − 𝑓(𝑝).
Definition:
Let
be a closed rectangle in 𝑅 2 .
A 2 −segment is a function 𝑥: 𝑅 → 𝑀 which is differentiable, that is, there exist an open set 𝐷 ⊂ 𝑅 2
such that 𝑅 ⊂ 𝐷, and 𝑥: 𝐷 → 𝑀 is differentiable.
137 of 161
Lecture notes on MTH352: Differential Geometry
Note:
Pull-back of a 𝟐 −form
ℎ 𝑑𝑢 𝑑𝑣
Where
𝛼(𝑢) = 𝑥(𝑢, 𝑐), 𝛽(𝑣) = 𝑥(𝑏, 𝑣), 𝛾(𝑢) = (𝑢, 𝑑 ), 𝛿(𝑣) = (𝑎, 𝑣 ) .
𝜕𝑥 = 𝛼 + 𝛽 − 𝛾 − 𝛿
138 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 28
139 of 161
Lecture notes on MTH352: Differential Geometry
Contents:
Stokes Theorem
Reparametrization
Stokes Theorem
Theorem: Let 𝜙 be a 1 −form on 𝑀. Let 𝑅 be a closed rectangle 𝑅 = [𝑎, 𝑏] × [𝑐, 𝑑]. Let 𝑥: 𝑅 →
𝑀 be a 2 −segment in 𝑀. Then
∫ ∫𝑑 𝜙 = ∫ 𝜙 .
𝑥 𝜕𝑥
Proof:
Idea of the proof: We will start from the double integral and show that it turns into the integral
over the boundary of 𝑥.
We have
𝑏 𝑑
∫ ∫𝑑 𝜙 = ∫ ∫ 𝑑𝜙(𝑥𝑢 , 𝑥𝑣 )𝑑𝑢 𝑑𝑣
𝑥 𝑎 𝑐
So
𝑏 𝑑
𝜕 𝜕
∫ ∫𝑑 𝜙 = ∫ ∫ ( 𝜙(𝑥𝑣 ) − 𝜙(𝑥𝑢 )) 𝑑𝑢 𝑑𝑣 .
𝑥 𝑎 𝑐 𝜕𝑢 𝜕𝑢
140 of 161
Lecture notes on MTH352: Differential Geometry
𝑏 𝑑 𝑏 𝑑
𝜕𝑔 𝜕𝑓
= ∫ ∫ ( ) 𝑑𝑢 𝑑𝑣 − ∫ ∫ ( ) 𝑑𝑢 𝑑𝑣
𝑎 𝑐 𝜕𝑢 𝑎 𝑐 𝜕𝑢
Consider
𝑑 𝑏 𝑑 𝑏 𝑑
𝜕𝑔 𝜕𝑔
∫ ∫ ( ) 𝑑𝑢 𝑑𝑣 = ∫ (∫ ( ) 𝑑𝑢) 𝑑𝑣 = ∫ (𝐼) 𝑑𝑣
𝑐 𝑎 𝜕𝑢 𝑐 𝑎 𝜕𝑢 𝑐
Where
𝑏
𝜕𝑔
𝐼 = ∫ ( ) 𝑑𝑢
𝑎 𝜕𝑢
𝑑 𝑑 𝑑 𝑑
𝜕
∫ 𝑔(𝑏, 𝑣) 𝑑𝑣 = ∫ 𝜙(𝑥𝑣 (𝑏, 𝑣)) 𝑑𝑣 = ∫ 𝜙 ( 𝑥(𝑏, 𝑣)) 𝑑𝑣 = ∫ 𝜙(𝛽 ′ (𝑣)) 𝑑𝑣 = ∫ 𝜙
𝑐 𝑐 𝑐 𝜕𝑣 𝑐 𝛽
Now
𝑑 𝑑 𝑑 𝑑
∫ ∫𝒅 𝝓 = (∫ 𝜙(𝛽 ′ (𝑣)) 𝑑𝑣 − ∫ 𝜙(𝛿 ′ (𝑣)) 𝑑𝑣 ) − (∫ 𝜙(𝛾 ′ (𝑣)) 𝑑𝑣 − ∫ 𝜙(𝛼 ′ (𝑣)) 𝑑𝑣 )
𝒙 𝑐 𝑐 𝑐 𝑐
∫ ∫𝑑 𝜙 = (∫ 𝜙 − ∫𝜙 ) − (∫𝜙 − ∫ 𝜙 )
𝑥 𝛽 𝛿 𝛾 𝛼
=∫ 𝜙
𝜕𝑥
Reparametrization
141 of 161
Lecture notes on MTH352: Differential Geometry
Let 𝛼(ℎ): [𝑎, 𝑏] → 𝑀 be a reparametrization of a curve segment 𝛼: [𝑐, 𝑑] → 𝑀 by ℎ: [𝑎, 𝑏] → [𝑐, 𝑑].
Then for any 1 −form on 𝑀
∫ 𝜙 = ∫𝜙
𝑎(ℎ) 𝛼
∫ 𝜙 = − ∫𝜙
𝛼(ℎ) 𝛼
−𝜉: [𝑡1 , 𝑡2 ] → 𝑀
by
−𝜉(𝑡) = 𝜉(𝑡1 + 𝑡2 − 𝑡)
So by previous result
∫ 𝜙 = − ∫𝜙
−𝜉 𝜉
∫ ∫𝑑 𝜙 = ∫ 𝜙 = (∫ 𝜙 − ∫𝜙 ) − (∫𝜙 − ∫ 𝜙 )
𝑥 𝜕𝑥 𝛽 𝛿 𝛾 𝛼
So we can write
∫ ∫𝑑 𝜙 = ∫ 𝜙 = ∫ 𝜙 + ∫ 𝜙 + ∫ 𝜙 + ∫ 𝜙
𝑥 𝜕𝑥 𝛼 𝛽 −𝛿 −𝛾
142 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 29
Contents:
Connectedness
143 of 161
Lecture notes on MTH352: Differential Geometry
Compactness
Orientability
Connectedness
Definition:
Let 𝑀 be a surface. The surface 𝑀 is connected if for any two points 𝑝
and 𝑞 of 𝑀 there exists a curve segment in 𝑀 from 𝑝 to 𝑞.
𝑀: 𝑧 2 = 𝑥 2 + 𝑦 2 + 1
Then 𝑀 is disconnected.
There are no curves in 𝑀 between points with 𝑧 > 0 and points with 𝑍 < 0.
Compactness
Definition: Let 𝐴 be a set in a topological space. If for every covering of 𝐴 by open sets
𝐴 = ⋃ 𝑈𝛼 ,
𝛼∈𝐽
then 𝐴 is compact.
144 of 161
Lecture notes on MTH352: Differential Geometry
Examples:
Compactness of surfaces
𝑥𝑖 : 𝑅𝑗 → 𝑀 𝑓𝑜𝑟 𝑗 = 1,2, … , 𝑘
such that
𝑘
𝑀=⋃ 𝑥𝑗 (𝑅𝑗 )
𝑗=1
Proof:
145 of 161
Lecture notes on MTH352: Differential Geometry
Examples:
A sphere is compact.
A torus is compact.
A continuous real valued function on a closed rectangle 𝑅 in the plane takes a maximum at some
point of 𝑅.
146 of 161
Lecture notes on MTH352: Differential Geometry
Lemma:
A continuous function 𝑓 on a compact region in a surface 𝑀 takes on a maximum at some point of
𝑀.
Orientability
Definition:
A surface 𝑀 is orientable if there exists a continuous 2 −form on 𝑀 that is non-zero at every point
of 𝑀.
Example:
Unit normal
A unit normal 𝑈 on 𝑀 is a differentiable Euclidean vector field on 𝑀 that has unit length and is
everywhere normal to 𝑀.
Proposition:
A surface 𝑀 ⊂ 𝑅 3 is orientable if and only if there exists a unit normal vector field on 𝑀.
147 of 161
Lecture notes on MTH352: Differential Geometry
Spheres
Cylinder
Surface of revolution
Lecture # 30
Contents:
Homotopy
148 of 161
Lecture notes on MTH352: Differential Geometry
Poincare Lemma
Conditions of Orientability
Homotopy
Definition:
149 of 161
Lecture notes on MTH352: Differential Geometry
Definition:
A surface 𝑀 is simply connected provided it is connected and every loop in 𝑀 in homotopic to a
constant.
Example:
The plane 𝑅 2 is simply connected. In general every Euclidean space is simply connected.
150 of 161
Lecture notes on MTH352: Differential Geometry
∫ 𝜙 = 0.
𝛼
Proof:
Definition:
A differential form is exact if it is exterior derivative of another form.
151 of 161
Lecture notes on MTH352: Differential Geometry
Jordan-Brouwe-Separation theorem
A compact surface in 𝑅 3 separates 𝑅 3 into two non-empty sets, an exterior and an interior.
152 of 161
Lecture notes on MTH352: Differential Geometry
Lecture # 31
Contents:
153 of 161
Lecture notes on MTH352: Differential Geometry
Abstract Surfaces
Manifolds
Abstract Surfaces
Abstract patch
𝑥: 𝐷 → 𝑀
𝑥 is injective.
𝐷 is an open set in 𝑅 2 .
Definition
An abstract surface is a pair (𝑀, 𝑃) such that 𝑃 is a set of abstract patches in 𝑀, and such that the
following three axioms are satisfied:
The covering axiom: The union of the images of the patches in 𝑃 is equal to 𝑀.
The smooth overlap axiom: If 𝑥, 𝑦 are elements of 𝑃, then 𝑦 −1 (𝑥) and 𝑥 −1 (𝑦) are
differentiable functions from open sets in 𝑅 2 into 𝑅 2 .
The Hausdorff axiom: If 𝑝 and 𝑞 are different points in 𝑀 then there are disjoint patches
𝑥, 𝑦 ∈ 𝑃 such that 𝑝 is in the image of 𝑥 and 𝑞 is in the image of 𝑦.
154 of 161
Lecture notes on MTH352: Differential Geometry
An open set of 𝑀 is any union of sets 𝑥(𝑈) such that 𝑥 ∈ 𝑃 and 𝑈 is open subset of the domain of 𝑥.
Call 𝑥 a small patch if 𝑥(𝐷) is contained in a hemisphere of Σ. So {𝑝, −𝑝} is not subset of 𝑥(𝐷) for all
𝑝 ∈ Σ.
This is easy to show, because the domain 𝐷 of every patch has the Hausdorff property: for any two
given distinct points there are disjoint open sets around them.
Assume that 𝐹(𝑥), 𝐹(𝑦) ∈ 𝑃 and there is a point {𝑝, −𝑝} which is in the image of both 𝐹(𝑥) and
𝐹(𝑦). Then either the images of 𝑥 and 𝑦 in Σ both contain 𝑝 or −𝑝 or one contains 𝑝 and the other
contains −𝑝.
𝐹(𝑦)−1 (𝐹(𝑥)) = 𝑦 −1 𝑥
−1 −1
(𝐹(𝑦)) (𝐹(𝑥)) = (𝐹(𝐴(𝑦))) (𝐹(𝑥)) = 𝑦 −1 𝑥
which proves that 𝐹(𝑥) and 𝐹(𝑦) satisfies the smooth overlap
155 of 161
Lecture notes on MTH352: Differential Geometry
condition.
Surfaces in 𝑹𝟑
A surface in 𝑅 3 is an example of an abstract surface, if we explain 𝑆 as the set of patches that is
used to construct 𝑀.
We will assume that the set 𝑃 of patches in an abstract surface (𝑀, 𝑃) is as large as possible.
So all patches in 𝑀 that satisfies the overlap condition with all elements of 𝑃 also have to be in 𝑃.
Sometimes we only speak of the surface 𝑀 when we mean the abstract surface (𝑀, 𝑃).
𝛼: 𝐼 → 𝑀
Definition:
A velocity vector of a function 𝛼: 𝐼 → 𝑀 is a function 𝛼 ′ (𝑡) such that for every differentiable
function 𝑓: 𝑀 → 𝑹
𝑑𝑓(𝛼)
𝛼 ′ (𝑡)(𝑓) = 𝛼 ′ (𝑡)[𝑓] = (𝑡) 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑡 ∈ 𝐼 .
𝑑𝑡
We notice that differential forms and integration on surfaces can all be explained in terms of
velocity of curves.
Manifold
An 𝑛 −dimensional manifold is a pair (𝑀, 𝑃), where 𝑀 is a set of points, and 𝑃 is a set of abstract
patches 𝑥: 𝐷 → 𝑀 injective, with 𝐷 ⊂ 𝑅 𝑛 an open set, satisfying:
The covering axiom: The union of the images of the patches in 𝑃 is equal to 𝑀.
The smooth overlap axiom: If 𝑥, 𝑦 are elements of 𝑃, then 𝑦 −1 (𝑥) and 𝑥 −1 (𝑦) are
differentiable functions from open sets in 𝑅 2 into 𝑅 2 .
The Hausdorff axiom: If 𝑝 and 𝑞 are different points in 𝑀 then there are disjoint patches
𝑥, 𝑦 ∈ 𝑃 such that 𝑝 is in the image of 𝑥 and 𝑞 is in the image of 𝑦.
Example:
156 of 161
Lecture notes on MTH352: Differential Geometry
Example:
An element of 𝑇(𝑀) corresponds to a pair (𝑝, 𝑣) ∈ 𝑀 × 𝑇𝑝 (𝑀). Since 𝑀 and 𝑇𝑝 (𝑀) each has
dimension 2. We expect that 𝑇(𝑀) has dimension 4.
̌ = {(𝑝1 , 𝑝2 , 𝑝3 , 𝑝4 ): (𝑝1 , 𝑝2 ) ∈ 𝐷} = 𝐷 × 𝑅 2
Let 𝐷
̌ → 𝑇(𝑀) be defined as
Let 𝑥̃: 𝐷
Then 𝑥̃ is injective, and if 𝑃 is the set of all derived patches 𝑥̃ of patches in 𝑀, then (𝑇(𝑀), 𝑃)
satisfies the definition of a manifold.
Lecture # 32
Contents:
Geodesic Curves
157 of 161
Lecture notes on MTH352: Differential Geometry
Examples
Geodesic Curves
Definition:
Let 𝑀 be a surface in 𝑀. The 𝛼 is a geodesic of 𝑀 if 𝛼′′ is normal to 𝑀.
Remark: Geodesics is a curve that does not turn right or left on 𝑀. It only moves up and down to
stay on 𝑀 itself.
Properties of geodesics
Geodesics on spheres
We know that 𝛼 ′′ at every point of 𝛼 points towards the (0,0,0) of the circle.
Geodesics on cylinders
158 of 161
Lecture notes on MTH352: Differential Geometry
ℎ(𝑡) = 𝑐𝑡 + 𝑑
𝜃(𝑡) = 𝑎𝑡 + 𝑏.
Closed geodesics
Example:
Example:
159 of 161
Lecture notes on MTH352: Differential Geometry
the 𝑧-axis.
Theorem: Assume that 𝛼 is a unit speed curve in 𝑀. Let there exist a plane 𝑃 such that
𝛼 ⊂𝑃∩𝑀.
Proof:
We know that
𝛼 ′ ∈ 𝑃 ∩ 𝑇(𝑀)
So 𝛼 is a geodesic.
Surface of revolution
Proof:
Every meridian is the intersection of 𝑀 with a plane 𝑃 that contains the rotation axis.
160 of 161
Lecture notes on MTH352: Differential Geometry
161 of 161