Расстояния. Псевдорешения. Нормальные решения. Нормальные псевдорешения.

Расстоянием между множествами X и Y называется .

Рассмотрим задачу нахождения расстояния от точки x до подпространства W. В начале рассмотрим случай, когда подпространство задано в виде линейной оболочки системы векторов.

Теорема 2.5. Расстояние от точки до подпространства достигается на перпендикуляре, опущенном из точки x на подпространство.

Доказательство. Представим . Расстояние от точки x до подпространства W равно . Векторы  и  ортогональны друг другу, и по неравенству Бесселя , причем равенство достигается только в случае . Тем самым установлено , что и требовалось.

Пусть  и система векторов  линейно независимая. Расстояние от точки x до подпространства W можно найти как отношение объема k +1-мерного параллелепипеда натянутого на векторы  к объему k -мерного параллелепипеда натянутого на векторы . Таким образом, справедлива формула . К сожалению, эта формула не позволяет находить проекцию и ортогональную составляющую вектора. Для нахождения проекции можно поступать следующим образом. Представим  и , а затем умножим скалярно на векторы  вектор x. Получим систему линейных уравнений . Коэффициенты при неизвестных образуют матрицу Грама, определитель которой не равен нулю. Следовательно, система имеет единственное решение. Решив эту систему, найдем проекцию вектора x, а затем и ортогональную составляющую.

Рассмотрим случай, когда линейное подпространство задано системой однородных линейных уравнений Ax =0. Для простоты проведения рассуждений будем считать, что строки матрицы A линейно независимы. В ортонормированном базисе, коэффициенты при неизвестных в уравнении являются координатами вектора из ортогонального дополнения (см. п.2.4). Таким образом, по системе линейных уравнений можно найти базис ортогонального дополнения к пространству W. Обозначим базис  через . Тогда представим  и , а затем умножим скалярно на векторы  вектор x. Получим систему линейных уравнений . Коэффициенты при неизвестных образуют матрицу Грама, определитель которой не равен нулю. Следовательно, система имеет единственное решение. Решив эту систему, найдем ортогональную составляющую вектора x, а затем и проекцию.

Рассмотрим теперь задачу нахождения расстояния от точки x до линейного многообразия M. Эта задача легко сводится к аналогичной задаче построения расстояния от точки до подпространства. Действительно, пусть M = z + W, где z – произвольная точка из M, а W – подпространство. Тогда , то есть задача свелась к определению расстояния от точки x - z до подпространства W.

Линейное многообразие, заданное как множество решений одного линейного уравнения ax = b называется гиперплоскостью. Рассмотрим задачу отыскания расстояния от точки y до гиперплоскости ax = b. Перпендикуляр, опущенный из y на гиперплоскость равен  и . Отсюда находим неизвестный параметр , а затем и расстояние .

Рассмотрим задачу определения расстояния между двумя линейными многообразиями  и . Расстояние между ними равно , то есть задача свелась к нахождению расстояния от точки y - z до подпространства . Заметим, что расстояние между линейными многообразиями достигается на общем перпендикуляре.