# Linear Algebra/Dimension Characterizes Isomorphism

In the prior subsection, after stating the definition of an isomorphism, we gave some results supporting the intuition that such a map describes spaces as "the same". Here we will formalize this intuition. While two spaces that are isomorphic are not equal, we think of them as almost equal— as equivalent. In this subsection we shall show that the relationship "is isomorphic to" is an equivalence relation.

## Theorem 2.1

Isomorphism is an equivalence relation between vector spaces.

## Proof

We must prove that this relation has the three properties of being symmetric, reflexive, and transitive. For each of the three we will use item 2 of Lemma 1.9 and show that the map preserves structure by showing that it preserves linear combinations of two members of the domain.
To check reflexivity, that any space is isomorphic to itself, consider the identity map. It is clearly one-to-one and onto. The calculation showing that it preserves linear combinations is easy.
    ${\mbox{id}}(c_{1}\cdot {\vec {v}}_{1}+c_{2}\cdot {\vec {v}}_{2})=c_{1}{\vec {v}}_{1}+c_{2}{\vec {v}}_{2}=c_{1}\cdot {\mbox{id}}({\vec {v}}_{1})+c_{2}\cdot {\mbox{id}}({\vec {v}}_{2})$
To check symmetry, that if $V$ is isomorphic to $W$ via some map $f:V\to W$ then there is an isomorphism going the other way, consider the inverse map $f^{-1}:W\to V$. As stated in the appendix, such an inverse function exists and it is also a correspondence. Thus we have reduced the symmetry issue to checking that, because $f$ preserves linear combinations, so also does $f^{-1}$. Assume that ${\vec {w}}_{1}=f({\vec {v}}_{1})$ and ${\vec {w}}_{2}=f({\vec {v}}_{2})$, i.e., that $f^{-1}({\vec {w}}_{1})={\vec {v}}_{1}$ and $f^{-1}({\vec {w}}_{2})={\vec {v}}_{2}$.
    ${\begin{array}{rl}f^{-1}(c_{1}\cdot {\vec {w}}_{1}+c_{2}\cdot {\vec {w}}_{2})&=f^{-1}{\bigl\,c_{1}\cdot f({\vec {v}}_{1})+c_{2}\cdot f({\vec {v}}_{2})\,{\bigr )}\\&=f^{-1}(\,f{\biglc_{1}{\vec {v}}_{1}+c_{2}{\vec {v}}_{2})\,{\bigr )}\\&=c_{1}{\vec {v}}_{1}+c_{2}{\vec {v}}_{2}\\&=c_{1}\cdot f^{-1}({\vec {w}}_{1})+c_{2}\cdot f^{-1}({\vec {w}}_{2})\end{array}}$
Finally, we must check transitivity, that if $V$ is isomorphic to $W$ via some map $f$ and if $W$ is isomorphic to $U$ via some map $g$ then also $V$ is isomorphic to $U$. Consider the composition $g\circ f:V\to U$. The appendix notes that the composition of two correspondences is a correspondence, so we need only check that the composition preserves linear combinations.
    ${\begin{array}{rl}g\circ f\,{\biglc_{1}\cdot {\vec {v}}_{1}+c_{2}\cdot {\vec {v}}_{2}{\bigr )}&=g{\bigl\,f(c_{1}\cdot {\vec {v}}_{1}+c_{2}\cdot {\vec {v}}_{2})\,{\bigr )}\\&=g{\bigl\,c_{1}\cdot f({\vec {v}}_{1})+c_{2}\cdot f({\vec {v}}_{2})\,{\bigr )}\\&=c_{1}\cdot g{\biglf({\vec {v}}_{1}))+c_{2}\cdot g(f({\vec {v}}_{2}){\bigr )}\\&=c_{1}\cdot (g\circ f)\,({\vec {v}}_{1})+c_{2}\cdot (g\circ f)\,({\vec {v}}_{2})\end{array}}$
