Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет друг друга пердуна ([info]oort)
@ 2019-10-21 16:56:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Лемма:
пусть f_i последовательно непрерывных отображений в R^n замкнутого шара B радиуса \epsilon
с центром в 0 в R^n. Пусть f_i сходится униформно к тождественному вложению. Тогда есть число k, такое что
f_k(B) содержит 0.

То есть образ замкнутого шара поглотит 0 за конечное число шагов.

Доказательство:
Если отображение g удовлетворяет условию |g(x)-x|<\epsilon, то отображение

x |-> x-g(x) это отображение из B в B. По теореме Брауэра о неподвижной точке у него есть
неподвижная точка X, то есть X=X-g(X), то есть X отправляется в 0.

Теперь надо просто выбрать такой номер i, что |f_i(x)-x|<\epsilon

Этот факт в книжках по оптимальному управлению обычно доказывают в предположении C^1 сходимости,
которая тут совсем не нужна, если знать теорему Брауэра.

А нужен этот факт для того, что любое управление имеет такое же множество досягаемости, что и релейное.
То есть просто перескакивая с одного векторного поля на другое (управления -- кусочно-постоянные функции со значением 0 и 1) можно делать все то же самое, что и кусочно-гладким или даже просто интегрируемым рулём.

Это называется поэтическим термином bang-bang control


(Добавить комментарий)


[info]kaledin
2019-10-21 22:38 (ссылка)
>Если отображение g удовлетворяет условию |g(x)-x|<\epsilon, то отображение x |-> x-g(x) это отображение из B в B.

Почему?

(Ответить) (Ветвь дискуссии)


[info]oort
2019-10-21 22:45 (ссылка)
по определению:
|x|<\epsilon (лежит в шаре B)
и |x-g(x)|=|g(x)-x|<\epsilon (лежит в шаре B)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2019-10-21 22:58 (ссылка)
А, понял, да. Симпатично.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2019-10-22 08:13 (ссылка)
Что тут происходит?! Опять Калоедина накормили немытыми хуями? Ну да ничего нового, всё как всегда...

(Ответить) (Уровень выше)


(Анонимно)
2019-10-22 10:06 (ссылка)
— Калоед-калоед,
Что ты кушал на обед?
— На обед я жрал говно —
Очень вкусное оно!

(Ответить) (Уровень выше)


(Анонимно)
2019-10-22 12:12 (ссылка)
Иди нахуй, говноедов

(Ответить) (Уровень выше)


(Анонимно)
2019-10-22 14:12 (ссылка)
Вчера ебал твою мамашу в жопу и разбил хуем ебло Ласося.

(Ответить) (Уровень выше)


(Анонимно)
2019-10-22 08:15 (ссылка)
Расскажи лучше про вкус гавна.

(Ответить) (Уровень выше)


(Анонимно)
2019-10-22 08:40 (ссылка)
Привет, Калоедин!

(Ответить) (Уровень выше)


(Анонимно)
2019-10-22 10:14 (ссылка)
В тот день Митя Калоедин серьёзно перебрал «Угличского тёмного» и, захмелев, выебал Олю Косыреву на балконе. Вверху, в ночном августовском небе, сияли звезды, а под балконом залихватской музыкой призывно шумела чебуречная. «Kto tam gulyaet segodnya?» – спросил Митя у своей случайной подруги. «Пидарасы из нашего поэтического кружка», – ответила она. Тут и родилось у Мити знаменитое четверостишье:

В чебуречной «Пидарасы» —
Пидарас на пидарасе.
Женька Лесин среди них —
Самый главный пидарас.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2019-10-22 10:36 (ссылка)
Хватит травить Калоедина!

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2019-10-22 11:07 (ссылка)
тебя кто-то спрашивал? хули ты пасть разинул, питухновский?

(Ответить) (Уровень выше)


[info]anti_mvth
2019-10-22 13:03 (ссылка)
Дмитрий, не поддавайтесь на анонимные провокации! Держитесь, вся прогрессивная общественность с вами. Верим: НЕ ЕЛ! НЕ ЕЛ! НЕ ЕЛ! Тем более, что не доказоно.

(Ответить) (Уровень выше)