Condition for a norm be absolute

73 Views Asked by At

Let $\|x\|_B\mathrel{\mathop:}=\sqrt{x^{t}Bx}$, where $B \in \mathbb{R}^{n\times n}$ is a symmetric and positive semidefinite matrix. If $\mid x\mid = (|x_1|,|x_2|,\ldots,|x_n|)$, I want to show that $\|x\|_B=\||x|\|_B, \forall x \in \mathbb{R}^n \iff B$ is diagonal.

I was thinking about a proof by contradiction:

$\Rightarrow:$ If $B$ is not diagonal, $\exists\space i\neq j$ such that $B_{ij}\neq0$. Now, I don't know how to complete the implication;

$\Leftarrow:$ If exists a $x \in \mathbb{R^n}$ such that $\|x\|_B\neq\|\mid x\mid\|_B$, than we have $\|\mid x\mid\|_B>\|x\|_B$. But how this implies that $B$ is not diagonal?

Suggestions to complete the proof or do this using another way?

2

There are 2 best solutions below

0
On

Let $e_i$ be an indicator (zero everywhere, 1 at the ith position) For any $i, j$ such that $i \neq j$, by the problem assumption, we have $(e_i +e_j)^TB (e_i+e_j)= (e_i -e_j)^TB (e_i-e_j)$.

So $B_{ii}+ B_{jj}+ 2 B_{ij}= B_{ii}+B_{jj}-2B_{ij}, \forall i \neq j$, So $B_{ij}=0$.

0
On

If $B$ is diagonal, and since positive definite, with positive diagonal entries $B_{ii}$ we have $$ \|x\|_B^2 = \sum_{i=1}^n B_{ii} x_i^2 = \sum_{i=1}^n B_{ii} |x_i|^2 =\|\,|x|\,\|. $$ for all $x\in\mathbb R^n$.