Базис и размерность пространства
Теорема 18.1 В линейном пространстве любые два базиса содержат одинаковое число векторов.Доказательство теоремы мы приводить не будем. Желающие могут найти его в любом учебнике по линейной алгебре, например в [1].
Определение 18.3 Линейное пространство, в котором существует базис, состоящий из
векторов, называется
-мерным линейным или векторным пространством. Число
называется размерностью пространства и обозначается
. Линейное пространство, в котором не существует базис, называется бесконечномерным.
Примером бесконечномерного пространства является пространство всех многочленов с вещественными коэффициентами. Как показано в примере 18.2 в этом пространстве базис отсутствует.
Предложение 18.1 Пространство столбцов изэлементов, являющихся вещественными числами, имеет рамерность
.
Доказательство. Возьмем систему векторов
![]()
Покажем, что эта система линейно независима. Составим линейную комбинацию и приравняем ее к нулю:
![]()
Преобразуем левую часть:
![]()
Следовательно,
![]()
откуда
,
,
. Итак, система векторов
-- линейно независима.
Пусть
-- произвольный вектор пространства,
Очевидно, что
![]()
Следовательно, вектор
является линейной комбинацией векторов
. Тем самым доказано, что векторы
образуют базис в пространстве столбцов из
элементов. Размерность пространства равна числу векторов в базисе. Следовательно, пространство --
-мерное.
Пространство столбцов из
элементов, являющихся вещественными числами, обозначается
.
Предложение 18.2 Пространство столбцов изэлементов, являющихся комплексными числами, имеет размерность
.
Доказательство такое же, как и в предыдущем предложении. Это пространство обозначается
.
Пример 18.3 Пространство решений однородной системы линейных уравненийимеет базис из
решений, где
-- число неизвестных, а
-- ранг матрицы
. Этим базисом служит фундаментальная система решений (см. определение 15.5 и теорему 15.3).
Главы учебника "Курс лекций высшей математики"
Лекции первого семестра первого курса Линейная алгебра. Элементы векторной алгебры Аналитическая геометрия Введение в математический анализ Дискретная математика Системы координат Элементы высшей алгебры Вычислить значение функции Лекции второго семестра первого курса Дифференциальное исчисление функции одной переменной Теоремы о среднем Раскрытие неопределенностей Производные и дифференциалы высших порядков Интегральное исчисление Методы интегрирования Интегрирование по частям
Лекции второго курса, третий семестр Дифференциальные уравнения первого порядка Уравнения Лагранжа и Клеро Решение задачи Коши методом разделения переменных Ряды Критерий Коши Ряды Фурье Ряды Тейлора и Лорана Ряды и интеграл Фурье Теория вероятностей. Основные понятия Формула Бейеса. Формула Бернулли Распределение Пуассона Теория массового обслуживания Случайные процессы Примеры решения задач Цепи Маркова. изменить порядок интегрирования Математика Примеры решения задач Математический анализ Двойной интеграл Двойной интеграл в полярных координатах Тройной интеграл Формула Остроградского Формула Стокса Скалярное и векторное поле Функции Гиперболические функции Геометрический смысл производной Логарифмическое дифференцирование Теорема Тейлора Разложение по формуле Маклорена
Числовые ряды Степенные ряды Интегральный признак сходимости. Сходимость ряда Теорема Лейбница Радиус сходимости. Непрерывность суммы. Почленное интегрирование и дифференцирование Теория функций комплексногопеременного - ТФКП Пространственная комплексная система чисел Функции пространственного комплексного переменного Интегральные теоремы Коши в комплексном пространстве
Аналитическая геометрия плоскости и поверхности Курс лекций Векторная алгебра. Электронные учебники - MATLAB Компьютерная математика Maple Лекции первого семестра первого курса Дифференциальное исчисление функции Дифференциальные уравнения первого порядка Теория вероятностей. Основные понятия Математический анализ Двойной интеграл Геометрический смысл производной Числовые ряды Степенные ряды Аналитическая геометрия Функции графики задачи Курс лекций Примеры задачи Интегрирование и дифференцирование матрицы ;