Ortonormal

Un conjunto de vectores es ortonormal si es a la vez un conjunto ortogonal y la norma de

cada uno de sus vectores es igual a 1. Esta definicin slo tiene sentido si los vectores
pertenecen a un espacio vectorial en el que se ha definido un producto interno, como sucede
en los espacios eucldeos En donde el producto interno puede definirse en trminos de
distancias y proyecciones perpendiculares de vectores.
Se pueden dar varios ejemplos:

En el espacio eucldeo tridimensional

el conjunto S = {e1, e2, e3}

formado por los tres vectores e1 = (1,0,0), e2 = (0,1,0) y e3=(0,0,1) es un conjunto

ortonormal.

En espacios vectoriales ms abstractos donde puedan definirse ms de un producto

interno, un conjunto podra ser ortonormal respecto al primer producto interno, pero no ser
ortonormal respecto al segundo producto interno.

En mecnica cuntica un estado puro de un sistema es una combinacin lineal de un

conjunto no finito de vectores ortonormales.

Ortonormalizacin[editar]
Artculo principal: Ortogonalizacin de Gram-Schmidt

Dada una base ortogonal de un espacio es trivial hallar una base ortonormal a partir de la
primera dividiendo cada vector de la base ortogonal original por el valor de su norma.
Ms an dada una base cualquiera, no necesariamente ortogonal, de un espacio vectorial de
dimensin finita existe un procedimiento algortmico sencillo que permite hallar una base
ortonormal a partir de una base original, llamado procedimiento de ortogonalizacin de GramSchmidt.

Base cannica
En lgebra lineal, sea un espacio vectorial sobre un cuerpo de escalares

, la base

cannica o base usual es una coleccin de vectores linealmente independientes cuyo

nmero coincide con la dimensin del propio espacio vectorial.
De entre las (infinitas) bases existentes, la base cannica est normalizada, es decir,
los mdulos de los vectores sonunitarios, o lo que es lo mismo, valen una unidad mtrica,
segn el sistema de referencias utilizado.
Adems, en geometra euclidiana, los vectores de la base se fijan a un punto de aplicacin
comn, que es el punto de origen del sistema de referencia o punto cero.

Todas estas caractersticas hacen que la base cannica sea nica para cada espacio
vectorial.
Utilizando el operador interno aditivo (adicin de vectores) y operador
externo producto (producto de un escalar por unvector) caractersticos de todo espacio
vectorial, generan combinaciones lineales de la siguiente forma:
Sean , , (se leen respectivamente: lambda, mu, nu) - una forma de representar a tres
nmeros cualesquiera (o escalares) reales o complejos.
Sea la base cannica para el espacio eucldeo

para el espacio

, siendo

sus coordenadas referidas en ese espacio:

Un vector cualquiera

puede ser representado a travs de una combinacin lineal:

Ejemplo

ndice
[ocultar]

1 El subespacio vectorial de las rectas afines

2 Construccin del plano afn y espacio eucldeo

o

2.1 Construccin mediante suma directa de subespacios vectoriales

2.1.1 Plano afn

2.1.2 Espacio eucldeo

2.2 Construccin mediante producto cartesiano

3 Combinaciones lineales por componentes del espacio vectorial eucldeo

4 Relacin entre coordenadas de un vector y proyeccin sobre ejes coordenados afines

5 Base cannica del espacio eucldeo

6 Vase tambin

7 Referencias

El subespacio vectorial de las rectas afines[editar]

Una recta (la llamamos

) est formada por un entramado infinito de puntos, si

asociamos un vector director

en

a dicha recta. Cualquier vector contenido

tendr la forma:

siendo el parmetro un nmero real que multiplicado por el vector cannico

genera cualquier vector contenido en dicha recta.
El nmero real a travs de la operacin producto de un escalar por un
vector genera un conjunto de infinitos vectores, todos ellos, pertenecientes
al subespacio vectorial real

