ACCESOS A:

Men del captulo I Ejercicios del tema I.1. Cuestiones del Captulo I. Problemas del Captulo I MENU PRINCIPAL

I.1. VECTORES. OPERACIONES CON VECTORES.

CONCEPTO DE VECTOR COMO SEGMENTO ORIENTADO.

Estamos familiarizados con la idea intuitiva de vector como SEGMENTO ORIENTADO, es decir un segmento con una orientacin indicada por el orden en el puede orientarse en la que aparecen los puntos A y B, de tal forma que el segmento

forma o bien como . Teniendo en cuenta esta consideracin podemos decir que estos vectores son vectores fijos que tienen un origen y un extremo, y adems tienen :

un MDULO: El mdulo de un vector fijo es la distancia de sus extremos. una DIRECCIN: viene dado por la recta sobre la cual est situado el vector, que tiene una pendiente fija. un SENTIDO: viene a indicar un sentido de la recta

Segn esta primera idea podemos encontrar numerosos vectores fijos con estos tres elementos idnticos. As por ejemplo en la siguiente figura tenemos seis vectores todos ellos con el mismo mdulo, la misma direccin y el mismo sentido.

CONCEPTO DE VECTOR COMO VECTOR LIBRE Todos estos vectores anteriores podran ser considerados como las diversas formas en que se presenta un mismo vector: vector al que llamaremos VECTOR LIBRE; ya que tiene nicamente fijos los parmetros del MODULO; la DIRECCIN y el SENTIDO pero puede situar su origen en cualquier punto del plano. Esta relacin que vincula a estos vectores se le suele llamar RELACION DE EQUIPOLENCIA, de tal forma que podemos decir que Dos vectores son EQUIPOLENTES si tienen el mismo mdulo, la misma direccin y el mismo sentido. De esta forma al conjunto de los vectores equipolentes con uno dado se le suele llamar VECTOR LIBRE. En nuestro caso tenemos 5 vectores equipolentes con el vector todos ellos representan un solo vector libre con origen en diversos puntos del plano A,A1, A2, A3, A4, A5 y A6. ,

CONCEPTO DE VECTOR COMO N-TUPLA DE COMPONENTES. Para representar un VECTOR LIBRE en un espacio dotado con un eje de coordenadas, suele ser habitual tomar como representante del vector libre al que tiene como origen el origen de coordenadas. En nuestro ejemplo el vector que representara a todos los de su clase sera el vector

Este vector que tiene como origen (0,0), determina las COMPONENTES DEL VECTOR.

Efectivamente, si proyectamos sobre el eje OX el extremo del vector (en este caso B) obtenemos la PRIMERA COMPONENTE DEL VECTOR"x"

Por otro lado si proyectamos sobre el eje OY el extremo obtendremos la SEGUNDA COMPONENTE del vector "y" As pues es claro que el vector se podra representar por sus componentes (x,y). Esta relacin entre VECTOR y sus COMPONENTES es unvoca, de tal forma que as como antes hemos obtenido las componentes de un vector dado, tambin podemos obtener el vector una vez que tenemos sus componentes. Efectivamente, si queremos representar un vector que tiene por componentes (x,y), bastar construir un

rectngulo que tiene de base "x" y altura "y" desde el origen. El vector que buscamos viene determinado por la diagonal del rectngulo que parte de (0,0)

En este caso el vector sera As pues las COMPONENTES de un vector determinan todos los elementos de un vector libre, ya que

Su MODULO se puede obtener sin ms que aplicar el Teorema de Pitgoras:

Su DIRECCION viene determinado por la recta que pasa por esos dos puntos. Y el SENTIDO por la orientacin O P del vector.

En consecuencia en adelante para referirnos a un VECTOR LIBRE bastar con identificar sus COMPONENTES. COMO DIBUJAR VECTORES FIJOS EN DERIVE?. En DERIVE podemos representar vectores de la siguiente forma: Siempre tenemos que introducir en la ventana de ALGEBRA una expresin que contiene el punto origen y el punto extremo separados por comas y entre corchetes. As si deseamos representar el vector de origen (1,1) y extremo (2,2), tendremos que introducir con AUTHOR la expresin: [ [1,1],[2,2]]

