Definícia 7L7. Nech a je ľubovoľný vektor a M, N neprázdne podmnožiny metrického vektorového priestoru V
n
. Hovoríme, že: 1. Vektor a je kolmý na množinu M práve vtedy, keď vektor a je kolmý na každý vektor x ∈ M. Symbolicky: a | M ⇔ ∀x ∈ M; a | x. 2. Množina N je kolmá na množinu M práve vtedy, keď každý vektor y ∈ N je kolmý na každý vektor x ∈ M. Symbolicky: N | M ⇔ ∀y ∈ N, ∀x ∈ M; y | x. |
Definícia 7L8. Nech M je neprázdna podmnožina metrického vektorového priestoru V n . Ortogonálnym doplnkom množiny M v priestore V n sa nazýva množina M ┴ = {x ∈ V n , x | M}. |