Skip to main content
1 of 3
Bazin
  • 16.2k
  • 32
  • 66

You can be completely explicit. For $T_j$ in a commutative algebra $$ T_1T_2\dots T_k=\frac{1}{2^k k!}\sum_{\epsilon_j=\pm 1} \epsilon_1\dots\epsilon_k(\epsilon_1T_1 +\dots+\varepsilon_{k}T_{k})^k. $$ The following lemma in available one the Euclidean case.

Lemma. Let $V$ be an Euclidean finite-dimensional vector space, and $A$ a symmetric $k$-multilinear form. We have $$ \sup_{\Vert T\Vert=1} \vert{A T^k}\vert =\sup_{\Vert{T_j}\Vert=1} \vert{AT_1\dots T_k}\vert $$

Bazin
  • 16.2k
  • 32
  • 66