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

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]ex_zadoff59@lj
2004-07-06 17:18 (ссылка)
собрать бы этих Математиков, вывести в чистое поле,
поставить лицом к стеке и путить пулю в лоб.


Current music: Поющие сиськи - И полетела бомба

(Ответить)


[info]societarian@lj
2004-07-06 22:30 (ссылка)
> Ненавижу сраный Юникод и кто его повсюду заводит тоже говнюки.

Да ну, Миша, не серьезно. Юникод -- очень хорошо, а ненавидеть лучше тех говнюков, которые его нормально организовать не могут в Палме или где там у вас не работает.
Вообще не понятно, какого черта в 2004 году с ним все еще так плохо...

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


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

А хули он нужен юникод? У меня и в 1995 году все работало без
проблем. Нет, убивать, убивать безусловно. Жестоко и
болезненно. Убивать и потом цинично срать на могилы.

А проблема не в моем компьютере, а в багах LJ-сервера
(совершенно реальных и признанных за таковые администрацией).

Привет

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


[info]societarian@lj
2004-07-07 10:33 (ссылка)
Потому как идея добрячая и полезная. Реализация -- говно пока, что типично, да.

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

(Если лично, то я utf-8 оценил при необходимости создания ресурса с русским, английским, литовским, латвийским языками и диакритиками уже мертвого языка, где все вперемешку. Да и вообще...)

А вот про проблему -- уже встречал чуть ранее вашу ссылку на какие-то проблемы с Палмом. У вас Палм?

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


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

> Преимущества очевидны -- вам, хоть те же
> математические символы писать
> свободно, например.

Нет, конечно. С математическими символами она обходится
хуже некуда, и никто, кроме полных недоумков, не будет
использовать для этого Юникод. Для математики есть TeX.

> Аскетично,
> конечно, и КОИ8 хватает за глаза -- сам
> пользую -- но нужно большее.

Эта позиция подлая, то есть противоречащая этике.

> У вас Палм?

У меня Нетскэйп 4.
С которым LJ не работает по причине ошибок сервера.

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

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


[info]societarian@lj
2004-07-07 12:37 (ссылка)
> Нет, конечно. С математическими символами она обходится
> хуже некуда, и никто, кроме полных недоумков, не будет
> использовать для этого Юникод. Для математики есть TeX.

Разумеется -- никакой гарантии однозначного вывода... Потому как реализация -- говно.
TeX хорош для всего, особо для математических публикаций (по задумке), но в сеть на публику так просто не кинешь.


> Эта позиция подлая, то есть противоречащая этике.

Эта позиция открытая и справедливая. То есть никакой правильной этике не противоречащая.


> У меня Нетскэйп 4.
> С которым LJ не работает по причине ошибок сервера.

Да, хороший легендарный браузер, тухлым почти не пахнет.

Но есть же движок Gecko, не такой громоздкий как сама Мозилла... Можно нескромно полюбопытствовать, какая конфигурация машины заставляет пользовать именно NN?

Можно же завести какой-нибудь Галеон специально для постов в комьюнити...

Наконец, есть же совершенно отличнейший браузер Links, который вообще превосходен и позволяет нормално работать с ЖЖ, включая и посты в комьюнити (на предмет правки постов не смотрел).

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


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

>но в сеть на публику так просто
>не кинешь.

А в чем проблема? Все кидают.

> То есть никакой правильной этике не противоречащая.

Человек, который так думает, мерзавец.
(http://www.russ.ru/culture/network/20040209.html)
Я с мерзавцами стараюсь дела не иметь,
чтоб не измазаться в говне.

>Можно нескромно полюбопытствовать,
>какая конфигурация машины заставляет пользовать именно NN?

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

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

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


[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 в этом плане идеален, но он тоже не
понимает Юникода.

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

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


[info]bbixob@lj
2004-07-07 00:40 (ссылка)
Я могу перекинуть в ru_mathresearch, если хотите?

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


[info]ex_tipharet@lj
2004-07-07 01:11 (ссылка)
Ага! А то там пусто и неуютно

В таком вот виде (без лыжыкатов)

http://arXiv.org/find/math/1/au:+Semmelmann_U/0/1/0/all/0/1

Изучал труды Уве Семмельмана и понял следующее.

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

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

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

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

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

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

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

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


[info]strelitz@lj
2004-07-07 00:59 (ссылка)
Миша, а это не знаменитая мОшка была?

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


[info]ex_tipharet@lj
2004-07-07 01:06 (ссылка)
Scottish midgies. Локально довольно знаменитые,
конечно, а я про них не знал, ибо летом не ходил здесь еще.
Такие дела
Миша

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

Сделано
[info]bbixob@lj
2004-07-07 02:15 (ссылка)

Сделано; я правильно subject ( From tiphareth: киллинговы формы на римановых многообразиях со связностью) поставил ? можно/нужно кросспост/ссылку в ру_матх ? (а то в ру_матхресеарч только три человека...; теперь четыре.)


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

Re: Сделано
[info]ex_tipharet@lj
2004-07-07 10:15 (ссылка)

Да нет, все нормально. А комментарии не ходят.

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

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