Direktní součet podprostorů