Линейное векторное пространство и его свойства аксиомы. Линейное векторное пространство: определение, свойства. Что называется линейной комбинацией векторов

Материал из Википедии - свободной энциклопедии

Ве́кторное (или лине́йное ) простра́нство - математическая структура , которая представляет собой набор элементов, называемых векторами , для которых определены операции сложения друг с другом и умножения на число - скаляр . Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного , комплексного или любого другого поля чисел . Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления физических сил . При этом следует отметить, что вектор как элемент векторного пространства не обязательно должен быть задан в виде направленного отрезка . Обобщение понятия «вектор» до элемента векторного пространства любой природы не только не вызывает смешения терминов, но и позволяет уяснить или даже предвидеть ряд результатов, справедливых для пространств произвольной природы .

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

Кроме векторов, линейная алгебра изучает также тензоры более высокого ранга (скаляр считается тензором ранга 0, вектор - тензором ранга 1).

Первые труды, предвосхитившие введение понятия векторного пространства, относятся к XVII веку . Именно тогда своё развитие получили аналитическая геометрия , учения о матрицах , системах линейных уравнений , евклидовых векторах .

Определение

Линейное , или векторное пространство $V\; \backslash left(F\; \backslash right)$ над полем $F$ - это упорядоченная четвёрка $(V,F,+,\backslash cdot)$, где

• $V$ - непустое множество элементов произвольной природы, которые называются векторами ;
• $F$ - (алгебраическое) поле, элементы которого называются скалярами ;
• Определена операция сложения векторов $V\backslash times\; V\backslash to\; V$, сопоставляющая каждой паре элементов $\backslash mathbf\{x\},\; \backslash mathbf\{y\}$ множества $V$ $V$, называемый их суммой и обозначаемый $\backslash mathbf\{x\}\; +\; \backslash mathbf\{y\}$;
• Определена операция умножения векторов на скаляры $F\backslash times\; V\backslash to\; V$, сопоставляющая каждому элементу $\backslash lambda$ поля $F$ и каждому элементу $\backslash mathbf\{x\}$ множества $V$ единственный элемент множества $V$, обозначаемый $\backslash lambda\backslash cdot\; \backslash mathbf\{x\}$ или $\backslash lambda\backslash mathbf\{x\}$;

Векторные пространства, заданные на одном и том же множестве элементов, но над различными полями, будут различными векторными пространствами (например, множество пар действительных чисел $\backslash mathbb\{R\}^2$ может быть двумерным векторным пространством над полем действительных чисел либо одномерным - над полем комплексных чисел).

Простейшие свойства

1. Векторное пространство является абелевой группой по сложению.
2. Нейтральный элемент $\backslash mathbf\{0\}\; \backslash in\; V$
3. $0\backslash cdot\backslash mathbf\{x\}\; =\; \backslash mathbf\{0\}$ для любого $\backslash mathbf\{x\}\; \backslash in\; V$.
4. Для любого $\backslash mathbf\{x\}\; \backslash in\; V$ противоположный элемент $-\backslash mathbf\{x\}\; \backslash in\; V$ является единственным, что вытекает из групповых свойств.
5. $1\backslash cdot\backslash mathbf\{x\}\; =\; \backslash mathbf\{x\}$ для любого $\backslash mathbf\{x\}\; \backslash in\; V$.
6. $(-\backslash alpha)\backslash cdot\backslash mathbf\{x\}\; =\; \backslash alpha\backslash cdot(-\backslash mathbf\{x\})\; =\; -(\backslash alpha\backslash mathbf\{x\})$ для любых $\backslash alpha\; \backslash in\; F$ и $\backslash mathbf\{x\}\; \backslash in\; V$.
7. $\backslash alpha\backslash cdot\; \backslash mathbf\{0\}\; =\; \backslash mathbf\{0\}$ для любого $\backslash alpha\; \backslash in\; F$.

Связанные определения и свойства

Подпространство

Алгебраическое определение: Линейное подпространство или векторное подпространство ― непустое подмножество $K$ линейного пространства $V$ такое, что $K$ само является линейным пространством по отношению к определенным в $V$ действиям сложения и умножения на скаляр. Множество всех подпространств обычно обозначают как $\backslash mathrm\{Lat\}(V)$. Чтобы подмножество было подпространством, необходимо и достаточно, чтобы

1. для всякого вектора $\backslash mathbf\{x\}\backslash in\; K$, вектор $\backslash alpha\backslash mathbf\{x\}$ также принадлежал $K$, при любом $\backslash alpha\backslash in\; F$;
2. для всяких векторов $\backslash mathbf\{x\},\; \backslash mathbf\{y\}\; \backslash in\; K$, вектор $\backslash mathbf\{x\}+\backslash mathbf\{y\}$ также принадлежал $K$.

Последние два утверждения эквивалентны следующему:

Для всяких векторов $\backslash mathbf\{x\},\; \backslash mathbf\{y\}\; \backslash in\; K$, вектор $\backslash alpha\backslash mathbf\{x\}+\backslash beta\backslash mathbf\{y\}$ также принадлежал $K$ для любых $\backslash alpha,\; \backslash beta\; \backslash in\; F$.

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

Свойства подпространств

• Пересечение любого семейства подпространств - снова подпространство;
• Сумма подпространств $\backslash \{K\_i\backslash quad|\backslash quad\; i\; \backslash in\; 1\backslash ldots\; N\backslash \}$ определяется как множество, содержащее всевозможные суммы элементов $K\_i$: $\backslash sum\_\{i=1\}^N\; \{K\_i\}:=\; \backslash \{\backslash mathbf\{x\}\_1\; +\; \backslash mathbf\{x\}\_2\; +\; \backslash ldots\; +\; \backslash mathbf\{x\}\_N\backslash quad|\backslash quad\; \backslash mathbf\{x\}\_i\; \backslash in\; K\_i\backslash quad\; (i\backslash in\; 1\backslash ldots\; N)\backslash \}$.
  • Сумма конечного семейства подпространств - снова подпространство.

Линейные комбинации

Конечная сумма вида

$\backslash alpha\_1\backslash mathbf\{x\}\_1\; +\; \backslash alpha\_2\backslash mathbf\{x\}\_2\; +\; \backslash ldots\; +\; \backslash alpha\_n\backslash mathbf\{x\}\_n$

Линейная комбинация называется:

Базис. Размерность

Векторы $\backslash mathbf\{x\}\_1,\; \backslash mathbf\{x\}\_2,\; \backslash ldots,\; \backslash mathbf\{x\}\_n$ называются линейно зависимыми , если существует их нетривиальная линейная комбинация, равная нулю:

$\backslash alpha\_1\backslash mathbf\{x\}\_1\; +\; \backslash alpha\_2\backslash mathbf\{x\}\_2\; +\; \backslash ldots\; +\; \backslash alpha\_n\backslash mathbf\{x\}\_n\; =\; \backslash mathbf\{0\},\; \backslash quad\; \backslash \; |\backslash alpha\_1|\; +\; |\backslash alpha\_2|\; +\; \backslash ldots\; +\; |\backslash alpha\_n|\; \backslash neq\; 0.$

В противном случае эти векторы называются линейно независимыми .

Данное определение допускает следующее обобщение: бесконечное множество векторов из $V$ называется линейно зависимым , если линейно зависимо некоторое конечное его подмножество, и линейно независимым , если любое его конечное подмножество линейно независимо.

Свойства базиса:

• Любые $n$ линейно независимых элементов $n$-мерного пространства образуют базис этого пространства.
• Любой вектор $\backslash mathbf\{x\}\; \backslash in\; V$ можно представить (единственным образом) в виде конечной линейной комбинации базисных элементов:

$\backslash mathbf\{x\}\; =\; \backslash alpha\_1\backslash mathbf\{x\}\_1\; +\; \backslash alpha\_2\backslash mathbf\{x\}\_2\; +\; \backslash ldots\; +\; \backslash alpha\_n\backslash mathbf\{x\}\_n$.

Линейная оболочка

Линейная оболочка $\backslash mathcal\; V(X)$ подмножества $X$ линейного пространства $V$ - пересечение всех подпространств $V$, содержащих $X$.

Линейная оболочка является подпространством $V$.

Линейная оболочка также называется подпространством, порожденным $X$. Говорят также, что линейная оболочка $\backslash mathcal\; V(X)$ - пространство, натянутое на множество $X$.

Линейная оболочка $\backslash mathcal\; V(X)$ состоит из всевозможных линейных комбинаций различных конечных подсистем элементов из $X$. В частности, если $X$ - конечное множество, то $\backslash mathcal\; V(X)$ состоит из всех линейных комбинаций элементов $X$. Таким образом, нулевой вектор всегда принадлежит линейной оболочке.

Если $X$ - линейно независимое множество, то оно является базисом $\backslash mathcal\; V(X)$ и тем самым определяет его размерность.

Примеры

• Нулевое пространство, единственным элементом которого является ноль.
• Пространство всех функций $X\backslash to\; F$ с конечным носителем образует векторное пространство размерности равной мощности $X$.
• Поле действительных чисел может быть рассмотрено как континуально -мерное векторное пространство над полем рациональных чисел .
• Любое поле является одномерным пространством над собой.

Дополнительные структуры

См. также

Напишите отзыв о статье "Векторное пространство"

Примечания

Литература

• Гельфанд И. М. Лекции по линейной алгебре. - 5-е. - М .: Добросвет, МЦНМО , 1998. - 319 с. - ISBN 5-7913-0015-8 .
• Гельфанд И. М. Лекции по линейной алгебре. 5-е изд. - М .: Добросвет, МЦНМО, 1998. - 320 с. - ISBN 5-7913-0016-6 .
• Кострикин А. И. , Манин Ю. И. Линейная алгебра и геометрия. 2-е изд. - М .: Наука , 1986. - 304 с.
• Кострикин А. И. Введение в алгебру. Ч. 2: Линейная алгебра. - 3-е. - М .: Наука ., 2004. - 368 с. - (Университетский учебник).
• Мальцев А. И. Основы линейной алгебры. - 3-е. - М .: Наука , 1970. - 400 с.

• Постников М. М. Линейная алгебра (Лекции по геометрии. Семестр II). - 2-е. - М .: Наука , 1986. - 400 с.
• Стренг Г. Линейная алгебра и её применения = Linear Algebra and Its Applications. - М .: Мир , 1980. - 454 с.
• Ильин В. А., Позняк Э. Г. Линейная алгебра. 6-е изд. - М .: Физматлит, 2010. - 280 с. - ISBN 978-5-9221-0481-4 .
• Халмош П. Конечномерные векторные пространства = Finite-Dimensional Vector Spaces. - М .: Физматгиз , 1963. - 263 с.
• Фаддеев Д. К. Лекции по алгебре. - 5-е. - СПб. : Лань , 2007. - 416 с.
• Шафаревич И. Р. , Ремизов А. О. Линейная алгебра и геометрия. - 1-е. - М .: Физматлит , 2009. - 511 с.
• Шрейер О., Шпернер Г. Введение в линейную алгебру в геометрическом изложении = Einfuhrung in die analytische Geometrie und Algebra / Ольшанский Г. (перевод с немецкого). - М.–Л.: ОНТИ , 1934. - 210 с.

Векторы и матрицы Векторы Основные понятия Виды векторов Операции над векторами Типы пространств Матрицы Основные понятия Другое

Отрывок, характеризующий Векторное пространство

