Intereting Posts

meaning of normalization
A complex map with “bounded” derivative is injective
Closed forms for various expectations involving the standard normal CDF
Limit: $\lim_{x\to 0}\frac{\tan3x}{\sin2x}$
When is $f^{-1}=1/f\,$?
Is there something like Cardano's method for a SOLVABLE quintic.
uniqueness of solutions of $ax=b$ and $ya=b$ in a semigroup .
Calculating alternating Euler sums of odd powers
Unpacking the Diagonal Lemma
What is linearity of Expectations?
How to formulate continuum hypothesis without the axiom of choice?
What is the reflection across a parabola?
Uniform convergence in distribution
Factor $x^{14}+8x^{13}+3$ over the rationals
A logic puzzle involving a balance.

It is often claimed that the only tensors invariant under the orthogonal transformations (rotations) are the Kronecker delta $\delta_{ij}$, the Levi-Civita epsilon $\epsilon_{ijk}$ and various combinations of their tensor products. While it is easy to check that $\delta_{ij}$ and $\epsilon_{ijk}$ are indeed invariant under rotations, I would like to know if there exist any proof by construction that they are the **only** (irreducible) tensors with this property.

- Rotation matrix in spherical coordinates
- Getting Euler (Tait-Bryan) Angles from Quaternion representation
- Find rotation that maps a point to its target
- Composition of two reflections (non-parallel lines) is a rotation
- How do I get a tangent to a rotated ellipse in a given point?
- Quaternion to Euler with some properties
- Quaternion–Spinor relationship?
- What is a good geometric interpretation of quaternion multiplication?
- Symmetrical and skew-symmetrical part of rotation matrix
- Solid body rotation around 2-axes

This is somewhat late in the day / year, but I suspect the author is asking about representations of isotropic Cartesian tensors, where “isotropic” means “invariant under the action of proper orthogonal transformations” and “Cartesian” means the underlying space is Euclidean $R^n$ ($R^3$ is a case of great practical interest).

The proofs for the two cases asked here are non-trivial, and given in

Weyl, H., The Classical Groups, Princeton University Press, 1939

Constructions for higher-order isotropic Cartesian tensors are also given there.

Harold Jeffreys (1973). On isotropic tensors. Mathematical Proceedings of the Cambridge Philosophical Society, 73, pp 173-176.

The proof given is a lot more concrete and “hands on” than Weyl’s proof linked to by user_of_math.

$\mathtt{Definition:}$ $T$ is an isotropic tensor of type $(0,n)$ if $\;T_{i_1i_2…i_n}=R_{i_1j_1}R_{i_2j_2}…R_{i_nj_n}T_{j_1j_2…j_n}$ whenever $R$ is an orthogonal matrix i.e $R^TR=RR^T=I$.

$\mathtt{n=2:}$See my answer here.

$\mathtt{n=3:}$For tensors of type $(0,3)$ we can mimick the proof for $n=2$ to deduce skew-symmetricness. Suppose $T_{pqr}$ is an isotropic tensor. Let $R$ be a diagonal matrix whose diagonal entries are $1$ except for $R_{ii}$ and $R_{ii}=-1$. $R$ is diagonal and its own inverse hence it’s orthogonal.

$$T_{ijj}=\sum_{p,q,r}R_{ip}R_{jq}R_{kj}T_{pqr}=R_{ii}R_{jj}R_{jj}T_{ijj}\text{( using the fact that R is diagonal)}\\

\Rightarrow T_{ijj}=-T_{ijj}=0$$

Using the symmetry of this argument we can show that the only nonzero components of $T$ are those whose indices are a permutation of $(1,2,3)$. Suppose $i\neq j$. Define

$$R_{lm}=\begin{cases}

-\delta_{jm} & \text{if } l=i\\

\delta_{im} & \text{if } l=j\\

\delta_{lm} & \text{otherwise}

\end{cases}\\

(R^TR)_{lm}=\sum_{n}R_{nl}R_{nm}=\sum_{n\neq i,j}R_{nl}R_{nm}+(-\delta_{jl})(-\delta_{jm})+\delta_{il}\delta_{im}\\

=\sum_{n\neq i,j}\delta_{nl}\delta_{nm}+\delta_{jl}\delta_{jm}+\delta_{il}\delta_{im}=\sum_{n}\delta_{nl}\delta_{nm}=\delta_{lm}\\$$

So $R$ is orthogonal. Suppose $k\neq i,j$.

$$T_{ijk}=\sum_{p,q,r}R_{ip}R_{jq}R_{kr}T_{pqr}=\sum_{p,q,r}-\delta_{jp}\delta_{iq}\delta_{kr}T_{pqr}=-T_{jik}$$ So $T$ is skew-symmetric in its $1$st two indices. Symmetry of this argument shows that $T$ is fully skew-symmetric. Therefore $T$ is a multiple of the Levi-Civita tensor.

- Field Extension Notation
- How prove this integral $ \int\limits_0^1 \int\limits_0^1 \ln\Gamma(x+y^3)\,dx\,dy =-\frac 7 {16}+\frac{1}{2}\ln 2\pi$
- Prove that G is a cyclic group
- If $a,b,c \in R$ are distinct, then $-a^3-b^3-c^3+3abc \neq 0$.
- prove there is no smallest positive rational number
- Fibonacci Sequence in $\mathbb Z_n$.
- Show that a function from a Riemann Surface $g:Y\to\mathbb{C}$ is holomorphic iff its composition with a proper holomorphic map is holomorphic.
- Why is the numerical range of a self-adjoint operator an interval?
- Intuitively and Mathematically Understanding the Order of Actions in Permutation GP vs in Dihereal GP
- Multinomial Theorem Example Questions
- A certain “harmonic” sum
- An irreducible polynomial in a subfield of $\mathbb{C}$ has no multiple roots in $\mathbb{C}$
- Indiscrete rational extension for $\mathbb R$ (examp 66 in “Counterexamples in topology”)
- What does $\bigcup_{i=0}^{\infty}$ mean?
- Interesting closed form for $\int_0^{\frac{\pi}{2}}\frac{1}{\left(\frac{1}{3}+\sin^2{\theta}\right)^{\frac{1}{3}}}\;d\theta$