84 3. MATRICES:
OPERATOR
REPRESENTATIONS
Thisis
written
as
(
m)
(al1
~2
a21
· .
·
.
· .
~M
aMI
a12
a22
aM2
(3.5)
The
operator
T
A
associated
with
a
matrix
A
in which the matrix multiplication rule is understood. This matrix equation is the
representation
of
the operatorequation Iy) = A [x) in the bases
Bv
and
Bw.
The construction above indicates
that-once
the bases are fixed in the two
vector
spaces-to
every operator there corresponds a unique matrix. This unique-
ness is the result
of
the uniqueness
of
the components
of
vectors in a basis. On
the other hand, given an
M x N matrix A with elements
aij,
one
can
construct a
unique linear
2Perator
TA definedby its action on the basis vectors (see
Box
1.3.3):
TA lai)
==
Ljd
aji
Ib
j
).
Thus, there is a one-to-onecorrespondence between op-
erators and matrices. This correspondence is in fact a linearisomorphism:
3.1.2.
Proposition.
The two vector spaces £.,(V
N,
W
M)
and
JV(M xN are isomor-
phic. An explicit isomorphism is established only when a basis is chosen for each
vectorspace,inwhichcase,anoperator isidentifiedwithitsmatrixrepresentation.
Given the linear transformations A : V
N
-+
WM and B : WM
-+
UK,
we can form the composite linear transformation
BoA
: VN
-+
UK. We
can
also choose bases
Bv
=
{Iai)}~"
Bw =
{Ibi)}~"
Bu
= {Ici)};;', for V, W,
and U, respectively. Then A, B, and
BoA
will be represented by an M x N, a
K x M, and a K x N matrix, respectively, the latter being the matrix product
of
the other two matrices. Matrices are determined entirely by their elements. For
this
reason
a
matrix
A whoseelements are
(.lll,
0!12,
...
is
sometimes
denoted
by
(aij). Sintilarly, the elements
of
this matrix are denoted by (A)ij. So, on the one
hand, we have
(aij)
=A, and on the other hand (A)ij =
ai],
In the context
of
this
notation,
therefore,
we can
write
(A+B)ij =(A)ij +(B)ij
=}
(aij
+fJij) =
(aij)
+(fJij),
(yA)ij
=
y(A)ij
=}
y(aij)
=
(yaij),
(O)ij = 0,
(1)ij = 8ij.
A matrix as a representation
of
a linear operator is well-defined only in refer-
ence to a specific basis. A collection
of
rows and columns
of
numbersby themselves
have no operational meaning. When we manipulate matrices and attach meaning
to them, we make an unannounced assumption regarding the basis: We have the
standard basis
of
en
(or
JRn)
in mind. The following example should clarify this
subtlety.