Si deseamos realizar su representacin basta con aplicar el comando Plot (para que aparezca una ventana de 2D) y tener cuidado de haber elegido en esta ventana 2D las opciones que permiten dibujar segmentos entre puntos: Aplicamos OPTIONS-STATE y seleccionamos (con la ayuda de TABULADOR para pasar de un campo a otro y de la BARRA ESPACIADORA para elegir) en el campo Mode: CONNECTED (para que una con un segmento los puntos origen y extremo)

en el campo Size: SMALL (para que no dibuje un punto muy grueso en el origen y el extremo)

Y a continuacin ya podremos dibujar el vector aplicando el comando PLOT: Recordar que con F10 se ve ms globalmente el plano y con F9 se puede obtener una visin ms parcial del plano Segn estas indicaciones efectuar lo siguiente: EJERCICIO 1.1 (a) Dibujar los vectores fijos siguientes: u1: origen: (1,2) extremo (3,2) u2: origen: (-2,1) extremo (3,4) u3: origen (2,3) extremo (4,3) u4: origen (1,2) extremo (6,5) u5: origen (-1,2) extremo (9,3) (b) Dibujar un vector libre equivalente con cada uno de los anteriores que tenga como origen (0,0). (c) Calcular las componentes de esos cuatro vectores. (d) Calcular sus mdulos (e) Tienen alguna relacin los vectores dados? EJERCICIO 1.2. (a) Dibujar los vectores que tienen por componentes: u = (2,3); v=(1,0); w=(5,3)

(b) Dibuja vectores libres equivalentes a los anteriores y que tomen como origen el punto (1,1). EJERCICIO 1.3. (a) Cmo son las componentes de un vector con mdulo 0? (b) Dibuja un vector fijo de mdulo cero que tiene por origen el punto (1,1) (c) Cuntos vectores libres de mdulo 0 existen? EJERCICIO 1.4. (a) Calcular el mdulo de los vectores de componentes u=(2,3) , v=(3,2) y w=(2,3) y dibujarlos. (b) Son iguales?Qu caractersticas tiene que tener dos vectores para ser iguales?

OBSERVACIONES: La representacin de un vector por sus COMPONENTES permite interpretar el concepto de VECTOR no slo como un segmento de recta orientado sino que como un elemento que contiene informacin acerca del comportamiento de varias variables, las que componen cada una de sus componentes. De esta forma un vector

puede recoger la informacin del comportamiento de varias variables. OPERACIONES CON VECTORES. Consideremos dos vectores libres de Rn de componentes

sobre ellos se pueden definir las siguientes operaciones: 1) SUMA DE VECTORES: El vector suma lo denotaremos por ser un vector de componentes

2) DIFERENCIA DE VECTORES El vector diferencia de estos vectores lo denotaremos por y ser un vector de componentes

3) PRODUCTO DE UN ESCALAR a R POR UN VECTOR. El vector resultante de multiplicar cierto vector que denotaremos por de componentes por un escalar es un vector

OPERACIONES CON VECTORES EN DERIVE. Los vectores en DERIVE se definen utilizando corchetes, de tal forma que un vector de n componentes tendr la forma: [x1,x2,....,xn]. Normalmente suele ser interesante dar un nombre a cada vector que utilizamos. Para efectuar esta operacin bastar con definir el vector usando la siguiente notacin: nombre del vector := [x1,x2,...,xn] Por ejemplo. Si deseamos definir el vector en DERIVE , editaremos con AUTHOR una expresin de la forma: u:=[1,2,3] (OJO: para poder definir variables con ms de un carcter en DERIVE; es necesario modificar las opciones de entrada del programa aplicando la secuencia de comandos OPTIONS-INPUT y seleccionando en el campo Mode: la opcin Word:

Una vez que tenemos definidos una serie de vectores en DERIVE u:=[x1,x2,x3] v:=[y1,y2,y3] podemos efectuar su SUMA sin ms que editar u+v y tras simplificar se obtiene

su DIFERENCIA, editando u-v y se obtiene

el PRODUCTO POR UN ESCALAR a, editando a*u y al simplificar resulta

Existen otras operaciones para vectores implementadas en DERIVE que pueden resultarnos de utilidad como por ejemplo: - el PRODUCTO ESCALAR de dos vectores, se obtiene editando u.v que tras simplificar resulta en nuestro ejemplo

el clculo del MODULO, que se obtiene editando abs(u), y tras simplificar resulta

EJERCICIO 1.5. Definir los vectores y obtener a) b) c) EJERCICIO 1.6. Dados los vectores del ejercicio 1.5. (a) Dibujar con DERIVE los vectores y los vectores ; e intentar obtener la regla que define el comportamiento geomtrico de la suma de vectores en R2. (b) Dibujar con DERIVE los vectores y los vectores ; e intentar obtener la regla geomtrica que define la diferencia de vectores en el plano. (c) Dibujar con DERIVE los vectores ; calcular el mdulo de cada uno de ello; intentando obtener la regla geomtrica que define el producto escalar de vectores en el plano.

