Span of a vector space question

In summary, the condition in Frobenius' theorem that in order for a submanifold to be an integral submanifold of a set of vector fields the vector fields must form a lie algebra is easily seen by the set of three killing vector fields, on S^{2}, which S^{2} is an integral submanifold of.
  • #1
WannabeNewton
Science Advisor
5,844
550
Hey guys, this question is more or less related to the way Frobenius' theorem is presented in my text. Consider an n - manifold M, an m - dimensional submanifold S of M, and a set of k linearly independent vector fields [itex]V^{\mu }_{(a)}[/itex] such that [itex]k \geq m[/itex]. In order for S to be an integral submanifold of the [itex]V^{\mu }_{(a)}[/itex]'s, each vector field in [itex]V^{\mu }_{(a)}[/itex] must be tangent to S everywhere. The text states that, if this condition is met, then at each [itex]p\in S[/itex], each [itex]V^{\mu }_{(a)}(p)[/itex] will be an element of the tangent space [itex]T_{p}(S)[/itex] and since they are linearly independent, they will span the tangent space. The conclusion then follows that since each vector field is tangent to S everywhere, the vector fields themselves will span each tangent space so as to span the tangent bundle to S. I can agree with this if k = m but if k > m I don't see how the vector fields can be linearly independent so as to span the space. Isn't the linearly independent set maximal when it spans a space? If the dimension of each tangent space is m, how can the vector fields span each tangent space when there are k > m linearly independent vector fields? The argument only makes sense to me when k = m. I am not disputing the claims any way by the way, in fact the condition in Frobenius' theorem that in order for a submanifold to be an integral submanifold of a set of vector fields the vector fields must form a lie algebra is easily seen by the set of three killing vector fields, on [itex]S^{2}[/itex], which [itex]S^{2}[/itex] is an integral submanifold of. I am just asking for a clarification because I am obviously overlooking something. Thanks all and sorry in advance if this is the wrong section.
 
Physics news on Phys.org
  • #2
Suppose that X is an n-dimensional vector space, and that Y is an m-dimensional subspace of X with m<n. Then any linearly independent set in Y with m members spans Y, and there's no linearly independent set in Y with m+1 members. (That's what dim Y=m means). But a linearly independent set in X can have up to n members.

It seems to me that you have understood this correctly, so I think the only thing you have overlooked is that you're supposed to conclude that k≥m and k≤m together imply that k=m. (If all the k≥m members of a linearly independent set in X are in the m-dimensional subspace Y, then k≤m).
 
  • #3
Hey Fredrik, thanks for the reply. I'm a little more sure now. Going back to the example on [itex]S^{2}[/itex], we have the three killing vector fields [itex]R = \partial _{\phi }, S = cos\phi \partial _{\theta} - cot\theta sin\phi \partial _{\phi }, T = -sin\phi \partial _{\theta} - cot\theta cos\phi \partial _{\phi }[/itex] and these three vector fields satisfy [itex]L _{V(a)}V_{(b)} = [V_{(a)}, V_{(b)}] = \alpha ^{c}V_{(c)}[/itex] where c runs through all k. Here we have k = 3, and a submanifold of dimension 2 but [itex]S^{2}[/itex] is still an integral submanifold of the set. I used a different text as reference this time and it made it clearer: we choose a set of k vector fields from the original manifold M such that the k vector fields span a subbundle of TM where the subbundle is of dimension m <= k. We don't assume they are all linearly independent here so it is ok if the number of vector fields in the set is greater than the dimension of the subbundle. According to the text, at each point on the submanifold we pick k = m vector fields from the set that are linearly independent so that they form a basis for each tangent space at each point and all the members of the set can be expressed as a linear combination of them so that the members of the set form a lie algebra. I guess the other text forgot to mention that. Thanks Fredrik.
 
Last edited:

Related to Span of a vector space question

1. What is the span of a vector space?

The span of a vector space is the set of all possible linear combinations of vectors in that space. It represents all the possible directions that can be reached by combining the vectors in the space.

2. How is the span of a vector space calculated?

The span of a vector space can be calculated by finding all the possible linear combinations of the vectors in that space. This can be done by multiplying each vector by a scalar and adding them together. The resulting set of all possible combinations is the span of the vector space.

3. What is the significance of the span of a vector space?

The span of a vector space is significant because it represents the set of all possible directions that can be reached by combining the vectors in that space. It also helps determine the dimension of the vector space and whether the vectors in the space are linearly independent or dependent.

4. Can the span of a vector space be infinite?

Yes, the span of a vector space can be infinite. This can happen when the vectors in the space are not bounded by a specific value or when there is a large number of vectors in the space.

5. How does the span of a vector space relate to the basis of the space?

The span of a vector space and the basis of the space are closely related. The basis of a vector space is a set of linearly independent vectors that span the space. This means that any vector in the space can be written as a linear combination of the basis vectors. Therefore, the basis vectors determine the span of the vector space.

Similar threads

  • Linear and Abstract Algebra
Replies
8
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
1K
  • Linear and Abstract Algebra
Replies
10
Views
1K
  • Differential Geometry
Replies
12
Views
211
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
9
Views
1K
  • Calculus and Beyond Homework Help
Replies
15
Views
998
  • Linear and Abstract Algebra
Replies
5
Views
1K
Back
Top