My question is this. Suppose we are given some smooth vector fields $X_1, X_2,..., X_k$ which are linearly independent at all points in a neighborhood $U$ (EDIT: diffeomorphic to a ball) of $R^n$. Do there necessarily exist smooth vector fields $X_{k+1},...,X_n$ such that $X_1,...,X_n$ are linearly independent on $U$? Of course at any point $p$, one can complete $X_1(p),...,X_k(p)$ to a basis for $R^n$, but there are infinitely many choices, and one can't hope to get smooth vector fields choosing arbitrarily at each point. If the result is true, there must be some algorithm by which to assign vectors in a smooth way, and this algorithm is what I would like to know. I should add that I am in the situation where $X_1,...,X_n$ do not necessarily commute, so they cannot be said to be coordinate fields. Thanks.
Extending a Set of Linearly Independent Vector Fields to a Basis
-
0For some basic information about writing math at this site see e.g. [here](http://meta.math.stackexchange.com/questions/5020/), [here](http://meta.stackexchange.com/a/70559/155238), [here](http://meta.math.stackexchange.com/questions/1773/) and [here](http://math.stackexchange.com/editing-help#latex). – 2012-11-04
2 Answers
The answer to your revised question is yes, but with the caveat that we may have to shrink $U$.
Suppose $X_1, \ldots, X_k$ are pointwise linearly independent vector fields on an open subset $U$ of $\mathbb{R}^n$. Pick a point $p$ in $U$, and choose vectors $v_{k+1}, \ldots, v_n$ so that $X_1 (p), \ldots, X_k (p), v_{k+1}, \ldots, v_n$ forms a basis for the tangent space at $p$. Since $U$ is an open subset of $\mathbb{R}^n$, we can use the standard frame to extend each $v_i$ to a (smooth) vector field $X_i$. Now consider $\det (X_1, \ldots, X_n)$: this is a smooth function on $U$, and by construction it is non-zero at $p$, so by continuity it is non-zero on a neighbourhood $V$ of $p$. Thus we have a frame $X_1, \ldots, X_n$ on $V$ extending $X_1, \ldots, X_k$.
-
0@Zhen Lin : I'm sorry i wanna try to understand it a little more clearer. I'm looking for the explanation of this question too. By "we can use the standard frame to extend each $v_i$ to a (smooth) vector field $X_i$" did you mean that we can extend $v_i$ to $U$ by any means as long as it is smooth ? (for example by take $X_i$ with constant coefficients equal to $v_i$ ?). If so then our resulting frame is the one with $(X_{k+1},\dots,X_n)$ has constant coef as above ? – 2017-10-05
In general, the answer is no. Here's a counterexample. Let $U = \mathbb R^3\smallsetminus\{0\}$, and let $X_1$ be the unit outward-pointing radial vector field on $U$. If we could complete $X_1$ to a global frame $(X_1,X_2,X_3)$, then we could apply the Gram-Schmidt algorithm to it and produce a global orthonormal frame $(X_1,\tilde X_2,\tilde X_3)$. At points of the unit sphere, because $X_1$ is normal to the sphere, it follows that $\tilde X_2$ and $\tilde X_3$ are tangent to it. Thus we would have a global frame $(\tilde X_2,\tilde X_3)$ for $S^2$, which is impossible.
-
0Thanks Jack (also, thanks Julian for tidying up my post). Unfortunately, I phrased the question poorly. I should have said a neighborhood diffeomorphic to a ball in $R^n$ (or just take an actual ball in $R^n$). I basically want to know if this result is even true locally on a manifold. – 2012-11-05