Espacio Vectorial

ESPACIO VECTORIAL

Definición:

Sea (K, +, •) un cuerpo . Diremos que un conjunto dotado de una operación interna + y otra externa • sobre el cuerpo tiene estructura de espacio vectorial si cumple las siguientes propiedades:

1. (E, +)es un grupo abeliano

2. • es una operación que va del producto cartesiano K x E en el conjunto :

verificando las siguientes propiedades:

2.1. Distributiva respecto de la suma de vectores:

2.2. Distributiva respecto de la suma de escalares:

2.3. Asociativa mixta:

2.4. Producto por el elemento unidad del cuerpo:

Siguiendo esta definición de lo que es un espacio vectorial, a partir de las propiedades que todos sabemos de la suma y producto de números reales (sabemos que (R, +, •) es un cuerpo, lo que implica, en particular, que (R, +) y (R*, •) son grupos), se demuestra muy fácilmente que, por ejemplo, el espacio de los vectores del plano con las operaciones de suma de vectores y producto de un escalar con un tenemos:

y

Entonces se tiene que

es un espacio vectorial sobre .

Sin embargo, si ahora consideramos (R3, +, •) estando definidas estas operaciones como sigue:

se tiene que (R3, +, •) no es un espacio vectorial sobre , pues falla la propiedad de producto por el elemento de unidad del cuerpo, ya que

ejemplos de espacios vectoriales

1) , la recta numérica, con las operaciones habituales de adición y multiplicación.

2) Sea N el conjunto de los números naturales.

Entonces n={v=(x1, x2, . . . , xn)|xi ,i[1,n]*N}, con la adición y multiplicación por escalares definidas por:

(x1, x2,…, xn )+(y1,y2,…,yn ) = (x1+y1, x2+y2,…, xn+yn )

*( x1, x2,…, xn ) = (* x1 , * x2 ,…, * xn )

3) El conjunto de las funciones reales continuas definidas sobre un intervalo [a,b] ,que denotamos por . Es decir, ={f|f es continua en [a,b]}. Las operaciones son:

(f+g)(x)=f(x)+g(x)

(f)(x)=f(x)

f,g ,x[a,b], .

Este es uno de los espacios de funciones más importante en Análisis Matemático.

4) mxn, el espacio de las matrices reales de orden mxn, con m, n  N.

mxn = { A : A es una matriz real de orden mxn}. Las operaciones son:

A+B=C,aij+bij=cij ,

B=A,bij=aij,

A,B,C mxn,(i,j)1,m]x[1,n], .

5) El espacio de las sucesiones reales

l2 = {v = (x1, x2, .. , xn, ...): < *}, con las operaciones:

i) (x1, x2,...,xn,...)+(y1, y2,...,yn,...) = (x1 + y1 , x2 +y2,...,x + yn,...)

ii)  (x1 , x2 , ..., xn, ...) = (  x1 ,  x2 , ... ,  xn, ...)

(x1,x2,...,xn,..),(y1,y2,...,ym,..)l2, 

La verificación que todas las propiedades para la adición y multiplicación por escalares se cumplen es bastante simple en todos los casos, excepto quizás en el ejemplo 5. Veremos este caso como ejercicio. En realidad, la única dificultad consiste en demostrar que la suma de dos sucesiones en l2 es también una sucesión en l2. En efecto, si (x1,x2, .., xn, ...) e (y1 , y2 , ... ,yn) están en l2 , entonces

|xn|2 < *, |yn|2 < *

Para la sucesión suma :

|xn + yn|2 *

= |xn|2 + 2 |xn| |yn| + |yn|2

Pero: (|xn|-|yn|)2>0, luego:

| xn |2-2|xn||yn|+|yn|2 >0

*|xn|2+|yn|2 >2|xn||yn|

así: |xn + yn|2 * |xn|2 + ( |xn|2 + |yn|2 ) + |yn|2

= 2 |xn|2 + 2 |yn|2 < *

6) El espacio de las sucesiones reales convergentes c={v=(x1,x2,...): }, con las operaciones:

i) (x1, x2,.....)+(y1, y2,.....) = (x1 + y1 , x2 +y2,.....)

ii)  (x1 , x2 , ..., xn, ...) = (  x1 ,  x2 , .....)

(x1,x2,.....), (y1,y2,.....)c, 

7) El espacio de las sucesiones reales convergentes a cero c0={v=(x1,x2, ...): }, con las operaciones del ejemplo 6.

8) El conjunto de todas las sucesiones numéricas acotadas m={v=(x1,x2, ...): xi< x,  i=1,, para algún x }, con las operaciones del ejemplo 6.

9) El conjunto ={v=(x1,x2, ...)}, de todas las sucesiones, con las operaciones del ejemplo 6.

Subespacio

Dado un espacio vectorial , diremos que un subconjunto es un subespacio vectorial si ese conjunto tiene estructura de espacio vectorial.

Existe una caracterización que nos facilita comprobar si un subconjunto de un espacio vectorial es o no subespacio vectorial: Dado espacio vectorial y dado , diremos que es un subespacio vectorial de , si y solamente si, se cumple:

escalares, para todo par de vectores

y se verifica:

ejemplos de subespacios vectoriales

1) Sea

...