У меня затруднение следующего характера. В книге Тихомирова "Выпуклые множества и их приложения" 2001, на 8 стр. написано следующее:
Множество
A и тодчка
b строго отделимы, если можно найти такие числа
и
, что для любой точки
из
A выполнено неравенство
, в то время как
, где
координаты точки b.
Поэтому говорят, что множество
A от точки
b строго отделяет прямая
.
Но вот если рассмотреть пример:
Окружность:
.
Прямая:
или
.
Точка:
.
Если нарисовать это графически, то на плоскости прямая из примера будет строго отделять точку
b.
Но условия не будут выполняться:
в нашем случае
.
Возьмем точку из области
А и получим
- противоречие. И так же для точки
b - противоречие. Или я что то не так делаю?