Observaciones.

EJERCICIO 1.7. Definir en DERIVE un vector de la forma (a) Dibujar los vectores y estudiar los mdulos de ambos. Se puede extraer alguna conclusin para cualquier vector n-dimensional? (b) Construye un vector que tenga la misma direccin y sentido que el vector pero de tal forma que su mdulo sea unitario. Comprueba tu construccin grficamente. Deduce el mtodo que debemos emplear para construir un vector unitario a partir de un vector cualquiera n-dimensional. (c) El producto escalar de vectores se define como y tambin (si las coordenadas de ambos vectores se obtienen respecto de una base ortonormal) se define como

siendo Segn esto se tratara de determinar el valor que ha de tomar a para que el vector sea ortogonal con el vector dado inicialmente.

Ir a EJERCICIOS de vectores y operaciones con vectores con DERIVE.

VOLVER AL MEN PRINCIPAL DEL CAPTULO I.

ACCESOS A:
Men del captulo I Ejercicios del tema I.2. Cuestiones del Captulo I. Problemas del Captulo I MENU PRINCIPAL

I.2. ESTRUCTURA DE ESPACIO VECTORIAL.

INTRODUCCIN A LA ESTRUCTURA DE ESPACIO VECTORIAL

Para introducirnos en la estructura de espacio vectorial planteamos la siguiente actividad con DERIVE: Sean tres vectores concretos cualesquiera del plano; por ejemplo, los vectores cumplen las siguientes propiedades: . Se trata de comprobar si estos vectores

a) .Respecto de la SUMA DE VECTORES: 1. Propiedad asociativa. 2. Propiedad conmutativa: 3. Existencia de elemento neutro. Cmo sera el elemento neutro de R2, es decir el vector tal que ? 4. Existencia del elemento opuesto. Si el elemento opuesto de un vector es un vector tal que . Calcular los elementos opuestos de . B) Respecto del PRODUCTO ESCALAR POR VECTORES 5. Distributiva respecto de la suma de escalares. Comprobar que si tomamos dos escalares cualesquiera , se cumple que . 6. Distributiva respecto de la suma de vectores. Comprobar que si tomamos un escalar cualquiera se cumple que 7. Seudoasociativa: 8. Elemento unidad. Cul es el escalar , o nmero real en este caso, tal que multiplicado por cualquier vector (por ejemplo ) se cumple que ?

Esta actividad nos muestra las ocho propiedades que cumplen los espacios vectoriales respecto de unos vectores concretos. Si extendemos estas 8 propiedades a vectores cualesquiera de R2 habramos dotado al conjunto de los vectores del plano de estructura de espacio vectorial. Esta estructura formada por los vectores del plano y las dos operaciones (suma de vectores y producto de escalares por vectores) se suele denotar mediante (R2,+,.R).

DEFINICIN GENERAL DE LA ESTRUCTURA DE ESPACIO VECTORIAL

Consideremos un conjunto V no vaco dotado de una operacin interna:

y una operacin externa (producto por un escalar real):

decimos que V es un R-espacio vectorial si verifica 1) para la operacin interna (suma), las propiedades asociativa, conmutativa, existencia de elemento neutro y existencia de elemento opuesto 2) para el producto por escalar, las propiedades distributiva respecto de la suma de vectores y respecto de la suma de escalares, seudoasociativa y existencia de elemento unidad . A los elementos de un espacio vectorial se les denomina VECTORES, aunque en apariencia puedan no corresponderse con la imagen grfica e intuitiva que tenemos de vector como segmento orientado.

