Spazio duale e spazio biduale
Def. V 1k-sp. vett. si definisce spazio duale V* = Hom(V,1k). Gli elementi di V* vengono indicati con vi* e sono detti funzionali lineari.
Prop. Sia B = {v1,...vn} base di V. Ici sia Vi*: V → 1k definito da Vi* (vj) = δij ⇒ B* = {v1*... vn*} è base di V* detta base duale di B.
Dimostrazione
Dim: vi sono lin. indip.: data a1v1 +...+ amvm = 0 ⇒ (a1v1* +...+ amvm* )(vj) = aj = 0 ∀ j aj = 0.
I vi* generano: ma ƒ ∈ V* cerco a1,...an t.c. ƒ = a1v1* +...+ anvn* ∀ j ƒ(vj) = aj ⇒ base scegli ai = ƒ(vi).
Def. Si definisce spazio biduale di V V** = Hom(V*,1k).
Corollario dim V = dim V**.
Notazione v1,... vn base di V <φi> V → V** vi = vi*.
Teorema
L'applicazione Ψv: V ——> (V*)* dove Ψv (w): V ——> 1k Ψv(w)i = w(vi) 1) è un isomorfismo canonico j ( ) j ∀ B base φB*ºφB = ΨL.
Dimostrazione della linearità
Dim proviamo la linearità. Ψv(a1v1 + a2v2)(g) = g(a1v1 + a2v2) = a1g(v1) + a2g(v2) = (a1Ψv(v1) + a2 Ψv(v2))(g).
Ψv(w)(λƒ+μg) = (λƒ + μg)(w) = λ ƒ(w) + μg(w) = λ Ψv,w (ƒ) + μ Ψv,w (g).
Poiché dim V = dim(V*)* mi basta provare l'iniettività: per dimostrare che è una iniezione Ψv(w) = 0 ⇒ g(w) = 0 ∀ g ∈ V* ⇒ v = 0 (se v ≠ 0 ⇒ ∃ j ∈ V* t.c. g(w) ≠ 0) ⇒ tesi.
Spazio duale
Def. V lk-sp. vett. si definisce spazio duale V* = Hom (V, lk). Gli elementi di V* vengono indicati con vi* e sono detti funzionali lineari.
Prop. Sia B = {v1, ..., vn} base di V, ∀ i sia vi* : V ⟶ lk definito da vi* (vj) = si,j ⇒ B* = {v1*, ..., vn*} è base di V* detta base duale di B.
Dimostrazione
Dim.: vi sono lin. indip.: data a1v1 + ... + amvm = 0 ⇒ (a1v1* + ... + amvm*)(vj) = aj = 0.
vi* generano V*, perché ∀ v cerco a1... am t.c. f = a1v1* + ... + amvm* ∀ i f(vj) = aj ⇒ base scelta ai = f(vi).
Def. Si definisce pario biduale di V V** = Hom (V*, lk).
Corollario dim V = dim V* = dim (V**).
Notazione f1... fn base di V fβ : V ⟶ V* fβ : vi ⟼ vi*.
Teorema
L’applicazione ΨV : V ⟶ (V*)* dove ΨV(v) : V* ⟶ lk v(u) 1) e’ un isomorfismo canonico.
Dimostrazione della linearità
Dim. proviamo la linearità ΨV (a1u1 + a2v2) (g) = g(a1u1 + a2v2) = a1g(v1) + a2g(v2) = (a1ΨV(v1) + a2ΨV(v2)) (g).
ΨV (v) (λf + μg) (w) = (f + μg) (w) = λf(w) + μg(w) = λ ΨV,w(f) + μ ΨV,w(g).
Perchè <sub>f( ... )</sub> dim V = dim (V*) ⇒ mi basta provare l’iniettività per dimostrare che è una iniezione ΨV(w)(g) = 0 ⇒ g(w) = 0 ∀ g ∈ V* ⇒ v = 0 (se v ≠ 0 ⇒ ∃) g ∈ V* s.c. g(w) ≠ 0) ⇒ tes.
Dim. 1) Mostro che fissato B = {v1, ..., vn} φk°φB(i) = ψki ∀ i: (li ralbo in uno stesso ed el di (vi)λki(2)(φB(vi); (vi)° = φkx (vi; vi) = φ x (vi; x (vi)° = (vi)°(vi) ° dij.
Annullatore
Def. S &sub V, n definisce annullatore di S Ann(S)= {f ∈ V* t.c. f|S = o}.
Proprietà
- V ⊂ V → Ann(S) ssv di V*.
- S ⊂ T → Ann(S) ⊂ di V*.
- U ssv di V → dim V = k → dim U = k → → ∀ f ∈ V* Ann(f) = ψx(ker f).
- ∀ U ssv di V Ann(Ann(U)) = ψx(u).
Dimostrazione
Dim. 1) O ∈ Ann(S), O|S = o.
ii) nsao {f,g} ∈ Ann S f+g*(S)=o &Harr; f*(S)+ρ(S)=o f ∈ Ann(S) → fuu=0 ∀ v ∈ T ⊂S ∀ ε Ann(S).
Dim. 3) Ora {u1,...,vk1,...,vn} base di U vorsa a base di V. Voglio... mostrare che vk1...vn ∑ere Ann(U).
- Vk1...vn ∈ Ann(U) in quanto (vi)*(ui)=o ∀ i.
- ∑ivamente Vk1...Vn sono indipendente in quanto ∈(Bx.
- Are f ∈ Ann(S) f=a1U1*...+acUc*+Vk1..* vorsei f(Ui)...Uk ∈ Ann(U)=f=ac1Vk11...+QnVn*.
Dim Ann(F)= {f ∈ Vk}, h(f)=o ⇐ φxh | φxo φx | φx= Ψ{f|x{cα}=o} = Ψ(ker f).
Dim. 5) dim (Ann(Ann(U))) = m(n-k) = k → mostro in soli continuiemento sm attere la tesi φ(U) ⊂ Ann(Ann(U)) in quanto φ(x)|Ann(U)=o : ∀ f ∈ Ann(U) φ(x)(f)=f(x)=o in quanto f ∈ Ann(u).
Trasposta di un'applicazione lineare
Def. f: V → W lineare, definiamo tf: W* → V* tf (g)q = g·f è una buona definizione; g: W → k g·f: V → W → k = (g·f) ∈ V*.
Proprietà
- tf: W* → V* lineare.
- tf (fv) = f.
- Schema di digramma tf (g·tf) è commutative.
- h: W → Z lineare → b(h·f) = f o h.
- ker (tf) = Ann(Im f).
- Im (tf) = Ann(ker f).
B base di V, S base di W US,V(tfv) = t(UV,S(f)).
Dimostrazione
- ∀ α1, α2 ∈ k, ∀ g1, g2 ∈ W* si ha che tf (α1g1 + α2g2) = (α1g1 + α2 g2 )·f = α1 g1· f + α2 g2·f = α1 tf(g1) + α2 tf(g2).
nt Voglio mostrare che t(f)V) Ψw(ϱ) = Ψw Ψvf(ϱ) Ψw(ϱ)(ω) = Ψwf (ω)(g) t(fv) Ψw(ϱ) = Ψw g ((f(ω))(υ) = g (f(ω))(υ) t(fp) Ψω(ϱ) = Ψw ((tf(ϱ).Ψx(ιp)) = Ψ.
-
Geometria analitica nello spazio
-
Geometria analitica nello spazio tridimensionale
-
Geometria analitica lineare nello spazio per Analisi 1
-
Geometria nello spazio