◀ ▲ ▶Branches / Algebra / Definition: Direct Sum of Vector Spaces
Definition: Direct Sum of Vector Spaces
Let \(F\) be a field and let \(V\) be a vector space over \(F\). Further, let \(U_{1},\ldots ,U_{m}\) be a family of subspaces of \(V\). We say that \(V\) is a direct sum of the \(U_{i}\), if the following two properties are fulfilled:
 \(U_{i}\cap \left(\sum _{j\neq i}U_{j}\right)=0\) for all \(i\).
 \(U_{i}\cap \left(\sum _{j\neq i}U_{j}\right)=0\) for all \(i\).
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Brenner
References
Adapted from CC BYSA 3.0 Sources:
 Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of OsnabrÃ¼ck