Definición


Sea un conjunto no vacío de , el subespacio ortogonal a denotado por , se define por

Propiedades