Кутузов прошел по рядам, изредка останавливаясь и говоря по нескольку ласковых слов офицерам, которых он знал по турецкой войне, а иногда и солдатам. Поглядывая на обувь, он несколько раз грустно покачивал головой и указывал на нее австрийскому генералу с таким выражением, что как бы не упрекал в этом никого, но не мог не видеть, как это плохо. Полковой командир каждый раз при этом забегал вперед, боясь упустить слово главнокомандующего касательно полка. Сзади Кутузова, в таком расстоянии, что всякое слабо произнесенное слово могло быть услышано, шло человек 20 свиты. Господа свиты разговаривали между собой и иногда смеялись. Ближе всех за главнокомандующим шел красивый адъютант. Это был князь Болконский. Рядом с ним шел его товарищ Несвицкий, высокий штаб офицер, чрезвычайно толстый, с добрым, и улыбающимся красивым лицом и влажными глазами; Несвицкий едва удерживался от смеха, возбуждаемого черноватым гусарским офицером, шедшим подле него. Гусарский офицер, не улыбаясь, не изменяя выражения остановившихся глаз, с серьезным лицом смотрел на спину полкового командира и передразнивал каждое его движение. Каждый раз, как полковой командир вздрагивал и нагибался вперед, точно так же, точь в точь так же, вздрагивал и нагибался вперед гусарский офицер. Несвицкий смеялся и толкал других, чтобы они смотрели на забавника.
Кутузов шел медленно и вяло мимо тысячей глаз, которые выкатывались из своих орбит, следя за начальником. Поровнявшись с 3 й ротой, он вдруг остановился. Свита, не предвидя этой остановки, невольно надвинулась на него.
– А, Тимохин! – сказал главнокомандующий, узнавая капитана с красным носом, пострадавшего за синюю шинель.
Казалось, нельзя было вытягиваться больше того, как вытягивался Тимохин, в то время как полковой командир делал ему замечание. Но в эту минуту обращения к нему главнокомандующего капитан вытянулся так, что, казалось, посмотри на него главнокомандующий еще несколько времени, капитан не выдержал бы; и потому Кутузов, видимо поняв его положение и желая, напротив, всякого добра капитану, поспешно отвернулся. По пухлому, изуродованному раной лицу Кутузова пробежала чуть заметная улыбка.
– Еще измайловский товарищ, – сказал он. – Храбрый офицер! Ты доволен им? – спросил Кутузов у полкового командира.
И полковой командир, отражаясь, как в зеркале, невидимо для себя, в гусарском офицере, вздрогнул, подошел вперед и отвечал:
– Очень доволен, ваше высокопревосходительство.
– Мы все не без слабостей, – сказал Кутузов, улыбаясь и отходя от него. – У него была приверженность к Бахусу.
Полковой командир испугался, не виноват ли он в этом, и ничего не ответил. Офицер в эту минуту заметил лицо капитана с красным носом и подтянутым животом и так похоже передразнил его лицо и позу, что Несвицкий не мог удержать смеха.
Кутузов обернулся. Видно было, что офицер мог управлять своим лицом, как хотел: в ту минуту, как Кутузов обернулся, офицер успел сделать гримасу, а вслед за тем принять самое серьезное, почтительное и невинное выражение.
Третья рота была последняя, и Кутузов задумался, видимо припоминая что то. Князь Андрей выступил из свиты и по французски тихо сказал:
– Вы приказали напомнить о разжалованном Долохове в этом полку.
– Где тут Долохов? – спросил Кутузов.
Долохов, уже переодетый в солдатскую серую шинель, не дожидался, чтоб его вызвали. Стройная фигура белокурого с ясными голубыми глазами солдата выступила из фронта. Он подошел к главнокомандующему и сделал на караул.
– Претензия? – нахмурившись слегка, спросил Кутузов.
– Это Долохов, – сказал князь Андрей.
– A! – сказал Кутузов. – Надеюсь, что этот урок тебя исправит, служи хорошенько. Государь милостив. И я не забуду тебя, ежели ты заслужишь.
Голубые ясные глаза смотрели на главнокомандующего так же дерзко, как и на полкового командира, как будто своим выражением разрывая завесу условности, отделявшую так далеко главнокомандующего от солдата.
– Об одном прошу, ваше высокопревосходительство, – сказал он своим звучным, твердым, неспешащим голосом. – Прошу дать мне случай загладить мою вину и доказать мою преданность государю императору и России.
Кутузов отвернулся. На лице его промелькнула та же улыбка глаз, как и в то время, когда он отвернулся от капитана Тимохина. Он отвернулся и поморщился, как будто хотел выразить этим, что всё, что ему сказал Долохов, и всё, что он мог сказать ему, он давно, давно знает, что всё это уже прискучило ему и что всё это совсем не то, что нужно. Он отвернулся и направился к коляске.
Полк разобрался ротами и направился к назначенным квартирам невдалеке от Браунау, где надеялся обуться, одеться и отдохнуть после трудных переходов.
– Вы на меня не претендуете, Прохор Игнатьич? – сказал полковой командир, объезжая двигавшуюся к месту 3 ю роту и подъезжая к шедшему впереди ее капитану Тимохину. Лицо полкового командира выражало после счастливо отбытого смотра неудержимую радость. – Служба царская… нельзя… другой раз во фронте оборвешь… Сам извинюсь первый, вы меня знаете… Очень благодарил! – И он протянул руку ротному.
– Помилуйте, генерал, да смею ли я! – отвечал капитан, краснея носом, улыбаясь и раскрывая улыбкой недостаток двух передних зубов, выбитых прикладом под Измаилом.
– Да господину Долохову передайте, что я его не забуду, чтоб он был спокоен. Да скажите, пожалуйста, я всё хотел спросить, что он, как себя ведет? И всё…
– По службе очень исправен, ваше превосходительство… но карахтер… – сказал Тимохин.
– А что, что характер? – спросил полковой командир.
– Находит, ваше превосходительство, днями, – говорил капитан, – то и умен, и учен, и добр. А то зверь. В Польше убил было жида, изволите знать…
– Ну да, ну да, – сказал полковой командир, – всё надо пожалеть молодого человека в несчастии. Ведь большие связи… Так вы того…
– Слушаю, ваше превосходительство, – сказал Тимохин, улыбкой давая чувствовать, что он понимает желания начальника.
– Ну да, ну да.
Полковой командир отыскал в рядах Долохова и придержал лошадь.
– До первого дела – эполеты, – сказал он ему.
Долохов оглянулся, ничего не сказал и не изменил выражения своего насмешливо улыбающегося рта.
– Ну, вот и хорошо, – продолжал полковой командир. – Людям по чарке водки от меня, – прибавил он, чтобы солдаты слышали. – Благодарю всех! Слава Богу! – И он, обогнав роту, подъехал к другой.
– Что ж, он, право, хороший человек; с ним служить можно, – сказал Тимохин субалтерн офицеру, шедшему подле него.
– Одно слово, червонный!… (полкового командира прозвали червонным королем) – смеясь, сказал субалтерн офицер.
Счастливое расположение духа начальства после смотра перешло и к солдатам. Рота шла весело. Со всех сторон переговаривались солдатские голоса.
– Как же сказывали, Кутузов кривой, об одном глазу?
– А то нет! Вовсе кривой.
– Не… брат, глазастее тебя. Сапоги и подвертки – всё оглядел…
– Как он, братец ты мой, глянет на ноги мне… ну! думаю…
– А другой то австрияк, с ним был, словно мелом вымазан. Как мука, белый. Я чай, как амуницию чистят!
– Что, Федешоу!… сказывал он, что ли, когда стражения начнутся, ты ближе стоял? Говорили всё, в Брунове сам Бунапарте стоит.
– Бунапарте стоит! ишь врет, дура! Чего не знает! Теперь пруссак бунтует. Австрияк его, значит, усмиряет. Как он замирится, тогда и с Бунапартом война откроется. А то, говорит, в Брунове Бунапарте стоит! То то и видно, что дурак. Ты слушай больше.
– Вишь черти квартирьеры! Пятая рота, гляди, уже в деревню заворачивает, они кашу сварят, а мы еще до места не дойдем.
– Дай сухарика то, чорт.
– А табаку то вчера дал? То то, брат. Ну, на, Бог с тобой.
– Хоть бы привал сделали, а то еще верст пять пропрем не емши.
– То то любо было, как немцы нам коляски подавали. Едешь, знай: важно!
– А здесь, братец, народ вовсе оголтелый пошел. Там всё как будто поляк был, всё русской короны; а нынче, брат, сплошной немец пошел.
– Песенники вперед! – послышался крик капитана.
И перед роту с разных рядов выбежало человек двадцать. Барабанщик запевало обернулся лицом к песенникам, и, махнув рукой, затянул протяжную солдатскую песню, начинавшуюся: «Не заря ли, солнышко занималося…» и кончавшуюся словами: «То то, братцы, будет слава нам с Каменскиим отцом…» Песня эта была сложена в Турции и пелась теперь в Австрии, только с тем изменением, что на место «Каменскиим отцом» вставляли слова: «Кутузовым отцом».
Оторвав по солдатски эти последние слова и махнув руками, как будто он бросал что то на землю, барабанщик, сухой и красивый солдат лет сорока, строго оглянул солдат песенников и зажмурился. Потом, убедившись, что все глаза устремлены на него, он как будто осторожно приподнял обеими руками какую то невидимую, драгоценную вещь над головой, подержал ее так несколько секунд и вдруг отчаянно бросил ее:
Ах, вы, сени мои, сени!
«Сени новые мои…», подхватили двадцать голосов, и ложечник, несмотря на тяжесть амуниции, резво выскочил вперед и пошел задом перед ротой, пошевеливая плечами и угрожая кому то ложками. Солдаты, в такт песни размахивая руками, шли просторным шагом, невольно попадая в ногу. Сзади роты послышались звуки колес, похрускиванье рессор и топот лошадей.
Кутузов со свитой возвращался в город. Главнокомандующий дал знак, чтобы люди продолжали итти вольно, и на его лице и на всех лицах его свиты выразилось удовольствие при звуках песни, при виде пляшущего солдата и весело и бойко идущих солдат роты. Во втором ряду, с правого фланга, с которого коляска обгоняла роты, невольно бросался в глаза голубоглазый солдат, Долохов, который особенно бойко и грациозно шел в такт песни и глядел на лица проезжающих с таким выражением, как будто он жалел всех, кто не шел в это время с ротой. Гусарский корнет из свиты Кутузова, передразнивавший полкового командира, отстал от коляски и подъехал к Долохову.
Гусарский корнет Жерков одно время в Петербурге принадлежал к тому буйному обществу, которым руководил Долохов. За границей Жерков встретил Долохова солдатом, но не счел нужным узнать его. Теперь, после разговора Кутузова с разжалованным, он с радостью старого друга обратился к нему:
– Друг сердечный, ты как? – сказал он при звуках песни, ровняя шаг своей лошади с шагом роты.
– Я как? – отвечал холодно Долохов, – как видишь.
Бойкая песня придавала особенное значение тону развязной веселости, с которой говорил Жерков, и умышленной холодности ответов Долохова.
– Ну, как ладишь с начальством? – спросил Жерков.
– Ничего, хорошие люди. Ты как в штаб затесался?
– Прикомандирован, дежурю.
Они помолчали.
«Выпускала сокола да из правого рукава», говорила песня, невольно возбуждая бодрое, веселое чувство. Разговор их, вероятно, был бы другой, ежели бы они говорили не при звуках песни.
– Что правда, австрийцев побили? – спросил Долохов.
– А чорт их знает, говорят.
– Я рад, – отвечал Долохов коротко и ясно, как того требовала песня.
– Что ж, приходи к нам когда вечерком, фараон заложишь, – сказал Жерков.
– Или у вас денег много завелось?
– Приходи.
– Нельзя. Зарок дал. Не пью и не играю, пока не произведут.
– Да что ж, до первого дела…
– Там видно будет.
Опять они помолчали.
– Ты заходи, коли что нужно, все в штабе помогут… – сказал Жерков.
Долохов усмехнулся.
– Ты лучше не беспокойся. Мне что нужно, я просить не стану, сам возьму.
– Да что ж, я так…
– Ну, и я так.
– Прощай.
– Будь здоров…
… и высоко, и далеко,
На родиму сторону…
Жерков тронул шпорами лошадь, которая раза три, горячась, перебила ногами, не зная, с какой начать, справилась и поскакала, обгоняя роту и догоняя коляску, тоже в такт песни.

Возвратившись со смотра, Кутузов, сопутствуемый австрийским генералом, прошел в свой кабинет и, кликнув адъютанта, приказал подать себе некоторые бумаги, относившиеся до состояния приходивших войск, и письма, полученные от эрцгерцога Фердинанда, начальствовавшего передовою армией. Князь Андрей Болконский с требуемыми бумагами вошел в кабинет главнокомандующего. Перед разложенным на столе планом сидели Кутузов и австрийский член гофкригсрата.
– А… – сказал Кутузов, оглядываясь на Болконского, как будто этим словом приглашая адъютанта подождать, и продолжал по французски начатый разговор.
– Я только говорю одно, генерал, – говорил Кутузов с приятным изяществом выражений и интонации, заставлявшим вслушиваться в каждое неторопливо сказанное слово. Видно было, что Кутузов и сам с удовольствием слушал себя. – Я только одно говорю, генерал, что ежели бы дело зависело от моего личного желания, то воля его величества императора Франца давно была бы исполнена. Я давно уже присоединился бы к эрцгерцогу. И верьте моей чести, что для меня лично передать высшее начальство армией более меня сведущему и искусному генералу, какими так обильна Австрия, и сложить с себя всю эту тяжкую ответственность для меня лично было бы отрадой. Но обстоятельства бывают сильнее нас, генерал.
И Кутузов улыбнулся с таким выражением, как будто он говорил: «Вы имеете полное право не верить мне, и даже мне совершенно всё равно, верите ли вы мне или нет, но вы не имеете повода сказать мне это. И в этом то всё дело».
Австрийский генерал имел недовольный вид, но не мог не в том же тоне отвечать Кутузову.
– Напротив, – сказал он ворчливым и сердитым тоном, так противоречившим лестному значению произносимых слов, – напротив, участие вашего превосходительства в общем деле высоко ценится его величеством; но мы полагаем, что настоящее замедление лишает славные русские войска и их главнокомандующих тех лавров, которые они привыкли пожинать в битвах, – закончил он видимо приготовленную фразу.
Кутузов поклонился, не изменяя улыбки.
– А я так убежден и, основываясь на последнем письме, которым почтил меня его высочество эрцгерцог Фердинанд, предполагаю, что австрийские войска, под начальством столь искусного помощника, каков генерал Мак, теперь уже одержали решительную победу и не нуждаются более в нашей помощи, – сказал Кутузов.
Генерал нахмурился. Хотя и не было положительных известий о поражении австрийцев, но было слишком много обстоятельств, подтверждавших общие невыгодные слухи; и потому предположение Кутузова о победе австрийцев было весьма похоже на насмешку. Но Кутузов кротко улыбался, всё с тем же выражением, которое говорило, что он имеет право предполагать это. Действительно, последнее письмо, полученное им из армии Мака, извещало его о победе и о самом выгодном стратегическом положении армии.
– Дай ка сюда это письмо, – сказал Кутузов, обращаясь к князю Андрею. – Вот изволите видеть. – И Кутузов, с насмешливою улыбкой на концах губ, прочел по немецки австрийскому генералу следующее место из письма эрцгерцога Фердинанда: «Wir haben vollkommen zusammengehaltene Krafte, nahe an 70 000 Mann, um den Feind, wenn er den Lech passirte, angreifen und schlagen zu konnen. Wir konnen, da wir Meister von Ulm sind, den Vortheil, auch von beiden Uferien der Donau Meister zu bleiben, nicht verlieren; mithin auch jeden Augenblick, wenn der Feind den Lech nicht passirte, die Donau ubersetzen, uns auf seine Communikations Linie werfen, die Donau unterhalb repassiren und dem Feinde, wenn er sich gegen unsere treue Allirte mit ganzer Macht wenden wollte, seine Absicht alabald vereitelien. Wir werden auf solche Weise den Zeitpunkt, wo die Kaiserlich Ruseische Armee ausgerustet sein wird, muthig entgegenharren, und sodann leicht gemeinschaftlich die Moglichkeit finden, dem Feinde das Schicksal zuzubereiten, so er verdient». [Мы имеем вполне сосредоточенные силы, около 70 000 человек, так что мы можем атаковать и разбить неприятеля в случае переправы его через Лех. Так как мы уже владеем Ульмом, то мы можем удерживать за собою выгоду командования обоими берегами Дуная, стало быть, ежеминутно, в случае если неприятель не перейдет через Лех, переправиться через Дунай, броситься на его коммуникационную линию, ниже перейти обратно Дунай и неприятелю, если он вздумает обратить всю свою силу на наших верных союзников, не дать исполнить его намерение. Таким образом мы будем бодро ожидать времени, когда императорская российская армия совсем изготовится, и затем вместе легко найдем возможность уготовить неприятелю участь, коей он заслуживает».]

