Such a linear transformation is uniquely determined on all of by its action on the basis vectors of . That is, if is a basis of and then for we have:
If and are finite dimensional spaces and where we have and are basis vectors for their respective spaces then for such that:
Definition
If is a linear transformation between two vector spaces and and is bijective then is called an isomorphism between and . We say and are isomorphic.
If is an isomorphism and is a basis of then is a basis of . That is both spaces have the same finite dimension or are both infinite dimensional.
Definition
Let . Then we define the following terms:
Kernel of or null space of is:
Range of is:
Recall that is an isomorphism if
Contraction Mapping Theorem
One of the most important theorems used in applied mathematics which concerns fixed points of a mapping of into
Definition
A mapping is a contraction if it is Lipschitz continuous with Lipschitz constant . That is such that:
If , then is called non-expansive.
Theorem
(Contraction Mapping Theorem) If is a complete metric space and is a contraction on then such that .
Proof
(Proof of uniqueness)
Assume that we have two different fixed points and then:
Its positive as thus i.e.
(Existence of fixed point )
Fix any point and define the iteration . As is complete, we want to show is a Cauchy sequence in . Notice that:
Then let we have:
Now as we have , and as is complete such that .
Example
Consider the ODE
If is a classical solution of ODE then
Conversely if and satisfies , then exists, so is continuous so the ODE holds.
Condition on f:
f Lipschitz w.r.t :
for some .
If then the contraction mapping provides a unique solution.