Estratto del documento

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 (viki(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à

  1. V ⊂ V → Ann(S) ssv di V*.
  2. S ⊂ T → Ann(S) ⊂ di V*.
  3. U ssv di V → dim V = k → dim U = k → → ∀ f ∈ V* Ann(f) = ψx(ker f).
  4. ∀ 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&plus;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).

  1. Vk1...vn ∈ Ann(U) in quanto (vi)*(ui)=o ∀ i.
  2. ∑ivamente Vk1...Vn sono indipendente in quanto ∈(Bx.
  3. 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à

  1. tf: W* → V* lineare.
  2. tf (fv) = f.
  3. Schema di digramma tf (g·tf) è commutative.
  4. h: W → Z lineare → b(h·f) = f o h.
  5. ker (tf) = Ann(Im f).
  6. Im (tf) = Ann(ker f).

B base di V, S base di W US,V(tfv) = t(UV,S(f)).

Dimostrazione

  1. ∀ α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)) = Ψ.

Anteprima
Vedrai una selezione di 3 pagine su 6
Spazio duale e biduale, Geometria analitica Pag. 1 Spazio duale e biduale, Geometria analitica Pag. 2
Anteprima di 3 pagg. su 6.
Scarica il documento per vederlo tutto.
Spazio duale e biduale, Geometria analitica Pag. 6
1 su 6
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/03 Geometria

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher shevaar di informazioni apprese con la frequenza delle lezioni di Geometria analitica e algebra lineare e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi di Pisa o del prof Fortuna Elisabetta.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community