Chapter 3: Surfaces in R^3 Flashcards

1
Q

DEF 3.1 open subset

A

A subset U of R^n is open if, whenever P is a point in U,
there is a positive number ε such that every point Q ∈ R^n within a distance ε of P is also in U

  • Q∈ R^n and ||PQ|| < ε implies Q∈U ( for p∈U)
  • R^n and ∅ are trivial e.g any ε , e.g. no points in the set so no points to worry about
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

open subset examples

A
  • R^n and ∅ are trivial e.g any ε , e.g. no points in the set so no points to worry about
  • Products of open intervals : ]α_1,β_1 [ x…x]α_n, β_n[ for α_i less than β_i for i=1,…,n

eg n=1 [α, β] on real line
eg n=2 rectangle not including boundary ( can always find epsilon for any point)
eg n=3 cuboid without boundary

  • The open ball eg B_R(P) = {Q∈R^n : ||PQ|| less than R} for P∈ R^n and R bigger than 0
    disc without boundary
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

EXAMPLE: [α, β] is it open

A

Take [α, β] ⊂ R.
{x∈R: α ≤x≤ β}. If we take p=β then for any ε>0 we will have points not within the set.

e.g. take Q= p + 0.5ε. Then |QP| = 0.5ε less than ε. But Q= β. So Q not in [α, β]. This means [α, β] isn’t open

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

DEF: continuous at P in X

A

F is continuous at P ∈ X if, given any number ε bigger than 0, there is a number δ bigger than 0 such that
Q ∈ X and ||PQ|| < δ ⇒
||F(P)F(Q)|| < ε.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

DEF continuous map F

A

The map F is continuous if it is continuous at every point in X

For subsets X ⊂R^m , Y⊂ R^n map F:X → Y is continuous at p ∈X if points near p are mapped by F to points in Y near F(P)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

differentiability and continuity

A

all differentiable functions defined on an open set are continuous

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

DEF: 3.2.1

The partial derivative of a vector-valued function

σ : R^2 → R^3

σ(u, v) = (x(u, v), y(u, v), z(u, v))

A

Consider a vector-valued function σ : R^2 → R^3

σ(u, v) = (x(u, v), y(u, v), z(u, v))

The partial derivative of σ(u, v) with respect to u/ u-derivative,
is
∂σ/∂u= (∂x/∂u, ∂y/∂u, ∂z/∂u)

or σ_u(u, v) = (x_u(u, v), y_u(u, v), z_u(u, v))

which is another vector-valued function of the same form.

similarly wrt v
component by component

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

2nd order partial derivatives of a vector-valued function

σ : R^2 → R^3

σ(u, v) = (x(u, v), y(u, v), z(u, v))

A

∂^2σ/∂u^2,
∂^2σ/∂u∂v,
∂^2σ/∂v∂u,
∂^2σ/∂v^2,

or σuu, σuv, σvu, σvv.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

usually functs..

A

In practice, we will always deal with functions σ : U → R^3
(where U ∈ R^2
is open) that are differentiable in both variables infinitely many times. In this case, σuv = σvu.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

DEF: 3.2.3 dot product

A

Given two vector-valued functions σ_1, σ_2 : R^2 → R^3

σ_1(u, v) = (x_1(u, v), y_1(u, v), z_1(u, v))
σ_2(u, v) = (x_2(u, v), y_2(u, v), z_2(u, v))

their dot product 
σ_1 · σ_2 
is the scalar-valued function
(σ_1 · σ_2)(u, v) = 
x_1(u, v)x_2(u, v) + y_1(u, v)y_2(u, v) + z_1(u, v)z_2(u, v)

in R^3 dot product encodes lengths of vectors and angles for tangent vectors of surfaces.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

PROP 3.2.4

a product rule

A

The partial derivatives of the dot product satisfy a product
rule:
(σ1 · σ2)_u = (σ1)_u · σ2 + σ1 · (σ2)_u;

(σ1 · σ2)_v = (σ1)v · σ2 + σ1 · (σ2)_v.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

DEF 3.2.5: cross product

A
the cross product of σ_1(u, v) and σ_2(u, v) is the vector-valued function σ_1 × σ_2 given by
(σ1 × σ2)(u, v) = 
(y1(u, v)z2(u, v) − z1(u, v)y2(u, v),
z1(u, v)x2(u, v) − x1(u, v)z2(u, v),
x1(u, v)y2(u, v) − y1(u, v)x2(u, v))
= det {
[   i      j      k ]
[x_1  y_1  z_1]
[x_2  y_2  z_2]
}
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Example:

u derivative of dot product of σ(u, v) · σ(u, v)

A

Given a vector-valued function σ(u, v), the u-derivative of
σ(u, v) · σ(u, v) is
(σ · σ)u = σu · σ + σ · σu
= 2 σ_u · σ
and similarly its v-derivative is 2 σv · σ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

||σ|| constant

A

||σ|| constant⇒
σ_u(u, v) ⊥ σ(u, v),
σ_v(u, v) ⊥ σ(u, v)

for all (u, v) ∈ R^2.

In words, if a vector-valued function has constant magnitude, it is always orthogonal to its partial derivatives.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Definition 3.3.1. A parametrized surface in R^3

A

A parametrized surface in R^3
consists of an open set U ⊆
R^2 and a continuous map
σ : U → R^3

U is some open set on R^2 such as a product of open intervals

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

DEF:
surface

parametrization of S

A

The image S = σ(U) is called a surface and σ is called a parametrization
of S.

applying σ to open set gives some surface, image in R^3

17
Q

EXAMPLE: For the plane P in R^3 that contains the point (1, 0, 0) and is parallel to the vectors (−1, 1, 0) and (−1, 0, 1) a parametrization is

A

a parametrization is

σ_1 : R^2 → R^3

(u, v) → (1 − u − v, u, v).

image is {(x,y,z) : x+y+z = 1}

18
Q

EXAMPLE: For the cylinder C := {(x, y, z) | x^2 + y^2 = 1}

a parametrization is

A

a parametrization is
σ_2 : ]−10, 10[ × R → R^3

(u, v) → (cos(u), sin(u), v).

centred at origin, surface of revolution of a curve parametrized by γ: R → R^3, γ(t)= (1,0,t)

or by (θ,t) → (cos(θ), sin(θ), t)

19
Q

EXAMPLE: For the paraboloid {(x, y, z) | z = x^2 + y^2} a parametrization is

A

a parametrization is
σ_3 : R^2 → R^3
(u, v) → (u, v, u^2 + v^2)

2d to 3d cup

20
Q

EXAMPLE: For a function f : R^2 → R, the graph of f is the set Γ_f := {(x, y, z) | z − f(x, y) = 0}; a parametrization is

A

a parametrization is
σ_4 : R^2 → R^3

(u, v) → (u, v, f(u, v)).

21
Q

EXAMPLE:
Find a parametrization of the plane P through the three
points (0, 0, 1), (0, 2, 3) and (1, 0, 0).

A

Any point on plane reached to from c by linear combo of vectors CA and CB

ie if x ∈ P then x=(1,0,0) + u(-1,0,1) +v(-1,2,3) for u,v ∈ R. So we can parametrize p by σ:R^2 → R^3 σ(u,v) =(1-u-v, 2v, u+3v)

22
Q

parametrized surface of revolution

A

Let γ: ]α, β[ → R^3, t → (x(t), 0, z(t)) be a regular parametrization of a curve C in the xz-plane. The parametrized surface of revolution of C is
σ : R^2 → R^3, (θ, t) →(x(t) cos θ, x(t) sin θ, z(t))

curve is in plane x-z and revolves about z axis

23
Q

LATITUDES

A

The circles of constant t are called latitudes

24
Q

LONGITUDES

A

the lines of constant θ are

called longitude

25
Q

EXAMPLE: SPHERICAL COORDS

The sphere with the north and south poles removed

parametrized surface of revolution

A

The sphere with the north and south poles removed is the surface of revolution of the (open) semicircle

parametrize semicircle by

γ: ]−π/2, π/2[→ R^3
φ → (cos φ, 0, sin φ).

The resulting parametrized surface of revolution is

σ : ]−π/2, π/2[ × R → R^3

σ(φ, θ) = (cos φ cos θ, cos φ sin θ, sin φ)

*open so not including end points to stop being irregular

26
Q

parametrized curve regular

A

parametrized curve regular if tangent vector is non zero everywhere

27
Q

DEF 3.4.1:

A parametrized surface σ : U → R^3 is regular if…

A

A parametrized surface σ : U → R^3 is regular if for each
(u, v) ∈ U, the vectors σu(u, v) and σv(u, v) are linearly independent,
in
other words, if σ_u(u, v) and σ_v(u, v) span a plane in R^3

28
Q

EXAMPLE:

Consider the parametrized surface σ : R^2 → R^3,

σ(u, v) = (u + v,(u − v)^2 , (u − v)^3) for u, v ∈ R.

Is this surface smooth? Is it regular? Identify the parameters (u, v) ∈ R2
such that σ(u, v) is on the “sharp edge

diagram duck mouth

A
  • σ is smooth because each of the coordinate functions are polynomials in u and v so are infinitely differentiable in u and v
  • σ_u(u,v) = (1, 2(u-v), 3(u-v)^2) ≠0 for all u, v∈R
  • σ_v(u,v) = (1, -2(u-v), -3(u-v)^2) ≠0 for all u, v∈R
  • These are linearly dependent if σ_u= λ*σ_u for some λ∈R

first components implies λ=1 implies 2(u-v) = -2(u-v) ie u-v =0 so u=v.

indeed σ_u = σ_v when u=v and this is the only place where linearly dependent. This is where the surface σ will not be regular. σ(u,w) = (2u,0,0) for u∈R ie along x axis

29
Q

DEF 3.4.3: tangent plane

A

Let σ : U → R^3 be a regular parametrized surface and
suppose (u_0, v_0) ∈ U.

(a) The tangent plane to σ at (u_0, v_0) is the plane through the point P = σ(u_0, v_0) and with directions the vectors σ_u(u_0, v_0) and σ_v(u_0, v_0).
* tangent space is like tangent plane but translated to origin

30
Q

DEF 3.4.3: tangent vectors

tangent space

2D vector subspace of R^3 , plane through o

A

(b) We say that σ_u(u_0, v_0) is a tangent vector in the u-direction. Similarly,
σ_v(u_0, v_0) is a tangent vector in the v-direction. More generally,vectors of the form

aσ_u(u_0, v_0) + bσ_v(u_0, v_0) for a, b ∈ R
are called the tangent vectors of σ at the point P = σ(u_0, v_0).

We call the vector space spanned by σ_u(u0, v0) and σ_v(u0, v0) the tangent
space of σ at (u0, v0), and denote it

T_(u0,v0)σ (or TPS if that’s unambiguous).

*the tangent plane to σ at (u0, v0) is a 2-dimensional plane through P = σ(u0, v0), and that the tangent space T(u0,v0)σ is a 2-dimensional vector
subspace of R^3 (or a plane through the origin).

*σ_u and σ_v linearly indep implies regular

31
Q

EXAMPLE:

Show that for the parametrization σ of a part of S^2 in Example 3.3.6 (w\o poles)

T(u,v)σ = the plane orthogonal to the vector σ(u, v)

A

σ(u, v) = (cos u cos v, cos u sin v, sin u)

TS spanned by σ_u and σ_v. To show its orthogonal to σ show its orthogonal to σ_u and to σ_v.

σ_u(u,v) = (-sinucosv, -sinu sinv, cosu)
showing orthogonal by σ_u dot σ = 0
σ_v(u,v) = (-sinvcosu, cosvcosu,0)

showing orthogonal by σ_vdot σ = 0

32
Q

a parametrized curve in σ

A

If σ : U → R^3
is a parametrized surface for U ⊂ R^2 an open set, then a parametrized curve in σ is a parametrized curve σ ◦γ: ]α, β[ → R^3, for some α, β ∈ R, where γ: ]α, β[ → U is a parametrized
curve in R^2

33
Q

LEMMA: tangent vector of parameterizations

A

A tangent vector of a parametrized surface σ : U → R^3 at a point (u, v) ∈ U is the same as a tangent vector of some parametrized curve
σ ◦ γ: ]α, β[ → R^3 on σ at t where γ(t) = (u, v).

34
Q

LEMMA: tangent vector of parameterizations proof

A
Suppose we have a parametrized curve γ~ = σ ◦ γ we want to show that (γ~^dot)
is in the tangent space 
T_(u(t),v(t)) σ
ie 
(γ~^dot)(t) = aσ_u + bσ_v
for some a,b in R.

(γ~^dot)(t) = (σ ◦ γ)’ (t)
= (dσ/du) (du/dt) + (dσ/dv)(dv/dt) where γ(t) = (u(t), v(t))

So (γ~^dot)(t) = u’(t)σ_u + v’(t)σ_v which is of the form we wanted: linear combination of σ_u and σ_v

CONVERSELY:
suppose that we have
X = aσ_u(u_0,v_0)+bσ_v(u_0,v_0)
∈T_(u_0,v_0) σ.

we need to find some parametrized curve in σ that this is the tangent vector of

interval on real line [-ε,ε] mapped to straight line through (u_0,v_0) with slope a/b inside open rectangle in R^2

because U is open and (u_0,v_0) in U then there exists ε bigger than 0 such that
γ:[-ε,ε]→ U, t→ (u_0,v_0) + t(a,b). we have γ(0)= (u_0,v_0)
γ’(0)= (a,b )=(u’(0),v’(0)).
Take γ~ = σ ◦ γ then (γ~^dot)(0)= aσ_u(u_0,v_0)+bσ_v(u_0,v_0)=X

35
Q

Tangent plane construct

A

Collect all curves on σ passing through (u,v) and take their tangent vectors at (u,v)

36
Q

EXAMPLE: Let γ: ]α, β[ → R^3,

t→(x(t), 0, z(t)) be a smooth and
regular parametrized curve and let
σ : ]α, β[ × R → R^3, σ(t, θ) =
(x(t) cos θ, x(t) sin θ, z(t))
be the surface of revolution obtained by rotating the image of γ around the
z-axis (see Example 3.3.4). 

Show that σ is smooth. Show that σ is regular if and only if x(t) ≠ 0 for all t.

A
  • σ is smooth as components x(t)cosϴ, x(t)sint, z(t) are infinitely differentiable
  • σ is regular if and only if σ(t,θ)≠0 for all (t,θ) in ]α,β[ x R

x(t)cosϴ ≠ 0 , x(t) is regular hence cosϴ ≠0 implies ϴ≠ (pi/2) + 2npi and sinϴ≠0
never both 0