Линейные преобразования плоскости: геометрический смысл матриц

Базовые деформации: масштабирование и сдвиг (Shear)

Самым простым линейным преобразованием является масштабирование. Оно задается диагональной матрицей, где на главной диагонали стоят коэффициенты растяжения по осям x и y (например, kx и ky). Если коэффициенты больше единицы, фигура растягивается, если меньше — сжимается. Если один из коэффициентов отрицательный, происходит зеркальное отражение относительно соответствующей оси координат. Гораздо более интересным преобразованием является сдвиг (Shear или скос). Матрица сдвига содержит единицы на главной диагонали и ненулевой коэффициент на побочной. При сдвиге по оси x прямоугольник превращается в параллелограмм: все точки сдвигаются вправо или влево пропорционально их высоте (координате y), при этом площадь фигуры остается абсолютно неизменной.

Вращение плоскости и тригонометрическая матрица

Жесткое вращение всей координатной плоскости вокруг начала координат на заданный угол альфа описывается специальной ортогональной матрицей. Ее первая строка содержит элементы (cos альфа, -sin альфа), а вторая — (sin альфа, cos альфа). Главное свойство этой матрицы заключается в том, что ее определитель строго равен единице. Это геометрически означает, что вращение абсолютно не изменяет площади фигур (отсутствует масштабирование). Кроме того, столбцы этой матрицы являются ортонормированными: их длины равны единице, а скалярное произведение равно нулю. Это математически гарантирует, что углы между любыми прямыми линиями на плоскости после преобразования вращения останутся неизменными (преобразование является конформным).

Собственные векторы как инвариантные направления

Сложное линейное преобразование может одновременно вращать, растягивать и сдвигать пространство. Существуют ли в таком хаосе стабильные элементы? Аналитическая геометрия отвечает утвердительно, используя аппарат собственных векторов. Собственный вектор — это такой ненулевой вектор, который при умножении на матрицу преобразования не меняет своего направления, а лишь изменяет длину (умножается на скаляр — собственное значение). Геометрически это означает, что прямая линия, проходящая через начало координат вдоль собственного вектора, переходит сама в себя. Поиск таких инвариантных осей позволяет расщепить сложнейшую деформацию плоскости на два независимых простых растяжения вдоль этих главных направлений.

Определитель как коэффициент изменения площади

В линейной алгебре определитель матрицы часто рассматривается как абстрактное число, но в аналитической геометрии он обладает кристально ясным физическим смыслом. Абсолютная величина (модуль) определителя матрицы линейного преобразования в точности равна коэффициенту изменения площади любой фигуры. Если мы подвергнем круг площади S линейному преобразованию с матрицей A, то площадь получившегося эллипса будет строго равна S * |det A|. Если определитель равен нулю, преобразование является вырожденным: оно «схлопывает» всю двумерную плоскость в одномерную прямую линию или в точку, безвозвратно уничтожая часть геометрической информации.