ВЕКТОРНОЕ ПРОСТРАНСТВО, линейное пространство, над полем K, - аддитивно записанная абелева группа Е, в которой определено умножение элементов на скаляры, т. е. отображение

К × Е → Е: (λ, х) → λх,

удовлетворяющее следующим аксиомам (х, y ∈ Е, λ, μ, 1 ∈ K):

1) λ(х + у) = λх + λу,

2) (λ + μ)x = λx + μx,

3) (λμ)x = λ(μx),

4) 1 ⋅ x = х.

Из аксиом 1)-4) вытекают следующие важные свойства векторного пространства (0 ∈ Е):

5) λ ⋅ 0 = 0,

6) 0 ⋅ х = 0,

Элементы В. п. наз. точками В. п., или векторами, а элементы поля K - скалярами.

Наибольшее применение в математике и приложениях имеют В. п. над полем ℂ комплексных чисел или над полем ℝ действительных чисел; они наз. соответственно комплексными В. п. или действительными В. п.

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

Понятие В. п. есть частный случай понятия модуля над кольцом, а именно, В. п. есть унитарный модуль над полем. Унитарный модуль над некоммутативным телом также наз. векторным пространством над телом; теория таких В. п. во многом сложнее теории В. п. над полем.

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

Векторным подпространством, или просто подпространством, В. п. Е над полем К наз. подмножество F ⊂ E, замкнутое относительно действий сложения и умножения на скаляр. Подпространство, рассматриваемое отдельно от вмещающего его пространства, есть В. п. над тем же полем.

Прямой линией, проходящей через две точки х и y В. п. Е, наз. множество элементов z ∈ E вида z = λx + (1 - λ)y, λ ∈ K. Множество G ∈ E наз. плоским множеством, если вместе с любыми двумя точками оно содержит прямую, проходящую через эти точки. Каждое плоское множество получается из нек-рого подпространства с помощью сдвига (параллельного переноса): G = x + F; это означает, что каждый элемент z ∈ G представим единственным образом в виде z = x + y, y ∈ F, причем это равенство осуществляет взаимно однозначное соответствие между F и G.

Совокупность всех сдвигов F x = x + F данного подпространства F образует В. п. над K, наз. фактор-пространством E/F, если определить операции следующим образом:

F x F y = F x+y ; λF x = F λx , λ ∈ К.

Пусть М = {х α } α∈A - произвольное множество векторов из Е; линейной комбинацией векторов х α ∈ Е наз. вектор х, определенный формулой

х = ∑ α λ α x α , λ α ∈ K,

в к-рой лишь конечное число коэффициентов отлично от нуля. Совокупность всех линейных комбинаций векторов данного множества М является наименьшим подпространством, содержащим М, и наз. линейной оболочкой множества М. Линейная комбинация наз. тривиальной, если все коэффициенты λ α равны нулю. Множество М наз. линейно независимым множеством, если все нетривиальные линейные комбинации векторов из М отличны от нуля.

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

Каждый элемент х ∈ Е может быть единственным образом представлен в виде линейной комбинации элементов максимального линейно независимого множества:

х = ∑ α λ α x α , x α ∈ M 0 .

В связи с этим максимальное линейно независимое множество наз. базисом В. п. (алгебраическим базисом). Все базисы данного В. п. имеют одинаковую мощность, к-рая наз. размерностью В. п. Если эта мощность конечна, пространство наз. конечномерным В. п.; в противном случае оно наз. бесконечномерным В. п.

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

В теории действительных и комплексных В. п. важную роль играет теория выпуклых множеств. Множество М в действительном В. п. наз. выпуклым множеством, если вместе с любыми двумя его точками х, у отрезок tx + (1 - t)y, t ∈ , также принадлежит М.

Большое место в теории В. п. занимает теория линейных функционалов на В. п. n связанная с этим теория двойственности. Пусть Е есть В. п. над полем K. Линейным функционалом на Е наз. аддитивное и однородное отображение f: Е → К:

f(x + y) = f(x) + f(y), f(λx) = λf(x).

Множество Е* всех линейных функционалов на Е образует В. п. над полем K относительно операций

(f 1 + f 2)(x) = f 1 (x) + f 2 (x), (λf)(x) = λf(x), х ∈ Е, Х ∈ К, f 1 , f 2 , f ∈ Е*.

Это В. п. наз. сопряженным (или двойственным) пространством (к Е). С понятием сопряженного пространства связан ряд геометрич. терминов. Пусть D ⊂ E (соответственно Г ⊂ Е*); аннулятором множества D, или ортогональным дополнением множества D (соответственно множества Г) наз. множество

D ⊥ = {f ∈ Е*: f(x) = 0 для всех х ∈ D}

(соответственно Г ⊥ = {х ∈ Е: f(x) = 0 для всех f ∈ Г}); здесь D ⊥ и Г ⊥ - подпространства соответственно пространств Е* и Е. Если f - ненулевой элемент из Е*, то {f} есть максимальное собственное линейное подпространство в Е, наз. иногда гиперподпространством; сдвиг такого подпространства наз. гиперплоскостьюв Е; всякая гиперплоскость имеет вид

{x: f(x) = λ), где f ≠ 0, f ∈ Е*, λ ∈ K.

Если F - подпространство В. п. Е, то существуют естественные изоморфизмы между F* и

E*/F ⊥ и между (E/F)* и F ⊥ .

Подмножество Г ⊂ E* наз. тотальным подмножеством над Е, если его аннулятор содержит лишь нулевой элемент: Г ⊥ = {0}.

Каждому линейно независимому множеству {х α } α∈A ⊂ E можно сопоставить сопряженное множество {f α } α∈A ⊂ E*, т.е. такое множество, что f α (x β) = δ αβ {Кронекера символ) для всех α, β ∈ A. Множество пap {х α , f α } наз. при этом биортогональной системой. Если множество {х α } есть базис в Е, то {f α } тотально над Е.

Значительное место в теории В. п. занимает теория линейных преобразований В. п. Пусть Е 1 , Е 2 - два В. п. над одним и тем же полем К. Линейным отображением, или линейным оператором, Т, отображающим В. п. Е 1 в В. п. Е 2 (или линейным оператором из Е 1 в Е 2), наз. аддитивное и однородное отображение пространства Е 1 в Е 2:

Т(х + у) = Тх + Ту; Т(λх) = λТ(х); х, у ∈ Е 1 .

Частным случаем этого понятия является линейный функционал, или линейный оператор из Е 1 в K. Линейным отображением является, напр., естественное отображение В. п. Е на факторпространство E/F, сопоставляющее каждому элементу х ∈ Е плоское множество F x ∈ E/F. Совокупность ℒ(Е 1 , Е 2) всех линейных операторов Т: Е 1 →Е 2 образует В. п. относительно операций

