May 30th, 2009, 9:52 am
QuoteOriginally posted by: repomanQuoteOriginally posted by: repomanI have a question about complex positive definite matricies... if x A x* is real for all complex vectors x, then A must be Hermitian. Here's my proof: By induction on n where A is n x n. Take n = 2 for the base case. Then taking x_1, x_2 to both be nonzero reals, x A x* is real implies Im(a_12)=-Im(a_21). And x_1 = 1 + i, x_2 = 1 - i gives Re(a_12)=Re(a_21). This proves that A is Hermitian.(There must be more informative way.)The induction step is trivial. For n >= 3, take any indicies 1 <= k,l <= n. Since A has at least 3 row and columns, there exists 1 <= m <= n different from both k and l. Letting B be the (n-1) x (n-1) minor matrix obtained by removing the m-th row and colum from A, by the induction hypothesis B is Hermitian. Since a_kl, a_lk are both elements of B it follows that a_kl is the complex conjugate of a_lk.Base case should be n=1.Despite, there is another simple proof:Since $\forall z\in\mathbb{C}: z^TA\bar z\in\mathbb{R}$ it follows $=\bar{z^TA\bar z} = {\bar z}^T\bar{A} z = z^T\bar{A}^T\bar{z}$ Btw. LaTeX Support sucks in this board!
Last edited by
trippel on May 29th, 2009, 10:00 pm, edited 1 time in total.