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

Расстоянием между множествами 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 до подпространства . Заметим, что расстояние между линейными многообразиями достигается на общем перпендикуляре.