Выдержка из книги
Болтянский В.Г.
Математические методы оптимального управления
Ясно, что множество G выпукло. Из любой точки множества G можно попасть в начало координат, и даже существует о п т и м а л ь н ы и переход в начало координат. Значит, все точки множества О принадлежат области управляемости. Vj - j а значит, и множеству G. Таким образом, множество G совпадает с областью управляемости. Установленные выше свойства множества G и доказывают теорему существования.