OTRAS PROPIEDADES DE LOS ESPACIOS VECTORIALES.

Adems de las propiedades bsicas que dotan a un conjunto de la estructura de espacio vectorial, existen otras propiedades que se desprenden de estas, que vamos a citar a continuacin intentando demostrarlas utilizando primero un razonamiento intuitivo y luego a travs de una demostracin formal. Consideremos un espacio vectorial sobre el conjunto de los nmeros reales (V,+,.R) PROPIEDAD 1. Si tales que

Demostracin. Intentemos a priori un razonamiento intuitivo. Si el conjunto V=R , es decir tenemos el espacio vectorial de los nmeros reales, es evidente que se cumple esta propiedad, es la propiedad cancelativa de los nmeros reales. Consideremos ahora un conjunto ms complicado, supongamos que V=R2. Como la suma de vectores del plano, en realidad se traduce en la suma de nmeros reales en cada una de sus componentes, y resulta que los nmeros reales tienen la propiedad anterior, entonces es evidente que se cumple la propiedad. Esta propiedad tambin se podra generalizar para un conjunto ms complejo por ejemplo para V=Rn. En este caso, nos valdra el razonamiento anterior ya que en realidad estamos intentando demostrar la propiedad componente a componente, y como las componentes son nmeros reales que la verifican entonces podemos afirmar que esta propiedad se verifica. Pasemos a una demostracin ms abstracta y formal.Tenemos inicialmente que se verifica

Como

y V es un espacio vectorial, entonces se cumple la propiedad 4), es decir,

todo vector tiene elemento opuesto. Sea el elemento opuesto. Si sumamos este vector a ambos miembros de la igualdad se tiene

Si aplicamos ahora la propiedad asociativa

y por tener entre parntesis la suma de un vector y su opuesto entonces tenemos

Ahora aplicando que demostrar.

es el elemento neutro de V, se tiene la igualdad que queramos

Demostrar primero utilizando un razonamiento intuitivo sobre espacios vectoriales de reales, y luego de una manera formal las siguientes propiedades: PROPIEDAD 2. Si es el elemento neutro de V y un nmero real (escalar) entonces se verifica que . = PROPIEDAD 3. Si PROPIEDAD 4. Para todo vector PROPIEDAD 5. se verifica que es el elemento opuesto de .

Si

entonces si

ALGUNOS ESPACIOS VECTORIALES.

Ejemplo 1.

Es fcil demostrar que (R2,+,.R) y (R3,+,.R) son espacios vectoriales. Ejemplo 2. Vamos a demostrar usando DERIVE que el conjunto de los polinomios con coeficientes reales de orden menor o igual que tres tienen estructura de espacio vectorial. Para ello definimos tres polinomios genricos de grado menor o igual que tres, utilizando el comando AUTHOR:

Lo primero que debemos comprobar es que la SUMA DE POLINOMIOS (en este ejemplo los polinomios de grado menor o igual que tres son los VECTORES del espacio vectorial), es una operacin interna, es decir que la suma de dos polinomios de grado menor o igual que 3 vuelve a ser un polinomio de grado menor o igual que 3:

para cualesquiera que sean p1 y p2. A continuacin podemos comprobar las propiedades de la suma con ayuda de DERIVE: Propiedad asociativa:

Propiedad conmutativa:

Existencia del elemento neutro. El "0" es el elemento neutro, y es evidente que 0+p1 = p1:

Elemento opuesto.

El producto de un nmero real por cualquier polinomio de grado menor o igual que tres vuelve a ser un polinomio menor o igual que tres puesto que :

(Obsrvese que en este caso hemos aplicado el comando EXPAND en vez de SIMPLIFY, para desarrollar ese producto por escalar). Segn esta operacin definida, podemos comprobar el resto de las ocho propiedades: Distributiva respecto de la suma de vectores

Distributiva respecto de la suma de escalares

Seudoasociativa

Existencia de elemento unidad. Es claro que multiplicando "1" por cualquier vector da como resultado el vector

