A theorem for symmetric n-linear forms (Q1104387)

Two theorems are proved, having to do with the existence of unit vectors at which a given symmetric n-linear form T attains the value \(T^*=\max | T(a^ 1,...,a^ n)|\) where the max is over all sets of unit vectors \(a^ i\). A corollary to the first theorem states that if t is a bounded symmetric n-linear form, then \(T^*=T(v^ 1,...,v^ n)\) for a set \(v^ 1,...,v^ n\) of n parallel unit vectors.