Invertible transformation
one-to-one
onto
Definition:
Identity transformation:
Proposition:
For any linear transformation,
Given
,
Similarly,
Definition:
Let
Definition:
Let
Definition:
Let
Theorem:
Let
(
) True by definition. (
)
Letbe an invertible linear transformation, then and such that and .
Given,
Therefore. Suppose
such that , then, given ,
Therefore. So the left inverse is unique. Similarly, the right inverse is unique.
Corollary:
Corollary:
Let
and
Theorem:
Let
(
)
is invertible, so that is linear.
Given, define , then
To check uniqueness, suppose
such that , then
Therefore, the solution is unique.(
)
We define a functionsuch that
This functionis well-defined since for any , such that claim 1:
pf:
Letand .
Sincehas only one solution, therefore .
Then we have
claim 2:
pf:
Let, such that , hence , and
claim 3:
is linear pf:
Given, such that and .
Sinceis linear and , we have
Therefore,.
Definition:
Proposition:
(
)
is linear so .
Supposesuch that ,
sinceis one-to-one, we must have . (
)
Letsuch that .
Sinceis linear
Soand we must have , that is, .
Proposition:
If
Given
such that .
is left invertible, so such that .
Then
Proposition:
If
Definition:
Proposition:
If
Since
is right invertible, such that .
Given, we define ,
Therefore.
Proposition:
If
Theorem:
Let
(
)
Giventhat is invertible, then . claim:
is one-to-one pf:
Suppose there existssuch that .
Sinceis linear that maps to , we have
Therefore,and is one-to-one. claim:
is onto pf:
Given, we have , that is, .
It is then clear thatand is onto. (
)
is onto, so, for each , such that .
We then define a functionby setting . claim:
is a right inverse of pf:
Given, let , then and
claim:
is a left inverse of pf:
Given, let , and assume , i.e., .
Sinceis one-to-one, we must have and therefore
claim:
is a linear transformation pf:
Givenand , since is linear and , we have
Sinceis one-to-one, we must have
Sois a linear transformation.
Let
Choose
So, the matrix representation of
It is then easy to find that
Therefore,
We can also determine the adjoint transformation of
Hence,
We can also use a different basis for
and
We again have
Let
It is easy to check that
Also,
Let
Again,
But
One can check easily that
Let
Then