Thus $g\circ f:V\to U$ is an isomorphism.
As a consequence of that result, we know that the universe of vector spaces is partitioned into classes: every space is in one and only one isomorphism class.
| All finite dimensional vector spaces: | $V\cong W$ |

## Theorem 2.2

Vector spaces are isomorphic if and only if they have the same dimension.
This follows from the next two lemmas.

## Lemma 2.3

If spaces are isomorphic then they have the same dimension.

## Proof

We shall show that an isomorphism of two spaces gives a correspondence between their bases. That is, where $f:V\to W$ is an isomorphism and a basis for the domain $V$ is $B=\langle {\vec {\beta }}_{1},\dots ,{\vec {\beta }}_{n}\rangle$, then the image set $D=\langle f({\vec {\beta }}_{1}),\dots ,f({\vec {\beta }}_{n})\rangle$ is a basis for the codomain $W$. (The other half of the correspondence— that for any basis of $W$ the inverse image is a basis for $V$— follows on recalling that if $f$ is an isomorphism then $f^{-1}$ is also an isomorphism, and applying the prior sentence to $f^{-1}$.)
To see that $D$ spans $W$, fix any ${\vec {w}}\in W$, note that $f$ is onto and so there is a ${\vec {v}}\in V$ with ${\vec {w}}=f({\vec {v}})$, and expand ${\vec {v}}$ as a combination of basis vectors.
    ${\vec {w}}=f({\vec {v}})=f(v_{1}{\vec {\beta }}_{1}+\dots +v_{n}{\vec {\beta }}_{n})=v_{1}\cdot f({\vec {\beta }}_{1})+\dots +v_{n}\cdot f({\vec {\beta }}_{n})$
For linear independence of $D$, if
    ${\vec {0}}_{W}=c_{1}f({\vec {\beta }}_{1})+\dots +c_{n}f({\vec {\beta }}_{n})=f(c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n})$
then, since $f$ is one-to-one and so the only vector sent to ${\vec {0}}_{W}$ is ${\vec {0}}_{V}$, we have that ${\vec {0}}_{V}=c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n}$, implying that all of the $c$'s are zero.

## Lemma 2.4

If spaces have the same dimension then they are isomorphic.

## Proof

To show that any two spaces of dimension $n$ are isomorphic, we can simply show that any one is isomorphic to $\mathbb {R} ^{n}$. Then we will have shown that they are isomorphic to each other, by the transitivity of isomorphism (which was established in Theorem 2.1).
Let $V$ be $n$-dimensional. Fix a basis $B=\langle {\vec {\beta }}_{1},\dots ,{\vec {\beta }}_{n}\rangle$ for the domain $V$. Consider the representation of the members of that domain with respect to the basis as a function from $V$ to $\mathbb {R} ^{n}$
    ${\vec {v}}=v_{1}{\vec {\beta }}_{1}+\dots +v_{n}{\vec {\beta }}_{n}\,{\stackrel {{\text{Rep}}_{B}}{\longmapsto }}\,{\begin{pmatrix}v_{1}\\\vdots \\v_{n}\end{pmatrix}}$
(it is well-defined since every ${\vec {v}}$ has one and only one such representation— see Remark 2.5 below).
This function is one-to-one because if
    ${\text{Rep}}_{B}(u_{1}{\vec {\beta }}_{1}+\dots +u_{n}{\vec {\beta }}_{n})={\text{Rep}}_{B}(v_{1}{\vec {\beta }}_{1}+\dots +v_{n}{\vec {\beta }}_{n})$
then
    ${\begin{pmatrix}u_{1}\\\vdots \\u_{n}\end{pmatrix}}={\begin{pmatrix}v_{1}\\\vdots \\v_{n}\end{pmatrix}}$