Por tanto el conjunto de los polinomios con coeficientes reales de orden menor o igual que tres tiene estructura de espacio vectorial. En este espacio vectorial, sus elementos, es decir, sus vectores, son los polinomios de grado menor o igual que 3. Ejercicio 1.8 Comprobar con DERIVE que el conjunto de polinomios de grado exactamente 3, no tiene estructura de espacio vectorial . (Observacin: comprobar que la operacin suma no es interna).

Ir a EJERCICIOS de estructura de espacio vectorial con DERIVE.

VOLVER AL MEN PRINCIPAL DEL CAPTULO I.

I.3. SUBESPACIOS VECTORIALES

En el apartado anterior hemos podido comprobar que el conjunto de los polinomios de coeficientes reales de grado menor o igual que tres tiene estructura de espacio vectorial (P<=3(x),+,.R), y sin embargo los de grado exactamente igual a cuatro no la tienen (P3(x),+.R). Obsrvese que los polinomios de grado igual a tres son un SUBCONJUNTO de los polinomios de grado menor o igual que tres. As pues de este hecho podemos extraer una conclusin clara: NO TODO SUBCONJUNTO DE UN ESPACIO VECTORIAL TIENE A SU VEZ ESTRUCTURA DE ESPACIO VECTORIAL. Esta circunstancia obliga a conocer las condiciones que ha de cumplir un subconjunto de un espacio vectorial para mantener la misma estructura. Se trata de estudiar los SUBESPACIOS VECTORIALES.

CONCEPTO DE SUBESPACIO VECTORIAL Antes de dar las condiciones que ha de cumplir un subconjunto para tener estructura de subespacio vectorial, vamos a intentar observar cuales pueden ser estas condiciones.

Consideremos el espacio vectorial (R2,+,.R), y tomemos un suconjunto de vectores del plano, por ejemplo los vectores que estn contenidos en la recta x=0. Todos estos vectores son verticales, por ejemplo (0,1), (0,3), (0,4),....

Es claro que si tomamos este subconjunto del plano que en notacin analtica sera

todos los vectores contenidos en W cumplen las 8 propiedades de los espacios vectoriales. Pero para analizar si este subconjunto es un subespacio vectorial de R2 bastara comprobar dos propiedades: 1. que sumando dos vectores del W se obtiene otro vector de W. Esta propiedad la cumple puesto que si sumamos dos vectores cuya componente primera es cero, vuelve a resultar un vector con la componente primera nula. 2. que al multiplicar un vector de W por un escalar real cualquiera, vuelva a resultar un vector de W. Esta situacin nuevamente es clara, puesto que al multiplicar cualquier escalar por la primera componente nula nos da como resultado un vector con la primera componente nula. El resto de propiedades no es necesario comprobarlas puesto que todos los vectores del plano las cumplen y en consecuencia las cumplirn los vectores de W. Si ahora tomamos un subconjunto formado por los vectores del plano cuya primera componente es 1, es decir y tomamos dos vectores de este subconjunto, por ejemplo (1,2) y (1,5), obsrvese que su suma es (2,7) que no pertenece a M. Por tanto la suma no es operacin interna en este subconjunto, y en consecuencia no puede ser un subespacio vectorial. CARACTERIZACIN DE LOS SUBESPACIOS VECTORIALES. 1.- Sea (V,+,.R) un subespacio vectorial , y sea W un subconjunto de V. Diremos que W dotado con las mismas operaciones definidas en V, es un subespacio vectorial del mismo si se verifican las dos siguiente propiedades: a) b) una segunda forma de caracterizarlos se concreta en la condicin equivalente a la anterio 2.- W es un subespacio vectorial de V si y slo si se verifica que

DEFINICIN DE SUBCONJUNTOS DE RN Para definir los subconjuntos de Rn suele utilizarse la relacin entre las componentes de los vectores que lo componen. A esta relacin, expresada en forma de ecuaciones

suele denominarse expresin analtica del subconjunto, definida por las denominadas ECUACIONES CARTESIANAS del subespacio. Por ejemplo, si consideramos

