Векторы : Чулан (М)
Сообщения без ответов | Активные темы | Избранное
Правила форума
В этом разделе нельзя создавать новые темы.
Мироника |
| ||
16/02/07 |
| ||
| |||
Brukvalub |
| |||
01/03/06 |
| |||
| ||||
|
| ||
16/02/07 |
| ||
| |||
Brukvalub |
| |||
01/03/06 |
| |||
| ||||
Мироника |
| ||
16/02/07 |
| ||
| |||
Показать сообщения за: Все сообщения1 день7 дней2 недели1 месяц3 месяца6 месяцев1 год Поле сортировки АвторВремя размещенияЗаголовокпо возрастаниюпо убыванию |
Страница 1 из 1 | [ Сообщений: 5 ] |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |
Найти: |
Набор линейно независимых векторов dim(V) является базисом
Зависимости:
- Основа векторного пространства
- Увеличение линейно независимого набора
- Линейно независимое множество не больше размаха
Пусть $B$ — конечный базис векторного пространства $V$. Пусть $S$ — множество линейно независимых векторов из $V$.
Если $|S| = |B|$, то $S$ — базис в $V$.
Доказательство
Предположим, что $S$ не охватывает $V$. Следовательно, существует вектор $w$, который не может быть представлен в виде линейной комбинации векторов из $S$. Следовательно, $S \cup \{w\}$ линейно независима.
Так как $S \cup \{w\}$ линейно независима и $B$ порождает $V$, $|S \чашка \{ш\}| \le |B| \Стрелка вправо |B| + 1 \le |B| \стрелка вправо\bot$. Следовательно, $S \cup \{w\}$ покрывает $V$, что делает его базисом.
Зависимость для:
- Указание многогранника
- Симметрический оператор на V имеет базис ортонормированных собственных векторов
- Сохранение базиса заменой вектора
Информация:
- Глубина: 6
- Количество транзитивных зависимостей: 38
Переходные зависимости:
- /линейная-алгебра/векторные-пространства/условие-для-подпространства
- /линейная-алгебра/матрицы/гаусс-джордан-алго
- /множества-и-отношения/эквивалентность-отношение
- Группа
- Звенеть
- Полиномиальный
- Интегральный домен
- Сравнение коэффициентов многочлена с непересекающимися переменными
- Поле
- Векторное пространство
- Линейная независимость
- Охватывать
- Увеличение линейно независимого набора
- полукольцо
- Матрица
- Укладка
- Система линейных уравнений
- Произведение сложенных матриц
- Умножение матриц ассоциативно
- Уменьшенная форма эшелона строк (RREF)
- Матрицы над полем образуют векторное пространство
- Пространство строки
- Элементарная операция строки
- Каждая элементарная операция строки имеет уникальную обратную
- Эквивалентность строк матриц
- Матрицы, эквивалентные строкам, имеют одинаковое пространство строк.
- RREF уникален
- Единичная матрица
- Обратная матрица
- Инверсия продукта
- Элементарная операция со строками — предварительное умножение матриц.
- Матрица эквивалентности строк
- Уравнения с матрицами, эквивалентными строкам, имеют один и тот же набор решений.
- Основа векторного пространства
- Линейно независимое множество не больше размаха
- Однородные линейные уравнения с большим количеством переменных, чем уравнения
- Ранг однородной системы линейных уравнений
- Ранг матрицы
Стандартная основа
Марко Табога, доктор философии
Стандартная основа самая простая
основа пространства г. все
-размерный
векторы. Он состоит из
вектора, одна запись которых равна
а остальные
записи, равные
.
Содержание
Определение
Proof that the standard basis is a basis
Standard basis and identity matrix
Equivalent basis
Solved exercises
Exercise 1
Definition
В дальнейшем мы имеем дело с пространством всех -размерный векторов, которые мы обозначаем через . Мы не указываем, являются ли векторы векторами-строками или векторами-столбцами, или являются ли их записи действительными или комплексными числами.
Определение
Позволять
быть пространством всех
-размерный
векторы. Обозначим через
вектор, чей
-й
запись равна
и чьи оставшиеся
записи равны
. Тогда набор из
векторсис
называется стандартным основанием
.
Стандартный базис также часто называют каноническим или естественным базисом.
Пример Позволять быть пространством всех векторы. Тогда стандартный базис состоит из трех векторы
Доказательство того, что стандартный базис является базисом
Мы определили стандартный базис, но не доказали, что он действительно является основа.
Предложение Стандарт базис основа пространства из всех -размерный векторы.
Доказательство
Помните, что основа
представляет собой набор линейно
независимые векторы
.
Возьмем любой вектор
.
Его нельзя записать в виде линейной комбинации других векторов
поскольку
-й
запись всех остальных векторов
,
в то время как
-й
запись
является
. Поскольку ни один вектор
можно записать в виде линейной комбинации остальных, то они линейно
независимый. Возьмем любой вектор
и обозначим его записи через
.
Затем
можно написать
как
является линейной комбинацией канонического базиса (см. следующий пример).
Таким образом, мы доказали, что канонический базис представляет собой множество линейно независимых
векторы, охватывающие
.
Следовательно, каноническая основа действительно является основой для
.
Пример
Позволять
быть пространством всех
векторы. Тогда стандартный базис
образуется двумя
векторыОчевидно,
нет скаляра
такой, что
или так
два вектора не кратны друг другу, т.
линейно независимы. Теперь возьмем любой вектор
:
куда
и
два скаляра.
Затем в
Другими словами, любой вектор
можно записать в виде линейной комбинации
и
.
Стандартная основа и идентификационная матрица
Существует простая связь между стандартными базисами и единичными матрицами.
Предложение Позволять быть личность матрица:обозначить от его ряды и по его столбцы. Затем ряды являются векторы стандартного базиса пространства всех векторы и столбцы являются векторы стандартного базиса пространства всех векторы.
Предложение не нуждается в доказательстве, поскольку оно самоочевидно.
Пример Позволять быть личность матрица Тогда, которая стандартный базис пространства векторы.
Эквивалентная основа
Какие основания эквивалентны стандартному основанию, в
ощущение, что они охватывают одно и то же пространство
(из всех
-размерный
векторов), который натянут на стандартный базис? Следующее предложение отвечает
этот вопрос.
Предложение Любой набор линейно независимых векторов является базисом пространства из всех -размерный векторы.
Доказательство
Обозначим множество
линейно независимые векторы
Предполагать
что все векторы
стандартного базиса можно представить в виде линейных комбинаций
:куда
— (скалярные) коэффициенты комбинации. Мы собираемся назвать это
предположение А1. Если выполнено A1, то любой вектор
наличие записей
можно написать
как в
Другими словами, любой вектор
может быть записана как линейная комбинация множества линейно независимых
векторы, принадлежащие
.
Как следствие,
является основой для
.
Мы доказали, что если выполняется A1, то
является основой. Теперь нам нужно доказать, что выполняется A1. Доказательство от противного.
Предположим, что A1 не выполняется. Тогда один из векторов стандартного базиса
не может быть записана в виде линейной комбинации векторов
.