Un espacio vectorial es un conjunto de “cosas” que puede “sumar” y “escalar”. Para ser un espacio vectorial, las cosas y la forma en que se agregan y escalan deben satisfacer algunos axiomas enumerados aquí: Espacio vectorial.
Probablemente, el primer espacio vectorial sobre el que aprenda sean las “flechas” en el plano xy que van desde el origen a cualquier punto (x, y). Puede agregar “flechas” juntas, por ejemplo, el vector a (a, b) más el vector a (c, d) es la flecha desde el origen a (a + c, b + d). Puede escalar “flechas”, por ejemplo, si desea escalar el vector desde el origen a (a, b) por la constante c, obtiene el vector desde el origen hasta el punto (ca, cb). Estas “flechas” escalables y añadibles satisfacen todos los requisitos para un espacio vectorial.
Pero no son las únicas cosas que hacen. Flechas en 3 dimensiones desde el origen hasta los puntos de la forma (x, y, z) con las ideas habituales de agregar y multiplicar también el trabajo. Pero también lo hacen cosas que no son como flechas en el espacio euclidiano. Como resultado, el conjunto de todas las soluciones de una EDO homogénea lineal con coeficientes constantes es uno de esos conjuntos que no se parece en nada a los vectores en el espacio euclidiano, sino que son un espacio vectorial. ¿Como funciona esto?
Una solución a la ecuación es ahora un vector. Dados dos vectores (es decir, soluciones) en el espacio, puede sumarlos y obtener un vector en el espacio. ¿Por qué? Porque la suma de cualquiera de las dos soluciones debe ser una solución. (Esa es una propiedad REALMENTE importante de las odas homogéneas lineales y no es demasiado difícil de mostrar. Debería mostrarla usted mismo si aún no la ha visto). Además, dado un vector (es decir, una solución) en el espacio, puede multiplíquelo por una constante y obtenga otro vector en el espacio. Nuevamente, esa es una propiedad realmente importante de tales ecuaciones que no es difícil de mostrar.
- ¿Son los steppers adaptativos la única forma de resolver las EDO no lineales?
- ¿Qué métodos de aprendizaje automático utilizan ecuaciones diferenciales?
- ¿Por qué e = mc ^ 2 es una ecuación revolucionaria?
- ¿Se pueden encontrar los extremos de una ecuación paramétrica estableciendo dy / dt = 0?
- ¿Qué piensan los alumnos del libro de texto de Ecuaciones Diferenciales (Boyce / DiPrima)?
Es extraño pensar en las funciones como vectores si solo estás acostumbrado a pensar en puntos en el espacio euclidiano como vectores, pero las funciones también pueden ser vectores. Lo realmente bueno de los espacios vectoriales es que la intuición que construyes trabajando en el espacio euclidiano se extiende muy naturalmente a otros espacios también.
Por ejemplo, en el plano xy, a menudo usamos los vectores para los puntos (1,0) y (0,1) como “base”. Luego nos damos cuenta de que podemos escribir cualquier otro vector como una “combinación lineal” de nuestros dos vectores básicos. Entonces, si bien hay infinitos vectores en el plano (x, y), en realidad solo hay dos dimensiones (es decir, cuánto necesito de la primera base y cuánto necesito de la segunda base). Algo muy similar es cierto con las EDO lineales. Si la ecuación es una ecuación de segundo orden (es decir, la derivada más alta es una segunda derivada), entonces si bien hay infinitas soluciones para dicha ecuación, realmente solo necesitamos encontrar dos soluciones (que no sean un múltiplo constante entre sí) ) para servir de base. Entonces, cualquier otra solución puede escribirse como una combinación lineal de estos dos. Entonces, aunque hay infinitos vectores y aunque los vectores son funciones, en cierto modo, el espacio de todas las soluciones es realmente solo bidimensional. (¿Qué cantidad de la solución de primera base y qué cantidad de la solución de segunda base se necesitan para hacer cualquier otra solución?)
Las EDO lineales homogéneas de tercer orden tienen tres “vectores básicos”, por lo que el espacio de todas las soluciones es tridimensional. Las ecuaciones de primer orden definen un espacio vectorial unidimensional.
Hay otras conexiones interesantes con lo que probablemente entiendas sobre los vectores, ¡pero esta respuesta ya se ha hecho demasiado larga!