and so $u_{1}=v_{1}$, ..., $u_{n}=v_{n}$, and therefore the original arguments $u_{1}{\vec {\beta }}_{1}+\dots +u_{n}{\vec {\beta }}_{n}$ and $v_{1}{\vec {\beta }}_{1}+\dots +v_{n}{\vec {\beta }}_{n}$ are equal.
This function is onto; any $n$-tall vector
    ${\vec {w}}={\begin{pmatrix}w_{1}\\\vdots \\w_{n}\end{pmatrix}}$
is the image of some ${\vec {v}}\in V$, namely ${\vec {w}}={\rm {Rep}}_{B}(w_{1}{\vec {\beta }}_{1}+\dots +w_{n}{\vec {\beta }}_{n})$.
Finally, this function preserves structure.
    ${\begin{array}{rl}{\rm {Rep}}_{B}(r\cdot {\vec {u}}+s\cdot {\vec {v}})&={\rm {Rep}}_{B}(\,(ru_{1}+sv_{1}){\vec {\beta }}_{1}+\dots +(ru_{n}+sv_{n}){\vec {\beta }}_{n}\,)\\&={\begin{pmatrix}ru_{1}+sv_{1}\\\vdots \\ru_{n}+sv_{n}\end{pmatrix}}\\&=r\cdot {\begin{pmatrix}u_{1}\\\vdots \\u_{n}\end{pmatrix}}+s\cdot {\begin{pmatrix}v_{1}\\\vdots \\v_{n}\end{pmatrix}}\\&=r\cdot {\rm {Rep}}_{B}({\vec {u}})+s\cdot {\rm {Rep}}_{B}({\vec {v}})\end{array}}$
Thus the ${\mbox{Rep}}_{B}$ function is an isomorphism and thus any $n$-dimensional space is isomorphic to the $n$-dimensional space $\mathbb {R} ^{n}$. Consequently, any two spaces with the same dimension are isomorphic.

## Remark 2.5

The parenthetical comment in that proof about the role played by the "one and only one representation" result requires some explanation. We need to show that (for a fixed $B$) each vector in the domain is associated by ${\mbox{Rep}}_{B}$ with one and only one vector in the codomain.
A contrasting example, where an association doesn't have this property, is illuminating. Consider this subset of ${\mathcal {P}}_{2}$, which is not a basis.
    $A=\{1+0x+0x^{2},0+1x+0x^{2},0+0x+1x^{2},1+1x+2x^{2}\}$
Call those four polynomials ${\vec {\alpha }}_{1}$, ..., ${\vec {\alpha }}_{4}$. If, mimicing above proof, we try to write the members of ${\mathcal {P}}_{2}$ as ${\vec {p}}=c_{1}{\vec {\alpha }}_{1}+c_{2}{\vec {\alpha }}_{2}+c_{3}{\vec {\alpha }}_{3}+c_{4}{\vec {\alpha }}_{4}$, and associate ${\vec {p}}$ with the four-tall vector with components $c_{1}$, ..., $c_{4}$ then there is a problem. For, consider ${\vec {p}}(x)=1+x+x^{2}$. The set $A$ spans the space ${\mathcal {P}}_{2}$, so there is at least one four-tall vector associated with ${\vec {p}}$. But $A$ is not linearly independent and so vectors do not have unique decompositions. In this case, both
    ${\vec {p}}(x)=1{\vec {\alpha }}_{1}+1{\vec {\alpha }}_{2}+1{\vec {\alpha }}_{3}+0{\vec {\alpha }}_{4}\quad {\text{and}}\quad {\vec {p}}(x)=0{\vec {\alpha }}_{1}+0{\vec {\alpha }}_{2}-1{\vec {\alpha }}_{3}+1{\vec {\alpha }}_{4}$
and so there is more than one four-tall vector associated with ${\vec {p}}$.
    ${\begin{pmatrix}1\\1\\1\\0\end{pmatrix}}\quad {\text{and}}\quad {\begin{pmatrix}0\\0\\-1\\1\end{pmatrix}}$
That is, with input ${\vec {p}}$ this association does not have a well-defined (i.e., single) output value.
Any map whose definition appears possibly ambiguous must be checked to see that it is well-defined. For ${\mbox{Rep}}_{B}$ in the above proof that check is Problem 11.
That ends the proof of Theorem 2.2. We say that the isomorphism classes are characterized by dimension because we can describe each class simply by giving the number that is the dimension of all of the spaces in that class.
This subsection's results give us a collection of representatives of the isomorphism classes.

## Corollary 2.6

A finite-dimensional vector space is isomorphic to one and only one of the $\mathbb {R} ^{n}$.
The proofs above pack many ideas into a small space. Through the rest of this chapter we'll consider these ideas again, and fill them out. For a taste of this, we will expand here on the proof of Lemma 2.4.

## Example 2.7

The space ${\mathcal {M}}_{2\!\times \!2}$ of $2\!\times \!2$ matrices is isomorphic to $\mathbb {R} ^{4}$. With this basis for the domain
    $B=\langle {\begin{pmatrix}1&0\\0&0\end{pmatrix}},{\begin{pmatrix}0&1\\0&0\end{pmatrix}},{\begin{pmatrix}0&0\\1&0\end{pmatrix}},{\begin{pmatrix}0&0\\0&1\end{pmatrix}}\rangle$
the isomorphism given in the lemma, the representation map $f_{1}={\mbox{Rep}}_{B}$, simply carries the entries over.
    ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\stackrel {f_{1}}{\longmapsto }}{\begin{pmatrix}a\\b\\c\\d\end{pmatrix}}$
One way to think of the map $f_{1}$ is: fix the basis $B$ for the domain and the basis ${\mathcal {E}}_{4}$ for the codomain, and associate ${\vec {\beta }}_{1}$ with ${\vec {e}}_{1}$, and ${\vec {\beta }}_{2}$ with ${\vec {e}}_{2}$, etc. Then extend this association to all of the members of two spaces.
    ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}=a{\vec {\beta }}_{1}+b{\vec {\beta }}_{2}+c{\vec {\beta }}_{3}+d{\vec {\beta }}_{4}\;\;{\stackrel {f_{1}}{\longmapsto }}\;\;a{\vec {e}}_{1}+b{\vec {e}}_{2}+c{\vec {e}}_{3}+d{\vec {e}}_{4}={\begin{pmatrix}a\\b\\c\\d\end{pmatrix}}$
We say that the map has been extended linearly from the bases to the spaces.
We can do the same thing with different bases, for instance, taking this basis for the domain.
    $A=\langle {\begin{pmatrix}2&0\\0&0\end{pmatrix}},{\begin{pmatrix}0&2\\0&0\end{pmatrix}},{\begin{pmatrix}0&0\\2&0\end{pmatrix}},{\begin{pmatrix}0&0\\0&2\end{pmatrix}}\rangle$
Associating corresponding members of $A$ and ${\mathcal {E}}_{4}$ and extending linearly
    ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}=(a/2){\vec {\alpha }}_{1}+(b/2){\vec {\alpha }}_{2}+(c/2){\vec {\alpha }}_{3}+(d/2){\vec {\alpha }}_{4}$
       ${\stackrel {f_{2}}{\longmapsto }}\;\;(a/2){\vec {e}}_{1}+(b/2){\vec {e}}_{2}+(c/2){\vec {e}}_{3}+(d/2){\vec {e}}_{4}={\begin{pmatrix}a/2\\b/2\\c/2\\d/2\end{pmatrix}}$
gives rise to an isomorphism that is different than $f_{1}$.
The prior map arose by changing the basis for the domain. We can also change the basis for the codomain. Starting with
    $B\quad {\text{and}}\quad D=\langle {\begin{pmatrix}1\\0\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\1\\0\\0\end{pmatrix}},{\begin{pmatrix}0\\0\\0\\1\end{pmatrix}},{\begin{pmatrix}0\\0\\1\\0\end{pmatrix}}\rangle$
