Estratto del documento

Spazi vettoriali

Proposizione

Sia W ⊆ ℝn l'insieme delle soluzioni di un sistema lineare omogeneo in n incognite Ax = 0. Allora W è un sottospazio vettoriale di ℝn.

Dimostrazione

Siano w, w1, w2 ∈ ℝn soluzioni del sistema omogeneo, ovvero Aw = 0, Aw1 = 0 e Aw2 = 0. Sia λ ∈ ℝ.

Vogliamo verificare la chiusura rispetto a:

  • La somma: A(w1 + w2) = Aw1 + Aw2 = 0 + 0 = 0 ⇒ (w1 + w2) ∈ W
  • Il prodotto per uno scalare: A(λw) = λ(Aw) = λ · 0 = 0 ⇒ (λw) ∈ W

⇒ W è sottospazio vettoriale di ℝn

Spazi vettoriali

Proposizione

Sia W ⊆ ℝn l'insieme delle soluzioni di un sistema lineare omogeneo in n incognite Ax = 0. Allora W è un sottospazio vettoriale di ℝn.

Dimostrazione

Siano w, w1, w2 ∈ ℝn soluzioni del sistema omogeneo, ovvero Aw = 0, Aw1 = 0 e Aw2 = 0. Sia λ ∈ ℝ.

Vogliamo verificare la chiusura rispetto a:

  • La somma: A(w1 + w2) = Aw1 + Aw2 = 0 + 0 = 0 ⇒ w1 + w2 ∈ W
  • Il prodotto per uno scalare: A(λw) = λ(Aw) = λ · 0 = 0 ⇒ λw ∈ W

⇒ W è sottospazio vettoriale di ℝn

Proposizione

Sia V uno spazio vettoriale e v1, ..., vn ∈ V. Allora (v1, ..., vn) è un sottospazio vettoriale di V.

Dimostrazione

Chiusura rispetto alla somma:

α1v1 + ... + αnvn ∈ span(v1, ..., vn)

β1v1 + ... + βnvn ∈ span(v1, ..., vn)

α1, ..., αn, β1, ..., βn ∈ ℝ

1v1 + ... + αnvn) + (β1v1 + ... + βnvn) = (α1 + β1)v1 + ... + (αn + βn)vn ∈ span(v1, ..., vn)

Dove (α1 + β1), ..., (αn + βn) sono i pesi

⇒ chiuso rispetto alla somma

Chiusura rispetto al prodotto per uno scalare:

λ ∈ ℝ

λ(α1v1 + ... + αnvn) = (α1λ)v1 + ... + (αnλ)vn ∈ span(v1, ..., vn)

Dove (α1λ), ..., (αnλ) sono i pesi

⇒ chiuso rispetto al prodotto per uno scalare

⇒ span(v1, ..., vn) è un sottospazio vettoriale di V

Teorema di Grassmann

Siano U e W sottospazi di uno spazio vettoriale di dimensione finita V. Allora:

U + W + U ∩ W = U + W

Dimostrazione

Sia {V1, ..., Vp} una base di U ∩ W, dove p = dim(U ∩ W).

Per il teorema del completamento:

(U ∩ W) ⊆ U

D = {V1, ..., Vp, Up+1, ..., Ur} è una base di U, dove r = dim U. (p ≤ r)

(U ∩ W) ⊆ W

E = {V1, ..., Vp, Wp+1, ..., Ws} è una base di W, dove s = dim W. (p ≤ s)

Per il lemma sui sistemi di generatori di U+W, sappiamo che C ∪ D ∪ E è un sistema di generatori di U+W e quindi una base (se i vettori di C, D, E sono linearmente indipendenti).

B = C ∪ D ∪ E

{V1, ..., Vr} {Up+1, ..., Ur} {Wp+1, ..., Ws}

Se B è veramente una base (e quindi i vettori di C, D, E sono linearmente indipendenti) in tal caso avremo:

dim(U + W) = p + (r - p) + (s - p) = r + s - p = dim U + dim W - dim(U ∩ W)

Ora vogliamo verificare che i vettori di B siano veramente linearmente indipendenti. Supponiamo allora che:

α1v1 + ... + αpvp + βp+1up+1 + ... + βrur + γp+1ωp+1 + ... + γsωs = 0

Dobbiamo dimostrare che αi, βj, γk = 0.

Consideriamo i vettori:

V = α1v1 + ... + αpvp ∈ U ∩ W

U = βp+1up+1 + ... + βrur ∈ U

W = γp+1ωp+1 + ... + γsωs ∈ W

L'ipotesi era che V + U + W = 0, che equivale a dire anche W = - (V + U).

Essendo U ∪ W ⊆ U, allora V ∈ U

Quindi W ∈ U ∩ W ⊆ U, ovvero W ∈ U.

Se W ∈ U ∩ W, allora esso si può scrivere come combinazione lineare dei Vj, ovvero

W = δ1v1 + ... + δpvp

γp+1ωp+1 + ... + γsωs = δ1v1 + ... + δpvp

Essendo V1, ..., Vp, ωp+1, ..., ωs ∈ W, ovvero ad una base di W, ne consegue che essi sono linearmente indipendenti, di conseguenza

γp+1 = ... = γs = 0 = δ1 = ... = δp

Anteprima
Vedrai una selezione di 1 pagina su 5
Spazi vettoriali - Dimostrazioni teoremi spiegate Pag. 1
1 su 5
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/05 Analisi matematica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Ilragazzoatomico di informazioni apprese con la frequenza delle lezioni di Algebra e geometria 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 Ca' Foscari di Venezia o del prof Scarso Alessandro.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community