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
EXAMPLE: SPHERICAL COORDS The sphere with the north and south poles removed parametrized surface of revolution
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
parametrized curve regular
parametrized curve regular if tangent vector is non zero everywhere
27
DEF 3.4.1: A parametrized surface σ : U → R^3 is regular if...
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
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
* σ 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
DEF 3.4.3: tangent plane
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
DEF 3.4.3: tangent vectors tangent space 2D vector subspace of R^3 , plane through o
(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
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)
σ(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
a parametrized curve in σ
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
LEMMA: tangent vector of parameterizations
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
LEMMA: tangent vector of parameterizations proof
``` 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
Tangent plane construct
Collect all curves on σ passing through (u,v) and take their tangent vectors at (u,v)
36
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.
* σ 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