Let $f:M_n(\mathbb C) \to \mathbb C$ be a linear function such that $f(x^* x)\ge0$ for all $x$ and $f(1)=1$. Show that there exist $\alpha_1,...,\alpha_k\in \mathbb C^n$ such that $f(x)=\sum_{i=1}^{k}\langle x\alpha_i,\alpha_i \rangle$ for all $x\in M_n(\mathbb C)$.
Linear functional on matrix space, nonnegative on positive semidefinite matrices
5
$\begingroup$
linear-algebra
-
0Is $x*x$ just multiplication of matrices? Is $(\alpha_i,\alpha_i)$ inner product on ${\bf C}^n$? – 2011-05-20
-
4I believe $x*x$ wants to be $x^*x$ and $x(\alpha_i,\alpha_i)$ wants to be $(x\alpha_i,\alpha_i)$. The function $f$ is probably supposed to be linear. Any linear $f$ is of the form $f(X)=Tr(XA)$ for some matrix $A$ and the inequality forces $A$ to be positive semidefinite, hence the statement is true. The condition $f(1)=1$ is not used. – 2011-05-20
-
0yes,absolutely right... – 2011-05-20
-
0x star is the complex conjugate of x and t that is just inner product. – 2011-05-20
-
0again I am verry sorry :( – 2011-05-20
-
0theo it will be inner product of $x.\alpha_i$ and $\alpha_i$ – 2011-05-20
-
2@user10805: No problem :) no need to feel bad. I edited accordingly. Is it okay now? By the way: write `@username` if you want to notify someone. – 2011-05-20
-
0@user8268 You can turn your comment in an answer. – 2012-11-05