|
== Definición ==
Un espacio vectorial <math>\mathbb{V}</math> sobre un [[cuerpo]] <math>\mathbb{K}</math> es un conjunto no vacío sobre el que se definen 2 operaciones internas y 8 propiedades inherentes,a saber:
<math>\oplus:\mathbb{V}\times\mathbb{V}\rightarrow\mathbb{V}</math>
<math>(u,v)\rightarrow u\oplus v</math> (Cerradura bajo la operación <math>\oplus</math> de dos elemetos de <math>\mathbb{V}</math>)
<math>\otimes:\mathbb{K}\times\mathbb{V}\rightarrow\mathbb{V}</math>
<math>(\alpha,u)\rightarrow \alpha\otimes u</math> (Cerradura ante <math>\otimes</math> de un elemento del cuerpo <math>\mathbb{K}</math> y un elemento de <math>\mathbb{V}</math>)
* '''Propiedad Conmutativa'''
<math> u \oplus v = v \oplus u</math><math>\forall u,v \in \mathbb{V}</math>
* '''Propiedad Asociativa'''
<math>u\oplus(v\oplus w)=(u\oplus v)\oplus w</math><math>\forall u,v,w \in \mathbb{V}</math>
* '''Existencia de elemeto neutro ante <math>\oplus</math>'''
<math>\forall u \in \mathbb {V}</math><math>\exists e \in \mathbb{V}</math><math>\ni </math><math>u\oplus e=u</math>
* '''Existencia de elemento opuesto ante <math>\oplus</math>'''
<math>\forall u \in \mathbb{V}</math><math>\exists u \prime </math><math>\ni</math><math>u\oplus u \prime =e</math>
* '''Propiedad Asociativa'''
<math>(\alpha \bullet \beta)\otimes u = \alpha \otimes (\beta \otimes u)</math><math>\forall \alpha,\beta \in \mathbb{K}</math>,<math>\forall u \in \mathbb{V}</math>
* '''Propiedad distributiva para la opearación (+) entre escalares'''
<math> (\alpha (+) \beta)\otimes u=\alpha \otimes u \oplus \beta\otimes u</math><math>\forall \alpha,\beta \in \mathbb{K}</math>,<math>\forall u \in \mathbb{V}</math>
* '''Propiedad distributiva para la operación <math>\oplus</math> entre elementos de <math>\mathbb{V}</math>'''
<math>\alpha \otimes (u\oplus v)=\alpha \otimes u \oplus \alpha \otimes v</math><math>\forall \alpha \in \mathbb{K}</math><math>\forall u,v \in \mathbb{V}</math>
* '''Existencia de elemento neutro ante la operación''' <math>\otimes</math>
<math>\forall u \in \mathbb{V} </math><math>\exists \epsilon \in \mathbb{K}</math><math>\ni</math>
<math>\epsilon \otimes u=u</math>
== Ejemplos ==
# <math>\mathbb{R}^n</math> es un espacio vectorial sobre <math>\mathbb{R}</math>
En efecto:
<math>\oplus:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}^n</math>
<math>(a,b)\rightarrow a+b</math>
<math>*:\mathbb{R}\times\mathbb{R}^n\rightarrow\mathbb{R}^n</math>
<math>(\alpha,a)\rightarrow \alpha*a</math>
''' Ante la suma'''
<math>\forall a,b \in \mathbb{R}^n</math>:
<math>a\oplus b = b\oplus a</math> (ley conmutativa ante la operación interna suma)
<math>\forall a,b,c \in \mathbb{R}^n</math>:
<math>a\oplus(b\oplus c) = (a\oplus b)\oplus c</math> (ley asociativa ante la operación interna suma)
<math>\forall a \in \mathbb{R}^n\exists 0 \in \mathbb{R}^n</math>:
<math>a\oplus 0=a</math> (existencia de elemento neutro aditivo)
<math>\forall a \in \mathbb{R}^n\exists (-1)a \in \mathbb{R}^n</math>:
<math>a\oplus (-1)a=0</math> (existencia de elemnto opuesto)
'''Ante el produnto por escalares'''
<math>\forall \alpha,\beta \in \mathbb{R}, \forall a \in \mathbb{R}^n</math> se cumple:
<math>(\alpha\cdot\beta)*a=\alpha*(\beta*a)</math> (ley asociativa ante el producto por escalares)
<math>\forall \alpha,\beta \in \mathbb{R},\forall a \in \mathbb{R}^n</math> se tiene:
<math>(\alpha\cdot\beta)*a=\alpha*a + \beta*a</math> (ley distributiva)
<math>\forall \alpha \in \mathbb{R},\forall a,b \in \mathbb{R}^n</math> se satisface:
<math> \alpha * (a\oplus b)= \alpha*a \oplus \alpha*b</math> (ley distributiva)
<math>\forall a \in \mathbb{R}^n,\exists \alpha \in \mathbb{R}</math>:
<math> \alpha*a =a</math> (existencia de neutro multiplicativo).
2.El conjunto de todos los polinomios
3.El conjunto de todas las funciones continuas
= Matrices=
== Definición ==
Una matriz es un ordenamiento de elementos de un cuerpo, representado por filas y columnas, por ejemplo:
<math>A =
\begin{pmatrix}
a_{11} & a_{12} & \ldots & a_{1n} \\
a_{21} & a_{22} & \ldots & a_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
a_{i1} & a_{i2} & \ldots & a_{in} \\
\vdots & \vdots & \vdots & \vdots \\
a_{m1} & a_{m2} & \ldots & a_{mn}
\end{pmatrix},\ni A \in M_{m,n}(\mathbb{K})
</math>
Donde:
<math>M_{m,n}(\mathbb{K})</math> representa al conjunto de matrices de <math>m-filas, n-columnas</math> de un cuerpo <math>\mathbb{K}</math>.
Normalmente la <math>i,j</math>-ésima entrada de una matriz de <math> m \times n</math> se representa por <math>(a_{ij})</math>.
== Ejemplos de matrices: ==
Si m=n la matriz se suele llamar cuadrada, por ejemplo:
<math>C =
\begin{pmatrix}
a_{11} & a_{12} & \ldots & a_{1n} \\
a_{21} & a_{22} & \ldots & a_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
a_{j1} & a_{j2} & \ldots & a_{jn} \\
\vdots & \vdots & \vdots & \vdots \\
a_{n1} & a_{n2} & \ldots & a_{nn}
\end{pmatrix},\ni C \in M_{m,n}(\mathbb{K})
</math>
Que tiene por entrada <math>(c_{ij})</math><math>\forall i,j \in {1,...,n}</math>
En particular:
<math>B =
\begin{pmatrix}
3 & 5^{20} & \ldots & \sqrt{2} \\
20 & -30 &\ldots & \pi \\
\vdots & \vdots & \vdots & \vdots \\
e & 34\times 10^{-23} & \ldots & 590 \\
\vdots & \vdots & \vdots & \vdots \\
\log_{12} 20 & 897 & \ldots & 4576
\end{pmatrix},\ni B \in M_{n,n}(\mathbb{R})
</math>
Si <math>m>n</math> se desprenden caso inmportantes como:
<math>D =
\begin{pmatrix}
a_{11} \\
a_{21} \\
\vdots \\
a_{i1} \\
\vdots \\
a_{m1}
\end{pmatrix},\ni D \in M_{m,1}(\mathbb{K})
</math>
que en particular puede representar un vector en <math>\mathbb{R}^m</math>, de hecho <math>M_{m,1}(\mathbb{R})</math>es el conjunto mensionado.
Como podemos observar la condensación de notación en forma matricial es una ventaja imprescindible, pues, al trabajar con grandes contidades númericas se ahorra memoria al igual que trabajo en sí mismo.
Ahora vamos a exponer un método para operar con matrices.
== Estructura de matrices ==
'''Definición'''.
Sean <math>\mathrm{A}</math> y <math>\mathrm{B}</math> dos matrices con respectivas entradas <math>(\mathrm{a_{ij}})</math> y <math>(\mathrm{b_{ij}})</math>
será <math>\mathrm{A}</math> ''igual'' a <math>\mathrm{B}</math> si poseén las mismas entradas, es decir, si:
<math>(\mathrm{a_{ij})=(b_{ij}})</math>.
'''Definición'''.
Sean <math>\mathrm{A}</math> y <math>\mathrm{B}</math> matrices <math>m \times n</math> con entradas <math>(\mathrm{a_{ij}})</math> y <math>(\mathrm{a_{ij}})</math> respectivamente, ''la adición'' de <math>\mathrm{A}</math> y <math>\mathrm{B}</math>, se define:
<math>\mathrm{A + B=((a_{ij}) +(b_{ij})})</math>
Observación:
notar que la adición se genera entrada con entrada.
'''Ejemplo''':
<math>A =
\begin{pmatrix}
a_{11} & a_{12} & \ldots & a_{1n} \\
a_{21} & a_{22} & \ldots & a_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
a_{i1} & a_{i2} & \ldots & a_{in} \\
\vdots & \vdots & \vdots & \vdots \\
a_{m1} & a_{m2} & \ldots & a_{mn}
\end{pmatrix}, B =
\begin{pmatrix}
b_{11} & b_{12} & \ldots & b_{1n} \\
b_{21} & b_{22} & \ldots & b_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
b_{i1} & b_{i2} & \ldots & b_{in} \\
\vdots & \vdots & \vdots & \vdots \\
b_{m1} & b_{m2} & \ldots & b_{mn}
\end{pmatrix}, \ni A,B \in M_{m,n}(\mathbb{K})
</math>
<math>A+B =
\begin{pmatrix}
a_{11}+b_{11} & a_{12}+b_{12} & \ldots & a_{1n}+b_{1n} \\
a_{21}+b_{21} & a_{22}+b_{22} & \ldots & a_{2n}+b_{2n}\\
\vdots & \vdots & \vdots & \vdots \\
a_{i1}+b_{i1} & a_{i2}+b_{i2} & \ldots & a_{in}+b_{in} \\
\vdots & \vdots & \vdots & \vdots \\
a_{m1}+b_{m1} & a_{m2}+b_{m2} & \ldots & a_{mn}+b_{mn}
\end{pmatrix}, \ni [A+B]\in M_{m,n}(\mathbb{K})
</math>
'''Definición:'''
Considere <math>\mathrm{A}</math> un matriz de <math>m \times n</math> con entrada <math>(\mathrm{a_{ij}})</math> y sea <math>\alpha </math> <math>\in \mathbb{K}</math> se define la matriz <math>\alpha \cdot A</math> como:
<math>\alpha \cdot A =
\begin{pmatrix}
\alpha \cdot a_{11} & \alpha \cdot a_{12} & \ldots & \alpha \cdot a_{1n} \\
\alpha \cdot a_{21} & \alpha \cdot a_{22} & \ldots & \alpha \cdot a_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
\alpha \cdot a_{i1} & \alpha \cdot a_{i2} & \ldots & \alpha \cdot a_{in} \\
\vdots & \vdots & \vdots & \vdots \\
\alpha \cdot a_{m1} & \alpha \cdot a_{m2} & \ldots & \alpha \cdot a_{mn}
\end{pmatrix}, \ni [\alpha \cdot A] \in M_{m,n}(\mathbb{K})
</math>
'''Observación''':
En las dos definiciones anteriores la cerradura se debe a que son elmentos de un cuerpo,el cual, posee esta propiedad.
Sin mucha dificultad se puede demostrar que el conjunto <math>M_{m,n}(\mathbb{K})</math> es un espacio vectorial sobre el cuerpo referido(<math>\mathbb{K}</math>).
'''Definición:'''
Sea <math>\mathrm{A}</math> una matriz <math>m\times n</math> con entrada <math>(\mathrm{a_{ij}})</math> y <math>\mathrm{B}</math> una matriz de <math>n\times q</math> con entrada <math>(\mathrm{b_{ij}})</math> se define <math>A \bullet B</math>
que es la multiplicación de <math>\mathrm{A}</math> por <math>\mathrm{A}</math> como sigue:
<math>A \bullet B =
\begin{pmatrix}
\sum_{j=i}^{n}a_{1j}b_{j1} & \sum_{j=1}^{n}a_{1j}b_{j2} & \ldots & \sum_{j=1}^{n}a_{1j}b_{jq} \\
\sum_{j=1}^{n}a_{2j}b_{j1} & \sum_{j=1}^{n}a_{2j}b_{j2} & \ldots & \sum_{j=1}^{n}a_{2j}b_{jq}\\
\vdots & \vdots & \vdots & \vdots \\
\sum_{j=1}^{n}a_{ij}b_{j1} & \sum_{j=1}^{n}a_{ij}b_{j2} & \ldots & \sum_{j=1}^{n}a_{ij}b_{jq} \\
\vdots & \vdots & \vdots & \vdots \\
\sum_{j=1}^{n}a_{mj}b_{j1} & \sum_{j=1}^{n}a_{mj}b_{j2} & \ldots & \sum_{j=1}^{n}a_{mj}b_{jq}
\end{pmatrix}
</math>
generando una matriz <math>C = A \bullet B</math> <math>m\times q</math> con entrada <math>(c_{ik})=(\sum_{j=1}^{n}a_{ij}b{jk})</math>.
'''Observación''':
Es importante que las filas conincidan con las columnas o viceversa en la multiplicación de matrices ya que si no fuese así no se puede definir ninguna multiplicación entre estas.
----
'''Propiedades inmediatas:'''
Sea <math>\mathrm{A}</math> matriz <math>m\times n </math> con entrada <math>(\mathrm{a_{ij}})</math>, <math>\mathrm{B}</math>un matriz <math>n\times q</math> con entrada <math>(\mathrm{b_{jk}})</math> y <math>\alpha_{l}\in\mathbb{K}</math>, entonces se cumple:
1.<math>(\sum_{l=1}^{r}\alpha_{l})\cdot(A\bullet B)=(\sum_{l=1}^{r}\alpha_{l}\cdot A)\bullet B=A\bullet (\sum_{l=1}^{r}\alpha_{l}\cdot B)=(A\bullet B) \cdot \sum_{l=1}^{r}\alpha_{l}</math>.
2.<math>\prod_{l=1}^{s}\alpha_{l}\cdot(A\bullet B)=(\prod_{l=1}^{s}\alpha_{l}\cdot A)\bullet B=A\bullet (B\cdot \prod_{l=1}^{s}\alpha_{l})=(A\bullet B)\cdot \prod_{l=1}^{s}\alpha_{l}</math>
----
'''Definición.'''
Sea <math>\mathrm{A}</math> un matriz <math>m\times n</math> con entrada<math>(\mathrm{a_{ij}})</math> ''la traspuesta'' de <math>\mathrm{A}</math> es una matriz que "invierte" las m-columnas por las n-filas,así que podemos esperar una matiz de <math>n\times m</math> la cual se representa como <math>\mathrm{A}^{T}</math>y tiene por entrada <math>(a_{ji})</math>.
'''Ejemplo:'''
<math>A =
\begin{pmatrix}
b_{11} & b_{12} & \ldots & b_{1n} \\
b_{21} & b_{22} & \ldots & b_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
b_{i1} & b_{i2} & \ldots & b_{in} \\
\vdots & \vdots & \vdots & \vdots \\
b_{m1} & b_{m2} & \ldots & b_{mn}
\end{pmatrix}, A^{T}=
\begin{pmatrix}
b_{11} & b_{12} & \ldots & b_{1m} \\
b_{21} & b_{22} & \ldots & b_{2m} \\
\vdots & \vdots & \vdots & \vdots \\
b_{j1} & b_{i2} & \ldots & b_{jm} \\
\vdots & \vdots & \vdots & \vdots \\
b_{n1} & b_{n2} & \ldots & b_{nm}
\end{pmatrix}
</math>
'''Propiedades:'''
1.<math>\forall A \in M_{m,n}(\mathbb{K})</math>, <math>(\mathbf{A^{T})^{T} = A}</math>
2.<math>(\mathbf{\sum_{i=1}^{l}A_{i})^{T} = \sum_{i=1}^{l}A_{i}^{T}}</math>
3.<math>\forall \mathbf{\alpha_{j}} \in \mathbb{K}</math> y <math>\forall \mathbf{A_{i}} \in M_{m,n}(\mathbb{K})</math>,se satisface:
<math>\mathbf{\prod_{v=1}^{s}\alpha_{v} \cdot (\sum_{i=1}^{p}A_{i})^{T}= (\prod_{v=1}^{s}\alpha_{v} \cdot \sum_{i=1}^{p}A_{i})^{T}=\sum_{i=1}^{p}A_{i}^{T} \cdot \prod_{v=1}^{s}\alpha_{v}}</math>
4.<math>\forall \mathbf{A_{i}}</math>, <math>\mathbf{B_{i}}</math> <math>\in M_{m,n}(\mathbb{K})</math> se cumple:
<math>\mathbf{(\sum_{i=1}^{s}A_{i} + B_{i})^{T}=\sum_{i=1}^{n}(B_{i})^{T} + \sum_{i=1}^{n}(A_{i})^{T}}</math>
| 