Grazie per la risposta. Ciò che si vorrebbe dimostrare è che questa proprietà (in seguito, "a") su \( \left\{S_i\right\}_{i\in I} \) è equivalente al fatto che (in seguito, "b"), per ogni \( i\in I \), sia \( S_i\cap\left(\sum_{j\neq i}S_j\right)=0 \). Credo che la somma \( \sum_{j\neq i}S_j \) sia definita come il sottospazio
\[
\sum_{j\neq i}S_j:=\left\{\sum_{j=1}^k s_j:\text{$ s_j\in{\left(\bigcup_{i\in I}S_i\right)\setminus S_i} $, per $ 1\leqq j\leqq k $, $ k\in\mathbb{N} $}\right\}
\] ma sinceramente non ne sono sicuro (occorrerà tenere conto di un'indicizzazione non iniettiva, no?).
La dimostrazione, in una direzione, è la seguente (anche con le stesse convenzioni, che non comprendo, sui pedici):
supposto non valere "a", si può scrivere \( 0 \) come una somma "misteriosa" \( 0=s_{j_1}+\dots+s_{j_n} \), "where the nonzero \( s_{j_i} \)'s comes form different subspaces \( S_{j_i} \). Then \( n>1 \) and so \( -s_{j_1}=s_{j_2}+\dots+s_{j_n} \), which violates 'b'".
Testo nascosto, fai click qui per vederlo
Stavo, in breve, cercando di capire meglio come la definizione della somma diretta (interna) venga estesa a famiglie qualunque di sottospazi. Non-so-perché sono andato a finire sul Roman, Advanced Linear Algebra. Il teorema è l'1.5 a pagina 43 del libro, nel pdf che ho io.