Espacio vectorial

En álgebra abstracta, un espacio vectorial es una estructura algebraica

creada a partir de un conjunto no vacío, una operación interna (llamada suma,
definida para los elementos del conjunto) y una operación externa (llamada
producto por un escalar, definida entre dicho conjunto y otro conjunto, con
estructura de cuerpo ), con 8 propiedades fundamentales.

A los elementos de un espacio vectorial se les llama vectores y a los

elementos del cuerpo, escalares.

Notación
Dado un espacio vectorial sobre un cuerpo , se distinguen los elementos
de como
Se llaman vectores

Caligrafías de otras obras

Si el texto es de física suelen representarse bajo una flecha:

se llaman escalares.

Definición de espacio vectorial

Un espacio vectorial sobre un cuerpo (como el cuerpo de los números reales
o los números complejos) es un conjunto no vacío, dotado de dos operaciones para
las cuales será cerrado:
 operación interna tal que:

1) tenga la propiedad conmutativa, es decir

2) tenga la propiedad asociativa, es decir

3) tenga elemento neutro , (ejemplo 0 en los reales) es decir

4) tenga elemento opuesto, es decir

y la operación producto por un escalar:

operación externa tal que:

5) tenga la propiedad asociativa:

6) Existencia del elemento neutro multiplicativo (ejemplo 1 en los reales)

del cuerpo K, es sí mismo.

7) tenga la propiedad distributiva del producto respecto la suma de vectores:

8) tenga la propiedad distributiva del producto respecto la suma de

escalares:
 Véase también: Espacio euclídeo

Véase también: Vector

Véase también: Representación gráfica de vectores

Observaciones
La denominación de las dos operaciones no condiciona la definición de
espacio vectorial por lo que es habitual encontrar traducciones de obras en las que se
utiliza multiplicación para el producto y adición para la suma, usando las
distinciones propias de la aritmética.

Para demostrar que un conjunto es un espacio vectorial:

Lo es si sus dos operaciones, por ejemplo y admiten una

redefinición del tipo y cumpliendo las 8 condiciones exigidas.

Si supiésemos que es un grupo conmutativo o abeliano respecto la suma ya

tendríamos probados los apartados 1, 2, 3 y 4.

Si supiésemos que el producto es unaacción por la izquierda de tendríamos

probados los apartados 5 y 6.

Si no se dice lo contrario:

Propiedades

Unicidad del vector neutro de la propiedad 3

 .

Observación

Primer ejemplo con demostración

Se quiere probar que es un espacio vectorial sobre

Si juega el papel de y el de :

Los elementos:

son, de forma genérica:

es decir, pares de números reales. Por claridad se conserva la denominación

del vector, en este caso u, en sus coordenadas, añadiendo el subíndice x o y para
denominar su componente en el eje x o y respectivamente
En se define la operación suma:

donde:

y la suma de u y v sería:

donde:

esto implica que la suma de vectores es interna y bien definida.

La operación interna suma tiene las propiedades:

1) La propiedad conmutativa, es decir:

 El producto de a y u será:

donde:

esto implica que la multiplicación de vector por escalar es externa y aun así
está bien definida.

5) tenga la propiedad asociativa:

Que tiene la propiedad distributiva:

7) distributiva por la izquierda:

Queda demostrado que es espacio vectorial.

 Ejemplos de espacios vectoriales

Los cuerpos
Todo cuerpo es un espacio vectorial sobre él mismo, usando como producto
por escalar el produc tdoel cuerpo.

es un espacio vectorial de dimensión uno sobre .

Todo cuerpo es un espacio vectorial sobre susubcuerpo , usando como

producto por escalar el producto del cuerpo.

es un
espacio
vectorial
sobre . es un
espacio
vectorial
sobre .

Sucesiones sobre un cuerpo

El espacio vectorial más conocido notado como , donde n>0 es un entero,
tiene como elementos n-tuplas, es decir, sucesiones finitas de de longitud n con las
operaciones:

(u1, u2, ..., un)+(v1, v2, ..., vn)=(u1+v1, u2+v2, ..., un+vn).

a(u1, u2, ..., un)=(au1, au2, ..., aun).

Las sucesiones infinitas de son espacios vectoriales con las operaciones:

(u1, u2, ..., un, ...)+(v1, v2, ..., vn, ...)=(u1+v1, u2+v2, ...,
un+vn, ...). a(u1, u2, ..., un, ...)=(au1, au2, ..., aun, ...).
 sobre

Espacios de aplicaciones sobre un cuerpo

El conjunto de las aplicaciones , un cuerpo y un conjunto,
también forman espacios vectoriales mediante la suma y la multiplicación habitual:

Los polinomios
 Las series de potencias son similares, salvo que se permiten infinitos términos
distintos de cero.

Funciones trigonométricas

Las funciones trigonométricas forman espacios vectoriales con las siguientes

operaciones:

Los sistemas de ecuaciones lineales homogéneas

) posee soluciones que forman un espacio

vectorial, se puede ver en sus dos operaciones:

Si
decir, , son un espacio vectorial,
como se puede ver en sus dos operaciones:
 Si

Si

Definici
ón de
subespacio
vectorial
Sea un
espacio vectorial
sobre , y
no vacío,
es un
subespacio
vectorial de si:

Consec
uencias

Sistema
de 2 ecuaciones
y 3 variables
 hereda las operaciones de como aplicaciones bien definidas, es decir
que no escapan de , y como consecuencia tenemos que
es un espacio vectorial sobre .

Con cualquier subconjunto de elementos seleccionados en los espacios

vectoriales anteriores, no vacío, se pueden generar subespacios vectoriales, para
ello seria útil introducir nuevos conceptos que facilitarán el trabajo sobre estos
nuevos espacios vectoriales.

Resultados internos

Para detallar el comportamiento interno de todos los espacios vectoriales de

modo general es necesario exponer una serie de herramientas cronológicamente
vinculadas entre ellas, con las cuales es posible construir resultados válidos en
cualquier estructura que sea espacio vectorial.

Combinación lineal
Dado un espacio vectorial ,
diremos que un vector u es combinación
lineal de los vectores de si existen
escalares
tales que

Notaremos como
lineales de los vectores de . el conjunto
Cada vector u es combinación lineal de
resultante de todas las combinaciones

forma única Proposición 1 un espacio

Dado
vectorial y un conjunto de vectores,
el conjunto es el subespacio vectorial más
pequeño contenido en y que contiene a .
 Demostración

Nota . En este caso se dice que es un sistema de generadores que genera a .

Independencia lineal
Diremos que un conjunto de vectores es linealmente independiente si el
vector 0 no se puede expresar como combinación lineal no nula de los vectores de ,
es decir:

Si .

Diremos que un conjunto de vectores es linealmente dependiente si no es

linealmente independiente.

Proposición 2

son linealmente dependientes

Demostración

Base de un espacio vectorial

Las bases revelan la estructura de los espacios vectoriales de una manera
concisa. Una base es el menor conjunto (finito o infinito)

B = {vi}i ∈ I de vectores que generan todo el espacio. Esto significa que

cualquier vector v puede ser expresado como una suma
(llamada combinación lineal) de elementos de la base

a1vi1 + a2vi2 + ... + anvin,

donde los ak son escalares y vik (k = 1, ..., n) elementos de la base B. La

minimalidad, por otro lado, se hace formal por el concepto de independencia lineal.
Un conjunto de vectores se dice que es linealmente independiente si ninguno de
sus elementos puede ser expresado como una combinación lineal de los restantes.
Equivalentemente, una ecuación

a1vi1 + ai2v2 + ... + anvin = 0

 solo se consigue si todos los escalares a1, ..., an son iguales a cero. Por
definición de la base cada vector puede ser expresado como una suma finita de los
elementos de la base. Debido a la independencia lineal este tipo de representación
es única. Los espacios vectoriales a veces se introducen desde este punto de vista.

Base formalmente
Dado un sistema de generadores, diremos que es una base si son linealmente
independientes.

Teorema de la base de generadores

Todo sistema de generadores tiene una base.

Teorema Steinitz

Toda base de un espacio vectorial puede ser

cambiada parcialmente por vectores linealmente
independientes.

Corolario. Si un espacio vectorial tiene una base de

vectores cualquier otra base posee vectores. Observación

