It is a quotient - of the tensor algebra, obtained by taking graded sum over whole numbers $n$ of $n$-fold tensor products - by the ideal generated by elements of the form $a\otimes a$. We write the residue class of $a\otimes b$ in this algebra, as $a\wedge b$ and call it the wedge product.

learn more… | top users | synonyms (1)

0
votes
0answers
19 views

Do I understand the divergence theorem correctly?

Suppose the area, volume or hyper volume covered by a vector is $$ \mathrm{V}\left(\vec{u}\right) = u_x \times u_y \times \ldots $$ And the area, volume or hyper volume covered by a matrix is $$ ...
5
votes
0answers
55 views

Geometric Intuition about the relation between Clifford Algebra and Exterior Algebra

It is common to see a relation being established between the Clifford Algebra and the Exterior Algebra of a vector space. Recently reading some texts written by Physicists I've seem applications of ...
6
votes
1answer
55 views

Deciding whether a form in the exterior power $\bigwedge^k V$ is decomposable

Let $V$ be a vector space and $\bigwedge^kV$ be the $k$th exterior power. I'm trying to find a condition that characterizes when an element $\omega \in \bigwedge^kV$ is decomposable in the sense that ...
0
votes
1answer
49 views

Why is the wedge product of a 1-form and itself $0$? [closed]

Why is the wedge product of a 1-form and itself $0$? Why doesn't this apply to 2-forms?
0
votes
0answers
21 views

Change of coordinates using the wedge product?

I while back (over a year ago) I was told about wedge products (or something very similar) and how they can be used to change e.g. the curl in Cartesian coordinates to in spherical coordinates. ...
2
votes
1answer
40 views

Connecting the regular representation of $\mathfrak{so}(3)$ and the exterior algebra of $\mathbb{R}^3$

It is well known that the regular representation of $\mathfrak{so}(3)$ is the so-called "cross product" matrix $A(x)$ which follows $A(x)y = x\times y$, and $x,y\in\mathbb{R}^3$, while the cross ...
1
vote
1answer
26 views

Foiling two tensor products

