Para que podamos responder eso, primero veremos otro concepto que es un espacio funcional, a partir de ahí, ¡son cacahuetes!
Entonces, ¿qué es un espacio funcional? Aunque no existe una definición general para el término “espacio matemático”, generalmente queremos decir lo siguiente: un conjunto donde los elementos interactúan de acuerdo con una estructura dada. Como esto también es una declaración demasiado general, demos los dos ejemplos relevantes. Si conoce álgebra lineal, puede omitir esto.
- Un espacio vectorial es aquel en el que los elementos (vectores) interactúan de manera similar a la suma y otro campo que actúa de manera multiplicativa (multiplicación escalar) en los vectores. El conjunto de todas las “flechas de dirección” diferentes con su adición intuitiva y estiramiento coincide bien y motiva esta definición.
- Un espacio interno de producto es un espacio vectorial en el que diferentes vectores pueden producir un escalar en una especie de proceso de multiplicación llamado “producto interno”. En el ejemplo tridimensional dado anteriormente, el coseno normalizado entre vectores nos da un número que, a su vez, nos da una sensación de paralelismo y ortogonalidad entre vectores.
Entonces, en una oración, un espacio de funciones es un espacio vectorial de funciones. Para muchos espacios de funciones, uno puede definir un producto interno y la ortogonalidad tiene un significado obvio.
Pero, ¿cuál es la motivación para todo esto?
- ¿Qué dice intuitivamente el teorema del disco de Gershgorin?
- ¿Alguien puede explicar en detalle cómo el área puede ser un vector?
- Cómo graficar y = 3 (x-2) ^ 2 + 4 estirando la gráfica básica y = x ^ 2
- ¿Cuál es la intuición de que los valores propios de una matriz diagonal son las entradas diagonales? ¿Se supone que es obvio y por qué?
- ¿Es cierto que si tiene un límite en el número de condición de una matriz M, significa que M es invertible? ¿Por qué es eso cierto?
En muchos casos, un espacio de funciones estará definido por las propiedades de integrabilidad. El más conocido para esto es el espacio [matemático] L ^ 2 [/ matemático] de todas las funciones integrables cuadradas, es decir, que su valor absoluto cuadrado tiene integral finita. En este sentido, tomar el producto interno como parte integral del producto puntual de las funciones tiene mucho sentido, ¡y va bien con todas nuestras definiciones!
Según esta definición, resulta que tenemos una base de funciones ortogonales para este espacio, al igual que x, y, z es una base ortogonal estándar para las “flechas de dirección” tridimensionales. Por eso, es muy valioso estudiar funciones ortogonales: ¡pueden aproximar y construir “suficientemente bien” cada función en el espacio!
Por supuesto, puede haber muchas formas de integrar esas funciones, con diferentes dominios de integraciones y varias funciones o medidas de peso para integrar. Esos tendrán diferentes motivaciones probabilísticas o físicas, y darán lugar a diferentes funciones ortogonales.