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
- . An example isomorphism is the one below,
\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.