Loading [MathJax]/jax/output/SVG/jax.js

Нахождение ортогонального дополнения к подпространству евклидова пространства

Теоретическая справка

Определение:
Пусть [latex]A \subset E, A\ne 0[/latex]. Тогда ортогональным дополнением к множеству [latex]A[/latex] называется множество:
[latex]A^\perp = \{x\in {E} | \forall a\in A: (x,a) = 0\}.[/latex]
Britkariu_Praktika
Свойства ортогонального дополнения:

  1. [latex]\{0\}^\perp = {E};[/latex]
  2. [latex]{E}^\perp = \{0\};[/latex]
  3. [latex]({L}^\perp)^\perp = {L}, \forall{L}\subseteq{E};[/latex]
  4. [latex]({L}_1 + {L}_2)^\perp = {L}_{1}^{\perp}\cap{L}_{2}^{\perp}, \forall{L}_{1},{L}_{2}\subseteq{E}[/latex];
  5. [latex]({L}_1\cap{L}_2)^\perp = {L}_{1}^{\perp} + {L}_{2}^{\perp}[/latex].

Пример

Найти базис ортогонального дополнения [latex]{L}^{\perp}[/latex] подпространства [latex]{L}[/latex], натянутого на векторы [latex]a_{1}, a_{2}, a_{3}[/latex].
[latex]a_1 = (1,0,2,1)[/latex]
[latex]a_2 = (2,1,2,3)[/latex]
[latex]a_3 = (0,1,-2,1)[/latex]
Найдем ранг матрицы [latex]L[/latex]:
[latex]L = (102121230121)[/latex]
Домножим первую строчку матрицы на [latex]-2[/latex] и прибавим ко второй. Получим:
[latex]L = (102101210121)[/latex]
Вторая и третья строки матрицы совпадают, а значит одну можно исключить. Получим, что ранг системы [latex]L[/latex] равен [latex]2[/latex]. Следовательно, системы [latex]L[/latex]- линейно зависимая.
[latex]L[/latex] (система состоит из двух векторов).
[latex]{L}^{\perp} = \{b_1,b_2\}[/latex]
[latex](a_1,x) = 0, (a_2,x) = 0[/latex]
Составим матрицу из векторов [latex]a_1, a_2[/latex].

[latex](10212123)\sim(10210121)[/latex]
(домножим первую строчку матрицы на -2 и прибавим ко второй)
[latex]\left\{x1+2x3+x4=0x22x3+x4=0\right.[/latex]
Найдем общее решение системы:
[latex]\left\{x1=2x3x4x3=x2+x42\right.[/latex]
[latex]x = (x1x2x3x4) = (2x3x4x2x2+x42x4)[/latex]
Найдем ФСР (фундаментальную систему решений) по формуле:
ФСР [latex] = n — r [/latex], где [latex]n[/latex]- число неизвестных переменных, [latex]r[/latex]- ранг матрицы.
ФСР: [latex]4 — 2 = 2.[/latex]
Получили два линейно независимых решения системы. Придадим переменным [latex]x_3, x_4 [/latex] произвольные значения:

ФСР [latex]x_1[/latex] [latex]x_2[/latex] [latex]x_3[/latex] [latex]x_4[/latex]
[latex]b_1[/latex] [latex]2[/latex] [latex]-2[/latex] [latex]-1[/latex] [latex]0[/latex]
[latex]b_2[/latex] [latex]1[/latex] [latex]1[/latex] [latex]0[/latex] [latex]-1[/latex]

Получили ортогональное дополнение [latex]{L}^{\perp} = <b_1, b_2> = <(2,-2,-1,0), (1,1,0,-1)>[/latex].

Нахождение ортогонального дополнения к подпространству евклидова пространства

Тест составлен для проверки знаний по теме «Нахождение ортогонального дополнения к подпространству евклидова пространства»

Литература:

Кольцо. Простейшие следствия из аксиом

Кольцо

Пусть R- произвольное множество, R0,  »+»,  »»бинарные алгебраические операции  на R.
(R,+,) называется кольцом, если выполнено:

  1. (R,+)абелева группа (аддитивная группа кольца);
  2. Для любых (R,+,)R выполняется:
    1. a(b+c)=ab+ac;
    2. (b+c)a=ba+ca.

Если операция »» коммутативна, то кольцо называется коммутативным. В противном случае- некоммутативным.
Операции умножения и сложения в любом кольце обладают некоторыми свойствами.
Операция сложения:
a,b,cR

  1. Коммутативна: a+b=b+a;
  2. Ассоциативна: a+(b+c)=(a+b)+c.

Операция умножения:
a,b,cR

  1. Коммутативна: ab=ba;
  2. Ассоциативна: a(bc)=(ab)c.

Операции сложения и умножения связаны законом диструбтивности:
(a+b)c=ac+ab.

Примеры:

  1. (Z,+,)- кольцо целых чисел;
  2. (Q,+,)- кольцо рациональных чисел;
  3. (R,+,)- кольцо вещественных чисел;
  4. (Q[2],+,),Q[2]={a+b2|a,bQ}.

Проверим, будет ли на множестве (Q[2],+,) кольцо.
(a+b2)=(c+d2)=(a+c)+(b+d)2Q[2]
Значит (Q[2],+,) является кольцом.

Простейшие следствия из аксиом

  1. aR a0=0a=0, a0=a(0+0)= a0+a0|(a0)= a0+(a0)= (a0+a0)+(a0)=a0+0= a0=0
  2. a,bR(a)b=ab (a)b+ab=((a)+a)b=0b=0
  3. d(ab)=dadb d(ab)=d(a+(b))=da+d(b)=da+(d)b=dadb
  4. (ab)d=adbd (ab)c=(a+(b))c=ac+(b)c=ac+((bc))=acbc
  5. Если имеет единичный элемент 1, то aR a1=1a=a.

Кольцо. Простейшие следствия из аксиом

Этот тест составлен для проверки знаний по теме: «Кольцо. Простейшие следствия из аксиом».

Литература: