Дано пространство U⊆R4, натянутое на вектора a1=(2,1,0,−3), a2=(2,3,−1,0), то есть U=⟨(2,1,0,−3),(2,3,−1,0)⟩.
Найдем какое-либо дополнение V к U в R4.
Проверим ЛНЗ a1 и a2.
rank(210−323−10)= rank(210−300−13)=2⇒
⟨a1,a2⟩ — базис U.
V удовлетворяет условию V⊕U=R4.
Из первого критерия прямой суммы получаем, что объединение базисов V и U образуют базис R4. Так как dimR4=4 и dimU=2⇒ dimV=2. Найдем какой-либо базис V . Дополним для этого систему из векторов ⟨a1,a2⟩ до базиса векторами стандартного базиса (e1,e2,e3,e4) в R4.
Зафиксируем в полученной системе вектора a1, a2 и выделим из этой системы ЛНЗ систему, содержащую эти вектора
(1000010000100001210−323−10)∼(1000010000100001000−300−10)∼(10000100000−300−10)∼(e1e2a1a2)⇒
⟨e1,e2,a1,a2⟩ -ЛНЗ,
так как эта система максимальна, она и образует базис R4.
Отсюда и из рассуждения в начале получаем, что L⟨e1,e2⟩=V одно из прямых дополнений к U.