<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>back-substitution &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/back-substitution/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Tue, 26 Dec 2017 04:17:11 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.6</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>back-substitution &#8211; Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>Column Vectors of an Upper Triangular Matrix with Nonzero Diagonal Entries are Linearly Independent</title>
		<link>https://yutsumura.com/column-vectors-of-an-upper-triangular-matrix-with-nonzero-diagonal-entries-are-linearly-independent/</link>
				<comments>https://yutsumura.com/column-vectors-of-an-upper-triangular-matrix-with-nonzero-diagonal-entries-are-linearly-independent/#respond</comments>
				<pubDate>Tue, 26 Dec 2017 04:16:26 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[back-substitution]]></category>
		<category><![CDATA[column vector]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linearly independent]]></category>
		<category><![CDATA[system of linear equations]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6366</guid>
				<description><![CDATA[<p>Suppose $M$ is an $n \times n$ upper-triangular matrix. If the diagonal entries of $M$ are all non-zero, then prove that the column vectors are linearly independent. Does the conclusion hold if we do&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/column-vectors-of-an-upper-triangular-matrix-with-nonzero-diagonal-entries-are-linearly-independent/" target="_blank">Column Vectors of an Upper Triangular Matrix with Nonzero Diagonal Entries are Linearly Independent</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 654</h2>
<p>Suppose $M$ is an $n \times n$ upper-triangular matrix.  </p>
<p>If the diagonal entries of $M$ are all non-zero, then prove that the column vectors are linearly independent.  </p>
<p>Does the conclusion hold if we do not assume that $M$ has non-zero diagonal entries?</p>
<p>&nbsp;<br />
<span id="more-6366"></span><br />

<h2> Proof. </h2>
<h3>If the diagonal entries of $M$ are all non-zero, then prove that the column vectors are linearly independent.  </h3>
<p>	Let $\mathbf{x}$ denote an arbitrary column vector of length $n$, and let $\mathbf{0}$ denote the zero vector of the same size. </p>
<p>The columns of $M$ are linearly independent if and only if the only solution to the equation $ M \mathbf{x} = \mathbf{0} $ is the vector $\mathbf{x} = \mathbf{0}$.</p>
<p>	Consider the upper-triangular matrix<br />
	\[M = \begin{bmatrix} m_{1, 1} &#038; m_{1, 2} &#038; m_{1, 3} &#038; \cdots &#038; m_{1, n} \\ 0 &#038; m_{2, 2} &#038; m_{2, 3} &#038; \cdots &#038; m_{2, n} \\ 0 &#038; 0 &#038; m_{3, 3} &#038; \cdots &#038; m_{3, n} \\ \vdots &#038; \vdots &#038; \vdots &#038; \ddots &#038; \vdots \\ 0 &#038; 0 &#038; 0 &#038; \cdots &#038; m_{n, n} \end{bmatrix}.\]
<hr />
<p>	The equation $M \mathbf{x} = \mathbf{0}$ then yields a system of linear equations with $n$ equations and $n$ variables.<br />
To find a solution, consider the augmented matrix $ \begin{bmatrix}[c|c] M &#038; \mathbf{0} \end{bmatrix}$.</p>
<p>Because $M$ is upper-triangular, we can use back-substitution to solve.  The bottom row of the augmented matrix gives the equation $m_{n, n} x_n = 0$.<br />
By assumption, $m_{n, n} \neq 0$ because it is a diagonal entry.  Thus we must have that $x_n=0$.</p>
<hr />
<p>	Next, the second-to-last row in the augmented matrix gives the equation $m_{n-1, n-1} x_{n-1} + m_{n-1, n} x_n = 0$.  Because $x_n = 0$ and $m_{n-1, n-1} \neq 0$, we must have that $x_{n-1} = 0$.  </p>
<p>	We continue working backward in this way to see that $x_i = 0$ for all $1 \leq i \leq n$.  Thus $\mathbf{x} = \mathbf{0}$, and so the columns of $M$ must be linearly independent.</p>
<h3>Does the conclusion hold if we do not assume that $M$ has non-zero diagonal entries?</h3>
<p>	If the diagonal entries of $M$ could be non-zero, then the columns might be linearly dependent.  Consider the simple example<br />
	\[M = \begin{bmatrix} 1 &#038; 1 \\ 0 &#038; 0 \end{bmatrix}.\]
<button class="simplefavorite-button has-count" data-postid="6366" data-siteid="1" data-groupid="1" data-favoritecount="30" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">30</span></button><p>The post <a href="https://yutsumura.com/column-vectors-of-an-upper-triangular-matrix-with-nonzero-diagonal-entries-are-linearly-independent/" target="_blank">Column Vectors of an Upper Triangular Matrix with Nonzero Diagonal Entries are Linearly Independent</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/column-vectors-of-an-upper-triangular-matrix-with-nonzero-diagonal-entries-are-linearly-independent/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6366</post-id>	</item>
	</channel>
</rss>
