Set of all linear maps between spaces - [ilmath]L(U,V)[/ilmath]

From Maths
Jump to: navigation, search
Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Time to start committing to these

Definition

Let [ilmath]\mathbb{K} [/ilmath] be a field and let [ilmath](U,\mathbb{K})[/ilmath] and [ilmath](V,\mathbb{K})[/ilmath] be vector spaces over [ilmath]\mathbb{K} [/ilmath]. We define:

That is to say [ilmath]L(U,V)[/ilmath] denotes the set of all linear maps from [ilmath]U[/ilmath] to [ilmath]V[/ilmath].

  • Claim 1: [ilmath]L(U,V)[/ilmath] is a vector space over [ilmath]\mathbb{K} [/ilmath] in its own right

Proof of claims

Claim 1: [ilmath]L(U,V)[/ilmath] is a vector space over [ilmath]\mathbb{K} [/ilmath]

  1. Addition operation:
    • Let [ilmath]f,g\in L(U,V)[/ilmath] then we define:
      • [ilmath](f+g):U\rightarrow V[/ilmath] by [ilmath](f+g):u\mapsto f(u)+g(u)[/ilmath]
    • Explicitly, the operation [ilmath]+:L(U,V)\times L(U,V)\rightarrow L(U,V)[/ilmath] is [ilmath]+:(f,g)\mapsto(f+g)[/ilmath] as defined above.
  2. Scalar multiplication operation:
    • Let [ilmath]\alpha\in\mathbb{K} [/ilmath] and let [ilmath]f\in L(U,V)[/ilmath] then define:
      • [ilmath](\alpha f):U\rightarrow V[/ilmath] by [ilmath](\alpha f):u\mapsto \alpha f(u)[/ilmath]
    • Explicitly, the operation [ilmath]*:\mathbb{K}\times L(U,V)\rightarrow L(U,V)[/ilmath] is [ilmath]*:(\alpha,f)\mapsto (\alpha f)[/ilmath] as defined above.
Grade: C
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
It remains to be shown that with these operations that [ilmath]L(U,V)[/ilmath] is actually a vector space, however the remainder of the proof is easy and routine

This proof has been marked as an page requiring an easy proof

See also

Notes

  1. You may have seen this before as [ilmath]V^U[/ilmath] - the set of all maps from [ilmath]U[/ilmath] into [ilmath]V[/ilmath]

References

Grade: A*
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
Find some backup

Warning:That requiring references grade doesn't exist!