Теорема о размерности подпространства решений системы однородных линейных уравнений (5 видео)

Пространство решений системы линейных однородных уравнений

Пространство решений системы линейных однородных уравнений

Пусть дана система (30) линейных однородных уравнений с коэффициентами из поля Р.

(30)

Так как столбец свободных членов в матрице А1 этой системы состоит только из нулей, то rang A = rang A1, т. е. система линейных однородных уравнений всегда совместна. В частности она всегда имеет нулевое решение. Рассмотрим множество всех возможных решений системы (30).

Пусть a =(a1, a2, … , an) и b =(b1, b2, … , bn) – любые два из них. Их можно рассматривать, как векторы в арифметическом n-мерном пространстве над полем Р. Пусть l – любой элемент поля Р. Тогда a +b = (a1 + b1, a2 + b2, … , an + bn ), l×a = (la1, la2, … , lan). Подставим компоненты этих векторов в произвольное s-е уравнение системы (30). Получим Итак, если a и b – любые два решения системы (30) и l – любой элемент поля Р, то a +b и l×a тоже являются решением этой системы. Но тогда из теоремы 14 следует

Теорема 27. Множество решений системы линейных однородных уравнений с n переменными есть линейное подпространство арифметического пространства Аn .

Теорема 28. Размерность пространства решений системы линейных однородных уравнений равна n – r, где n – число неизвестных, r – ранг матрицы системы.

Доказательство. Пусть L – пространство решений системы (30). Тогда L Ì Аn . Пусть a = (a1, a2, … ar, ar+1, … , an) – произвольное решение системы. Пусть (ar+1, … , an) – набор свободных неизвестных, соответствующий этому решению. Множество всех возможных наборов свободных неизвестных есть арифметическое (n – r)-мерное пространство Аn–r . Зададим отображение j: L ® Аn–r по правилу

Покажем, что j – изоморфизм (определение 24). Для этого нужно проверить три условия.

1. Покажем, что j – взаимнооднозначное отображение. Решению a = (a1, a2, … ar, ar+1, … , an) соответствует только один набор (ar+1, … , an), следовательно, j – однозначное отображение. Обратно, если задать элемент (ar+1, … , an) из Аn–r , то по теореме Крамера найдётся только один набор (a1, a2, … ar ) искомых неизвестных, т. е. каждый элемент j(a) из Аn–r соответствует единственному элементу из L .

Итак, пространство решений системы линейных однородных уравнений изоморфно арифметическому (n – r)-мерному пространству. Следовательно, размерность L равна (n – r).

Определение 29. Базис пространства решений системы линейных однородных уравнений называется её фундаментальной системой решений.

Так как при изоморфизме базис пространства Аn–r соответствует базису пространства L, то для того. чтобы найти фундаментальную систему решений для системы (30), достаточно выбрать (n – r) линейно независимых наборов свободных неизвестных и для каждого из них найти решение данной системы.

Следствие. Если а1, а2, …, аn–r фундаментальная система решений системы линейных однородных уравнений (30) и С1, С2, … , Сn–r – произвольные элементы поля Р, то С1а1 + С2а2 + … + Сn–r аn–r – общее решение этой системы.

Связь решений однородной и неоднородной систем линейных уравнений

Пусть (25) произвольная система линейных неоднородных уравнений с коэффициентами из поля Р. Если в этой системе все свободные члены заменить нулями, то полученная система линейных однородных уравнений называется соответствующей однородной системой (это система (30)). Решения систем (25) и (30) удовлетворяют следующим свойствам:

(30)

10. Сумма решений данной неоднородной и соответствующей однородной системы линейных уравнений есть решение данной неоднородной системы. Пусть а – частное решение системы (25) и с – частное решение системы (30). Рассмотрим вектор (а + с).

20. Разность двух решений неоднородной системы линейных уравнений есть решение соответствующей однородной системы.

30. Если а – фиксированное частное решение системы (25), а с пробегает все решения системы (30), то (а + с) пробегает все решения системы (25).

Согласно 10, при любом с вектор (а + с) будет решением системы (25). Если d – любое решение системы (25), то, согласно 20, разность (d – а) будет решением системы (30). Обозначив (d – а) = с, получим d = (а + с).

Теорема 29. Если а – частное решение линейной неоднородной системы уравнений и а1, а2, …, аn–r – фундаментальная система решений соответствующей однородной системы уравнений, то общее решение данной неоднородной системы имеет вид

(Иными словами, общее решение системы линейных неоднородных уравнений равно сумме частного решения этой системы и общего решения соответствующей однородной системы.)

Доказательство является следствием предыдущих свойств.

Задание подпространств конечномерного линейного пространства с помощью систем линейных уравнений

Пусть дано n-мерное линейное пространство L и пусть в нём зафиксирован базис е = (е1, е2, … , еn ). Пусть М – линейное подпространство в L .

Определение 30. Будем говорить, что система линейных уравнений задаёт подпространство М, если этой системе удовлетворяют координаты всех векторов из М и не удовлетворяют координаты никаких других векторов.

Из свойств решений однородной системы линейных уравнений следует, что любая однородная линейная система уравнений ранга r с n переменными задаёт в любом n-мерном пространстве Ln (если в нём зафиксирован базис) (n–r )-мерное линейное подпространство.

Справедливо и обратное утверждение. А именно, имеет место следующая теорема.

Теорема 30. Если в линейном n-мерном пространстве Ln зафиксирован базис, то любое его к-мерное линейное подпространство можно задать системой линейных однородных уравнений с n неизвестными ранга (n – к).

Доказательство. Пусть в Ln зафиксирован базис е = (е1, е2, … , еn ). Пусть Lк – линейное к-мерное подпространство в Ln . Выберем в Lк любой базис а = (а1, а2, … , ак). Пусть В матричной форме а = е × А, где А = .

Так как а – базис, то ранг матрицы А равен к.

Получили параметрические уравнения, определяющие Lк .

После исключения параметров получится система (n – к) линейных однородных уравнений. Векторы а1, а2, … , ак являются её линейно независимыми решениями. Все остальные решения являются их линейными комбинациями.

Следовательно, система векторов (а1, а2, … , ак) будет фундаментальной системой решений полученной системы уравнений и поэтому ранг этой системы уравнений равен (n – к).

Пример. В пространстве L5 зафиксирован базис е = (е1, е2, е3, е4 , е5 ). Найти систему линейных однородных уравнений, задающих L3 = , если а1 = (1, –2, 2, 0, 1), а2 = (0, 4, 7, 0, 1), а3 = (–2, 3, –1, 0, 0).

