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

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

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

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

Сообщества

Настроить S2

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



Пишет maniga ([info]maniga)
@ 2015-08-09 17:24:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Музыка:Godspeed You! Black Emperor - Sleep
Entry tags:shu xue

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

кажется, придумал, как можно добить в максимальной общности вопрос
Зильбера (сложно). ещё очень проникся пределами Громова-Хаудорфа в условиях
о-минимальности. оказывается, даже если метрика неопределима, это
вовсе не значит, что ничего нельзя понять, про то есть заметка А. Бернига.

ещё нам внезапно упал на голову лофт в Барселоне на три недели. безвозмездно,
точнее за catsitting. так что радостно полетим туда спасаться, уже скоро.



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


[info]maniga
2015-08-13 12:46 (ссылка)
(всё-таки перепощу с компьютера)

там история такая.

то, что пределы Хаусдорфа (для евкилидовой метрики) семейств множеств,
определимых в o-минимальных расширениях R, определимы, известный факт.
надо взять слой над нестандартным параметром и применить к нему standard
part map. образ а приори не должен быть определим, но он таки определим.
чтобы это доказать, если ты теоретико-модельщик, то используешь "определимость
типов над моделями" (Маркер-Стайнхорн), если нет, то есть развёрнутое
геометрическое доказательство Лиона и Спайсегера (там всё держится на
нахождении липшицевых стратификаций, поэтому и нужна о-минимальность).

я нашёл заметку Andreas Bernig про то, как доказывать определимость
пределов Громова-Хаусдорфа и для геодезической метрики (в R^n). Там опять
же строится некая стратификация, такая, что геодезическая метрика оценивается
как меньше константы на расстояние в R^n. Из этого выводится, что предел
громова-хаусдорфа склеивается из пределов хаусдорфа кусков стратификации.

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


(Читать комментарии) -