, el vector al tener de mdulo la unidad, realiza

conversiones de escalares a vectores de la siguiente forma:

Mdulo de

Direccin: Otorgado por el escalar y en funcin del signo que tenga, y el

vector , al ser director de la recta XX', tiene la misma direccin que dicha
recta, en caso de vector libre, paralelo a dicha recta.
y su direccin es hacia la derecha de la recta: X
y su direccin es hacia la izquierda de la recta: X'
Por otro lado, es inevitable la existencia del vector

, cuando = 0,

el vector nulo es un vector especial ya que carece de mdulo, en

consecuencia, su direccin podra ser cualquiera, es una anomala
algebrica necesaria para fundamentar la estructura, ya que es
consecuencia inmediata de la existencia del nmero cero proveniente del
cuerpo de escalares.
Esta discusin es vlida para cualquiera de los otros ejes
coordenados

Construccin del plano afn y espacio eucldeo[editar]

Construccin mediante suma directa de

subespacios vectoriales[editar]
Considerando cada una de las rectas como variedades de un mismo tipo
de subespacio vectorial, las denotaremos como
y

las respectivas de los ejes de referencia: X , Y, Z.

La suma directa de estos subespacios vectoriales de dimensin unitaria

es factible debido a que se cumple la condicin que el nico elemento
que tienen en comn es el punto {0}, es decir que:

Plano afn[editar]
La suma directa de los subespacios de las rectas afines X e Y
generan el subespacio vectorial afn para el plano XY, considerado
espacio vectorial del plano afn

o sencillamente

Siendo la dimensin de este espacio 2 (largo ancho):

solamente se requieren dos vectores (a lo sumo) para obtener

una base de este e.v.
La base cannica estar formada por los
vectores
Para todo

se verifica que, la suma

de ambos vectores es un nuevo vector de dimensin superior y

perteneciente a

En coordenadas de la base cannica:

Espacio eucldeo[editar]
Si adems, introducimos como sumando al subespacio
vectorial asociado al eje z, obtenemos el espacio vectorial
eucldeo:

La dimensin es 3 (largo x ancho x alto), luego se

requieren al menos tres vectores para constituir la
base, siendo la base cannica la constituida por los
vectores
Este espacio tiene las siguientes notaciones:

Considerando que la recta que contiene el eje de

cotas es una variedad del mismo tipo de
subespacio vectorial que existe en las rectas que
contienen a los otros ejes , se denota
como
Para todo
y

.
,
se verifica que, la suma de

estos tres vectores es un nuevo vector de

dimensin tres y perteneciente
a
En coordenadas de la base cannica para

Construccin mediante
producto cartesiano[editar]
Basndonos nuevamente en los subespacios
vectoriales asociados a la recta afn,
podemos obtener los espacios vectoriales

afn y eucldeo usando el producto

cartesiano.
El espacio vectorial afn se genera a partir
del cartesiano de los subespacios asociados
a los ejes de abscisas y ordenadas.
.
De esta forma se generan pares
ordenados de elementos en la
forma
.
Esta es la forma en que se expresa un
vector de

mediante

coordenadas.
Si aadimos en el cartesiano, el
factor

, obtenemos el conjunto

espacio vectorial eucldeo.

.
Los pares ordenados que se generan, estn basados en el producto cartesiano
anterior
.
La bina ser de la forma
[(x,y), z] por lo que es ms
eficaz establecer la terna ( x,
y, z) como las coordenadas
del vector

Combinaciones lineales por

componentes del espacio
vectorial eucldeo[editar]
En los ejes X de
abscisas, Y de

ordenadas, Z de cotas, los

vectores

genera a

todos los vectores

contenidos en la recta
correspondiente. Tomando
un escalar para cada
vector