associating ${\vec {\beta }}_{1}$ with ${\vec {\delta }}_{1}$, etc., and then linearly extending that correspondence to all of the two spaces
    ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}=a{\vec {\beta }}_{1}+b{\vec {\beta }}_{2}+c{\vec {\beta }}_{3}+d{\vec {\beta }}_{4}\;\;{\stackrel {f_{3}}{\longmapsto }}\;\;a{\vec {\delta }}_{1}+b{\vec {\delta }}_{2}+c{\vec {\delta }}_{3}+d{\vec {\delta }}_{4}={\begin{pmatrix}a\\b\\d\\c\end{pmatrix}}$
gives still another isomorphism.
So there is a connection between the maps between spaces and bases for those spaces. Later sections will explore that connection.
We will close this section with a summary.
Recall that in the first chapter we defined two matrices as row equivalent if they can be derived from each other by elementary row operations (this was the meaning of same-ness that was of interest there). We showed that is an equivalence relation and so the collection of matrices is partitioned into classes, where all the matrices that are row equivalent fall together into a single class. Then, for insight into which matrices are in each class, we gave representatives for the classes, the reduced echelon form matrices.
In this section, except that the appropriate notion of same-ness here is vector space isomorphism, we have followed much the same outline. First we defined isomorphism, saw some examples, and established some properties. Then we showed that it is an equivalence relation, and now we have a set of class representatives, the real vector spaces $\mathbb {R} ^{1}$, $\mathbb {R} ^{2}$, etc.
| All finite dimensional | vector spaces: |
* One representative
* per class
As before, the list of representatives helps us to understand the partition. It is simply a classification of spaces by dimension.
In the second chapter, with the definition of vector spaces, we seemed to have opened up our studies to many examples of new structures besides the familiar $\mathbb {R} ^{n}$'s. We now know that isn't the case. Any finite-dimensional vector space is actually "the same" as a real space. We are thus considering exactly the structures that we need to consider.
The rest of the chapter fills out the work in this section. In particular, in the next section we will consider maps that preserve structure, but are not necessarily correspondences.

## Exercises

    This exercise is recommended for all readers.

### Problem 1

Decide if the spaces are isomorphic.
* $\mathbb {R} ^{2}$, $\mathbb {R} ^{4}$
* ${\mathcal {P}}_{5}$, $\mathbb {R} ^{5}$
* ${\mathcal {M}}_{2\!\times \!3}$, $\mathbb {R} ^{6}$
* ${\mathcal {P}}_{5}$, ${\mathcal {M}}_{2\!\times \!3}$
* ${\mathcal {M}}_{2\!\times \!k}$, $\mathbb {C} ^{k}$

### Answer

Each pair of spaces is isomorphic if and only if the two have the same dimension. We can, when there is an isomorphism, state a map, but it isn't strictly necessary.
* No, they have different dimensions.
* No, they have different dimensions.
* Yes, they have the same dimension. One isomorphism is this.
    ${\begin{pmatrix}a&b&c\\d&e&f\end{pmatrix}}\mapsto {\begin{pmatrix}a\\\vdots \\f\end{pmatrix}}$
* Yes, they have the same dimension. This is an isomorphism.
    $a+bx+\cdots +fx^{5}\mapsto {\begin{pmatrix}a&b&c\\d&e&f\end{pmatrix}}$
* Yes, both have dimension $2k$.
    This exercise is recommended for all readers.

### Problem 2

Consider the isomorphism ${\rm {Rep}}_{B}(\cdot ):{\mathcal {P}}_{1}\to \mathbb {R} ^{2}$ where $B=\langle 1,1+x\rangle$. Find the image of each of these elements of the domain.
* $3-2x$;
* $2+2x$;
* $x$

