Each vector space comes equipped with a preferred inner product.
Each vector spaces comes equipped with a preferred basis.
If v∈V is an element in a vector space V, then it determines a dual element v∗∈V∗.
Let P be the vector space of smooth R-valued function on [0,1]. For example, f(x)=x2−2, is an element in P, or f(x)=x+11. Then, the function Φ:P→R, defined by sending f(x)∈P to ∫01x2f(x)dx is a linear function on P.
2. Area
Consider the vector space R2. Let v1=(1,1),v2=(0,2). Let P(v1,v2) denote the signed area 1) of the parallelogram (skewed rectangle) generated by v1,v2. P(v1,v2)=?
From the above computation, can you deduce P(v1+3v2,v2)=? which formula did you use?
How about P(av1+bv2,cv1+dv2)=?
3. Metric tensor. Let V be a 2-dim vector space with metric tensor g. Let e1,e2 be a basis of V. Suppose we know that
g(e1,e1)=3,g(e1,e2)=1,g(e2,e2)=2
Answer the following question, recall that ∥v∥2=g(v,v).
∥e1∥=?, ∥e2∥=?
∥e1+e2∥=?
∥e1−2e2∥=?
P(e1,e2)=?
Can you find two vectors v1,v2∈R2, such that v1,v2 has the same properties as e1,e2?
4. Let V=R2 be the Euclidean vector space of 2-dim, and v,w be two vectors in it. Suppose we know that
g(v,v)=1,g(w,w)=4,g(v,w)=2
Can you deduce that v and w are collinear? (i.e. parallel? )
What if V is n-dimensional, does the above conclusion still holds?
Tangent Vectors
1. Tangent vector of a subspace in R2. Let S1 denote the unit circle in R2, i.e
S1={(x,y)∈R2∣x2+y2=1}.
Let v=(0,1), then for which point p∈S1, is the vector (p,v) a tangent vector of S1 at p?
2. Let f(x,y)=x2−y2, and let Γf={(x,y,z)∣z=f(x,y)} the graph of f in R3.
Then for the point p=(2,3,−5) on Γf, find two linearly independent tangent vectors in TpΓf.
Solution
Metric Tensor. Length, Area and Volume element
1. True of False
False. Although, you can equip any finite dimensional vector space with an inner product, there is no one holier than the other.
False. The whole point of introducing abstract linear vector space is to do away with basis (at least on the level of definition, even though in practice, it is useful to pick a basis).
False.
True.
2.
P(v1,v2)=det(1102)=2.
P(v1+3v2,v2)=P(v1,v2)=2. You can use either the property of determinant modify a column by a multiple of another column does not change the value. Or, you can use the fact that v1∧v2)=(v1+3v2)∧v2. Same thing.
∥e1+e2∥2=g(e1,e1)+g(e2,e2)+2g(e1,e2)=3+2+2=7, hence ∥e1+e2∥=7. Another way to get ∥e1+e2∥2 is by
(11)(3112)(11)=7
∥e1−2e2∥2=(1−2)(3112)(1−2)=7
P(e1,e2)=det(g)=5
Can you find two vectors v1,v2∈R2, such that v1,v2 has the same properties as e1,e2? v1=(3,0),v2=(2cosθ,2sinθ) where cosθ=231. We are using the formula
v⋅w=∥v∥∥w∥cosθ
there θ is the angle between v and w.
4. Try using the angle formula above to show that the two vector are parallel. It does not depends on whether you are in 2-dim or higher dim.
Tangent Vectors
1. For point p=(1,0) and p=(−1,0), the vector v=(0,1) is a tangent vector in TpS1. Just draw the picture to see.
2. The defining equation for Γf is z−f(x,y)=0, then tangent vectors vp to Γf at point p satisfies
⟨dz−df∣p,vp⟩=0
In concrete form, we have at p=(2,3,−5),
dz−df∣p=dz−2xdx+2ydy∣p=dz−4dx+6dy
thus, if vp=vx∂x+vy∂y+vz∂z, then the only requirement we have is
−4vx+6vy+vz=0
The solution space is spanned by vp=(1,0,4) and (0,1,−6). More correctly, we have
∂x+4∂z,∂y−6∂z
are two linearly independent vectors on TpΓf.