Base non contenuta interamente in un Sottospazio Vettoriale

Dave951
Ragazzi, mi si presenta il seguente esercizio:

In $R^{4}$ si consideri il sottospazio vettoriale:

$W = {(x_1,x_2,x_3,x_4) ∈ R^{4} | x_1 +x_2 −2x_3 = 2x_2 −3x_3 = 0} $

1. Determinare la dimensione e una base ortonormale del complemento ortogonale del sottospazio vettoriale $W$ .
2. Determinare la dimensione e una base di un sottospazio vettoriale $P$ di $R^4$ tale che $dim(W∩P) = 1$ e $P$ non sia contenuto interamente in W .

Il primo punto l'ho svolto in pochi minuti in quanto non richiede nessuna particolare abilità.
Il secondo punto invece ho problemi nell'individuare $P$. Ho pensato alla Formula di Grassmann e per essa la $dim(P)$ dovrebbe essere 2 e la $dim(W+P)$ 3. Ma non sono per niente sicuro. A questo si aggiunge che $P$ non deve essere contenuta interamente in $W$.

Come posso ricavare $P$ ?

grazie mille e buona serata!

Risposte
Shocker1
Ciao :)

Se ho fatto bene i calcoli $W$ ha dimensione $2$.
Supponiamo che $B = {w_1, w_2}$ sia una base di $W$, cerchiamo un sottospazio di $\mathbb{R^4}$ tale che $dim(W \nn P) = 1$ e $P$ non sia contenuto interamente in $W$, questo cosa significa? Beh:
1)$dim(W \nn P) = 1 \Rightarrow W$ e $P$ hanno un generatore in comune e $dimP < 4$(se fosse $dimP = 4 \Rightarrow P = \mathbb{R^4} \Rightarrow dim(W \nn P) = 2$);
2)$P$ non completamente contenuto in $W \Rightarrow dimP > 1$.
Quindi cerchiamo un sottospazio $P$ di dimensione compresa tra $1$ e $4$(estremi esclusi) che abbia un generatore in comune con $W$. Concludi tu :)

Dave951
Quindi, intuitivamente direi che $dim(P)$ debba essere due.
Posso utilizzare il completamente della base? Cioè scelgo direttamente un vettore della base $W$ dove $W= L ( (1,3,2,0) (0,0,0,1) ) $. Al vettore scelto aggiungo un vettore nuovo che sia linearmente indipendente . Per esempio, $P=L((0,1,0,0) (0,0,0,1))$.
Potrebbe andare ? Anche se la via che ho seguito è un metodo molto intuitivo ?

grazie mille!

Shocker1
"Dave95":
Quindi, intuitivamente direi che $dim(P)$ debba essere due.
Posso utilizzare il completamente della base? Cioè scelgo direttamente un vettore della base $W$ dove $W= L ( (1,3,2,0) (0,0,0,1) ) $. Al vettore scelto aggiungo un vettore nuovo che sia linearmente indipendente . Per esempio, $P=L((0,1,0,0) (0,0,0,1))$.
Potrebbe andare ? Anche se la via che ho seguito è un metodo molto intuitivo ?

grazie mille!

Sì, ma vedi che la dimensione di $P$ può essere anche $3$, l'importante è che $P$ abbia un solo generatore in comune con $W$.
Comunque il procedimento mi sembra giusto, magari completi la base di $W$ a una di $\mathbb{R^4}$ e poi da questa estrai $2$ o $3$ vettori(dipende dalla scelta della dimensione di $P$) di cui uno, e solo uno, sia in comune con la base di $W$.


Ciao :)

Dave951
Ok, perfetto Shocker grazie mille, gentilissimo!
Posso chiederti una cosina velocissima che mi ha destato un dubbio stupido?

In $R^{2,2} $ , date le matrici:

$A=((1,0),(0,1))$ $B=((0,1),(1,0))$

si consideri il sottospazio vettoriale:

$W_1={X=((x_1,x_2),(x_3,x_4) ) ∈R^{2,2}|AX=XB} $

1. trovare una base di $W_1$


Per fare ciò va bene se risolvo il prodotto scalare $ AX= ((x_1,x_2),(x_3,x_4)) ((1,0),(0,1)) $

e per $ XB $ va bene se considero $ (B^t) (X^t)$ in modo tale da poter risolvere il sistema per poi avere

$AX- (B^t) (X^t) =0$ e da qui mi ricavo la base, che ne pensi?

scusa per questa domanda e buona domenica :)

Shocker1
Ciao!

Non ho ben capito: l'operazione in questione(parlo di $AX$ e $XB$) è un prodotto scalare? Se sì, com'è definito?

*Se* invece intendevi "Prodotto tra matrici" allora non è vero che $XB = (BX)^{T}$.
Secondo me fai prima sviluppando i prodotti, insomma: $AX = X$ perché $A = I$, mentre $XB = ( (x_2, x_1), (x_4, x_3))$ quindi hai che $X - XB = O \iff ( (x_1 - x_2, x_2 - x_1), (x_3 - x_4, x_4 - x_3) ) = ( (0, 0), (0, 0))$

Dave951
Si scusami intendevo prodotto di matrici, errore mio .
Ok perfetto, quello che intendevo.
Grazie mille shocker! Super gentile.

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