Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Espacios Vectoriales

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 6

ESPACIOS VECTORIALES

Definición 6.1: una operación Binaria de Adición o Ley de Composición Interna aditiva
en un Conjunto S, es una función de SxS en S; la imagen de un par ordenado (a,b), se
escribe como a+b, con a y b elementos del conjunto S. Una operación multiplicación por un
Escalar •, o Ley Externa de Multiplicación por un Escalar, es una función de RxS en S; la
imagen de un par ordenado (α, a) se escribe αa.

Espacios vectoriales

Definición 6.2: Sea E un con junto (de vectores) con una operación binaria + de adición
definida y R un campo de escalares, y sea • una operación externa producto por un escalar
definida de RxE en E. entonces, la terna (E, +, •) es un espacio vectorial sobre R si para
todo a, b, c ϵ E y α, β ϵ R, se satisfacen los siguientes axiomas:

Axiomas para la adición:

i. (a+b)+c= a+(b+c), Asociatividad de la suma de vectores


ii. a+b=b+a, Conmutatividad de la suma de vectores
iii. existe un vector O 𝜖 E tal que O+a=a, ∀ a 𝜖 E, Existencia del elemento neutro para
la suma de vectores
iv. para cada vector a 𝜖 E, Ǝ –a 𝜖 E tal que a+(-a)=O, Existencia del elemento inverso
o simétrico de la suma de vectores

Axiomas de la multiplicación por un escalar:

v. α • (a+b) = α • a + α • b, Ley Distributiva


vi. (α + β) • a = α • a + β • a, Ley Distributiva
vii. α • (β • a) = (α • β) • a, Asociatividad del producto por un escalar
viii. 1 • a = a, Preservación de la escala

Nota: por abuso del lenguaje, cuando se haga mención a la terna (E, +, • ), solo se
hablará de espacio vectorial E.

Subespacios vectoriales

Definición 6.3: Sea (E, +, • ) un espacio vectorial y sea S un subconjunto de E. se dice


que S es un subespacio vectorial del espacio vectorial (E, +, • ), si (S, +, • ) es a su vez un
espacio vectorial, es decir, S es un subespacio vectorial de E, si S con las mismas
operaciones de adición y producto por un escalar definidas en E, forman un espacio
vectorial.

Se puede simplificar denotándola como S ≤ E, S es un subespacio de E.

Universidad de Carabobo Prof. Norelyn Suárez


Facultad de Ingeniería Algebra Lineal
Departamento de Matemática
Teorema 6.2: Sea E un espacio vectorial y sea S un subconjunto no vacío de E. entonces
S es un subespacio de E si, y solo si, ∀ a, b 𝜖 S ∧ ∀ α escalar, se cumple que:

a) (a + b) 𝜖 S
b) α • a 𝜖 S

El espacio vectorial E y {O}, son los llamados subespacios triviales de E. Aquellos


Subespacios de E distintos de E mismo y del {O}, son llamados Subespacios propios de E.

Combinaciones Lineales y Subespacios

Definición 6.4: Si X es un subconjunto de vectores del espacio vectorial E entonces un


vector de la forma donde los son escalares y los 𝜖
X, es una combinación lineal de vectores de X con coeficientes .

Teorema 6.3: Sea X es un subconjunto no vacío de vectores de un espacio vectorial E,


entonces el conjunto L(x) formado por toda las combinaciones lineales de los vectores de
X, es un subespacio vectorial de E y es el más pequeño subespacio de E que contiene a X.

Conjuntos Generadores

Definición 6.5: Si X es un subconjunto no vacío de vectores de un espacio vectorial E,


entonces el subespacio L(x) de E, es el subespacio de E generado por X o expandido por X.
el conjunto X genera a L(x). a los vectores de X se les llama vectores generadores de L(x).
En particular, un subespacio Y de vectores del espacio E genera todo el espacio vectorial E,
si L(Y) = E.

Definición 6.6: Sea A una matriz de mxn. El subespacio de generado por las m filas
de A es el espacio fila de A, denotado como F(A). Si consideramos a como un espacio
de vectores columna, el subespacio de generado por las n columnas de A, es el llamado
espacio columna de A, denotado por C(A).

