Q15
Matrices
Projection and Orthogonality
View
We denote by $\mathscr { R }$ the set of totally real numbers and we admit that there exists a function $t : \mathscr { R } \rightarrow \mathbb { Q }$ satisfying the following two properties: (i) for $x , y \in \mathscr { R }$ and $\lambda , \mu \in \mathbb { Q }$, we have $t ( \lambda x + \mu y ) = \lambda t ( x ) + \mu t ( y )$ (ii) for $x$ totally positive, we have $t ( x ) \geqslant 0$ and the equality is strict if $x \neq 0$.
We consider a non-zero totally real number $z$. We write $Z ( X ) = X ^ { d } - \left( a _ { d - 1 } X ^ { d - 1 } + \cdots + a _ { 1 } X + a _ { 0 } \right)$ with $d$ minimal. We consider the matrix $S$ of size $d \times d$ whose coefficient $( i , j )$ equals $t \left( z ^ { i + j } \right)$. For $X , Y \in \mathbb { R } ^ { d }$, we set $B ( X , Y ) = X ^ { T } S Y$.
15a. Show that there exists a basis $\left( e _ { 1 } , \ldots , e _ { d } \right)$ of $\mathbb { R } ^ { d }$ with $e _ { i } \in \mathbb { Q } ^ { d }$ for all $i$ and $B \left( e _ { i } , e _ { j } \right) = 0$ for $i \neq j$.
15b. Deduce that there exist $P \in \mathrm { GL } _ { d } ( \mathbb { Q } )$ and $q _ { 1 } , \ldots , q _ { d } \in \mathbb { Q } , q _ { i } > 0$, such that: $$S = P ^ { T } \cdot \operatorname { Diag } \left( q _ { 1 } , \ldots , q _ { d } \right) \cdot P$$