Podemos deducir que los vectores de este subespacio son aquellos vectores que verifican esta relacin entre sus componentes. De esta forma el vector (1,1,1) es claro que no est en el subespacio W1, sin embargo el vector (1,1,2) si pertenece a dicho subespacio. Las ecuaciones cartesianas en este caso son x+y-z=0 Para determinar cmo son los vectores de este subespacio resultara ms til, encontrar un procedimiento mediante el cual se pudiera determinar de forma automtica cmo son los vectores del mismo. Un procedimiento para obtener estas ecuaciones que determinan el subespacio, sera obtener las soluciones del sistema de ecuaciones que definen al mismo. En este caso como tenemos slo una ecuacin es fcil deducir que z=x+y Por tanto, z depende de dos valores independientes. Las infinitas soluciones de este sistema (que en este caso est formado por una sla ecuacin) seran de la siguiente forma:

ecuaciones que suelen denominarse ecuaciones PARAMTRICAS del subconjunto. De esta forma es fcil determinar cmo son los vectores del subespacio, pues en este caso seran (x,y,x+y). Hecho este inciso , podemos realizar algunos ejemplos con los que probemos cuando un subconjunto de un espacio vectorial es un subespacio vectorial de ste. Por ejemplo, si tomamos el subconjunto anterior W1, tendramos que comprobar lo siguiente:

Dados dos vectores del mismo cualesquiera a,b se tratara de comprobar si .

y dos nmeros reales

Vamos a efectuar esta operacin con DERIVE. Podramos utilizar dos alternativas. 1 ALTERNATIVA)

Definamos dos vectores genricos de R3 utilizando el comando AUTHOR:

A continuacin deberemos de construir el vector a*u+b*v y comprobar si cumple las ecuaciones del subconjunto. Definimos por tanto el vector y simplificamos (SIMPLIFY): Vamos a ver si sus componentes verifican las condiciones del subespacio W1. Segn la ecuacin cartesiana que define al subespacio debe cumplirse que primera componente mas segunda componente menos tercera componente debe valer cero. Si construimos esa expresin y luego simplificamos tenemos:

Pero obsrvese que los vectores u y v pertenecan a W1 por tanto cumplan que x1+y1-z1=0 y x2+y2-z2=0, y en consecuencia, es claro que la ltima expresin ha de valer cero. Por tanto W1 es un subespacio vectorial de R3. 2 ALTERNATIVA) Considerando los vectores con las restricciones del subconjunto, es decir en vez de definir los vectores genricos, tomar dos vectores del subconjunto W1. Segn hemos visto antes los vectores de W1 son de la forma (x,y,x+y), luego definiramos en DERIVE:

Y ahora editaramos la expresin a*u+b*u , tras simplificar se obtiene que como se observa toma la expresin de un vector de W1. EJERCICIO I.9

Indicar si los siguientes subconjuntos son o no subespacios vectoriales de los espacios vectoriales indicados: 1) 2) 3) 4) 5) 6) de R2 de R3 de R3 de R4 de R2 de R3

ALGUNOS SUBESPACIOS VECTORIALES SENCILLOS. Existen dos subconjunto de un espacio vectorial que son muy sencillos: 1. El propio espacio v. 2. El subconjunto formado nicamente por el elemento neutro de V. EJERCICIO I.10. Sea el espacio vectorial (R2,+,.R), y consideremos el subconjunto del plano W={(0,0)}. Comprobar que es un subespacio vectorial de R2. EJERCICIO I.11. A la vista del ejercicio anterior, podras decir cual es el elemento de un espacio vectorial que ha de pertener a cualquier subespacio vectorial suyo?.

OPERACIONES ENTRE SUBESPACIOS VECTORIALES. A) INTERSECCIN DE SUBESPACIOS. Sean W1 y W2 dos subespacios vectoriales de un espacio vectorial (V,+,.R). La interseccin de dos subespacios vectoriales se define de la siguiente forma: y El significado de esta operacin se puede obtener con el siguiente ejemplo de R2. Ejemplo: Sean W1={(x,y)/x+y=0} y W2={(x,y)/x-y=0}

Si representamos estos dos subespacios con DERIVE tenemos que se trata de dos rectas que pasan por el (0,0). NOTA 2: Para representar una recta con DERIVE; basta editarla con el comando AUTHOR y a continuacin aplicar el comando PLOT-PLOT para dibujarla en una ventana de 2D. Si la ventana no estuviese abierta, el propio programa nos pregunta acerca de la forma en que deseamos abrirla (al lado, encima, o solapadamente). En nuestro ejemplo por tanto tendramos que editar con AUTHOR las dos ecuaciones que definen los subespacios:

y a continuacin dibujarlas: iluminando la expresin y aplicando PLOT-PLOT para las dos expresiones. Se obtiene

La interseccin de ambos subespacios sera la interseccin de estas dos rectas, es decir el {(0,0)}. Cmo se podra haber resuelto de forma analtica? La resolucin analtica consiste en resolver el sistema de dos ecuaciones con dos incgnitas que tenemos planteado: x+y=0 x-y=0 obsrvese que la nica solucin de este sistema es x=0, y=0. NOTA 3. Para resolver en DERIVE este sistema bastar con poner las ecuaciones entre corchetes y aplicar el comando SOLVE.

En nuesto ejemplo, aunque es muy trivial, basta editar con AUTHOR la expresin

y al aplicar el comando SOLVE resulta Evidentemente, no siempre la solucin resulta tan trivial. Si aumentamos la dimensin del espacio vectorial, las posibilidades de interseccin entre distintos subespacios son mayores.

EJERCICIO I.12. Dados los siguientes subespacios

Se pide: 1) Representarlos en el plano con la ayuda de DERIVE. 2) Deducir de esta representacin los subespacios

Son subespacios vectoriales? 3) Si consideramos ahora

Calcular de forma grfica y analtica el subespacio interseccin . Es un subespacio vectorial? 4) Podras extraer alguna observacin de lo que has estudiado en los apartados anteriores? Como acabamos de comentar la INTERSECCIN de subespacios VECTORIALES en el plano es siempre nica, interpretable como la posicin relativa de rectas del plano que se cortan en el origen. Esta situacin se complica si consideramos el espacio vectorial R3. Por ejemplo. Supongamos que tomamos ahora los subespacios vectoriales

Obsrvese que W1 es un plano del espacio; W2 es una recta del espacio y W3 es un plano del espacio. Si estudiamos de forma analtica, tendremos que resolver un sistema de tres ecuaciones con tres incgnitas, que con DERIVE se resolvera editando la expresin que se resuelve aplicando el comando SOLVE obteniendo

es decir . De aqu se puede deducir que el plano W1 y la recta W2 se cortan en el origen de coordenadas. Se trata de un plano y una recta del espacio que se cortan en un punto.

Si estudiamos ahora la interseccin analtico, editamos en DERIVE la expresin

, utilizando el mismo procedimiento

(obsrvese que hemos aadido un 0, situacin muy comn en DERIVE cuando deseamos resolver un sistema de tres ecuaciones con dos incgnitas) Y al resolver obtenemos

Es decir obtenemos que x=z, y=-z. Luego subespacio que se corresponde con una recta del espacio. Esta interseccin representa por tanto dos planos que se cortan en el espacio en la recta que da origen a su interseccin. EJERCICIO I.13. Dados los subespacios vectoriales:

Se pide: 1) Obtener de forma analtica las siguientes intersecciones de subespacios W1 int. W2, W3 int. W4, W1 int. W4 y W1 int. W3. 2) Interpretar cual es la posicin relativa de los subespacios vectoriales que

intervienen en cada una de las intersecciones anteriores. OBSERVACIN. De los ejercicios realizados antes se puede observar que la INTERSECCIN de SUBESPACIOS VECTORIALES es siempre otro subespacio vectorial. EJERCICIO I.14. Demostrar formalmente que la interseccin de dos subespacios vectoriales pertenecientes a un mismo espacio vectorial vuelve a ser un subespacio vectorial.

b) UNION DE SUBESPACIOS Sean W1 y W2 dos subespacios vectoriales de un espacio vectorial (V,+,.R). La unin de dos subespacios vectoriales se define de la siguiente forma: El significado de esta operacin se puede obtener con el siguiente ejemplo de R2. Ejemplo: Sean W1={(x,y)/x+y=0} y W2={(x,y)/x-y=0} Si representamos estos dos subespacios con DERIVE tenemos que se trata de dos rectas que pasan por el (0,0). El subespacio unin se obtendra por definicin

observando grficamente este subespacio (podemos representar con DERIVE cada una de las dos rectas del plano con ayuda del comando PLOT)

W2

W1

El subespacio unin lo formarn los vectores que estn en uno u otro subespacio. Podemos observar grficamente que este subespacio no es vectorial. Para ello basta tomar un vector de W1 por ejemplo el vector (1,1), y otro vector de W2, por ejemplo el vector (1,-1), si sumamos estos dos vectores obtenemos el vector (2,0) que claramente no pertenece al subespacio unin. Observemos la situacin grfica:

Es evidente que este vector se sale del suconjunto unin por tanto la unin de subespacios no es un subespacio vectorial C) SUMA DE SUBESPACIOS Ya que la UNIN de subespacios vectoriales no tiene por qu ser un subespacio vectorial, necesitaramos una operacin alternativa que recoja en cierta forma la idea de JUNTAR o AADIR propia de la unin, que mantenga la estructura de subespacio vectorial

Para ello se construye la operacin SUMA DE SUBESPACIOS: Definicin Sean W1 y W2 dos subespacios vectoriales de V, se define la suma de estos subespacios como

Esta definicin se puede extender a la suma de varios subespacios: Si Wi son subespacios vectoriales, con i=1,...,n se define la suma de estos nsubespacios vectoriales como:

Veamos el significado geomtrico de esta operacin. Ejemplo. Dados los subespacios vectoriales de R2:

Vamos a estudiar geomtricamente el subespacio suma con la ayuda de DERIVE. Como en ejemplos anteriores es fcil representar estos dos subespacios vectoriales que se reducen a dos rectas que pasan por el origen

La suma de estos subespacios es claro deducir que se trata de todo el espacio R2,

ya que cualquier vector del plano se puede expresar como suma de dos vectores que estn en los subespacios vectoriales citados.

La situacin en R3 muestra nuevamente diversas combinaciones de los subespacios vectoriales, mostrando posiciones relativas entre planos y rectas. De esta forma si consideramos un plano de R3 que pasa por el origen y una recta que no est contenida en dicho plano y que tambin pasa por el origen, es fcil deducir que la suma de ese plano con la recta es todo el espacio R3.

Si tenemos en R3 un plano que pasa por el origen, y una recta contenida en dicho plano, es evidente que la suma de dichos subespacios da como resultado el propio plano.

Propiedad Si tenemos un espacio vectorial V, se verifica: Si subespacio es una familia de subespacios vectoriales de V entonces el

es un subespacio vectorial La demostracin de esta propiedad se deja como ejercicio para intentar realizar una demostracin sobre objetos abstractos de un espacio vectorial.

Ejercicio I.15 Dados los subespacios vectoriales de R3

Obtener el subespacio suma y el subespacio interseccin.

D) SUMA DIRECTA DE SUBESPACIOS VECTORIALES Cuando tenemos dos subespacios vectoriales cuya interseccin es el elemento neutro del espacio vectorial, y efectuamos la operacin suma de subespacios, el subespacio

resultante se obtiene aadiendo "totalmente" los vectores de uno con los de otro, es decir se realiza una SUMA DIRECTA de subespacios. Definicin Sea V un espacio vectorial y sean W1 y W2 dos subespacios vectoriales de V, se define la SUMA DIRECTA de estos subespacios al subespacio si y adems si y slo

Ejemplo. Sean los subespacios vectoriales

Se puede observar que W1 representa un plano del espacio y W2 una recta del espacio no coincidente con el plano, pudindose comprobar que que Por tanto se puede afirmar que , y adems

Adems en este caso podemos afirmar que W1 y W2 son SUBESPACIOS SUPLEMENTARIOS.

Es decir, cuando y W=V, es decir la suma directa coincide con el espacio vectorial total, entonces se puede afirmar que los subespacios W1 y W2 sob SUBESPACIOS SUPLEMENTARIOS.

Ir a EJERCICIOS de operaciones con SUBESPACIOS VECTORIALES con DERIVE.. VOLVER AL MEN PRINCIPAL DEL CAPTULO I.