<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Linear-Algebra on ENKR's Blog | Jing Hui PANG</title><link>https://blog.enkr1.com/tags/linear-algebra/</link><description>Recent content in Linear-Algebra on ENKR's Blog | Jing Hui PANG</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>ENKR</copyright><lastBuildDate>Sun, 05 Apr 2026 20:50:31 +0800</lastBuildDate><atom:link href="https://blog.enkr1.com/tags/linear-algebra/index.xml" rel="self" type="application/rss+xml"/><item><title>TCX2101 | CT3 Helpsheet (A4 Double-Sided)</title><link>https://blog.enkr1.com/nus-bit-tcx2101-ct3-helpsheet/</link><pubDate>Sun, 05 Apr 2026 00:00:00 +0800</pubDate><guid>https://blog.enkr1.com/nus-bit-tcx2101-ct3-helpsheet/</guid><description>&lt;style&gt;
@media print {
.backlinks-section, .backlinks-list, .article-header, .article-footer,
[class*="backlink"], [class*="mention"],
.widget--newsletter, .newsletter, [class*="subscribe"], [class*="stay-in-loop"],
.article-page .main-article &gt; :last-child ~ * { display: none !important; }
body, .main-article { font-size: 9pt !important; line-height: 1.3 !important; }
h2 { font-size: 12pt !important; margin: 6px 0 3px !important; }
h3 { font-size: 10pt !important; margin: 4px 0 2px !important; }
table { font-size: 8.5pt !important; margin: 2px 0 !important; }
td, th { padding: 1px 4px !important; }
p, blockquote { margin: 2px 0 !important; }
hr { margin: 4px 0 !important; }
.main-article { max-width: 100% !important; padding: 0 !important; }
}
&lt;/style&gt;
&lt;h2 id="rref--linear-systems-q1"&gt;RREF &amp;amp; Linear Systems (Q1)
&lt;/h2&gt;&lt;h3 id="rref-rules-3-conditions"&gt;RREF Rules (3 conditions)
&lt;/h3&gt;&lt;ol&gt;
&lt;li&gt;Each leading entry is &lt;strong&gt;1&lt;/strong&gt;&lt;/li&gt;
&lt;li&gt;Each leading 1 is the &lt;strong&gt;only nonzero in its column&lt;/strong&gt; (zeros above AND below)&lt;/li&gt;
&lt;li&gt;Leading 1s move right as you go down&lt;/li&gt;
&lt;/ol&gt;
&lt;blockquote&gt;
&lt;p&gt;REF = zeros below only. R&lt;strong&gt;R&lt;/strong&gt;EF = zeros above AND below.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;h3 id="pivot-vs-free-variables"&gt;Pivot vs Free Variables
&lt;/h3&gt;&lt;p&gt;Scan each &lt;strong&gt;column&lt;/strong&gt; of RREF:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Has leading 1 → &lt;strong&gt;pivot variable&lt;/strong&gt; (equation decides)&lt;/li&gt;
&lt;li&gt;No leading 1 → &lt;strong&gt;free variable&lt;/strong&gt; (you choose = $s, t, \ldots$)&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;$\text{#free vars} = \text{#variables} - \text{#pivots}$&lt;/p&gt;
&lt;h3 id="vector-form-from-rref"&gt;Vector Form from RREF
&lt;/h3&gt;&lt;p&gt;&lt;strong&gt;$\mathbf{x}_p$:&lt;/strong&gt; Set all free vars = 0, read the RHS column (insert 0 at free var positions).&lt;/p&gt;
&lt;p&gt;&lt;strong&gt;Direction vectors:&lt;/strong&gt; For each free variable column:&lt;/p&gt;
&lt;ol&gt;
&lt;li&gt;Read the column entries at each pivot row&lt;/li&gt;
&lt;li&gt;Move to other side of $=$ (flip sign) → fills pivot var slots&lt;/li&gt;
&lt;li&gt;Free var itself → 1&lt;/li&gt;
&lt;li&gt;Other free vars → 0&lt;/li&gt;
&lt;/ol&gt;
&lt;p&gt;$$\mathbf{x} = \mathbf{x}_p + s\mathbf{v}_1 + t\mathbf{v}_2$$&lt;/p&gt;
&lt;table&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;Free vars&lt;/th&gt;
&lt;th&gt;Solution type&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;0&lt;/td&gt;
&lt;td&gt;Unique ($\mathbf{x}_p$ only, RREF left = $I$)&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;1&lt;/td&gt;
&lt;td&gt;Line ($\mathbf{x}_p + s\mathbf{v}$)&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;2&lt;/td&gt;
&lt;td&gt;Plane ($\mathbf{x}_p + s\mathbf{v}_1 + t\mathbf{v}_2$)&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;blockquote&gt;
&lt;p&gt;&lt;strong&gt;Inconsistent:&lt;/strong&gt; Row $[0\ 0\ \cdots\ 0\ |\ b]$ with $b \neq 0$ → no solution.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;hr&gt;
&lt;h2 id="determinants--properties-q2"&gt;Determinants &amp;amp; Properties (Q2)
&lt;/h2&gt;&lt;h3 id="cofactor-expansion"&gt;Cofactor Expansion
&lt;/h3&gt;&lt;p&gt;Pick the row/column with &lt;strong&gt;most zeros&lt;/strong&gt;. Sign pattern (checkerboard):&lt;/p&gt;
&lt;p&gt;$$C_{ij} = (-1)^{i+j} M_{ij}$$&lt;/p&gt;
&lt;p&gt;2×2: $\det = ad - bc$ (&lt;strong&gt;minus&lt;/strong&gt;, not plus!)&lt;/p&gt;
&lt;p&gt;4×4 → 3×3 → 2×2 (same method, just nesting)&lt;/p&gt;
&lt;h3 id="determinant-properties"&gt;Determinant Properties
&lt;/h3&gt;&lt;table&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;Formula&lt;/th&gt;
&lt;th&gt;Result&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;$\det(kA)$&lt;/td&gt;
&lt;td&gt;$= k^n \cdot \det(A)$ where $n$ = matrix size&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;$\det(AB)$&lt;/td&gt;
&lt;td&gt;$= \det(A) \cdot \det(B)$&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;$\det(A^{-1})$&lt;/td&gt;
&lt;td&gt;$= 1/\det(A)$&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;$\det(A^n)$&lt;/td&gt;
&lt;td&gt;$= \det(A)^n$&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;$\det(A^T)$&lt;/td&gt;
&lt;td&gt;$= \det(A)$&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;$\det(I)$&lt;/td&gt;
&lt;td&gt;$= 1$&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;blockquote&gt;
&lt;p&gt;$\det(kA) = k^n \det(A)$, &lt;strong&gt;NOT&lt;/strong&gt; $k \cdot \det(A)$. Each of $n$ rows gets multiplied by $k$.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;h3 id="invertibility"&gt;Invertibility
&lt;/h3&gt;&lt;p&gt;$A$ is invertible $\iff \det(A) \neq 0$&lt;/p&gt;
&lt;p&gt;All equivalent:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;$\det(A) \neq 0$&lt;/li&gt;
&lt;li&gt;RREF of $A = I_n$&lt;/li&gt;
&lt;li&gt;$A$ has $n$ pivots&lt;/li&gt;
&lt;li&gt;$A\mathbf{x} = \mathbf{b}$ has unique solution for all $\mathbf{b}$&lt;/li&gt;
&lt;li&gt;$A\mathbf{x} = \mathbf{0}$ has only $\mathbf{x} = \mathbf{0}$&lt;/li&gt;
&lt;li&gt;Columns of $A$ are linearly independent&lt;/li&gt;
&lt;li&gt;Columns of $A$ span $\mathbb{R}^n$&lt;/li&gt;
&lt;/ul&gt;
&lt;blockquote&gt;
&lt;p&gt;Zero entries in the matrix does NOT mean not invertible. Only $\det = 0$ matters.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;hr&gt;
&lt;h2 id="span-subspace-basis-q3"&gt;Span, Subspace, Basis (Q3)
&lt;/h2&gt;&lt;h3 id="subspace-proof-template-3-conditions"&gt;Subspace Proof Template (3 conditions)
&lt;/h3&gt;&lt;p&gt;Given $V = {\ \mathbf{x} \in \mathbb{R}^n : [\text{equation} = 0]\ }$&lt;/p&gt;
&lt;ol&gt;
&lt;li&gt;&lt;strong&gt;Zero vector:&lt;/strong&gt; Plug in $\mathbf{0}$ → does equation hold?&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Closed under $+$:&lt;/strong&gt; Let $\mathbf{u}, \mathbf{v} \in V$. Show $\mathbf{u}+\mathbf{v}$ satisfies equation.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Closed under scalar $\times$:&lt;/strong&gt; Let $\mathbf{u} \in V$, $c \in \mathbb{R}$. Show $c\mathbf{u}$ satisfies equation.&lt;/li&gt;
&lt;/ol&gt;
&lt;blockquote&gt;
&lt;p&gt;Homogeneous $(= 0)$: always works (sum of zeros = zero, scalar $\times$ zero = zero).
Non-homogeneous $(= 5, 1, \ldots)$: NEVER a subspace ($\mathbf{0}$ fails).&lt;/p&gt;
&lt;/blockquote&gt;
&lt;h3 id="span-test"&gt;Span Test
&lt;/h3&gt;&lt;p&gt;Is $\mathbf{w}$ in $\text{span}{\mathbf{v}_1, \mathbf{v}_2, \ldots}$?&lt;/p&gt;
&lt;p&gt;Set up $[\mathbf{v}_1\ |\ \mathbf{v}_2\ |\ \cdots\ |\ \mathbf{w}]$ and row reduce.&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Consistent → &lt;strong&gt;yes&lt;/strong&gt; (read coefficients)&lt;/li&gt;
&lt;li&gt;Contradiction row → &lt;strong&gt;no&lt;/strong&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id="basis-from-equation"&gt;Basis from Equation
&lt;/h3&gt;&lt;ol&gt;
&lt;li&gt;Solve equation for one variable&lt;/li&gt;
&lt;li&gt;Remaining variables = free parameters ($s, t, \ldots$)&lt;/li&gt;
&lt;li&gt;Write as linear combination → coefficient vectors = basis&lt;/li&gt;
&lt;/ol&gt;
&lt;h3 id="dimension"&gt;Dimension
&lt;/h3&gt;&lt;p&gt;$\dim(V) = $ number of vectors in any basis&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;$\dim(\mathbb{R}^n) = n$&lt;/li&gt;
&lt;li&gt;$\dim({\mathbf{0}}) = 0$ (basis = empty set $\emptyset$)&lt;/li&gt;
&lt;li&gt;$\dim(\text{Nul}(A)) = $ #free vars (Rank-Nullity)&lt;/li&gt;
&lt;li&gt;More vectors than $\dim$ → &lt;strong&gt;dependent&lt;/strong&gt;&lt;/li&gt;
&lt;li&gt;Equal count + independent → &lt;strong&gt;basis&lt;/strong&gt;&lt;/li&gt;
&lt;li&gt;Fewer + independent → can extend to basis&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id="linear-independence-check"&gt;Linear Independence Check
&lt;/h3&gt;&lt;p&gt;Put vectors as &lt;strong&gt;columns&lt;/strong&gt;, row reduce, count pivots.&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;All columns have pivots → &lt;strong&gt;independent&lt;/strong&gt;&lt;/li&gt;
&lt;li&gt;A column without pivot → &lt;strong&gt;dependent&lt;/strong&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;hr&gt;
&lt;p&gt;&lt;em&gt;Building as I prep — last updated: 2026-04-05&lt;/em&gt;&lt;/p&gt;</description></item></channel></rss>