(26) Если классификация ошибочна, то найдется по крайней мере одно число , для которого
Для каждого и каждого такого положим
Как и раньше, можно было бы в (95) и (96) заменить на но для простоты записи мы этого делать не будем.
Чтобы доказать, что алгоритм работает правильно, опять надо показать, что последовательность ошибок конечна. Из тех же соображений, что и ранее, заключаем, что если последовательность конечна, алгоритм должен решать задачу классификации.
Пусть будет множеством -мерных векторов, построенных из так, чтобы вектор линейно содержащий содержал элементы матрицы в определенном порядке. Чтобы получить такое множество, используется каждый вектор для определения векторов в Возьмем Векторы построенные из у, обозначим Каждый вектор состоит из блоков, каждый из которых имеет компонент, причем
а) -й блок вектора совпадает с компонентами вектора у,
б) -й блок вектора совпадает с компонентами вектора —у,
в) все остальные компоненты вектора равны нулю.
Таким образом, для любого вектора у из класса в множестве есть векторов, соответствующих отличиям его от классов, которым он не принадлежит. У этих векторов блок соответствует правильному классу.
По предположению матрица существует. Мы будем искать вектор составленный из векторов (строк матрицы ). Алгебраически
для Тогда для каждого вектора
поскольку если линейно отделяется матрицей то
Теперь обратим этот процесс, и пусть известно, что линейно содержит
Равенство (97) можно тогда использовать для определения векторов матрицы линейно отделяющей Подходящий вектор можно найти с помощью изложенного выше алгоритма для двух классов. Таким образом, задача для нескольких классов решена: