но
— вектор, минимизирующий
откуда следует 1). Докажем 2): имеем
где
В критериях
каждый элемент из
участвует один и только один раз.
Пусть
и
индексы классов, к которым принадлежит элемент
в разбиениях
соответственно. Тогда имеем
По построению разбиения
откуда, суммируя эти неравенства по
получим 2). Из 1) и 2) следует, что последовательность
не возрастает. Так как
ограничена снизу нулем, она сходится. Сходимость достигается за конечное число этапов, так как множество
конечно и элементы последовательности
принадлежат к конечному множеству
Предложение 6. Последовательность
сходится к несмещенному элементу, т. е.
Доказательство. Как показано выше, последовательность
сходится и достигает своего предела за конечное число шагов, следовательно,
такое, что
Но
откуда
Последнее равенство можно переписать в виде