Los vectores
unitarios
toman un
nmero real o
escalar y lo
transforman
dotndolo de
carcter
vectorial,
otorgndole una
direccin.
Siendo paralelo
respectivamente
al eje de
abscisas,
ordenadas, o
cotas,
dependiente del
valor positivo o
negativo de ,
,
correspondiente
, el cual define
la direccin del
vector
resultante.

Relacin entre
coordenadas de
un vector y
proyeccin
sobre ejes
coordenados
afines[editar]
Un vector del
plano que tenga
de coordenadas
(, ) es
generado
mediante
combinacin
lineal de los
vectores

definidos
anteriormente,
por lo que se
establece que:

De esta
forma, es
fcil
comprender
que los
vectores
componente
s son en
realidad
proyeccione
s del
vector

re

specto a los
ejes
cartesianos.

Para un
vector
cualquiera
que est en
el plano afn
XY, ste
tendr la
siguiente
forma:
siendo

las componentes de las coordenadas del vector

respecto a la base cannica del plano afn.

Si cada
compon
ente es
conside
rado
como
un
vector,
se tiene
que:
est situado en el eje de abscisas y ha sido generado por
est situado en el eje de ordenadas y ha sido generado por .
E
l
v
e
c
t
o
r

e
s
l
a
s
u
m
a
d
e
a
m
b
o
s
c
o
m
p
o
n
e
n
t
e
s
:
.
Y si
resu
lta

que
el
vect
or
es
vec
es
may
or
que
y
el
vect
or
es
vec
es
may
or
que
se
obti
ene
que
los
vect
ores
pue
den
ser
expr
esa
dos
de
esta

man
era:

Y dado que
la suma de
ambos es
precisament
e

entonces:

lo que expresa
la combinacin
lineal de la base
cannica y su
relacin con las
coordenadas de
un vector
cualquiera del
plano afn.
Entonces:

De esta forma se

hace corresponder
lo siguiente:

La norma de los ve

proyectados corres
la distancia desde

punto de corte exis

entre el punto final

y la recta coordena
correspondiente.

La base cannica a

de generar el sube

vectorial, le induce

mtrica, quedando

punto de dicho plan

perfectamente ubic
gracias al sistema

coordenadas introd

Cada punto de dich

quedara apuntado
un vector posicin

partiendo del orige

a dicho punto. Sea

punto, el punto P, e
posicin sera OP.

Tanto el punto P, co

vector OP compart

mismas coordenad

donde 'x' ser la di

origen en el eje de

e 'y' lo mismo para

ordenadas.

Existe una corresp

biunvoca entre pu

plano y vectores po

(isomorfa fundame

Todo vector del pla

una descomposici

en proyecciones so
ejes coordenados.

cannica del plano

requiere dos vecto

la dimensin de s

Esta misma explica

extensible al espac
tridimensional.

Base cannica del

eucldeo[editar]

A partir del plano X

contiene los ejes c

(abscisas y ordena
posible establecer

sistema de referen

espacio tridimensio
Si se toma un eje,

llamar eje de cota

notacin

El eje de cotas est

perpendicularment

y lo atraviesa por e

u origen de coorde

cortando a los otro

decir que:

Lo que hace que e

0) sea el nico pun

donde los tres ejes

se encuentran.

La base cannica d

eucldeo debe de e

por tres vectores lin

independientes, qu

ortogonales y estn
Los vectores i , j y

estas condiciones,

nicos, ya que de e

posibles, son los m

todos.
para el espacio

, siendo sus coordenadas referidas en ese

espacio:
Un vector

combinacin lineal

de la base de la sig

Cada vector a en tres

unacombinacin line

forman la base cann

Observando la figu
coordenadas est
rectas:
,
y

Los vectores direct

las rectas de los ej

que conforman la b
y .
El vector

es ge

forma que es vec

El vector

es gen

forma que es vec

El vector

es gen

forma que es vec

Se verifican las sig

Debido a que los v

(por definicin, son

Por lo tanto, los ve

proyecciones del v

Es por lo que: