Antisymmetrize - Maple Help

Physics[Antisymmetrize] - Compute an expression that is totally antisymmetric with respect to any permutation of its free indices

Physics[Symmetrize] - Compute an expression that is totally symmetric with respect to any permutation of its free indices

 Calling Sequence Antisymmetrize(T, idx, options=value) Symmetrize(T, idx, options=value)

Parameters

 T - an algebraic tensorial expression, or a relation, or list, set or Array of them idx - optional - a set or list with indices to be (anti)symmetrized, expected to be of the same kind: either all covariant or all contravariant (prefixed with ~). Default is all the free indices of T evaluatetensor = ... - optional - can be true or false (default), to evaluate the tensors in T after (anti)symmetrizing them simplifytensor = ... - optional - can be true or false (default), to simplify the resulting expression after (anti)symmetrizing the tensors in T with regards to the summation convention for repeated indices and the (anti)symmetry properties of tensors involved

Description

 • The and Antisymmetrize and Symmetrize commands receive an algebraic expression T involving tensors and returns another algebraic expression that is respectively totally antisymmetric or totally symmetric with respect to any permutation of the free tensorial indices of T.
 • In the particular case where T is itself a product of totally antisymmetric covariant tensors, the expression returned by Antisymmetrize is also, by definition, the exterior product of these tensors.
 • When a second argument, idx, is indicated as a set or list of indices, the (anti)symmetrization is performed only with respect to these indices, otherwise, it is performed with regards to all the free indices of T. In either case, to perform the (anti)symmetrization it is necessary that the indices are all of the same kind, that is, all covariant or all contravariant.
 • By default, the (anti)symmetrization is performed without evaluation the tensors entering the result. However, when there are tensors in T that already have symmetry properties (see Define to define them), it may be convenient to evaluate these tensors (option evaluatetensor) or even simplify the result with regards to the summation convention for repeated indices and taking into account the (anti)symmetry properties of the tensors involved or their products. For these purposes, respectively pass the option evaluatetensor or simplifytensor (the latter supersedes the former).

Examples

 > $\mathrm{with}\left(\mathrm{Physics}\right):$
 > $\mathrm{Setup}\left(\mathrm{mathematicalnotation}=\mathrm{true}\right)$
 $\left[{\mathrm{mathematicalnotation}}{=}{\mathrm{true}}\right]$ (1)

Define $A$, $B$ and $C$, with respectively 1, 2 and 3 indices, $B$ totally symmetric and $C$ totally antisymmetric

 > $\mathrm{Define}\left({A}_{\mathrm{μ}}\right)$
 $\mathrm{Defined objects with tensor properties}$
 $\left\{{{A}}_{{\mathrm{\mu }}}{,}{{\mathrm{\gamma }}}_{{\mathrm{\mu }}}{,}{{\mathrm{\sigma }}}_{{\mathrm{\mu }}}{,}{{\partial }}_{{\mathrm{\mu }}}{,}{{g}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{,}{{\mathrm{\epsilon }}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\mu }}{,}{\mathrm{\nu }}}\right\}$ (2)
 > $\mathrm{Define}\left({B}_{\mathrm{μ},\mathrm{ν}},\mathrm{symmetric}\right)$
 $\mathrm{Defined objects with tensor properties}$
 $\left\{{{A}}_{{\mathrm{\mu }}}{,}{{B}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{,}{{\mathrm{\gamma }}}_{{\mathrm{\mu }}}{,}{{\mathrm{\sigma }}}_{{\mathrm{\mu }}}{,}{{\partial }}_{{\mathrm{\mu }}}{,}{{g}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{,}{{\mathrm{\epsilon }}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\mu }}{,}{\mathrm{\nu }}}\right\}$ (3)
 > $\mathrm{Define}\left({C}_{\mathrm{μ},\mathrm{ν},\mathrm{ρ}},\mathrm{antisymmetric}\right)$
 $\mathrm{Defined objects with tensor properties}$
 $\left\{{{A}}_{{\mathrm{\mu }}}{,}{{B}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{,}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}{,}{\mathrm{\rho }}}{,}{{\mathrm{\gamma }}}_{{\mathrm{\mu }}}{,}{{\mathrm{\sigma }}}_{{\mathrm{\mu }}}{,}{{\partial }}_{{\mathrm{\mu }}}{,}{{g}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{,}{{\mathrm{\epsilon }}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\mu }}{,}{\mathrm{\nu }}}\right\}$ (4)

