Espacio vectorial

Saltar a: navegacin, bsqueda

Este artculo est orientado a proporcionar un tratamiento riguroso y
abstracto del concepto de espacio vectorial. Para una introduccin
ms accesible al concepto, vase Vector

Representacin artstica de un espacio vectorial.

En matemticas, un espacio vectorial es una estructura algebraica creada a partir de un

conjunto no vaco, una operacin interna (llamada suma, definida para los elementos del
conjunto) y una operacin externa (llamada producto por un escalar, definida entre
dicho conjunto y un cuerpo matemtico), con 8 propiedades fundamentales.
A los elementos de un espacio vectorial se les llama vectores y a los elementos del
cuerpo, escalares.
Historia
Histricamente, las primeras ideas que condujeron a los espacios vectoriales modernos
se remontan al siglo XVII: geometra analtica, matrices y sistemas de ecuaciones
lineales.
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.nota 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.nota 2 Este trabajo hizo uso del
concepto de coordenadas baricntricas de August Ferdinand Mbius de 1827.nota 3
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.
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).nota 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 las aplicaciones lineales. Casi al mismo tiempo, Grassmann estudi el
clculo baricntrico iniciado por Mbius. Previ conjuntos de objetos abstractos
dotados de operaciones.nota 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.nota 6
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 1920nota 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.
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.

Notacin
Dado un espacio vectorial
Los elementos de

sobre un cuerpo

, se distinguen.

como:
se llaman vectores.

Caligrafias de otras obras

Si el texto es de fsica suelen representarse bajo una flecha:

Los elementos de

como:
se llaman escalares.

Definicin de espacio vectorial

Un espacio vectorial sobre un cuerpo (como el cuerpo de los nmeros reales o los
nmeros complejos) es un conjunto no vaco, dotado de dos operaciones para las
cuales ser cerrado:

operacin interna tal que:

1) tenga la propiedad conmutativa, es decir

2) tenga la propiedad asociativa, es decir

3) tenga elemento neutro

, es decir

4) tenga elemento opuesto, es decir

y la operacin producto por un escalar:

operacin externa tal que:

5) tenga la propiedad asociativa:

6)

sea elemento neutro del producto:

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

vectores:

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

escalares:

Vase tambin: Espacio eucldeo.

Vase tambin: Vector.
Vase tambin: Representacin grfica de vectores.

Observaciones

La denominacin de las dos operaciones no condiciona la definicin de espacio

vectorial por lo que es habitual encontrar traducciones de obras en las que se utiliza
multiplicacin para el producto y adicin para la suma, usando las distinciones propias
de la aritmtica.
Para demostrar que un conjunto

es un espacio vectorial:

Lo es si sus dos operaciones, por ejemplo

una redefinicin del tipo
cumpliendo las 8 condiciones exigidas.

admiten

Si supisemos que es un grupo conmutativo o abeliano respecto la

suma ya tendramos probados los apartados 1, 2, 3 y 4.

Si supisemos que el producto es una accin por la izquierda de

tendramos probados los apartados 5 y 6.

Si no se dice lo contrario:

.
Propiedades

Unicidad del vector neutro de la propiedad 3:

supongamos que el neutro no es nico, es decir, sean
vectores neutros, entonces:

dos

Unicidad del vector opuesto de la propiedad 4:

supongamos que el opuesto no es nico, es decir, sean
y
vectores opuestos de , entonces, como el neutro es nico:

Unicidad del elemento en el cuerpo

supongamos que 1 no es nico, es decir, sean

entonces:

Unicidad del elemento inverso en el cuerpo

supongamos que el inverso
dos opuestos de

Producto de un escalar por el vector neutro:

Si

dos unidades,

:
de a, no es nico, es decir, sean

, entonces, como el neutro es nico:

Producto del escalar 0 por un vector:

dos

Si

es cierto.

Si

entonces:

Notacin
.

Observacin

Si

Si

Primer ejemplo con demostracin al detalle

Se quiere probar que

Si

juega el papel de

es un espacio vectorial sobre

y

el de

Los elementos:

son, de forma genrica:

es decir, pares de nmeros reales. Por claridad se conserva la denominacin del vector,
en este caso u, en sus coordenadas, aadiendo el subndice x o y para denominar su
componente en el eje x o y respectivamente
En

se define la operacin suma:

donde:

y la suma de u y v sera:

donde:

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

La operacin interna suma tiene las propiedades:
1) La propiedad conmutativa, es decir:

2) La propiedad asociativa:

3) tiene elemento neutro :

4) tenga elemento opuesto:

La operacin producto por un escalar:

El producto de a y u ser:

donde:

esto implica que la multiplicacin de vector por escalar es externa y an as est bien
definida.
5) tenga la propiedad:

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 de espacios vectoriales

Los cuerpos

Todo cuerpo es un espacio vectorial sobre l mismo, usando como producto por escalar
el producto del cuerpo.

es un espacio vectorial de dimensin uno sobre

Todo cuerpo es un espacio vectorial sobre su subcuerpo, usando como producto por
escalar el producto del cuerpo.

es un espacio vectorial de dimensin 2 sobre

es un espacio vectorial de dimensin infinita sobre

Sucesiones sobre un cuerpo

El espacio vectorial ms 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, ...).

El espacio de las matrices

, sobre

, con las operaciones:

Tambin son espacios vectoriales cualquier agrupacin 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 funcin
genrica.
Espacios de aplicaciones sobre un cuerpo

El conjunto de las aplicaciones

, un cuerpo y
un conjunto,
tambin forman espacios vectoriales mediante la suma y la multiplicacin habitual:

Los polinomios

Suma de f(x)=x+x2 y g(x)=-x2.

El espacio vectorial K[x] formado por funciones polinmicas, vemoslo:

Expresin general:
,donde los coeficientes

, considrese

, donde
y

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:

.
Los sistemas de ecuaciones lineales homogneas
Artculos principales: Ecuacin lineal, Ecuacin diferencial lineal y Sistemas
de ecuaciones lineales.

Sistema de 2 ecuaciones y 3 variables

o equivalentemente

simplificado como
Un sistema de ecuaciones lineales homogneas( ecuaciones lineales en las que
siempre una solucin, es decir,
que forman un espacio vectorial, veamos sus dos operaciones:

) posee soluciones

es

Si
Si

Veamos que las ecuaciones en s, filas de la matriz

es decir,
operaciones:

notadas como una matriz

, son tambin un espacio vectorial, veamos sus dos

Si
Si

Definicin de subespacio vectorial

Sea un espacio vectorial sobre
de si:

no vaco,

es un subespacio vectorial

Consecuencias

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 vaco, se pueden generar subespacios vectoriales, para ello seria til
introducir nuevos conceptos que facilitarn 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 cronolgicamente vinculadas
entre ellas, con las cuales es posible construir resultados vlidos en cualquier estructura
que sea espacio vectorial.
Combinacin lineal

Cada vector u es combinacin lineal de forma nica

Dado un espacio vectorial

vectores de

, diremos que un vector u es combinacin lineal de los

si existen escalares

Notaremos como
vectores de

tales que

el conjunto resultante de todas las combinaciones lineales de los

.

Proposicin 1

Dado

un espacio vectorial y

un conjunto de vectores, el conjunto

es el subespacio vectorial ms pequeo contenido en

y que contiene a

[Mostrar] Demostracin
Nota. En este caso diremos que
que genera a .

es un sistema de generadores

Independencia lineal

Diremos que un conjunto

de vectores es linealmente
independiente si el vector 0 no se puede expresar como combinacin lineal no nula de
los vectores de , es decir:
Si.

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

linealmente independiente.
Proposicin 2

son linealmente dependientes

[Mostrar] Demostracin
Base de un espacio vectorial
Artculos principales: Base y Dimensin.

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 combinacin 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 combinacin lineal de los restantes. Equivalentemente, una
ecuacin
a1vi1 + ai2v2 + ... + anvin = 0

slo se consigue si todos los escalares a1, ..., an son iguales a cero. Por definicin 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 representacin es nica. Los espacios
vectoriales a veces se introducen desde este punto de vista.
Base formalmente

v1 y v2 son base de un plano, si hubiese dependencia lineal(alineados) la

cuadrcula no podra generarse

Dado un sistema de generadores, diremos que es una base si son linealmente

independientes.
Proposicin 3. Dado un espacio vectorial
es una base

.
Proposicin 4. Dado un espacio vectorial
linealmente independiente y
es linealmente independiente.
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
cualquier otra base posee vectores.

vectores

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

y un subespacio

, tenemos que:

Si

tiene dimensin

lo indicaremos como

Si

tiene dimensin

como subespacio de

.
lo indicaremos como

.
Interseccin de subespacios vectoriales

Dado dos subespacios vectoriales

contenido en estos y lo notaremos como:

, la interseccin es subespacio vectorial

.
Observaciones. Para la interseccin sucesiva de espacios
vectoriales se procede, inductivamente, de dos en dos.

La unin de subespacios vectoriales no es en general un subespacio vectorial.

Suma de subespacios vectoriales

Dado dos subespacios vectoriales

contiene a estos y la notaremos como:

, la suma es un subespacio vectorial que

.
Observacin. Para la suma sucesiva de espacios vectoriales se
procede, inductivamente, de dos en dos.
Teorema Frmula de Grassmann

Dado dos subespacios vectoriales

siguiente:

de dimensin finita, tenemos el resultado

.
Suma directa de subespacios vectoriales

Dado dos subespacios vectoriales

directa si

, diremos que

es una suma

y lo notaremos como:
.

Cociente de espacios vectoriales

Dado un espacio vectorial

Dados

y un subespacio vectorial

diremos que estn relacionados modulo

.
si

La relacin anterior es una relacin de equivalencia.

Se nota por
a la clase de

modulo

Llamaremos conjunto cociente o espacio cociente al conjunto de las clases de

equivalencia anterior:
Se nota por

El espacio

a dicho espacio cociente.

es un espacio vectorial con las operaciones siguientes:

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.

Suma directa de espacios vectoriales

Dado dos espacios vectoriales

sobre un mismo cuerpo

, llamaremos suma

directa al espacio vectorial

veamos que estn bien definidas las dos operaciones:

,
.

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 dimensin. Sin embargo, los espacios vectoriales ad hoc no
ofrecen un marco para hacer frente a la cuestin fundamental para el anlisis de si una
sucesin de funciones converge a otra funcin. Asimismo, el lgebra lineal no est
adaptada per se para hacer frente a series infinitas, ya que la suma solo permite un
nmero finito de trminos para sumar. Las necesidades del anlisis funcional requieren
considerar nuevas estructuras.
Espacios normados
Artculos principales: Espacio vectorial normado y Norma (matemticas).

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 5. Un espacio normado es un espacio mtrico, donde la
distancia viene dada por:

Toda distancia inducida por la norma es una distancia.

Espacios vectoriales topolgicos
Artculo principal: Espacio vectorial topolgico.

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

es una topologa vectorial sobre

es un espacio vectorial topolgico.

Proposicin 6.. Todo espacio vectorial topolgico dotado de una
mtrica es espacio normado.

Proposicin 7.. Todo espacio normado es un espacio vectorial

topolgico.
Espacios de Banach
Artculo principal: Espacio de Banach.

Un espacio de Banach es un espacio normado y completo.

Espacios prehilbertianos
Artculo principal: Espacio prehilbertiano.

Un espacio prehilbertiano es un par

, donde

es un espacio vectorial y

es un producto a escalar.
Espacios de Hilbert
Artculo 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

Son aplicaciones entre espacios vectoriales que mantienen la estructura de los espacios
vectoriales, es decir, conservan las dos operaciones y las propiedades de stas de uno a
otro de dichos espacios.
Aplicaciones lineales
Artculo principal: Aplicacin lineal.

Dado dos espacios vectoriales

aplicacin

, sobre un mismo cuerpo, diremos que una

es lineal si:
,
.

Subespacio vectorial
Saltar a: navegacin, bsqueda

En lgebra lineal, un subespacio vectorial es el subconjunto de un espacio vectorial,

que satisface por s mismo la definicin de espacio vectorial con las mismas
operaciones que V..

Contenido

1 Definicin
o

1.1 Consecuencias

1.2 Criterio de verificacin

2 Ejemplos

3 Operaciones con subespacios

o

3.1 Unin

3.2 Interseccin

3.3 Suma

3.3.1 Suma directa

4 Dimensiones de subespacios
o

4.1 En la suma directa

5 Vase tambin

6 Referencias

Definicin
Sea un espacio vectorial sobre
de si:

no vaco,

es un subespacio vectorial

Consecuencias

Un subespacio vectorial que cumple las dos condiciones anteriores es

un espacio vectorial.

[Mostrar] Demostracin

Notaciones
Dado

un subespacio vectorial, se tiene:

Para i) el abuso de lenguaje

, e incluso

es correcto.

[Mostrar] Demostracin

Para ii) el abuso de lenguaje

correcto.

, e incluso

es

[Mostrar] Demostracin
Criterio de verificacin

Es posible sintesizar i) y ii) en una condicin nica:

