ESPACIO VECTORIAL DE FUNCIONES

El smbolo K x denota el conjunto de todas las funciones con dominio un conjunto

X o .

Y condominio un cuerpo K sea:

K x f / f : X K

En K x definimos la suma de funciones y el producto de escalares por funciones

mediante:

1. Si f y g son dos elementos cualesquiera de K x , entonces f g : X K es tal

que:

f g ( x) f ( x ) g ( x ) x X

2. Si es cualquier elemento de K y f es cualquier elemento de K x , entonces

f : X K es tal que:

f ( x) f ( x) x X

Tanto la suma de funciones con dominio X o y codominio K , como el producto

escalar de funciones, se llaman leyes de composicin punto a punto.

Resulta ( , +, , . ) un espacio vectorial. Para ello, veamos que se verifican los

axiomas.

A1. f K x g K x f g K x Por definicin i).

A2. Sean f , g y h en K x , cualquiera que sea x X se verifica, teniendo en cuenta la

definicin i) y la asociatividad de la suma en K :

( f g ) h ( x) ( f g )( x) h( x) f ( x) g ( x) h( x)
f ( x) g ( x) h( x) f ( x) ( g h)( x) f ( g h) ( x)

Y por definicin de funciones iguales resulta:

f g h f g h
A3. El valor nulo en la funcin nula:

e : X X Definida por e( x ) 0 cualquiera que sea x X

Sea f K x , teniendo en cuenta i), la definicin de e y la suma en K , es:

f e ( x) f ( x) e( x) f ( x) 0 f ( x)
Luego

f e f

Anlogamente se verifica que:

e f f

A4. Inverso aditivo de f K x es la funcin f : X K definida por f ( x) f ( x)

En efecto, para todo x X se verifica.

f f ( x) ( f )( x) f ( x) f ( x) f ( x) 0 e( x)
sea:

( f ) f e

Anlogamente se prueba que:

f ( f ) e

A5. La suma en K x es conmutativa ya que:

f g ( x) f ( x) g ( x) g ( x) f ( x) g f ( x)
Luego:

f g g f Cualesquiera que sean f y g en K x

A6. K f K x f K x Por definicin ii)

A7. Sean K , K y f K x

Entonces:

( f ) ( x) ( f )( x) f ( x) ( ) f ( x) ( ) f ( x)
Luego:

( f ) ( ) f

A8. Considerando que:

K , K y f K x es

( ) f ( x) ( ) f ( x) f ( x) f ( x) ( f )( x) ( f )( x) ( f f )( x)
Lo que se justifica teniendo en cuenta ii), la distribucin y la asociatividad del producto
en K , ii) e i).
Entonces es:

( ) f f f

A9. Sean K , f K y g K x

Por ii) y i), distributiva del producto respecto de la suma en K y por las definiciones ii)
y i) se tiene:

( f g ) ( x) ( f g )( x) f ( x) g ( x)
f ( x) g ( x) ( f )( x) ( f )( x) f g ( x)

sea:

f g f g

A10. Cualquiera que sea f en K x se verifica:

(1 f )( x) 1 f ( x) f ( x)

Luego:

1f f

La cuaterna ( , +, , . ) es el espacio vectorial de las funciones definidas en el

conjunto no vaco X y con los valores en K , con las leyes de composicin punto a
punto, los vectores de este espacio son funciones.

La figura siguiente explica la situacin en el caso particular en que = y X 0,1