Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Espacio vectorial
Este artículo está orientado a proporcionar un tratamiento riguroso y abstracto del concepto de espacio vectorial. Para una
Portada introducción más accesible al concepto, véase Vector
Portal de la comunidad En álgebra lineal, un espacio vectorial (o también llamado espacio lineal) es una
Actualidad
estructura algebraica creada a partir de un conjunto no vacío, una operación interna
Cambios recientes
(llamada suma, definida para los elementos del conjunto) y una operación externa
Páginas nuevas
Página aleatoria (llamada producto por un escalar, definida entre dicho conjunto y otro conjunto, con
Ayuda estructura de cuerpo) que satisface 8 propiedades fundamentales.
Donaciones
A los elementos de un espacio vectorial se les llama vectores y a los elementos del
Notificar un error
cuerpo se les conoce como escalares.
Herramientas
Índice [ocultar]
Lo que enlaza aquí
1 Historia
Cambios en enlazadas
Subir archivo 2 Notación
Páginas especiales 3 Definición
Enlace permanente 3.1 Observaciones
Información de la 3.2 Propiedades Representación artística de un
página espacio vectorial.
3.3 Primer ejemplo con demostración
Citar esta página
4 Ejemplos
Elemento de Wikidata
4.1 Los cuerpos
Imprimir/exportar 4.2 Sucesiones sobre un cuerpo K
Crear un libro 4.3 Espacios de aplicaciones sobre un cuerpo
Descargar como PDF 4.3.1 Los polinomios
4.3.2 Funciones trigonométricas
En otros proyectos
4.4 Los sistemas de ecuaciones lineales homogéneas
Wikimedia Commons 5 Subespacio vectorial
5.1 Definición
En otros idiomas
5.2 Consecuencias
Afrikaans
6 Resultados internos
ﺍﻟﻌﺭﺑﻳﺔ
6.1 Combinación lineal
Asturianu
6.1.1 Proposición 1
Башҡортса
6.2 Independencia lineal
Беларуская
Български
6.2.1 Proposición 2
भोजपुरी 6.3 Base de un espacio vectorial
বাংলা 6.4 Base formalmente
Bosanski 6.4.1 Teorema de la base de generadores
Català 6.4.2 Teorema Steinitz
ﮐﻭﺭﺩﯼ 6.5 Observación
Čeština 6.6 Dimensión
Чӑвашла 6.6.1 Notación
Cymraeg
6.7 Intersección de subespacios vectoriales
Dansk
6.8 Suma de subespacios vectoriales
Deutsch
6.9 Teorema Fórmula de Grassmann
Ελληνικά
English
6.10 Suma directa de subespacios vectoriales
Esperanto 6.11 Cociente de espacios vectoriales
Eesti 7 Construcciones básicas
Euskara 7.1 Suma directa de espacios vectoriales
ﻓﺎﺭﺳﯽ 8 Espacios vectoriales con estructura adicional
Suomi 8.1 Espacios normados
Français 8.2 Espacios vectoriales topológicos
Gaeilge
8.3 Espacios de Banach
Galego
8.4 Espacios prehilbertianos
עברית
8.5 Espacios de Hilbert
िह ी
Hrvatski 9 Morfismos entre espacios vectoriales
Magyar 9.1 Aplicaciones lineales
Հայերեն 10 Véase también
Interlingua 11 Referencias
Bahasa Indonesia 11.1 Notas
Íslenska 11.2 Referencias históricas
Italiano
11.3 Bibliografía
日本語
12 Enlaces externos
한국어
Кыргызча
Page 1 / 11
11.3 Bibliografía
日本語
12 Enlaces externos
한국어
Кыргызча
Latina
Lombard
Historia [editar]
ລາວ Históricamente, las primeras ideas que condujeron a los espacios vectoriales modernos se remontan al siglo XVII: geometría
Lietuvių
analítica, matrices y sistemas de ecuaciones lineales.
Latviešu
Македонски Los espacios vectoriales se derivan de la geometría afín a través de la introducción de coordenadas en el plano o el espacio
മലയാളം tridimensional. Alrededor de 1636, los matemáticos franceses Descartes y Fermat fundaron las bases de la geometría analítica
Bahasa Melayu mediante la vinculación de las soluciones de una ecuación con dos variables a la determinación de una curva plana.nota 1
Nederlands
Para lograr una solución geométrica sin usar coordenadas, Bernhard Bolzano introdujo en 1804 ciertas operaciones sobre
Norsk nynorsk
puntos, líneas y planos, que son predecesores de los vectores.nota 2 Este trabajo hizo uso del concepto de coordenadas
Norsk bokmål
baricéntricas de August Ferdinand Möbius de 1827.nota 3
ਪੰਜਾਬੀ
Polski La primera formulación moderna y axiomática se debe a Giuseppe Peano, a finales del siglo XIX. Los siguientes avances en la
Piemontèis
teoría de espacios vectoriales provienen del análisis funcional, principalmente de espacios de funciones. Los problemas de
ﭘﻧﺟﺎﺑﯽ
Análisis funcional requerían resolver problemas sobre la convergencia. Esto se hizo dotando a los espacios vectoriales de una
Português
adecuada topología, permitiendo tener en cuenta cuestiones de proximidad y continuidad. Estos espacios vectoriales
Română
Русский
topológicos, en particular los espacios de Banach y los espacios de Hilbert tienen una teoría más rica y elaborada.
Sicilianu El origen de la definición de los vectores es la definición de Giusto Bellavitis de bipoint, que es un segmento orientado, uno de
Srpskohrvatski /
српскохрватски
cuyos extremos es el origen y el otro un objetivo. Los vectores se reconsideraron con la presentación de los números
Simple English complejos de Argand y Hamilton y la creación de los cuaterniones por este último (Hamilton fue además el que inventó el
Slovenčina nombre de vector).nota 4 Son elementos de R2 y R4; el tratamiento mediante combinaciones lineales se remonta a Laguerre
Slovenščina en 1867, quien también definió los sistemas de ecuaciones lineales.
Српски / srpski
Svenska
En 1857, Cayley introdujo la notación matricial que permite una armonización y simplificación de las aplicaciones lineales. Casi
த ழ் al mismo tiempo, Grassmann estudió el cálculo baricéntrico iniciado por Möbius. Previó conjuntos de objetos abstractos
Tagalog dotados de operaciones.nota 5 En su trabajo, los conceptos de independencia lineal y dimensión, así como de producto
Türkçe escalar están presentes. En realidad el trabajo de Grassmann de 1844 supera el marco de los espacios vectoriales, ya que
Українська
teniendo en cuenta la multiplicación, también, lo llevó a lo que hoy en día se llaman álgebras. El matemático italiano Peano dio
ﺍﺭﺩﻭ
la primera definición moderna de espacios vectoriales y aplicaciones lineales en 1888.nota 6
Vèneto
Tiếng Việt Un desarrollo importante de los espacios vectoriales se debe a la construcción de los espacios de funciones por Henri
吴语 Lebesgue. Esto más tarde fue formalizado por Banach en su tesis doctoral de 1920nota 7 y por Hilbert. En este momento, el
中文
álgebra y el nuevo campo del análisis funcional empezaron a interactuar, en particular con conceptos clave tales como los
文言
espacios de funciones pintegrables y los espacios de Hilbert. También en este tiempo, los primeros estudios sobre espacios
Bânlâmgú
vectoriales de infinitas dimensiones se realizaron.
粵語
Editar enlaces Los espacios vectoriales tienen aplicaciones en otras ramas de la matemática, la ciencia y la ingeniería. Se utilizan en métodos
como las series de Fourier, que se utiliza en las rutinas modernas de compresión de imágenes y sonido, o proporcionan el
marco para resolver ecuaciones en derivadas parciales. Además, los espacios vectoriales proporcionan una forma abstracta
libre de coordenadas de tratar con objetos geométricos y físicos, tales como tensores, que a su vez permiten estudiar las
propiedades locales de variedades mediante técnicas de linealización.
Notación [editar]
Los elementos de suelen denotarse por
y son llamados vectores.
Dependiendo las fuentes que se consulten, también es común denotarlos por
y si el texto es de física entonces suelen denotarse por
Mientras que los elementos de se denotan como
y son llamados escalares.
Definición [editar]
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, digamos , dotado de dos operaciones para las cuales será cerrado:
operación interna tal que:
Tenga la propiedad conmutativa:
Page 2 / 11
Tenga la propiedad conmutativa:
Tenga la propiedad asociativa:
Exista el elemento neutro:
Exista el elemento opuesto:
Y tenga la operación producto por un escalar:
operación externa tal que:
Tenga la propiedad asociativa:
Exista el elemento neutro:
Tenga la propiedad distributiva respecto de la suma vectorial:
Tenga la propiedad distributiva respecto de la suma escalar:
Véase también: Espacio euclídeo
Véase también: Vector
Véase también: Representación gráfica de vectores
Observaciones [editar]
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:
Propiedades [editar]
Unicidad del vector neutro de la propiedad 3
Unicidad del vector opuesto de la propiedad 4
Unicidad del elemento en el cuerpo
Unicidad del elemento inverso en el cuerpo
Producto de un escalar por el vector neutro Page 3 / 11
Producto de un escalar por el vector neutro
Producto del escalar 0 por un vector
Si
Si es cierto.
Si entonces:
Notación
Observación
Si
Si
Primer ejemplo con demostración [editar]
Se quiere probar que es un espacio vectorial sobre
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:
2) La propiedad asociativa:
3) tiene elemento neutro :
Page 4 / 11
4) tenga elemento opuesto:
La operación producto por un escalar:
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:
Esto es:
6) sea elemento neutro en el producto:
Que resulta:
Que tiene la propiedad distributiva:
7) distributiva por la izquierda:
En este caso tenemos:
8) distributiva por la derecha:
Que en este caso tenemos:
Queda demostrado que es espacio vectorial.
Ejemplos [editar]
Los cuerpos [editar]
Todo cuerpo es un espacio vectorial sobre él mismo, usando como producto por escalar el producto del cuerpo.
es un espacio vectorial de dimensión uno sobre .
Todo cuerpo es un espacio vectorial sobre su subcuerpo, usando como producto por escalar el producto del cuerpo.
es un espacio vectorial sobre .
es un espacio vectorial sobre .
Sucesiones sobre un cuerpo K [editar]
El espacio vectorial más conocido notado como , donde n>0 es un entero, tiene como elementos ntuplas, 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, ...).
También son espacios vectoriales cualquier agrupación de elementos de en las cuales se defina las operaciones suma y
producto entre estas agrupaciones, elemento a elemento, similar al de matrices , así por ejemplo tenemos las cajas
sobre que aparecen en el desarrollo de Taylor de orden 3 de una función genérica.
Espacios de aplicaciones sobre un cuerpo [editar]
Los polinomios [editar]
El espacio vectorial formado por funciones polinómicas, veámoslo:
, donde y ,
Las series de potencias son similares, salvo que se permiten infinitos términos distintos de
cero.
Suma de f(x)=x+x2 y g(x)=x2 .
Funciones trigonométricas [editar]
Las funciones trigonométricas forman espacios vectoriales con las siguientes operaciones:
Expresión general:
Los sistemas de ecuaciones lineales homogéneas [editar]
Artículos principales: Ecuación lineal, Ecuación diferencial lineal y Sistemas de ecuaciones lineales.
o equivalentemente simplificado como
Un sistema de ecuaciones lineales homogéneas( ecuaciones lineales en las que es
siempre una solución, es decir, ) posee soluciones que forman un espacio
vectorial, se puede ver en sus dos operaciones:
Si
Si .
Si .
Subespacio vectorial [editar]
Definición [editar]
Page 6 / 11
Definición [editar]
1.
2.
y .
Consecuencias [editar]
Con cualquier subconjunto de elementos seleccionados en los espacios vectoriales anteriores, no vacío, se pueden generar
subespacios vectoriales, para ello sería útil introducir nuevos conceptos que facilitarán el trabajo sobre estos nuevos espacios
vectoriales.
Resultados internos [editar]
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 [editar]
Denotaremos como el conjunto resultante de todas las combinaciones lineales
de los vectores de .
Proposición 1 [editar]
Demostración
Si se supone lo contrario, que existe uno más pequeño contradicción, ya que u está
generado por elementos de a causa de la buena definición de las dos operaciones, por tanto
.
Nota. En este caso se dice que es un sistema de generadores que genera a .
Independencia lineal [editar]
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 [editar]
son linealmente dependientes
Demostración
Linealmente dependientes tomando .
Base de un espacio vectorial [editar]
Artículos principales: Base y Dimensión.
Las bases revelan la estructura de los espacios vectoriales de una manera concisa. Una base es el menor conjunto (finito o
infinito) B = {v i}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
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 [editar]
Dado un sistema de generadores, diremos que es una base si son linealmente
independientes.
Proposición 3. Dado un espacio vectorial es una base
.
Proposición 4. Dado un espacio vectorial linealmente independiente y
son linealmente independiente.
v1 y v2 son base de un plano, si
Teorema de la base de generadores [editar]
hubiese dependencia lineal
Todo sistema de generadores tiene una base. (alineados), la cuadrícula no podría
generarse.
Teorema Steinitz [editar]
Toda base de un espacio vectorial puede ser cambiada parcialmente por vectores linealmente independientes.
Observación [editar]
Todo espacio vectorial tiene una base. Este hecho se basa en el lema de Zorn, una formulación equivalente del axioma de
elección. Habida cuenta de los otros axiomas de la teoría de conjuntos de ZermeloFraenkel, 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 [editar]
Dado un espacio vectorial sobre :
Si tiene base finita, diremos dimensión al número de elementos de dicha base.
Si tiene base no finita, diremos que es de dimensión infinita.
Notación [editar]
Intersección de subespacios vectoriales [editar]
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 [editar]
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 [editar]
Dado dos subespacios vectoriales de dimensión finita, tenemos el resultado siguiente:
Suma directa de subespacios vectoriales [editar]
Cociente de espacios vectoriales [editar]
Dado un espacio vectorial y un subespacio vectorial .
La relación anterior es una relació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 [editar]
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 [editar]
Espacios vectoriales con estructura adicional [editar]
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 [editar]
Artículos principales: Espacio vectorial normado y Norma (matemáticas).
Un espacio vectorial es normado si está dotado de una norma.
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 [editar]
Artículo principal: Espacio vectorial topológico
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 [editar]
Artículo principal: Espacio de Banach
Un espacio de Banach es un espacio normado y completo.
Espacios prehilbertianos [editar]
Artículo principal: Espacio prehilbertiano
Espacios de Hilbert [editar]
Artículo principal: Espacio de Hilbert
Page 9 / 11
Espacios de Hilbert [editar]
Artículo principal: Espacio de Hilbert
Un espacio de Hilbert es un espacio prehilbertiano completo por la norma definida por el producto escalar.
Morfismos entre espacios vectoriales [editar]
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 [editar]
Artículo principal: Aplicación lineal
Véase también [editar]
Combinación lineal
Sistema generador
Independencia lineal
Base (álgebra)
Teorema rangonulidad
Base Ortogonal
Base Ortonormal
Coordenadas cartesianas
Producto escalar
Producto vectorial
Producto mixto
Producto tensorial
Portal:Matemática. Contenido relacionado con Matemática.
Wikilibros alberga un libro o manual sobre Espacio vectorial.
Referencias [editar]
Notas [editar]
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 [editar]
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
00162736.
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). París:
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): 262303,
ISSN 03150860 .
Peano, Giuseppe (1888). Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni
della Logica Deduttiva (en italiano). Turin.
Bibliografía [editar]
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. Page 10 / 11
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, VicensVives. 1973.
Rudin, w., Análisis Funcional (Definición axiomática de espacios vectoriales topológicos introductivamente), Reverté.
Enlaces externos [editar]
Juega con vectores
Weisstein, Eric W. «Espacio vectorial» . En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
A lecture about fundamental concepts related to vector spaces (given at MIT)
A graphical simulator for the concepts of span, linear dependency, base and dimension
Control de autoridades
Identificadores · BNF: 11947083w (data) · GND: 41306223 · LCCN: sh85142456 · NKC: ph156663 ·
Diccionarios y enciclopedias · Britannica: url · Ontologías · Número IEV: 1020301
Esta página se editó por última vez el 25 ago 2022 a las 16:20.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este
sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.
Declaración de cookies
Page 11 / 11