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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2004-07-07 03:09:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Robert Wyatt - THE END OF AN EAR

киллинговы формы
Пришел из гор, страшно искусанный мухами.
Изучал труды Уве Семмельмана и понял следующее.

Пусть дано риманово многообразие.
Связность на многообразии делает из p-формы
вектор в тензорном произведении p-форм и 1-форм.
Это тензорное произведение можно разложить по неприводимым
компонентам O(n), получим три неприводимые компоненты:
(p+1)-формы, (p-1)-формы, и третье пространство, которое
называется произведение Картана p-форм и 1-форм. Для
1-форм произведение Картана - это симметричные
2-формы без следа.

Разложив связность по этим трем компонентам, получим
дифференциал де Рама, кодифференциал (т.е. d^*)
и третий оператор, T, который называется твисторный
оператор. T^*T - эллиптический. Форма называется
твисторной, или конформно киллинговой,
если твисторный оператор на ней зануляется,
а если еще и d^* на ней зануляется - то
киллинговой. Таких, естественно, очень мало
(оператор эллиптический).

Другое определение киллинговых форм - это такие
p-формы, что если подставить в них единичное
касательное поле к геодезическая, мы получим
(p-1)-форму, параллельную вдоль этой геодезической.
Это, конечно, чрезвычайно важно в физике, и
физики про сие писали и пишут все время
(математики тоже пишут, но гораздо меньше).

Киллинговы 1-формы двойственны киллинговым
полям, т.е. векторным полям, которые
касательны изометриям многообразия.

Дифференциальному геометру на заметку.

Вообще гражданин правильный,
правильных людей мало.

Хотел сие засунуть в [info]ru_mathresearch@lj, ан нет.
Ненавижу сраный Юникод и кто его повсюду заводит тоже говнюки.

Привет



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


[info]societarian@lj
2004-07-08 00:34 (ссылка)
> А в чем проблема? Все кидают.

Да не проблема. В смысле, легкой доступности хоть тем же браузером. Ну да это и не надо особо.


> Человек, который так думает, мерзавец.

А, вот что это была за "позиция подлая, то есть противоречащая этике". А я думал стебаетесь, сразу ссылку ставить надо бы.
"но нужно большее" говорилось про кодировку КОИ8, конечно. Никак не про идеологию в целом. КОИ8 не включает всех символов русской типографики и это печально.

Статья красивая, хотя и не до конца и не во всем.

Причислять меня к _этим_ -- хуй там. Сам категорический противник тупого компьютерного потребительского лжепрогресса, с моралью статьи согласен. Из используемых ныне компьютеров старшему, 486DX2, -- 9 лет, младшему-боевому PII-350, -- 4 года. Вытворяю на нем дохуя чего. Хватает. Потому как Linux.

Обладатели компьютеров последних моделей -- секретарши и бухгалтера. Потому как ворд и виндоуз.

Тварей, навязывающих сверхновые компьютеры со сверхновыми виндоузами и потворщиков -- "убивать!" (подражаю) -- согласен. Потому как спрут.

Мультисимвольная универсальная кодировка ("Юникод-теоритический") с грамотной реализацией -- необходима. По многим причинам.

Нынешняя реализация Юникода -- говно. Можно и нужно было сделать лучше.

То, что в статье Юникод взят в качестве "хорошего примера" -- как минимум притянуто за уши. Реализация даже нынешней убогой его схемы технически не ресурсоемка, и работала бы и на 486. Другое дело, что парят виндовсы и ворды.
То есть в статье не разделяется вред от самого стандарта и вред от его подлого применения.

Самое слабое в статье -- полное игнорирование существования свободных систем. Ну да статья-то -- как и А(С) -- для масс.
В мире, скажем, Linux, Юникод зло гораздо меньшее и по другим причинам. И в 2004 году Slackware из последних прекрасно может работать на 486, и с Юникодом все хорошо. Конечно, есть в мире Free Software и злые пидорасы вроде RH или Mandrake, которые тоже парят, парят все больше. И это настораживает. Но не одними ими...


> Желание набивать текст в Емаксе, невозможность
> передавать оный через буфер мыши в другие браузеры,
> в силу багов установленной версии XFree.

А ведь тоже подлая позиция, по сути. Используя Linux все же следовало бы и разделять побольше идеологии движения, некоторыми из проявлений которой являются, скажем, пытливый ум, смекалка в использовании подручных средств, стремление решать эти проблемы при помощи всего мощнейшего накопленного потенциала.

Ваша "проблема" не стоит выеденного яйца, как говорится. Решить её можно максимум за несколько часов изучения, патченья, пересборки. Найти обходной путь -- еще проще.
Заметьте, это не значит предложение отказаться от полюбившейся связки программ, или немедленно отапгрейдится по полной до свежих X.org, Mozilla и т.д. Ведь одно из достоинств FS -- доступность не только последних, а и сколь угодно старых версий ПО, а уж с CVS и подавно.

А сидеть ничего не предпринимая и говорить "не работает, баг в XFree" -- это больше по части другой хмм... группы пользователей.

Если emacs в xterm -- с links должно работать.

Попробуйте xclipboard.


Вот, расписался как мудак...

Привет

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


[info]ex_tipharet@lj
2004-07-08 07:57 (ссылка)

>КОИ8 не включает всех символов русской типографики и это
>печально.

Да. В стандарте ГОСТа забыли даже ё. Впрочем,
в стандарте английского ISO забыли штук 10 гэльских
и западно-гебридских букв - чиновники сволочи
и кретины не только у нас.

>Мультисимвольная универсальная кодировка
>("Юникод-теоритический") с грамотной реализацией --
>необходима.

Нет, конечно. Необходим механизм динамического
подгружения дополнительных codepages к чарсету и шрифту.

>То, что в статье Юникод взят в качестве
>"хорошего примера" -- как минимум притянуто за уши.

Оно изначально написано в качестве ответа
на дискуссии о пользе введения Юникода в Livejournal.

>Реализация даже нынешней убогой его схемы технически не ресурсоемка,

Ресурсоемка.
Если грузить шрифты через X-сервер, они перманентно
висят в памяти, это значит, что каждый юникодный шрифт
утяжеляет X на 5-10 мегабайт и пропорционально
усугубляет злокачественный характер утечек памяти (шрифт
и в запакованном-то виде под два мега). Xfs еще менее
экономичен (у меня, например, он жрет 12 мег с
одним всего юникодным шрифтом).

> А сидеть ничего не предпринимая и
> говорить

Когда в LJ вели Юнокод, по этому поводу была грандиозная
война, и я провел недели полторы в поисках решения
(а также спрашивал всех наличных на тот момент
в LJ специалистов, что делать). Ничего, кроме
перекомпилирования X-сервера, работать тут
не будет.

Главное, Юникод тут абсолютно никому нахер не нужен -
без него жизнь была на порядки легче и приятнее.

> Если emacs в xterm -- с links должно работать.

Это наверное так, но меня тошнит от необходимости
по полчаса пролистывать идиотские линки, чтобы нажать на
нужный, а мыши он не понимает. Кроме того, его очень
нетривиально настроить под русскую локаль (я это
делал как-то, и провел несколько неприятных
дней в поисках решения, а сейчас забыл уже как).

www.el в этом плане идеален, но он тоже не
понимает Юникода.

Такие дела
Миша

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


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