06.09.2021 Views

Linear Algebra, 2020a

Linear Algebra, 2020a

Linear Algebra, 2020a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Section III. Computing <strong>Linear</strong> Maps 223<br />

III.2<br />

Any Matrix Represents a <strong>Linear</strong> Map<br />

The prior subsection shows that the action of a linear map h is described by a<br />

matrix H, with respect to appropriate bases, in this way.<br />

⎛ ⎞<br />

⎛<br />

⎞<br />

v 1<br />

h 1,1 v 1 + ···+ h 1,n v n<br />

⎜ ⎟ h<br />

⎜<br />

⎟<br />

⃗v = ⎝ . ⎠ ↦−→ h(⃗v) = ⎝<br />

H<br />

. ⎠ (∗)<br />

v n h m,1 v 1 + ···+ h m,n v n<br />

B<br />

Here we will show the converse, that each matrix represents a linear map.<br />

So we start with a matrix<br />

⎛<br />

⎞<br />

h 1,1 h 1,2 ... h 1,n<br />

h 2,1 h 2,2 ... h 2,n<br />

H =<br />

⎜<br />

⎝<br />

⎟<br />

.<br />

⎠<br />

h m,1 h m,2 ... h m,n<br />

and we will describe how it defines a map h. We require that the map be<br />

represented by the matrix so first note that in (∗) the dimension of the map’s<br />

domain is the number of columns n of the matrix and the dimension of the<br />

codomain is the number of rows m. Thus, for h’s domain fix an n-dimensional<br />

vector space V and for the codomain fix an m-dimensional space W. Alsofix<br />

bases B = 〈⃗β 1 ,...,⃗β n 〉 and D = 〈⃗δ 1 ,...,⃗δ m 〉 for those spaces.<br />

Now let h: V → W be: where ⃗v in the domain has the representation<br />

⎛<br />

Rep B (⃗v) =<br />

⎜<br />

⎝<br />

⎞<br />

v 1<br />

. ⎟<br />

. ⎠<br />

v n<br />

then its image h(⃗v) is the member of the codomain with this representation.<br />

⎛<br />

⎞<br />

h 1,1 v 1 + ···+ h 1,n v n<br />

⎜<br />

⎟<br />

Rep D ( h(⃗v))= ⎝ . ⎠<br />

h m,1 v 1 + ···+ h m,n v n<br />

That is, to compute the action of h on any ⃗v ∈ V, first express ⃗v with respect to<br />

the basis ⃗v = v 1<br />

⃗β 1 + ···+ v n<br />

⃗β n and then h(⃗v) =(h 1,1 v 1 + ···+ h 1,n v n ) · ⃗δ 1 +<br />

···+(h m,1 v 1 + ···+ h m,n v n ) · ⃗δ m .<br />

Above we have made some choices; for instance V canbeanyn-dimensional<br />

space and B could be any basis for V, soH does not define a unique function.<br />

However, note once we have fixed V, B, W, and D then h is well-defined since ⃗v<br />

has a unique representation with respect to the basis B and the calculation of ⃗w<br />

from its representation is also uniquely determined.<br />

B<br />

D<br />

D

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!