Symmetrize the product ${A}_{\mathrm{\mu }}{B}_{\mathrm{\alpha },\mathrm{\beta }}$

 > ${A}_{\mathrm{μ}}{B}_{\mathrm{α},\mathrm{β}}$
 ${{A}}_{{\mathrm{\mu }}}{}{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}}$ (5)
 > $\mathrm{Symmetrize}\left(\right)$
 $\frac{{1}}{{6}}{}{{A}}_{{\mathrm{\alpha }}}{}{{B}}_{{\mathrm{\beta }}{,}{\mathrm{\mu }}}{+}\frac{{1}}{{6}}{}{{A}}_{{\mathrm{\alpha }}}{}{{B}}_{{\mathrm{\mu }}{,}{\mathrm{\beta }}}{+}\frac{{1}}{{6}}{}{{A}}_{{\mathrm{\beta }}}{}{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\mu }}}{+}\frac{{1}}{{6}}{}{{A}}_{{\mathrm{\beta }}}{}{{B}}_{{\mathrm{\mu }}{,}{\mathrm{\alpha }}}{+}\frac{{1}}{{6}}{}{{A}}_{{\mathrm{\mu }}}{}{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}}{+}\frac{{1}}{{6}}{}{{A}}_{{\mathrm{\mu }}}{}{{B}}_{{\mathrm{\beta }}{,}{\mathrm{\alpha }}}$ (6)

Check this result using the IsTensorialSymmetric command from the programming library

 > $\mathrm{Library}:-\mathrm{IsTensorialSymmetric}\left(\right)$
 ${\mathrm{true}}$ (7)

The symmetrized expression can however be simplified taking into account that $B$ is symmetric; i.e. ${B}_{\mathrm{\alpha },\mathrm{\beta }}={B}_{\mathrm{\beta },\mathrm{\alpha }}$. This simplification can be achieved using Simplify or passing the option simplifytensor

 > $\mathrm{Symmetrize}\left(,\mathrm{simplifytensor}\right)$
 $\frac{{{A}}_{{\mathrm{\alpha }}}{}{{B}}_{{\mathrm{\beta }}{,}{\mathrm{\mu }}}}{{3}}{+}\frac{{{A}}_{{\mathrm{\beta }}}{}{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\mu }}}}{{3}}{+}\frac{{{A}}_{{\mathrm{\mu }}}{}{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}}}{{3}}$ (8)

Antisymmetrize now this same product ${A}_{\mathrm{\mu }}{B}_{\mathrm{\alpha },\mathrm{\beta }}$

 > $\mathrm{Antisymmetrize}\left(\right)$
 ${0}$ (9)

The result above is expected since ${B}_{\mathrm{\alpha },\mathrm{\beta }}$ is symmetric. In the same way, the symmetrization of a product involving an antisymmetric tensor, for instance C, is also zero:

 > ${A}_{\mathrm{μ}}{C}_{\mathrm{α},\mathrm{β},\mathrm{gamma}}$
 ${{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\gamma }}}$ (10)
 > $\mathrm{Symmetrize}\left(\right)$
 ${0}$ (11)