(Т 1 + Т 2)х = Т 1 х + Т 2 х; (λТ)х = λТх; х ∈ Е 1 ; λ ∈ K; T 1 , T 2 , Т ∈ ℒ(Е 1 , Е 2).

Два В. п. Е 1 и Е 2 наз. изоморфными В. п., если существует линейный оператор («изоморфизм»), осуществляющий взаимно однозначное соответствие между их элементами. Е 1 и Е 2 изоморфны тогда и только тогда, когда их базисы имеют одинаковую мощность.

Пусть Т - линейный оператор, отображающий Е 1 в Е 2 . Сопряженным линейным оператором, или двойственным линейным оператором, по отношению к Т, наз. линейный оператор Т* из E* 2 в Е* 1 , определенный равенством

(Т*φ)х = φ(Тх) для всех х ∈ Е 1 , φ ∈ Е* 2 .

Имеют место соотношения Т* -1 (0) = ⊥ , Т*(Е* 2) = [Т -1 (0)] ⊥ , откуда следует, что Т* является изоморфизмом тогда и только тогда, когда Т является изоморфизмом.

С теорией линейных отображений В. п. тесно связана теория билинейных отображений и полилинейных отображений В. п.

Важную группу задан теории В. п. образуют задачи продолжения линейных отображений. Пусть F - подпространство В. п. Е 1 , Е 2 - линейное пространство над тем же полем, что и Е 1 , и пусть Т 0 - линейное отображение F в Е 2 ; требуется найти продолжение Т отображения T 0 , определенное на всем Е 1 и являющееся линейным отображением Е 1 в Е 2 . Такое продолжение всегда существует, но дополнительные ограничения на функции (связанные с дополнительными структурами в В. п., напр., топологией или отношением порядка) могут сделать задачу неразрешимой. Примерами решения задачи продолжения являются Хана-Банаха теорема и теоремы о продолжении положительных функционалов в пространствах с конусом.

Важным разделом теории В. п. является теория операций над В. п., т. е. способов построения новых В. п. по известным. Примеры таких операций - известные операции взятия подпространства и образования факторпространства по подпространству. Другие важные операции - построение прямой суммы, прямого произведения и тензорного произведения В. п.

Пусть {Е α } α∈I - семейство В. п. над полем К. Множество Е - произведение множеств Е α - можно превратить в В. п. над полем К, введя операции

(x α) + (y α) = (x α + y α); λ(x α) = (λx α); λ ∈ K; x α , y α ∈ E α , α ∈ I;

полученное В. п. Е наз. прямым произведением В. п. Е α и обозначается П α∈I Е α . Подпространство В. п. Е, состоящее из всех тех наборов (х α), для каждого из к-рых множество {α: х α ≠ 0} конечно, наз. прямой суммой В. п. Е α и обозначается Σ α E α или Σ α + E α ; Для конечного числа слагаемых эти определения совпадают; в этом случае используются обозначения:

Пусть Е 1 , Е 2 - два В. п. над полем K; Е" 1 , Е" 2 -тотальные подпространства В. п. E* 1 , Е* 2 , и Е 1 □ Е 2 -В. п., имеющее своим базисом совокупность всех элементов пространства Е 1 × Е 2 . Каждому элементу x □ y ∈ E 1 □ E 2 сопоставляется билинейная функция b = Т(х, у) на Е" 1 × Е 2 по формуле b(f, g) = f(x)g(y), f ∈ E" 1 , g ∈ E" 2 . Это отображение базисных векторов x □ y ∈ E 1 □ E 2 можно продолжить до линейного отображения Т В. п. Е 1 □ Е 2 в В. п. всех билинейных функционалов на Е" 1 × Е" 2 . Пусть E 0 = T -1 (0). Тензорным произведением В. п. Е 1 и Е 2 наз. факторпространство Е 1 ○ Е 2 = (E 1 □ E 2)/E 0 ; образ элемента x □ y обозначается х ○ у. В. п. Е 1 ○ Е 2 изоморфно В. п. билинейных функционалов на Е 1 × Е 2 (см. Тензорное произведение векторных пространств).

Лит.: Бурбаки Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. с франц., М., 1962; Райков Д. А., Векторные пространства, М., 1962; Дэй М. М., Нормированные линейные пространства, пер. с англ., М., 1961; , Эдварде Р., Функциональный анализ, пер. с англ., М., 1969; Халмош П., Конечномерные векторные пространства, пер. с англ., М., 1963; Глазман И. М., Любич Ю. И., Конечномерный линейный анализ в задачах, М., 1969.

М. И. Кадец.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.

Пусть Р – поле. Элементы a, b, ... ÎР будем называть скалярами .

Определение 1. Класс V объектов (элементов) , , , ... произвольной природы называется векторным пространством над полем Р , а элементы класса V называются векторами , если V замкнуто относительно операции «+» и операции умножения на скаляры из Р (т.е. для любых , ÎV +ÎV ;"aÎ Р aÎV), и выполняются следующие условия:

А 1: алгебра - абелева группа;

А 2: для любых a, bÎР, для любого ÎV выполняется a(b)=(ab)- обобщенный ассоциативный закон;

А 3: для любых a, bÎР, для любого ÎV выполняется (a+b)= a+ b;

А 4: для любого a из Р, для любых , из V выполняется a(+)=a+a(обобщённые дистрибутивные законы);

А 5: для любого из V выполняется 1 = , где 1 – единица поля Р - свойство унитарности.

Элементы поля Р будем называть скалярами, а элементы множества V - векторами.

Замечание. Умножение вектора на скаляр не является бинарной операцией на множестве V, так как это отображение P´V®V.

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

Пример 1. Нулевое (нуль-мерное) векторное пространство - пространство V 0 ={} - состоящее из одного нуль-вектора.

И для любого aÎР a=. Проверим выполнимость аксиом векторного пространства.

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

Пример 2. Поле Р само является векторным пространством над полем Р. Пусть V=P. Проверим выполнимость аксиом векторного пространства. Так как Р - поле, то Р является аддитивной абелевой группой и А 1 выполняется. В силу выполнимости в Р ассоциативности умножения выполняется А 2 . Аксиомы А 3 и А 4 выполняются в силу выполнимости в Р дистрибутивности умножения относительно сложения. Так как в поле Р существует единичный элемент 1, то выполняется свойство унитарности А 5 . Таким образом, поле Р является векторным пространством над полем Р.

Пример 3. Арифметическое n-мерное векторное пространство.

Пусть Р - поле. Рассмотрим множество V= P n ={(a 1 , a 2 , … , a n) ½ a i Î P, i=1,…, n}. Введём на множестве V операции сложения векторов и умножения вектора на скаляр по следующим правилам:

"= (a 1 , a 2 , … , a n), = (b 1 , b 2 , … , b n) Î V, "aÎ P += (a 1 + b 1 , a 2 + b 2 , … , a n + b n) (1)

a=(aa 1 , aa 2 , … , aa n) (2)

Элементы множества V будем называть n-мерными векторами . Два n-мерных вектора называются равными, если их соответствующие компоненты (координаты) равны. Покажем, что V является векторным пространством над полем Р. Из определения операций сложения векторов и умножения вектора на скаляр следует, что V замкнуто относительно этих операций. Так как сложение элементов из V сводится к сложению элементов поля Р, а Р является аддитивной абелевой группой, то и V является аддитивной абелевой группой. Причём, = , где 0 - ноль поля Р, -= (-a 1 , -a 2 , … , -a n). Таким образом, А 1 выполняется. Так как умножение элемента из V на элемент из Р сводится к умножению элементов поля Р, то:

А 2 выполняется в силу ассоциативности умножения на Р;

А 3 и А 4 выполняются в силу дистрибутивности умножения относительно сложения на Р;

А 5 выполняется, так как 1 Î Р - нейтральный элемент относительно умножения на Р.

Определение 2. Множество V= P n с операциями, определёнными формулами (1) и (2) называется арифметическим n-мерным векторным пространством над полем Р.

Лекция 6. Векторное пространство.

Основные вопросы.

1. Векторное линейное пространство.

2. Базис и размерность пространства.

3. Ориентация пространства.

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

5. Координаты вектора.

1. Векторное линейное пространство.

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

Векторными пространствами являются, например , множество колли-неарных векторов, обозначаемое V 1 , множество компланарных векторов V 2 , множество векторов обычного (реального пространства) V 3 .

Для этого частного случая можно дать следующее определение век-торного пространства.

Определение 1. Множество векторов называется векторным прост-ранством , если линейная комбинация любых векто-ров множества также является вектором этого мно-жества. Сами векторы называются элементами век-торного пространства.

Более важным как в теоретическом, так и в прикладном отношении яв-ляется общее (абстрактное) понятие векторного пространства.

Определение 2. Множество R элементов , в котором для лю-бых двух элементов и определена сум-ма и для любого элемента https://pandia.ru/text/80/142/images/image006_75.gif" width="68" height="20"> называется векторным (или линейным) про-странством , а его элементы – векторами, если опера-ции сложения векторов и умножение вектора на число удовлетворяют следующим условиям (аксиомам ) :

1) сложение коммутативно, т. е..gif" width="184" height="25">;

