Ильин, Позняк - Линейная алгебра (947283), страница 12
Текст из файла (страница 12)
В силу равноправности пространств Р и Р' каждому элементу х' пространства Р в свою очередь соответствует единственный элемент х пространства Р. «) Нэппмипм, что соотвстстпие макду элсмсптэмв двух множеств й и й' иазмвэстси и э и и м п о о д и и и и э ч и ы м, сслк при этом соответствии кписдому элементу й отвечает одни и только один элемент й', причем каждый элемент Р' отличает одпому и только пдиому эльм«игу Я, $91 ПОДПРОСТРАНСТВА ЛИНЕЙНЫХ ПРОСТРАНСТВ 53 Остается заметить, что если элементам х и у пространства Р отвечают соответственно элементы х' и у' пространства Р', то в силу теоремы 2.4 элементу х+ у отвечает элемент х' + у', а элементу Хх отвечает элемент Хх'. Теорема доказзна. Из приведенного нами рассмотрения следует, что единственной существенной характеристикой конечномерного линейного пространства является его размерность.
ф 3. Подпространства линейных пространств 1. Понятие подпространства и линейной оболочки. Предположим, что некоторое подмножество Е линейного пространства Р удовлетворяет следующим д в у м т р е бо в а н и я и: 1'. Если элементы х и у принадлежат подмножеству 1., то и сумма х + у принадлежит этому подмножеству. 2'. Если элемент х принадлежит подмножеству Е, а й— любое вещественное число, то и элемент Хх принадлежит подмножеству Е.
Убедимся в том, что подмножество ~, удовлетворяющее требованиям 1' и 2', само является линейным пространством. Достаточно убедиться в справедливости для элементов подмножества Е аксиом 1' — 8' из определения линейного пространства, Все указанные аксиомы, кроме аксиом 3' и 4', заведомо справедливы для элементов подмножества Ь, поскольку они справедливы для в с е х элементов пространства Р. Остается проверить выполнение аксиом 3' и 4. Пусть х — любой элемент подмножества Е, а А, — любое вещественное число. Тогда в силу требования 2' элемент ьх также принадлежит Е.
Остается заметить, что (в силу теоремы 2.2) этот элемент Хх при А 0 превращается в нулевой элемент пространства Р, а при Х = — 1 превращается в противоположный для х элемент. Таким образом, подмножеству Е принадлежит нулевой элемент и противоположный (для каждого элемента х) элемент, а это н означает, что для элементов подмножества Е справедливы аксиомы 3' и 4'. Тем самым полностью доказано, что подмножество Е само является линейным пространством.
Определение. Подмножество Е линейного пространства Р, удовлетворяющее требованиям 1' и 2', называется л и н е й и ы м подпространством (или просто подпространс т в о м) пространства Р, Простейшими примерами подпространств могут служить: 1) так называемое нулевое подпростраиство, т.е. подмножество линейного пространства Р, состоящее из одного нулевого элемента; 2) все пространство Р (которое, конечно, можно рассматривать как подпространство).
Оба эти подпространства принято называть н е с о б с т в е ни ы и и. ЛИНЕЙНЫЕ ПРОСТРАНСТВА 1гл. 2 Укажем примеры подпространств более содержательного вида. П р и м е р 1. Подмножество (Р„(1)) всех алгебраических многочлеиов степени, не превышающей натурального числа и '), в линейном пространстве С [а, Ь) всех функций х = х (1), определенных н непрерывных иа сегменте а ~ 1 к Ь «') (справедливость для элементов подмножества !Р„(1)) требований 1' и 2 ие вызывает сомнений).
П р и м е р 2. Подмножество В, всех свободных векторов, параллельных некоторой плоскости, в линейном пространстве В, всех свободных векторов *") (справедливость для элементов В, требований 1' и 2' очевидна). П р и и е р 3. Пусть х, у, ..., « — совокупность элементов некоторого линейного пространствами. Л и н е й н о й обо л о чк о й элементов», у, ..., «будем называть совокупность всех линейных комбинаций этих элементов, т.
е. множество элементов вида а«+Ь+" +т«. где а, р, ..., т — какие угодно вещественные числа. Договоримся обозначать линейную оболочку элементов х, у, ..., «символом В (», у, ..., «). Для линейной оболочки произвольных элементов х, у, ..., « линейного пространства Я, очевидно, выполняются требования 1' и 2'„сформулированные в начале настоящего пункта. Поэтому всякая линейная оболочка является подпространством основного линейного пространства )т'. Это подпространство, очевидно, содержит элементы х, у, ...,«, на которых построена линейная оболочка [.
(х, у, ...„«). С другой стороны, всякое подпространство, содержащее элементы х, у, ..., «, обязано содержать и все линейные комбинации этих элементов. Поэтому линейная оболочка элементов х,у, ..., «является на и м е н ь ш и м подпространством, содержащим элементы .ч, у, ..., «. Конкретным примером линейной оболочки может служить линейная оболочка элементов 1, 1, 12, ..., !" линейного пространства С [а, Ь) всех функций х = х (1), определенных и непрерывных на сегменте а к ! ~ Ь. Эта линейная оболочка, очевидно, представляет собой множество !Р„(1)) всех алгебраических много- членов степени, не превышающей и. Другие примеры подпространств будут рассмотрены в и. 3 настоящего параграфа.
') Это понннонссстно ннэдсно н прпнере 5 и. 1 $1 нэстонщсй главы. ««) пространство с [а, ь) введено н примере Ф и. ! й ! этой главы. «««) Мномсстна Вэ н В, Еылн ннсдспы н прннерс 1 и. 1 й ! этой главы. Э э1 подпэостэлнствл линвпных пэостэлнств 55 Рассмотрим вопрос о размерности подпространства (и, в часг ности, линейной оболочки). Можно утверждать, что размерность любого надпространства и-мерного линейного пространства Й не превосходит размерности и пространства й (ибо всякая линейно независимая система элементов подпространства является одновременно линейно независимой системой элементов всего пространства Я).
Более точно можно утверждать, что если надпространство 1. не совпадает со всем и-мерным линейным пространством Я, то размерность Ь строго меньше и. Зто вытекает из того, что если размерности Е, и Й обе равны и, то всякий базис подпространства Ь, поскольку он состоит из и элементов, является (в силу теоремы 2.5) базисом и всего пространства )г. Заметим, что если во всем пространстве Й выбран базис е„, и„..., е„, то базисные элементы подпространства 1., вообще говоря, нельзя выбирать из числа элементов в„в„..., в„(ибо в общем случае ни один из элементов в„е„..., в„может не принадлежать Е). Однако справедливо обратное утне р жде ни е: если элементы е,, е„..„вь составляют базис к-мерного подпространства и-мерного линейного пространства Й, то этот базис можно дополнить элементами еь,п ..., е„пространства к' так, что совокупность элементов в„...
ею вь,п ... ° е„будет составлять базис всего пространства Й. Докажем это утверждение. Если й < и, то найдется элемент и„„ пространства И такой, что элементы ем е,., вь, вл„линейно независимы (в противном случае пространство Й оказалось бы й-мериым). Далее, если к+ 1 (и, то найдется элемент вь„ пространства Й такой, что элементы еы вм ..., ею еь„, ел„ линейно независимы (в противном случае пространство Й оказалось бы (й + 1)-мерным).
Продолжая аналогичные рассуждения, мы докажем сформулированное утверждение. В заключение докажем важную теорему о размерности линейной оболочки. Теорема 2.8. Размерность линейной оболочки 1. (х, у, ..., в) элементов х, у, ..., л равна максилилльному числу линейно независимых элементов в системе элементов х, у, ..., л.
В частности, если элементы х, у, ..., л линейно независимы, то размерность линейной оболочки !. (х, у, ..., з) равна числу элементов х, у, ..., л (а сами эти элементы образуют базис линейной оболочки !, (х, у, ", и)). Д о к а з а т е л ь с т в о. Допустим, что среди элементов х, у, ..., л имеется г линейно независимых элементов (обозначим их через х„х„..., х,), а любые (г + !) из элементов х, у, ..., л линейно зависимы. Тогда каждый яз элементов х, у, ..., л представляет собой некоторую линейную комбинацию элементов линеяныв простркнствд 1гл. 2 х„х„..., х,'), и поскольку по определению каждый элемент линейной оболочки Ь (х, у...,„в) представляет собой некоторую линейную комбинацию элементов х, у, ..., м, то каждый элемент укаэанной линейной оболочки представляет собой некоторую линейную комбинацию одних только элементов х„х„..., х,.
Но это и означает, что система линейно независимых элементов х„х„..., х, образует базис линейной оболочки Ь (х, у, ..., в) и что размерность л.(х, у, ..., я) равна г. Теорема доказана. 2. Новое определение ранга матрицы. В $3 главы 1 мы определили ранг произвольной матрицы А как п о р я д о к е е б аз и с н о г о м н н о р а, т. е.
как число г, удовлетворяющее требованию существования у матрицы А отличного от нуля минора порядка г и отсутствия у этой матрицы отличных от нуля миноров порядка, ббльшего г. В этом пункте мы убедимся, что ранг произвольной матрицы А равен максимальному числу линейно независимых строк (или столбцов) этой матрицы. Отсюда будет следовать новое определение ранга матрицы как максимального числа линейно независимых строк (илн столбцов) этой матрицы "). Проведем все рассуждения для строк (для столбцов они аналогичны).
Рассмотрим в линейном пространстве А" (введенном в примере 3 п. 1 $ 1) линейную оболочку базисных строк произвольной содержащей т строк и н столбцов матрицы А и пред. положим, что число базисных строк равно г. Из теоремы 1.6 о базисном миноре вытекает, что любая строка матрицы А является элементом указанной линейной оболочки, а из линейной независимости г базисных строк и из теоремы 2.8 вытекает, что размерность указанной линейной оболочки равна г.