Si V es un espacio vectorial, entonces un subconjunto U de V es un subespacio
vectorial si y slo si para cualquiera dos vectores v, w pertecientes a U y
cualquier escalar r perteneciente al campo asociado, el vector
es
tambin un elemento de U.

Ejemplos
Dado el espacio vectorial

, sus elementos son del tipo

estn alineados,

forman un paralelogramo si no estn alineados,

El subconjunto
.
es un subespacio vectorial.
[Mostrar] Demostracin

El subconjunto

no es un subespacio vectorial.
[Mostrar] Demostracin

Operaciones con subespacios

Sea (V, +, K, *) un espacio vectorial; (S, +, K, *) y (W, +, K, *) subespacios de V, se
definen las siguientes operaciones:
Unin

En la gran mayora de los casos la unin de dos subespacios no es un subespacio de V,

pues no se cumple con la ley de composicin interna. S pertenece de forma segura la
unin a V en los casos en que S este contenido en W o viceversa.
Interseccin

La interseccin de dos subespacios es un subespacio de V.

Suma

La suma de dos subespacios es un subespacio de V.

Suma directa

Si la interseccin entre S y W es el subespacio trivial (es decir, el vector nulo), entonces

a la suma se la llama "suma directa".1
Es decir que si
Lo que quiere decir tambin que todo vector de V, se escribe de manera nica como la
suma de un vector de S y otro de W.

Dimensiones de subespacios
Esta frmula resuelve que la dimensin de la suma de los subespacios y
ser igual
a la dimensin del subespacio ms la dimensin del subespacio
menos la
dimensin de la interseccin de ambos.
Por ejemplo, siendo
subespacio de dimensin 1.
Luego,

y teniendo como interseccin un

En la suma directa

En el caso particular de la suma directa, como

La frmula de Grassman resulta:

Entonces en el ejemplo anterior, resultara

Producto vectorial
Saltar a: navegacin, bsqueda

Esquema

En lgebra lineal, el producto vectorial es una operacin binaria entre dos vectores de
un espacio eucldeo tridimensional que da como resultado un vector ortogonal a los dos
vectores originales. Con frecuencia se lo denomina tambin producto cruz (pues se lo
denota mediante el smbolo ) o producto externo (pues est relacionado con el
producto exterior).

Definicin

Relaciones entre los vectores.

Sean dos vectores y en el espacio vectorial

. El producto vectorial entre y
como resultado un nuevo vector, . Para definir este nuevo vector es necesario
especificar su mdulo y direccin:

El mdulo de

da

est dado por

donde es el ngulo determinado por los vectores a y b.

La direccin del vector c, que es ortogonal a a y ortogonal a b, est

dada por la regla de la mano derecha.

El producto vectorial entre a y b se denota mediante a b, por ello se lo llama tambin

producto cruz. En los textos manuscritos, para evitar confusiones con la letra x (equis),
es frecuente denotar el producto vectorial mediante a b.
El producto vectorial puede definirse de una manera ms compacta de la siguiente
manera:

donde es el vector unitario y ortogonal a los vectores a y b y su direccin est dada

por la regla de la mano derecha y es, como antes, el ngulo entre a y b. A la regla de la
mano derecha se la llama a menudo tambin regla del sacacorcho.
Producto vectorial de dos vectores

Sean

dos vectores concurrentes de

, el espacio afn tridimensional segn la base anterior.

Se define el producto

, y se escribe

, como el vector:

En el que

, es el determinante de orden 2.

O usando una notacin ms compacta, mediante el desarrollo por la primera fila de un

determinante simblico de orden 3 (simblico ya que los trminos de la primera fila no
son escalares):

Que da origen a la llamada regla de la mano derecha o regla del sacacorchos: girando el
primer vector hacia el segundo por el ngulo ms pequeo, la direccin de
es el
de un sacacorchos que gire en la misma direccin.
La siguiente expresin, aunque carece de significado matemtico estricto, sirve de
mtodo nemnico para recordar el orden de las coordenadas en el producto:[cita requerida]

Ejemplo

El producto vectorial de los vectores

siguiente modo:

Expandiendo el determinante:

se calcula del

Puede verificarse fcilmente que

es ortogonal a los vectores y efectuando el
producto escalar y verificando que ste es nulo (condicin de perpendicularidad de
vectores).

Propiedades
Identidades

Cualesquiera que sean los vectores ,

1.

y :

, (anticonmutatividad)

2.

, cancelacin por ortogonalidad.

3. Si
con
y
,
; esto es, la anulacin del
producto vectorial proporciona la condicin de paralelismo entre dos
direcciones.
4.

5.

, conocida como regla de la

expulsin.

6.

, conocida como
identidad de Jacobi.

7.

, en la expresin del trmino de la derecha, sera

el mdulo de los vectores a y b, siendo ,el ngulo menor entre los
vectores y ; esta expresin relaciona al producto vectorial con el
rea del paralelogramo que definen ambos vectores.

8. El vector unitario
vectores y .

es normal al plano que contiene a los

Bases ortonormales y producto vectorial

Sea un sistema de referencia

en el espacio vectorial
. Se dice que
es una base ortonormal derecha si cumple con las siguientes condiciones:
1.

; es decir, los tres vectores son ortogonales

entre s.

2.

; es decir, los vectores son vectores unitarios (y

por lo tanto, dada la propiedad anterior, son ortonormales).

3.

,
mano derecha.

; es decir, cumplen la regla de la

Vectores axiales

Cuando consideramos dos magnitudes fsicas vectoriales, su producto vectorial es otra

mangitud fsica aparentemente vectorial que tiene un extrao comportamiento respecto
a los cambios de sistema de referencia. Los vectores que presentan esas anomalas se
llaman pseudovectores o vectores axiales. Esas anomalas se deben a que no todo ente
formado de tres componentes es un vector fsico.
Dual de Hodge
Artculo principal: Dual de Hodge.

En el formalismo de la geometra diferencial de las variedades riemannianas la nocin

de producto vectorial se puede reducir a una operacin de dual de Hodge del producto
de dos formas diferenciales naturalmente asociadas a dos vectores. As el producto
vectorial es simplemente:

Donde

denotan las 1-formas naturalmente asociadas a los dos vectores.

Generalizacin a n dimensiones
Aunque el producto vectorial est definido solamente en tres dimensiones, ste puede
generalizarse a dimensiones, con
y slo tendr sentido si se usan
vectores, dependiendo de la dimensin en la que se est. As, por ejemplo, en dos
dimensiones el producto vectorial generalizado slo tiene sentido si se usa un vector, y
el resultado es un vector ortogonal.
Desde un punto de vista tensorial el producto generalizado de n vectores vendr dado
por:

Otros productos vectoriales

Dados dos vectores, se definen tres operaciones matemticas de tipo producto entre
ellos:

producto escalar

producto vectorial

producto tensorial

El producto escalar de vectores permite determinar ngulos y distancias (vase operador

norma) de una forma fcil y directa. El producto vectorial proporciona un modo para
determinar ngulos y reas de paralelogramos definidos por dos vectores de una forma
tal que permitir expresar volmenes fcilmente mediante el llamado producto mixto de
tres vectores.
En el espacio afn bidimensional,
, el producto vectorial es una operacin externa, ya
que da como resultado un vector que no pertenece al mismo espacio vectorial, esto es al
plano definido por los dos vectores que se operan, por ser un vector perpendicular a
dicho plano. En el espacio afn tridimensional,
operacin interna.

, el producto vectorial es una

Producto escalar
Saltar a: navegacin, bsqueda

En matemtica, el producto escalar, tambin conocido como producto interno,

interior o punto (en ingls, dot product), es una operacin definida sobre dos vectores
de un espacio eucldeo cuyo resultado es un nmero o escalar. Esta operacin permite
explotar los conceptos de la geometra euclidiana tradicional: longitudes, ngulos,
ortogonalidad en dos y tres dimensiones. El producto escalar puede definirse tambin en
los espacios eucldeos de dimensin mayor a tres, y en general en los espacios
vectoriales reales y complejos. Los espacios vectoriales dotados de producto escalar
reciben el nombre de espacios prehilbertianos.

Contenido

1 Definicin general

2 Definicin geomtrica del producto escalar en un espacio eucldeo

real
o

2.1 Proyeccin de un vector sobre otro

2.2 ngulos entre dos vectores

2.3 Vectores ortogonales

2.4 Vectores paralelos o en una misma direccin

3 Propiedades del producto escalar

4 Expresin analtica del producto escalar

5 Norma o Mdulo de un vector

6 Productos interiores definidos en espacios vectoriales usuales

7 Generalizaciones
o

7.1 Formas cuadrticas

7.2 Tensores mtricos

8 Vase tambin

9 Referencias
o

9.1 Bibliografa

10 Enlaces externos

Definicin general
El producto interior o producto escalar de dos vectores en un espacio vectorial es una
forma bilineal, hermtica y definida positiva, por lo que se puede considerar una forma
cuadrtica definida positiva.
Un producto escalar se puede expresar como una expresin
donde V es un espacio vectorial y es el cuerpo sobre el que est definido B.
satisfacer las siguientes condiciones:

debe

1. Linealidad por la izquierda:

linealidad conjugada por la derecha:

2. Hermiticidad:

,y

3. Definida positiva:

,y

donde
son vectores de V,
es el conjugado del complejo c.

si y slo si x = 0,

representan escalares del cuerpo

Si el cuerpo tiene parte imaginaria nula (v.g., ), la propiedad de ser sesquilineal se

convierte en ser bilineal y el ser hermtica se convierte en ser simtrica.
Tambin suele representarse por

o por .

Un espacio vectorial sobre el cuerpo o dotado de un producto escalar se denomina

espacio prehilbert o espacio prehilbertiano. Si adems es completo, se dice que es un
espacio de hilbert, y si la dimensin es finita, se dir que es un espacio eucldeo.
Todo producto escalar induce una norma sobre el espacio en el que est definido, de la
siguiente manera:
.

Definicin geomtrica del producto escalar en un espacio

eucldeo real

A B = |A| |B| cos().

|A| cos() es la proyeccin escalar de A en B.

El producto escalar de dos vectores en un espacio eucldeo se define como el producto

de sus mdulos por el coseno del ngulo que forman.

En los espacios eucldeos, la notacin usual de producto escalar es

Esta definicin de carcter geomtrico es independiente del sistema de coordenadas

elegido y por lo tanto de la base del espacio vectorial escogida.
Proyeccin de un vector sobre otro

Puesto que |A| cos representa el mdulo de la proyeccin del vector A sobre la
direccin del vector B, esto es |A| cos = proy AB, ser

de modo que el producto escalar de dos vectores tambin puede definirse como el
producto del mdulo de uno de ellos por la proyeccin del otro sobre l.
ngulos entre dos vectores

La expresin geomtrica del producto escalar permite calcular el coseno del ngulo
existente entre los vectores:

Vectores ortogonales

Dos vectores son ortogonales o perpendiculares cuando forman ngulo recto entre s. Si
el producto escalar de dos vectores es cero, ambos vectores son ortogonales.

ya que el

Vectores paralelos o en una misma direccin

Dos vectores son paralelos o llevan la misma direccin si el ngulo que forman es de 0
radianes (0 grados) o de radianes (180 grados).
Cuando dos vectores forman un ngulo cero, el valor del coseno es la unidad, por lo
tanto el producto de los mdulos vale lo mismo que el producto escalar.

Propiedades del producto escalar

1. Conmutativa:

2. Distributiva respecto a la suma vectorial:

3. Asociatividad respecto al producto por un escalar m:

Expresin analtica del producto escalar

Si los vectores A y B se expresan en funcin de sus componentes cartesianas
rectangulares, tomando la base cannica en
k} tenemos:

formada por los vectores unitarios {i , j ,

El producto escalar se realiza como un producto matricial de la siguiente forma:

Norma o Mdulo de un vector

Se define como la longitud del segmento orientado (vector) en el espacio mtrico
considerado.
Se calcula a travs del producto interno del vector consigo mismo.

Efectuado el producto escalar, tenemos:

de modo que

Por componentes, tomando la base cannica en

j, k}

