Wednesday 26 June 2013

linear algebra - Let $A$ be a real $ntimes n$ such that the diagonal entries are positive, the off diagonal entries are negative, and the row sums are positive.




Let $A$ be a $n\times n$ matrix over the reals such that the diagonal entries are all positive, the off-diagonal entries are all negative, and the row sums are all positive. Show that $\det A \neq 0$.




To show that $\det A\neq 0$, it would be sufficient to show that the system $AX = 0$ does not have a nontrivial solution. Then I suppose that to show that, one could assume that it has a nontrivial solution and then obtain a contradiction. But I'm stuck on actually doing that part.



Any suggestions? I'm also interested in where I can find questions similar to this one to practice.


Answer




Suppose there exists a vector $x \in \mathbb{R}^n \setminus \{\vec{0}\}$ such that $Ax = \vec{0}$.



Pick an index $k$ such that $|x_k| = \displaystyle\max_{j = 1,\ldots,n}|x_j|$. So we have $|x_j| \le |x_k|$ for all $j = 1,\ldots,n$.



If $x_k = 0$, then we would have $x_j = 0$ for all $j = 1,\ldots,n$, i.e. $x = \vec{0}$, which isn't possible.



If $x_k > 0$, then $x_j \le |x_j| \le |x_k| = x_k$ for all $j$. Then, since $A_{k,k} > 0$, $A_{k,j} < 0$ for all $j \neq k$, and $\displaystyle\sum_{j = 1}^{n}A_{k,j} > 0$, we have $$0 = (Ax)_k = \sum_{j = 1}^{n}A_{k,j}x_j = A_{k,k}x_k + \sum_{j \neq k}A_{k,j}x_j \ge A_{k,k}x_k + \sum_{j \neq k}A_{k,j}x_k = x_k\sum_{j = 1}^{n}A_{k,j} > 0,$$ a contradiction.



Similarly, if $x_k < 0$, then $x_j \ge -|x_j| \ge -|x_k| = x_k$ for all $j$. Then, since $A_{k,k} > 0$, $A_{k,j} < 0$ for all $j \neq k$, and $\displaystyle\sum_{j = 1}^{n}A_{k,j} > 0$, we have $$0 = (Ax)_k = \sum_{j = 1}^{n}A_{k,j}x_j = A_{k,k}x_k + \sum_{j \neq k}A_{k,j}x_j \le A_{k,k}x_k + \sum_{j \neq k}A_{k,j}x_k = x_k\sum_{j = 1}^{n}A_{k,j} < 0,$$ a contradiction.




Therefore, there is no nonzero vector $x$ such that $Ax = \vec{0}$. Hence, $A$ is invertible, and thus, $\det A \neq 0$.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...