Definio

Um espao vectorial uma entidade formada pelos seguinte elementos: 1. Um corpo K, ou seja, um conjunto dotado de duas operaes internas com propriedades distributivas, elemento inverso, etc. cujos elementos sero chamados de escalares. Os nmeros reais, em relao adio e multiplicao, so um exemplo de corpo. 2. Um conjunto V dotado de uma operao binria (representada aqui pelo sinal +) de em V. Os elementos de V sero chamados de vetores. 3. Uma operao . de em V. Observao: na definio acima e nas propriedades abaixo, so usados os smbolos de soma (+) e produto (.) para representar, em cada caso, duas funes distintas: a + b para elementos de K no o mesmo que a + b para elementos de V, assim como a.b para elementos de K no o mesmo que a.b quando a K e b V. Caso possa haver confuso, recomenda-se o uso de smbolos diferentes para essas operaes, por exemplo usar para as operaes de K e para as operaes de em V e de em V. Neste caso, costuma-se dizer que o espao vetorial a sxtupla ordenada (a generalizao de par ordenado, mas com 6 elementos) .

Os seguintes axiomas (alm de K ser um corpo) devem valer para que os elementos acima constituam um espao vectorial: 1. (u + v) + w = u + (v + w) para u, v e w elementos de V (associatividade) 2. H um elemento 0 V, tal que, para cada v V, v + 0 = 0 + v = v (existncia de elemento neutro) 3. Para cada v V, existe u V tal que v + u = 0 (existncia de elemento oposto) 4. Para cada v,u V, u + v = v + u (comutatividade) 5. Para cada a,b K e cada v V, a.(b.v) = (a.b).v 6. Se 1 a unidade de K, ento, para cada v V, 1.v = v 7. Para cada a K e cada v,u V, a.(v + u) = a.v + a.u 8. Para cada a,b K e cada v V, (a + b).v = a.v + b.v Os axiomas de 1 a 4 mostram que com relao a operao de adio um espao vetorial um grupo abeliano. O elemento v cuja existncia garantida pelo terceiro axioma nico (como em qualquer grupo) e representa-se por v. O conceito de espao vetorial (e os vetores como seus elementos) inteiramente abstrato, como os conceitos de grupos, anis, corpos, etc. Para determinar se um conjunto V um espao vetorial, temos apenas que especificar o conjunto, o corpo K, e definir adio em V e multiplicao por escalar em V. Ento se V satisfizer as condies acima ele ser um espao vetorial sobre o corpo K. Em uma demonstrao rigorosa, os axiomas 2 e 3 (elemento neutro e elemento oposto em V) podem ser omitidos, porque eles podem ser facilmente deduzidos a partir dos outros axiomas:

Sejam 0 e 1 os elementos neutros aditivo e multiplicativo de K. Ento, como 1.v = v qualquer que seja v, temos que 0.v + v = 0.v + 1.v = (0+1).v = 1.v = v, ou seja, 0.v o elemento neutro de V Em K, existe um elemento -1 tal que -1 + 1 = 0. Logo, (-1).v + v = (-1).v + 1.v = (-1 + 1).v = 0.v, ou seja, (-1).v o elemento inverso de v.

[editar] Exemplos

Seja V formado por um nico elemento a. Ento, definindo-se a + a = a e k a = a para todo elemento k de um corpo K, temos que V um espao vetorial com K como corpo de escalares. Obviamente, como a o elemento neutro de V, este espao vetorial representado por V = { 0 }. Outro exemplo trivial considerar V = K, e as operaes de espao vetorial sendo as mesmas operaes do corpo. Seja V = K2 o conjunto dos pares ordenados de elementos de K. Ento, definindo-se (a,b) + (c,d) = (a+c, b+d) e k . (a,b) = (ka, kb), temos que V um espao vetorial. Seja I um conjunto qualquer (chamado, neste contexto, de conjunto de indices). Ento o conjunto das funes de I em K um espao vetorial, definindo-se naturalmente a soma de duas funes e o produto de um escalar por uma funo. Este ltimo exemplo , de forma geral, a forma de qualquer outro espao vetorial, porm este resultado requer, em sua demonstrao, conceitos abstratos como a teoria das Categorias e o axioma da escolha.

[editar] Propriedades

Se

, ento 0.v = 0. Isto assim porque

0 = 0.v 0.v = (0 0).v = 0.v. Se v V, ( 1).v = v. Isto assim porque ( 1).v + v = ( 1).v + 1.v = (( 1) + 1).v = 0.v = 0. Se a K e v V, ento a.( v) = (a.v). Isto assim porque a.( v) + a.v = a.( v + v) = a.0 = 0.

[editar] Terminologia

Um espao vectorial sobre R, o conjuntos dos nmeros reais, chamado espao vetorial real. Um espao vectorial sobre C, o conjuntos dos nmeros complexos, chamado espao vetorial complexo. Um espao vetorial com um conceito definido de comprimento, isto uma norma definida, chamado espao vectorial normado.

[editar] Tipos de Espaos Vectoriais

Espao Vectorial Euclidiano: qualquer espao real que possui um nmero finito de dimenses e possui uma operao denominada produto interno. Espao de Hilbert: qualquer espao vetorial que possui uma operao denominada produto interno e cuja mtrica gerada por esse produto interno o torne um espao completo. Espao normado: qualquer espao vetorial que possui uma norma definida Espao de Banach: um espao normado completo na mtrica gerada por esta norma. Espao vectorial topolgico: se existe uma topologia compatvel com as operaes de espao vectorial.