Решение. Найдём ранг системы векторов (а1, а2, а3 ). Для этого достаточно найти ранг матрицы . Минор . Окаймляющий минор ¹ 0, следовательно, ранг матрицы равен 3, т. е. векторы а1, а2, а3 линейно независимы и подпространство L3 – трёхмерное. Согласно доказанной теоремы, оно может быть задано системой линейных однородных уравнений ранга 2.

d Î L3 Û d = с1а1 + с2а2 + с3а3 . Отсюда d Î L3 Û х1 = с1 – 2с3 , х2 = –2с1 + 4с2 + 3с3 , х3 = 2с1 + 7с2 – с3 , х4 = 0, х5 = с1 + с2. Если из первого второго и пятого уравнений выразить с1, с2 и с3 и подставить их в третье и четвёртое уравнения, то получим следующую систему

Замечание. Очевидно, система, задающая данное подпространство, определяется не единственным образом. К найденным уравнениям можно добавлять новые уравнения, являющиеся их линейными комбинациями.

Содержание

21. Пространство решений системы линейных однородных уравнений
Линейные пространства. Подпространства
Системы линейных однородных уравнений
Понятие размерности векторного пространства и базиса.
Разложение вектора по базису векторного пространства.
Связь между базисами.
Примеры базисов линейных пространств
📹 Видео

Видео:ФСР. Система однородных уравнений. Общее решениеСкачать

21. Пространство решений системы линейных однородных уравнений

Пусть дана система (30) линейных однородных уравнений с коэффициентами из поля Р.

(30)

Пусть A =(A1, A2, … , An) и B =(B1, B2, … , Bn) – Любые два из них. Их можно рассматривать, как векторы в арифметическом n-мерном пространстве над полем Р. Пусть L – любой элемент поля Р. Тогда A +B = (A1 + B1, A2 + B2, … , An + Bn ), L×A = (LA1, LA2, … , LAn). Подставим компоненты этих векторов в произвольное S-е уравнение системы (30). Получим Итак, если A и B – Любые два решения системы (30) и L – любой элемент поля Р, то A +B И L×A тоже являются решением этой системы. Но тогда из теоремы 14 следует

Теорема 27. Множество решений системы линейных однородных уравнений с N Переменными есть линейное подпространство арифметического пространства Аn .

Теорема 28. Размерность пространства решений системы линейных однородных уравнений равна N – r, Где N – Число неизвестных, r – ранг матрицы системы.

Доказательство. Пусть L – пространство решений системы (30). Тогда L Ì Аn . Пусть A = (A1, A2, … Ar, Ar+1, … , An) – произвольное решение системы. Пусть (Ar+1, … , An) – набор свободных неизвестных, соответствующий этому решению. Множество всех возможных наборов свободных неизвестных есть арифметическое (N – r)-мерное пространство Аn–r . Зададим отображение J: L ® Аn–r по правилу

Покажем, что J – изоморфизм (определение 24). Для этого нужно проверить три условия.

1. Покажем, что J – взаимнооднозначное отображение. Решению A = (A1, A2, … Ar, Ar+1, … , An) соответствует только один набор (Ar+1, … , An), следовательно, J – Однозначное отображение. Обратно, если задать элемент (Ar+1, … , An) из Аn–r , то по теореме Крамера найдётся только один набор (A1, A2, … Ar ) искомых неизвестных, т. е. каждый элемент J(A) из Аn–r соответствует единственному элементу из L .

Итак, пространство решений системы линейных однородных уравнений изоморфно арифметическому (N – r)-мерному пространству. Следовательно, размерность L равна (N – r).

Определение 29. Базис пространства решений системы линейных однородных уравнений называется её Фундаментальной системой решений.

Так как при изоморфизме базис пространства Аn–r соответствует базису пространства L , То для того. чтобы найти фундаментальную систему решений для системы (30), достаточно выбрать (N – r) линейно независимых наборов свободных неизвестных и для каждого из них найти решение данной системы.

Следствие. Если А1, а2, …, аN–r фундаментальная система решений системы линейных однородных уравнений (30) и С1, С2, … , СN–r – произвольные элементы поля Р, то С1А1 + С2А2 + … + СN–r АN–r – общее решение этой системы.

Видео:Теорема о существовании фундаментальной системы решений системы линейных однородных уравнений.Скачать

Линейные пространства. Подпространства

Время на чтение: 35 минут

Системы линейных однородных уравнений

Постановка задачи. Найти какой-нибудь базис и определить размерность линейного пространства решений системы

1. Записываем матрицу системы:

и с помощью элементарных преобразований преобразуем матрицу к треугольному виду, т.е. к такому виду, когда все элементы, находящиеся ниже главной диагонали равны нулю. Ранг матрицы системы равен числу линейно независимых строк, т.е., в нашем случае, числу строк, в которых остались ненулевые элементы:

Размерность пространства решений равна . Если , то однородная система имеет единственное нулевое решение, если , то система имеет бесчисленное множество решений.

2. Выбираем базисных и свободных переменных. Свободные переменные обозначаем . Затем базисные переменные выражаем через свободные, получив таким образом общее решение однородной системы линейных уравнений.

3. Записываем базис пространства решений системы полагая последовательно одну из свободных переменных равной единице, а остальные нулю. Размерность линейного пространства решений системы равна количеству векторов базиса.

Примечание. К элементарным преобразованиям матрицы относят:

1. умножение (деление) строки на множитель, отличный от нуля;

2. прибавление к какой-либо строке другой строки, умноженной на любое число;

3. перестановка строк местами;

4. преобразования 1–3 для столбцов (в случае решения систем линейных уравнений элементарные преобразования столбцов не используются).

Задача 3. Найти какой-нибудь базис и определить размерность линейного пространства решений системы.

Выписываем матрицу системы и с помощью элементарных преобразований приводим ее к треугольному виду:

P и A – подмножество из L . Если A само составляет линейное пространство над полем P относительно тех же операций, что и L , то A называют подпространством пространства L .

Согласно определению линейного пространства, чтобы A было подпространством надо проверить выполнимость в A операций:

1) :
;

2)
:
;

и проверить, что операции в A подчинены восьми аксиомам. Однако последнее будет излишним (в силу того, что эти аксиомы выполняются в L) т.е. справедлива следующая

