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
Ortogonalidad y perpendicularidad
En geometra eucldea se tiene, dos vectores
vectores
lo son ya
que,
. En espacios no eucldeos puede
definirse de modo abstracto el ngulo entre dos vectores a partir del producto interior.
, si el productor escalar
son ortogonales respecto a la matriz
, notado
, es igual a cero,
o A-ortogonales. Un conjunto de
y una matriz
para
INSTITUTO TECNOLGICO
SUPERIOR DE CALKIN EN EL
ESTADO DE CAMPECHE
INGENIERIA EN SISTEMAS
COMPUTACIONALES
QUINTO SEMESTRE
MATEMTICAS V (ACM-0407)
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
ortonormales.
ortogonales
Sean
(x) y
intervalo
conjuntos
(x)
(x) existe
). Entonces:
(1
)
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.
La raz cuadrada de (
denotada por ||
y es generalmente
|| ; entonces
(2)
y
son ortogonales en el intervalo
a
si
|| ; entonces
(2)
b
.
Obviamente, de un conjunto ortogonal podemos obtener un conjunto
ortonormal dividiendo cada funcin entre su norma.
CONJUNTOS ORTOGONALES
Un conjunto de funciones de valor real
es ortogonal en un intervalo
[a, b] 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.