En el espacio columna de A está la solución de un sistema lineal de ecuaciones de la


forma AX = (b), ya que el sistema de ecuaciones se puede escribir como:

+ +…+ =

( ) ( ) ( ) ( )

Y así, el vector columna (b) se puede escribir como combinación de los vectores
columna de A, esto es, (b) pertenece al subespacio generado por los vectores columna de A,
ahora bien, esto nos proporciona un criterio para determinar si existe o no solución en el
sistema de ecuaciones lineales de la forma AX = (b).

Universidad de Carabobo Prof. Norelyn Suárez


Facultad de Ingeniería Algebra Lineal
Departamento de Matemática
Teorema 6.4: Un sistema de ecuaciones lineales de la forma AX = (b), tiene solución si,
y solo si, (b) está en el espacio columna de A, esto es, (b) 𝜖 C(A).

, si:

Primer caso: todos los tienen valores únicos, b es generado de manera única por
los .
Segundo caso: si los tienen más de un valor, b se puede generar de varias maneras
en función de los .

Conjuntos Independientes

Definición 6.7: Sea X un subconjunto no vacío de vectores de un espacio vectorial E.


una relación de dependencia en X es una relación de la forma

para distintos v 1, v 2, v 3,…, v n 𝜖 X, donde al menos uno de los coeficientes es distinto


de cero, esto es, L(x) = 0 al menos uno de los

Definición 6.8: Un subconjunto no vacío X de vectores de un espacio vectorial E es


linealmente dependiente si en X existe al menos una relación de dependencia, y es
linealmente independiente si no existe ninguna relación de dependencia en X. se ha
convenido hablar de dependiente e independiente en lugar de linealmente dependiente y
linealmente independiente, respectivamente.

Observe que en ambos casos, dependencia o independencia, el planteamiento consiste en


conocer las posibles soluciones del sistema lineal homogéneo planteado por: L(x) = O

Teorema 6.5: Un subconjunto no vacío X de distintos vectores no nulos de un espacio


vectorial E, es dependiente si, y solo si, algún vector, por ejemplo , para k >1, donde
puede expresarse como combinación lineal de los vectores que le preceden v 1, v 2,…, v k-1.

Ejemplo: Determine si el subconjunto de vectores de formado por los vectores


*( ) ( ) ( )+ es dependiente o independiente.

Solución: el subconjunto será independiente cuando el SEL homogéneo


, tenga única solución, es decir, la solución trivial donde
. Esto es, si logramos pivotear todas las entradas de la diagonal principal
de la matriz de coeficientes. Por el contrario, el subconjunto será dependiente si el sistema
presenta una solución distinta a la trivial, es decir, si el SEL homogéneo tiene infinitas
soluciones.

( ) ( ) ( ) ( )

Universidad de Carabobo Prof. Norelyn Suárez


Facultad de Ingeniería Algebra Lineal
Departamento de Matemática
{

( | )→ ( | )→ ( | )→

( | )→ ( | )→ ( | )

Como se logró llegar a la matriz triangular superior, el SEL homogéneo tiene solución
trivial, por lo tanto, el subconjunto *( ) ( ) ( )+ es
Independiente.

Utilizando la regla de Cramer también podemos determinar la dependencia o


independencia de un conjunto de vectores mediante el estudio del SEL al escribir la
relación .

Si consideramos el determinante de la matriz formada por los coeficientes del sistema (o


la matriz formada por los vectores en cuestión dispuestos como columnas), y este es igual a
cero, entonces hay más de una solución y los vectores son dependientes, pero si el
determinante es distinto de cero, los vectores son independientes.

Teorema 6.6: Sea * + un conjunto no vacío de vectores no nulos de un


espacio vectorial E. Si existe una relación de dependencia
, para k >1 con coeficientes de cada ,
entonces: L( ) = L( )

Es decir, si existe un vector que es generado por los vectores precedentes, ese mismo
conjunto de vectores, excluyendo a , sigue generando al mismo espacio
L( ) y L( ) L( )

Teorema 6.7: Dado un conjunto * + finito de vectores no nulos de un


espacio vectorial E, siempre existe un subconjunto independiente X de * +
tal que L( ) ( ).

Si X es independiente, entonces X es el conjunto generador de L(x). Si X es


dependiente, podemos ir descartando los vectores que son combinación lineal de sus
precedentes hasta conseguir un subconjunto independiente que sigue generando al mismo
subespacio. Este teorema describe una técnica para hallar un subconjunto independiente X
de un conjunto dado. Esta técnica consiste en descartar vectores que son combinación lineal
de sus precedentes.

Universidad de Carabobo Prof. Norelyn Suárez


Facultad de Ingeniería Algebra Lineal
Departamento de Matemática
Teorema 6.8: Un subconjunto finito de vectores no nulos * + de un
espacio vectorial E, es independiente si, y solo si, cada vector del subespacio
L( ) puede expresarse como una combinación lineal única de los vectores
.

Base y Dimensión

Definición 6.9: Sea E un espacio vectorial cualquiera. Un subconjunto B de vectores de


E es una base para E si se satisfacen las dos condiciones siguientes:

i) B es un subconjunto independiente
ii) El subconjunto B genera todo el espacio vectorial E

