Все формулы РФ

Математика / Матрицы, определители

Разложение вектора на параллельную и перпендикулярную части

Любой вектор раскладывается на компоненту вдоль u и ортогональную остаточную часть. Эта формула связывает вычисление с геометрическим смыслом ортогонального разложения: она показывает, какая часть вектора идет вдоль выбранного направления, а какая остается поперек него.

Опубликовано: Обновлено:

Линейная алгебра

Формула

$$v=\operatorname{proj}_{u}(v)+\left(v-\operatorname{proj}_{u}(v)\right),\quad u^{\top}\left(v-\operatorname{proj}_{u}(v)\right)=0$$
orthogonal-complement Параллельная + перпендикулярная компоненты

Остаток всегда перпендикулярен направлению u.

Это геометрическое основание LS-аппроксимации.

Обозначения

$v$
исходный вектор, вектор
$v_\parallel$
компонента вдоль u, вектор
$v_\perp$
перпендикулярная компонента, вектор

Условия применения

  • Требуется ненулевой u
  • Используется стандартное скалярное произведение пространства

Ограничения

  • Если проектор выбран неправильно, остаток не станет перпендикулярным
  • Крупные ошибки округления могут дать небольшой дрейф скалярного произведения

Подробное объяснение

Это разложение показывает, какая часть вектора воспроизводится моделью, а какая относится к ошибке относительно направления u.

Геометрически формула строит ближайший к v вектор из прямой, натянутой на u. Искомая точка должна лежать на этой прямой, поэтому ее можно записать как alpha u. Разность v-alpha u должна быть перпендикулярна u, иначе вдоль прямой можно сдвинуться ближе к v. Условие u^T(v-alpha u)=0 дает alpha=(u^T v)/(u^T u). Так из требования минимального расстояния получается та же формула, что и из скалярного произведения. Это объясняет, почему проекции появляются в задачах на расстояние, ортогональное разложение и наименьшие квадраты: во всех этих случаях нужно заменить объект ближайшим элементом выбранного подпространства. Для страницы "Разложение вектора на параллельную и перпендикулярную части" важно помнить, что формула описывает не просто вычисление координаты, а критерий оптимальности ближайшей точки.

Как пользоваться формулой

  1. Находят proj_u(v).
  2. Считают v_perp = v - proj_u(v).
  3. Проверяют u^T v_perp = 0.
  4. Проверьте результат через ортогональность остатка: скалярное произведение направления и перпендикулярной части должно быть нулевым.

Историческая справка

Расщепление на параллельную и ортогональную части используется в теории наилучшего приближения более века.

Идея разложения на параллельную и перпендикулярную части возникла в аналитической геометрии задолго до современной матричной записи. С развитием векторной алгебры и численных методов она стала универсальным языком для ортогональных проекций. В XX веке проекционный взгляд закрепился в методе наименьших квадратов, функциональном анализе и вычислительной линейной алгебре, где подпространства уже могут иметь большую размерность, а смысл остается тем же: найти ближайшую объясненную часть и контролируемый остаток.

В современной учебной традиции этот материал связывает школьную аналитическую геометрию с университетской линейной алгеброй. Проекция стала универсальным приемом именно потому, что одна и та же идея работает для прямой, плоскости, конечномерного подпространства и пространства функций.

Историческая линия формулы

В классических курсах эта идея стала частью линейной геометрии и анализа ошибок. Формула не имеет одного автора: она опирается на аналитическую геометрию, скалярное произведение и развитие ортогональных методов. Связь с Грамом и Шмидтом важна именно для алгоритмического применения в ортогонализации.

Карл Фридрих Гаусс 1777-1855

Пример

u=(3,-1), v=(4,2). proj_u(v)=(3,-1), остаток (1,3), и скалярное произведение 0. Полезная проверка результата для "Разложение вектора на параллельную и перпендикулярную части" состоит в том, чтобы найти не только саму проекцию, но и остаток. Если p - найденная параллельная часть, то r=v-p должен быть ортогонален направлению u: скалярное произведение u^T r равно нулю. Например, если вычисление дает красивый числовой вектор, но остаток не ортогонален u, значит ошибка появилась в коэффициенте или в нормировке. В задачах на расстояние до прямой длина остатка сразу становится расстоянием, а в методе Грама-Шмидта тот же принцип используется для удаления уже найденных направлений из следующего вектора.

Частая ошибка

Перепутать порядок вычитания: сначала находится проекция, затем вычитается из v. Кроме очевидной ошибки с нулевым направляющим вектором, часто путают проекцию на вектор и проекцию на координатную ось. Вектор u не обязан иметь длину 1, поэтому нормировка через u^T u обязательна. Еще одна практическая ошибка - округлять коэффициент слишком рано: тогда остаток перестает быть точно ортогональным, и дальнейшие шаги ортогонализации накапливают погрешность.

Практика

Задачи с решением

Найти перпендикулярную часть

Условие. u=(2,2), v=(1,4)

Решение. proj_u(v)=(5/4,5/4), v_perp=(-1/4,11/4)

Ответ. v_perp = (-1/4,11/4)

Разложение для оси X

Условие. u=(1,0), v=(2,5)

Решение. proj_u(v)=(2,0), v_perp=(0,5)

Ответ. v=(2,0)+(0,5)

Дополнительные источники

  • MIT OCW 18.06SC Orthogonal Decomposition
  • Strang, Linear Algebra and Its Applications
  • NIST Handbook, projections

Связанные формулы

Математика

Проекция вектора на ненормированный вектор

$\operatorname{proj}_{u}(v)=\frac{u^{\top}v}{u^{\top}u}\,u$

Проекция вектора v на направление u вычисляется через скалярное произведение с нормированием на длину u. Эта формула связывает вычисление с геометрическим смыслом ортогонального разложения: она показывает, какая часть вектора идет вдоль выбранного направления, а какая остается поперек него.

Математика

Ортогональность векторов через скалярное произведение

$u\cdot v=0$

Два вектора ортогональны, если их скалярное произведение равно нулю. В евклидовом пространстве это означает взаимную перпендикулярность направлений и дает алгебраический способ проверять прямые углы.

Математика

Расстояние до подпространства через проекцию

$\operatorname{dist}(x,W)=\|x-\operatorname{proj}_{W}x\|$

Расстояние от вектора x до подпространства W равно длине ортогонального остатка после проекции x на W. Проекция дает ближайший вектор внутри W.