3) существует такой элемент (нулевой вектор), что для любого https://pandia.ru/text/80/142/images/image003_99.gif" width="45" height="20">.gif" width="99" height="27">;

5) для любых векторов и и любого чис-ла λ имеет место равенство ;

6) для любых векторов и любых чисел λ и µ справедливо равенство https://pandia.ru/text/80/142/images/image003_99.gif" width="45 height=20" height="20"> и любых чисел λ и µ справедли-во ;

8) https://pandia.ru/text/80/142/images/image003_99.gif" width="45" height="20"> .

Из аксиом, определяющих векторное пространство, вытекают прос-тейшие следствия :

1. В векторном пространстве существует только один нуль – элемент – нулевой вектор.

2. В векторном пространстве каждый вектор имеет единственный проти-воположный вектор.

3. Для каждого элемента выполняется равенство .

4. Для любого действительного числа λ и нулевого вектора https://pandia.ru/text/80/142/images/image017_45.gif" width="68" height="25">.

5..gif" width="145" height="28">

6..gif" width="15" height="19 src=">.gif" width="71" height="24 src="> называется вектор , удовлетворяющий равенству https://pandia.ru/text/80/142/images/image026_26.gif" width="73" height="24">.

Итак, действительно, и множество всех геометрических векторов являет-ся линейным (векторным) пространством, так как для элементов этого мно-жества определены действия сложения и умножения на число, удовлетворя-ющие сформулированным аксиомам.

2. Базис и размерность пространства.

Существенными понятиями векторного пространства являются понятия базиса и размерность.

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

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

Базисом на плоскости назовем два неколлинеарных вектора на этой пло-скости, взятые в определенном порядке https://pandia.ru/text/80/142/images/image029_29.gif" width="61" height="24"> .

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

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

Итак, в соответствии с данными определениями:

1. Одномерным пространством V 1 является прямая линия, а базис состо-ит из одного коллинеарного вектора https://pandia.ru/text/80/142/images/image028_22.gif" width="39" height="23 src="> .

3. Обычное пространство является трехмерным пространством V 3 , базис которого состоит из трех некомпланарных векторов .

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

Определение. Векторное пространство R называется n – мерным, если в нем существует не более n линейно неза-висимых векторов и обозначается R n . Число n на-зывается размерностью пространства.

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

Замечание 1. В каждом пространстве можно указать сколько угодно базисов, но при этом все базисы данного пространства состоят из одного и того же числа векторов.

Замечание 2. В n – мерном векторном пространстве базисом назы-вают любую упорядоченную совокупность n линейно независимых векторов.

3. Ориентация пространства.

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

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

Можно показать, что множество всех базисов пространства распадается на два класса, т. е. на два непересекающихся подмножества.

а) все базисы, принадлежащие одному подмножеству (классу), имеют одинаковую ориентацию (одноименные базисы) ;

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

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

Часто при ориентации пространства одни базисы называют правыми , а другие – левыми .

https://pandia.ru/text/80/142/images/image029_29.gif" width="61" height="24 src="> называют правым , если при наблюдении с конца третьего вектора кратчайший поворот пер-вого вектора https://pandia.ru/text/80/142/images/image033_23.gif" width="16" height="23"> осуществляется против часовой стрелки (рис. 1.8, а).

https://pandia.ru/text/80/142/images/image036_22.gif" width="16" height="24">

https://pandia.ru/text/80/142/images/image037_23.gif" width="15" height="23">

https://pandia.ru/text/80/142/images/image039_23.gif" width="13" height="19">

https://pandia.ru/text/80/142/images/image033_23.gif" width="16" height="23">

Рис. 1.8. Правый базис (а) и левый базис (б)

Обычно положительным базисом объявляется правый базис пространства

Правый (левый) базис пространства может быть определен и с помощью правила «правого» («левого») винта или буравчика.

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

Таким образом, в общем случае две упорядоченные тройки некомпла-нарных векторов имеют одинаковую ориентацию (одноименны) в пространстве V 3 если они обе правые или обе левые, и – противоположную ориентацию (разноименны), если одна из них правая, а другая левая.

Аналогично поступают и в случае пространства V 2 (плоскости).

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

Этот вопрос для простоты рассуждений рассмотрим на примере трех-мерного векторного пространства R 3 .

Пусть https://pandia.ru/text/80/142/images/image021_36.gif" width="15" height="19"> - произвольный вектор этого пространства.

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

Введем некоторые определения.

Определение 1

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

Определение 2

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

Рассмотрим некое пространство n -векторов. Размерность его соответственно равна n . Возьмем систему из n -единичных векторов:

e (1) = (1 , 0 , . . . , 0) e (2) = (0 , 1 , . . . , 0) e (n) = (0 , 0 , . . . , 1)

Используем эти векторы в качестве составляющих матрицы A: она будет являться единичной с размерностью n на n . Ранг этой матрицы равен n . Следовательно, векторная система e (1) , e (2) , . . . , e (n) является линейно независимой. При этом к системе невозможно добавить ни одного вектора, не нарушив ее линейной независимости.

Так как число векторов в системе равно n , то размерность пространства n -мерных векторов равна n , а единичные векторы e (1) , e (2) , . . . , e (n) являются базисом указанного пространства.

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

Если мы поменяем местами первый и второй вектор, получим систему векторов e (2) , e (1) , . . . , e (n) . Она также будет являться базисом n -мерного векторного пространства. Составим матрицу, взяв за ее строки векторы полученной системы. Матрица может быть получена из единичной матрицы перестановкой местами первых двух строк, ранг ее будет равен n . Система e (2) , e (1) , . . . , e (n) линейно независима и является базисом n -мерного векторного пространства.

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

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

Определение 3

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

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

Рассмотрим применение данной теории на конкретных примерах.

Пример 1

Исходные данные: векторы

a = (3 , - 2 , 1) b = (2 , 1 , 2) c = (3 , - 1 , - 2)

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

Решение

Для решения поставленной задачи исследуем заданную систему векторов на линейную зависимость. Составим матрицу, где строки – координаты векторов. Определим ранг матрицы.

A = 3 2 3 - 2 1 - 1 1 2 - 2 A = 3 - 2 1 2 1 2 3 - 1 - 2 = 3 · 1 · (- 2) + (- 2) · 2 · 3 + 1 · 2 · (- 1) - 1 · 1 · 3 - (- 2) · 2 · (- 2) - 3 · 2 · (- 1) = = - 25 ≠ 0 ⇒ R a n k (A) = 3

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

Ответ: указанные векторы являются базисом векторного пространства.

Пример 2

Исходные данные: векторы

a = (3 , - 2 , 1) b = (2 , 1 , 2) c = (3 , - 1 , - 2) d = (0 , 1 , 2)

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

Решение

Указанная в условии задачи система векторов является линейно зависимой, т.к. максимальное число линейно независимых векторов равно 3. Таким образом, указанная система векторов не может служить базисом трехмерного векторного пространства. Но стоит отметить, что подсистема исходной системы a = (3 , - 2 , 1) , b = (2 , 1 , 2) , c = (3 , - 1 , - 2) является базисом.

Ответ: указанная система векторов не является базисом.

Пример 3

Исходные данные: векторы

a = (1 , 2 , 3 , 3) b = (2 , 5 , 6 , 8) c = (1 , 3 , 2 , 4) d = (2 , 5 , 4 , 7)

Могут ли они являться базисом четырехмерного пространства?

Решение

Cоставим матрицу, используя в качестве строк координаты заданных векторов

A = 1 2 3 3 2 5 6 8 1 3 2 4 2 5 4 7

По методу Гаусса определим ранг матрицы:

A = 1 2 3 3 2 5 6 8 1 3 2 4 2 5 4 7 ~ 1 2 3 3 0 1 0 2 0 1 - 1 1 0 1 - 2 1 ~ ~ 1 2 3 3 0 1 0 2 0 0 - 1 - 1 0 0 - 2 - 1 ~ 1 2 3 3 0 1 0 2 0 0 - 1 - 1 0 0 0 1 ⇒ ⇒ R a n k (A) = 4

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

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

Пример 4

Исходные данные: векторы

a (1) = (1 , 2 , - 1 , - 2) a (2) = (0 , 2 , 1 , - 3) a (3) = (1 , 0 , 0 , 5)

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

Решение

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

Ответ: нет, не составляют.

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

