Orthogonal complement and quadratic form

495 Views Asked by At

The matrix $A\in Mat_n(\mathbb{R})$ is given by:

$$ A=\begin{pmatrix} 2 & -1 & -1 & 0\\ -1 & 3 & -1 & -1\\ -1 & -1 & 3 & -1\\ 0 & -1 & -1 & 2 \end{pmatrix}$$

and let $q: \mathbb{R^4} \to \mathbb{R}$ be the corresponding quadratic form defined by: $q(x)=x^TAx$ for $x\in\mathbb{R}^4$

Show that $q$ is positive definite on the orthogonal complement (with regard to the scalar product) to the null space $N(A)$ for A.


I am really uncertain if this is the right approach to the problem, but I just wanted to give it my attempt and hope that someone can guide me in the right direction.


I have calculated the null space $N(A) = span(\begin{pmatrix} 1\\ 1 \\ 1 \\ 1 \end{pmatrix})=span(\begin{pmatrix} \alpha\\ \alpha \\ \alpha \\ \alpha \end{pmatrix}) \in W$. Then I believe it is possible to form a quadratic form of $W$ by the symmetric matrix A such that: $q_{A}(W)= 2\alpha^2+3\alpha^2+3\alpha^2+2\alpha^2-10\alpha^2=0$. Which means that $q$ is negative semidefinte on $W$.

Furthermore, the positive index of inertia for $ı_+q=3$, then $q_{A}$ will be positive definite on the subspace $V$ on $\mathbb{R^4}$ and the dimension of $V$ is given by $dim⁡(V)=ı_+q=3$

$Dim⁡(N(A))=1$, in order to get the $dim⁡(V)=4$ it must be true that $dim⁡(N(A))^⊥=3$. As $q$ is negative semidefinite on $N(A)$, $q$ must be positive definite on the orthogonal complement $N(A)^⊥$

1

There are 1 best solutions below

6
On BEST ANSWER

Not necessary to go as far as orthogonal matrices for this. I am referring to Sylvester's Law of Inertia. The first column of $R$ is a basis for the kernel of $A$ as a linear transformation; the other three columns are evidently a basis for the orthogonal complement, and we see how the quadratic form acts on the orthogonal complement in the final diagonal matrix.

Let the columns of $R$ be the new basis, with $$ R = \left( \begin{array}{cccc} 1&-1&0&1 \\ 1&0&-1&-1 \\ 1&0&1&-1 \\ 1&1&0&1 \\ \end{array} \right) $$ so that $$ R^T R = \left( \begin{array}{cccc} 1&1&1&1 \\ -1&0&0&1 \\ 0&-1&1&0 \\ 1&-1&-1&1 \\ \end{array} \right) \left( \begin{array}{cccc} 1&-1&0&1 \\ 1&0&-1&-1 \\ 1&0&1&-1 \\ 1&1&0&1 \\ \end{array} \right) = \left( \begin{array}{cccc} 4&0&0&0 \\ 0&2&0&0 \\ 0&0&2&0 \\ 0&0&0&4 \\ \end{array} \right) $$ and $$ R^T A R = \left( \begin{array}{cccc} 1&1&1&1 \\ -1&0&0&1 \\ 0&-1&1&0 \\ 1&-1&-1&1 \\ \end{array} \right) \left( \begin{array}{cccc} 2&-1&-1&0 \\ -1&3&-1&-1 \\ -1&-1&3&-1 \\ 0&-1&-1&2 \\ \end{array} \right) \left( \begin{array}{cccc} 1&-1&0&1 \\ 1&0&-1&-1 \\ 1&0&1&-1 \\ 1&1&0&1 \\ \end{array} \right) = \left( \begin{array}{cccc} 0&0&0&0 \\ 0&4&0&0 \\ 0&0&8&0 \\ 0&0&0&16 \\ \end{array} \right) $$