Looking for a simple proof that the generalized disc is bounded - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T09:09:23Z http://mathoverflow.net/feeds/question/74399 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74399/looking-for-a-simple-proof-that-the-generalized-disc-is-bounded Looking for a simple proof that the generalized disc is bounded Hugo Chapdelaine 2011-09-02T21:26:26Z 2011-09-02T21:53:37Z <p>So let us define the generalized disc of degree $n$ as <code>$$\mathbb{D}_n:=\{w\in M_{n\times n}(\mathbb{C}):w=w^t, I_n-w\overline{w}&gt;0\}.$$</code> For a Hermitian matrix $A$, the notation $A>0$ means that it is positive definite.</p> <p><strong>Q</strong>: So how do you prove cleanly that $\mathbb{D}_n$ is bounded?</p> http://mathoverflow.net/questions/74399/looking-for-a-simple-proof-that-the-generalized-disc-is-bounded/74401#74401 Answer by Gjergji Zaimi for Looking for a simple proof that the generalized disc is bounded Gjergji Zaimi 2011-09-02T21:53:18Z 2011-09-02T21:53:18Z <p>The diagonal entries of a positive definite matrix are real and non-negative. If we let the rows of $w$ be $v_1,\dots,v_n$, then the diagonal entries of $I_n-w\overline{w}$ are $1-v_i\overline{v_i}=1-\sum_{j=1}^n|w_{ij}|^2$. So in particular $|w_{ij}|\le 1$. This implies that $\mathbb D_n$ is bounded.</p> http://mathoverflow.net/questions/74399/looking-for-a-simple-proof-that-the-generalized-disc-is-bounded/74402#74402 Answer by Ryan Reich for Looking for a simple proof that the generalized disc is bounded Ryan Reich 2011-09-02T21:53:37Z 2011-09-02T21:53:37Z <p>Your condition implies that for any $\vec{v} \in \mathbb{C}^n$, we have $\lVert \vec{v} \rVert > \lVert w\vec{v} \rVert$, except for $\vec{v} = 0$. Take $\vec{v}$ to be any of the standard basis vectors and conclude that the columns of $w$ have length less than 1, so its entries are at the least bounded. It seems that you don't need to assume $w = w^t$, if you write $I_n - ww^* > 0$ instead, and this seems more natural if you are talking about complex Hermitian matrices.</p>