### Answer

* ${\rm {Rep}}_{B}(3-2x)={\begin{pmatrix}5\\-2\end{pmatrix}}$
* ${\begin{pmatrix}0\\2\end{pmatrix}}$
* ${\begin{pmatrix}-1\\1\end{pmatrix}}$
    This exercise is recommended for all readers.

### Problem 3

Show that if $m\neq n$ then $\mathbb {R} ^{m}\not \cong \mathbb {R} ^{n}$.

### Answer

They have different dimensions.
    This exercise is recommended for all readers.

### Problem 4

Is ${\mathcal {M}}_{m\!\times \!n}\cong {\mathcal {M}}_{n\!\times \!m}$?

### Answer

Yes, both are $mn$-dimensional.
    This exercise is recommended for all readers.

### Problem 5

Are any two planes through the origin in $\mathbb {R} ^{3}$ isomorphic?

### Answer

Yes, any two (nondegenerate) planes are both two-dimensional vector spaces.

### Problem 6

Find a set of equivalence class representatives other than the set of $\mathbb {R} ^{n}$'s.

### Answer

There are many answers, one is the set of ${\mathcal {P}}_{k}$ (taking ${\mathcal {P}}_{-1}$ to be the trivial vector space).

### Problem 7

True or false: between any $n$-dimensional space and $\mathbb {R} ^{n}$ there is exactly one isomorphism.

### Answer

False (except when $n=0$). For instance, if $f:V\to \mathbb {R} ^{n}$ is an isomorphism then multiplying by any nonzero scalar, gives another, different, isomorphism. (Between trivial spaces the isomorphisms are unique; the only map possible is ${\vec {0}}_{V}\mapsto 0_{W}$.)

### Problem 8

Can a vector space be isomorphic to one of its (proper) subspaces?

### Answer

No. A proper subspace has a strictly lower dimension than it's superspace; if $U$ is a proper subspace of $V$ then any linearly independent subset of $U$ must have fewer than $\dim(V)$ members or else that set would be a basis for $V$, and $U$ wouldn't be proper.
    This exercise is recommended for all readers.

### Problem 9

This subsection shows that for any isomorphism, the inverse map is also an isomorphism. This subsection also shows that for a fixed basis $B$ of an $n$-dimensional vector space $V$, the map ${\text{Rep}}_{B}:V\to \mathbb {R} ^{n}$ is an isomorphism. Find the inverse of this map.

### Answer

Where $B=\langle {\vec {\beta }}_{1},\ldots ,{\vec {\beta }}_{n}\rangle$, the inverse is this.
    ${\begin{pmatrix}c_{1}\\\vdots \\c_{n}\end{pmatrix}}\mapsto c_{1}{\vec {\beta }}_{1}+\cdots +c_{n}{\vec {\beta }}_{n}$
    This exercise is recommended for all readers.

### Problem 10

Prove these facts about matrices.
* The row space of a matrix is isomorphic to the column space of its transpose.
* The row space of a matrix is isomorphic to its column space.

### Answer

All three spaces have dimension equal to the rank of the matrix.

### Problem 11

Show that the function from Theorem 2.2 is well-defined.

### Answer

We must show that if ${\vec {a}}={\vec {b}}$ then $f({\vec {a}})=f({\vec {b}})$. So suppose that $a_{1}{\vec {\beta }}_{1}+\dots +a_{n}{\vec {\beta }}_{n}=b_{1}{\vec {\beta }}_{1}+\dots +b_{n}{\vec {\beta }}_{n}$. Each vector in a vector space (here, the domain space) has a unique representation as a linear combination of basis vectors, so we can conclude that $a_{1}=b_{1}$, ..., $a_{n}=b_{n}$. Thus,
    $f({\vec {a}})={\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}={\begin{pmatrix}b_{1}\\\vdots \\b_{n}\end{pmatrix}}=f({\vec {b}})$
