6
votes
1answer
80 views

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ - I've got the gist, not sure how to write

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ With $A_k(V)$ being the vector space of alternating k-tensors. for $f\in A_k(V)$ for some $v\in V$ we define ...
2
votes
1answer
40 views

Correspondence between one-parameter subgroups of G and TeG

I am reading the proof of this theorem from Andreas Arvanitoyeorgos and I cannot get some points in it, highlighted below. Theorem. The map $\phi \to d\phi_0(1)$ defines a one-to-one correspondence ...
0
votes
1answer
41 views

Help explain linear algebra/differential calculus theorem in simpler terms.

On a previous question, I got something related to linear algebra and linear algebra, but having no background in linear algebra and a little background in vector calculus(mainly from physics), I ...
0
votes
0answers
20 views

Reformating Function

Is there such a function where a ambiguous ;n-dimensional, field/space (defined by a function) is plugged in and returns a flattened field where the basic units along the function are then formatted ...
1
vote
1answer
36 views

Integral Curves of a Vector Field

How do I find the integral curves of a vector field and what are they intuitively? eg. what are the integral curves of vector field $X=\frac{1}{x}\frac{\partial}{\partial ...
2
votes
2answers
72 views

Using a non-zero wedge product to write a set of vectors as a linear combination of another set of vectors in a finite dimensional space.

Question: Let $V$ be a finite dimensional vector space, and let $ \{ v_1, ..., v_r\}$ and $\{w_1, ..., w_r\}$ be two sets of vectors in $V$. Suppose that $\sum_{i=1}^{r} v_i \wedge w_i = 0$, and ...
0
votes
1answer
41 views

Vanishing of a covector (1-form) and a vector field

a) A one-form $\theta$ is zero if and only if $\theta X = 0$ for all $X$ in the set $\frak{X} \mathrm{(M)}$ of all smooth vector fields on a manifold $M$. b) A vector field $X$ is zero if and only ...
1
vote
1answer
27 views

Tangent vectors as curves equivalence relation

I do not understand the definition of the equivalence relation that is defined on the curves creating a tangent vector space. Let $X$ be any manifold, a point $x \in X$, two curves $\alpha:(-a,a) \to ...
1
vote
1answer
134 views

On tangent spaces of Steifel Manifolds

I was trying to read Edelman et al.'s 1998 paper "The Geometry of Algorithms with Orthogonality Constraints" and since I don't have any differential geometry or much linear algebra background I am ...
3
votes
1answer
58 views

Exact sequence arising from symplectic manifold

Let $M$ be a symplectic manifold, why is the following sequence exact? $$0\to \mathbb{R} \to C^\infty (M)\to A\to 0$$ Here $A$ is the set of global Hamiltonian vector fields.
6
votes
1answer
122 views

Tangential Space of a differentiable manifold is always $\mathbb R^n$?

Let $\mathcal M$ be a differential manifold with a point $p$. Let U be an open set, $p\in U$, on $\mathcal M$ and let $\phi,\psi:U\to \mathbb R^n$ be a charts on $\mathcal M$. I'm having diffculties ...
0
votes
1answer
115 views

Problem related to differential of a map

I dont understand how to solve this problem. Please can you explain the solution clearly? I want to learn how to solve such problems. Thank you
1
vote
2answers
170 views

The dimension of linear map

I am reading "Introduction to smooth manifolds" by Lee and one place is very unclear for me: Let $P$ and $Q$ be any complementary subspaces of $V$ (which is an $n$-dimensional real vector space) of ...
1
vote
0answers
75 views

transformation of symplectic structure by a matrix

Suppose that in canonical symplectic basis $e_1,e_2,f_1,f_2$ we have $$\Omega=pf_1^*\wedge f_2^*+qe_1^*\wedge e_2^*+r(e_1^*\wedge f_2^*+e_2^*\wedge f_1^*)+s(e_1^*\wedge f_1^*-e_2^*\wedge f_2^*)$$ Let ...
1
vote
0answers
431 views

Is linear manifold a pure algebraic concept?

I was wondering if linear manifold is a pure algebraic concept? Here is its definition from planetmath: Suppose $V$ is a vector space and suppose that $L$ is a non-empty subset of $V$. If there ...