Теорема. Пусть L линейное пространство над полем P и
. Множество A тогда и только тогда является подпространством L, когда выполняются следующие требования:

Утверждение. Если L – n -мерное линейное пространство и A его подпространство, то A также конечномерное линейное пространство и его размерность не превосходит n .

Пример 1. Является ли подпространством пространства векторов-отрезков V 2 множество S всех векторов плоскости , каждый из которых лежит на одной из осей координат 0x или 0y?

Решение : Пусть
,
и
,
. Тогда
. Следовательно, S не является подпространством .

Пример 2. Является ли линейным подпространством линейного пространства V 2 векторов-отрезков плоскости множество S всех векторов плоскости, начала и концы которых лежат на данной прямой l этой плоскости?

Если вектор
умножить на действительное число k , то получим вектор
, также принадлежащий S. Если и – два вектора из S, то
(по правилу сложения векторов на прямой). Следовательно, S является подпространством .

Пример 3. Является ли линейным подпространством линейного пространства V 2 множество A всех векторов плоскости, концы которых лежат на данной прямой l , (предположить, что начало любого вектора совпадает с началом координат)?

Решение.

В случае, когда прямая l не проходит через начало координат множество А линейным подпространством пространства V 2 не является, т.к.
.

В случае, когда прямая l проходит через начало координат, множество А является линейным подпространством пространства V 2 , т.к.
и при умножении любого вектора
на действительное число α из поля Р получим
. Таким образом , требования линейного пространства для множества А выполнены.

Пример 4. Пусть дана система векторов
из линейного пространства L над полем P . Доказать, что множество всевозможных линейных комбинаций
с коэффициентами
из P является подпространством L (это подпространство A называют подпространством, порожденным системой векторов или линейной оболочкой этой системы векторов , и обозначают так:
или
).

Решение . Действительно, так как , то для любых элементов x , y A имеем:
,
, где
,
. Тогда

Так как , то
, поэтому
.

Проверим выполнимость второго условия теоремы. Если x – любой вектор из A и t – любое число из P , то . Поскольку
и
,, то
, , поэтому
. Таким образом, согласно теореме , множество A – подпространство линейного пространства L .

Для конечномерных линейных пространств справедливо и обратное утверждение.

Теорема. Всякое подпространство А линейного пространства L над полем является линейной оболочкой некоторой системы векторов.

При решении задачи нахождения базиса и размерности линейной оболочки используют следующую теорему.

Теорема. Базис линейной оболочки
совпадает с базисом системы векторов . Размерность линейной оболочки совпадает с рангом системы векторов .

Пример 4. Найти базис и размерность подпространства
линейного пространства Р 3 [ x ] , если
,
,
,
.

Решение . Известно, что векторы и их координатные строки (столбцы) обладают одинаковыми свойствами (в отношении линейной зависимости). Составляем матрицу A =
из координатных столбцов векторов
в базисе
.

Найдем ранг матрицы A .

. М 3 =
.
.

Следовательно, ранг r (A )= 3. Итак, ранг системы векторов равен 3. Значит, размерность подпространства S равна 3, а его базис состоит из трех векторов
(т.к. в базисный минор
входят координаты только этих векторов).

Пример 5. Доказать, что множество H векторов арифметического пространства
, у которых первая и последняя координаты равны 0, составляет линейное подпространство. Найти его базис и размерность.

Решение . Пусть
.

Тогда , и . Следовательно,
для любых . Если
,
, то . Таким образом, согласно теореме о линейном подпространстве, множество H является линейным подпространством пространства . Найдем базис H . Рассмотрим следующие векторы из H :
,
, . Эта система векторов линейно независима. Действительно, пусть .

Подмножество линейного пространства образует подпространство, если оно замкнуто относительно сложения векторов и умножения на скаляры.

П р и м е р 6.1. Образует ли подпространство в плоскости множество векторов, концы которых лежат: а) в первой четверти; б) на прямой, проходящей через начало координат? (начала векторов лежат в начале координат)

а) нет, так как множество не замкнуто относительно умножения на скаляр: при умножении на отрицательное число конец вектора попадает в третью четверть.

б) да, так как при сложении векторов и умножении их на любое число их концы остаются на той же прямой.

У п р а ж н е н и е 6.1. Образуют ли подпространство следующие подмножества соответствующих линейных пространств:

а) множество векторов плоскости, концы которых лежат в первой или третьей четверти;

б) множество векторов плоскости, концы которых лежат на прямой, не проходящей через начало координат;

в) множество координатных строк ;

г) множество координатных строк ;

д) множество координатных строк .

Размерностью линейного пространства L называется число dim L векторов, входящих в любой его базис.

Размерность суммы и пересечения подпространств связаны соотношением

dim (U + V) = dim U + dim V – dim (U Ç V).

П р и м е р 6.2. Найти базис и размерность суммы и пересечения подпространств, натянутых на следующие системы векторов:

Р е ш е н и е. Каждая из систем векторов, порождающих подпространства U и V, линейно независима, значит, является базисом соответствующего подпространства. Построим матрицу из координат данных векторов, расположив их по столбцам и отделив чертой одну систему от другой. Приведем получившуюся матрицу к ступенчатому виду.

Базис U + V образуют векторы , , , которым в ступенчатой матрице соответствуют ведущие элементы. Следовательно, dim (U + V) = 3. Тогда

dim (UÇV) = dim U + dim V – dim (U + V) = 2 + 2 – 3 = 1.

Пересечение подпространств образует множество векторов, удовлетворяющих уравнению (стоящих в левой и правой частях этого уравнения). Базис пересечения получим с помощью фундаментальной системы решений системы линейных уравнений, соответствующей этому векторному уравнению. Матрица этой системы уже приведена к ступенчатому виду. Исходя из него, заключаем, что y 2 – свободная переменная, и полагаем y 2 = c. Тогда 0 = y 1 – y 2 , y 1 = c,. и пересечение подпространств образует множество векторов вида = с (3, 6, 3, 4). Следовательно, базис UÇV образует вектор (3, 6, 3, 4).

З а м е ч а н и я. 1. Если продолжить решать систему, находя значения переменных х, то получим x 2 = c, x 1 = c, и в левой части векторного уравнения получится вектор , равный полученному выше.

2. Указанным методом можно получить базис суммы независимо от того, являются ли порождающие системы векторов линейно независимыми. Но базис пересечения будет получен правильно, только если хотя бы система, порождающая второе подпространство, линейно независима.

