Aplicaci?? lineal

De Viquip??dia

En matem??tiques, una aplicaci?? lineal ??s un morfisme entre dos espais vectorials que respecten l'operaci?? suma de vectors i la multiplicaci?? escalar definides en aquests espais vectorials, o, en altres paraules que preserven les combinacions lineals.

Taula de continguts

1 Definicions
2 Nucli i imatge
- 2.1 Teorema del rang
- 2.2 Teorema d'isomorfisme
3 L'espai dual

[edita] Definicions

Sigui

$f:\mathbf E\rightarrow \mathbf F$

una aplicaci?? on $\mathbf E$ i $\mathbf F$ s??n dos $\mathbb K$ -espais vectorials.

f

??s una aplicaci?? lineal (o un morfisme de $\mathbb K$ -espais vectorials) si:

* $\forall x\in E,\forall y\in E,f(x+y)=f(x)+f(y)$

* $\forall \lambda \in \mathbb K,\forall x\in E,f(\lambda\cdot x)=\lambda \cdot f(x)$

Una aplicaci?? que compleixi la primera condici?? es diu additiva, si, en canvi compleix la segona es diu homogeni.

Si $f:\mathbf E \rightarrow \mathbf F$ ??s una aplicaci?? lineal, $\forall x,y \in \mathbf E$ , i $\forall a,b \in \mathbb K$ es compleix:

$f(ax+by)=af(x)+bf(y)\,$
$f(\sum_{i=1}^m a_ix_i)=\sum_{i=1}^m a_if(x_i)$
$f(\vec 0)=\vec 0$
$f(-x)=-f(x)\,$
Si $g:\mathbf F \rightarrow \mathbf G$ tamb?? ??s una aplicaci?? lineal, aleshores: $g\circ f: \mathbf E \rightarrow \mathbf G$ , tamb?? ??s una aplicaci?? lineal.

[edita] Nucli i imatge

Sigui $f:\mathbf E\rightarrow \mathbf F$

S'anomenar?? nucli de $f$ al subespai vectorial de $\mathbf E$

$Nuc f=\left\{x\in \mathbf E|f(x)=0\right\}$

S'anomenar?? imatge de $f$ al subespai vectorial de $\mathbf F$

$Im f=\left\{y \in \mathbf F|\exist x\in \mathbf E , y=f(x)\right\}$

[edita] Teorema del rang

$dim(Nuc f) + dim(Im f)=dim (\mathbf E)$

[edita] Teorema d'isomorfisme

$Im f \cong \mathbf E/Nuc f$

[edita] L'espai dual

S'escriur?? $\mathcal{L}(\mathbf E,\mathbf F)$ com el conjunt de totes les aplicacions lineals de $\mathbf E$ a $\mathbf F$ , que s??n espais vectorials sobre el cos $\mathbb K$ .

Es defineix l'espai dual com el conjunt $\mathbf E^*=\mathcal{L}(\mathbf E,\mathbb K)$ .

$\mathbf E^*$ ??s un espai vectorial de la mateixa dimensi?? de $\mathbf E$ . De tal forma que si $(u 1, u 2,..., u n)$ ??s una base de $\mathbf E$ , les aplicacions

$u_i^':\mathbf E \rightarrow \mathbb K$

definides per $u_i^'(u_j)=\left\{\begin{matrix} 1&\mbox {si}&i=j\\ 0&\mbox {si}& i\ne j\end{matrix}\right.$ formen una base $(u_1^',u_2^',...u_n^')\,$ de $\mathbf E^*$ que anomenarem base dual de $(u_1,u_2,...,u_n)\,$