Linear Transformations

Linearity

• Definitions of linearity of transformation. The following statements are equivalent:
  • $T$ is linear transformation
  • $T$ is additive and homogeneous (9.1.1)
    1. Additivity: $T(v_1+v_2)=T(v_1)+T(v_2)$
    2. Homogeneity: $\alpha T(v)=T(\alpha v)$
  • $T({\lambda }_1{v}_1+{\lambda }_2{v}_2)={\lambda }_{1}T(v_1)+{\lambda }_{2}T(v_2)$ (9.1.3, equivalent to d9.1.1)
  • There exists $A$ such that $Tv=Av$ for each $v\in V$

Theorems:

• (9.1.2a) if $T(0_V)\ne 0_W$, then $T$ is not linear
• (9.7.1) let $S$ and $T$ linear transformations, then $f(v)=S(v)+T(v)$ is also linear transformation

Arithmetic Properties:

• $T(v)=T(u)⟺T(v-u)=0$
• (q9.7.2a) addition commutativity: $T+S=S+T$
• (q9.7.2b) Addition Associativity $(T_1+T_2)+T_3=T_1+(T_2+T_3)$
• (q9.7.3) $T+0=0+T=T$
• todo SEE CHPATER 9.7

---

$T:V\to W$

• $A_{m\times n}=[T{]}_C^B$
• $Tv=Av$
• $\dim V=n,\dim W=m$
• $B=(v_1,\dots ,v_n)$ and $C=(w_1,\dots ,w_m)$ are bases of $V$ and $W$. (respectively)

Image

• Definition:

  • $\text{Im}(T)=\{T(v)\mid v\in V\}$

• (9.3.6) let $T:V\to W$, and $\text{Sp}\{v_1,\dots ,v_n\}=V$, then, $\text{Im}T=\text{Sp}(\{T(v_1),\dots ,T(v_n)\})$

• (9.3.7) $\text{Im}(T)=\text{column-space}(A)$

• (9.6.2) if $T:V\to W$ is isomorphism, if and only if, $\text{Im}T=W$

• $\text{Im}T$ is subspace of $W$

q9.3.2c, q9.3.3, q9.4.2

• (9.5.6) if $T$ is injective, and $K\subseteq V$ independent linearly set, then $T(K)\subseteq W$ is also independent linearly set.

Kernel

• Definition: $\ker (T)=\{v\in V:T(v)=0_W\}$
• (9.3.5) $\ker T$ is subspace of $V$
• (9.5.2) $T$ is injective, if and only if, $\ker T=\{0\}$

see 9.6.2

Transformation matrix

(d10.1.1) Matrix Representations of Linear Transformation $[T{]}_C^B={\left[\begin{array}{ccc}|& & |\\ [T(v_1){]}_C& \cdots & [T(v_n){]}_C\\ |& & |\end{array}\right]}_{m\times n}$

Compute T(v) Indirectly

1. Compute the coordinate vector $[v{]}_B$
2. Compute $[T(v){]}_C=[T{]}_C^B[v{]}_B$
3. Reconstruct $T(v)$ from its coordinate vector $[T(v){]}_C$

Equality

• (9.4.1) $T,S:V\to W$, and $B=\{v_1,\dots ,v_n\}$ spans $V$. then $T=S⟺\forall v\in B:T(v)=S(v)$

Surjective (Onto)

aka: epimorphism

The following statements are equivalent:

• $T:V\to W$ is surjective
• $A$ columns spans $W$
• $\dim V=\dim \text{im}T$
• (T is right-cancellable) $RT=ST⟹R=S$
• (T is right-invertible) There exists $S:W\to V$ such that $TS=I$

Theorems:

• if $\dim V<\dim W$ then $T$ cannot be onto

Injective (One-to-One)

aka: monomorphism

Definition: The following statements are equivalent:

• $T:V\to W$ is injective
• (9.5.2) $\text{ker}(T)=\{0\}$
• $\dim (\ker T)=0$
• $T(u)=T(v)⟹u=v$
• The colmuns of $A$ are linearly independent
• (T is left-cancellable) $TR=TS⟹R=S$
• (T is left-invertible) There exists $S:W\to V$ such that $ST=I$

Theorems: ($T:V\to W$ is injective)

• if $\dim W<\dim V$ then $T$ cannot be one-to-one
• (q9.6.3c) $v_1,\dots ,v_n\in V$ are linearly independent, if and only if, $T(v_1),\dots ,T(v_n)\in V$

Isomorphism

• Definition: The following statements are equivalent (9.6.2)
  • $T$ is an isomorphism (invertible linear transformation) from $V$ on $W$
  • $T$ is both injective and surjective. (bijective)

dimV=dimW

Theorems

• (9.4.2) Let $B=(v_1,\dots ,v_n)$ be a basis of $V$ and $(w_1,\dots ,w_n)$ an arbitrary list of vectors in $W$. Then there exists a unique linear map $T:V\to W$ such that $T(v_i)=w_i$

Isomorphism

• Definition: The following statements are equivalent (9.6.2)
  • $T$ is a linear isomorphism (bijective linear transformation) from $V$ on $W$
  • $T$ is injective
  • $T$ is surjective
  • $T$ is bijective
  • There is $T^{-1}:W\to V$ such that $T^{-1}T=I_V$
  • There is $T^{-1}:W\to V$ such that $T{T}^{-1}=I_W$
  • (10.5.1-2) $A=[T{]}_C^B$ is invertible, i.e. $A^{-1}=[T^{-1}{]}_B^C$ exists
  • (9.9.2) the inverse $T^{-1}:W\to V$ exists, such that $T^{-1}T=I_V$ and $T{T}^{-1}=I_W$

Propreties:

Linear Endomorphism $T:V\to V$

In the case where $V=W$, a linear map is called a linear endomorphism. Sometimes the term linear operator refers to this case, but the term linear operator can have different meanings for different conventions (wikipedia)

• $T^2=0⟹\mathrm{Im}T\subseteq \mathrm{Ker}T$

Eigenvalues

Equivalent definitions of eigenvalue for the linear transformation $T:V\to V$.

• (d11.2.1) $\lambda$ is an eigenvalue of $T$
• (d11.2.1) There exists a non-zero vector $\mathbf{v}$ in $V$ such that $T(\mathbf{v})=\lambda \mathbf{v}$.
• (In such a case, $\mathbf{v}$ is called an eigenvector of $T$ related to the eigenvalue $\lambda$)
• The operator $(T-\lambda I)$ is singular.
• $\text{rank}(T-\lambda I)<\dim (V)$
• $(\lambda I-T)(\mathbf{v})=0$ has nontrivial solutions, i.e., $\text{null}(\lambda I-T)\ne \{0\}$
• (11.4.1) The characteristic equation $\det (\lambda I-T)=0$
• $\lambda$ is a root of the characteristic equation $\det (xI-T)=0$

Theorems:

• (q11.2.4a) if $\lambda$ is an eigenvalue of $T$, then for each $\mu$, $\mu \lambda$ is an eigenvalue of $\mu T:V\to V$
• (q11.2.4b) if $\lambda$ is an eigenvalue of $T$, then , ${\lambda }^k$ is a eigenvalue of $T^k:V\to V$. (for each natural $k$ )
• (11.2.6) $T$ has at most $n$ distinct eigenvalues
• if $T^n=I$ for some natural $n$, then $T$ has at most the eigenvalues $1,-1$ (todo by q11.2.4)

Eigenvectors

Definitions of eigenvector. The following statements are equivalent:

• (d11.2.1) $\mathbf{v}$ is an eigenvector of $T$ related to $\lambda$.
• (d11.2.1) $\mathbf{v}$ is a non-zero vector in $V$ such that $T(\mathbf{v})=\lambda \mathbf{v}$.

Eigenspace

Definitions of the eigenspace of $T$ associated with its eigenvalue $\lambda$.

• (d11.2.2) $V_{\lambda }=\{\mathbf{v}\in V\mid T(\mathbf{v})=\lambda \mathbf{v}\}$
• $\{\text{eigenvectors corresponding to }\lambda \}\cup \{0\}$

Diagonalizability

• (d11.1.1) $T:V\to V$ is diagonalizable

• $V$ has a basis such that the matrix of $T$ (by that basis), is diagonal

• (11.2.3) $V$ has a basis in which all its vectors are eigenvectors of $T$

• (11.2.5) if $T$ has $n$ distinct eigenvalues, then $T$ is diagonalizable #todo https://textbooks.math.gatech.edu/ila/diagonalization.html

characteristic polynomial

• (d11.4.4) the characteristic polynomial of $T:V\to V$ is the characteristic polynomial of the transformation matrix by some basis
• 2