Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Espacio vectorial
Un espacio vectorial es una estructura matemtica creada a partir de un conjunto no vaco con una operacin suma interna al conjunto y una operacin producto externa entre dicho conjunto y un cuerpo, cumpliendo una serie de propiedades o requisitos iniciales. A los elementos de un espacio vectorial se les llamar vectores y a los elementos del cuerpo se les llamar escalares. Histricamente, las primeras ideas que condujeron a los espacios vectoriales modernos se remontan al siglo XVII: geometra analtica, matrices y sistemas de ecuaciones lineales. La primera formulacin moderna y axiomtica se debe a Giuseppe Peano, a finales del siglo XIX. Los siguientes avances en la teora de espacios vectoriales provienen del anlisis funcional, principalmente de los espacios de funciones. Los problemas de Anlisis funcional requeran resolver problemas sobre la convergencia. Esto se hizo dotando a los espacios vectoriales de una adecuada topologa, permitiendo tener en cuenta cuestiones de proximidad y continuidad. Estos espacios vectoriales topolgicos, en particular los espacios de Banach y los espacios de Hilbert tienen una teora ms rica y elaborada. Los espacios vectoriales tienen aplicaciones en otras ramas de la matemtica, la ciencia y la ingeniera. Se utilizan en mtodos como las series de Fourier, que se utiliza en las rutinas modernas de compresin de imgenes y sonido, o proporcionan el marco para resolver ecuaciones en derivadas parciales. Adems, los espacios vectoriales proporcionan una forma abstracta libre de coordenadas de tratar con objetos geomtricos y fsicos, tales como tensores, que a su vez permiten estudiar las propiedades locales de variedades mediante tcnicas de linealizacin.
Espacio vectorial
Observacin
Para demostrar que un conjunto Si supisemos que 1, 2, 3 y 4. Si supisemos que el producto es una accin por la izquierda de Si no se dice lo contrario, . tendramos probados los apartados 5 y 6. es un espacio vectorial: es un grupo conmutativo o abeliano respecto la suma ya tendramos probados los apartados
Notaciones
Un -espacio vectorial es un espacio vectorial sobre un cuerpo tambin se distingue del escalar cero por el contexto. . .
Propiedades
Unicidad del vector neutro de la propiedad 3: supongamos que el neutro no es nico, es decir, sean y dos vectores neutros, entonces:
Unicidad del vector opuesto de la propiedad 4: supongamos que el opuesto no es nico, es decir, sean como el neutro es nico: y dos vectores opuestos de , entonces,
Espacio vectorial Unicidad del elemento inverso en el cuerpo supongamos que el inverso como el neutro es nico: de a, no es nico, es decir, sean y dos opuestos de , entonces,
Notacin
.
son, de forma genrica, u=(x,y), es decir, pares de nmeros reales. , esto implica
que la suma de vectores es interna y bien definida. 1)u+v = (x1,y1) + (x2,y2) = (x1+x2,y1+y2) = (x2+x1,y2+y1) = (x2,y2) + (x1,y1) = v+u, es decir u+v=v+u. 2)u+(v+w) = u + ((x2,y2) + (x3,y3)) = u + (x2+x3,y2+y3) = (x1,y1) + ( (x2+x3) , (y2+y3) ) = (x1+(x2+x3),y1+(y2+y3)) = (x1+x2+x3,y1+y2+y3), ahora vase que (u+v)+w es lo mismo, es decir u+(v+w)=(u+v)+w. 3)u+(0,0) = (x,y)+(0,0) = (x+0,y+0) = (x,y) = u, es decir (0,0)=0 cero de V. 4)u = (x,y), u+(-x,-y) = (x,y)+(-x,-y) = (x-x,y-y) = (0,0) = 0, es decir -u:=(-x,-y) en general. defino la operacin au = a(x,y) := (ax,ay) = (x2,y2) que pertenece a vector por escalar es externa y an as est bien definida. a) a(bu) = a(b(x,y)) = a(bx,by) = (a(bx),a(by)) = ((ab)x,(ab)y) = (ab)(x,y) = (ab)u, es decir a(bu)=(ab)u. b) 1u = 1(x,y) = (1x,1y) = (x,y) = u, es decir 1u=u. c) a(u+v) = a((x1,y1)+(x2,y2)) = a(x1+x2,y1+y2) = (a(x1+x2),a(y1+y2)) = (ax1+ax2,ay1+ay2) = (ax1,ay1)+(ax2,ay2) = au+av, es decir a(u+v)=au+av. d) (a+b)u = (a+b)(x,y) = ((a+b)x,(a+b)y) = (ax+bx,ay+by) = (ax,ay)+(bx,by) = au+bu, es decir (a+b)u=au+bu. Queda demostrado que es espacio vectorial. , esto implica que la multiplicacin de
Espacio vectorial
1) Decir que u+v=v+u, es exigir que las dos sumas simplifiquen en el mismo vector, en negro. Vase que en fsica los vectores en rojo simulan la descomposicin de fuerzas ejercidas por el vector negro en su origen, y se representa con un paralelogramo.
2) Decir que u+(v+w)=(u+v)+w, es exigir que las simplificaciones de sumas de vectores puedan ser optativas en cualquier cadena de sumas.
Espacio vectorial 3) Decir que existe un vector 0 tal que u+0=u, equivale a exigir que exista un vector incapaz de efectuar, mediante la suma, modificacin alguna a todos los vectores.
4) Decir que u+(-u)=0, es exigir la existencia de un elemento, -u, que sumado a u simplifique en un vector cero.
Los escalares se representarn con una lnea de trazos a modo, exclusivamente, de distincin ya que no siempre pertenecen al espacio de vectores. Por un lado la representacin del producto en el caso modifica, visualmente, la longitud de la imagen del adems de vector, quedando ambos siempre superpuestos; por otro lado las representaciones en el caso
modificar la longitud, tambin agrega rotaciones, para facilitarlas visualmente considrense centradas en el origen del vector, siendo estas modificaciones un poco ms expresivas, visualmente, pero no ms fciles que en el caso real:
a)Decir que a(bu)=(ab)u, es exigir que los productos encadenados a(b(u)) pueden simplificarse como uno, c=ab, luego (ab)u queda como cu.
b) Decir que existe el escalar 1 tal que 1u=u, equivale a decir exista un escalar incapaz de efectuar, mediante producto, modificacin alguna a todos los vectores.
Espacio vectorial
Para el caso real se han de eliminar las rotaciones de los ejemplos anteriores.
Historia
Los espacios vectoriales se derivan de la geometra afn, a travs de la introduccin de coordenadas en el plano o el espacio tridimensional. Alrededor de 1636, los matemticos franceses Descartes y Fermat fundaron las bases de la geometra analtica mediante la vinculacin de las soluciones de una ecuacin con dos variables a la determinacin de una curva plana.[1] Para lograr una solucin geomtrica sin usar coordenadas, Bernhard Bolzano introdujo en 1804 ciertas operaciones sobre puntos, lneas y planos, que son predecesores de los vectores.[2] Este trabajo hizo uso del concepto de coordenadas baricntricas de August Ferdinand Mbius de 1827.[3] El origen de la definicin de los vectores es la definicin de Giusto Bellavitis de bipoint, que es un segmento orientado, uno de cuyos extremos es el origen y el otro un objetivo. Los vectores se reconsideraron con la presentacin de los nmeros complejos de Argand y Hamilton y la creacin de los cuaterniones por este ltimo (Hamilton fue adems el que invent el nombre de vector).[4] Son elementos de R2 y R4; el tratamiento mediante combinaciones lineales se remonta a Laguerre en 1867, quien tambin defini los sistemas de ecuaciones lineales. En 1857, Cayley introdujo la notacin matricial, que permite una armonizacin y simplificacin de los aplicaciones lineales. Casi al mismo tiempo, Grassmann estudi el clculo baricntrico iniciado por Mbius. Previ conjuntos de objetos abstractos dotados de operaciones.[5] En su trabajo, los conceptos de independencia lineal y dimensin, as como de producto escalar estn presentes. En realidad el trabajo de Grassmann de 1844 supera el marco de los espacios vectoriales, ya que teniendo en cuenta la multiplicacin, tambin, lo llev a lo que hoy en da se llaman lgebras. El matemtico italiano Peano dio la primera definicin moderna de espacios vectoriales y aplicaciones lineales en 1888.[6]
Espacio vectorial Un desarrollo importante de los espacios vectoriales se debe a la construccin de los espacios de funciones por Henri Lebesgue. Esto ms tarde fue formalizado por Banach en su tesis doctoral de 1920[7] y por Hilbert. En este momento, el lgebra y el nuevo campo del anlisis funcional empezaron a interactuar, en particular con conceptos clave tales como los espacios de funciones p-integrables y los espacios de Hilbert. Tambin en este tiempo, los primeros estudios sobre espacios vectoriales de infinitas dimensiones se realizaron.
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 . .
(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, ...). El espacio de las matrices , , sobre , con las operaciones:
Tambin son espacios vectoriales cualquier agrupacin de elementos de tenemos las cajas genrica. sobre
Espacio vectorial
Expresin
general: , considrese . y ,
,donde
los
coeficientes
donde
Las series de potencias son similares, salvo que se permiten infinitos trminos distintos de cero. Funciones trigonomtricas Las funciones trigonomtricas forman espacios vectoriales, con las siguientes operaciones: Expresin general:
Espacio vectorial
equivalentemente
simplificado como Un sistema de ecuaciones lineales homogneas( ecuaciones lineales en las que decir, operaciones: Si Si Veamos que las ecuaciones en s, filas de la matriz Si Si . .
, es decir,
Consecuencias
hereda las operaciones de consecuencia tenemos que como aplicaciones bien definidas, es decir que no escapan de . , y como es un espacio vectorial sobre
Con cualquier subconjunto de elementos seleccionados en los espacios vectoriales anteriores, no vaco, se pueden generar subespacios vectoriales, para ello seria til introducir nuevos conceptos que facilitarn el trabajo sobre estos nuevos espacios vectoriales.
Espacio vectorial
10
Resultados internos
Para detallar el comportamiento interno de todos los espacios vectoriales de modo general es necesario exponer una serie de herramientas cronolgicamente vinculadas entre ellas, con las cuales es posible construir resultados vlidos en cualquier estructura que sea espacio vectorial.
Combinacin lineal
, diremos que un vector u es combinacin lineal de los vectores de si existen escalares tales que
Notaremos como
Proposicin
Dado un espacio vectorial y y que contiene a . , el conjunto es el subespacio vectorial ms pequeo contenido en Demostracin Supongamos lo contrario, que existe uno ms pequeo que u est generado por elementos de operaciones, por tanto Nota En este caso diremos que es un sistema de generadores que genera a . . contradiccin, ya a causa de la buena definicin de las dos
Independencia lineal
Diremos que un conjunto de vectores es linealmente independiente si el vector 0 no se , es decir: puede expresar como combinacin lineal no nula de los vectores de Si . Diremos que un conjunto Proposicin son linealmente dependientes Demostracin
Espacio vectorial
11
Linealmente
dependientes tomando .
Si dependientes.
donde
Base formalmente
Dado un sistema de generadores, diremos que es una base si son linealmente independientes.
Espacio vectorial Proposicin Dado un espacio vectorial . Proposicin Dado un espacio vectorial es linealmente independiente. Teorema 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. linealmente independientes y es una base
12
Observacin
Todo espacio vectorial tiene una base. Este hecho se basa en el lema de Zorn, una formulacin equivalente del axioma de eleccin. Habida cuenta de los otros axiomas de la teora de conjuntos de Zermelo-Fraenkel, la existencia de bases es equivalente al axioma de eleccin. El ultrafilter lemma, que es ms dbil que el axioma de eleccin, implica que todas las bases de un espacio vectorial tienen el mismo "tamao", es decir, cardinalidad. Si el espacio es generado por un nmero finito de vectores, todo lo anterior puede demostrarse sin necesidad de acudir a la teora de conjuntos.
Dimensin
Dado un espacio vectorial sobre : Si tiene base finita, diremos dimensin al nmero de elementos de dicha base. Si tiene base no finita, diremos que es de dimensin infinita. Notacin Dado un espacio vectorial Si Si tiene dimensin tiene dimensin y un subespacio lo indicaremos como como subespacio de , tenemos que: . lo indicaremos como .
Espacio vectorial
13
Espacio vectorial
14
Construcciones bsicas
Adems de lo expuesto en los ejemplos anteriores, hay una serie de construcciones que nos proporcionan espacios vectoriales a partir de otros. Adems de las definiciones concretas que figuran a continuacin, tambin se caracterizan por propiedades universales, que determina un objeto X especificando las aplicaciones lineales de X a cualquier otro espacio vectorial.
Espacios normados
Un espacio vectorial es normado si est dotado de una norma.
Espacio mtrico
Un espacio mtrico es un espacio vectorial dotado de una aplicacin distancia. Proposicin Un espacio normado es un espacio mtrico, donde la distancia viene dada por:
Proposicin Todo espacio vectorial topolgico dotado de una mtrica es espacio normado.
15
Espacios de Banach
Un espacio de Banach es un espacio normado y completo.
Espacios prehilbertianos
Un espacio prehilbertiano es un par escalar. , donde es un espacio vectorial y es un producto a
Espacios de Hilbert
Un espacio de Hilbert es un espacio prehilbertiano completo por la norma definida por el producto escalar.
Aplicaciones lineales
Dado dos espacios vectoriales lineal si: , . y , sobre un mismo cuerpo, diremos que una aplicacin es
Vase tambin
Portal:Matemtica. Contenido relacionado con Matemtica. Wikilibros alberga un libro o manual sobre Espacio vectorial. Subespacio vectorial K-mdulos Span lineal Combinacin lineal Sistema generador Producto tensorial Wikilibros
Espacio vectorial
16
Referencias
[1] [2] [3] [4] [5] [6] [7] Bourbaki, 1969, ch. "lgabre linaire et lgebre multilinaire", pp. 7891. Bolzano, 1804. Mbius, 1827. Hamilton, 1853. Grassmann, 1844. Peano, 1888, ch. IX. Banach, 1922.
Bibliografa
Castellet, M., Llerena, I., "lgebra lineal i geometra",Publ UAB. 1988. Definicin y detalles en el tema "IV espais vectorials". Lang, S., "lgebra Lineal", Fondo Educativo Interamericano. 1976. Queysanne, M., "lgebra Bsica", Vicens-Vives. 1973. Rudin, w., "Anlisis Funcional", Revert. Definicin axiomtica de espacios vectoriales topolgicos introductivamente.
Espacio vectorial
17
Enlaces externos
Juega con vectores (http://www.frontiernet.net/~imaging/vector_calculator.html) Weisstein, Eric W., Espacio vectorial (http://mathworld.wolfram.com/VectorSpace.html) (en ingls), MathWorld, Wolfram Research. A lecture (http://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/ lecture-9-independence-basis-and-dimension/) about fundamental concepts related to vector spaces (given at MIT) A graphical simulator (http://code.google.com/p/esla/) for the concepts of span, linear dependency, base and dimension
18
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/