Salta al contenuto
Note per Studenti Esercizio 10 · sottospazio con un parametro, intersezione e somma

Esercizio 10sottospazio con un parametro, intersezione e somma

In questa pagina 6

Testo (4° appello, 3 febbraio 2026, esercizio 1). In R4\mathbb{R}^4 sia UU il sottospazio generato dai vettori u1=(2,−1,3,1)u_1 = (2, -1, 3, 1), u2=(4,0,2,−1)u_2 = (4, 0, 2, -1), u3=(−2,−3,α,5)u_3 = (-2, -3, \alpha, 5).

  • (a) Determinare la dimensione e una base di UU al variare di α∈R\alpha \in \mathbb{R}.
  • (b) Poniamo α=5\alpha = 5. Scrivere le equazioni cartesiane di UU.
  • (c) Sia W⊂R4W \subset \mathbb{R}^4 il sottospazio di equazioni x1+x2−x3=0x_1 + x_2 - x_3 = 0 e 5x2+x3=05x_2 + x_3 = 0. Trovare la dimensione e una base di WW.
  • (d) Per α=5\alpha = 5, trovare una base di U∩WU \cap W e una base di U+WU + W.

(a) Dimensione di UU al variare di α\alpha

Si riducono a scala le righe u1,u2,u3u_1, u_2, u_3 (le righe non nulle della forma a scala danno la dimensioneLe operazioni sulle righe non cambiano il sottospazio generato; le righe non nulle di una matrice a scala sono indipendenti.Metodo - basi, equazioni cartesiane, intersezione e somma di sottospazi →). Il parametro α\alpha sta nell'ultima riga: conviene lasciarlo per ultimo e non dividere mai per espressioni che contengono α\alpha (potrebbero valere 00).

(2−131402−1−2−3α5)→R3→R3+R1R2→R2−2R1(2−13102−4−30−4α+36)→R3→R3+2R2(2−13102−4−300α−50)\begin{pmatrix} 2 & -1 & 3 & 1 \\ 4 & 0 & 2 & -1 \\ -2 & -3 & \alpha & 5 \end{pmatrix} \xrightarrow[R_3 \to R_3 + R_1]{R_2 \to R_2 - 2R_1} \begin{pmatrix} 2 & -1 & 3 & 1 \\ 0 & 2 & -4 & -3 \\ 0 & -4 & \alpha + 3 & 6 \end{pmatrix} \xrightarrow{R_3 \to R_3 + 2R_2} \begin{pmatrix} 2 & -1 & 3 & 1 \\ 0 & 2 & -4 & -3 \\ 0 & 0 & \alpha - 5 & 0 \end{pmatrix}

(Conti dell'ultimo passo: α+3+2(−4)=α−5\alpha + 3 + 2(-4) = \alpha - 5 e 6+2(−3)=06 + 2(-3) = 0.)

L'ultima riga è nulla se e solo se α−5=0\alpha - 5 = 0:

Caso Righe non nulle dim⁡U\dim U Base di UU
α≠5\alpha \ne 5 3 33 u1,u2,u3u_1, u_2, u_3
α=5\alpha = 5 2 22 u1,u2u_1, u_2

Per α=5\alpha = 5 la riga di u3u_3 si annulla con R3+R1+2(R2−2R1)=R3+2R2−3R1R_3 + R_1 + 2(R_2 - 2R_1) = R_3 + 2R_2 - 3R_1, cioè u3=3u1−2u2u_3 = 3u_1 - 2u_2. Verifica: 3(2,−1,3,1)−2(4,0,2,−1)=(6−8, −3−0, 9−4, 3+2)=(−2,−3,5,5)3(2, -1, 3, 1) - 2(4, 0, 2, -1) = (6 - 8,\ -3 - 0,\ 9 - 4,\ 3 + 2) = (-2, -3, 5, 5) ✓. Quindi si toglie u3u_3 e restano u1,u2u_1, u_2, indipendenti (non paralleli).


(b) Equazioni cartesiane di UU per α=5\alpha = 5

Equazioni parametriche e poi eliminazione dei parametriSi scrive il vettore generico come combinazione della base con parametri, poi si eliminano i parametri.Metodo - basi, equazioni cartesiane, intersezione e somma di sottospazi → con la base u1,u2u_1, u_2:

(x1,x2,x3,x4)=a(2,−1,3,1)+b(4,0,2,−1)  ⟺  {x1=2a+4bx2=−ax3=3a+2bx4=a−b(x_1, x_2, x_3, x_4) = a(2, -1, 3, 1) + b(4, 0, 2, -1) \iff \begin{cases} x_1 = 2a + 4b \\ x_2 = -a \\ x_3 = 3a + 2b \\ x_4 = a - b \end{cases}

La seconda dà subito a=−x2a = -x_2. Dalla quarta b=a−x4=−x2−x4b = a - x_4 = -x_2 - x_4. Si sostituisce nelle altre due:

  • x1=2(−x2)+4(−x2−x4)=−6x2−4x4x_1 = 2(-x_2) + 4(-x_2 - x_4) = -6x_2 - 4x_4, cioè x1+6x2+4x4=0x_1 + 6x_2 + 4x_4 = 0;
  • x3=3(−x2)+2(−x2−x4)=−5x2−2x4x_3 = 3(-x_2) + 2(-x_2 - x_4) = -5x_2 - 2x_4, cioè 5x2+x3+2x4=05x_2 + x_3 + 2x_4 = 0.

U:{x1+6x2+4x4=05x2+x3+2x4=0U : \begin{cases} x_1 + 6x_2 + 4x_4 = 0 \\ 5x_2 + x_3 + 2x_4 = 0 \end{cases}

Controlli. Numero di equazioni =4−dim⁡U=2= 4 - \dim U = 2 ✓. u1u_1: 2−6+4=02 - 6 + 4 = 0, −5+3+2=0-5 + 3 + 2 = 0 ✓. u2u_2: 4+0−4=04 + 0 - 4 = 0, 0+2−2=00 + 2 - 2 = 0 ✓.


(c) Dimensione e base di WW

{x1+x2−x3=05x2+x3=0\begin{cases} x_1 + x_2 - x_3 = 0 \\ 5x_2 + x_3 = 0 \end{cases}

Dalla seconda x3=−5x2x_3 = -5x_2; nella prima x1=x3−x2=−6x2x_1 = x_3 - x_2 = -6x_2. Libere: x2x_2 e x4x_4 (che non compare). dim⁡W=2\dim W = 2.

(x2,x4)(x_2, x_4) x1=−6x2x_1 = -6x_2, x3=−5x2x_3 = -5x_2 vettore
(1,0)(1, 0) −6,−5-6, -5 w1=(−6,1,−5,0)w_1 = (-6, 1, -5, 0)
(0,1)(0, 1) 0,00, 0 w2=(0,0,0,1)w_2 = (0, 0, 0, 1)

(d) Intersezione e somma per α=5\alpha = 5

U∩WU \cap W

Ora entrambi i sottospazi hanno equazioni: si possono mettere tutte e quattro a sistema. È più rapido sostituire il vettore generico di WW, s w1+t w2=(−6s, s, −5s, t)s\,w_1 + t\,w_2 = (-6s,\ s,\ -5s,\ t), nelle due equazioni di UU:

  • x1+6x2+4x4=−6s+6s+4t=4t=0⇒t=0x_1 + 6x_2 + 4x_4 = -6s + 6s + 4t = 4t = 0 \Rightarrow t = 0;
  • 5x2+x3+2x4=5s−5s+2t=2t=05x_2 + x_3 + 2x_4 = 5s - 5s + 2t = 2t = 0, già soddisfatta con t=0t = 0.

Resta libero ss: dim⁡(U∩W)=1\dim(U \cap W) = 1, e con s=1s = 1:

base di U∩W: w1=(−6,1,−5,0).\text{base di } U \cap W: \ w_1 = (-6, 1, -5, 0).

(In effetti w1w_1 soddisfa le equazioni di UU, quindi sta in UU; w2w_2 no: 0+0+4=4≠00 + 0 + 4 = 4 \ne 0.)

U+WU + W

Grassmanndim(U + W) = dim U + dim W − dim(U ∩ W).Formula di Grassmann e somma diretta →: dim⁡(U+W)=2+2−1=3\dim(U + W) = 2 + 2 - 1 = 3. Questa volta U+W≠R4U + W \ne \mathbb{R}^4, quindi una base va costruita.

U+WU + W è generato da u1,u2,w1,w2u_1, u_2, w_1, w_2; servono 3 vettori indipendenti tra questi. Si parte dalla base u1,u2u_1, u_2 di UU e si aggiunge un vettore di WW che non sta in UU:

  • w1w_1 non va bene: sta in U∩WU \cap W, quindi è combinazione di u1,u2u_1, u_2 e non aggiunge nulla;
  • w2w_2 va bene: non sta in UU (non soddisfa la prima equazione di UU).

u1,u2,w2u_1, u_2, w_2 sono indipendenti: u1,u2u_1, u_2 lo sono, e w2w_2 non è loro combinazione (altrimenti starebbe in UU). Sono 3 vettori indipendenti nello spazio U+WU + W di dimensione 3, quindi ne sono una base.

base di U+W: u1=(2,−1,3,1), u2=(4,0,2,−1), w2=(0,0,0,1).\text{base di } U + W: \ u_1 = (2, -1, 3, 1),\ u_2 = (4, 0, 2, -1),\ w_2 = (0, 0, 0, 1).


Domanda Risultato
(a) dim⁡U=3\dim U = 3 se α≠5\alpha \ne 5 (base u1,u2,u3u_1, u_2, u_3); dim⁡U=2\dim U = 2 se α=5\alpha = 5 (base u1,u2u_1, u_2)
(b) U:x1+6x2+4x4=0, 5x2+x3+2x4=0U : x_1 + 6x_2 + 4x_4 = 0,\ 5x_2 + x_3 + 2x_4 = 0
(c) dim⁡W=2\dim W = 2, base (−6,1,−5,0),(0,0,0,1)(-6, 1, -5, 0), (0, 0, 0, 1)
(d) U∩W=⟨(−6,1,−5,0)⟩U \cap W = \langle (-6, 1, -5, 0) \rangle; U+W=⟨u1,u2,(0,0,0,1)⟩U + W = \langle u_1, u_2, (0, 0, 0, 1) \rangle, dimensione 3

Errori comuni

  • Dividere per α−5\alpha - 5 durante la riduzione: per α=5\alpha = 5 è divisione per zero. I casi vanno separati.
  • Dire U+W=R4U + W = \mathbb{R}^4 per abitudine: qui Grassmann dà 33.
  • Aggiungere w1w_1 alla base di UU per la somma: sta già in UU, e i tre vettori sarebbero dipendenti.

Lezioni in cui compare

Teoria collegata