ORTOGONALIDAD.

Ortogonal es un adjetivo que se emplea para nombrar a aquello que se encuentra en

un ngulo de 90. Se trata de una nocin que, en el caso de los espacios eucldeos, es
equivalente al concepto de perpendicularidad.
Se habla de proyeccin ortogonal, por otra parte, para nombrar al resultado de dibujar la
totalidad de las rectas proyectantes perpendiculares sobre un cierto plano. Al realizar esta
proyeccin, se establece un vnculo entre los puntos del componente proyectante y los puntos
del elemento proyectado.
Supongamos que deseamos realizar la proyeccin
ortogonal de un segmento PR sobre una recta T. Para esto
tendremos que proyectar los extremos de PR a travs de
lneas que sean perpendiculares a T, lo que permitir
conocer la proyeccin ortogonal del segmento sobre dicha
recta. La interseccin entre las lneas proyectantes y T
crea un nuevo segmento, que podramos denominar MN.
Cuando el segmento PR es paralelo a la recta T, el
segmento MN resultar anlogo a PR

En matemticas, el trmino ortogonalidad (del griego orthos recto y gona ngulo) es una
generalizacin de la nocin geomtrica de perpendicularidad. En el espacio eucldeo convencional
el trmino ortogonal y el trmino perpendicular son sinnimos. Sin embargo, en espacios de
dimensin finita y en geometras no eucldeas el concepto de ortogonalidad generaliza al de
perpendicularidad.

Definicin
Formalmente, en un espacio vectorial con producto interior V, dos vectores

son

ortogonales si el producto escalar de

es cero. Esta situacin se denota
. Adems,
un conjunto A se dice que es ortogonal a otro conjunto B, si cualquiera de los vectores de A es
ortogonal a cualquiera de los vectores del conjunto B.

Ortogonalidad y perpendicularidad
En geometra eucldea se tiene, dos vectores
vectores

ortogonales forman un ngulo recto, los

lo son ya

que,
. En espacios no eucldeos puede
definirse de modo abstracto el ngulo entre dos vectores a partir del producto interior.

Ortogonalidad respecto de una matriz (A-ortogonalidad)

Dados dos vectores
de dimensin
se dice que
y
vectores
todo

pertenecientes a un espacio vectorial de dimensin

, si el productor escalar
son ortogonales respecto a la matriz

, notado
, es igual a cero,
o A-ortogonales. Un conjunto de

se dice que forma una base A-ortonormal si

.

y una matriz

para

INSTITUTO TECNOLGICO
SUPERIOR DE CALKIN EN EL
ESTADO DE CAMPECHE

INGENIERIA EN SISTEMAS
COMPUTACIONALES

QUINTO SEMESTRE

MATEMTICAS V (ACM-0407)

ING. JULIO CSAR PECH SALAZAR

Subtema 5.2
CONJUNTOS ORTOGONALES Y CONJUNTOS
ORTONORMALES

Material de apoyo

MATEMTICAS V
INGENIERA EN SISTEMAS COMPUTACIONALES
Clave de la asignatura: ACM-0407
UNIDAD

NOMBRE

TEMAS Y SUBTEMAS

Series De Fourier

5.2 Conjuntos ortogonales y conjuntos ortonormales

5.2 Conjuntos
ortonormales.

ortogonales

Sean
(x) y
intervalo

conjuntos

(x) dos funciones reales que estn definidas en un

a x b, de tal manera que la integral de el producto

en el intervalo. Denotaremos esta integral por
(

(x)

(x) existe

). Entonces:

(1
)

Se dice que las funciones

y
son ortogonales en el intervalo
a x b si

Un conjunto
de funciones
reales
(x),
(x),
(x), ... es llamado conjunto ortogonal de funciones en el
intervalo a x b si todas estn definidas en el intervalo y si todas las
integrales (
funciones.

)existen y son cero para todos los pares distintos de

La raz cuadrada de (
denotada por ||

)es llamada norma de

y es generalmente

|| ; entonces

(2)

Es claro que, un conjunto ortogonal

(x),
(x),
(x), ... en el intervalo
a x b cuyas funciones tienen norma 1 satisfacen la condicin
Dicho conjunto es llamado conjunto ortonormal de funciones en el intervalo a
xb.
Obviamente, de un conjunto ortogonal podemos obtener un conjunto
ortonormal dividiendo cada funcin entre su norma.

DEFINICIN DE CONJUNTOS ORTONORMALES Y CONJUNTOS

ORTOGONALES:

Se dice que las funciones

y
son ortogonales en el intervalo
a

si

Un conjunto de funciones reales

(x),
(x),
(x), ... es llamado
conjunto ortogonal de funciones en el intervalo a x b si todas estn
definidas en el intervalo y si todas las integrales (
para
todos
los
pares
distintos
La raz cuadrada de (
denotada por ||

)es llamada norma de

)existen y son cero

de
funciones.
y es generalmente

|| ; entonces

(2)

Es claro que, un conjunto ortogonal

(x),
(x),
(x), ... en el intervalo
a x b cuyas funciones tienen norma 1 satisfacen la condicin

Dicho conjunto es llamado conjunto ortonormal de funciones en el intervalo a

b
.
Obviamente, de un conjunto ortogonal podemos obtener un conjunto
ortonormal dividiendo cada funcin entre su norma.

En un conjunto de vectores S de el espacio vectorial V es producto interno es

ortogonal si cada vector de y seria espacio ortonormal si cada vector S es unitario.
Es ortonormal si < vi, vj > = 0 i " j y || vj || = 1 donde i = 1, 2, 3, ..., n y es ortonormal
si < vi, vj > = 0 i " j donde vi, vj pertenecen al conjunto s = { v1, v2, ..., vn }
Un conjunto ortogonal es linealmente independiente si s es un conjunto de
vectores diferentes de cero y que pertenecen al espacio v con producto interno.
Proceso para ortonormalizar de Gram - Schmidt:

 Ver si la base tiene producto interno (como ya lo vimos).

Convertir la base a una base ortogonal.
Sea B = { v1, v2, ..., vn }
w1 = v1
w2 = v2 - proyw1 v2
wn = vn - proyw1 v3 - - proyw(n-1) vn
B' = { w1, w2, ..., wn }
y para ortonormalizar ui = wi / ||wi|| donde I = 1, 2, ..., n.
Donde B'' = { u1, u2, ..., un } es un abase ortonormal

CONJUNTOS ORTOGONALES
Un conjunto de funciones de valor real

es ortogonal en un intervalo

[a, b] si

EJEMPLO 1 Funciones ortogonales Las funciones 1 (x) = x2 y 2 (x) = x3 son ortogonales en el

intervalo [ 1, 1] porque
Un conjunto de funciones {f 1(x), f 2(x),} es un conjunto ortogonal de funciones en el intervalo
[a,b] si cualesquiera dos funciones son ortogonales entre si.

(n m).

Se considerar solo conjuntos ortogonales en los que ninguna de las funciones son idnticamente
iguales a cero en [a,b].
Los coeficientes de una serie respecto a un conjunto ortogonal tiene una forma til, que se
deducir ahora. Suponga que {f 1(x), f 2(x),} es un conjunto ortogonal de funciones en el intervalo
[a,b] y que .
se considerar solo conjuntos ortogonales en los que ninguna de las funciones son idnticamente
iguales a cero en [a,b]. Los coeficientes de una serie respecto a un conjunto ortogonal tiene una
forma til, que se deducir ahora. Suponga que {f 1(x), f 2(x),} es un conjunto ortogonal de
funciones en el intervalo [a,b] y que . Se quiere obtener una frmula para los coeficientes Cn en
trminos de f(x) y de las funciones ortogonales f n(x). Se selecciona un miembro del conjunto
ortogonal, digamos, f n(x), y tome el producto interno con f(x). es decir, se multiplican ambos lados
de por f n(x), y se integra sobre el intervalo para obtener suponga que la integracin y la suma se
puede intercambiar para dar . Pero f , forma un conjunto ortogonal, de manera que (f n, f m) = 0 si n
m. Entonces se convierte en Teorema fundamental de una funcin por una serie de funciones
ortogonales. Suponga que f(x) es diferenciable por partes en el intervalo [a,b] y que donde {f n(x)}
es un conjunto ortogonal de funciones en [a,b]. Entonces Una prueba rigurosa del teorema incluye
consideraciones tcnicas que estn ms all del nivel de esta investigacin. Estas consideraciones
se refieren a la convergencia de y a la demostracin de que la suma y la integral se pueden
intercambiar. Adems cuando se escribe , de hecho, no se requiere que la serie converja a f(x)
para toda x. Las condiciones suficientes para garantizar el intercambio de Fourier del seno y del
coseno, tambin se analizan en qu sentido es igual a f(x). Slo se necesita la continuidad por las
partes de f y las f n para este teorema.

Ejemplo 2: Sea T un subconjunto de R

T={(1,0,0);(0,2,0);(0,0,-1)}.

Primeramente T es un sub espacio vectorial de R Sus elementos o vectores son distintos Al

realizar su respectivo producto punto entre ellos nos da 0 esto se puede evidenciar claramente
porque son vectores perpendiculares. Por lo tanto T es un conjunto ortogonal.
Todo conjunto ortogonal es linealmente independiente porque si:
{ u1, u2, u3, , un} ortogonal
{ 1u1, 2u2, nun} ortogonal
Siendo un escalar
Al mutiplicar por cualquier escalar el conjunto sigue siendo ortogonal