ESPACIOS VECTORIALES Y EJEMPLOS.

Un tipo de estructura ms compleja que las definidas en la leccin anterior la constituyen los llamados espacios vectoriales. Los espacios vectoriales son los objetos que estudia el lgebra Lineal.

Un espacio vectoriales una tripla

conformada por:

(1) Un grupo abeliano

, los elementos del cual denominamos vectores.

(2) Un cuerpo (3) Una operacin externa

, los elementos del cual denominamos escalares.

entre escalares y vectores que cumple las siguientes condiciones:

para cualesquiera escalares

y cualesquiera vectores

Es costumbre denotar el espacio vectorial espacio vectorial.

simplemente por

; tambin se dice que

es un

Ejemplo 9. El plano cartesiano de puntos de la forma respecto de las siguientes operaciones:

con

, es un espacio vectorial real

Ejemplo 10.Sea forma

un nmero natural

. El espacio

de n-plas ordenadas de nmeros reales en la

es un espacio vectorial real respecto de las siguientes operaciones:

Este ejemplo se generaliza al caso de un cuerpo cualquiera

, obtenindose el

-espacio cannico

Ejemplo 11. El conjunto de polinomios reales en la indeterminada adicin y multiplicacin de real por polinomio, es un espacio vectorial real.

con las operaciones habituales de

Si cambiamos coeficientes en

por un cuerpo cualquiera .

obtenemos el

-espacio vectorial

de polinomios con

Ejemplo 12. El conjunto de matrices reales con las operaciones usuales de adicin y multiplicacin de matriz por escalar, conforma un espacio vectorial sobre los reales.

Ejemplo 13. Sea un conjunto no vaco. El conjunto vectorial real bajo las siguientes operaciones:

de todas las funciones de

en

es un espacio

Si

entonces se obtiene el espacio de todas las funciones de variable real a valor real. Si o ,y es el conjunto de funciones continuas de

es un en ,

intervalo abierto, por ejemplo

entonces es un espacio vectorial real. Si el espacio de las sucesiones reales. Solucin:

es el conjunto de nmeros naturales, entonces resulta

La idea es revisar todas las propiedades (axiomas) que definen un espacio vectorial. En primer lugar, ntese que en el ejemplo en cuestin, el cuerpo de escalares son los nmeros reales, es decir, no necesitamos demostrar que sea efectivamente un cuerpo. Esto lo damos por conocido. Mas bien, debemos establecer que el conjunto de vectores es un un grupo abeliano y que la accin de los escalares reales por estos vectores satisfacen las propiedades de la definicin de la Leccin 2.

La primera observacin que debemos hacer es que la suma de dos elementos de de : esto es claro a partir de la definicin de suma: es interna. actuando en

es nuevamente una funcin es ,

en otras palabras, la operacin de suma en

En segundo lugar, esta operacin es asociativa en el sentido que donde

: en efecto, esto se debe a que la suma de reales es una operacin asociativa:

, en esta ltima igualdad hemos aplicado la propiedad asociativa de la suma de nmeros reales. Se concluye entonces que , es decir, .

La suma definida tiene elemento neutro, es decir, vector nulo: en efecto, la funcin por para cada es tal que para cada .

definida

Cada elemento se denota por que

tiene su inverso respecto de esta suma, es decir, su funcin opuesta: esta funcin opuesta y es definida por . , para cada . Ntese

La suma definida es claramente conmutativa.

Hemos pues probado que

es ciertamente un grupo abeliano.

Ahora debemos verificar el cumplimiento de las propiedades relativas al producto de escalar por vector: la operacin est bien definida, es decir, es una operacin externa y cumple las siguientes propiedades:

, es decir, , donde es un escalar real.

, es decir, .

, es decir,

Finalmente,

, es decir,

Esto completa la demostracin de todas las propiedades requeridas para tener una estructura de espacio vectorial real.

SUBESPACIOS.

Dado un espacio vectorial preguntarse si

sobre un cuerpo

y un subconjunto no vaco

de

, resulta interesante

bajo la misma adicin de vectores y la misma accin de escalares sobre vectores, conforma un . En caso afirmativo, se dice que es un subespacio del espacio . Esta relacin se

espacio vectorial sobre

denota por . Segn esta definicin, si se desea establecer que se debera verificar el cumplimiento de los cuatro axiomas para la adicin de vectores y los cuatro axiomas para la accin de escalares sobre vectores. Sin embargo, slo es necesario verificar el cumplimiento de dos condiciones, como lo muestra la siguiente proposicin.

Proposicin 2. Sea Entones,

un espacio vectorial sobre el cuerpo

y sea

un subconjunto no

de

si y slo si se cumplen las siguientes condiciones:

(1) Si

, entonces

(2) Si

, entones

Ejemplo 14. En el plano cartesiano

el subconjunto

, donde .

es una

constante, representa una recta que pasa por el origen y conforma un subespacio de

Un estudio geomtrico de rectas y planos en el espacio Variables.

puede consultarse en un curso de Clculo en Varias

Ejemplo 15. En el espacio conforma un subespacio.

de polinomios reales, el subconjunto

de polinomios de grado

Ejemplo 16. En el espacio en

de funciones de

en

, la coleccin

de funciones continuas de conformado por constituido por

conforma un subespacio. En en en

se tienen dos subespacios notables: cuyas primeras derivadas son continuas, y

todas las funciones de las funciones de tienen los subespacios

para las cuales las derivadas de cualquier orden son continuas. Similarmente, se y de . Tambin, en el espacio de sucesiones reales la

coleccin de sucesiones convergentes es un subespacio. Una sucesin un entero positivo tal que para cada es un subespacio del espacio de sucesiones convergentes.

se dice que es polinmica si existe

. Es claro que el conjunto de sucesiones polinmicas

Ejemplo 17. En cada espacio

se tienen dos subespacios triviales :

Ejemplo 18. La interseccin de dos subespacios es un subespacio. En realidad, la interseccin de cualquier familia no vaca de subespacios de un espacio vectorial es un subespacio.

Sea

un espacio vectorial y

un subconjunto no vaco de

; ntese que el subespacio ms que contienen a . . Este subespacio se

de

que contiene a denota por

es la interseccin de todos los subespacios de y se conoce como el subespacio generado por

A continuacin se ver que Sean vector cuerpo

puede describirse en trminos de combinaciones lineales de elementos de , una combinacin lineal de estos elementos es un , donde son escalares del

elementos del espacio de la forma

. Se puede entonces afirmar lo siguiente.

Proposicin 3. Sea Entonces,

un espacio vectorial sobre el cuerpo

y sea

un subconjunto no

de

coincide con el conjunto de todas las posibles combinaciones lineales realizadas con elementos

de . Ms exactamente,

Esta presentacin permite identificar a finito, entonces

como la envolvente lineal de

. Si

es

BASES.

En cada espacio vectorial existen ciertos subconjuntos conocidos como bases ; la importancia de estos subconjuntos radica en que cada elemento del espacio puede ser representado de manera a travs de sus elementos. El propsito de la presente leccin es explicar en detalle la nocin de base, la cual es fundamental en lgebra lineal.

Sea

un espacio vectorial sobre un cuerpo

un subconjunto no vaco de coincide con

, se dice que

es . El

un sistema de generadores para espacio

si la envolvente lineal de

, es decir, de generadores.

se dice finitamente generado si existe en

un subconjunto finito

Por otra parte, sea

un subconjunto finito de

, se dice que

es un conjunto de es a travs

vectores linealmente independientes (L I) si la nica combinacin lineal nula con los elementos de de escalares nulos. Ms exactamente, los vectores de escalares se cumple que

son linealmente independientes si para cualesquiera

Por definicin, se asume que el conjunto vaco es L I. Un subconjunto cualquiera subconjunto finito de es L I. es linealmente dependiente (L D) si no es L I.

de

es L I si cada

La siguiente proposicin reune algunas propiedades bsicas sobre dependencia e independencia lineal.

Proposicin 4. Sea

un

-espacio y

. Entonces

(a)

es L D si y solo si existe

tal que

, donde

(b) Si

entonces

es L D.

(c) Si

es L I entonces cada subconjunto de

es L I.

(d) Si D.

es finito y LI con

elementos, entonces cada conjunto de

elementos de

es L

Demostracin

Ejercicio 1. Demuestre que en el espacio Solucin

el conjunto

es L I.

Ejercicio 2. Demuestre que dos vectores de origen.

son L D si y slo si pertenecen a la misma recta que pasa por el

Ya se puede presentar la nocin de base.

es una base para

si se cumplen dos condiciones:

(a)

(b)

es L I.

Ejemplo 19. En

los vectores

constituyen la llamada base cannica (1 se encuentra en la i-sima entrada de la n-pla). Cambiando cualquier cuerpo se obtiene la base cannica de .

por

Ejemplo 20. En el espacio En el subespacio

el conjunto de polinomios la base cannica es

constituye su base cannica. .

de polinomios de grado

Ejemplo 21. En el espacio

de matrices reales

se tiene la siguiente base cannica:

Ejemplo 22. En el espacio

de sucesiones reales la coleccin de sucesiones

conforman la base cannica para el subespacio de sucesiones polinmicas .

Ejemplo 23. El conjunto

es, por definicin, la nica base del espacio nulo

Una de las principales caracterizaciones del concepto de base se establece en la siguiente proposicin.

Proposicin 5. Sea cada elemento elementos de

un

-espacio y

un subconjunto no vaco de

es una base de

si y slo si

tiene una representacin nica (salvo sumandos nulos) como combinacin lineal de en la forma:

DIMENSIN

Teorema 1. Todo espacio vectorial posee al menos una base. Demostracin. La prueba de este teorema se apoya en uno de los supuestos de la teora clsica de conjuntos: el lema de Zorn. Para los lectores no familiarizados con este axionam se explicarn brevemente algunos de los trminos de su enunciado. Un conjunto no vaco de orden de . Un subconjunto no de es parcialmente ordenado si en est definida una relacin

es totalmente ordenado si cualesquiera dos elementos , . Un

son comparables, es decir, se tiene al menos una de las siguientes posibilidades: es una cota superior para el subconjunto . Finalmente, se dice que el elemento y . de si para cada

elemento elemento que

es maximal si no existe

en

tal

Lema de Zorn. Sea ordenado de

un conjunto parcialmente ordenado tal que cada subconjunto totalmente . Entonces, posee al menos un elemento maximal.

tiene cota superior en

Ya se puede iniciar la prueba del teorema. Sea de que son L I. . Sea ya que un subconjunto de

un

-espacio vectorial y sea

la coleccin de subconjuntos

. La relacin

de inclusin entre conjuntos define un orden

parcial en

totalmente ordenado. Sea

Claramente, Sea

es una cota superior para

; ntese que ; existen

, es decir,

es L I. tales que para es L I entonces es L

un subconjunto finito de . Como

es totalmente ordenado se puede suponer que , es decir, ; como

cada

; por tanto, es L I.

I. Esto completa la prueba de que

Por el lema de Zorn, que ; supngase que de nulos ,

tiene elemento maximal : obviamente . Si entonces

, el cual, por construccin, es L I ; ntese ; sea , si ; sea , entonces . Por la maximalidad y escalares no todos . Debido a la se debe tener que y se ha probado que , de donde, despejando . , se

es L D, entonces existen elementos tales que

independencia lineal de los elementos tiene que . En total,

Con respecto a la unicidad de las bases se puede decir que, en general, un espacio vectorial tiene infinitas bases. En efecto, si el espacio es un elemento de es no nulo (si es nulo su nica base es por en ) y si es una base cualquiera de y

, entonces cambiando

, con cada

, se obtienen bases

distintas en . Cuando nica es el espacio nulo.

es infinito esta coleccin de bases es infinita. En realidad, el nico espacio con base

Mucho ms interesante que la pregunta sobre la unicidad de las bases es el problema sobre el tamao de stas. Las siguientes proposiciones constituyen la prueba del Teorema 2 que se enunciar ms adelante.

Proposicin 6. Si un espacio vectorial

posee una base finita, entonces todas sus bases son finitas.

La proposicin anterior permite clasificar los espacios vectoriales en dos categoras: los de bases finitas y los de bases infinitas.

Proposicin 7. Sea . Entonces .

un espacio vectorial con bases finitas

Sea

un espacio vectorial con bases finitas .

Entonces

Demostracin. Supngase que que es una base. Por tanto,

;segn la Proposicin 4 , . Simtricamente, .

son L D, lo cual es falso ya

Proposicin 8. Sea

un espacio vectorial con bases infinitas

. Entonces

Demostracin. La idea es probar que que .

y utilizar la simetra del problema para concluir

Cada elemento dado existe

es representable mediante una combinacin lineal finita de elementos de tal que se encuentra en la representacin de . En efecto, sea

. Adems,

la representacin de

en trminos de elementos de

. Cada elemento

, es representable

como combinacin lineal de elementos de elemento de , entonces

; si se supone que

no aparece en la representacin de ningn . Sea el

no aparece en la representacin de ninguno de los elementos

conjunto (finito !) de elementos de Obviamente el hecho de que es finito y es una base.

que intervienen en la representacin de . De (1) se obtiene que

y sea

es L D, pero esto contradice

As pues, dado existe al menos un de eleccin se define la funcin

tal que

est en la representacin de

. Usando el axioma

donde entonces de

es un elemento de

tal que

est en la representacin de

. Sea

es un conjunto (finito !) y consta de elementos de

que intervienen en la representacin de partes finitas de :

. Se establece, de esta manera, una funcin entre

y el conjunto

es inyectiva ya que

es una funcin ; por tanto

Enseguida se probar que entonces

es una particin de debido a que

. Si

son dos elementos de es una funcin. Claramente

Sea decir,

, entonces .

con lo cual

, es

Puesto que

es infinito , con lo cual

tambin es infinito. As, se tiene que

es una particin infinita de . Esto

partes finitas de

completa la prueba de la proposicin.

Teorema 2. Para cada espacio vectorial

se cumple que todas las bases tienen la misma cardinalidad.

El teorema anterior permite definir la nocin de dimensin en un espacio vectorial de sus bases ; se denotar este invariante de sobre qu cuerpo se est trabajando. Si un subconjunto de es decir, por

como el tamao de cualquiera , si es claro es ,

, o simplemente por

es de bases infinitas se dir que , .

es de dimensin infinita. Si

, se define el rango de

, como la dimensin de la envolvente lineal de

Ejemplo 24.

)=n

es de dimensin infinita

Ejercicio 3. Demuestre que si un espacio vectorial dimensin infinita.

posee un subconjunto infinito L I, entonces

es de

A continuacin se presentarn algunas propiedades interesantes de los espacios de dimensin finita.

Proposicin 9. Sea

un

-espacio vectorial de dimensin

. Entonces,

(a) Cada conjunto de

elementos L I de

conforman una base.

(b) Cada conjunto de

generadores de

conforman una base de

(c) Sea vectores

y sean en

vectores L I de tales que

. Entonces es posible encontrar es una base de .

(d) Sea particular,

un subespacio de

. Entonces, cada base de .

puede extenderse hasta una base de

. En

(e) Sean

elementos cualesquiera de

su envolvente lineal .

Entonces, de vectores dados.

coincide con el

nmero de vectores L I encontrados en la coleccin

EJERCICIOS.

Esta seccin contiene una lista de ejercicios de aplicacin a los temas tratados en el presente captulo. Se sugiere a los estudiantes resolver estos problemas, los cuales ayudarn a reforzar el aprendizaje. Sea esta la oprtunidad para ratificar la disponibilidad de los profesores para resolver cualquier duda sobre la temtica del presente curso. Sus preguntas y comentarios pueden ser enviados via e-mail o tambin usando la pgina de visitantes en donde podrn usar un formato especialmente diseado para tal efecto.

Problema 1. En el conjunto

de nmeros reales positivos se definen las siguientes operaciones:

(el producto corresponde a la multiplicacin corriente de nmeros reales positivos)

es un nmero real arbitrario y

Investigar si

es un espacio vectorial sobre el cuerpo de nmeros reales.

Problema 1. En el conjunto

de nmeros reales positivos se definen las siguientes operaciones:

(el producto corresponde a la multiplicacin corriente de nmeros reales positivos)

es un nmero real arbitrario y

Investigar si

es un espacio vectorial sobre el cuerpo de nmeros reales.

Solucin. Si es un espacio vectorial pues se satisfacen todas las propiedades necesarias para ello. Veamos en detalle cada una de ellas. Sean y , se tiene:

i)

ii)

iii)

iv)

v)

vi)

vii)

viii)

ix)

x)