v1 y v2 son base de
un plano, si hubiese
dependencia
Todo espacio vectorial tiene una base. Este hecho se basa en el lineal(alineados) la
lema de Zorn, una formulación equivalente del axioma de elección. cuadrícula no podría
Habida cuenta de los otros axiomas de generarse
 la teoría de conjuntos de Zermelo-Fraenkel,
la existencia de bases es equivalente al axioma de
elección. El ultrafilter lemma, que es más débil que
el axioma de elección,
implica que todas las bases de un espacio vectorial tienen el mismo "tamaño",
es decir, cardinalidad. Si el espacio es generado por un número finito de vectores,
todo lo anterior puede demostrarse sin necesidad de acudir a la teoría de conjuntos.

Dimensión
Dado un espacio vectorial sobre :

Si tiene base finita, diremosdimensión

al número de elementos de dicha base. Si tiene
base no finita, diremos que es dedimensión infinita
.

Notación

Dado un espacio vectorial y un subespacio , tenemos que:

Si tiene dimensión lo indicaremos como .

Si tiene dimensión como subespacio de lo indicaremos como .

Intersección de subespacios vectoriales

Dado dos subespacios vectoriales , la intersección es subespacio vectorial
contenido en estos y lo notaremos como:

Observaciones. Para la intersección sucesiva de espacios vectoriales se

procede, inductivamente, de dos en dos.

La unión de subespacios vectoriales no es en general un subespacio vectorial.

 Suma de subespacios vectoriales
Dado dos subespacios vectoriales , la suma es un subespacio vectorial que
contiene a estos y la notaremos como:

Si F y G son subespacios vectoriales de E, su suma F+G es el subespacio

vectorial de E más pequeño que contiene a F y a G.

Observación. Para la suma sucesiva de espacios vectoriales se procede,

inductivamente, de dos en dos.
Teorema Fórmula de Grassmann
de dimensión finita, tenemos el resultado siguiente: Dado
dos

subespacios vectoriales

Suma directa de subespacios vectoriales

Dados dos subespacios vectoriales , diremos que es una suma
directa si y lo notaremos como:

Cuando y están en suma directa, cada vector de se expresa

.
de forma única como suma de un vector de y otro vec
de

Cociente de espacios vectoriales

Dado un espacio vectorial
y un subespacio vectorial
.

diremos que están relacionados si módulo .

Dados

La relación anterior es unarelación de equivalencia .

 Se nota por
.
a la clase
de
módulo

Llamaremos conjunto cociente o espacio cociente al conjunto de las clases

de equivalencia anterior:

Se nota por a dicho espacio cociente.

El espacio es un espacio vectorial con las

operaciones siguientes:

Construcciones básicas

Además de lo expuesto en los ejemplos anteriores, hay una serie de

construcciones que nos proporcionan espacios vectoriales a partir de otros. Además
de las definiciones concretas que figuran a continuación, también se caracterizan
por propiedades universales, que determina un objeto X especificando las
aplicaciones lineales de X a cualquier otro espacio vectorial.

Suma directa de espacios vectoriales

Espacios vectoriales con estructura adicional

Desde el punto de vista del álgebra lineal, los espacios vectoriales se

comprenden completamente en la medida en que cualquier espacio vectorial se
caracteriza, salvo isomorfismos, por su dimensión. Sin embargo, los espacios
vectoriales ad hoc no ofrecen un marco para hacer frente a la cuestión fundamental
para el análisis de si una sucesión de funciones converge a otra función. Asimismo,
el álgebra lineal no está adaptada per se para hacer frente a series infinitas, ya que
la suma solo permite un número finito de términos para sumar. Las necesidades del
análisis funcional requieren considerar nuevas estructuras.

Espacios normados
Un espacio vectorial es normado si está dotado de una norma.

Espacio métrico
Un espacio métrico es un espacio vectorial dotado de una aplicación
distancia.

Proposición 5. Un espacio normado es un espacio métrico, donde la distancia

viene dada por:

Toda distancia inducida por la norma es una distancia.

Espacios vectoriales topológicos

Dada una topología sobre un espacio vectorial donde los puntos sean
cerrados y las dos operaciones del espacio vectorial sean continuas respecto dichas
topología, diremos que:

es una topología vectorial sobre ,

es un espacio vectorial topológico.

Proposición 6.. Todo espacio vectorial topológico dotado de una métrica es