The antisymmetrization of this product can be simplified significantly taking into account that $C$ is totally antisymmetric

 > $\mathrm{Antisymmetrize}\left(\right)$
 ${-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\gamma }}{,}{\mathrm{\mu }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\mu }}{,}{\mathrm{\gamma }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\beta }}{,}{\mathrm{\mu }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\mu }}{,}{\mathrm{\beta }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\beta }}{,}{\mathrm{\gamma }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\gamma }}{,}{\mathrm{\beta }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\gamma }}{,}{\mathrm{\mu }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\mu }}{,}{\mathrm{\gamma }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\alpha }}{,}{\mathrm{\mu }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\mu }}{,}{\mathrm{\alpha }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\alpha }}{,}{\mathrm{\gamma }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\gamma }}{,}{\mathrm{\alpha }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\mu }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\mu }}{,}{\mathrm{\beta }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\alpha }}{,}{\mathrm{\mu }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\mu }}{,}{\mathrm{\alpha }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\alpha }}{,}{\mathrm{\beta }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\mu }}{,}{\mathrm{\beta }}{,}{\mathrm{\alpha }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\gamma }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\gamma }}{,}{\mathrm{\beta }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\alpha }}{,}{\mathrm{\gamma }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\gamma }}{,}{\mathrm{\alpha }}}{+}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\alpha }}{,}{\mathrm{\beta }}}{-}\frac{{1}}{{24}}{}{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\beta }}{,}{\mathrm{\alpha }}}$ (12)
 > $\mathrm{Simplify}\left(\right)$
 ${-}\frac{{{A}}_{{\mathrm{\alpha }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\gamma }}{,}{\mathrm{\mu }}}}{{4}}{+}\frac{{{A}}_{{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\gamma }}{,}{\mathrm{\mu }}}}{{4}}{-}\frac{{{A}}_{{\mathrm{\gamma }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\mu }}}}{{4}}{+}\frac{{{A}}_{{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\gamma }}}}{{4}}$ (13)

Make the product ${B}_{\mathrm{\mu },\mathrm{\nu }}{C}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\gamma }}$ be symmetric with regards to the 1st index of each of them and antisymmetric with regards to the 2nd index of each of them

 > ${B}_{\mathrm{μ},\mathrm{ν}}{C}_{\mathrm{α},\mathrm{β},\mathrm{gamma}}$
 ${{B}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\gamma }}}$ (14)
 > $\mathrm{Antisymmetrize}\left(\mathrm{Symmetrize}\left(,\left[\mathrm{μ},\mathrm{α}\right]\right),\left[\mathrm{ν},\mathrm{β}\right],\mathrm{simplifytensor}\right)$
 $\frac{{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\nu }}}{}{{C}}_{{\mathrm{\beta }}{,}{\mathrm{\gamma }}{,}{\mathrm{\mu }}}}{{4}}{+}\frac{{{B}}_{{\mathrm{\mu }}{,}{\mathrm{\nu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}{,}{\mathrm{\gamma }}}}{{4}}{-}\frac{{{B}}_{{\mathrm{\alpha }}{,}{\mathrm{\beta }}}{}{{C}}_{{\mathrm{\gamma }}{,}{\mathrm{\mu }}{,}{\mathrm{\nu }}}}{{4}}{+}\frac{{{B}}_{{\mathrm{\beta }}{,}{\mathrm{\mu }}}{}{{C}}_{{\mathrm{\alpha }}{,}{\mathrm{\gamma }}{,}{\mathrm{\nu }}}}{{4}}$ (15)

Verify the symmetries of this result with regards to permutations of $\left[\mathrm{\mu },\mathrm{\alpha }\right]$ and $\left[\mathrm{\nu },\mathrm{\beta }\right]$

 > $\mathrm{Library}:-\mathrm{IsTensorialSymmetric}\left(,\left[\mathrm{μ},\mathrm{α}\right]\right)$
 ${\mathrm{true}}$ (16)
 > $\mathrm{Library}:-\mathrm{IsTensorialAntisymmetric}\left(,\left[\mathrm{ν},\mathrm{β}\right]\right)$
 ${\mathrm{true}}$ (17)

Compatibility

 • The Physics[Antisymmetrize] and Physics[Symmetrize] commands were introduced in Maple 17.