Esercizio base di un sottospazio vettoriale

LogicalCake
Ciao a tutti, avrei bisogno di una mano con un esercizio:

Se possibile trovare una base di \(\displaystyle \{(x,y,z,t)\in \mathbb{R^4}: x+y+z+t=0\} \) che contenga i vettori

(i) \(\displaystyle (1,-1,0,0) \) e \(\displaystyle (1,-1,1,-1) \)
(ii) \(\displaystyle (1,-1,1,-1) \) e \(\displaystyle (-1,1,-1,1) \)
(iii) \(\displaystyle (1,2,3,-6) \)

In generale so come trovare una base di questo sottospazio, di solito procederei così:
Prima di tutto determino la dimensione per capire quanti vettori deve contenere la base... Considerando il sistema omogeneo associato, applicando il teorema di Rouche-Capelli mi sembra immediato capire che la dimensione di questo sottospazio sia 3.

Ora farei così:

\(\displaystyle V : \{ (-y-z-t,y,z,t) : y,z,t \in \mathbb{R} \}\)

e sostituirei 1 ad una variabile e zero alle altre, iterando il procedimento per ogni variabile ottengo i vettori che costituiscono una base.

Ma in questo caso, dati già due vettori come potrei fare?

Risposte
megas_archon
È possibile che i due vettori in (ii) siano elementi di una base? Dato un insieme di 2 vettori v, w in uno spazio di dimensione 3, se ne può sempre trovare un terzo u, tale che {u, v, w} sia una base?

LogicalCake
In (ii) i due vettori dati sono linearmente dipendenti quindi no...

Due vettori linearmente indipendenti in \(\displaystyle \mathbb{R}^3 \) generano un piano, si può trovare un terzo vettore affinchè lo spazio generato sia proprio \(\displaystyle \mathbb{R}^3 \) a patto che il terzo vettore non sia contenuto nel piano generato dagli altri due...

In sostanza i tre vettori generano \(\displaystyle \mathbb{R}^3 \) se e solo se il prodotto misto non si annulla:

\(\displaystyle \mathrm{u}\times\mathrm{v}\cdot\mathrm{w} \neq 0\)

è esatto?

Lebesgue
"LogicalCake":


\(\displaystyle V : \{ (-y-z-t,y,z,t) : y,z,t \in \mathbb{R} \}\)



Essendo il tuo spazio formato da vettori del tipo $(-y-z-t,y,z,t)$, separando le variabili ricavi immediatamente una base, infatti:
$(-y-z-t,y,z,t)=y(-1,1,0,0)+z(-1,0,1,0)+t(-1,0,0,1) $
Dunque una base del tuo spazio è $\mathcal{B}=\{(-1,1,0,0);(-1,0,1,0);(-1,0,0,1)\}=\{v_1;v_2;v_3\}$.

Il punto $(i)$ ti chiede di trovare una base che contenga i vettori $(1,-1,0,0)$ e $(1,-1,1,-1)$.
Osserviamo anzitutto che:
- entrambi i vettori soddisfano l'equazione $x+y+z+t=0$, dunque appartengono al mio spazio
- i due vettori sono indipendenti.
Inoltre si ha che:
$(1,-1,0,0)=-v_1$; mentre $(1,-1,1,-1)=-v_1+v_2-v_3$, dunque per completare l'insieme $(i)$ a base, basta scegliere uno a caso dei vettori tra $v_2 \mbox{ e } v_3$.

