Sia V un F-spazio vettoriale e sia U sottospazio di V. Dimostra che esiste un sottospazio W di V tale che:
$ Uo+_iW=V $ ,
dove $ o+_i $ è l'operatore di somma diretta interna.
Vi propongo uno svolgimento, potete controllare se è giusto?
Testo nascosto, fai click qui per vederlo
Sia $B_V$ base di $V$ e $B_U$ base di $U$ che esistono per l'esistenza delle basi.
Voglio "trasformare" $B_U$ in modo da avere una base di $U$ che chiamo $tilde(B_U) t.c. tilde(B_U)subeB_V$.
allora definisco $tilde(B_U)={vinB_V|u=lamda*v+lamda_1*v_1+...+lamda_n*v_n$ per opportuni $lamda, lamda_iinF, uinB_U, v_iinB_V}$.
A questo punto verifico che $ tilde(B_U) $ è base:
$tilde(B_U)$ genera $U$ segue dalla definizione di $tilde(B_U)$ e dal fatto che $B_U$ è base di $U$;
$tilde(B_U)$ è linearmente indipendente segue da $tilde(B_U)subeB_V$.
A questo punto prendo $W=Span(B_V\\tilde(B_U))$
la verifica che un tale $W$ verifica la tesi con $U$ la tralascio.
Grazie per aver letto fin qui
Voglio "trasformare" $B_U$ in modo da avere una base di $U$ che chiamo $tilde(B_U) t.c. tilde(B_U)subeB_V$.
allora definisco $tilde(B_U)={vinB_V|u=lamda*v+lamda_1*v_1+...+lamda_n*v_n$ per opportuni $lamda, lamda_iinF, uinB_U, v_iinB_V}$.
A questo punto verifico che $ tilde(B_U) $ è base:
$tilde(B_U)$ genera $U$ segue dalla definizione di $tilde(B_U)$ e dal fatto che $B_U$ è base di $U$;
$tilde(B_U)$ è linearmente indipendente segue da $tilde(B_U)subeB_V$.
A questo punto prendo $W=Span(B_V\\tilde(B_U))$
la verifica che un tale $W$ verifica la tesi con $U$ la tralascio.
Grazie per aver letto fin qui