This post continues Nilpotent Operators. It has two halves. The first collects what can be said about commuting operators in general, and ends with a reduction: for a complex vector space, the whol...

Properties Suppose $ T \in \mathcal{L}(V) $, then $ T $ is nilpotent $\iff \dim G(0,T) = \dim V $. Jordan Basis Every nilpotent operator has a Jordan basis. Let $N \in \mathcal{L}...

Translate Re-basing Suppose $ U $ is a subspace of $ V $ and $ v,w \in V $. Then \[x \in v + U \Leftrightarrow x + U = v + U.\] Corollary: Two translates of a subspace are equal or dis...

System of linear equations For $A \in \mathbf{F}^{m\times n}$ and one particular $b \in \mathbf{F}^n$, then $Ax = b$ has exactly one solution $\iff$ ($ A $ injective) and ($ b \in \operatorn...

Invariant Subspaces Suppose $ T \in \mathcal{L}(V) $ and $ U $ is a subspace of $ V $ invariant under $ T $. Then $ U $ is invariant under $ p(T) $ for every polynomial $ p \in \mathcal{P}(\mat...

Polynomials Bézout identity Suppose $ p, q \in \mathcal{P}(\mathbb{C}) $ are nonconstant polynomials with no zeros in common. Let $ m = \deg p $ and $ n = \deg q $. There exist \(r \in \math...

Dual Space and Dual Map Suppose $V$ is finite-dimensional. Then $ V \cong V’ $, but finding an isomorphism from $V$ onto $V’$ generally requires choosing a basis of $V$. $ \dim U^0 ...

Extension and Lift: A Factoring Duality Extension (shared domain) Suppose $ W_1 $ is finite-dimensional, $ S \in \mathcal{L}(V, W_1) $ and $ T \in \mathcal{L}(V, W_2) $. Then \(\operatorname...

Affine subspace affine = linear structure with the origin forgotten An operation on points commutes with every translation $ x \mapsto x + t $ if and only if its coefficients sum to 1. ...

3E 11. Suppose $ U = \{ (x1,x2,\dots) \in \mathbf{F}^\infty : x_k \ne 0 \ \text{for only finitely many k} \} $. (b) Prove that $ \mathbf{F}^\infty/U $ is infinite-dimensional. Goal and str...