# Wedge product defined on not alternating tensors?

I am currently reading Calculus on Manifolds by Spivak. In there, it defined wedge product as follows

To determine the dimensions of $$\Lambda^k(V)$$, we would like a theorem analogous to Theorem 4-1. Of course, if $$\omega \in \Lambda^k(V)$$ and $$\eta \in \Lambda^l(V)$$, then $$\omega \otimes \eta$$ is usually not in $$\Lambda^{k+l}(V)$$. We will therefore define a new product, the wedge product $$\omega \wedge \eta \in \Lambda^{k+l}(V)$$ by $$\omega \wedge \eta=\frac{(k+l) !}{k ! l !} \operatorname{Alt}(\omega \otimes \eta)$$

I am not very sure if here Spivak assumed $$\omega \in \Lambda^k(V)$$ and $$\eta \in \Lambda^l(V)$$, i.e. $$\omega$$ and $$\eta$$ are the alternating tensors. In the rest of the text, should I always assume whenever Spivak used the $$\wedge$$ symbol, he means that both operands are alternating tensors? Or in other words, is there any reason to use this definition on tensors that are not alternating?

Later on Spivak defined differential forms with alternating tensors, and I don't think I have experienced the case where $$\omega$$ and $$\eta$$ are not alternating.

I'm aware of other definitions of wedge products as the product in exterior algebra. However, I don't know anything about exterior algebra, and it seems to be very time consuming for me to learn about it just for this simple question.

• What do you mean by "does this definition work"? The RHS of the definition of $\omega \wedge \eta$ is also well defined when $\omega$ and $\eta$ are general tensors (not necessarily alternating), if that is what you are asking?
– jd27
Commented Jul 19, 2023 at 17:15
• @jd27 Thank you for pointing this out. I have edited my question. I meant for the rest of the text, can we assume that both operands of $\wedge$ are alternating tensors? Commented Jul 19, 2023 at 19:51
• Did you not quote Spivak as "Of course, if $\omega \in \Lambda^k(V)$ ... " etc. ? This should answer your question. BTW: If you are aware of other defintions of wedge product (exterior algebra) I strongly recommend to invest some time in studying those as well. Commented Jul 19, 2023 at 20:08
• Wedge product is only defined when both (all) operands are alternating. No ambiguity. Commented Jul 19, 2023 at 21:17
• @TedShifrin Thank you. Would you mind putting also answering this so I can mark the question as answered? Commented Jul 19, 2023 at 22:11