Примем, что произвольные векторы e (1) , e (2) , . . . , e (n) являются базисом векторного n-мерного пространства. Добавим к ним некий n -мерный вектор x → : полученная система векторов станет линейно зависимой. Свойства линейной зависимости гласят, что хотя бы один из векторов такой системы может линейно выражаться через остальные. Переформулируя это утверждение, можно говорить о том, что хотя бы один из векторов линейно зависимой системы может раскладываться по остальным векторам.

Таким образом, мы пришли к формулировке важнейшей теоремы:

Определение 4

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

Доказательство 1

Докажем эту теорему:

зададим базис n -мерного векторного пространства - e (1) , e (2) , . . . , e (n) . Сделаем систему линейно зависимой, добавив к ней n -мерный вектор x → . Этот вектор может быть линейно выражен через исходные векторы e:

x = x 1 · e (1) + x 2 · e (2) + . . . + x n · e (n) , где x 1 , x 2 , . . . , x n - некоторые числа.

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

x = x ~ 1 e (1) + x 2 ~ e (2) + . . . + x ~ n e (n) , где x ~ 1 , x ~ 2 , . . . , x ~ n - некие числа.

Отнимем от левой и правой частей этого равенства соответственно левую и правую части равенства x = x 1 · e (1) + x 2 · e (2) + . . . + x n · e (n) . Получим:

0 = (x ~ 1 - x 1) · e (1) + (x ~ 2 - x 2) · e (2) + . . . (x ~ n - x n) · e (2)

Система базисных векторов e (1) , e (2) , . . . , e (n) линейно независима; по определению линейной независимости системы векторов равенство выше возможно только тогда, когда все коэффициенты (x ~ 1 - x 1) , (x ~ 2 - x 2) , . . . , (x ~ n - x n) будут равны нулю. Из чего справедливым будет: x 1 = x ~ 1 , x 2 = x ~ 2 , . . . , x n = x ~ n . И это доказывает единственный вариант разложения вектора по базису.

При этом коэффициенты x 1 , x 2 , . . . , x n называются координатами вектора x → в базисе e (1) , e (2) , . . . , e (n) .

Доказанная теория делает понятным выражение «задан n -мерный вектор x = (x 1 , x 2 , . . . , x n) »: рассматривается вектор x → n -мерного векторного пространства, и его координаты заданы в некотором базисе. При этом также понятно, что этот же вектор в другом базисе n -мерного пространства будет иметь другие координаты.

Рассмотрим следующий пример: допустим, что в некотором базисе n -мерного векторного пространства задана система из n линейно независимых векторов

а также задан вектор x = (x 1 , x 2 , . . . , x n) .

Векторы e 1 (1) , e 2 (2) , . . . , e n (n) в этом случае также являются базисом этого векторного пространства.

Предположим, что необходимо определить координаты вектора x → в базисе e 1 (1) , e 2 (2) , . . . , e n (n) , обозначаемые как x ~ 1 , x ~ 2 , . . . , x ~ n .

Вектор x → будет представлен следующим образом:

x = x ~ 1 · e (1) + x ~ 2 · e (2) + . . . + x ~ n · e (n)

Запишем это выражение в координатной форме:

(x 1 , x 2 , . . . , x n) = x ~ 1 · (e (1) 1 , e (1) 2 , . . . , e (1) n) + x ~ 2 · (e (2) 1 , e (2) 2 , . . . , e (2) n) + . . . + + x ~ n · (e (n) 1 , e (n) 2 , . . . , e (n) n) = = (x ~ 1 e 1 (1) + x ~ 2 e 1 (2) + . . . + x ~ n e 1 (n) , x ~ 1 e 2 (1) + x ~ 2 e 2 (2) + + . . . + x ~ n e 2 (n) , . . . , x ~ 1 e n (1) + x ~ 2 e n (2) + . . . + x ~ n e n (n))

Полученное равенство равносильно системе из n линейных алгебраических выражений с n неизвестными линейными переменными x ~ 1 , x ~ 2 , . . . , x ~ n:

x 1 = x ~ 1 e 1 1 + x ~ 2 e 1 2 + . . . + x ~ n e 1 n x 2 = x ~ 1 e 2 1 + x ~ 2 e 2 2 + . . . + x ~ n e 2 n ⋮ x n = x ~ 1 e n 1 + x ~ 2 e n 2 + . . . + x ~ n e n n

Матрица этой системы будет иметь следующий вид:

e 1 (1) e 1 (2) ⋯ e 1 (n) e 2 (1) e 2 (2) ⋯ e 2 (n) ⋮ ⋮ ⋮ ⋮ e n (1) e n (2) ⋯ e n (n)

Пусть это будет матрица A , и ее столбцы – векторы линейно независимой системы векторов e 1 (1) , e 2 (2) , . . . , e n (n) . Ранг матрицы – n , и ее определитель отличен от нуля. Это свидетельствует о том, что система уравнений имеет единственное решение, определяемое любым удобным способом: к примеру, методом Крамера или матричным методом. Таким образом мы сможем определить координаты x ~ 1 , x ~ 2 , . . . , x ~ n вектора x → в базисе e 1 (1) , e 2 (2) , . . . , e n (n) .

Применим рассмотренную теорию на конкретном примере.

Пример 6

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

e (1) = (1 , - 1 , 1) e (2) = (3 , 2 , - 5) e (3) = (2 , 1 , - 3) x = (6 , 2 , - 7)

Необходимо подтвердить факт, что система векторов e (1) , e (2) , e (3) также служит базисом заданного пространства, а также определить координаты вектора х в заданном базисе.

Решение

Система векторов e (1) , e (2) , e (3) будет являться базисом трехмерного пространства, если она линейно независима. Выясним эту возможность, определив ранг матрицы A , строки которой – заданные векторы e (1) , e (2) , e (3) .

Используем метод Гаусса:

A = 1 - 1 1 3 2 - 5 2 1 - 3 ~ 1 - 1 1 0 5 - 8 0 3 - 5 ~ 1 - 1 1 0 5 - 8 0 0 - 1 5

R a n k (A) = 3 . Таким образом, система векторов e (1) , e (2) , e (3) линейно независима и является базисом.

Пусть в базисе вектор x → имеет координаты x ~ 1 , x ~ 2 , x ~ 3 . Связь этих координат определяется уравнением:

x 1 = x ~ 1 e 1 (1) + x ~ 2 e 1 (2) + x ~ 3 e 1 (3) x 2 = x ~ 1 e 2 (1) + x ~ 2 e 2 (2) + x ~ 3 e 2 (3) x 3 = x ~ 1 e 3 (1) + x ~ 2 e 3 (2) + x ~ 3 e 3 (3)

Применим значения согласно условиям задачи:

x ~ 1 + 3 x ~ 2 + 2 x ~ 3 = 6 - x ~ 1 + 2 x ~ 2 + x ~ 3 = 2 x ~ 1 - 5 x ~ 2 - 3 x 3 = - 7

Решим систему уравнений методом Крамера:

∆ = 1 3 2 - 1 2 1 1 - 5 - 3 = - 1 ∆ x ~ 1 = 6 3 2 2 2 1 - 7 - 5 - 3 = - 1 , x ~ 1 = ∆ x ~ 1 ∆ = - 1 - 1 = 1 ∆ x ~ 2 = 1 6 2 - 1 2 1 1 - 7 - 3 = - 1 , x ~ 2 = ∆ x ~ 2 ∆ = - 1 - 1 = 1 ∆ x ~ 3 = 1 3 6 - 1 2 2 1 - 5 - 7 = - 1 , x ~ 3 = ∆ x ~ 3 ∆ = - 1 - 1 = 1

Так, вектор x → в базисе e (1) , e (2) , e (3) имеет координаты x ~ 1 = 1 , x ~ 2 = 1 , x ~ 3 = 1 .

Ответ: x = (1 , 1 , 1)

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

Предположим, что в некотором базисе n-мерного векторного пространства даны две линейно независимые системы векторов:

c (1) = (c 1 (1) , c 2 (1) , . . . , c n (1)) c (2) = (c 1 (2) , c 2 (2) , . . . , c n (2)) ⋮ c (n) = (c 1 (n) , e 2 (n) , . . . , c n (n))

e (1) = (e 1 (1) , e 2 (1) , . . . , e n (1)) e (2) = (e 1 (2) , e 2 (2) , . . . , e n (2)) ⋮ e (n) = (e 1 (n) , e 2 (n) , . . . , e n (n))

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

Пусть c ~ 1 (1) , c ~ 2 (1) , . . . , c ~ n (1) - координаты вектора c (1) в базисе e (1) , e (2) , . . . , e (3) , тогда связь координат будет задаваться системой линейных уравнений:

с 1 (1) = c ~ 1 (1) e 1 (1) + c ~ 2 (1) e 1 (2) + . . . + c ~ n (1) e 1 (n) с 2 (1) = c ~ 1 (1) e 2 (1) + c ~ 2 (1) e 2 (2) + . . . + c ~ n (1) e 2 (n) ⋮ с n (1) = c ~ 1 (1) e n (1) + c ~ 2 (1) e n (2) + . . . + c ~ n (1) e n (n)

В виде матрицы систему можно отобразить так:

(c 1 (1) , c 2 (1) , . . . , c n (1)) = (c ~ 1 (1) , c ~ 2 (1) , . . . , c ~ n (1)) · e 1 (1) e 2 (1) … e n (1) e 1 (2) e 2 (2) … e n (2) ⋮ ⋮ ⋮ ⋮ e 1 (n) e 2 (n) … e n (n)

Сделаем по аналогии такую же запись для вектора c (2) :

(c 1 (2) , c 2 (2) , . . . , c n (2)) = (c ~ 1 (2) , c ~ 2 (2) , . . . , c ~ n (2)) · e 1 (1) e 2 (1) … e n (1) e 1 (2) e 2 (2) … e n (2) ⋮ ⋮ ⋮ ⋮ e 1 (n) e 2 (n) … e n (n)

(c 1 (n) , c 2 (n) , . . . , c n (n)) = (c ~ 1 (n) , c ~ 2 (n) , . . . , c ~ n (n)) · e 1 (1) e 2 (1) … e n (1) e 1 (2) e 2 (2) … e n (2) ⋮ ⋮ ⋮ ⋮ e 1 (n) e 2 (n) … e n (n)

Матричные равенства объединим в одно выражение:

c 1 (1) c 2 (1) ⋯ c n (1) c 1 (2) c 2 (2) ⋯ c n (2) ⋮ ⋮ ⋮ ⋮ c 1 (n) c 2 (n) ⋯ c n (n) = c ~ 1 (1) c ~ 2 (1) ⋯ c ~ n (1) c ~ 1 (2) c ~ 2 (2) ⋯ c ~ n (2) ⋮ ⋮ ⋮ ⋮ c ~ 1 (n) c ~ 2 (n) ⋯ c ~ n (n) · e 1 (1) e 2 (1) ⋯ e n (1) e 1 (2) e 2 (2) ⋯ e n (2) ⋮ ⋮ ⋮ ⋮ e 1 (n) e 2 (n) ⋯ e n (n)

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

Используя тот же принцип, возможно выразить все векторы базиса e (1) , e (2) , . . . , e (3) через базис c (1) , c (2) , . . . , c (n) :

e 1 (1) e 2 (1) ⋯ e n (1) e 1 (2) e 2 (2) ⋯ e n (2) ⋮ ⋮ ⋮ ⋮ e 1 (n) e 2 (n) ⋯ e n (n) = e ~ 1 (1) e ~ 2 (1) ⋯ e ~ n (1) e ~ 1 (2) e ~ 2 (2) ⋯ e ~ n (2) ⋮ ⋮ ⋮ ⋮ e ~ 1 (n) e ~ 2 (n) ⋯ e ~ n (n) · c 1 (1) c 2 (1) ⋯ c n (1) c 1 (2) c 2 (2) ⋯ c n (2) ⋮ ⋮ ⋮ ⋮ c 1 (n) c 2 (n) ⋯ c n (n)

Дадим следующие определения:

Определение 5

Матрица c ~ 1 (1) c ~ 2 (1) ⋯ c ~ n (1) c ~ 1 (2) c ~ 2 (2) ⋯ c ~ n (2) ⋮ ⋮ ⋮ ⋮ c ~ 1 (n) c ~ 2 (n) ⋯ c ~ n (n) является матрицей перехода от базиса e (1) , e (2) , . . . , e (3)

к базису c (1) , c (2) , . . . , c (n) .

Определение 6

Матрица e ~ 1 (1) e ~ 2 (1) ⋯ e ~ n (1) e ~ 1 (2) e ~ 2 (2) ⋯ e ~ n (2) ⋮ ⋮ ⋮ ⋮ e ~ 1 (n) e ~ 2 (n) ⋯ e ~ n (n) является матрицей перехода от базиса c (1) , c (2) , . . . , c (n)

к базису e (1) , e (2) , . . . , e (3) .

Из этих равенств очевидно, что

c ~ 1 (1) c ~ 2 (1) ⋯ c ~ n (1) c ~ 1 (2) c ~ 2 (2) ⋯ c ~ n (2) ⋮ ⋮ ⋮ ⋮ c ~ 1 (n) c ~ 2 (n) ⋯ c ~ n (n) · e ~ 1 (1) e ~ 2 (1) ⋯ e ~ n (1) e ~ 1 (2) e ~ 2 (2) ⋯ e ~ n (2) ⋮ ⋮ ⋮ ⋮ e ~ 1 (n) e ~ 2 (n) ⋯ e ~ n (n) = 1 0 ⋯ 0 0 1 ⋯ 0 ⋮ ⋮ ⋮ ⋮ 0 0 ⋯ 1 e ~ 1 (1) e ~ 2 (1) ⋯ e ~ n (1) e ~ 1 (2) e ~ 2 (2) ⋯ e ~ n (2) ⋮ ⋮ ⋮ ⋮ e ~ 1 (n) e ~ 2 (n) ⋯ e ~ n (n) · c ~ 1 (1) c ~ 2 (1) ⋯ c ~ n (1) c ~ 1 (2) c ~ 2 (2) ⋯ c ~ n (2) ⋮ ⋮ ⋮ ⋮ c ~ 1 (n) c ~ 2 (n) ⋯ c ~ n (n) = 1 0 ⋯ 0 0 1 ⋯ 0 ⋮ ⋮ ⋮ ⋮ 0 0 ⋯ 1

т.е. матрицы перехода взаимообратны.

Рассмотрим теорию на конкретном примере.

Пример 7

Исходные данные: необходимо найти матрицу перехода от базиса

c (1) = (1 , 2 , 1) c (2) = (2 , 3 , 3) c (3) = (3 , 7 , 1)

e (1) = (3 , 1 , 4) e (2) = (5 , 2 , 1) e (3) = (1 , 1 , - 6)

Также нужно указать связь координат произвольного вектора x → в заданных базисах.

Решение

1. Пусть T – матрица перехода, тогда верным будет равенство:

3 1 4 5 2 1 1 1 1 = T · 1 2 1 2 3 3 3 7 1

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

1 2 1 2 3 3 3 7 1 - 1

и получим:

T = 3 1 4 5 2 1 1 1 - 6 · 1 2 1 2 3 3 3 7 1 - 1

2. Определим матрицу перехода:

T = 3 1 4 5 2 1 1 1 - 6 · 1 2 1 2 3 3 3 7 1 - 1 = = 3 1 4 5 2 1 1 1 - 6 · - 18 5 3 7 - 2 - 1 5 - 1 - 1 = - 27 9 4 - 71 20 12 - 41 9 8

3. Определим связь координат вектора x → :

допустим, что в базисе c (1) , c (2) , . . . , c (n) вектор x → имеет координаты x 1 , x 2 , x 3 , тогда:

x = (x 1 , x 2 , x 3) · 1 2 1 2 3 3 3 7 1 ,

а в базисе e (1) , e (2) , . . . , e (3) имеет координаты x ~ 1 , x ~ 2 , x ~ 3 , тогда:

x = (x ~ 1 , x ~ 2 , x ~ 3) · 3 1 4 5 2 1 1 1 - 6

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

(x 1 , x 2 , x 3) · 1 2 1 2 3 3 3 7 1 = (x ~ 1 , x ~ 2 , x ~ 3) · 3 1 4 5 2 1 1 1 - 6

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

1 2 1 2 3 3 3 7 1 - 1

и получим:

(x 1 , x 2 , x 3) = (x ~ 1 , x ~ 2 , x ~ 3) · 3 1 4 5 2 1 1 1 - 6 · 1 2 1 2 3 3 3 7 1 - 1 ⇔ ⇔ (x 1 , x 2 , x 3) = (x ~ 1 , x ~ 2 , x ~ 3) · T ⇔ ⇔ (x 1 , x 2 , x 3) = (x ~ 1 , x ~ 2 , x ~ 3) · - 27 9 4 - 71 20 12 - 41 9 8

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

(x ~ 1 , x ~ 2 , x ~ 3) = (x 1 , x 2 , x 3) · - 27 9 4 - 71 20 12 - 41 9 8

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

Ответ: матрица перехода

27 9 4 - 71 20 12 - 41 9 8

Координаты вектора x → в заданных базисах связаны соотношением:

(x 1 , x 2 , x 3) = (x ~ 1 , x ~ 2 , x ~ 3) · - 27 9 4 - 71 20 12 - 41 9 8

(x ~ 1 , x ~ 2 , x ~ 3) = (x 1 , x 2 , x 3) · - 27 9 4 - 71 20 12 - 41 9 8 - 1

Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter