notevector-spaces

Invertibility and Isomorphisms

Theorem

Suppose are finite-dimensional vector spaces and . If , then is invertible if and only if is injective if and only if is surjective.

Proof

Invertible injective and surjective is trivial because we have already proved an earlier theorem (invertible injective and surjective).

Also, ETS injective surjective because of the theorem.

(Injective Surjective) Recall: Fundamental Theorem of Linear Maps

Injectivity , so then the FTLM implies that by assumption. Therefore, , so is surjective.

(Surjective Injective) FTLM gives us that , so , so , so is injective.

Theorem

Suppose , , . Then .

Defined Isomorphic Vector Spaces

Theorem

Two finite dimensional vector spaces over some field , are isomorphic if and only if they have the same dimension.

Proof

("") Suppose are isomorphic. Then there exists some map that is an isomorphism (i.e. invertible). By the Fundamental Theorem of Linear Maps, we have .

("") Assume . Let and be bases of , respectively. Define by . is well-defined, since ‘s form a basis. Also, is surjective, since every element in can be written as a linear combination of , which corresponds to some by the definition of . Furthermore, is injective since the nullspace of is . Therefore, is invertible, so is an isomorphism.

Corollary

If , then .

Example
  1. . An example isomorphism is the one below,
a_{0} \\ a_{1} \\ \vdots \\ a_{m} \end{bmatrix} $$ ##### Notation $\mathbb{F}^{m,n} :=$ vector space of $m$-by-$n$ matrices with coefficients in $\mathbb{F}$.

\dim \mathbb{F}^{m,n} = m \cdot n

If $v_{1},\ldots, v_{n}$ is a basis of $V$ and $w_{1}, \ldots, w_{m}$ is a basis of $W$, then each $T \in \mathscr{L}(V,W)$ has a matrix representation

\begin{align*} M(T) = \begin{matrix} w_{1} \ \vdots \ w_{m} \end{matrix}&\ \begin{pmatrix} \ \qquad \ \ \ \vdots\ \ \ \qquad \ \end{pmatrix} \in \mathbb{F}^{m,n} \ & \begin{matrix} \quad v_{1} \cdots v_{n} \end{matrix} \end{align*}

So $M: \mathscr{L}(V,W) \to \mathbb{F}^{m,n}$. #### Theorem If $\dim V = n$, $\dim W = m$, then $\mathscr{L}(V,W) \simeq \mathbb{F}^{m,n}$. ##### Corollary $\dim \mathscr{L}(V,W) = (\dim V) ( \dim W)$ if both are finite. ### Products and Quotients #### Defined [[Product (Vector Spaces)]] ##### Notation - $V_{1} + \cdots + V_{n} = \sum_{i=1}^{n}V_{i}$ . - $V_{1} \oplus \cdots \oplus V_{n} = \bigoplus_{i = 1}^n V_{i}$. - $V_{1} \times \cdots \times V_{n} = \prod_{i=1}^{n}V_{i}$. ##### Proposition $\prod_{i=1}^{n}V_{i}$ is a vector space.