Direct sum of subspaces
The sum of two subspaces is an internal direct sum when every vector in that sum has a unique decomposition; covering an ambient space is a separate spanning obligation.
atlas-direct-sum · canonical_mko
Direct sum of subspaces
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data