(1) 직교보공간(직교여공간) Rn의 부분공간 V가 있다고 하자. 이 부분공간 V의 부분여공간을 V⊥라고 하자. (⊥는 직각이라는 뜻의 perpendicular에서 따온 perp라고 읽는다.) V⊥를 정의하자면, 부분공간 V의 모든 원소 v에 대해 x∙v = 0을 만족하는 x의 집합이다. 근본적으로 말하면, 부분공간의 모든 원소와 직교하는 벡터들이 원소로 있는 집합을 직교여공간이라고 한다. V⊥이 부분공간인지 확인해보자. 부분공간이 되기 위해서는 덧셈과 스칼라곱에 닫혀있어야한다. a, b가 V⊥의 원소이고 v가 V의 원소라면, a∙v = 0 & b∙v = 0 이고, (a+b)∙v =0 (덧셈에 닫혀있다.) ca∙v = c(a∙v) = 0 (스칼라 곱에 닫혀있다) 따라서, V⊥는 부분공간이다. 이는 V⊥에..