espacio normado.
Proposición 7.. Todo espacio normado es un espacio vectorial topológico.

Espacios de Banach
 Un espacio de Banach es un espacio normado y completo.

Espacios prehilbertianos
Un espacio prehilbertiano es un par , donde es un espacio
vectorial y es un producto a escalar.

Espacios de Hilbert
Un espacio de Hilbert es un espacio prehilbertiano completo por la norma
definida por el producto escal.ar

Morfismos entre espacios vectoriales

Son aplicaciones entre espacios vectoriales que mantienen la estructura de los

espacios vectoriales, es decir, conservan las dos operaciones y las propiedades de
estas de uno a otro de dichos espacios.

Aplicaciones lineales
Dado dos espacios vectoriales y , sobre un mismo cuerpo, diremos que una
aplicación es lineal si:

. ,
 Véase también

Combinación linea l
Sistema generado r
Independencia linea l
Base (álgebra)
Teorema rango-nulidad
Base Ortogona l
Base Ortonorma l
Coordenadas cartesiana s
Producto escala r
Producto vectoria l
Producto mixto
Producto tensoria l

Portal:Matemática . Contenido relacionado con Matemática .

Wikilibros alberga un libro o manual sobre Espacio vectoria l.

Referencias

Notas

1. Bourbaki, 1969, ch. "Álgabre linéaire et álgebre multilinéaire", pp. 78–

91.
2. Bolzano, 1804.
3. Möbius, 1827.
4. Hamilton, 1853.
5. Grassmann, 1844.
6. Peano, 1888, ch. IX.
7. Banach, 1922.

Referencias históricas

Banach, Stefan (1922). Sur les opérations dans les ensembles abstraits et
leur application aux équations intégrales (On operations in abstract sets and their
application to integral equations) (en francés) 3. Fundamenta Mathematicae. ISSN
0016-2736.
 Bolzano, Bernard (1804). Betrachtungen über einige Gegenstände der
Elementargeometrie (Considerations of some aspects of elementary geometry )
(en alemán).
Bourbaki, Nicolas (1969). Éléments d'histoire des mathématiques
(Elements of history of mathematics) (en francés). Paris: Hermann.
Grassmann, Hermann (1844). Die Lineale Ausdehnungslehre - Ein neuer
Zweig der Mathematik (en alemán).
Hamilton, William Rowan (1853). Lectures on Quaternions (en inglés).
Royal Irish Academy.
Möbius, August Ferdinand (1827). Der Barycentrische Calcul : ein neues
Hülfsmittel zur analytischen Behandlung der Geometrie (Barycentric calculus: a
new utility for an analytic treatment of geometry) (en alemán). Archivado desde el
original el 12 de abril de 2009.
Moore, Gregory H. (1995), «The axiomatization of linear algebra: 1875–
1940», Historia Mathematica 22 (3): 262-
303, ISSN 0315-0860
Peano, Giuseppe (1888). Calcolo Geometrico secondo l'Ausdehnungslehre di
H. Grassmann preceduto dalle Operazioni della Logica Deduttiva (en italiano).
Turin.
Bibliografía

Castellet, M.; Llerena, I. (1988). «IV espais vectorials». Àlgebra lineal i

geometría (en catalán). Publ. UAB.
Lang, S. (1976). Álgebra Lineal. Fondo Educativo Interamericano.
Queysanne, M., Álgebra Básica, Vicens-Vives. 1973.
Rudin, w., Análisis Funcional (Definición axiomática de espacios vectoriales
topológicos introductivamente), Reverté.

Enlaces externos
Juega con vectores
Weisstein, Eric W. «Espacio vectorial». En Weisstein, Eric W. MathWorld
(en inglés). Wolfram Research.
 A lecture about fundamental concepts related to vector spaces (given aMITt
)
A graphical simulator for the concepts of span, linear
dependenc,y base and dimension Obtenido de
«https://es.wikipedia.org/w/index.php?
title=Espacio_vectorial&oldid=11119457»4

Esta página se editó por última vez el 10 oct 2018 a las 22:35.

El texto está disponible bajo laLicencia Creative Commons Atribución

Compartir Igual 3. ; pueden aplicarse cláusulas0 adicionales. Al usar este
sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de laFundación Wikimedia, Inc , una
organización sin ánimo de lucro..