Теорема 18.1 В линейном пространстве любые два базиса содержат одинаковое число векторов.Доказательство теоремы мы приводить не будем. Желающие могут найти его в любом учебнике по линейной алгебре, например в [1].
Определение 18.3 Линейное пространство, в котором существует базис, состоящий из
векторов, называется
-мерным линейным или векторным пространством. Число
называется размерностью пространства и обозначается
. Линейное пространство, в котором не существует базис, называется бесконечномерным.
Примером бесконечномерного пространства является пространство всех многочленов с вещественными коэффициентами. Как показано в примере 18.2 в этом пространстве базис отсутствует.
Предложение 18.1 Пространство столбцов изэлементов, являющихся вещественными числами, имеет рамерность
.
Доказательство. Возьмем систему векторов Задача. В вычислительный центр коллективного пользования с тремя компьютерами поступают заказы от предприятий на вычислительные работы. Если заняты все три компьютера, то вновь поступающий заказ не принимается и предприятие вынуждено обратиться в другой вычислительный центр. Среднее время работы с одним заказом составляет 3 часа. Интенсивность потока заявок 0.25 (з/час). Найти предельные вероятности состояний и показатели эффективности работы вычислительного центра.
![]()
Покажем, что эта система линейно независима. Составим линейную комбинацию и приравняем ее к нулю:
![]()
Преобразуем левую часть:
![]()
Следовательно,
![]()
откуда
,
,
. Итак, система векторов
-- линейно независима.
Пусть
-- произвольный вектор пространства,
Очевидно, что
![]()
Следовательно, вектор
является линейной комбинацией векторов
. Тем самым доказано, что векторы
образуют базис в пространстве столбцов из
элементов. Размерность пространства равна числу векторов в базисе. Следовательно, пространство --
-мерное.
Пространство столбцов из
элементов, являющихся вещественными числами, обозначается
.
Предложение 18.2 Пространство столбцов изэлементов, являющихся комплексными числами, имеет размерность
.
Доказательство такое же, как и в предыдущем предложении. Это пространство обозначается
.
Пример 18.3 Пространство решений однородной системы линейных уравненийимеет базис из
решений, где
-- число неизвестных, а
-- ранг матрицы
. Этим базисом служит фундаментальная система решений (см. определение 15.5 и теорему 15.3).
Проекции вектора Векторная алгебра
Предложение 10.14 Проекция на ось суммы векторов равна сумме их проекций. ТЕсли проекции слагаемых одного знака, то доказательство очевидно из рис. 10.21.
Рис.10.21.Проекция суммы
Случай проекций разных знаков читатель может проанализировать самостоятельно или прочесть в одном из учебников из списка литературы.
Классификация операционных систем Виртуальная память Реализация многозадачности
Системы безопасности Операционная система Linux Введение в компьютерные сети Принципы построения вычислительных систем Базовые технологии локальной сетиСредства анализа Процедуры и функции Pascal Язык запросов SQL Программирование на СИ Брандмауэры Протоколы TCP/IP Файловые системы Драйверы устройств