Si el subconjunto B no alcanza a generar todo E, entonces, como sabemos, L(B) es un


subespacio de E y B sería una base para ese subespacio.

La condición i) se satisface al resolver el sistema L(B) = 0, es decir, demostrando si B es


independiente

La condición ii) se satisface resolviendo el sistema L(B) = E, es decir, si se logra


convertir a la matriz de coeficientes del sistema en una matriz triangular superior
pudiéndose escribir un vector genérico (x, y, z) 𝜖 E como combinación lineal de os vectores
de B.

Definición 6.10: Un espacio vectorial E es finito dimensional, si E tiene una base con un
número finito de vectores.

Un espacio vectorial E puede tener varias o infinitas bases, pero todas tienen el mismo
número de elementos.

Teorema 6.9: Si E es un espacio vectorial, entonces cualquier conjunto finito generador


para E, contiene al menos tantos vectores como cualquier conjunto finito independiente de
vectores de E.

Teorema 6.10: Si E es un espacio vectorial finito dimensional, entonces dos bases


cualesquiera de E tienen el mismo número de elementos.

Definición 6.11: Sea E un espacio vectorial finito dimensional. La dimensión de E, se


denota por dim(E), es el número de elementos de una base cualquiera de E.

Teorema 6.11: Si E es un espacio vectorial finito dimensional y si * +es


un conjunto de vectores independientes de E, entonces * + puede
completarse, si es necesario, para formar una base de E.

Universidad de Carabobo Prof. Norelyn Suárez


Facultad de Ingeniería Algebra Lineal
Departamento de Matemática
Para completar esta base, de ser necesario, se procede a ampliar la base
* + con una base * + de E formando un nuevo conjunto, el
cual genera todo el espacio E. Con la técnica de descartar vectores que son combinación
lineal de los precedentes, vamos descartando a los vectores de la base * +,
hasta completar una base para todo el espacio, quedando los vectores de la primera base
dada, pues ya se sabe que son independientes.

Corolario: Si dim(E) = n, entonces el conjunto * + de n distintos vectores


del espacio E es una base de E, si este conjunto es independiente o es generador de todo E.
esto es, no es necesario verificar las dos condiciones de la definición de base, si el conjunto
contiene un número de vectores igual a la dimensión del espacio.

Coordenadas de un Vector

Definición 6.12: Sea E un espacio vectorial finito dimensional. Una base ordenada
B=* + es una n-upla ordenada * + de vectores que forman
base del espacio E.

Definición 6.8: Sea B = * + una base ordenada de un espacio vectorial E,


y sea v un vector del espacio E tal que:

La n-upla ordenada ( ) de escalares, es el vector coordenado de v en la


base B, y es la i-ésima coordenada de v con respecto a la base ordenada B. El vector
columna o matriz de 1xn

, -

( )
Se llama vector columna coordenado del vector v en la base B o con respecto a la base
B. estas coordenadas, según Teorema 6.8 son únicas para cada vector.

Universidad de Carabobo Prof. Norelyn Suárez


Facultad de Ingeniería Algebra Lineal
Departamento de Matemática

También podría gustarte