3. Если будет установлено, что размерность пересечения равна 0, то пересечение не имеет базиса, и искать его не нужно.

У п р а ж н е н и е 6.2. Найти базис и размерность суммы и пересечения подпространств, натянутых на следующие системы векторов:

а)

б)

Евклидовым пространством называется линейное пространство над полем R , в котором определено скалярное умножение, ставящее в соответствие каждой паре векторов , скаляр , причем выполнены условия:

Стандартное скалярное произведение вычисляется по формулам

(a 1 , … , a n) (b 1 , … , b n) = a 1 b 1 + … + a n b n .

Векторы и называются ортогональными, записывается ^ , если их скалярное произведение равно 0.

Система векторов называется ортогональной, если векторы в ней попарно ортогональны.

Ортогональная система векторов линейно независима.

Процесс ортогонализации системы векторов , … , заключается в переходе к эквивалентной ортогональной системе , … , , выполняемом по формулам:

, где , k = 2, … , n.

П р и м е р 7.1. Ортогонализировать систему векторов

= (1, 2, 2, 1), = (3, 2, 1, 1), = (4, 1, 3, -2).

Р е ш е н и е. Имеем = = (1, 2, 2, 1);

, = = = 1;

= (3, 2, 1, 1) – (1, 2, 2, 1) = (2, 0, -1, 0).

, = = =1;

= =1;

= (4, 1, 3, -2) – (1, 2, 2, 1) – (2, 0, -1, 0) = (1, -1, 2, -3).

У п р а ж н е н и е 7.1. Ортогонализировать системы векторов:

а) = (1, 1, 0, 2), = (3, 1, 1, 1), = (-1, -3, 1, -1);

б) = (1, 2, 1, 1), = (3, 4, 1, 1), = (0, 3, 2, -1).

П р и м е р 7.2. Дополнить систему векторов = (1, -1, 1, -1),

= (1, 1, -1, -1), до ортогонального базиса пространства.

Р е ш е н и е. Исходная система ортогональна, поэтому задача имеет смысл. Так как векторы заданы в четырехмерном пространстве, то требуется найти еще два вектора. Третий вектор = (x 1 , x 2 , x 3 , x 4) определяем из условий = 0, = 0. Эти условия дают систему уравнений, матрица которой образована из координатных строк векторов и . Решаем систему:

Свободным переменным x 3 и x 4 можно придать любой набор значений, отличный от нулевого. Полагаем, например, x 3 = 0, x 4 = 1. Тогда x 2 = 0, x 1 = 1, и = (1, 0, 0, 1).

Аналогично находим = (y 1 , y 2 , y 3 , y 4). Для этого к полученной выше ступенчатой матрице добавляем новую координатную строку и приводим к ступенчатому виду:

Для свободной переменной y 3 полагаем y 3 = 1. Тогда y 4 = 0, y 2 = 1, y 1 = 0, и = (0, 1, 1, 0).

Нормой вектора евклидова пространства называется неотрицательное действительное число .

Вектор называется нормированным, если его норма равна 1.

Чтобы нормировать вектор, его следует разделить на его норму.

Ортогональная система нормированных векторов называется ортонормированной.

У п р а ж н е н и е 7.2. Дополнить систему векторов до ортонормированного базиса пространства:

а) = (1/2, 1/2, 1/2, 1/2), = (-1/2, 1/2, -1/2, 1/2);

Пусть U и V – линейные пространства над полем F. Отображение f: U ® V называется линейным, если и .

П р и м е р 8.1. Являются ли линейными преобразования трехмерного пространства:

а) f(x 1 , x 2 , x 3) = (2x 1 , x 1 – x 3 , 0);

б) f(x 1 , x 2 , x 3) = (1, x 1 + x 2 , x 3).

а) Имеем f((x 1 , x 2 , x 3) + (y 1 , y 2 , y 3)) = f(x 1 + y 1 , x 2 + y 2 , x 3 + y 3) =

= (2(x 1 + y 1), (x 1 + y 1) – (x 3 + y 3), 0) = (2x 1 , x 1 – x 3 , 0) + (2y 1 , y 1 — y 3 , 0) =

F((x 1 , x 2 , x 3) + f(y 1 , y 2 , y 3));

f(l(x 1 , x 2 , x 3)) = f(lx 1 , lx 2 , lx 3) = (2lx 1 , lx 1 – lx 3 , 0) = l(2x 1 , x 1 – x 3 , 0) =

L f(x 1 , x 2 , x 3).

Следовательно, преобразование является линейным.

б) Имеем f((x 1 , x 2 , x 3) + (y 1 , y 2 , y 3)) = f(x 1 + y 1 , x 2 + y 2 , x 3 + y 3) =

= (1, (x 1 + y 1) + (x 2 + y 2), x 3 + y 3);

f((x 1 , x 2 , x 3) + f(y 1 , y 2 , y 3)) = (1, x 1 + x 2 , x 3) + (1, y 1 + y 2 , y 3) =

= (2, (x 1 + y 1) + (x 2 + y 2), x 3 + y 3) ¹ f((x 1 , x 2 , x 3) + (y 1 , y 2 , y 3)).

Следовательно, преобразование не является линейным.

Образом линейного отображения f: U ® V называется множество образов векторов из U, то есть

У п р а ж н е н и е 8.1. Найти ранг, дефект, базисы образа и ядра линейного отображения f, заданного матрицей:

а) А = ; б) А = ; в) А = .

Когда мы разбирали понятия n -мерного вектора и вводили операции над векторами, то выяснили, что множество всех n -мерных векторов порождает линейное пространство. В этой статье мы поговорим о важнейших связанных понятиях – о размерности и базисе векторного пространства. Также рассмотрим теорему о разложении произвольного вектора по базису и связь между различными базисами n -мерного пространства. Подробно разберем решения характерных примеров.

Навигация по странице.

Видео:15. Однородная система линейных уравнений / фундаментальная система решенийСкачать

Понятие размерности векторного пространства и базиса.

Понятия размерности и базиса векторного пространства напрямую связаны с понятием линейно независимой системы векторов, так что рекомендуем при необходимости обращаться к статье линейная зависимость системы векторов, свойства линейной зависимости и независимости.

Размерностью векторного пространства называется число, равное максимальному количеству линейно независимых векторов в этом пространстве.

Базис векторного пространства – это упорядоченная совокупность линейно независимых векторов этого пространства, число которых равно размерности пространства.

Приведем некоторые рассуждения, основываясь на этих определениях.

Рассмотрим пространство n -мерных векторов.

Покажем, что размерность этого пространства равна n .

Возьмем систему из n единичных векторов вида

Примем эти векторы в качестве строк матрицы А . В этом случае матрица А будет единичной матрицей размерности n на n . Ранг этой матрицы равен n (при необходимости смотрите статью ). Следовательно, система векторов линейно независима, причем к этой системе нельзя добавить ни одного вектора, не нарушив ее линейной независимости. Так как число векторов в системе равно n , то размерность пространства n -мерных векторов равна n , а единичные векторы являются базисом этого пространства .

Из последнего утверждения и определения базиса можно сделать вывод, что любая система n -мерных векторов, число векторов в которой меньше n , не является базисом .

Теперь переставим местами первый и второй вектор системы . Легко показать, что полученная система векторов также является базисом n -мерного векторного пространства. Составим матрицу, приняв ее строками векторы этой системы. Эта матрица может быть получена из единичной матрицы перестановкой местами первой и второй строк, следовательно, ее ранг будет равен n . Таким образом, система из n векторов линейно независима и является базисом n -мерного векторного пространства.

Если переставить местами другие векторы системы , то получим еще один базис.

Если взять линейно независимую систему не единичных векторов, то она также является базисом n -мерного векторного пространства.

Таким образом, векторное пространство размерности n имеет столько базисов, сколько существует линейно независимых систем из n n -мерных векторов.

Если говорить о двумерном векторном пространстве (то есть, о плоскости), то ее базисом являются два любых не коллинеарных вектора. Базисом трехмерного пространства являются три любых некомпланарных вектора.

Рассмотрим несколько примеров.

Являются ли векторы базисом трехмерного векторного пространства?

Исследуем эту систему векторов на линейную зависимость. Для этого составим матрицу, строками которой будут координаты векторов, и найдем ее ранг:

Таким образом, векторы a , b и c линейно независимы и их количество равно размерности векторного пространства, следовательно, они являются базисом этого пространства.

Может ли система векторов быть базисом векторного пространства?

Эта система векторов линейно зависима, так как максимальное число линейно независимых трехмерных векторов равно трем. Следовательно, эта система векторов не может быть базисом трехмерного векторного пространства (хотя подсистема исходной системы векторов является базисом).

Убедитесь, что векторы

могут быть базисом четырехмерного векторного пространства.

Составим матрицу, приняв ее строками исходные векторы:

Найдем :

Таким образом, система векторов a, b, c, d линейно независима и их количество равно размерности векторного пространства, следовательно, a, b, c, d являются его базисом.

Исходные векторы действительно являются базисом четырехмерного пространства.

Составляют ли векторы базис векторного пространства размерности 4 ?

Даже если исходная система векторов линейно независима, количество векторов в ней недостаточно для того, чтобы быть базисом четырехмерного пространства (базис такого пространства состоит из 4 векторов).

Нет, не составляет.

Видео:Математика без Ху!ни. Метод Гаусса. Совместность системы. Ранг матрицы.Скачать

Разложение вектора по базису векторного пространства.

Пусть произвольные векторы являются базисом n -мерного векторного пространства. Если к ним добавить некоторый n -мерный вектор x , то полученная система векторов будет линейно зависимой. Из свойств линейной зависимости мы знаем, что хотя бы один вектор линейно зависимой системы линейно выражается через остальные. Иными словами, хотя бы один из векторов линейно зависимой системы раскладывается по остальным векторам.

Так мы подошли к очень важной теореме.

Любой вектор n -мерного векторного пространства единственным образом раскладывается по базису.

Пусть — базис n -мерного векторного пространства. Добавим к этим векторам n -мерный вектор x . Тогда полученная система векторов будет линейно зависимой и вектор x может быть линейно выражен через векторы : , где — некоторые числа. Так мы получили разложение вектора x по базису. Осталось доказать, что это разложение единственно.

Предположим, что существует еще одно разложение , где — некоторые числа. Отнимем от левой и правой частей последнего равенства соответственно левую и правую части равенства :

Так как система базисных векторов линейно независима, то по определению линейной независимости системы векторов полученное равенство возможно только тогда, когда все коэффициенты равны нулю. Поэтому, , что доказывает единственность разложения вектора по базису.

Коэффициенты называются координатами вектора x в базисе .

После знакомства с теоремой о разложении вектора по базису, мы начинаем понимать суть выражения «нам задан n -мерный вектор ». Это выражение означает, что мы рассматриваем вектор x n -мерного векторного пространства, координаты которого заданы в некотором базисе. При этом мы понимаем, что этот же вектор x в другом базисе n-мерного векторного пространства будет иметь координаты, отличные от .

Рассмотрим следующую задачу.

Пусть в некотором базисе n -мерного векторного пространства нам задана система из n линейно независимых векторов

и вектор . Тогда векторы также являются базисом этого векторного пространства.

Пусть нам требуется найти координаты вектора x в базисе . Обозначим эти координаты как .

Вектор x в базисе имеет представление . Запишем это равенство в координатной форме:

Это равенство равносильно системе из n линейных алгебраических уравнений с n неизвестными переменными :

Основная матрица этой системы имеет вид

Обозначим ее буквой А . Столбцы матрицы А представляют собой векторы линейно независимой системы векторов , поэтому ранг этой матрицы равен n , следовательно, ее определитель отличен от нуля. Этот факт указывает на то, что система уравнений имеет единственное решение, которое может быть найдено любым методом, например, или .

Так будут найдены искомые координаты вектора x в базисе .

Разберем теорию на примерах.

В некотором базисе трехмерного векторного пространства заданы векторы

Убедитесь, что система векторов также является базисом этого пространства и найдите координаты вектора x в этом базисе.

Чтобы система векторов была базисом трехмерного векторного пространства нужно, чтобы она была линейно независима. Выясним это, определив ранг матрицы A , строками которой являются векторы . Ранг найдем методом Гаусса

следовательно, Rank(A) = 3 , что показывает линейную независимость системы векторов .

Итак, векторы являются базисом. Пусть в этом базисе вектор x имеет координаты . Тогда, как мы показали выше, связь координат этого вектора задается системой уравнений

Подставив в нее известные из условия значения, получим

Решим ее методом Крамера:

Таким образом, вектор x в базисе имеет координаты .

В некотором базисе четырехмерного векторного пространства задана линейно независимая система векторов

Известно, что . Найдите координаты вектора x в базисе .

