Автор: Пользователь скрыл имя, 28 Декабря 2011 в 21:24, курс лекций
Аксиомы линейного пространства и их следствия.
I. Бинарная операция — операция сложения. " x,y ÎL по некоторому правилу $! x+y ÎL.
Аксиомы:
1. " x,y ÎL: x+y=y+x - коммутативна
2. " x,y,z Î L : (x+y)+z=x+(y+z) - ассоциативна.
3. $! Q(нулевой) Î L : "x x+Q=Q+x=x
4. "x Î L $! (-x) ÎL: x+(-x)=Q
Вывод: (L,+) - абелева группа.
Доказательство- метод от противного.
1. (А- л/з)dÛ($А’(конечная)ÌА: А’- л/з)
2. (А- л/нз)dÛ($А’(конечная)ÌА: А’- л/нз)
4. Теорема Штейница.
(А={ai}i=1m - л/нз; B={bj}j=1n - л/нз; BØA)Þ(n£m)
Доказательсто (метод от противного)
Пусть n>m, тогда: ; bj=?.
"jÎ{1,..,n}: ;
,
так как А-л/нз (по условию) поэтому "gi=0
=0 - однородная система линейных уравнений - не менее n-m- свободных неизвестных. То есть бесконечное множество решений и есть хотя бы одно не нулевое.
(b10,....,bn0) - нетривиальный набор чисел.
ÞB
- л/з (по определению) пришди к противоречию,
так как В - л/нз. Вывод (n>m) - неверно то
есть n£m.
4, Максимальные линейно независимые подсистемы векторов (существование и равномощность).
(Максимальная Линейно Независимая Система)
А={a1,....,an} (A’ÍA)
(A’-МЛНС)dÛ(1. А’- л/нз 2. "aÎA A’È{a}-л/з)
Пример:
1.
Множество геометрических
`a¹0, А={`a,`b}- л/з, `a½½`b: А- МЛНС.
2.
Множество геометрических
А={``a,`b}- л/з, `a½½`b: А- МЛНС V2.
3.
Множество геометрических
А={``a,`b,`с}= МЛНС V3.
1. (A’- МЛНС А)Þ(АА’)
А={a1,....,an} "aÎA
{a1,....,ar}-линейно-
то есть a1a1+.....+arar+aa¹0=Q
2. (A1,A2-МЛНС)Þ(½A1½=½A2½)- число элементов.
А1-линейно-завсимая и А2- линейно-зависимая
(A2A1)Þ( ½A1½£½A2½)
(A1A2)Þ (½A1½³½A2½), то есть ½A1½=½A2½
Рангом сиcтемы элементов называется число элементов её МЛНС- максимальное число линейно-независимых элементов систмы. rang A, rA.
Задача: <A>, rang<A>=rA; A={a1,...,an}; A`={a1,....,ar}-МЛНС
rA=r; <A>= ; "aÌ<A>; aA`.
(aA)&(AA`)ÞaA`ÞA`-МЛНС <A>, то есть МЛНС A=МЛНС <A>;
rang <A>=rA=r
Строчный ранг- rc(A) максимальное число линейно-независимых векторов строк. (ранг системы векторов rang{x1,x2,...,xm}).
Столбцовый ранг- rk(A) максимальное число линейно-независимых векторов столбцов. (ранг системы векторов rang{y1,y2,...,ym}).
Для любой матрицы А её строчный ранг равен столбцовому.
Любую матрицу
путём конечного числа
A®A`, A``.
1. rc(A)=rc; rk(A)=rk(A`), то есть rc(A)=rk(A)=n.
2. rc(A)=rc(A``); rk(A)=rk(A``); Þ rc(A)=rk(A)=r.
; k£min{m,n}.
Вычеркнем k-любых строк и столбцов. Составим определитель из тех которые на пересечении.
mk-минор k-ого порядка. r(A)=rÞМЛНС строк, состоит из r-строк и столбцов.
Столбцы (строки), которые входят в МЛНС назовём базиснвми столбцами. Пусть ранг равен r- это значит, что есть r-базисных строк и столбцов. Рассмотрим минор, который на пересечении r-базисной строки и r-базисного столбца - базисный минор.
Если (Mr-базисный минор матрицы А=(aij)m,n)Û(Mi¹0, все другие миноры, более высокого порядка равны 0).Теорема без доказательства: определитель наивысшего порядка минора, отличного от нуля, матрицы А, называется рангом матрицы А.
Следствие:
(½A½=0)Û(его строки (столбцы) - линейно-зависимы.)