and so the function is well-defined.

### Problem 12

Is the proof of Theorem 2.2 valid when $n=0$?

### Answer

Yes, because a zero-dimensional space is a trivial space.

### Problem 13

For each, decide if it is a set of isomorphism class representatives.
* $\{\mathbb {C} ^{k}\,{\big |}\,k\in \mathbb {N} \}$
* $\{{\mathcal {P}}_{k}\,{\big |}\,k\in \{-1,0,1,\ldots \}\}$
* $\{{\mathcal {M}}_{m\!\times \!n}\,{\big |}\,m,n\in \mathbb {N} \}$

### Answer

* No, this collection has no spaces of odd dimension.
* Yes, because ${\mathcal {P}}_{k}\cong \mathbb {R} ^{k+1}$.
* No, for instance, ${\mathcal {M}}_{2\!\times \!3}\cong {\mathcal {M}}_{3\!\times \!2}$.

### Problem 14

Let $f$ be a correspondence between vector spaces $V$ and $W$ (that is, a map that is one-to-one and onto). Show that the spaces $V$ and $W$ are isomorphic via $f$ if and only if there are bases $B\subset V$ and $D\subset W$ such that corresponding vectors have the same coordinates: ${\rm {Rep}}_{B}({\vec {v}})={\rm {Rep}}_{D}(f({\vec {v}}))$.

### Answer

One direction is easy: if the two are isomorphic via $f$ then for any basis $B\subseteq V$, the set $D=f(B)$ is also a basis (this is shown in Lemma 2.3). The check that corresponding vectors have the same coordinates: $f(c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n})=c_{1}f({\vec {\beta }}_{1})+\dots +c_{n}f({\vec {\beta }}_{n})=c_{1}{\vec {\delta }}_{1}+\dots +c_{n}{\vec {\delta }}_{n}$ is routine.
For the other half, assume that there are bases such that corresponding vectors have the same coordinates with respect to those bases. Because $f$ is a correspondence, to show that it is an isomorphism, we need only show that it preserves structure. Because ${\rm {Rep}}_{B}({\vec {v}}\,)={\rm {Rep}}_{D}(f({\vec {v}}\,))$, the map $f$ preserves structure if and only if representations preserve addition: ${\rm {Rep}}_{B}({\vec {v}}_{1}+{\vec {v}}_{2})={\rm {Rep}}_{B}({\vec {v}}_{1})+{\rm {Rep}}_{B}({\vec {v}}_{2})$ and scalar multiplication: ${\rm {Rep}}_{B}(r\cdot {\vec {v}}\,)=r\cdot {\rm {Rep}}_{B}({\vec {v}}\,)$ The addition calculation is this: $(c_{1}+d_{1}){\vec {\beta }}_{1}+\dots +(c_{n}+d_{n}){\vec {\beta }}_{n}=c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n}+d_{1}{\vec {\beta }}_{1}+\dots +d_{n}{\vec {\beta }}_{n}$, and the scalar multiplication calculation is similar.

### Problem 15

Consider the isomorphism ${\text{Rep}}_{B}:{\mathcal {P}}_{3}\to \mathbb {R} ^{4}$.
* Vectors in a real space are orthogonal if and only if their dot product is zero. Give a definition of orthogonality for polynomials.
* The derivative of a member of ${\mathcal {P}}_{3}$ is in ${\mathcal {P}}_{3}$. Give a definition of the derivative of a vector in $\mathbb {R} ^{4}$.

### Answer

* Pulling the definition back from $\mathbb {R} ^{4}$ to ${\mathcal {P}}_{3}$ gives that $a_{0}+a_{1}x+a_{2}x^{2}+a_{3}x^{3}$ is orthogonal to $b_{0}+b_{1}x+b_{2}x^{2}+b_{3}x^{3}$ if and only if $a_{0}b_{0}+a_{1}b_{1}+a_{2}b_{2}+a_{3}b_{3}=0$.
* A natural definition is this.
    $D({\begin{pmatrix}a_{0}\\a_{1}\\a_{2}\\a_{3}\end{pmatrix}})={\begin{pmatrix}a_{1}\\2a_{2}\\3a_{3}\\0\end{pmatrix}}$
    This exercise is recommended for all readers.

