Definición


Dado y dos subespacios de , por lo tanto estos cumplen que

Esto aplica para la suma entre subespacios como para suma directa entre subespacios, donde este teorema se simplifica ya que la interseccion de dos subespacios en suma directa es nula, haciendo que sea