I have this problem in exterior algebra where I have a function B and B is defined in the following ways. $$ B\left( \left( \begin{array}{c} u \\ v \\ w \end{array} \right), \left( \begin{array}{c} ...
0
votes
1answer
50 views

Show that $(x\land y)z + (y\land z)x + (z\land x)y=0.$ where $x\land y=(x \times y)\cdot N$.

Let $P\subset \mathbb{R}^3$ be a plane through the origin and $N$ be a unit normal to $P$. For $x,y \in P$, set $x\land y=(x \times y)\cdot N$. Then for any three vectors $x,y,z \in P$, we have ...
0
votes
0answers
14 views

decomposable p-forms and linear independence

So I am attempting to show that: $$ z_1 \wedge \cdots \wedge z_p = 0 \implies z_1,\ldots,z_p \text{ linearly dependent} $$ my approach is to use the fact that: $$ z_1 \wedge \cdots \wedge z_p = \left[ ...
0
votes
0answers
26 views

Equivalent conditions for $\mathfrak{F}$ to be a differential ideal

Heres the question: Let $\mathfrak{F}$ be an ideal of forms on a manifold $M$ locally generated by $r$ independent $1$-forms. Say $\mathfrak{F}$ is generated by $\omega_1,\ldots, \omega_r$ on $U$. ...
2
votes
1answer
33 views

Prove the exterior derivative of the following (n-1) form is zero

Let $\omega(x)=\frac{1}{{\parallel x \parallel}^n}\displaystyle\sum_{i=1}^{n}(-1)^{i-1}x_{i} dx_{1} \wedge \dots \wedge \widehat{dx_{i}} \wedge \dots \wedge dx_{n}$ be a differential $(n-1)$ form on ...
1
vote
1answer
20 views

When do exterior and tensor algebras commute with dual spaces?

Suppose $V$ is a vector space, and $V^*$ is its dual space. Furthermore, let $\Lambda(V)$ be the exterior algebra of $V$, and let $T(V)$ be the tensor algebra. When do the following two statements ...
0
votes
0answers
21 views

What is the motivation for wanting to remove redundant terms that arise from the wedge product of two multilinear functions?

I am currently working through Loring Tu's "An Introduction to Manifolds," specifically the section in which the exterior algebra of multicovectors is introduced, and I am having trouble grasping the ...
5
votes
1answer
73 views

Is this an alternate characterization of $\lambda$-rings? Or, what is like a $\lambda$-ring but for symmetric rather than exterior powers?

This is a question about $\lambda$-rings. A $\lambda$-ring is a commutative ring together with operations $\lambda^n$ for each whole number $n$ which are analogous to the $n$th exterior power and ...
0
votes
0answers
8 views

Exterior algebra subspace of all grade-n wedge products of a vector

Let $V$ be a finite-dimensional vector space, and let $\Lambda(V)$ be its exterior algebra. Then if $S_k = \text{span}(k_1,k_2,...,k_n)$ and $\hat k = k_1 \wedge k_2 \wedge ... \wedge k_n$, there is ...
4
votes
1answer
35 views

Noncanonical isomorphism of spaces of differential forms

Let $\pi: V \to M$ be a smooth $n$-dimensional vector bundle over $M$. Are the spaces of differential forms $\Omega^i(V)$, $\Omega^i(V^*)$ noncanonically isomorphic? If so, how do I see this? Is there ...
2
votes
2answers
68 views

Frank Warner's definition of the Hodge star

Frank Warner's book, chapter 2, excercise 13 states the following: If $V$ is an oriented inner product space ($n$ dimensional) there is a linear map $\ast \colon \Lambda (V) \to \Lambda (V)$, ...
0
votes
0answers
8 views

Parameterizing the set of subquotients of a Hilbert space

If you want to parameterize the set of subspaces of a finite-dimensional Hilbert space $V$, and naturally induce a norm derived from $V$ on the resulting moduli space, the classical approach is to ...
2
votes
1answer
28 views

Prove that $p-$form $\omega$ on $M\times N$ is $\delta \pi(\alpha)$ iff $i(X)\omega=0$ and $L_X\omega=0$

Let $M$ be connected and let $\pi:M\times N \rightarrow N$ be the natural projection. Prove that $p-$form $\omega$ on $M\times N$ is $\delta \pi(\alpha)$ for some $p-$form $\alpha$ on $N$ if and ...
0
votes
1answer
40 views

Prove the pullback of the wedge product is the wedge product of the pullbacks.

Let $F:V \rightarrow W$ be a linear map. Show that $F^{\ast}(\omega \wedge \eta)=(F^{\ast}\omega) \wedge (F^{\ast}\eta)$ for all $\omega \in \Lambda^{p}(W) , \eta \in \Lambda^{q}(W)$. Where ...
0
votes
1answer
37 views

Exterior derivative of a two-form with conditions

With the use of this formula $$d\omega(X_1, \dots, X_{r+1}) = ...
0
votes
0answers
22 views

Exterior power of a free module [duplicate]

Suppose $M$ is a free R module where $R$ is commutative and unital. Is $\Lambda^n M$, the nth exterior power of $M$ free?
0
votes
1answer
23 views

Wedge product on free module

Let $R$ be a unital commutative ring, let $M$ be a free module of rank $n$ over $R$ with a basis $e_1,\dots,e_n$. Suppose that $m_1,\cdots,m_n$ are elements of $M$ such that $$m_1\wedge\cdots\wedge ...
0
votes
1answer
33 views

Powers of two in basis vectors indexes for wedge products

I am reading Fundamentals of Grassmann Algebra for game developers and it dawned on me that a slight tweak in the notation would make things easier. Remember that for n dimensions that number of basis ...
1
vote
2answers
36 views

Prove $\det(T^*)=\det(T)$ using exterior algebta

Let $T:V\to V$ be a linear operator on a finite-dimensional vector space $V$. $T^*:V^*\to V^*$ is the transpose of $T$ (i.e., $T^*(\lambda)=\lambda\circ T$). I want to find a coordinate-free proof ...
1
vote
0answers
61 views

exterior derivative of 1-form on surface for non-regular mapping?

I am studying alone the elementary differential geometry written by Barrett O'Neill. This time I'm totally lost. I can't even get any idea from the hint...;( How is the problem related to Lemma 4.5 ...
2
votes
1answer
34 views

Derivative is an alternating 1-tensor?

I am reading through spivak, and he states, if $f: \mathbb{R^n} \to \mathbb{R}$ is differentiable, then $Df(p): \mathbb{R^n} \to \mathbb{R}$, and since this is linear, we have that $Df(p) \in ...
0
votes
1answer
26 views

Alternating k-tensors and determinant (theorem 4-6, Spivak)

I am having troubles understanding this proof. I don't understand how, if $\eta \in \Lambda^n(\mathbb{R^n})$ implies that $\eta = \lambda \cdot \det$ - really I don't see how determinants come from ...
1
vote
0answers
30 views

Unifying Transformations in Complex 3-Space

I am currently researching the vector space $\mathbb{C}^{3}$ and I was wondering if it is possible to generate a scheme of unifying the rigid transformations in $\mathbb{C}^{3}$. I know that in the ...
0
votes
1answer
53 views

Anisotropic scaling in geometric/Clifford algebra

Take the geometric algebra over $\Bbb R^n$. Suppose we have a blade multivector in this algebra. Now we want to anisotropically scale this multivector. Is there a general closed-form expression for ...
1
vote
0answers
20 views

Computing $\alpha^*w$ in general

Let $A$ be open in $R^k$, let $\alpha : A \rightarrow R^n$ be of class $C^\infty$. Let $x$ denote the general point of $R^k$, let $y$ denote the general point of $R^n$ If $I = (i_i, ...,i_l)$ is an ...
3
votes
1answer
43 views

Bases and wedge product

Let $\{v_1,\dots, v_r\}$ and $\{w_1,\dots, w_r\}$ be linearly independent sets of a vector space $V$. If $v_1 \wedge \dots \wedge v_r =c w_1 \wedge \dots \wedge w_r $ for some nonzero number ...
1
vote
0answers
21 views

The determinant of $X_I$ = wedge product of elementary tensors

Let $(x_1,\dots,x_k)$ be vectors in $\mathbb{R}^n$; let $X$ be the matrix $X = [x_1 \cdots x_k]$. If $I = (i_1, \dots, i_k)$ is an arbitrary $k$-tuple from the set $\{1,\dots, n\}$, show that ...
0
votes
1answer
32 views

Exterior power of representation and invariance

Let $G$ be a group, $(\rho,V)$ a finite dimensional real representation of $G$, and $W$ a subspace of $V$ of dimension $k$. Assume that $\Lambda^k W$ is a $G$-invariant (and one dimensional) subspace ...
0
votes
1answer
39 views

Computing a scalar $c$ such that $cx= c(e_1 \wedge \cdots \wedge e_{2n})=\omega \wedge \cdots \wedge \omega$.

Let $n \geqslant 2$ be an integer and consider the vector space $V=F^{2n}$ with the standard basis $e_1,\ldots,e_{2n}$. Now the second exterior power $\Lambda^2(V)$ contains the element $$\omega=e_1 ...
2
votes
1answer
29 views

Linear relations among wedge products.

Let $v_1,v_2,v_3,v_4$ be $4$ vectors in a two dimensional space $V$. Then one can work out by hand that: $$(v_1\wedge v_2)(v_3\wedge v_4) + (v_1\wedge v_3)(v_4\wedge v_2) + (v_1\wedge v_4)(v_2\wedge ...
0
votes
2answers
35 views

If $u \in \Lambda^{p}(V)$ and $v \in \Lambda^{q}(V)$, does $u \wedge v = (-1)^{pq} v \wedge u$?

Consider the exterior algebra $$\Lambda^{\ast}(V)= \bigoplus_{m=0}^\infty \Lambda^m(V),$$ for a finite dimensional $F$-vector space. If $u \in \Lambda^{p}(V)$ and $v \in \Lambda^{q}(V)$, does $u ...
1
vote
1answer
32 views

Function of vector space product to exterior power of that vector space

Let $W$ be a $n$-dimensional vector space with basis $w_1,...,w_n$ and $f:W\times W\rightarrow\bigwedge^2W$ with $f(x,y)=x\wedge y$. 1 For $n=3$, how do I express $f(aw_ 1+bw_2+cw_3,dw_ ...
2
votes
1answer
39 views

Does every element in exterior algebra have the form $v_1 \wedge v_2 \wedge … \wedge v_k$? [duplicate]

Does every element in $\wedge ^k V$ can be expressed as the form $v_1 \wedge v_2 \wedge ... \wedge v_k$ ? Here $V$ is a n-dim vector space, and $v_i$ are vectors in $V$. Intuitively it is right, but ...
4
votes
1answer
61 views

Is there a nowhere $1$-form $\alpha$ on $M$ with $\alpha(X) = 0$ for any vector field $X$ which is a section of $\xi$?

Let $M$ be a closed $3$-manifold, and let $\xi$ be a $2$-dimensional subbundle of $TM$. Is there a nowhere zero $1$-form $\alpha$ on $M$ with $\alpha(X) = 0$ for any vector field $X$ which is a ...
7
votes
1answer
44 views

If and only if criterion for something to be a differential ideal

Let $I \subset \Omega^*(M)$ be a ($2$-sided) ideal (i.e. $I$ is a vector subspace, and for any $\alpha \in I$ and $\omega \in \Omega^*(M)$ we have $\omega \wedge \alpha \in I$). We say $I$ is a ...
1
vote
0answers
35 views

Linear Algebra: Inverting an induced operator.

Question: Given an invertible linear map $U:V\to V$, consider the induced map $\tilde{U}:\Lambda^k(V)\to \Lambda^k(V)$ given by $$\tilde{U}(v_1\wedge \cdots\wedge v_k):=\sum_{j=1}^kv_1\wedge \cdots ...
3
votes
4answers
70 views

Intuition behind cross-product and area of parallelogram

The cross product in 2D is defined like that: $|(x_1, y_1) \times (x_2, y_2)| = x_1 y_2 - x_2 y_1.$ I perfectly understand the first part of the definition: $x_1 y_2$, which is simply the area of a ...
0
votes
1answer
46 views

Why is $x \wedge x=0$, exterior algebra

My question is about the basics of the exterior algebra. Why is $x\wedge x=0$? I still struggle with the definitions so i can't see why this is trivial. I'm reffering to ...
0
votes
0answers
32 views

Exterior product in L^2 space

I've been learning a bit about exterior algebra and I got to thinking about Fourier series and how each term in the series acts as a basis vector with an inner product between these vectors defined as ...
2
votes
0answers
13 views

Quantifying the angle metric on the Grassmannian in terms of the norm on the exterior power

Let $V$ be a finite-dimensional Hilbert space and $G_k(V)$ the Grassmannian of $k$-dimensional subspaces of $V$. The $k$th exterior power $\bigwedge^k(V)$ can be equipped with a scalar product by ...
0
votes
1answer
35 views

Where is my mistake in this exterior derivative of a $2$-form not being a tensor?

Using the invariant formula for the exterior derivative, one gets that for a $3$-form $\omega$ its derivative is evaluated on vector fields according to $$3 \ {\rm d} \omega (X, Y, Z) = X \ \omega ...
6
votes
0answers
118 views

Why is the symbol for the exterior product a meet rather than a join?

I've moved this over to HSM. It seems odd that something that looks so much like a join [see below] would get given "the wrong symbol". It's even worse when you dualise it and get something called ...
4
votes
1answer
124 views

Trace of the $k$-th Exterior Power of a Linear Operator

Let $V$ be an $n$ dimensional vector space over a field $F$ and $T$ be a linear operator over $V$. Assume that the characteristic of $F$ is not $2$. Definition. Consider the map $f_1:V^n\to ...
1
vote
1answer
28 views

Universal Linearizer of Alternating Multi-$F[x]$-Linear Maps is Same as that of Multi-$F$-Linear Maps.

Let $V$ be a an $n$-dimensional vector space over a field $F$. Let $M=F[x]\otimes_F V$. We can consider $M$ as an $F[x]$-module by extending scalars using the inclusion $F\to F[x]$. Fact 1. There is ...