Direct sum of vector spaces
Direct sum of linear maps
For linear endomorphisms π΄ :π βπ and π΅ :π βπ,
the direct sum is defined as follows
π΄βπ΅:πβπβπβπ(π£,π€)β¦(π΄π£,π΄π€)
This is used to define the Direct sum of representations
Matrices
If π and π are matrices, then π βπ is the Block matrix expanded from
[π00π][βπ―βπ°]=[πβπ―πβπ°]
tidy | en | SemBr