Il punto $(ii)$ chiede di trovare una base che contenga i vettori $(1,-1,1,-1) \mbox{ e } (-1,1,-1,1)$.
Anche in questo caso, entrambi i vettori appartengono al mio spazio (soddisfano l'equazione); tuttavia sono linearmente dipendenti in quanto $(1,-1,1,-1)=-(-1,1,-1,1)$.
Cerco allora una base che contenga uno dei due, ad esempio che contenga il vettore $(1,-1,1-1)$ [perché l'avevo già incontrato nel caso di sopra]; allora la base scelta per il punto $(i)$ va bene anche per il punto $(ii)$.

Il punto $(iii)$ chiede invece di trovare una base che contenga il vettore $(1,2,3,-6)$.
Si vede facilmente che $(1,2,3,-6)$ risolve l'equazione e che
$ (1,2,3,-6)=2v_1+3v_2-6v_3$
Allora una base può essere $\{(1,2,3,-6);v_1;v_2\}$. [basta scegliere due vettori a caso tra quelli della base $\mathcal{B}$]

L'idea alla base è trovare una base di vettori dello spazio e vedere i vettori che ti danno "in che rapporti sono" con quelli della base trovata.
Se ad esempio avessi voluto trovare una base che contiene il vettore $(-2,1,1,0)$, bastava osservare che $(-2,1,1,0)=v_1+v_2$, quindi per completare a base, posso prendere

$(-2,1,1,0);v_1;v_3$
oppure

$(-2,1,1,0);v_2;v_3$

ma non posso prendere
$(-2,1,1,0);v_1;v_2$, in quanto $v_1,\, v_2$ generano $(-2,1,1,0)$ e quindi non avrei un insieme di vettori indipendenti

Lebesgue
"LogicalCake":
In (ii) i due vettori dati sono linearmente dipendenti quindi no...

Due vettori linearmente indipendenti in \(\displaystyle \mathbb{R}^3 \) generano un piano, si può trovare un terzo vettore affinchè lo spazio generato sia proprio \(\displaystyle \mathbb{R}^3 \) a patto che il terzo vettore non sia contenuto nel piano generato dagli altri due...

In sostanza i tre vettori generano \(\displaystyle \mathbb{R}^3 \) se e solo se il prodotto misto non si annulla:

\(\displaystyle \mathrm{u}\times\mathrm{v}\cdot\mathrm{w} \neq 0\)

è esatto?


L'affermazione è esatta, tuttavia ricorda che qui sei in un sottospazio di $\mathbb{R}^4$ di dimensione $3$, che non vuol dire che stai ragionando su $\mathbb{R}^3$!
Il tuo sottospazio è isomorfo ad $\mathbb{R}^3$, ma non è esattamente $\mathbb{R}^3$.
Infatti i vettori della tua base hanno 4 coordinate e non 3.
E' un dettaglio difficile con cui avere a che fare, lo capisco, però bisogna farci attenzione

LogicalCake
"LogicalCake":
Ciao a tutti, avrei bisogno di una mano con un esercizio:

Se possibile trovare una base di \(\displaystyle \{(x,y,z,t)\in \mathbb{R^4}: x+y+z+t=0\} \) che contenga i vettori

(i) \(\displaystyle (1,-1,0,0) \) e \(\displaystyle (1,-1,1,-1) \)
(ii) \(\displaystyle (1,-1,1,-1) \) e \(\displaystyle (-1,1,-1,1) \)
(iii) \(\displaystyle (1,2,3,-6) \)

In generale so come trovare una base di questo sottospazio, di solito procederei così:
Prima di tutto determino la dimensione per capire quanti vettori deve contenere la base... Considerando il sistema omogeneo associato, applicando il teorema di Rouche-Capelli mi sembra immediato capire che la dimensione di questo sottospazio sia 3.

Ora farei così:

\(\displaystyle V : \{ (-y-z-t,y,z,t) : y,z,t \in \mathbb{R} \}\)

e sostituirei 1 ad una variabile e zero alle altre, iterando il procedimento per ogni variabile ottengo i vettori che costituiscono una base.

Ma in questo caso, dati già due vettori come potrei fare?


Mi è venuta in mente una possibile soluzione, ma ho bisogno di una conferma...

Anzitutto trovo una base del sottospazio utilizzando il metodo che ho descritto sopra:

\(\displaystyle \mathcal{B} = \{(-1,1,0,0),(-1,0,1,0),(-1,0,0,1)\}\)

Ora considero la matrice associata a questi tre vettori, e operando sulle righe cerco di ottenere i due vettori che mi sono stati dati, se non riesco vuol dire che non è possibile:

\(\displaystyle A=\begin{pmatrix}-1&1&0&0\\-1&0&1&0\\-1&0&0&1\end{pmatrix} \sim \begin{pmatrix}1&-1&0&0\\-1&0&1&0\\1&0&0&-1\end{pmatrix} \sim \begin{pmatrix}1&-1&0&0\\-1&0&1&0\\0&0&1&-1\end{pmatrix} \sim \begin{pmatrix}1&-1&0&0\\-1&0&1&0\\1&-1&1&-1\end{pmatrix} \)

In questo caso ho cercato di ottenere mediante le operazioni elementari sulle righe i vettori forniti nel punto (i), ed essendoci riuscito sono in grado di dire che i vettori che costituiscono lo spazio delle righe di \(\displaystyle A \) sono una base del sottospazio considerato:

\(\displaystyle \mathcal{B} = \{(1,-1,0,0),(-1,0,1,0),(1,-1,1,-1)\} \)

Questo procedimento è esatto? Esistono modi più efficienti/veloci? Grazie a tutti dell'aiuto

LogicalCake
"Lebesgue":
[quote="LogicalCake"]In (ii) i due vettori dati sono linearmente dipendenti quindi no...

Due vettori linearmente indipendenti in \(\displaystyle \mathbb{R}^3 \) generano un piano, si può trovare un terzo vettore affinchè lo spazio generato sia proprio \(\displaystyle \mathbb{R}^3 \) a patto che il terzo vettore non sia contenuto nel piano generato dagli altri due...

In sostanza i tre vettori generano \(\displaystyle \mathbb{R}^3 \) se e solo se il prodotto misto non si annulla:

\(\displaystyle \mathrm{u}\times\mathrm{v}\cdot\mathrm{w} \neq 0\)

è esatto?


L'affermazione è esatta, tuttavia ricorda che qui sei in un sottospazio di $\mathbb{R}^4$ di dimensione $3$, che non vuol dire che stai ragionando su $\mathbb{R}^3$!
Il tuo sottospazio è isomorfo ad $\mathbb{R}^3$, ma non è esattamente $\mathbb{R}^3$.
Infatti i vettori della tua base hanno 4 coordinate e non 3.
E' un dettaglio difficile con cui avere a che fare, lo capisco, però bisogna farci attenzione[/quote]

Infatti avevo notato questo "dettaglio" che di certo non è marginale, non capivo il motivo per cui mi era stata posta quella domanda...

LogicalCake
"Lebesgue":
[quote="LogicalCake"]

\(\displaystyle V : \{ (-y-z-t,y,z,t) : y,z,t \in \mathbb{R} \}\)



Essendo il tuo spazio formato da vettori del tipo $(-y-z-t,y,z,t)$, separando le variabili ricavi immediatamente una base, infatti:
$(-y-z-t,y,z,t)=y(-1,1,0,0)+z(-1,0,1,0)+t(-1,0,0,1) $
Dunque una base del tuo spazio è $\mathcal{B}=\{(-1,1,0,0);(-1,0,1,0);(-1,0,0,1)\}=\{v_1;v_2;v_3\}$.

Il punto $(i)$ ti chiede di trovare una base che contenga i vettori $(1,-1,0,0)$ e $(1,-1,1,-1)$.
Osserviamo anzitutto che:
- entrambi i vettori soddisfano l'equazione $x+y+z+t=0$, dunque appartengono al mio spazio
- i due vettori sono indipendenti.
Inoltre si ha che:
$(1,-1,0,0)=-v_1$; mentre $(1,-1,1,-1)=-v_1+v_2-v_3$, dunque per completare l'insieme $(i)$ a base, basta scegliere uno a caso dei vettori tra $v_2 \mbox{ e } v_3$.

Il punto $(ii)$ chiede di trovare una base che contenga i vettori $(1,-1,1,-1) \mbox{ e } (-1,1,-1,1)$.
Anche in questo caso, entrambi i vettori appartengono al mio spazio (soddisfano l'equazione); tuttavia sono linearmente dipendenti in quanto $(1,-1,1,-1)=-(-1,1,-1,1)$.
Cerco allora una base che contenga uno dei due, ad esempio che contenga il vettore $(1,-1,1-1)$ [perché l'avevo già incontrato nel caso di sopra]; allora la base scelta per il punto $(i)$ va bene anche per il punto $(ii)$.

Il punto $(iii)$ chiede invece di trovare una base che contenga il vettore $(1,2,3,-6)$.
Si vede facilmente che $(1,2,3,-6)$ risolve l'equazione e che
$ (1,2,3,-6)=2v_1+3v_2-6v_3$
Allora una base può essere $\{(1,2,3,-6);v_1;v_2\}$. [basta scegliere due vettori a caso tra quelli della base $\mathcal{B}$]

L'idea alla base è trovare una base di vettori dello spazio e vedere i vettori che ti danno "in che rapporti sono" con quelli della base trovata.
Se ad esempio avessi voluto trovare una base che contiene il vettore $(-2,1,1,0)$, bastava osservare che $(-2,1,1,0)=v_1+v_2$, quindi per completare a base, posso prendere

$(-2,1,1,0);v_1;v_3$
oppure

$(-2,1,1,0);v_2;v_3$

ma non posso prendere
$(-2,1,1,0);v_1;v_2$, in quanto $v_1,\, v_2$ generano $(-2,1,1,0)$ e quindi non avrei un insieme di vettori indipendenti[/quote]


Chiarissimo, grazie tante, similmente è quello che ho fatto io utilizzando una notazione a dir poco eccessiva... Grazie ancora dell'aiuto!!!

Lebesgue
"LogicalCake":


Chiarissimo, grazie tante, similmente è quello che ho fatto io utilizzando una notazione a dir poco eccessiva... Grazie ancora dell'aiuto!!!


Figurati, di nulla!
Se hai altri dubbi, scrivimi pure un messaggio in privato :D

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