Математика / Матрицы, определители
Критерий линейности отображения
Критерий линейности проверяет, сохраняет ли отображение сложение векторов и умножение на скаляр. Если равенство выполняется для любых u, v и скаляров alpha, beta, отображение линейно.
Формула
Схема показывает два пути: сначала смешать векторы и применить T или сначала применить T к каждому вектору и затем смешать результаты.
Если оба пути дают один результат для любых коэффициентов, отображение линейно.
Обозначения
- $T$
- отображение из одного векторного пространства в другое, правило преобразования
- u, v
- произвольные векторы области определения, векторы
- $\alpha, \beta$
- произвольные скаляры того же поля, числа
- $T(u)$
- образ вектора u при отображении T, вектор выходного пространства
Условия применения
- Область определения и область значений должны быть векторными пространствами над одним и тем же полем.
- Равенство должно выполняться для любых векторов u, v и любых скаляров alpha, beta.
- Если проверка ведется через базис, нужно убедиться, что правило задано линейным продолжением с базисных векторов на все пространство.
Ограничения
- Аффинное отображение T(x)=Ax+b при b != 0 не линейно, даже если содержит матрицу A.
- Формулы с x^2, xy, |x|, sin x или делением на координату обычно не проходят критерий линейности.
- Проверка на нескольких числовых примерах не доказывает линейность для всех векторов.
Подробное объяснение
Линейное отображение - это правило, которое уважает линейные комбинации. Если сначала смешать векторы с коэффициентами alpha и beta, а потом применить T, результат должен совпасть с тем, что получится, если сначала применить T к каждому вектору, а затем смешать результаты с теми же коэффициентами. Поэтому формула T(alpha u+beta v)=alpha T(u)+beta T(v) является компактной проверкой сразу двух свойств: аддитивности и однородности.
Из критерия сразу следует T(0)=0. Достаточно положить alpha=0 и beta=0 или использовать T(0)=T(0+0)=T(0)+T(0). Это простая, но очень полезная проверка: любое правило с ненулевым свободным членом не может быть линейным. Например, сдвиг плоскости на фиксированный вектор сохраняет прямые и расстояния, но в линейной алгебре это аффинное, а не линейное отображение.
Когда отображение линейно, его поведение полностью определяется образами базисных векторов. Если известны T(e1), ..., T(en), то для любого v=x1e1+...+xnen имеем T(v)=x1T(e1)+...+xnT(en). Именно поэтому дальше можно строить матрицу отображения: ее столбцы - это образы базисных векторов. Критерий линейности стоит перед матричной записью как проверка права пользоваться всеми следующими формулами.
В прикладных задачах этот критерий помогает не смешивать разные типы моделей. Умножение всех координат на число, поворот вокруг начала координат, проекция на подпространство и дифференцирование многочленов линейны. Перенос на фиксированный вектор, нормировка до единичной длины и возведение координаты в квадрат не линейны, даже если выглядят просто.
Как пользоваться формулой
- Запишите правило T для произвольного вектора, а не только для одного примера.
- Проверьте T(0)=0 как быстрый предварительный фильтр.
- Подставьте alpha u+beta v и раскройте выражение.
- Сравните результат с alpha T(u)+beta T(v).
- Если равенство выполняется для любых u, v, alpha, beta, можно переходить к матричной записи.
Историческая справка
Понятие линейного отображения оформилось не за один шаг. Его истоки лежат в линейных подстановках, системах уравнений, аналитической геометрии и развитии абстрактных векторных пространств. В XIX веке математики активно работали с линейными заменами переменных и таблицами коэффициентов, но современная формулировка через пространства V и W стала естественной позднее, когда появилась аксиоматическая линейная алгебра. Работы Грассмана помогли говорить об абстрактных направлениях и линейных комбинациях, а Пеано внес вклад в строгую аксиоматическую подачу линейных пространств. Поэтому критерий линейности лучше связывать не с одной фамилией, а с постепенным переходом от вычислительных замен к структурному языку отображений между пространствами.
Историческая линия формулы
У критерия линейности нет одного персонального автора в учебном смысле. Для полезной атрибуции стоит указывать историческую линию: Грассман - общий язык пространств и линейных комбинаций, Пеано - аксиоматическая строгость, матричная традиция Кэли и Сильвестра - запись линейных правил таблицами коэффициентов.
Пример
Проверим отображение T:R^2 -> R^2, заданное T(x,y)=(2x-y, x+3y). Возьмем u=(x1,y1), v=(x2,y2) и скаляры alpha, beta. Тогда alpha u+beta v=(alpha x1+beta x2, alpha y1+beta y2). Подставляем в T и получаем (2(alpha x1+beta x2)-(alpha y1+beta y2), (alpha x1+beta x2)+3(alpha y1+beta y2)). Перегруппировка дает alpha(2x1-y1, x1+3y1)+beta(2x2-y2, x2+3y2), то есть alpha T(u)+beta T(v). Значит отображение линейно. Для сравнения T(x,y)=(2x-y+1,x+3y) не линейно: T(0,0)=(1,0), а у любого линейного отображения нулевой вектор обязан переходить в нулевой.
Частая ошибка
Самая частая ошибка - считать отображение линейным только потому, что в формуле есть матрица или коэффициенты при координатах. Постоянный сдвиг сразу нарушает T(0)=0. Вторая ошибка - проверять только свойство сложения и забывать умножение на скаляр; оба свойства нужны одновременно, либо их объединенная форма с alpha и beta. Третья ошибка - подставить один удачный пример и решить, что доказательство закончено. Для линейности требуется общий расчет с произвольными векторами.
Практика
Задачи с решением
Проверить линейность правила
Условие. Линейно ли T(x,y,z)=(x+2y, z-y)?
Решение. Каждая выходная координата является линейной комбинацией x, y, z без свободного члена и нелинейных произведений. Для произвольной линейной комбинации alpha u+beta v результат раскладывается по коэффициентам.
Ответ. Да, отображение линейно.
Найти нарушение линейности
Условие. Линейно ли T(x,y)=(x-y, xy)?
Решение. Проверим однородность: T(2,2)=(0,4), а 2T(1,1)=2(0,1)=(0,2). Результаты не совпадают.
Ответ. Нет, отображение не линейно из-за произведения xy.
Дополнительные источники
- MIT OpenCourseWare 18.06SC, linear transformations
- Jim Hefferon, Linear Algebra, homomorphisms
- Sheldon Axler, Linear Algebra Done Right, linear maps
Связанные формулы
Математика
Матрица линейного отображения в стандартных базисах
Если T:R^n -> R^m линейно, то оно задается матрицей A размера m x n. Столбцы A равны образам стандартных базисных векторов области определения.
Математика
Ядро линейного отображения
Ядро линейного отображения - это множество всех векторов, которые переходят в нулевой вектор. По ядру сразу видно, теряет ли отображение информацию и может ли оно быть инъективным.
Математика
Образ линейного отображения
Образ линейного отображения - это множество всех векторов, которые реально могут получиться на выходе. Для матрицы это столбцовое пространство, натянутое на ее столбцы.
Математика
Базис векторного пространства
Базис векторного пространства - это набор векторов, который одновременно порождает все пространство и не содержит лишних зависимых направлений. Через базис любой вектор записывается единственным способом.