formada por los vectores unitarios {i,

de modo que

Productos interiores definidos en espacios vectoriales

usuales

En el espacio vectorial
se suele definir el producto interior
(llamado, en este caso en concreto, producto punto) por:

En el espacio vectorial

Siendo

se suele definir el producto interior por:

el nmero complejo conjugado de

En el espacio vectorial de las matrices de m x n , con elementos
reales

donde tr(A) es la traza de la matriz B y

es la matriz traspuesta de A.

En el espacio vectorial de las matrices de m x n , con elementos

complejos

donde tr(A) es la traza de la matriz B y

es la matriz traspuesta conjugada de A.

En el espacio vectorial de las funciones continuas sobre el intervalo

C[a, b], acotado por a y b:

En el espacio vectorial de los polinomios de grado menor o igual a n:

Dado

tal que
:

Generalizaciones
Formas cuadrticas

Dada una forma bilineal simtrica

definida sobre un espacio vectorial
puede
definirse un producto escalar diferente del producto escalar eucldeo mediante la
frmula:

Donde:

es una base del espacio vectorial

Puede comprobarse que la operacin anterior

propiedades que debe satisfacer un producto escalar.

satisface todas las

Tensores mtricos

Se pueden definir y manejar espacio no-eucldeos o ms exactamente variedades de

Riemann, es decir, espacios no-planos con un tensor de curvatura diferente de cero, en
los que tambin podemos definir longitudes, ngulos y volmenes. En estos espacios
ms generales se adopta el concepto de geodsica en lugar del de segmento para definir
las distancias ms cortas en entre puntos y, tambin, se modifica ligeramente la
definicin operativa del producto escalar habitual introduciendo un tensor mtrico
, tal que la restriccin del tensor a un punto de la variedad de
Riemann es una forma bilineal
.
As, dados dos vectores campos vectoriales y del espacio tangente a la variedad de
Riemann se define su producto interno o escalar como:

La longitud de una curva rectificable C entre dos puntos A y B se puede definir a partir
de su vector tangente de la siguiente manera:

Combinacin lineal
Saltar a: navegacin, bsqueda

Un vector se dice que es combinacin lineal de un conjunto de vectores

de parte o todos los vectores de
escalar

si existe una forma de expresarlo como suma

multiplicados cada uno de ellos por un coeficiente

, de forma que:

.
As, es combinacin lineal de vectores de si podemos expresar como una suma de
mltiplos de una cantidad finita de elementos de .
Ejemplo:

. Se dice que es combinacin lineal de y de ,

porque podemos escribir

sin ms que despejar la . De la misma manera,
despejando oportunamente, cada una de estas variables se podra expresar como
combinacin lineal de las otras dos.
En otras palabras, cunto de cada vector del conjunto necesito para que, cuando se
combinen linealmente dichos elementos , pueda formar al vector en cuestin.

Expansin lineal
Dado un conjunto de vectores
como

, finito o infinito, se llama expansin lineal, denotada

al conjunto:

Dicho conjunto es el mnimo subespacio vectorial de

que contiene al conjunto

Sistema generador
Saltar a: navegacin, bsqueda
Este artculo o seccin necesita referencias que aparezcan en una
publicacin acreditada, como revistas especializadas,
monografas, prensa diaria o pginas de Internet fidedignas.
Puedes aadirlas as o avisar al autor principal del artculo en su pgina
de discusin pegando: {{subst:Aviso referencias|Sistema

generador}} ~~~~

En lgebra lineal, dado un espacio vectorial V, se llama sistema de generador s al

conjunto de vectores, pertenecientes a V, a partir del cual se puede generar el espacio
vectorial V completo.
No confundir este concepto con el de base, ya que si bien toda base es un sistema
generador, la implicacin inversa no es cierta. Mientras que una base ha de ser
obligatoriamente un sistema libre, es decir, todos sus elementos han de ser linealmente
independientes, un sistema generador puede ser ligado, es decir, linealmente
dependiente.
Cabe concluir pues, que para cualquier sistema generador V formado por n elementos,
siempre podremos hallar una base B comprendida en V con un nmero de elementos
estrictamente menor que n (de ser igual obtendramos la base en s y no hablaramos de
sistema generador).
Generalmente se emplea la siguiente notacin:

Donde V es el espacio vectorial generado por el sistema S, el cual est compuesto por n
vectores, siendo n mayor o igual a la dimensin del espacio V.

Dependencia e independencia lineal

(Redirigido desde Independencia lineal)
Saltar a: navegacin, bsqueda

En lgebra lineal, un conjunto de vectores es linealmente independiente si ninguno de

ellos puede ser escrito con una combinacin lineal de los restantes. Por ejemplo, en R3,
el conjunto de vectores (1, 0, 0), (0, 1, 0) y (0, 0, 1) es linealmente independiente,
mientras que (2, 1, 1), (1, 0, 1) y (3, 1, 2) no lo es, ya que el tercero es la suma de los
dos primeros.

Contenido

1 Definicin

2 Significacin geomtrica

3 Ejemplo
o

4 Ejemplo II
o

4.1 Demostracin

5 Ejemplo III
o

3.1 Mtodo alternativo usando determinantes

5.1 Demostracin

6 Temas relacionados

Definicin
Sea
un conjunto de vectores. Decimos que son linealmente
dependientes si existen nmeros
, no todos iguales a cero, tal que:

Ntese que el smbolo a la derecha del signo igual no es cero, sino que simboliza al
vector nulo . El conjunto de vectores nulos forma la matriz nula. Si tales nmeros no
existen, entonces los vectores son linealmente independientes.
Utilizando conceptos de espacios vectoriales podemos redefinir la independencia lineal
as:
Un conjunto de vectores

de un espacio vectorial es linealmente

independiente si

Esta idea es importante porque los conjuntos de vectores que son linealmente
indepedientes, generan un espacio vectorial y forman una base para dicho espacio. Entre
las propiedades de los vectores linealmente dependientes e independientes
encontramos:
1. Un conjunto de vectores es linealmente dependiente si y solamente si
alguno de los vectores es combinacin lineal de los dems.
2. Si un conjunto de vectores es linealmente independiente cualquier
subconjunto suyo tambin lo es. Obviamente, si tenemos un conjunto

de vectores tales que ninguno de ellos es combinacin de los dems,

escogiendo solamente unos cuantos, no podrn ser combinacin de
los otros.
3. Si un conjunto de vectores es linealmente dependiente, tambin lo es
todo conjunto que lo contenga. Ya que un conjunto de vectores es
linealmente dependiente si y solo si tiene algn vector que es
combinacin lineal de los dems, si metemos este conjunto de
vectores en otro ms grande, seguimos teniendo el vector que es
combinacin lineal de otros, por tanto, el conjunto ms grande ser
linealmente dependiente.

Significacin geomtrica
Geomtricamente, dos vectores son independientes si no tienen la misma direccin. Esta
definicin supone que el vector nulo tiene todas las direcciones, en otras palabras este
debe generar un rea.
Tres vectores son independientes si y solo si no estn contenidos en el mismo plano
vectorial, o sea si ninguno de ellos es una combinacin lineal de los otros dos (en cuyo
caso estara en el plano generado por estos vectores) en otras palabras este debe generar
un volumen.
El espacio generado por un sistema de vectores es el conjunto de todas las
combinaciones lineales de estos vectores. Es un espacio vectorial. El espacio generado
por un vector no nulo es la recta vectorial dirigido por este vector. El espacio generado
por dos vectores independientes es el plano que los contiene. Resulta fcil comprobar
que el espacio generado por un sistema de vectores es el menor (por la inclusin)
espacio vectorial que los contiene a todos. Se le denomina vect A, donde A es el sistema
de vectores. Si n vectores son independientes, el espacio generado es de dimensin n
(dimensin en el sentido usual: 0 para un punto, 1 para una recta, 2 para un plano...).

Ejemplo
En el espacio tridimensional usual:

u y j son dependientes por tener la misma direccin.

u y v son independientes y definen el plano P.

u, v y w son dependientes por estar los tres contenidos en el mismo

plano.

u, v y k son independientes por serlo u y v entre s y no ser k una

combinacin lineal de ellos o, lo que es lo mismo, por no pertenecer
al plano P. Los tres vectores definen el espacio tridimensional.

Los vectores o (vector nulo, cuyas componentes son iguales a cero) y

k son dependientes ya que o = 0 k

Ejemplo del uso de la frmula f:

Son los tres vectores siguientes independientes?

Buscamos tres valores x, y y z que satisfagan la ecuacin:

Lo que equivale al sistema de ecuaciones siguiente:

Dado que la nica solucin es la trivial (x = y = z = 0), los tres vectores son
independientes.

Mtodo alternativo usando determinantes

Un mtodo alternativo usa el hecho que n vectores en Rn son linealmente

independientes si y solo si el determinante de la matriz formada por estos vectores como
columnas es distinto de cero.
Dados los vectores:

La matriz formada por stos es:

El determinante de esta matriz es:

Ya que el determinante es no nulo, los vectores (1, 1) y (3, 2) son linealmente

independientes.

Ejemplo II
Sea V = Rn y consideremos los siguientes elementos en V:

Entonces e1, e2,..., en son linealmente independientes. Estos vectores constituyen la base
cannica en R.
Demostracin

Supongamos que a1, a2,..., an son elementos de R tales que:

Sustituyendo e1, e2,..., en resulta:

Multiplicando:

Sumando coordenadas:

Por lo que se obtiene:

As que:

Adems:
Pero 0 es un vector, entonces:

Por lo que ai = 0 para todo i en {1,..., n}.

Entonces los vectores

son linealmente independientes

Ejemplo III
Sea V el espacio vectorial de todas las funciones a variable real. Entonces las funciones
et y e2t en V son linealmente independientes.
Demostracin

Supongamos que a y b son dos nmeros reales tales que:

aet + be2t = 0

Para todos los valores de t. Necesitamos demostrar que a = 0 y b = 0. Para hacer esto
dividimos por et (que es un nmero real diferente de cero, sea cual sea t) y restando
obtenemos:
bet = a

En otras palabras, la funcin bet debe ser independiente de t, lo cual ocurre cuando
b = 0. Por lo tanto, a es cero.

Base (lgebra)
Saltar a: navegacin, bsqueda

En lgebra lineal, se dice que un conjunto ordenado B es base de un espacio vectorial V

si se cumplen las siguientes condiciones:

Todos los elementos de B pertenecen al espacio vectorial V.

Los elementos de B forman un sistema linealmente independiente.

Todo elemento de V se puede escribir como combinacin lineal de los

elementos de la base B (es decir, B es un sistema generador de V).Nota
1

Lema de Zorn y existencia de bases

Mediante el uso del lema de Zorn, es posible probar que todo espacio vectorial posee
una base. Pese a que es posible que un espacio vectorial no posea una nica base, se
cumple que todo par de bases de un mismo espacio vectorial tienen la misma
cardinalidad. Por ser as, tal cardinalidad sera llamada como la dimensin del espacio
vectorial.
Otras propiedades, consecuencias del lema de Zorn:

Todo sistema generador de un espacio vectorial contiene una base

vectorial (de Hamel).

Todo conjunto linealmente independiente en un espacio vectorial,

puede ser extendido a una base.

Observaciones adicionales
1. Las bases son conjuntos ordenados. Es decir que si bien {a,b,c} y
{b,a,c} generan el mismo espacio vectorial, las bases no son iguales.
2. Dado un vector v y una base B de un espacio vectorial V, existe una
nica manera de escribir a v como combinacin lineal de los
elementos de la base B. Es decir, la representacin de un vector en
una base es nica.
3. De la observacin anterior se desprende que las bases no son nicas.
En general, suele haber infinitas bases distintas para un mismo
espacio vectorial. Por ejemplo, si
, una base muy sencilla de
V es:

la cual es conocida como base cannica de

. Otras bases de

son:

En general, toda base de

estar formada por tres vectores linealmente independientes

que pertenezcan a
. Cuando el espacio vectorial en s mismo es un conjunto finito
entonces el nmero de bases distintas es finito.
1. Si V es un espacio vectorial de dimensin finita, entonces todas las
bases de V sern finitas y tendrn la misma cantidad de elementos.
2. No todas las bases tienen un nmero finito de elementos. Por
ejemplo, las bases del espacio vectorial de los polinomios de una
variable tienen infinitos elementos. Una posible base es la formada
por las potencias de X:

Espacios de dimensin infinita

En el caso de espacios vectoriales de dimensin infinita, como los que aparecen en
anlisis funcional existen algunas distinciones pertinentes que es importante sealar.
Bases de Hamel y de Hilbert

En un espacio vectorial de Hilbert de dimensin infinita existen varias posibilidades de

extender el concepto de combinacin lineal finita. De un lado si consideramos
nicamente combinaciones lineales finitas llegamos al concepto de base de Hamel o
base lineal. Puede probarse que todas las bases de Hamel tienen el mismo nmero de
elementos, este nmero o cardinal se llama dimensin lineal o dimensin de Hamel.
Un conjunto constituye una base de Hamel si y solo si:

En un espacio de dimensin de Hamel finita, se puede encontrar solamente un nmero

finito de vectores ortogonales dos a dos, en cambio, cuando la dimensin de Hamel es
infinita, pueden introducirse en los espacios de Hilbert ciertas "combinaciones lineales
infinitas" en trminos de vectores ortogonales. En un espacio de Hilbert de dimensin
infinita se dice que un conjunto es una base de Hilbert o base ortogonal, si y solo si:

Nuevamente sucede que todas las bases ortogonales tienen el mismo cardinal, por lo que
se define el concepto de dimensin de Hilbert como el cardinal de cualquier base de
Hilbert.

Dimensin vectorial

La dimensin de un espacio vectorial se define como el nmero de elementos o cardinal

de una base de dicho espacio. Dado que para todo espacio de Hilbert de dimensin
infinita podemos distinguir entre bases de Hilbert y de Hamel, podemos definir la
dimensin vectorial ordinaria y la dimensin vectorial de Hilbert. Se tiene que para
cualquier espacio vectorial V, la relacin entre dimensin de Hammel y dimensin de
Hilbert es la siguiente:
(1)
En espacios de dimensin finita tambin se pueden definir las bases de Hilbert como
bases de Hamel ortogonales. De hecho, para un espacio de dimensin finita, la
dimensin de Hilbert es igual a la dimensin de Hamel. En dimensin finita toda base
de Hamel es base de Hilbert y viceversa, por lo que para un espacio de dimensin finita
en (1) se da siempre la igualdad.

Coordenadas cartesianas
Saltar a: navegacin, bsqueda

Tres ejemplos de coordenadas asignadas a tres puntos diferentes (verde,

rojo y azul), sus proyecciones ortogonales sobre los ejes constituyen sus
coordenadas cartesianas.

Las coordenadas cartesianas o coordenadas rectangulares son un ejemplo de

coordenadas ortogonales usadas en espacios eucldeos caracterizadas por la existencia
de dos ejes perpendiculares entre s que se cortan en un punto origen. Las coordenadas
cartesianas se definen como la distancia al origen de las proyecciones ortogonales de un
punto dado sobre cada uno de los ejes.
Las coordenadas cartesianas se usan por ejemplo para definir un sistema cartesiano o
sistema de referencia respecto ya sea a un solo eje (lnea recta), respecto a dos ejes (un
plano) o respecto a tres ejes (en el espacio), perpendiculares entre s (plano y espacio),
que se cortan en un punto llamado origen de coordenadas. En el plano, las coordenadas
cartesianas (o rectangulares) x e y se denominan abscisa y ordenada, respectivamente.

Contenido

1 Historia

2 Recta eucldea

3 Plano eucldeo

4 Espacio eucldeo

5 Cambio del sistema de coordenadas

o

5.1 Traslacin del origen

5.2 Rotacin alrededor del origen

5.3 Escalado

6 Clculo matricial

7 Vase tambin

8 Notas y referencias

9 Enlaces externos

Historia
Se denominan coordenadas cartesianas en honor a Ren Descartes (1596-1650), el
clebre filsofo y matemtico francs que quiso fundamentar su pensamiento filosfico

en el mtodo de tomar un punto de partida evidente sobre el que edificara todo el

conocimiento.
Como creador de la geometra analtica, Descartes tambin comenz tomando un
punto de partida en esta disciplina, el sistema de referencia cartesiano, para poder
representar la geometra plana, que usa slo dos rectas perpendiculares entre s que se
cortan en un punto denominado origen de coordenadas.

Recta eucldea
Un punto cualquiera de una recta puede asociarse y representarse con un nmero real,
positivo si est situado a la derecha de un punto O, y negativo si est a la izquierda.
Dicho punto se llama origen de coordenadas O (letra O) y se asocia al valor 0 (cero).
Corresponde a la dimensin uno, que se representa con el eje X, en el cual se define un
origen de coordenadas, simbolizado con la letra O (O de origen) y un vector unitario en
la direccin positiva de las x: .
Este sistema de coordenadas es un espacio vectorial de dimensin uno, y se le pueden
aplicar todas las operaciones correspondientes a espacios vectoriales. Tambin se le
llama recta real.

Un punto:

tambin puede representarse:

La distancia entre dos puntos A y B es:

Plano eucldeo
Con un sistema de referencia conformado por dos rectas perpendiculares que se cortan
en el origen, cada punto del plano puede "nombrarse" mediante dos nmeros: (x, y), que
son las coordenadas del punto, llamadas abscisa y ordenada, respectivamente, que son
las distancias ortogonales de dicho punto respecto a los ejes cartesianos.

Sistema de coordenadas cartesianas.

La ecuacin del eje x es y = 0, y la del eje y es x = 0, rectas que se cortan en el origen O,

cuyas coordenadas son, obviamente, (0, 0).
Se denomina tambin eje de las abscisas al eje x, y eje de las ordenadas al eje y. Los
ejes dividen el espacio en cuatro cuadrantes en los que los signos de las coordenadas
alternan de positivo a negativo (por ejemplo, las dos coordenadas del punto A sern
positivas, mientras que las del punto B sern ambas negativas).
Las coordenadas de un punto cualquiera vendrn dadas por las proyecciones del
segmento entre el origen y el punto sobre cada uno de los ejes.
Sobre cada uno de los ejes se definen vectores unitarios (i y j) como aquellos paralelos
a los ejes y de mdulo (longitud) la unidad. En forma vectorial, la posicin del punto A
se define respecto del origen con las componentes del vector OA.

La posicin del punto A ser:

Ntese que la lista de coordenadas puede expresar tanto la posicin de un punto como
las componentes de un vector en notacin matricial.
La distancia entre dos puntos cualesquiera vendr dada por la expresin:

Aplicacin del teorema de Pitgoras al tringulo rectngulo ABC.

Un vector cualquiera AB se definir restando, coordenada a coordenada, las del punto

de origen de las del punto de destino:

Evidentemente, el mdulo del vector AB ser la distancia dAB entre los puntos A y B
antes calculada.

Espacio eucldeo
Si tenemos un sistema de referencia formado por tres rectas perpendiculares entre s (X,
Y, Z), que se cortan en el origen (0, 0, 0), cada punto del espacio puede nombrarse
mediante tres nmeros: (x, y, z), denominados coordenadas del punto, que son las
distancias ortogonales a los tres planos principales: los que contienen las parejas de ejes
YZ, XZ e YX, respectivamente.

coordenadas cartesianas espaciales.

Los planos de referencia XY (z = 0); XZ (y = 0); e YZ (x = 0) dividen el espacio en

ocho cuadrantes en los que, como en el caso anterior, los signos de las coordenadas
pueden ser positivos o negativos.
La generalizacin de las relaciones anteriores al caso espacial es inmediata
considerando que ahora es necesaria una tercera coordenada (z) para definir la posicin
del punto.

Las coordenadas del punto A sern:

y el B:

La distancia entre los puntos A y B ser:

El segmento AB ser:

Cambio del sistema de coordenadas

Tanto en el caso plano como en el caso espacial pueden considerarse tres
transformaciones elementales: traslacin del origen, rotacin alrededor de un eje y
escalado.
Traslacin del origen

Traslacin del origen en coordenadas cartesianas.

Suponiendo un sistema de coordenadas inicial S1 con origen en O y ejes x e y

y las coordenadas de un punto A dado, sean en el sistema S1:

dado un segundo sistema de referencia S2

Siendo los centros de coordenadas de los sistemas 0 y 0, puntos distintos, y los ejes x, x
; e y, y paralelos dos a dos, y las coordenadas de O, respecto a S1:

Se dice traslacin del origen, a calcular las coordenadas de A en S2, segn los datos
anteriores, que llamaremos:

Dados los puntos O, O y A, tenemos la suma de vectores:

despejando

Lo que es lo mismo que:

Separando los vectores por coordenadas:

y amplindolo a tres dimensiones:

Rotacin alrededor del origen

Rotacin alrededor del origen en coordenadas cartesianas.

Dado un sistema de coordenadas en el plano S1 con origen en O y ejes x e y:

y una base ortonormal de este sistema:

Un punto A del plano se representar en este sistema segn sus coordenadas:

Para un segundo sistema S2 de referencia girado un ngulo

, respecto al primero:

y con una base ortonormal:

Al clculo de las coordenadas del punto A, respecto a este segundo sistema de

referencia, girado respecto al primero, se llama rotacin alrededor del origen, siendo su
representacin:

Hay que tener en cuenta que el punto y

son el mismo punto,
; se emplea
una denominacin u otra para indicar el sistema de referencia empleado. El valor de las
coordenadas respecto a uno u otro sistema, s son diferentes, y es lo que se pretende
calcular.
La representacin de B1 en B2 es:

Dado que el punto A en B1 es:

con la transformacin anterior tenemos:

Y, deshaciendo los parntesis:

reordenando:

Como:
;

Tenemos que:

Como sabamos:

Por identificacin de trminos:

Que son las coordenadas de A en B2, en funcin de las coordenadas de A en B1 y de

Escalado

Sea un punto con coordenadas (x,y) en el plano. Si se cambia la escala de ambos ejes en
un factor , las coordenadas de dicho punto en el nuevo sistema de coordenadas pasarn
a ser:

El factor de escala no necesariamente debe ser el mismo para ambos ejes.

Clculo matricial
Siendo [T] la matriz de transformacin y cuyas filas son precisamente las
componentes de los vectores unitarios i ' y j ' respecto de los originales i y j, o si se
prefiere, cuyas columnas son las componentes de los vectores unitarios originales en el
sistema de referencia rotado.

Nota: Las magnitudes vectoriales estn en negrita.

Triple producto escalar

(Redirigido desde Producto mixto)
Saltar a: navegacin, bsqueda

El triple producto escalar (o tambin conocido como producto mixto) es una

operacin entre tres vectores que combina el producto escalar con el producto vectorial
para obtener un resultado escalar.

Contenido

1 Producto punto y producto cruz

2 Triple producto escalar

o

2.1 Clculo del triple producto escalar

3 Interpretacin geomtrica

4 Relaciones cclicas

5 Vase tambin

6 Bibliografa

Producto punto y producto cruz

El producto punto es una operacin entre dos vectores
que da como resultado un
nmero (un escalar) por lo que tambin se le conoce como producto escalar y est
definido como
.
Entre sus principales propiedades se encuentra el resultado

donde es el ngulo que forman los dos vectores. Usando ese resultado es posible
establecer el siguiente criterio para determinar si dos vectores son perpendiculares
(ortogonales):

Dos vectores

son perpendiculares si y slo si

Cuando los vectores son tridimensionales (esto es, son vectores de

) es posible
definir otra multiplicacin de vectores cuyo resultado sea tambin un vector; dicha

operacin se denomina producto cruz o producto vectorial, definido mediante el

determinante

donde

son los vectores unitarios en la direccin de los tres ejes

El producto
es

corresponde a un vector perpendicular a

cuya norma o mdulo

.
donde nuevamente, es el ngulo entre los vectores.
Del resultado anterior se deducen dos resultados:

El valor de

Los vectores

es igual al rea del paralelogramo determinado por

son paralelos (colineales) si y slo si

Observemos la similitud entre este criterio y el de perpendicularidad para el producto

punto.

Triple producto escalar

Los triples productos aparecen cuando se desea definir multiplicaciones entre tres
vectores. Una expresin de la forma
no tiene mucho sentido porque el
resultado de el primer producto es un escalar

y no es posible calcular el producto punto entre un nmero (escalar) y un vector.

Sin embargo, cuando los vectores son elementos de
, podemos combinar el producto
punto con el producto cruz para definir una nueva operacin entre tres vectores que se
denomina triple producto escalar pues el resultado ser una cantidad escalar. Es
importante indicar escalar para diferenciarlo del triple producto vectorial que se obtiene
al multiplicar tres vectores usando nicamente el producto cruz y cuyo resultado es, por
tanto, un vector.

El triple producto escalar de los vectores

definido como

se denota por

y est

Clculo del triple producto escalar

Para hallar una frmula que permita calcular el valor del triple producto escalar a partir
de las coordenadas de los vectores procedemos a realizar la sustitucin del producto
cruz:

en donde hemos usado que

y

Sin embargo, la ltima expresin obtenida es precisamente el desarrollo de un

determinante, esto es:

Interpretacin geomtrica
La similitud que existe entre las frmulas de determinantes para calcular el producto
cruz y el triple producto escalar tienen su paralelo en el siguiente teorema:
Si

son vectores tridimensionales, entonces

es igual al

volumen del paraleleppedo definido por

Paraleleppedo determinado por tres vectores

As, la norma de un producto cruz representa el valor de un rea, mientras que la norma
de un triple producto escalar representa un volumen.
La demostracin procede observando que

donde es el ngulo entre los dos vectores

Diagrama para demostrar la interpretacin geomtrica.

Por otro lado

forman los vectores

corresponde al rea del paralelogramo que

y

es el ngulo entre ellos.

As, reordenando los factores el producto tenemos:

donde es la altura del paralelogramo, como indica la figura, es el rea del

paralelogramo de la base y es el volumen del paraleleppedo.
La intepretacin geomtrica anterior proporciona un tercer criterio geomtrico de estilo
similar a los sealados para los otros productos.
Tres vectores

son coplanares si y slo si

.

Lo anterior se sigue de que el volumen del paraleleppedo tendr volumen cero si y slo
si los vectores que los definen estn en un mismo plano (y por tanto tendr altura cero).

Relaciones cclicas
A partir de la frmula de determinante podemos obtener el valor del triple producto
escalar cuando los vectores aparecen en distinto orden.
Por ejemplo,

,
puesto que intercambiardos filas de un determinante corresponde a cambiar de signo el
valor.
En general, intercambiar el orden de dos trminos en el triple producto escalar
corresponde a un cambio de signo. Realizando esta transposicin de trminos dos veces
regresamos al valor original y as obtenemos la siguiente relacin cclica: