Domanda su sottospazi

indovina
Ho questo esercizio che dice:
Dato $V=((x,y,z) ''di'' R^3: x=y+2)$ dire se è sottospazio a $R^3$

Io ho pensato di prendere due vettori generici del tipo:

$(y+2,y,0)$ e $(-y-2,-y,0)$

vedo la somma delle componenti che mi da il vettore nullo $(0,0,0)$ che è contenuto in $R^3$.

Ora non so se ho scritto una boiata assurda, o vada bene. In generale come si deve ragionare su esercizi del genere?

Grazie.

Risposte
mistake89
Il fatto che il vettore nullo deve appartenere al "candidato" sottospazio $V$ non ti assicura nulla.
Prova a verificare se è chiuso rispetto alle operazioni di $RR^3$

indovina
"mistake89":
Il fatto che il vettore nullo deve appartenere al "candidato" sottospazio $V$ non ti assicura nulla.
Prova a verificare se è chiuso rispetto alle operazioni di $RR^3$


Dunque quello che ho fatto io, è una condizione necessaria (prendere 2 vettori generi) ma non sufficiente per dire che V è sottospazio a $R^3$

c'è una relazione sul libro che dice che:
se $V'$ è sottospazio vettoriale di $V$ allora sarà anche

$(alpha)*u+(beta)*v 'di' V'$

dunque prendo $alpha=3$ e $beta=2$

$3(y+2,y,0)+2(-y-2,-y,0)$

$(3y+6,3y,0)+(-2y-4,-2y,0)=(y+2,y,0)$

cosi?

mistake89
Beh devi provare che per ogni $alpha,beta in RR$ e per ogni $u,v in V'$ anche $alpha u+beta v in V'$, non basta provarlo per due generici valori di $alpha$ e $beta$.

Prova ad osservare cosa succede sommando i vettori $(3,1,0)$ e $(5,3,0)$, che ovviamente stanno in $V'$.

salvozungri
Attenzione, un vettore di $V$ si presenta nella forma: $(y+2, y, z)$.
E' evidente inoltre che il vettore $(0,0,0)\notin V$ pertanto V non può essere un sottospazio di $\mathbb{R}^3$

indovina
"Mathematico":
Attenzione, un vettore di $V$ si presenta nella forma: $(y+2, y, z)$.
E' evidente inoltre che il vettore $(0,0,0)\notin V$ pertanto V non può essere un sottospazio di $\mathbb{R}^3$


Mi sa che hai proprio ragione, in effetti avevo dato per scontato che $z=0$ e basta, invece bisogna scriverlo come hai detto tu.

Per mistake:

"mistake89":
Beh devi provare che per ogni $alpha,beta in RR$ e per ogni $u,v in V'$ anche $alpha u+beta v in V'$, non basta provarlo per due generici valori di $alpha$ e $beta$.

Prova ad osservare cosa succede sommando i vettori $(3,1,0)$ e $(5,3,0)$, che ovviamente stanno in $V'$.


se sommo quei due vettori, viene $(8,4,0)$ vettore somma, che non è contenuto in $V'$ poichè a $y=4$ corrisponderebbe $(6,4,0)$ il che mi fa pensare che $x=y+2$ non è sottospazio in ogni caso.

Che ne dite ora?

cappellaiomatto1
per questo esercizio in particolare si fa in fretta perche ti basta vedere che $(0,0,0)in RR^3$ non è contenuto nel presunto sottospazio (di $RR^3$) $W: x=y+2$.
Infatti $W$ è un piano traslato di 2 dall'origine,e la condizione necessaria perche ogni piano sia un sottospazio è che contenga l'origine

mistake89
Sì ovviamente sì. Ho sbagliato a non precisare. Volevo però far passare l'idea che non bastasse solo verificare quello per provare che un certo sottoinsieme è un sottospazio.

indovina
Capito, dunque se avessi ad esempio:

$W=((x,y,z,t) 'di' R^4: x+y=0 'e' 2z-t=0)$

posso affermare che è sottospazio ad $R^4$ in quanto preso il vettore nullo $(0,0,0,0)$

$x+y=0$ è verificato

$2z-t=0$ è verificato.

In generale, per verificare se un sottospazio, basta provare con il vettore nullo?

salvozungri
Mi sai dire com' è fatto un vettore di $W$?

Detto questo, condizione necessaria ma non sufficiente affinchè W sia un sottospazio di $\mathbb{R}^4 $ è che il vettore nullo $(0,0,0,0)\in W$.
Possiamo quindi avere due casi:
• Se $(0,0,0,0)\notin W$ allora W non è un sottospazio fine dell'esercizio.

• Se $(0,0,0,0)\in W$ allora bisogna verificare che:
(1) presi due vettori, $u, v\in W$, la loro somma $u+v$ appartiene a $W$.
(2) per ogni scalare $\lambda\in \mathbb{R}$ e per ogni vettore $w\in W$ il prodotto $\lambda*w\in W$.

Se entrambe le condizioni (1), (2) sono soddisfatte allora W è un sottospazio.
Se almeno una delle due condizioni non è soddisfatta allora W non è un sottospazio.

La cosa più importante è capire come sono fatti i vettori per poter procedere tranquillamente :)

[EDIT]: Corretto un errore di distrazione :roll:

indovina
"Mathematico":
Mi sai dire com' è fatto un vettore di $W$?
un generico vettore di $W$ ha queste cordinate: $(-y, y, z , 2z)$
quindi se $y=0$ e $z=0$ il vettore nullo c'è.

Detto questo, condizione necessaria ma non sufficiente affinchè W sia un sottospazio di $\mathbb{R}^4 $ è che il vettore nullo $(0,0,0,0)\in W$.
quindi se $y=0$ e $z=0$ il vettore nullo c'è.

• Se $(0,0,0,0)\in W$ allora bisogna verificare che:
(1) presi due vettori, $u, v\in W$, la loro somma $u+v$ appartiene a $W$.
prendo:
$u=(-1,1,0,0)$ e $v(-3,3,1,2)$
$u+v=(-4,4,1,2)$ va bene perchè segue il vettore generale di $W$

(2) per ogni scalare $\lambda\in \mathbb{R}$ e per ogni vettore $w\in W$ il prodotto $\lambda*w\in W$.
$(-lambda*y, lambda*y, lambda*z,2*lambda*z)$ e va bene anche.

dunque credo che questo $W$ è sottospazio a $R^3$

salvozungri
Ciao Clever, hai fatto la fusione tra il mio e il tuo messaggio, quindi spero di non commettere errori nella interpretazione:

Un vettore generico di W è $(-y, y, z, 2z)$ esattamente come hai scritto tu. Il vettore nullo appartiene a W, basta prendere $y=z=0$. Fin qui tutto ok. Per mostrare che la somma di due vettori di W appartiene a W, devi prendere due vettori generici $(-y_1, y_1, z_1, 2z_1)$ e $(-y_2, y_2, z_2, 2z_2)$ e sommarli, se la somma soddisfa la condizione che caratterizza i vettori di W allora hai mostrato che la somma appartiene a W. Quello che scrivi tu non va bene, perchè hai preso vettori particolari.

La (2) va bene.

[...]questo $W$ è sottospazio a $R^3$

$W$ è un sottospazio di $\mathbb{R}^4$ ma penso sia un typo;)

indovina
Per $RR^4$ avevo sbagliato a scrivere xD

Per l'altra cosa, cioè quella di generalizzare, hai ragione tu, dunque è:

$(-(y_1+y_2), y_1+y_2, z_1+z_2, 2(z_1+z_2))$

direi che va bene ora.

salvozungri
Perfetto! :-D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.