### Problem 16

Does every correspondence between bases, when extended to the spaces, give an isomorphism?

### Answer

Yes.
Assume that $V$ is a vector space with basis $B=\langle {\vec {\beta }}_{1},\ldots ,{\vec {\beta }}_{n}\rangle$ and that $W$ is another vector space such that the map $f:B\to W$ is a correspondence. Consider the extension ${\hat {f}}:V\to W$ of $f$.
    ${\hat {f}}(c_{1}{\vec {\beta }}_{1}+\cdots +c_{n}{\vec {\beta }}_{n})=c_{1}f({\vec {\beta }}_{1})+\cdots +c_{n}f({\vec {\beta }}_{n}).$
The map ${\hat {f}}$ is an isomorphism.
First, ${\hat {f}}$ is well-defined because every member of $V$ has one and only one representation as a linear combination of elements of $B$.
Second, ${\hat {f}}$ is one-to-one because every member of $W$ has only one representation as a linear combination of elements of $\langle f({\vec {\beta }}_{1}),\dots ,f({\vec {\beta }}_{n})\rangle$. That map ${\hat {f}}$ is onto because every member of $W$ has at least one representation as a linear combination of members of $\langle f({\vec {\beta }}_{1}),\dots ,f({\vec {\beta }}_{n})\rangle$.
Finally, preservation of structure is routine to check. For instance, here is the preservation of addition calculation.
    ${\begin{array}{rl}{\hat {f}}(\,(c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n})+(d_{1}{\vec {\beta }}_{1}+\dots +d_{n}{\vec {\beta }}_{n})\,)&={\hat {f}}(\,(c_{1}+d_{1}){\vec {\beta }}_{1}+\dots +(c_{n}+d_{n}){\vec {\beta }}_{n}\,)\\&=(c_{1}+d_{1})f({\vec {\beta }}_{1})+\dots +(c_{n}+d_{n})f({\vec {\beta }}_{n})\\&=c_{1}f({\vec {\beta }}_{1})+\dots +c_{n}f({\vec {\beta }}_{n})+d_{1}f({\vec {\beta }}_{1})+\dots +d_{n}f({\vec {\beta }}_{n})\\&={\hat {f}}(c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n})++{\hat {f}}(d_{1}{\vec {\beta }}_{1}+\dots +d_{n}{\vec {\beta }}_{n}).\end{array}}$
Preservation of scalar multiplication is similar.

### Problem 17

(Requires the subsection on Combining Subspaces, which is optional.) Suppose that $V=V_{1}\oplus V_{2}$ and that $V$ is isomorphic to the space $U$ under the map $f$. Show that $U=f(V_{1})\oplus f(U_{2})$.

### Answer

Because $V_{1}\cap V_{2}=\{{\vec {0}}_{V}\}$ and $f$ is one-to-one we have that $f(V_{1})\cap f(V_{2})=\{{\vec {0}}_{U}\}$. To finish, count the dimensions: $\dim(U)=\dim(V)=\dim(V_{1})+\dim(V_{2})=\dim(f(V_{1}))+\dim(f(V_{2}))$, as required.

### Problem 18

    Show that this is not a well-defined function from the rational numbers to the integers: with each fraction, associate the value of its numerator.

### Answer

Rational numbers have many representations, e.g., $1/2=3/6$, and the numerators can vary among representations.

## Footnotes

* ↑ More information on equivalence relations is in the appendix.
* ↑ More information on well-definedness is in the appendix.
* ↑ More information on equivalence class representatives is in the appendix.