Space of linear functions from V to V'

Date created: 2023-12-28 17:30

Tags: #Type/Object #Topic/Linear_Algebra

Types: Not applicable

Examples: Not applicable
Construction: Not applicable
Generalization: Function spaces
Properties: Not applicable
Sufficiencies: Not applicable
Equivalences: Not applicable
Justifications: Fields, Vector spaces, Linear maps, Algebraic structures

Using the fact that a field forms a vector space over itself we can define the following function space:

Definition: Space of linear functions L (V , V ′

)

Given two Vector spaces V and V over a field F, we define L (V , V

′ ′
) to be the algebraic structure defined by the set of all
Linear maps from V to V and the operation of direct sum and scalar product of functions given by:
′

+ f : (L + T )(x) := L(x) + T (x)

∗ f : (cL)(x) := cL(x)

Since L (V , V ′
) is a function space we automatically know it forms a vector space (L (V , V ′
), + f , , ∗ f ) (alternatively one could prove
it by defining the zero function and proving it is linear and then proceed to go through all the vector space axioms).

We also have that + and ∗ are a linear maps since: $$

f f

\begin{align}
(T+L)(cu+bv)&=T(cu+bv)+L(cu+bv) \
&=cT(u)+bT(v)+cL(u)+bL(v) \
&=c(T+L)(u)+b(T+L)(v)
\end{align}

And :

\begin{align}
((ab+cd)T(v))&=(ab+cd)T(v) \
&=abT(v)+cdT(v) \
&=a(bT(v))+c(dT(v))
\end{align}

− − − ∗ ∗ R emark ∗ ∗ : $ ∗ f $linearityisprovenonlyusingf ieldelements, asthescalarsandvectorsarethesametypeof elementwhenconsi