Так как система векторов линейно независима по условию, то она является базисом четырехмерного пространства. Тогда равенство означает, что вектор x в базисе имеет координаты . Обозначим координаты вектора x в базисе как .

Система уравнений, задающая связь координат вектора x в базисах и имеет вид

Подставляем в нее известные значения и находим искомые координаты :

Видео:Неоднородная система линейных уравненийСкачать

Связь между базисами.

Пусть в некотором базисе n -мерного векторного пространства заданы две линейно независимые системы векторов

и

то есть, они тоже являются базисами этого пространства.

Если — координаты вектора в базисе , то связь координат и задается системой линейных уравнений (об этом мы говорили в предыдущем пункте):

, которая в матричной форме может быть записана как

Аналогично для вектора мы можем записать

Предыдущие матричные равенства можно объединить в одно, которое по сути задает связь векторов двух различных базисов

Аналогично мы можем выразить все векторы базиса через базис :

Матрицу называют матрицей перехода от базиса к базису , тогда справедливо равенство

Умножив обе части этого равенства справа на

получим

Найдем матрицу перехода, при этом не будем подробно останавливаться на нахождении обратной матрицы и умножении матриц (смотрите при необходимости статьи и ):

Осталось выяснить связь координат вектора x в заданных базисах.

Пусть в базисе вектор x имеет координаты , тогда

а в базисе вектор x имеет координаты , тогда

Так как левые части последних двух равенств одинаковы, то мы можем приравнять правые части:

Если умножить обе части справа на

С другой стороны

(найдите обратную матрицу самостоятельно).
Два последних равенства дают нам искомую связь координат вектора x в базисах и .

Матрица перехода от базиса к базису имеет вид
;
координаты вектора x в базисах и связаны соотношениями

или
.

Мы рассмотрели понятия размерности и базиса векторного пространства, научились раскладывать вектор по базису и обнаружили связь между разными базисами n-мерного пространства векторов через матрицу перехода.

Линейное пространство V называется n-мерным , если в нем существует система из n линейно независимых векторов, а любая система из большего количества векторов линейно зависима. Число n называется размерностью (числом измерений) линейного пространства V и обозначается operatornameV . Другими словами, размерность пространства — это максимальное число линейно независимых векторов этого пространства. Если такое число существует, то пространство называется конечномерным. Если же для любого натурального числа п в пространстве V найдется система, состоящая из n линейно независимых векторов, то такое пространство называют бесконечномерным (записывают: operatornameV=infty ). Далее, если не оговорено противное, будут рассматриваться конечномерные пространства.

Базисом n-мерного линейного пространства называется упорядоченная совокупность n линейно независимых векторов ( базисных векторов ).

Теорема 8.1 о разложении вектора по базису. Если — базис n-мерного линейного пространства V , то любой вектор mathbfin V может быть представлен в виде линейной комбинации базисных векторов:

mathbf=mathbf_1cdot mathbf_1+mathbf_2cdot mathbf_2+ldots+mathbf_ncdot mathbf_n

и притом единственным образом, т.е. коэффициенты mathbf_1, mathbf_2,ldots, mathbf_n определяются однозначно. Другими словами, любой вектор пространства может быть разложен по базису и притом единственным образом.

Действительно, размерность пространства V равна n . Система векторов mathbf_1,mathbf_2,ldots,mathbf_n линейно независима (это базис). После присоединения к базису любого вектора mathbf , получаем линейно зависимую систему mathbf_1,mathbf_2,ldots,mathbf_n, mathbf (так как это система состоит из (n+1) векторов n-мерного пространства). По свойству 7 линейно зависимых и линейно независимых векторов получаем заключение теоремы.

Следствие 1. Если mathbf_1,mathbf_2,ldots,mathbf_n — базис пространства V , то V=operatorname (mathbf_1,mathbf_2, ldots,mathbf_n) , т.е. линейное пространство является линейной оболочкой базисных векторов.

В самом деле, для доказательства равенства V=operatorname (mathbf_1,mathbf_2, ldots, mathbf_n) двух множеств достаточно показать, что включения Vsubset operatorname(mathbf_1,mathbf_2, ldots,mathbf_n) и выполняются одновременно. Действительно, с одной стороны, любая линейная комбинация векторов линейного пространства принадлежит самому линейному пространству, т.е. operatorname(mathbf_1,mathbf_2,ldots,mathbf_n)subset V . С другой стороны, любой вектор пространства по теореме 8.1 можно представить в виде линейной комбинации базисных векторов, т.е. Vsubset operatorname(mathbf_1,mathbf_2,ldots,mathbf_n) . Отсюда следует равенство рассматриваемых множеств.

Следствие 2. Если mathbf_1,mathbf_2,ldots,mathbf_n — линейно независимая система векторов линейного пространства V и любой вектор mathbfin V может быть представлен в виде линейной комбинации (8.4): mathbf=v_1mathbf_1+ v_2mathbf_2+ldots+v_nmathbf_n , то пространство V имеет размерность n , а система mathbf_1,mathbf_2, ldots,mathbf_n является его базисом.

В самом деле, в пространстве V имеется система n линейно независимых векторов, а любая система mathbf_1,mathbf_2,ldots,mathbf_n из большего количества векторов (k>n) линейно зависима, поскольку каждый вектор из этой системы линейно выражается через векторы mathbf_1,mathbf_2,ldots,mathbf_n . Значит, operatorname V=n и mathbf_1,mathbf_2,ldots,mathbf_n — базис V .

Теорема 8.2 о дополнении системы векторов до базиса. Всякую линейно независимую систему k векторов n-мерного линейного пространства (1leqslant k V

(1leqslant k . Рассмотрим линейную оболочку этих векторов: L_k=operatorname(mathbf_1,mathbf_2,ldots, mathbf_k) . Любой вектор mathbfin L_k образует с векторами mathbf_1,mathbf_2,ldots, mathbf_k линейно зависимую систему mathbf_1,mathbf_2,ldots,mathbf_k,mathbf , так как вектор mathbf линейно выражается через остальные. Поскольку в n-мерном пространстве существует n линейно независимых векторов, то L_kne V и существует вектор mathbf_in V , который не принадлежит L_k . Дополняя этим вектором линейно независимую систему mathbf_1,mathbf_2,ldots,mathbf_k , получаем систему векторов mathbf_1,mathbf_2,ldots,mathbf_k,mathbf_ , которая также линейно независимая. Действительно, если бы она оказалась линейно зависимой, то из пункта 1 замечаний 8.3 следовало, что mathbf_in operatorname(mathbf_1, mathbf_2, ldots,mathbf_k)=L_k , а это противоречит условию mathbf_notin L_k . Итак, система векторов mathbf_1,mathbf_2,ldots, mathbf_k, mathbf_ линейно независимая. Значит, первоначальную систему векторов удалось дополнить одним вектором без нарушения линейной независимости. Продолжаем аналогично. Рассмотрим линейную оболочку этих векторов: L_=operatorname (mathbf_1, mathbf_2,ldots, mathbf_k, mathbf_) . Если L_=V , то mathbf_1,mathbf_2, ldots,mathbf_k, mathbf_ — базис и теорема доказана. Если L_ne V , то дополняем систему mathbf_1,mathbf_2, ldots,mathbf_k,mathbf_ вектором mathbf_notin L_ и т.д. Процесс дополнения обязательно закончится, так как пространство V конечномерное. В результате получим равенство V=L_n=operatorname (mathbf_1,ldots,mathbf_k,ldots,mathbf_n) , из которого следует, что mathbf_1,ldots,mathbf_k,ldots,mathbf_n — базис пространства V . Теорема доказана.

1. Базис линейного пространства определяется неоднозначно. Например, если mathbf_1,mathbf_2, ldots, mathbf_n — базис пространства V , то система векторов lambda mathbf_1,lambda mathbf_2,ldots,lambda mathbf_n при любом lambdane0 также является базисом V . Количество базисных векторов в разных базисах одного и того же конечномерного пространства, разумеется, одно и то же, так как это количество равно размерности пространства.

2. В некоторых пространствах, часто встречающихся в приложениях, один из возможных базисов, наиболее удобный с практической точки зрения, называют стандартным.

3. Теорема 8.1 позволяет говорить, что базис — это полная система элементов линейного пространства, в том смысле, что любой вектор пространства линейно выражается через базисные векторы.

4. Если множество mathbb является линейной оболочкой operatorname(mathbf_1,mathbf_2,ldots,mathbf_k) , то векторы mathbf_1,mathbf_2,ldots,mathbf_k называют образующими множества mathbb . Следствие 1 теоремы 8.1 в силу равенства V=operatorname (mathbf_1,mathbf_2,ldots,mathbf_n) позволяет говорить, что базис — это минимальная система образующих линейного пространства V , так как нельзя уменьшить количество образующих (удалить хотя бы один вектор из набора mathbf_1, mathbf_2,ldots,mathbf_n ) без нарушения равенства V=operatorname(mathbf_1,mathbf_2,ldots,mathbf_n) .

5. Теорема 8.2 позволяет говорить, что базис — это максимальная линейно независимая система векторов линейного пространства, так как базис — это линейно независимая система векторов, и ее нельзя дополнить каким-либо вектором без потери линейной независимости.

6. Следствие 2 теоремы 8.1 удобно применять для нахождения базиса и размерности линейного пространства. В некоторых учебниках оно берется за определение базиса, а именно: линейно независимая система mathbf_1,mathbf_2,ldots,mathbf_n векторов линейного пространства называется базисом, если любой вектор пространства линейно выражается через векторы mathbf_1,mathbf_2,ldots,mathbf_n . Количество базисных векторов определяет размерность пространства . Разумеется, что эти определения эквивалентны приведенным выше.

Видео:Видеоурок "Однородные системы линейных уравнений"Скачать

Примеры базисов линейных пространств

Укажем размерность и базис для примеров линейных пространств, рассмотренных выше.

1. Нулевое линейное пространство <mathbf> не содержит линейно независимых векторов. Поэтому размерность этого пространства полагают равной нулю: dim<mathbf>=0 . Это пространство не имеет базиса.

2. Пространства V_1,,V_2,,V_3 имеют размерности 1, 2, 3 соответственно. Действительно, любой ненулевой вектор пространства V_1 , образует линейно независимую систему (см. пункт 1. замечаний 8.2), а любые два ненулевых век тора пространства V_1 коллинеарны, т.е. линейно зависимы (см. пример 8.1). Следовательно, dim=1 , а базисом пространства V_1 является любой ненулевой вектор. Аналогично доказывается, что dim=2 и dim=3 . Базисом пространства V_2 служат любые два неколлинеарных вектора, взятые в определенном порядке (один из них считается первым базисным вектором, другой — вторым). Базисом пространства V_3 являются любые три некомпланарных (не лежащих в одной или параллельных плоскостях) вектора, взятые в определенном порядке. Стандартным базисом в V_1 является единичный вектор vec на прямой. Стандартным базисом в V_2 считается базис vec,,vec , со стоящий из двух взаимно перпендикулярных единичных векторов плоскости. Стандартным базисом в пространстве V_3 считается базис vec,,vec,,vec , составленный из трех единичных попарно перпендикулярных векторов, образующих правую тройку.

3. Пространство mathbb^n содержит не более, чем n , линейно независимых векторов. В самом деле, возьмем k столбцов из mathbb^n и составим из них матрицу размеров ntimes k . Если k>n , то столбцы линейно зависимы по теореме 3.4 о ранге матрицы. Следовательно, dim<mathbb^n>leqslant n . В пространстве mathbb^n не трудно найти п линейно независимых столбцов. Например, столбцы единичной матрицы

линейно независимы. Следовательно, dim<mathbb^n>=n . Пространство mathbb^n называется n-мерным вещественным арифметическим пространством . Указанный набор векторов считается стандартным базисом пространства mathbb^n . Аналогично доказывается, что dim<mathbb^n>=n , поэтому пространство mathbb^n называют n-мерным комплексным арифметическим пространством .

4. Напомним, что любое решение однородной системы Ax=o можно представить в виде x=C_1varphi_1+C_2varphi_2+ldots+C_varphi_ , где r=operatornameA , a varphi_1,varphi_2,ldots,varphi_ — фундаментальная система решений. Следовательно, =operatorname (varphi_1,varphi_2,ldots,varphi_) , т.е. базисом пространства решений однородной системы служит ее фундаментальная система решений, а размерность пространства dim=n-r , где n — количество неизвестных, а r — ранг матрицы системы.

5. В пространстве M_ матриц размеров 2times3 можно выбрать 6 матриц:

которые линейно независимы. Действительно, их линейная комбинация

alpha_1cdot mathbf_1+alpha_2cdot mathbf_2+alpha_3cdot mathbf_3+ alpha_4cdot mathbf_4+alpha_5cdot mathbf_5+alpha_6cdot mathbf_6= beginalpha_1&alpha_2&alpha_3\ alpha_4&alpha_5&alpha_6end

равна нулевой матрице только в тривиальном случае alpha_1=alpha_2= ldots= alpha_6=0 . Прочитав равенство (8.5) справа налево, заключаем, что любая матрица из M_ линейным образом выражается через выбранные 6 матриц, т.е. M_= operatorname (mathbf_1,mathbf_2,ldots,mathbf_6) . Следовательно, dim<M_>=2cdot3=6 , а матрицы mathbf_1, mathbf_2,ldots,mathbf_6 являются базисом (стандартным) этого пространства. Аналогично доказывается, что dim<M_>=mcdot n .

6. Для любого натурального n в пространстве P(mathbb) многочленов с комплексными коэффициентами можно найти п линейно независимых элементов. Например, многочлены mathbf_1=1, mathbf_2=z, mathbf_3=z^2,,ldots, mathbf_n=z^ линейно независимы, так как их линейная комбинация

a_1cdot mathbf_1+a_2cdot mathbf_2+ldots+a_ncdot mathbf_n= a_1+a_2z+ldots+a_nz^

равна нулевому многочлену (o(z)equiv0) только в тривиальном случае a_1=a_2=ldots=a_n=0 . Поскольку эта система многочленов линейно независима при любом натуральном л, пространство P(mathbb) бесконечномерное. Аналогично делаем вывод о бесконечной размерности пространства P(mathbb) многочленов с действительными коэффициентами. Пространство P_n(mathbb) многочленов степени не выше, чем n , конечномерное. Действительно, векторы mathbf_1=1, mathbf_2=x, mathbf_3=x^2,,ldots, mathbf_=x^n образуют базис (стандартный) это го пространства, так как они линейно независимы и любой многочлен из P_n(mathbb) можно представить в виде линейной комбинации этих векторов:

a_nx^n+ldots+a_1x+a_0=a_0cdot mathbf_1+a_1 mathbf_2+ldots+a_ncdot mathbf_ . Следовательно, dim<P_n(mathbb)>=n+1 .

7. Пространство C(mathbb) непрерывных функций является бесконечно мерным. Действительно, для любого натурального n многочлены 1,x,x^2,ldots, x^ , рассматриваемые как непрерывные функции, образуют линейно независимые системы (см. предыдущий пример).

В пространстве T_(mathbb) тригонометрических двучленов (частоты omegane0 ) с действительными коэффициентами базис образуют одночлены mathbf_1(t)=sinomega t,

mathbf_2(t)=cosomega t . Они линейно независимы, так как тождественное равенство asinomega t+bcosomega tequiv0 возможно только в тривиальном случае (a=b=0) . Любая функция вида f(t)=asinomega t+bcosomega t линейно выражается через базисные: f(t)=a,mathbf_1(t)+b,mathbf_2(t) .

8. Пространство mathbb^X действительных функций, определенных на множестве X , в зависимости от области определения X может быть конечномерным или бесконечномерным. Если X — конечное множество, то пространство mathbb^X конечномерное (например, X= ). Если X — бесконечное множество, то пространство mathbb^X бесконечномерное (например, пространство mathbb^N последовательностей).

9. В пространстве mathbb^ любое положительное число mathbf_1 , не равное единице, может служить базисом. Возьмем, например, число mathbf_1=2 . Любое положительное число r можно выразить через mathbf_1 , т.е. представить в виде alphacdot mathbf_1colon r=2^=log_2rast2=alpha_1ast mathbf_1 , где alpha_1=log_2r . Следовательно, размерность этого пространства равна 1, а число mathbf_1=2 является базисом.

10. Пусть mathbf_1,mathbf_2,ldots,mathbf_n — базис вещественного линейного пространства V . Определим на V линейные скалярные функции , положив:

mathcal_i(mathbf_j)=begin1,&i=j,\ 0,&ine j.end

При этом, в силу линейности функции mathcal_i , для произвольного вектора получаем mathcal(mathbf)=sum_^v_j mathcal(mathbf_j)=v_i .

Итак, определены n элементов (ковекторов) mathcal_1, mathcal_2, ldots, mathcal_n сопряженного пространства V^ . Докажем, что mathcal_1, mathcal_2,ldots, mathcal_n — базис V^ .

Во-первых, покажем, что система mathcal_1, mathcal_2,ldots, mathcal_n линейно независима. В самом деле, возьмем линейную комбинацию этих ковекторов (alpha_1 mathcal_1+ldots+alpha_nmathcal_n)(mathbf)= и приравняем ее нулевой функции

forall mathbfin V)colon

forall mathbfin V.

Подставляя в это равенство mathbf=mathbf_i,

i=1,ldots,n , получаем alpha_1=alpha_2cdot= alpha_n=0 . Следовательно, система элементов mathcal_1,mathcal_2,ldots,mathcal_n пространства V^ линейно независима, так как равенство alpha_1mathcal_1+ldots+ alpha_nmathcal_n =mathbf возможно только в тривиальном случае.

Во-вторых, докажем, что любую линейную функцию fin V^ можно представить в виде линейной комбинации ковекторов mathcal_1, mathcal_2,ldots, mathcal_n . Действительно, для любого вектора mathbf=v_1 mathbf_1+v_2 mathbf_2+ldots+v_n mathbf_n в силу линейности функции f получаем:

beginf(mathbf)&= f(v_1 mathbf_1+ldots+v_n mathbf_n)= v_1 f(mathbf_1)+ldots+v_n f(mathbf_n)= f(mathbf_1)mathcal_1(mathbf)+ ldots+ f(mathbf_n)mathcal_n(mathbf)=\ &=(f(mathbf_1)mathcal_1+ldots+ f(mathbf_n)mathcal_n)(mathbf)= (beta_1mathcal_1+ ldots+beta_nmathcal_n) (mathbf),end

т.е. функция f представлена в виде линейной комбинации f=beta_1 mathcal_1+ldots+beta_nmathcal_n функций mathcal_1,mathcal_2,ldots, mathcal_n (числа beta_i=f(mathbf_i) — коэффициенты линейной комбинации). Следовательно, система ковекторов mathcal_1, mathcal_2,ldots, mathcal_n является базисом сопряженного пространства V^ и dim<V^>=dim (для конечномерного пространства V ).

Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.