Subsepacios Vectoriales
Por Miguel José Vivas, mjvivas@espol.edu.ec | Docente FCNM-ESPOL
Combinación Lineal y Conjunto Generador
Por Gaudencio Zurita, gzurita@espol.edu.ec | Docente FCNM-ESPOL
Independencia Lineal
Por Gaudencio Zurita, gzurita@espol.edu.ec | Docente FCNM-ESPOL
Espacios Vectoriales
Por Mireya Bracamonte, mrbracam@espol.edu.ec | Docente FCNM-ESPOL
Espacios Vectoriales
Por Gaudencio Zurita, gzurita@espol.edu.ec | Docente FCNM-ESPOL
Sistemas de Ecuaciones Lineales
Por Mireya Bracamonte, mrbracam@espol.edu.ec | Docente FCNM-ESPOL
Sistemas de Ecuaciones Lineales
Por Gaudencio Zurita, gzurita@espol.edu.ec | Docente FCNM-ESPOL
La calificación está constituida por dos componentes, uno teórico y otro práctico, con las ponderaciones que se indican a continuación.
Componente Teórico (70%) Otras actividades: 10% Lecciones: 40% Evaluaciones: 50% Los instrumentos de evaluación usados para la Evaluación del contacto con el docente (EHD) y la Evaluación del aprendizaje autónomo (EHTA), no podrán superar cada uno el 50% de la nota final sobre 100 puntos en cada parcial. La nota que se ingresa al sistema es sobre 100 y automáticamente el sistema la pondera sobre 70 puntos. (Artículo 42 – Reglamento de Grado ESPOL).
Componente Práctico (30%) Controles de lectura:10% Talleres formativos: 10% Talleres sumativos: 50% Proyecto: 30% La Evaluación del Aprendizaje Práctico-Experimental (EHP) se evalúa a lo largo del semestre. Se ingresa al sistema al final del segundo parcial y es sobre 100 puntos, esta calificación es automáticamente ponderada a 30 puntos. La nota de la tercera evaluación puede incluir otras actividades de evaluación, excepto las que se encuentran en el componente de evaluación de horas prácticas. (Artículo 41 – Reglamento de Grado de la ESPOL)
Cabe señalar que para la primera evaluación sólo se registra en el sistema académico la nota del componente teórico. La nota del componente práctico se registra al final de la segunda evaluación en conjunto con la nota del componente teórico relacionado.
Es importante señalar que la nota de la tercera evaluación solo reemplaza (para el cómputo) la menor nota del componente teórico entre la primera y segunda evaluación; es decir, no modifica la nota del componente práctico en ningún caso.
Si utiliza un dispositivo móvil, la descarga del documento Contenido de Curso en formato «PDF» debe iniciarse automáticamente en unos segundos; caso contrario, utilice este enlace para iniciar la descarga.
Definición. Un espacio vectorial V, sobre un campo \mathbb{K} cuyos elementos se denominan escalares, es un conjunto no vacío de objetos llamados vectores en el cual se definen dos operaciones binarias llamadas suma de vectores y multiplicación por escalar, las cuales satisfacen los siguientes axiomas:
| 1. | \forall\ v_{\mathrm{1}},v_{\mathrm{2}}\ \mathrm{\in}\ V:v_{\mathrm{1}}\mathrm{\oplus}v_{\mathrm{2}}\ \mathrm{\in}\ V (Cerradura bajo la suma). |
| 2. | \forall\ v_{\mathrm{1}},v_{\mathrm{2}}\ \mathrm{\in}\ V:v_{\mathrm{1}}\mathrm{\oplus}v_{\mathrm{2}}=v_{\mathrm{2}}\mathrm{\oplus}v_{\mathrm{1}} (Ley conmutativa de la suma de vectores). |
| 3. | \forall\ v_{\mathrm{1}},v_{\mathrm{2}},v_{\mathrm{3}}\ \mathrm{\in}\ V: v_{\mathrm{1}}\mathrm{\oplus}\left(v_{\mathrm{2}}\mathrm{\oplus}v_{\mathrm{3}}\right)\mathrm{=(}v_{\mathrm{1}}\mathrm{\oplus}v_{\mathrm{2}}\mathrm{)}\mathrm{\oplus}v_{\mathrm{3}} (Ley asociativa de suma de vectores). |
| 4. | \exists\ n\ \mathrm{\in}\ V\,\ \forall\ v\ \mathrm{\in}\ V:v\mathrm{\oplus}n=v (El vector n se llama neutro aditivo, vector cero o cero vector). |
| 5. | \forall\ v\ \mathrm{\in}V\,\ \exists\ v{'}\ \mathrm{\in}\ V:v\mathrm{\oplus}v{'}=n (El vector v' se llama inverso aditivo de v). |
| 6. | \forall\ v\ \mathrm{\in}\ V\,\ \forall\ \alpha\ \mathrm{\in}\ \mathbb{K}:\alpha\odot v\ \mathrm{\in}\ V (Cerradura bajo la multiplicación por un escalar). |
| 7. | \forall\ v_{\mathrm{1}},v_{\mathrm{2}}\ \mathrm{\in}\ V\,\ \forall\ \alpha\ \mathrm{\in}\ \mathbb{K}: \alpha\odot\left(v_{\mathrm{1}}\oplus v_{\mathrm{2}}\right)=\left(\alpha\odot v_{\mathrm{1}}\right)\mathrm{\oplus}\left(\alpha\odot v_{2}\right) (Primera ley distributiva). |
| 8. | \forall\ v\in V\,\ \forall\ \alpha,\beta\ \mathrm{\in}\ \mathbb{K}: \left(\alpha+\beta\right)\odot v= \left(\alpha\odot v\right)\oplus\left(\beta\odot v\right) (Segunda ley distributiva). |
| 9. | \forall\ v\in V\,\ \forall\ \alpha,\beta\ \mathrm{\in}\ \mathbb{K}: \left(\alpha\beta\right)\odot v=\alpha\odot\left(\beta\odot v\right) (Ley asociativa de la multiplicación por escalares). |
| 10. | \forall\ v\in V\,\ 1\in\mathbb{K}: 1\odot v=v (1 es el idéntico multiplicativo) |
La nomenclatura que se generalmente se sigue es:
| \oplus Cuando se trata de suma de vectores. + Cuando se trata de suma de escalares. \odot Cuando se trata del producto de un vector por un escalar. \ \cdot Cuando se trata del producto de escalares. |
Para probar si un conjunto de vectores conforma o no un espacio vectorial, se debe verificar que satisfaga los 10 axiomas dados, en caso de que por lo menos uno de ellos no se cumpla, entonces ese conjunto de vectores no conforma un espacio vectorial.
La manera de cómo efectuar la suma de vectores y el producto de un vector por un escalar no necesariamente es la suma de vectores y el producto de un vector por un escalar convencionales, sino que queda definida por el planteamiento del problema.
Ejemplo. Determine si el conjunto V=\left\{v/v>0,\ v\in\mathbb{R}\right\} constituye un espacio vectorial, con las siguientes operaciones: \begin{array}{rcll}v_{1}\oplus v_{2} & = & v_{1}v_{2}, & v_{1},v_{2}\in V \\ \alpha\odot v & = & v^{\alpha}, & v\in V\ \land\ \alpha\in\mathbb{R}\end{array}
Solución. A continuación se verifica el cumplimiento de los 10 axiomas:
\mathbf{1.\quad \forall v_{\mathrm{1}},v_{\mathrm{2}}\mathrm{\in}V:v_{\mathrm{1}}\mathrm{\oplus}v_{\mathrm{2}}\mathrm{\in}V}Sea v_{3}=v_{1}\oplus v_{2}, por definición v_{1}\oplus v_{2}=v_{1}v_{2}; para que este axioma se cumpla v_{3} debe pertenecer a V, es decir, v_{3} debe ser un número mayor que 0. Considerando que v_{1}>0 y v_{2}>0 debido a que v_{1} y v_{2} pertenecen a V se tiene que v_{3}=v_{1}\oplus v_{2}=v_{1}v_{2} entonces v_{3}=v_{1}v_{2}\ \wedge\ v_{1}v_{2}>0\Rightarrow v_{3}>0\Rightarrow v_{3}\in V. Por consiguiente el axioma si se cumple.
\mathbf{2.\quad \forall v_{\mathrm{1}},v_{\mathrm{2}}\mathrm{\in}V:v_{\mathrm{1}}\mathrm{\oplus}v_{\mathrm{2}}\mathrm{=}v_{\mathrm{2}}\mathrm{\oplus}v_{\mathrm{1}}}Sean v_{3}=v_{1}\oplus v_{2} y v_{4}=v_{2}\oplus v_{1}. Se debe verificar que v_{3}=v_{4}.\begin{aligned}v_{3}=v_{1}\oplus v_{2}=v_{1}v_{2} \\ v_{4}=v_{2}\oplus v_{1}=v_{2}v_{1}\end{aligned} Como v_{1} y v_{2} son números reales entonces v_{1}v_{2}=v_{2}v_{1} por tanto v_{3}=v_{4}. Por consiguiente el axioma si se cumple.
\mathbf{3.\quad \forall v_{\mathrm{1}},v_{\mathrm{2}},v_{\mathrm{3}}\mathrm{\in}V:v_{\mathrm{1}}\mathrm{\oplus}\left(v_{\mathrm{2}}\mathrm{\oplus}v_{\mathrm{3}}\right)\mathrm{=(}v_{\mathrm{1}}\mathrm{\oplus}v_{\mathrm{2}}\mathrm{)}\mathrm{\oplus}v_{\mathrm{3}}}\begin{aligned}v_{1}\oplus\left(v_{2}\oplus v_{3}\right)=v_{1}\oplus\left(v_{2}v_{3}\right)=v_{1}v_{2}v_{3} \\ \left(v_{1}\oplus v_{2}\right)\oplus v_{3}=\left(v_{1}v_{2}\right)\oplus v_{3}=v_{1}v_{2}v_{3}\end{aligned}Por consiguiente el axioma si se cumple.
\mathbf{4.\quad \exists\ n \mathrm{\in}V\,\ \forall\ v\mathrm{\in}V:v\mathrm{\oplus}n=v}Este axioma describe que existe un vector n (neutro aditivo) que pertenece a V, tal que v\oplus n=v. El vector n es único en un espacio vectorial; en caso de que existan 2 o más vectores neutros, el conjunto no es un espacio vectorial.
\begin{array}{rcl} n\oplus v&=&v \\ nv&=&v \\ n&=&\tfrac{v}{v} \\ n&=&1 \end{array} El vector neutro n es único y para el ejemplo, el neutro es el número 1; es importante señalar que el neutro aditivo no implica que el vector n se relacione únicamente con el número cero (0). Por consiguiente el axioma si se cumple.
\begin{array}{rcl} v\oplus v{'}&=&n \\ vv{'}&=&n \\ v{'}&=&\tfrac{n}{v} \\ v{'}&=&\tfrac{1}{v} \end{array} Siendo v>0\Rightarrow v{'}=\tfrac{1}{v} siempre será mayor que cero. Por consiguiente el axioma si se cumple.
\mathbf{6.\quad \forall\ v\ \mathrm{\in}\ V\,\ \forall\ \alpha\ \mathrm{\in}\ \mathbb{R}:\alpha \odot v\ \mathrm{\in}\ V}Por definición \alpha\odot v=v^{\alpha}; como v>0, entonces v^{\alpha}>0. Por consiguiente el axioma si se cumple.
\mathbf{7.\quad \forall\ v_{\mathrm{1}},v_{\mathrm{2}}\ \mathrm{\in}\ V\,\ \forall\ \alpha\ \mathrm{\in}\ \mathbb{R}:\alpha\odot\left(v_{\mathrm{1}}\oplus v_{\mathrm{2}}\right)=\left(\alpha\odot v_{\mathrm{1}}\right)\mathrm{\oplus}\left(\alpha\odot v_{2}\right)}\begin{array}{rcl}\alpha\odot\left(v_{1}\oplus v_{2}\right)&=&\left(\alpha\odot v_{1}\right)\oplus\left(\alpha\odot v_{2}\right) \\ \alpha\odot\left(v_{1}v_{2}\right)&=&v_{1}^{\alpha}\oplus v_{2}^{\alpha} \\ \left(v_{1}v_{2}\right)^{\alpha}&=&v_{1}^{\alpha}v_{2}^{\alpha} \\ v_{1}^{\alpha}v_{2}^{\alpha} &=& v_{1}^{\alpha}v_{2}^{\alpha}\end{array} Por consiguiente el axioma si se cumple.
\mathbf{8.\quad \forall\ v\in V\,\ \forall\ \alpha,\beta \mathrm{\in}\mathbb{R}:\left(\alpha+\beta\right)\odot v=\left(\alpha\odot v\right)\oplus\left(\beta\odot v\right)}\begin{array}{rcl}\left(\alpha+\beta\right)\odot v&=&\left(\alpha\odot v\right)\oplus\left(\beta\odot v\right) \\ v^{\left(\alpha+\beta\right)}&=&v^{\alpha}\oplus v^{\beta} \\ v^{\left(\alpha+\beta\right)}&=&v^{\alpha}v^{\beta}\\v^{\left(\alpha+\beta\right)}&=&v^{\left(\alpha+\beta\right)}\end{array} Por consiguiente el axioma si se cumple.
\mathbf{9.\quad \forall\ v\in V\,\ \forall\ \alpha,\beta \mathrm{\in}\mathbb{R}:\left(\alpha\beta\right)\odot v=\alpha\odot\left(\beta\odot v\right)}\begin{array}{rcl}\left(\alpha\beta\right)\odot v&=&\alpha\odot\left(\beta\odot v\right) \\ v^{\alpha\beta}&=&\alpha\odot\left(v^{\beta}\right) \\ v^{\alpha\beta}&=&\left(v^{\beta}\right)^{\alpha} \\ v^{\alpha\beta}&=&v^{\alpha\beta}\end{array} Por consiguiente el axioma si se cumple.
\mathbf{10.\quad \forall\ v\in V\,\ 1\in\mathbb{R}: 1\odot v=v}\begin{array}{rcl}1 \odot v&=&v \\ v&=&v \end{array} Por consiguiente el axioma si se cumple.
En conclusión, al cumplir con los 10 axiomas entonces el conjunto V, con las operaciones definidas de suma entre vectores (\oplus) y multiplicación por escalar (\odot\alpha), representa un espacio vectorial.
Es posible que el mismo conjunto V, con otras definiciones para \oplus y \odot\alpha no constituya un espacio vectorial; así como, es posible que las mismas definiciones de \oplus y \odot\alpha pero con un conjunto diferente tampoco constituya un espacio vectorial.
Enlaces de interés
Clase Online Plataforma SIDWeb Referencias Bibliográficas
