ЭлементыЭлементы большой науки
Жизнь в науке. Дневники
Главная / Дневники / Дмитрий Павлов / Запись

ШКОЛА-СЕМИНАР ПО ФИНСЛЕРОВОЙ ГЕОМЕТРИИ

20.07.2009
08:50
Сегодня открывается третья школа-семинар по финслеровой геометрии. Она будет продолжаться до 15 августа и включать курсы лекций по следующим предметам:

• Балан Владимир «Симметрии и группы. Геометрия псевдофинслеровых пространств», Бухарестский политехнический университет, Румыния.
• Бринзей Николетта «Теория функций комплексной переменной», Университет Трансильвания, г. Брашов, Румыния.
• Богословский Георгий Юрьевич «Нарушение лоренцевой симметрии без нарушения релятивистской симметрии: (I) Группа DISIMb(2), аксиально симметричное финслерово пространство событий и Очень Специальная Т О; (II) Абелева группа релятивистской симметрии полностью анизотропное финслерово пространство событий и Совсем Специальная Теория Относительности Группа Лоренца, пространство Минковского и СТО», НИИ ядерной физики им. Д. В. Скобельцина МГУ им. М. В. Ломоносова, НИИ "Гиперкомплексных систем в геометрии и физике", Россия.
• Гарасько Григорий Иванович «Основы финслеровой геометрии», Всероссийский электротехнический институт, НИИ "Гиперкомплексных систем в геометрии и физике" , Россия.
• Кокарев Сергей Сергеевич «Элементы теории гладких многообразий (I): производная Ли и ее приложения», НИИ "Гиперкомплексные системы в геометрии и физике", Россия.
• Лебедев Сергей Витальевич «Тензорный анализ. Финслерова геометрия по П.К. Рашевскому», Московский государственный технический университет им. Н.Э. Баумана, НИИ "Гиперкомплексных систем в геометрии и физике" Россия.
• Мюллер Хартмут «Основы концепции Global Scaling», Международный Институт Global Scaling, г. Мюнхен, Германия.
• Павлов Дмитрий Геннадиевич «Двойные числа и аналитические функции от них», Московский государственный технический университет им. Н.Э. Баумана, НИИ гиперкомплексных систем в геометрии и физике, Россия.
• Панчелюга Виктор Анатольевич «Проявления анизотропии и неоднородности в природе. Фракталы в многомерных пространствах», Институт теоретической и экспериментальной биофизики РАН, НИИ "Гиперкомплексных систем в геометрии и физике", Россия.
• Cипаров Сергей Викторович «Современные проблемы в ОТО - физика и геометрия», Государственный университет гражданской авиации, Санкт-Петербург, НИИ "Гиперкомплексных систем в геометрии и физике", Россия.
• Чернов Владимир Михайлович «Общие представления о конечномерных алгебрах. Алгебра кватернионов. Октавы и их свойства», Самарский аэрокосмический университет, Институт систем обработки изображений РАН, НИИ "Гиперкомплексных систем в геометрии и физике", Россия.

Вчера основная часть слушателей заехала и поселилась в учебном центре г.Королев "Лесное озеро". Все 15 мест с проживанием заняты, но если вдруг кто-то из желающих присоединиться к слушателям имеет возможность периодически самостоятельно приезжать (это 35 км по Фряновскому шоссе от МКАД) - милости просим, лекционный зал вмещает до 25 человек.
На нашем сайте вывешен фильм одной из московских телестудий о предыдущей школе:

http://hypercomplex.xpsweb.com/page.php?lang=ru&id=486

Может быть он кому-то поможет принять решение?
Ответить предыдущая | следующая

КОММЕНТАРИИ:

20.07.2009 10:19#
Школа-семинар по финслеровой геометрии
Честно говоря, я не верю в затеи заменить геометрию ОТО какой-либо другой, сильно от нее отличающейся (ну ввести несимметричную связность это еще туда-сюда). Во всяком случае без каких-либо на то экспериментальных оснований. Но если чисто как математический экзерсис, то почему бы нет. Интересно другое. Расказали бы в двух словах а что это за геометрия и чем она интересна? Что-то я мельком видел, что там, если не ошибаюсь, метрика задается формой четвертого, а не второго порядка. А если к тому какие-либо мотивировки? Почему четвертого, а не, скажем, 8-го? Или 24857390232-го?
20.07.2009 11:08#
Школа-семинар по финслеровой геометрии
> Честно говоря, я не верю в затеи заменить геометрию ОТО какой-либо другой, сильно от нее отличающейся

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

> Во всяком случае без каких-либо на то экспериментальных оснований.

Золотые слова. Эксперимент и должен расставить все точки над i. Но для того что бы к нему обращаться, вначале нужно иметь на руках принципиальные расхождения в предсказаниях двух конкурирующих вариантов теории. Причем сделанные не с кандачка, на основании поверхностного взгляда на иную чем привычная геометрия, а изучив ее адекватными для нее методами.

> Расказали бы в двух словах а что это за геометрия и чем она интересна?

Я, конечно, чуть ниже попробую это сделать, но и Вы попробуйте не в двух словах, а хотя бы потратьте 1,5 - 2 часа времени на просмотр специальных вводных популярных фильмов "Геометрия Вселенной" и "Анизотропный Мир", которые во множестве можно найти в интернете через googl. Если заденет, тогда посмотрите доклады Гарасько и Богословского, размещенные на странице фильмы сайта www.polynumbers.ru

Ну, а мои ответы на Ваши вопросы следуюшие.
Прежде всего нужно определиться со скольки измерениями физику желательно иметь дело. Ответ оказывается вполне четким и дает его геометрия, вернее топология. Оказывается самое разнообразное на проявления (и самое сложное) исходя из топологических свойств является четырехмерное пространство (а не пяти, как у Калуцы с Клейном и не десятимерное как в теории суперструн). Одно из ярких тому доказательств - число правильных платоновых многогранников в расзличных по измерениям пространств. В трехмерных топологических пространствах таких многогранников пять, в четырехмерных шесть, а во всех остальных - всего по три. А ведь правильные многогранники важны не сами по себе, а за счет своих дискретных симметрий. Подчеркну, что это именно топологическое следствие и используемая в современных многомерных теориях компактификация "лишних" измерений этого факта не отменяет.
Если мы определяемся таким образом с числом физически интересных измерений, то ответить на вопрос какой степени должна быть метрическая форма над заданной топологией также не очень сложно. Принцип отбора предложил еще Герман Вейль. Не дословно, но отражая смысл, он звучит как требование максимального разнообразия имеющихся в используемой метрической функции (не важно, квадратичной мы ее будем брать, четвертой степени или 234-й) групп непрерывных симметрий, то есть, групп преобразований пространства, имеющих метрические инварианты. Самая широкая из таких групп симметрий четырехмерного псевдориманова пространства - 15-параметрическая группа конформных преобразований, при которых сохраняются углы (в качестве подгрупп она включает группы Лоренца и Пуанкаре). У некоторых плоских четырехмерных финслеровых пространств аналогичная группа бесконечнопараметрическая. Как ни странно (полагаю, что можно доказать соответствующую теорему) все такие пространства имеют метрическую функцию связанную именно с четвертыми степенями от дифференциалов компонент. Возьмете третью или сто семьдесят восьмую - и вмиг потеряете эту бесконечность. (Кстати, теория суперструн эксплуатирует тоже именно бесконечномерную конформную группу симметрий двумерных псевдоримановых пространств и не будь этого обстоятельства - давно бы уже была позабыта и отвернгнута). Четырехмерные финслеровы пространства как раз с таким "джентельменским набором" мы и исследуем в первую очередь. Среди невырожденных метрических функций их известно всего три. Все они как один связаны с четырехкомпонентными ассоциативно-коммутативными гиперкомиплексными алгебрами являющимися прямыми суммами вещественных и комплексных алгебр: R+R+R+R, R+R+C, C+C. Пока мы сосредоточены на самой простой из них, - первой. Соответствующая ей финслерова метрическая функция носит название Бервальд-Мооровской. К слову сказать, геометрия двумерного псевдоевклидова пространства-времени (та самая, конформная группа которой используется в теории суперструн) также является Бервальд-Мооровской и имеет соответствие с коммутативно-ассоциативной алгеброй, являющейся прямой суммой R+R. Последняя же алгебра оказывается естественным гиперболическим двойником алгебры обычных (элиптических) комплексных чисел и имеет во многом похожие на последние свойства, включая анализ и соответствующие теоремы.

Вот как-то так..
20.07.2009 12:05#
Школа-семинар по финслеровой геометрии
Дмитрий, спасибо за ответ. Вообще-то меня впечатлила выделенность четырехмерного пространства. Не совсем ясно на счет алгебраических аспектов, что вы написали в конце, но надо подумать. И почитать бы что-нибудь как раз в таком ключе, как вы писали. Фильмы? Вот как раз то, что фильмы, как-то смущает. И качать долго и как-то непривычно:-) Я потом еще позадаю вам вопросы, если вы не против.

А на счет "верю-неверю", так разных возможностей так много, что в любом случае первоначально люди ориентируются на что-то вроде "верю-неверю". Чтобы хоть как-то интуитивно и предварительно сузить множество вариантов. Всего же, что написано (а математики любят писать так обстоятельно и длинно...), не прочитаешь:-)
20.07.2009 12:28#
Школа-семинар по финслеровой геометрии
> Не совсем ясно на счет алгебраических аспектов, что вы написали в конце, но надо подумать.

Известно, что геометрии двумерной евклидовой плоскости соответствует алгебра и анализ комплексных чисел. Геометрии псевдоевклидовой - алгебра и анализ га двойных (киперболически комплексных чисел). Геометрии трехмерного евклидова пространства соответствует подмножество алгебры кватернионов, имеющих фиксированную норму. Геометрии четырехмерного евклидова пространства соответствует алгебра самих кватернионов. Геометрии четырехмерного псевдоевклидова пространства с сигнатурой (+,+,-,-) соответствует алгебра антикватернионов и, наконец, геометрии четырехмерного псевдоевклидова пространства (так важного для современной физики) не соответствует ни одна четырехкомпонентная алгебра гиперкомплексных чисел. Замечательной особенностью трех вышеперечисленных четырехкомпонентных аогебр (R+R+R+R, R+R+C, C+C) явялется факт соответствия им трех четырехмерных финслеровых геометрий, равно как верно и обратное соответствие. Что удивительно, пространство Бервальда-Моора с алгеброй R+R+R+R при малых интервалах практически неотличимо от геометрии пространства Минковского и геометрии Галилея (последняя является опорой классической Ньютоновой механики). Собственно, по этому мы и занимаемся ее в первую голову.

> Вот как раз то, что фильмы, как-то смущает. И качать долго и как-то непривычно:-)

Если трудно качать, могу выслать по почте живые диски. Только черканите удобный адрес для отправки.

> Я потом еще позадаю вам вопросы, если вы не против.

Задавайте на здоровье. Если будет время, постараюсь ответить.

> Чтобы хоть как-то интуитивно и предварительно сузить множество вариантов. Всего же, что написано (а математики любят писать так обстоятельно и длинно...), не прочитаешь:-)

Количество вариантов позволяют сузить некоторые базовые принципы. Мне представляется, что принцип максимального разнообразия топологических свойств с одной стороны и непрерывных симметрий, имеющих метрические инварианты - с другой, справляются с этой задачей вполне успешно. При желании сюда же можно отнести принцип, провозглашенный некогда в упрощенном смысле Пифагором, а именно, что все сущее суть числа, ну равзве что, добавить расшифрову, согласно которой это числа гиперкомплексные с бесконечным разнообразием аналитических функций и их естественных расширений. То бишь, физика (по крайней мере, ее часть связанная с пространством-временем) это не что иное как интерпретация финслеровых расширений ТФКП :)
20.07.2009 14:55#
Школа-семинар по финслеровой геометрии
>Если трудно качать, могу выслать по почте живые диски. Только черканите удобный адрес для отправки.

Спасибо за предложение. Но это лишнее. В общем то, что вы рассказываете кажется интересным. Хотя и несколько далеким от реальной физики. Но поживем - увидим. Риманова геометрия или, к примеру, теория групп тоже когда-то казались далекими от физики:-)
20.07.2009 17:28#
Школа-семинар по финслеровой геометрии
>Замечательной особенностью трех вышеперечисленных четырехкомпонентных аогебр (R+R+R+R, R+R+C, C+C) явялется факт соответствия им трех четырехмерных финслеровых геометрий, равно как верно и обратное соответствие.

Это кажется даже более ясной мотивировкой, чем попытки применения в физике гравитации. Как бы то ни было, анализ на алгебрах интересен сам по себе. Но алгебр бесконечно много. Выделены ли чем-нибудь эти три алгебры из бесконечного множества других алгебр с чисто алгебраической точки зрения? И с точки зрения множества возможных функций на этих алгебрах. Я не профессиональный математик, так что как-нибудь попроще по возможности. Заранее извиняюсь, если вопрос дурацкий:-)
20.07.2009 21:39#
Школа-семинар по финслеровой геометрии
> Но алгебр бесконечно много. Выделены ли чем-нибудь эти три алгебры из бесконечного множества других алгебр с чисто алгебраической точки зрения? И с точки зрения множества возможных функций на этих алгебрах.

Вы попали в самую точку. Как известно, хотя алгебра кватернионов и считается объективно выделенной наличием обратных у всех чисел кроме нуля, на них не возможен полноценный аналог теории аналитических функций кватернионной переменной по образу и подобию ТФКП. Мешает этому бедная (всего 15-ти параметрическая) группа конформных преобразований четырехмерного евклидова пространства, которому данная алгебра полностью соответствует. А в перечисленных выше трех алгебрах, вернее, в соответствующих им финслеровых пространствах конформные группы все как одна бесконечномерны, и устроены они примерно также как бесконечномерная группа конформных преобразований евклидовой плоскости, на которой именно из-за этого возможна содержательная таория аналитических функций комплексной переменной. Точно также обстоят дела с аналитическими функциями от этих трех гиперкомплексных переменных, они не менее (и даже более) богатые, чем аналитические функции комплексной переменной. Что самое, пожалуй, замечательное, так это то, что каждой аналитической функции, по крайней мере от гиперчисел R+R+R+R, можно тпридать физический смысл, на подобии того как приписывается фихзическая интерпретация любой аналитической функции от комплексной переменной. Только в нашем случае появляется возможность описывать не частные случаи двумерных потенциальных и соленоидальных полей, а их обобщения на четырехмерное пространство-время.
21.07.2009 13:55#
Школа-семинар по финслеровой геометрии
>Что самое, пожалуй, замечательное, так это то, что каждой аналитической функции, по крайней мере от гиперчисел R+R+R+R, можно тпридать физический смысл, на подобии того как приписывается фихзическая интерпретация любой аналитической функции от комплексной переменной. Только в нашем случае появляется возможность описывать не частные случаи двумерных потенциальных и соленоидальных полей, а их обобщения на четырехмерное пространство-время.

Спасибо, это очень интересно. А можно написать произведения образующих этой алгебры? Чтобы ее себе представить. Табличка 4х4 это, конечно, относительно долго рисовать, но может правило какое есть? Впрочем, порождающих произведений вроде должно быть не много. А их достаточно.
21.07.2009 17:04#
Школа-семинар по финслеровой геометрии
> Спасибо, это очень интересно. А можно написать произведения образующих этой алгебры? Чтобы ее себе представить? Табличка 4х4 это, конечно, относительно долго рисовать, но может правило какое есть?

Таблица Кэли очень простая, так как данная четырехкомпонентная алгебра R+R+R+R обладает коммутативно-ассоциативным умножением. Умножение ее четырех базисных единиц, образующих финслеров аналог ортонормированного базиса имеет вид подозрительно напоминающий таблицу умножения кватернионов, но без знаков минусов и антикоммутативности:
1^2=i^2=j^2=k^2=+1; ij=ji; ik=ki; jk=kj. Для произведений мнимых единиц с вещественной законы не выписываю за их тривиальностью.

Эти числа в ключают в себя в качестве подалгебры так называемые гиперболически комплексные числа, которым в геометрическом плане вместо евклидовой плоскости соответствует псевдоевклидова плоскость. Последние обладают умножением, которое для базисных единиц имеет похожий вид:

1^2=i^2=+1;

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

P.S. Забыл в законе умножения указать правила связывающие гиперболически мнимые единицы между собой:

ij=ji=k; ik=ki=j; jk=kj=i.
22.07.2009 11:45#
Школа-семинар по финслеровой геометрии
> ij=ji=k; ik=ki=j; jk=kj=i.

Спасибо, ясно. Вообще-то я немного баловался вопросом, можно ли устроить что-то вроде ТФКП на алгебрах. Чисто по любительски:-) И при этом я не обратил внимания, на то, что комплексная плоскость и геометрия на ней существенная часть ТФКП. Впрочем, и без геометрии ТФКП имеет вполне приличный смысл. Меня больше занимали некоммутативные алгебры и у меня получилось, что в общем случае аналог ТФКП не возможен. Ясно, что хотябы полиномы (для начала) должны быть аналитическими функциями. А для этого алгебра должна обладать неким свойством, которое я назвал "обобщенной коммутативностью":



Обозначения и то, что S невырождена, думаю, понятно. Классификация таких обобщенно коммутативных алгебр, вроде, должна сводиться к классификации канонических (например жордановых) форм матриц и, конечно же, любая коммутативная алгебра является обобщенно коммутативной. А вот комутативная супералгебра не является обобщенно комутативной. Поэтому и приходится вводить на ней лишь частные производные по четной и нечетной частям. Но, конечно, все это было просто небольшое баловство. Навеянное анализом Владимирова-Воловича на коммутативных супералгебрах.
22.07.2009 14:40#
Школа-семинар по финслеровой геометрии
> А для этого алгебра должна обладать неким свойством, которое я назвал "обобщенной коммутативностью"

Как не странно это прозвучит, при готовности вовсю заниматься самыми разными и весьма экзотическими алгебрами, физики и математики оставили некоторые пробелы в понимании конструкций самых простых их представителей. В частности, с самым обычным коммутативным и ассоциативным умножением, причем такие пробелы есть даже в алгебре всего с двумя компонентами. Речь о двойных числах - гиперболическом аналоге комплексных чисел. Говорю об этом вполне ответственно, так как рядом со мной работают геометры, являющиеся профессионалами самого высокого класса и консультаций от них я получил предостаточно.
Оказывается, на двойных числах возможен анализ связанный с функциями совершенно симметрично устроенными как и в ТФКП. Хотя очень многое тут было сделано еще много лет назад, но ПОЛНОСТЬЮ аналогичная ТФКП теория, но уже для двойной переменной, так до сих пор и не построена. Что самое важное, расширить саму ТФКП на три или четыре измерения действительно не возможно, а вот расширение практически полностью ей аналогичной теории функций двойной переменной - вполне осуществимо. Примеры приводившихся выше алгебр - тому подтверждение. Одна загвоздка, геометрия при числе измерений больше двух уже не привычная евклидова или псевдоевклидова, а линейного финслерова пространства с метрическими формами, в которые компоненты входят в целых степенях обязательно выше двойки. А такие геометрии также оказались слабо изученными. Вот и приходится теперь изучать оставшиеся белые пятна, для чего нужны специалисты, которых никто и нигде сегодня не готовит. Собственно, наша Школа-семинар и есть простейший способ попытаться подготовить таких специалистов. С одной стороны, разбирающихся в области гиперкомплексных алгебр, а с другой - в геометрии пространств с особого вида финслеровыми метрическими функциями.
22.07.2009 21:48#
Школа-семинар по финслеровой геометрии
>Что самое важное, расширить саму ТФКП на три или четыре измерения действительно не возможно, а вот расширение практически полностью ей аналогичной теории функций двойной переменной - вполне осуществимо. Примеры приводившихся выше алгебр - тому подтверждение. Одна загвоздка, геометрия при числе измерений больше двух уже не привычная евклидова или псевдоевклидова, а линейного финслерова пространства с метрическими формами, в которые компоненты входят в целых степенях обязательно выше двойки

Честно говоря, мне не понятно почему вы так "напираете" на то, что преобразования, задаваемые аналитическими функциями должны быть комформными. Ну будут другие, ну и что? Вообще в чисто аналитическом аспекте аналог ТФКП вполне просматривается на любых обобщенно коммутативных алгебрах. А уж какая с этой теорией будет связана геометрия (или даже вообще никакая не будет связана), это хоть и довольно важный, но всеже второстепенный вопрос имхо. Конечно никто никому не запрещает исследовать тот узкий класс алгебр, о котором вы говорите. Но может всеже есть какие-то еще причины, ограничиваться именно такими алгебрами?
22.07.2009 23:53#
Школа-семинар по финслеровой геометрии
> Честно говоря, мне не понятно почему вы так "напираете" на то, что преобразования, задаваемые аналитическими функциями должны быть комформными.

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

> Ну будут другие, ну и что? Вообще в чисто аналитическом аспекте аналог ТФКП вполне просматривается на любых обобщенно коммутативных алгебрах.

А можно не абстрактно, а вполне конкретно. В частности, на какой обобщенно коммутатичной алгебре и как реализуется некий аналог комплексного потенциала?

> Конечно никто никому не запрещает исследовать тот узкий класс алгебр, о котором вы говорите. Но может всеже есть какие-то еще причины, ограничиваться именно такими алгебрами?

На мой взгляд, такие причины есть, и связаны они ни с чем иным, как с группами симметрий, имеющими метрические инварианты. В частности, с конформными, имеющими в качестве инварианта угол. Предложите мне равноценную замену и я готов задуматься над единственностью рациональности своего подхода..
23.07.2009 09:18#
Школа-семинар по финслеровой геометрии
>Просто потому, что именно так обстоит дело в случае аналитических функций комплексной переменной (а также и двойной). Если Вы или кто-то другой приведет пример содержательной теории неких аналитических функций не связанных с конформными пробразованиями (до сих пор мне с такими познакомиться не удавалось), готов задуматься над ущербностью собственной логики

Ну причем здесь "ущербность логики", об этом никто не говорит. Просто хотелось бы понять почему вы считаете таким уж важным ингредиентом ТФКП теорию конформных отображений. Ну вот возмем обычную ТФКП и выкинем из нее эту часть. Да, что-то полезное при этом потеряем. Во всяком случае решать двумерные задачи электростатики и т.п. без этого не сможем. Но останется теория вычетов, применение к вычислению интегралов, сходимость степенных рядов в радиусе до ближайшей сингулярности, применение в анализе решений дифуравнений, метод перевала, теория аналитических продолжений... Наверное я еще многое забыл на вскидку:-)

>Естественно, важна не просто декларация на счет свойств неких функций рассматричаться как аналитические

Это не декларация. А условие



Т.е. реализация производной Фреше как мультипликативного оператора. Кстати, анализ Владимирова-Воловича из этого, в значитальной мере, и исходит, я не зря его упомянул. Хренников в своей книге "Суперанализ" прямо подчеркивает аналогию с ТФКП.

>А можно не абстрактно, а вполне конкретно. В частности, на какой обобщенно коммутатичной алгебре и как реализуется некий аналог комплексного потенциала?

Вот уж ни в жизнь бы не подумал, что теория комплекного потенциала есть существенная часть ТФКП. Это, скорее, приложение ТФКП к физическим задачам. Вещь, безусловно, полезная. Но всеже уравнение Лапласа... Это что-то такое простенькое и скучное. Ну не с помощью ТФКП будем решать, ну и что. Будем решать, к примеру, методом Фурье. А если область сложная -- просто численно на сетке. Или обобщениями метода отражений. Да мало ли способов...

Кстати, уравнение Лапласа конечно же масштабно инвариантно. Но есть много других содержательных уравнений, которые этим свойством уже не обладают. И, соответственно, ни о какой конформной инвариантности применительно к ним и речи быть не может.

В общем то, что вы пишите, это конечно интересно и содержательно. Просото у меня вызвало некоторое неприятие утверждение, что другие варианты, без конформной инвариантности, бессодержательны. Как-то это черезчур считать все, где нет такой инвариантности, бессодержательным.
23.07.2009 12:39#
Школа-семинар по финслеровой геометрии
> Ну вот возмем обычную ТФКП и выкинем из нее эту часть. Да, что-то полезное при этом потеряем.

Вообще-то, сделать такое выкидывание невозможно в принципе. Ну, или, вернее, что бы сделать комплексную плоскость максимально похожей на квадратичные пространства размерности три и Выше - нужно забыть о всех конформных преобразованиях двумерной плоскости, кроме тех подгрупп, что имеются у всех остальных. По теореме Лиувиля те сводятся к трансляциям (n-параметрическая подгруппа), вращениям (n(n-1)/2-параметрическая подгруппа), дилатациям (1-параметрическая подгруппа) и к инверсиям относительно сфер (еще n-параметрическая подгруппа), итого получается (n+1)(n+2)/2-параметрическая конформная группа. Для двумерной евклидовой плоскости это дает 6-параметрическую группу, которая на языке аналитических функций комплексной переменной целиком реализуется в одних только дробнолинейных функциях следующего вида:

F(z)=(аz+b)/(cz+d),

где a,b,с,d- комплексные числа, то есть имеется 8 параметров, независимыми из которых являются те самые 6.

Ну и чего содержательного можно построить на основе такого множества функций?

Конечно, можно позабыть о комплексной структуре аналитических функций и вместо пары сопряженных U и V - целиком сосредоточиться на одной из них. В результате получится аналог обычного (не комплексного) потенциала. Но при этом мгновенно теряется симметрия. Вместо того чтобы иметь n (или больше) взаимозаменяемых скалярных функций, все здание начинает строиться на одной единственной. Конечно, построить кое что содержательное при этом также можно, но до красоты и содержательности ВСЕХ аналитических функций комплексной переменной, все же, далеко. Во всяком случае, с моей точки зрения..

> Но останется теория вычетов, применение к вычислению интегралов, сходимость степенных рядов в радиусе до ближайшей сингулярности, применение в анализе решений дифуравнений, метод перевала, теория аналитических продолжений... Наверное я еще многое забыл на вскидку:-)

Вам известны аналоги теории вычетов, скажем, в пятимерном евклидовом пространстве? Или простые (по аналогии с комплексной плоскостью) методы вычисления интегралов в пятимерии? Если нет, то нет оснований ожидать, что это осталось бы на комплексной плоскости, если б из нее была выброшена почти вся конформная группа и остались лишь круговые преобразования..

Сходимость - да, останется, но это, кажется, чуть ли не топологическое свойство и само по себе мало что дает.

Другими словами, без той подгруппы конформных преобразований, что отличает ее на комплексной плоскости от конформной группы многомерных квадратичных пространств - на плоскости останется только то, что есть в последних, а это, к сожалению, не так уж и много. Да, многомерие дает некоторый дополнительный простор и возможности, но до бесконечного разнообразия, которое приносится в любое из пространств с бесконечномерной конформной группой, все равно, далеко.
Последнее становится особенно важно, если понять, что в многомерных финслеровых пространствах с бесконечной конформной группой есть как правило место для еще более интересных групп непрерывных симметрий, чем конформные. Эти симметрии своим появлением обязаны тому обстоятельству, что кроме длин и углов в качестве метрических инвариантов в многомерных финслеровых пространствах появляются их обобщения на САМОСТОЯТЕЛЬНЫЕ меры фигур не только из одного и двух векторов, но из трех и более. Такое, похоже, возможно только в пространствах с целыми степенями метрических форм, начиная с трех и выше, да и то не во всех.

> Хренников в своей книге "Суперанализ" прямо подчеркивает аналогию с ТФКП.

У Вас случайно нет соответствующей электронной версии? Возможно, что какие то пересечения с теми более хитрыми непрерывными симметриями, о существовании которых в некоторых финслеровых пространствах я написал выше, и есть.

> Но всеже уравнение Лапласа... Это что-то такое простенькое и скучное.

Вы не обращали внимания на удивительный факт, что двумерные уравнения Лапласа и Даламбера инвариантны относительно бесконечномерной группы симметрий, а, например, четырехмерные - относительно лишь 15-ти параметрической? Обычно это считают следствием некой вырожденности двумерного случая. Однако это не совсем так. Оказывается, существуют финслеровы обобщения уравнений Лапласа и Даламбера, которые будут инвариантны относительно бесконечномерных групп симметрий причем именно в многомерии. Решения этих многомерных уравнений уже трудно назвать элементарными как было в двумерном случае, а обобщение метода комплексного потенциала имеет все шансы относиться уже к многомерным и нестационарным физическим задачам. То есть, имеется многомерное обобщение метода комплексного потенциала на весьма не тривиальные задачи. Более того, похоже, что можно говорить об аналогичном положении вещей и для задач, не сводимых к потенциалам, однако генерирование функций являющихся решениями связанными с соответствующими физическими ситуациями может оказаться лишь не на много сложнее устроенным, чем удовлетворение двумерным условиям аналитичности Коши-Римана. Надеюсь, я хоть немного понятно изъясняюсь?

> Ну не с помощью ТФКП будем решать, ну и что. Будем решать, к примеру, методом Фурье. А если область сложная -- просто численно на сетке. Или обобщениями метода отражений. Да мало ли способов...


Разница с тем, куда я клоню, все же, есть и очень существенная. Я говорю о прнципиальной возможности конструирования таких супераналитичных гиперкомплексных функций, что им АВТОМАТИЧЕСКИ оказываются соотвествующими совсем даже не тривиальные физические объекты и поля, причем реализующиеся не на простеньких двумерных плоскостях, а в четырехмерном финслеровом пространстве-времени, причем с позиций псевдоримановой геометрии, такие ситуации должны обладать собственно кривой псевдоримановой геометрией, а с финслеровой - плоской. Грубо говоря, вместо поиска решений нелинейных дифференциальных уравнений (правда, специфического сверхсимметрического вида) - обычный перебор супераналитических функций и нахождение естественных правил физических их интерпретаций как полей в пространстве-времени.

> Кстати, уравнение Лапласа конечно же масштабно инвариантно. Но есть много других содержательных уравнений, которые этим свойством уже не обладают. И, соответственно, ни о какой конформной инвариантности применительно к ним и речи быть не может.

Да, таких уравнений полно, но кто сказал, что именно они наиболее адекватно связаны с реальными физическими ситуациями? Я, например, уверен, что все они только определенного вида приближения для описания того, что на самом деле обладает бесконечными непрерывными симметриями, причем конформная среди них далеко не самая интересная. Правда, на таком пути есть одно серьезное НО. Необходимость отказаться от связи геометрии пространства-времени с псевдоримановой метрикой на связь с метрикой финслеровой, причем не произвольной, а имеющей самое богатое из всех возможных множеств непрерывных симметрий. Кто как, а я на такую замену морально давно готов. Остается найти новые правила физических интерпретаций нового пространства-времени, что мы потихонечку и делаем..

> В общем то, что вы пишите, это конечно интересно и содержательно. Просото у меня вызвало некоторое неприятие утверждение, что другие варианты, без конформной инвариантности, бессодержательны. Как-то это черезчур считать все, где нет такой инвариантности, бессодержательным.

Согласен, наверное, правильнее будет говорить не о бессодержательности иных вариантов, а просто о дополнительной содержательности, которая появляется при замене метрик имеющих малые множества непрерывных симметрий (я осознанно не ограничиваюсь одними только группами симметрий), на те, где такие множества имеют мощность бОльшую, чем мощность континуума. Четырехмерное пространство с финслеровой метрикой Бервальда-Моора - одно из таких пространств.
23.07.2009 14:38#
Школа-семинар по финслеровой геометрии
>Вообще-то, сделать такое выкидывание невозможно в принципе

Увы, видимо у меня недостаточна подготовка:-( Но когда я, в свое время, изучал обычную ТФКП, то тот факт, что аналитические функции задают конформные преобразования плоскости, выглядел в виде некого "бесплатного приложения". Приятного приложения, но всеже приложения, заранее это не предпологалось:-) Вы все время пишите о преобразованиях плоскости или чего-то геометрически более сложного. Я же рассуждаю с позиций алгебры и матанализа и не понимаю, почему таки не может быть ТФКП (или ее аналога) вообще безотносительно к каким-либо преобразованиям плоскости, вообще без представления комплексных чисел точками на плоскости. Точнее нечто геометрическое в итоге всеже получится (элемент алгебры представляется n-кой чисел, а это уже почти точка некого пространства), но что получится, то и получится. Я не вижу причин предпологать что-либо ЗАРАНЕЕ на счет этих геометрических структур.

>Конечно, можно позабыть о комплексной структуре аналитических функций и вместо пары сопряженных U и V - целиком сосредоточиться на одной из них.

Нет-нет, об этом речи не идет. Собственно условия представимости производной Фреше в виде мультпликативного оператора это и есть соотношения Коши в случае обычного комплексного анализа. Т.е. для ЛЮБОГО dz должно быть





при ОДНОЙ И ТОЙ ЖЕ функции f '. Что и приводит к стандартным условиям на U и V. В случае же функций на произвольной алгебре это условие порождает ограничения на алгебру (комплексная алгебра им удовлетворяет, как и любая коммутативная алгебра, но не только коммутативная), если хотеть, чтобы не только линейные функции были аналитическими. Более чем на полиномах я не анализировал, но любые функции естественно рассматривать как пределы полиномов (и вот тут, как раз, возникнут особые точки, когда предел расходится). Впрочем, профессиональные математики тут наверняка найдут кучу вопросов, не приходящих мне в голову:-) Как я уже говорил, чистая математика -- не моя профессия. Так что я ни на чем не настаиваю.
23.07.2009 20:54#
Школа-семинар по финслеровой геометрии
> когда я, в свое время, изучал обычную ТФКП, то тот факт, что аналитические функции задают конформные преобразования плоскости, выглядел в виде некого "бесплатного приложения". Приятного приложения, но всеже приложения, заранее это не предпологалось:-)

Мне это известно, и все же, все обстоит с точностью до наоборот. Прежде всего, для построения аналитических функций в неком метрическом (в финслеровом и псевдофинслеровом смысле) пространстве должна присутствовать бесконечномерная конформная группа. Или иными словами, главное в геометрии именно непрерывные симметрии (помните Эрлангенскую программу Клейна?), а уж остальное - как получится. Можете проверить, в каждом из пространств, где такое наблюдается (бесконечная конформная группа) возможно определение не только функций, но и их производных не зависящих от направления дифференцирования, а также понятие аналитичности, причем практически такое же как на комплексной плоскости. Для примера можете рассмотреть псевдоевклидову плоскость. Конформная группа на ней именно что бесконечномерная. Отсюда и принципиальная возможность построения аналитических функций на этом пространстве. Есть аналогичные примеры и для многомерных пространтсв.

> Я не вижу причин предпологать что-либо ЗАРАНЕЕ на счет этих геометрических структур.

А ничего заранее и не предполагается. Просто берется некая произвольная метрическая (в псевдофинслеровом смысле метрики) геометрия и рассматриваются ВСЕ ее базовые метрические инварианты в число которых входят длина и угол. Если конформная группа оказывается не конечно-, а бесконечномерной, следовательно, имеет смысл искать алгебру, соответствующую данному пространству, причем гарантированно можно ожидать наличия не только такой алгебры, но и бесконечного разнообразия аналитических функций на ней. Не понимаю, что здесь может вызывать недоумение?

> Собственно условия представимости производной Фреше в виде мультпликативного оператора это и есть соотношения Коши в случае обычного комплексного анализа. Т.е. для ЛЮБОГО dz должно быть


>при ОДНОЙ И ТОЙ ЖЕ функции f '

Я говорю об определении производной без всяких остатков, то есть:

f(z+dz)-f(z)=f'(z)dz

точно также как на комплексной плоскости. Причем, что бы значение производной не зависило от направления дифференцирования. И именно для возможности ТАКОГО ее определения необходимо (полагаю, что и достаточно) наличия в соответствующем плоском финслеровом пространстве бесконечномерной конформной группы. Во всяком случае, мне еще ни разу не попадалось исключение из данного правила.

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

На счет аналога теории вычетов в многомерных квадратичных пространствах.. Вы, наверное, имели ввиду нечто вроде теории потенциала в таких пространствах и особые точки связываете со значениями координат, при которых потенциал принимает бесконечные значения? Если так, то да, некоторая схожесть с комплексным и гиперкомплексным потенциалом здесь прослеживается, но далеко не полная. Не хватает сопряженных скалярных функций, которых должно быть, минимум, n-1.
24.07.2009 13:19#
Школа-семинар по финслеровой геометрии
>Причем, что бы значение производной не зависило от направления дифференцирования. И именно для возможности ТАКОГО ее определения необходимо (полагаю, что и достаточно) наличия в соответствующем плоском финслеровом пространстве бесконечномерной конформной группы

Ну это должна быть теорема такая. Лично мне это совсем не очевидно. И, в тоже время, совершенно очевидно, что все это можно сделать вообще без ссылок на какие-то геометрии и бесконечномерные группы. Быть может это вообще одно и то же, только на разном языке. Но это надо как-то доказывать. Лично мне "алгебро-аналитический" язык ближе. И я геометрию готов рассматривать как следствие алгебраических соотношений, но никак не наоборот. Но если есть эквивалентность (но есть ли она) то это, в общем, дело вкуса.
24.07.2009 13:33#
Школа-семинар по финслеровой геометрии
> Ну это должна быть теорема такая. Лично мне это совсем не очевидно. И, в тоже время, совершенно очевидно, что все это можно сделать вообще без ссылок на какие-то геометрии и бесконечномерные группы. Быть может это вообще одно и то же, только на разном языке. Но это надо как-то доказывать. Лично мне "алгебро-аналитический" язык ближе. И я геометрию готов рассматривать как следствие алгебраических соотношений, но никак не наоборот. Но если есть эквивалентность (но есть ли она) то это, в общем, дело вкуса.

Я, кстати, также считаю, что Числа первее:) Весь вопрос в том, какие их свойства хотелось бы видеть в первую очередь. Геометрия хоть и вторична, но именно она (в своих финслеровых разновидностях) подсказывает в каком направлении рациональнее всего строить расширение обычного анализа. Без геометрии, полагаю, искть можно тысячелетия и так ничего и не найти. А вот когда (и если) при помощи геометрии станут понятны более интересные метрические инварианты плоских финслеровых пространств, чем длины и углы, то вот с преобразованиями, имеющими эти специфические инварианты и можно надеяться получить нечто вроде суперанализа. Во всяком случае, мне именно этот путь представляется наиболее эффективным.

Вы как то высказывали желание что-то почитать по теме. Возможно, подойдет вот это:

http://hypercomplex.xpsweb.com/page.php?lang=ru&id=357
24.07.2009 13:46#
Школа-семинар по финслеровой геометрии
>Геометрия хоть и вторична, но именно она (в своих финслеровых разновидностях) подсказывает в каком направлении рациональнее всего строить расширение обычного анализа.

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

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

Спросите. Это интересно. Лучше спросите даже в более общем ключе: можно ли определить аналитичность безотносительно к геометрии. Как делается в старой, доброй "школьной" ТФКП.
24.07.2009 13:29#
Школа-семинар по финслеровой геометрии
> Прежде всего, для построения аналитических функций в неком метрическом (в финслеровом и псевдофинслеровом смысле) пространстве

В принципе не понимаю, с какой такой радости аналитические функции должны быть в каком-либо метрическом пространстве! Что, если метрики (уж не важно финслеровой или еще какой) на их области определения нет, то это уже и не функции чтоли? Или их в ряд разложить нельзя? Или производную определить? Какое это все имеет отношение к метрике? Да никакого не имеет! Хотя, конечно, в качестве "добавки" метрика очень даже может быть (но может ведь и не быть!) и вполне возможно, что свойство аналитичности приводит к тем или иным интересным вещам с точки зрения этой метрики. Но это следствие, а не причина чисто аналитического (даже звучит так!), а не геометрического, свойства аналитичности.

24.07.2009 15:23#
Школа-семинар по финслеровой геометрии
> В принципе не понимаю, с какой такой радости аналитические функции должны быть в каком-либо метрическом пространстве!

Во всяком случае, для коммутативно-аccоциативных гиперкомплексных чисел мы с Григорием Ивановичем Гарасько показали, что на них всегда имеется бесконечное множество аналитических функций (а не только дробнолинейные, как у некоммутативных кватернионов), а также всегда имеется ествевенное соответствие с неким плоским финслеровым пространством, у которого бесконечная группа конформных преобразований. Причем показано, как связаны между собой производные от аналитических функций и коэффициенты конформного растяжения/сжатия. Не бог весть какое открытие, но, оказывается, до нас об этом факте не знали не только финслеристы, но и алгебраисты.

> Какое это все имеет отношение к метрике? Да никакого не имеет!

За все алгебры и аналитические функции на них не скажу, а вот для коммутативно-ассоциативных алгебра ОДНОЗНАЧНО порождает финслерову геометрию (квадратичная геоеметрия комплексных и двойных чисел - также частный случай финслеровой).

> конечно, в качестве "добавки" метрика очень даже может быть (но может ведь и не быть!)

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

> ИМХО алгебры как раз лучше поддаются классификации, чем геометрии. Не составляет непроходимой задачи описать все алгебры, допускающие аналитические функции на них. Но описать все геометрии...

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

> Спросите. Это интересно. Лучше спросите даже в более общем ключе: можно ли определить аналитичность безотносительно к геометрии. Как делается в старой, доброй "школьной" ТФКП.

Это я и сам могу сказать. Конечно, можно. Но зачем? Если алгебру рассматривать вне связанной с ней геометрией ее изучение только проигрывает, а иногда вообще буксует. Это демонстрирует пример тех же комплексных чисел, которые оставались во многом "вещью в себе", до тех пор пока Арган и Вессель независимо друг от друга не обнаружили их естетсвенную связь с геометрией квадратичной плоскости. Сегодня аналогичным образом обстоят дела с алгеброй двойных чисел, однако она во многом остается нераскрытой именно потому, что почти никем не рассамтривается в связи именно с геометрией, которая в данном случае геометрия псевдоевклидовой плоскости или двумерного плоского пространства-времени. Именно последнее поиогает понять, что же из себя представляют аналитические функции двойной переменной, тогда как с позиций чистой алгебры их ни физики, ни математики ни в грош не ставили. А зря..
24.07.2009 18:15#
Школа-семинар по финслеровой геометрии
>Это я и сам могу сказать. Конечно, можно. Но зачем?

А я сейчас приведу вам пример зачем:-) Вот возьмем алгебру кватернионов. С позиций геометрии понимание указанного вами факта, что на этой алгебре нет достаточно широкого класса аналитических функций, требует некоторого напряжения мозгов (я так и не вижу этого сразу). С алгебраической же точки зрения это утверждение тривиально: алгебра кватернионов не является обобщенно коммутативной. Кстати, рассматриваемая вами гиперболическая алгебра -- является (она даже не обобщенно, а просто коммутативна).

P.S. Придуманный мной термин "обобщенная коммутативность" как-то и длинен, и не отражает сути дела. Лучше бы его заменить на "квазикоммутативность", что я далее и буду делать.

P.P.S. А давайте поиграем в такую "игру". Вы мне приводите пример алгебры (даете ее таблицу умножения), а я вам сразу говорю, будет ли на этой алгебре бесконечно много аналитических функций. Вы потом проверяете это со своих геометрических позиций. Впрочем, вы и сами можете алгебраическую проверку сделать: формулу, определяющуюю квазикоммутативность, я приводил.

P.P.P.S.
>Не бог весть какое открытие, но, оказывается, до нас об этом факте не знали не только финслеристы, но и алгебраисты.

Вот будет забавно, если придуманные мной рассуждения на счет квазикоммутативности тоже не известны:-) Я это счел тривиальным и, пока не зашел разговор с вами, как-то об этом и не вспоминал уже года два или три.
24.07.2009 22:43#
Школа-семинар по финслеровой геометрии
> Вот возьмем алгебру кватернионов. С позиций геометрии понимание указанного вами факта, что на этой алгебре нет достаточно широкого класса аналитических функций, требует некоторого напряжения мозгов (я так и не вижу этого сразу).

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

> P.P.S. А давайте поиграем в такую "игру". Вы мне приводите пример алгебры (даете ее таблицу умножения), а я вам сразу говорю, будет ли на этой алгебре бесконечно много аналитических функций.

Давайте поиграем..
Проанализируйте алгебру октав (таблицу умножения, надеюсь, и сами знаете), а также кватернионов над полем комплексных чисел, вместо вещественных. То есть последние получаются заменой Н(R) на H(C), отсюда и таблица вылазит..

Если последняя алгебра у Вас, вдруг, выйдет квазикоммутативной (она вообще-то некоммутативна) - было бы любопытно посмотреть на условия аналитичности, которые должны выглядеть существенно хитрее обычных условий Коши-Римана..
25.07.2009 13:34#
Школа-семинар по финслеровой геометрии
>Проанализируйте алгебру октав (таблицу умножения, надеюсь, и сами знаете), а также кватернионов над полем комплексных чисел, вместо вещественных.

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

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

Если так, то похоже мы называем одними словами разные вещи, и требуется уточнение. В связи с этим у меня несколько вопросов:

1. При каких условиях функция называется аналитичной в точке в вашем геометричеком подходе?

2. Влечет ли такая "геометрическая аналитичность" разложимость функции в степенной ряд вблизи ?

3. Влечет ли разложимость в указанный ряд "геометрическую аналитичность" функции?

4. Является ли функция "геометрически аналитической" хотябы в какой-то области с размерностью, равной размерности алгебры, в случае алгебры "комплексных кватернионов"?

Естественно, выше предпологается, что пробегает некую алгебру, вообще говоря, отличную от алгебры комплексных чисел.

>А последние просто коммутативны (без всяких квази..).

Все коммутативные алгебры являются квазикоммутативными. В этом случе S -- единичная матрица.
25.07.2009 15:04#
Школа-семинар по финслеровой геометрии
> Если так, то похоже мы называем одними словами разные вещи, и требуется уточнение. В связи с этим у меня несколько вопросов:

1. При каких условиях функция называется аналитичной в точке в вашем геометричеком подходе?

За комплексные кватернионы ничего говорить не хочу. Мне они чужие. Если хотите посмотреть как вводится аналитичность на них, гляньте Кассандрова:

http://hypercomplex.xpsweb.com/page.php?lang=ru&id=156

Ну, а на родных мне коммутативно-ассоциативных числах аналитичность вводится точно также как на комплексных числах.

Я так понимаю, все остальные вопросы также относятся к комплексным кватернионам, поэтому не отвечаю, а отсылаю к работе человека, который эту алгебру выделяет среди остальных.

Вы, кажется, еще не приводили простейшего примера квазикоммутативной алгебры (желательно с размерностью не выше четырех) и как выглядят аналитические функции на них? Например, та же экспоненциальная функция? Ведь для нее некоммутативность умножения трансформируется в неассоциативность в сложении аргументов, а это как то некомильфо.. Или Ваши казианалитические функции не содержат экспоненциальной?
25.07.2009 15:22#
Школа-семинар по финслеровой геометрии
> Если так, то похоже мы называем одними словами разные вещи, и требуется уточнение. В связи с этим у меня несколько вопросов:

1. При каких условиях функция называется аналитичной в точке в вашем геометричеком подходе?

За комплексные кватернионы ничего говорить не хочу. Мне они чужие. Если хотите посмотреть как вводится аналитичность на них, гляньте Кассандрова:

http://hypercomplex.xpsweb.com/page.php?lang=ru&id=156

Ну, а на родных мне коммутативно-ассоциативных числах аналитичность вводится точно также как на комплексных числах.

Я так понимаю, все остальные вопросы также относятся к комплексным кватернионам, поэтому не отвечаю, а отсылаю к работе человека, который эту алгебру выделяет среди остальных.

Вы, кажется, еще не приводили простейшего примера квазикоммутативной алгебры (желательно с размерностью не выше четырех) и как выглядят аналитические функции на них? Например, та же экспоненциальная функция? Ведь для нее некоммутативность умножения трансформируется в неассоциативность в сложении аргументов, а это как то некомильфо.. Или Ваши казианалитические функции не содержат экспоненциальной?
25.07.2009 15:52#
Школа-семинар по финслеровой геометрии
>Вы, кажется, еще не приводили простейшего примера квазикоммутативной алгебры (желательно с размерностью не выше четырех)

Это в т.ч. коммутативные алгебры. Или, например, некоммутативная алгебра с таблицей умножения



Хм... Как-то странно выглядит результат трансляции самой обычной ТеХ-овской формулы. Но, думаю, понятно.

>и как выглядят аналитические функции на них?

Прежде всего, чтобы была аналогия с ТФКП, я потребовал, чтобы аналитическими были полиномы любого порядка. Отсюда из условия независимости производной от направления и возникают ограничения на алгебру. Вопросы сходимости я не изучал, но не видно причин, почему бы не были аналитическими все функции, представимые степенными рядами. Полином и есть чаcтный случай степенного ряда. А ряд -- предел последовательности полиномов. Отказываться от представимости аналитической функции степенным рядом мне кажется очень проблематичным. Хотябы уже потому, что на этом основана теория аналитического продолжения. Я бы даже сказал, что вместе в независимостью производной от направления степенные ряды это краеугольный камень ТФКП.

>Например, та же экспоненциальная функция?

Не вижу причин, почему бы ее не задать обычным степенным рядом.

>Ведь для нее некоммутативность умножения трансформируется в неассоциативность в сложении аргументов, а это как то некомильфо

Скорее не неассоциативность, а в отсутствие правила "произведение экспонент есть экспонента от суммы". В общем-то совершенно привычная вещь, например, в операторных алгебрах, применяемых в квантовой механике. Или в теории групп Ли.

>на родных мне коммутативно-ассоциативных числах аналитичность вводится точно также как на комплексных числах.

В обычной "школьной" ТФКП аналитичность никак не связана с геометрией. Во всяком случае сначала, на уровне определения и основных свойств. Это лишь потом выясняется, что аналитические функции на плоскости дают конформные отображения. Вот я и подумал, что может у вас, при постановки геометрии "во главу угла", может быть по другому. Тем более, если на комплексных кватернионах появляется очень много аналитических функций (хоть это уже не к вам). Легко показать, что для комплексных кватернионов (как и для обычных)уже для функции производная зависит от направления. Естественно считать неаналитической функцией. Полиномы и степенные ряды будут неаналитичными и подавно.

Забавно, что для того, чтобы был аналитичным любой полином, достаточно чтобы была аналитична функция . Если есть возможность "протащить" слева направо через один множитель (не обязательно чтобы при этом не менялся этот множитель, он при этом может превращаться в любой элемент алгебры НЕ ЗАВИСИМЫЙ от ), то, повторяя эту операцию несколько раз, можно "протащить" и через любую степень. Для независимости производной от направления обязан быть справа (если левая производная). Но не должно получаться чего-то вроде того, что получается в общем случае для : . Вот отсюда и возникает проблема "протаскивания" . Естественно, что "протаскивание" направо должно быть осуществимо ТОЖДЕСТВЕННО, для как угодно "направленного". Отсюда сразу и получается ранее приведенное мной равенство, определяющее условие квазикоммутативности алгебры.
25.07.2009 17:55#
Школа-семинар по финслеровой геометрии
> (1)

Понятно. Так у Вас в Этой алгебре, похоже, нет ни единицы, ни деления. А как же тогда быть с функциями вида 1/z? Да и получение в качестве z^2 тождественно всегда нуля выглядит не слишком обнадеживающе.

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

С другой стороны, то, что Вы говорили про алгебру комплексных кватернионов меня не удивляет и не растраивает. Я сам часто говорил Кассандрову, что получаемая алгебра оказывается мало естественной. И от кватернионов уже ушли (на тех хоть деление было), и нормальной аналитичности не приобрели. Ко всему прочему, построение картинок, илюстрирующих поведение якобы физических объектов, вытекающих из его аналитичности, сопряжено с колоссальными вычислительными трудностями. Нет, все же, если для четырехмерной физики действительно желательно соответствие с некой алгеброй, та должна быть устроена на подобии действительных, комплексных и двойных чисел, а не как-то иначе.
26.07.2009 13:21#
Школа-семинар по финслеровой геометрии
>Понятно. Так у Вас в Этой алгебре, похоже, нет ни единицы, ни деления.

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

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

>Да и получение в качестве z^2 тождественно всегда нуля выглядит не слишком обнадеживающе.

Нет, тождественный нуль не получается. Там же три образующих. Вот когда будете возводить в квадрат элемент общего вида, "смешанные" переменные останутся.

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

Я не думаю, что в рамках математики следует ориентироваться на физику. Скорее нужно ориентироваться на общность конструкций. А физически интересные конструкции пусть будут частным случаем.
26.07.2009 17:46#
Школа-семинар по финслеровой геометрии
> Да, деления я в общем случае не требую. Но это же только частный пример, в другом примере деление может быть.

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

> Кстати, не сложно написать в общем виде соотношения типа Коши-Римана для любой квазикоммутативной алгебры.

Любопытно..

> Поскольку вы специализируетесь именно на коммутативных алгебрах, мне кажется, что такая дополнительная выделенность именно коммутативных алгебр вам придется по душе.

Да, лишний аргумент никогда не помешает.

> Нет, тождественный нуль не получается. Там же три образующих. Вот когда будете возводить в квадрат элемент общего вида, "смешанные" переменные останутся.

Не понимаю. Проверяю:

z^2=(ae_1+be_2+ce_3)^2=(ae_1+be_2+ce_3)(ae_1+be_2+ce_3)=
=abe_1e_2+bae_2e_1+ace_1e_3+cae_3e_1+bce_2e_3+cbe_3e_2=abe_3-bae_3+ace_2-cae_2+bce_1-cbe_1=0+0+0

О каких смешанных парах Вы говорили?

> Я не думаю, что в рамках математики следует ориентироваться на физику. Скорее нужно ориентироваться на общность конструкций. А физически интересные конструкции пусть будут частным случаем.

Ну, так меня то интересует именно физика, и конструкции, которые не смогут оказаться с нею связанными а'приори - не шибко интересуют. Более того, интересуют не просто пригодные в прикладных целях алгебры, а такие, что бы метод комплексного потенциала, который работает только для двух независимых измерений, годился бы и для четырехмерного пространства-времени. Грубо говоря, задал, руководствуясь некими обобщенными условиями супераналитичности, какую-то сложную функцию, а ей автоматически ставится в соответствие целый Мир, причем сразу во всем своем пространстве и во всем времени. Пока вероятность получить нечто похожее на R+R+R+R имеется... Не хватит вещественных сумм, можно перейти к комплексным C+C+C+C... Не хватит их такой конструкции есть еще один вариант в запасе. Однако пока и с первым вариантом белых пятен хватает.
26.07.2009 21:23#
Школа-семинар по финслеровой геометрии
>Не понимаю. Проверяю:

О-о-пс... ошибся. Не обратил внимания, что всегда будут пары eiej+ejei

>> Кстати, не сложно написать в общем виде соотношения типа Коши-Римана для любой квазикоммутативной алгебры.
>Любопытно.

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

>Да, лишний аргумент никогда не помешает.

И я не вижу, как его можно получить, кроме как путем "погружения" коммутативных алгебр в любые, допускающие аналитические функции. Конечно тут вопрос о том, какой именно набор функций мы "обязываем" быть аналитическими. В конце концов, линейные функции всегда аналитические, на любой алгебре:-) Я взял любые полиномы. Для определения полиномов, кстати, деление не нужно.

27.07.2009 13:43#
Школа-семинар по финслеровой геометрии
Обещанные соотношения Коши-Римана.

Но сначало конкретизация определений. Цитирую свою старую "писанину":-)
В общем-то банальности, но для конкретизации где какой индекс и т.п.

Так как алгебра это линейное пространство и есть дистрибутивность, то для
того, чтобы задать умножение, достаточно его определить на элементах
некого базиса :




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

Вообще говоря, структурные константы это совершенно произвольный набор
чисел. Но если наложить требование ассоциативности умножения




то возникают ограничения:




откуда следует:




Условие, вытекающие из квазикоммутативности тоже можно записать как ограничение на структурные константы. Еще маленькая цитата:



Ну и теперь цитата на счет соотношений Коши-Римана.


Выведем еще соотношения типа Коши-Римана. Пусть . Тогда
. Запишем также , где без индекса означает всю совокупность "координат" . Мы можем записать


Но с другой стороны, обозначая производную от через , пишем:




Приравнивая правые части и воспользовавшись структурными константами алгебры, получаем:



Величны можно исключить. Сворачиваем полученное равенство с
и используем соотношение между структурными константами,
следующее из ассоциативности. Получаем:




Далее:




И в итоге:



Это уравнение и есть аналог соотношения Коши-Римана.

Конец цитирования.

Замечу, что проверку я делал только на обычной компелексной алгебре. Действительно записанные общие равенства дают обычные соотношения Коши-Римана. Еще. При коммутативной алгебре S -- единичная матрица, что позволяет немного упростить формулу.



P.S. Забавно смотреть на получившуюся нумерацию формул:-) А все из-за "хитрости" програмистов. Вместо того, чтобы просто и без затей сделать нормальную трансляцию из полноценного ТеХ-а в хтмл, надо обязательно затеять специальные средства для трансляции только формул:-)
27.07.2009 19:32#
putnik
Школа-семинар по финслеровой геометрии
> P.S. Забавно смотреть на получившуюся нумерацию формул:-) А все из-за "хитрости" програмистов.

Нет тут никакой "хитрости"... :-)
Если писать все формулы в рамках одних кавычек, то и их нумерация идет нормально, то бишь последовательно. :-)
27.07.2009 20:43#
Школа-семинар по финслеровой геометрии
> Это уравнение и есть аналог соотношения Коши-Римана.

> Конец цитирования.

> Замечу, что проверку я делал только на обычной компелексной алгебре.

Хоть Вы и пишите, что не математик, но мыслите точь в точь как они. Недавно рассказали анекдот. Математика спрашивают: как можно представить куб в четырехмерном пространсте. Тот говорит: нет ничего проще, представляете себе куб в n-мерном пространстве и приравниваете n к четырем.

Я не математик и не умею мыслить общими случаями, зато частными за тридцать лет общения с парой коммутативно-ассоциативных алгебр научился вполне сносно. Можно ли из Ваших формул получить хоть одну конкретную алгебру (с размерностью не выше четырех), причем попроще. И именно для нее записать условия обобщенной аналитичности? Желательно без случаев, когда уже z^2 оказывается расной нулю всегда..
28.07.2009 14:45#
Школа-семинар по финслеровой геометрии
>Хоть Вы и пишите, что не математик, но мыслите точь в точь как они.

Ну я всеже профессиональный физик-теоретик:-) Не математика, но немножко похоже.

>Можно ли из Ваших формул получить хоть одну конкретную алгебру (с размерностью не выше четырех), причем попроще. И именно для нее записать условия обобщенной аналитичности

Дело в том, что я не задавался задачей придумывать алгебры. А задавался задачей написать соотношения для ЛЮБОЙ алгебры, допускающей аналитичность полиномов. Условия, что я написал, это соотношения для любой квазивоммутативной (в т.ч. комутативной) алгебры. Например для обычной комплексной алгебры. А также для гиперболически комплексной алгебры. Для ЛЮБОЙ. Из таблицы умножения определяем структурные константы (собственно эти структурные константы И ЕСТЬ таблица умножения), подставляем в формулу вместо букв числа и получаем конкретные условия типа Коши-Римана.

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

>частными за тридцать лет общения с парой коммутативно-ассоциативных алгебр научился вполне сносно

Подставте структурные константы этих алгебр (в виде чисел) в приведенную формулу и получите соотношения для них. Таблицу умножения этих алгебр знаете, она прямо и сразу и определяет структурные константы. Структурные константы это вообще просто такой способ записи таблицы умножения.
28.07.2009 16:37#
Школа-семинар по финслеровой геометрии
> Условия, что я написал, это соотношения для любой квазивоммутативной (в т.ч. комутативной) алгебры. Например для обычной комплексной алгебры. А также для гиперболически комплексной алгебры. Для ЛЮБОЙ.

Это я понимаю. Я не понимаю, существуют ли и если да, то как выглядят алгебры чисто квазикоммутативные, которые не обладают обычной коммутативностью.

> Подставте структурные константы этих алгебр (в виде чисел) в приведенную формулу и получите соотношения для них.

Для коммутативно-ассоциативных чисел мы и так знаем аналоги условий Коши-Римана, а вот для чисто квазикоммутативной алгебры я так и не понял, в чем будет специфика этих условий.

> Таблицу умножения этих алгебр знаете, она прямо и сразу и определяет структурные константы.

Это мне понятно, не понятно к какая разница с таблицами умножения Ваших квазикоммутативных.



> Структурные константы это вообще просто такой способ записи таблицы умножения.

Не имею ничего против.

29.07.2009 07:46#
Школа-семинар по финслеровой геометрии
>Это я понимаю. Я не понимаю, существуют ли и если да, то как выглядят алгебры чисто квазикоммутативные, которые не обладают обычной коммутативностью

Это требует некого исследования. Идея (недавно пришедшая в голову) состоит в следующем. Пусть размерность n задана. Определим n матриц , составив их из структурных констант и интерпретируя последний индекс как номер матрицы (первые два -- матричные индексы соответственно). Тогда условие квазикоммутативности можно записать в матричном виде



где штрих означает транспонирование.

Все матрицы должны удовлетворять этому уравнению. Другими словами, у матричного уравнения



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

Конечно нужен вид матрицы S. Можно показать, что S можно взять в каноническом жордановом виде. Таких канонических форм матрицы заданной размерности конечное (и довольно небольшое при не очень больших n) число. Просто перебрать по очереди. Для заданной S уравнение



это однородное линейное уравнение на матричные элементы. Его можно переписать в более привычном виде, "выстроив в столбец" искомые матричные элементы матрицы X. Чтобы такое уравнение имело решение, надо чтобы детерминант соответсвующей матрицы, составленный из матричных элементов S (но это уже другая матрица, большей размерности) был нулевым. Это условие приводит к ограничениям на параметры в канонической жордановой форме матрицы S. Ну а потом, чтобы было не одно, а несколько решений, надо еще делать то же самое с минорами того же уравнения. Решения (т.е. фактически матрицы ) также при этом находятся. Линейная система уравнений решается без проблем.

В общем если проделать эту не сложную, но длинную и нудную работу, можно построить все квазикоммутативные алгебры заданной размерности и, тем самым, выяснить, бывают ли интересные некоммутативные но при этом квазикоммутативные алгебры. Более нетривиален вопрос, бывают ли такие алгебры некой, не известной заранее размерности. Существенно, что так будут построены именно ВСЕ алгебры размерности n. Вопроса "а может еще какая есть" при этом не возникнет. Студента-курсовика толкового бы для этого... Впрочем, нынче такие студенты, что им лучше этого не поручать. Исключения бывают. Но уж очень редко.

29.07.2009 10:54#
Школа-семинар по финслеровой геометрии
>Это требует некого исследования. Идея (недавно пришедшая в голову) состоит в следующем. Пусть размерность n задана.

Я Вам как раз и предлагал задаться конкретной размерностью. Подозревая, что n=2 будет недостаточно для появления "чистой" квазикоммутативности, желательно задаться n=3, но еще лучше n=4. Если в последнем случае "чистая" квазикоммутативность найдется и Вы сможете для нее выписать аналоги условий Коши-Римана, отличные от соответствующих условий для одного из трех обычных невырожденных коммутативно-ассоциативных четырехмерных пространств (R+R+R+R, R+R+C, C+C), причем геометрия соответсвующего Вашей квазикоммутативности пространства также окажется невырожденной - это будет, на мой взгляд, очень серьезным результатом. Так как он может подсказать свойства группы симметрий четырехмерных метрических многообразий, которые еще никто из современных математиков не исследовал. Мне кажется, игра стОит свеч. Не надо полагаться на студента, да и вряд ли Вы соответствующего этой задаче найдете..
29.07.2009 12:10#
Школа-семинар по финслеровой геометрии
>причем геометрия соответсвующего Вашей квазикоммутативности пространства также окажется невырожденной - это будет, на мой взгляд, очень серьезным результатом. Так как он может подсказать свойства группы симметрий четырехмерных метрических многообразий, которые еще никто из современных математиков не исследовал. Мне кажется, игра стОит свеч

Возраст у меня уже не тот, чтобы менять не то что бы область, а одну науку (физику) на другую (математику). Конечно то, что вы говорите, как-то воодушевляет, но... Вот в своей области я знаю как, к примеру, защитить аспиранта. Буде такой попадется. Статью опубликовать, доклад сделать -- и подавно. А в незнакомой области... Я ни "публики" соответствующей не знаю, ни "общего контекста" этой области, ни.... В общем и т.д. Еще в соавторстве с кем-нибудь можно было бы. Да и то при наличии молодого парня, который будет делать рутинную часть работы. За будущую степень или что-то вроде того:-) Но с "выходом на защиту" (даже хотябы диплома не то что диссертации)в этой области уже не ко мне. Потому-то и нужен кто-то еще. Тем более, что у меня своей "родной" работы "черт на печку не перекидает":-)
30.07.2009 08:07#
Школа-семинар по финслеровой геометрии
> Да и то при наличии молодого парня, который будет делать рутинную часть работы.

Гарантировать не могу, но буду иметь ввиду. На нынешнюю Школу пришли вполне способные молодые люди. Если кого из них заинтересует вариант подхода к выделенным преобразованиям через квазикоммутативность - постараюсь связать с Вами.
30.07.2009 10:15#
Школа-семинар по финслеровой геометрии
>Если кого из них заинтересует вариант подхода к выделенным преобразованиям через квазикоммутативность - постараюсь связать с Вами.

ОК. Черканите мне коротенькое писмишко на alex12358@mail.ru и я в ответ сообщу вам свой "регулярный" мейл, который я публично показывать не хочу. Редко я этот alex12358 читаю, так что меня желательно предупредить здесь, что там письмо.
30.07.2009 13:07#
Школа-семинар по финслеровой геометрии
Черканул.
27.07.2009 18:39#
putnik
Школа-семинар по финслеровой геометрии
> Хм... Как-то странно выглядит результат трансляции самой обычной ТеХ-овской формулы.

Поправил.
24.07.2009 18:27#
Школа-семинар по финслеровой геометрии
>За все алгебры и аналитические функции на них не скажу, а вот для коммутативно-ассоциативных алгебра ОДНОЗНАЧНО порождает финслерову геометрию

Ну так я и не спорю, что аналитические функции на некоторой алгебре могут ПОРОЖДАТЬ интересную геометрию. Пожалуй, даже не могут, а обязаны порождать. Я лишь говорю, что и безотносительно к геометрии понятие аналитической функции на алгебре может иметь смысл. А порждает это геометрию или нет, это уже второй вопрос. Может даже и очень важный, даже важнее первого, но, в чисто логическом плане, второй.

Было бы, возможно, интересно показать, что ЛЮБАЯ квазикоммутативная алгебра порождает финслерову геометрию. Представляется, что можно перечислить ВСЕ квазикоммутативные алгебры заданной размерности. И тогда получится (?) неплохой результат на счет финслеровых геометрий.

>> конечно, в качестве "добавки" метрика очень даже может быть (но может ведь и не быть!)
>У коммутативно-ассоциативных гиперчисел - не может не быть! Доказано

Под "не быть" подразумевалось "не вводиться", "не рассматриваться".

P.S. Есть книга Лаппо-Данилевского на счет аналитических функций на матрицах. Увы, не читал, только видел ссылку в книге Хренникова. Возможно, там многое из того, о чем идет разговор, уже есть.
24.07.2009 22:54#
Школа-семинар по финслеровой геометрии
> Ну так я и не спорю, что аналитические функции на некоторой алгебре могут ПОРОЖДАТЬ интересную геометрию. Пожалуй, даже не могут, а обязаны порождать. Я лишь говорю, что и безотносительно к геометрии понятие аналитической функции на алгебре может иметь смысл. А порждает это геометрию или нет, это уже второй вопрос. Может даже и очень важный, даже важнее первого, но, в чисто логическом плане, второй.

Против такой констатации не возражаю. Я также считаю, что понятие Числа и связанных с ним свойств, в том числе и аналитичности функций над ним - первично в математике, а геометрия это часть математики..

> Было бы, возможно, интересно показать, что ЛЮБАЯ квазикоммутативная алгебра порождает финслерову геометрию. Представляется, что можно перечислить ВСЕ квазикоммутативные алгебры заданной размерности. И тогда получится (?) неплохой результат на счет финслеровых геометрий.


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

> P.S. Есть книга Лаппо-Данилевского на счет аналитических функций на матрицах. Увы, не читал, только видел ссылку в книге Хренникова. Возможно, там многое из того, о чем идет разговор, уже есть.

Вполне возможно.. Только еще раз повторю, что меня в первую голову интересуют САМЫЕ ПРОСТЫЕ гиперкомплексные алгебры. И это не столько потому, что так захотелось, а исходя из убежденности, что если какие то гиперчисла в своем суперанализе содержат все без исключения симметрии реального физического Мира (а симметрии и законы сохранения и просто законы - практически синонимы), так эти числа просто обязаны быть устроены точно также как натуральные числа, самые простые из известных. А последние просто коммутативны (без всяких квази..).
23.07.2009 14:50#
Школа-семинар по финслеровой геометрии
>Вам известны аналоги теории вычетов, скажем, в пятимерном евклидовом пространстве? Или простые (по аналогии с комплексной плоскостью) методы вычисления интегралов в пятимерии? Если нет, то нет оснований ожидать, что это осталось бы на комплексной плоскости, если б из нее была выброшена почти вся конформная группа и остались лишь круговые преобразования

ИМХО теория вычетов связана лишь с неизменностью интеграла при деформации контура в пределах области аналитичности (сам термин "вычет", придуманный, если не ошибаюсь, Коши, происходит от добавки, возникающей в интеграле при пересечением контуром особенности). А это, в свою очередь, связано лишь с условиями Коши. Иными словами, с представимостью производной Фреше в мультипликативном виде.
20.07.2009 12:21#
Школа-семинар по финслеровой геометрии
Один вопрос всеже сразу.

>Как ни странно (полагаю, что можно доказать соответствующую теорему) все такие пространства имеют метрическую функцию связанную именно с четвертыми степенями от дифференциалов компонент

А как быть с предельным переходом к обычной ОТО и т.д. ? Эта "четверная" метрика должна как-то индуцировать квадратичную. Хотябы в смысле какого-то приближения. Как такое получается?
20.07.2009 12:45#
Школа-семинар по финслеровой геометрии
> А как быть с предельным переходом к обычной ОТО и т.д. ? Эта "четверная" метрика должна как-то индуцировать квадратичную. Хотябы в смысле какого-то приближения. Как такое получается?

Легче всего с предельным переходом к классической ньютоновой механике или к связанной с нею геометрии Галилея. Здесь примерно также обстоят дела как с предельным переходом между геометриями СТО и Галилея.

Также уже показано, что имеется переход к дорелятивистской (в пределе малых скоростей) специальной теории относительности, то есть, к геометрии Минковского при достаточно малых скоростях. Разница в сравнении с геометрией Галилея при этом в степени n малой величины (v/c)^n, по которой оба предельных перехода и осуществляются. То есть, дорелятивистская геометрия с метрикой Бервальда-Моора несколько лучше связана именно с геометрией Минковского, чем c Галилеевой.

Есть основания полагать, что в рассматриваемой финслеровой геометрии, кроме характерных интервалов и гиперболических углов (с которыми как раз и связан критерий перехода по трехмерным скоростям) есть место для еще, минимум, двух характерных метрических инвариантов, с которыми могут оказаться связанными предельные переходы к геометрии СТО и ОТО. Но эта проблема сейчас находится в стадии проработки.

> Эта "четверная" метрика должна как-то индуцировать квадратичную. Хотябы в смысле какого-то приближения. Как такое получается?

Даже не смотря на то, что мы еще не знаем параметра, по которому мог бы естественным образом осуществляться такой предельный переход, уже показано, что псевдориманов метрический тензор ОТО получается как особого вида свертка финслерова четырехиндексного метрического тензора пр-ва Бервальда-Моора с тензором векторного поля, который в книге Вейля "Пространство, время материя" связывался с понятием скалярной мировой функции или особого вида Лагранжианом. Что замечательно, если мировая функция связана с конформным преобразованием - всегда получается плоское пространство Минковского (именно с его сигнатурой и никакое другое!), а если связь мировой функции с конформностью хоть немного нарушена - получается именно кривое псевдориманово пространство, но также с "нужной" пространственно-временной сигнатурой.

20.07.2009 14:31#
Школа-семинар по финслеровой геометрии
Здравствуйте Дмитрий.

Я в своей работе по гравитации в плоском пространстве-времени Минковского пришел к выводу, что частица может двигаться по геодезической эффективного псевдо-Риманового пространства-времени с метрикой вида



где - Минковская метрика и тензорный грав.потенциал, а - заданные функции от переменной . - Минковская 4-скорость частицы. Я считаю, что полученная эффективная псевдо-Риманова геометрия является некоторой разновидностью финслеровой. Вы не могли бы мне подсказать какой именно, или хотя бы класс финслеровых геометрий с такими свойствами?
20.07.2009 21:49#
Школа-семинар по финслеровой геометрии
Действительно, используемая Вами метрическая функция относится к классу финслеровых, хотя бы потому, что случай, когда вместо второй части стоит член с тензором первого ранга, тесно связан с финслеровой метрикой носящей имя Рандерса. Последняя описывает поведение частицы в гравитационном и электромагнитном полях. В точности как у Вас я не встречал, но, скорее всего, кто-то такими метриками занимался. Попробуйте порыться в метриках Рандерса, возможно обнаружите ссылки и на работы с метриками близкими Вашей.
21.07.2009 06:38#
Школа-семинар по финслеровой геометрии
Большое спасибо. Посмотрю обязательно и возможно число приверженцев финслеровой геометрии увеличится :)
14.09.2009 17:51#
Школа-семинар по финслеровой геометрии
Что-то слишком понакручивали алгебры и топологии.
Геометрия Финслера всего лишь такая, где метрика обобщеная, в частности, зависит от направления.
Другое дело, что вариантов много.
Неплохо для начала почитать:
Рунд Х. Дифференциальная геометрия финслеровых пространств. -М.: Наука, 1981.
Мне там понравилась метрика Рандерса в применении к ЭМ полю - Добавление Г. С. Асанова.
14.09.2009 20:13#
Школа-семинар по финслеровой геометрии
> Что-то слишком понакручивали алгебры и топологии.

Скажите, а накрученность евклидовой плоскости связанными с нею алгеброй комплексных чисел с анализом над ними - Вам также кажется излишней роскошью?

> Геометрия Финслера всего лишь такая, где метрика обобщеная, в частности, зависит от направления.

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

> Другое дело, что вариантов много.

Да, вариантов много даже при замене финслерова метрического тензора зависящего от напраления на многоиндексный, от направления не зависящий. Однако, если ограничиться важными для физики четырьмя измерениями, а также максимальным богатством групп непрерывных симметрий имеющих метрические инварианты - количество интересных финслеровых геометрий резко сужается. Похоже, все такие можно пересчитать на пальцах одной руки.

> Неплохо для начала почитать:
Рунд Х. Дифференциальная геометрия финслеровых пространств. -М.: Наука, 1981.

Я думаю иначе. В этой книге финслерова геометрия, как выше Вы и написали, практически полностью зацикливается на том самом метрическом тензоре, что кроме как от точки зависит еще и от направления. Некоторые задачи финслеровой геометрии таким образом действительно можно удовлетворительно решать, но как только дело доходит до углов (вернее их финслеровых обобщений) и тесно с ними связанных конформных непрерывных преобразований - часто дает не вполне адекватные результаты. Полагаю, что именно из-за этого до сих пор финслерову геометрию не жалуют физики. Так что, для начала лучше читать не Рунда, а, например, вот это:

http://hypercomplex.xpsweb.com/page.php?lang=ru&id=487

В противном случае, о красивых и естественных физических приложениях финслеровых геометрий лучше забыть и ограничиться одними абстрактными вариационными задачами. Оно, конечно, тоже хорошо, но с физикой как то интересней будет..

> Мне там понравилась метрика Рандерса в применении к ЭМ полю - Добавление Г. С. Асанова.

Метрика Рандерса действительно имеет непосредственное отношение к одному из путей по объединению гравитации и электромагнетизма. Думаю, что этот путь лучше, чем, например, путь Калуцы и Клейна, однако, не стОит думать, что он самый самый. Во всяком случае, в отношении групп непрерывных симметрий пространства с метрикой Рандерса выглядят бледно по сравнению с той же метрикой Бервальда-Моора. В добавлении к Рунду написанном Асановым эта метрика также рассматривается, причем вместе с некоторыми из ее интересных непрерывных групп симметрий. Странно, что Вам ЭТА метрика в глаза не бросилась.. Во всяком случае сам Асанов о ней говорит как об одном из перспективных обобщений общепринятой на сегодня псевдоримановой геометрии для описания реального пространства-времени.

21.07.2009 14:31#
Школа-семинар по финслеровой геометрии
Уважаемый Дмитрий!

Ничего личного, однако, если Ваша деятельность имеет какое-то отношение к науке, почему Вы используете сомнительные фильмы с "пирамидами и НЛО" вместо практики публикации результатов в научных журналах?

Не могли бы Вы назвать причину, по которой Вас "забанили" на уважаемом ресурсе astronet.ru?

Как Ваща группа связана с "лабораторией альтернативной истории", выпускающей фильмы мракобесного содержания на Ren-TV?

Уважаемый администратор elementy.ru!

В случае, если г-н Павлов не сможет дать удовлетворительные ответы на поставленные вопросы, не следует ли удалить начатую им ветвь обсуждения, как порочащую репутацию Вашего сайта?

С уважением,

Алексей.
21.07.2009 14:49#
moderator
Школа-семинар по финслеровой геометрии
>В случае, если г-н Павлов не сможет дать

Пожалуйста по существу написанного ЗДЕСЬ а не о чем-то где-то "там" может быть...

Г-ну же Павлову отвечать не рекомендуется, во всяком случае такой нужды нет.
21.07.2009 15:16#
Школа-семинар по финслеровой геометрии
Всегда полагал, что elementy.ru создан для популяризации науки, а не пирамидологов, атлантоведов и прочей сомнительной публики.

Так как деятельность г-на Павлова подозрительно напоминает популярно-лженаучную, не лишним будет получить от него какие-то объяснения.

Ссылки на "там" даны, скорее, к сведению модератора, которому, по всей видимости, некогда было осведомиться о репутации Павлова. Кроме того, не хотелось в чем-то кого-то обвинять, поэтому и был запрошен ответ от Павлова.

С уважением,

Алексей.
21.07.2009 15:27#
moderator
Школа-семинар по финслеровой геометрии
>для популяризации науки, а не пирамидологов, атлантоведов и прочей сомнительной публики.

Вот когда и если ЗДЕСЬ кто-либо займется популяризацией пирамидологии и т.п., вот тогда и настанет время принимать меры ЗДЕСЬ.
21.07.2009 15:42#
Школа-семинар по финслеровой геометрии
Так, с очень большой вероятностью, именно этим "итп" деятельность Павлова и является.

А так - делайте, что хотите...
21.07.2009 22:40#
Школа-семинар по финслеровой геометрии
> В случае, если г-н Павлов не сможет дать удовлетворительные ответы на поставленные вопросы, не следует ли удалить начатую им ветвь обсуждения, как порочащую репутацию Вашего сайта?

> С уважением,

> Алексей.



Алексей (извините рука не поднимается написать уважаемый, так как Ваш пост слишком похож на донос, к тому же еще и анонимный)!

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

Что касается научных журналов, то физики из нашей группы занимающиеся финслеровой геометрией публикуются во вполне уважаемых научных журналах, однако, что бы меньше зависеть от сюрпризов подобных Вашему посту выше, еще шесть лет назад мы учредили собственный журнал "Гиперкомплексные числа в геометрии и физике", который на сегодня уже стал вполне рецензируемым и даже почитываемым специалистами у нас и зарубежом.

На форуме астронета меня действительно забанили, но не по причине обнаружения сомнительных перспектив финслеровой геометрии (для этого у местных модераторов просто не хватило бы квалификации), да и выступал я там исключительно в разделе "Горизонты науки" специально предназначенном для публикации идей, являющихся альтернативными к общепринятым сегодня. Более того, с теми же самыми идеями я всего несколько месяцев назад выступал на семинаре М.В.Сажина в ГАИШ (а до этого в ФИАНЕ и Алмаатинской обсерватории) и такие же астрономы как на астронете вполне спокойно обсуждали вопрос, можно ли экспериментально обнаружить финслеровость геометрии реального пространства-времени. Причины бана, полагаю, в столь же нетерпимой позиции, что продемонстрировали чуть выше Вы сами. Важным в такой позиции оказывается не конструктивный диспут, а принцип шапкозакидательства.

На Ren-TV, на сколько мне известно, ни одного полного фильма снятого "Лабораторией альтернативной истории" еще не показывали. То, что проходило - было смесью из малюсеньких кусков вполне интересных авторских фильмов Андрея Склярова и неизвестно чьих сюжетов, которые я не разделяю не меньше Вашего. В НЛО и зеленых человечков сам не верую, но к позиции других в этом плане отношусь достаточно терпимо. Кто его знает как там еще дело обернется..
Андрей помогал мне писать сценарий и выступал как режиссер пары наших популярных фильмов по финслеровой геометрии и гиперкомплексным алгебрам "Геометрия Вселенной с различных точек зрения" и "Анизотропный мир", которые теперь представлены на сотнях сайтах интернета и посмотрели десятки тысяч человек (это при чисто математической специфике темы то!). Смотрели эти фильмы и десятки специалистов по финслеровой геометрии со всего мира. Характерный пример: известный физик из Кембриджа после просмотра специально попросил у меня копию первого из этих фильмов для показа своим студентам. Так что, полагаю, теперь Склярова в Кембридже мракобесом вряд ли считают :)

На счет Вашего совета администрации сайта по удалению моих записей - не лучше ли было б подписаться полным именем? Иначе такой совет выглядит как-то не серьезно, если не сказать большего. В конце концов, я своего имени и координат не скрываю, равно как и позиции..
Кстати, вместо наклеивания ярлыков могли бы просто написать разгромную статью, в которой бы камня на камне не оставили как от нашего отношения к финслеровой геометрии вообще, так к гиперкомплексным числам, в частности.

Дмитрий Павлов
Председатель попечительского совета НИИ "Гиперкомплексные системы в геометрии и физике"
Директор Международного фонда развития исследований по финслеровой геометрии.
21.07.2009 23:52#
Школа-семинар по финслеровой геометрии
Уважаемый Дмитрий!

Есть общепринятые нормы ведения научной деятельности, а есть признаки деятельности лженаучной, к которым относятся:

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

Так сложилось, что Ваша деятельность обладает всеми вышеперечисленными признаками, что вызывает законное недоверие.

Кроме того, Ваша манера апеллировать к знаменитостям (Громов, в дискуссии на астронет) либо анонимным светилам из Кембриджа (неужели Стивен Хокинг) также подогревает сомнения.

Я, ни в коем случае, не имею ничего против ни Вас лично, ни финслеровой геометрии, ни, тем более, гиперкомлексных чисел. Однако физические модели с данным классом метрик можно будет серьезно рассматривать не ранее, чем идея будет оппонирована серьезными физиками-теоретиками, не принадлежащими к Вашему кругу единомышленников.

Причем мнение научного сообщества должно быть изложено в реферируемых научных СМИ, не аффилированных с Вашим собственным журналом.

В конце концов, если у Вас такие замечательные рецензенты, опубликуйте свои труды хотя бы в arxiv.org и получите соответствующие рецензии.

Сам я писать разгромную статью точно не буду по двум причинам:

никогда публично не рецензирую неопубликованные работы;
не являюсь физиком, поэтому моя рецензия будет иметь малый вес в научном сообществе физиков.

Как мне подписываться, извините, решу сам. В любом случае мы с Вами не знакомы, и моя деятельность совершенно не конкурирует с Вашей.

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

С уважением,

Алексей.

22.07.2009 01:34#
Школа-семинар по финслеровой геометрии
> Есть общепринятые нормы ведения научной деятельности, а есть признаки деятельности лженаучной, к которым относятся:

> закрытость сообщества;

С самого начала коллективной фазы деятельности в начале 2000 года мы были открыты для любого желающего присоединиться или выступить с критикой. Примерно с тех пор проводятся ежемесячные семинары, на которые открыт доступ для всех любителей гиперкомплексных чисел и финслеровой геометрии. Вы вряд ли найдете специалиста в данных областях не только в России, но и в мире, который сегодня не знал бы как об этих семинарах, так и о проводимых нами ежегодных конференциях, выпускаемом журнале, интернет сайте, а также популярных фильмах. Полтора месяца назад в стенах МГТУ проводилась официальная презентация связанная с годовщиной деятельности нашего НИИ на которую приехало более ста физиков и математиков из почти сорока отечественных ВУЗов и десятка из других стран. Кстати, вероятно, наш НИИ единственный в России основанный исключительно на частные средства и ориентированный не на прибыль, а на решение проблем физики пространства-времени (интересно, найдутся ли желающие утверждать, что на такой деятельности можно заработать?).

> обещание решить разом все проблемы предметной области;

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

> агрессивность и непринятие любой критики;

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

> работа под вывеской организаций, самим же сообществом учрежденных.

Интересно, а кто должен учреждать? Помнится, в середине позапрошлого века было организовано общество любителей кватернионов. С трудом представляю себе ситуацию, что бы подобную организацию создавали бы равнодушные к теме люди или тем более ее противники. Кроме того, бОльшую часть средств в основную нашу организацию (НИИ) вложили люди, весьма далекие от математики или физики, причем все они полностью в курсе, что никаких дивидендов не предусматривается в принципе. Недавно передал в качестве взноса на нашу уставную деятельность акции своего промышленного предприятия один западный фонд, сотрудники и владельцы которого всего несколько месяцев назад вообще не имели к нашей деятельности никакого отношения. В конце концов, некоторое время тому назад мы вместе со своими коллегами из Румынии получили гранты РФФИ и румынской академии наук именно на решение своих финслеровских проблем. Или полагаете, в Румынии у нас также дом родной?

> Так сложилось, что Ваша деятельность обладает всеми вышеперечисленными признаками, что вызывает законное недоверие.


Вам не кажется, что для подобных обвинений нужно, как минимум, познакомится с реальным положением дел, а не полагаться на форумный треп, тем более, что большинство "критиков" на таких площадках выступают под псевдонимами, что в нормальной науке никто не станет воспринимать всерьез.

> Кроме того, Ваша манера апеллировать к знаменитостям (Громов, в дискуссии на астронет) либо анонимным светилам из Кембриджа (неужели Стивен Хокинг) также подогревает сомнения.

Я разве где аппелировал к высказанным знаменитостями одобрениям? Наоборот, подчеркивал скорее скептическое их отношение к нашему направлению и давал свою версию, почему они имеют полное право именно так относиться. Ничего постыдного в фактах своих личных встреч и бесед на темы финслеровых геометрий с лучшими физиками и математиками мира не вижу, надеюсь, что и они не в претензии за обнародование фактов оных встреч. А с кем же еще обсуждать вопросы, в которых более менее сносно ориентируются лишь порядка сотни человек во всем мире? Вы же отказываетесь :)
Что касается физика из Кембриджа, это не Хоукинг, а его ученик и соавтор Гари Гиббонс. Он приезжал на нашу конференцию в Каир осенью прошлого года. Кстати он сам мне говорил, что ему весьма понравился как фильм ЛАИ "Загадки Древнего Египта" так и пирамиды, по которым он с большим удовольствием лазил ежедневно вместе со всеми участниками конференции в свободное от докладов время и слушал при этом личные комментарии того же охаиваемого Вами Склярова.
Не знаю как Вам, а мне более интересно общаться именно с сильными людьми, а не с пупкиными, ко всему прочему, скрывающими настоящие фамилии.

> Однако физические модели с данным классом метрик можно будет серьезно рассматривать не ранее, чем идея будет оппонирована серьезными физиками-теоретиками, не принадлежащими к Вашему кругу единомышленников.

Кто ж им мешает.. Тот же Гиббонс обещал разобраться. Возможно, через пару лет появятся и его публикации на данную тему. Допускаю, что не обязательно с положительными оценками.. Только чего это меняет? Истина, от того получила ли она одобрение от великих, или нет - ровным счетом ни чего не приобретает, равно как и не теряет. Вам, например, известна реакция весьма сильного математика Остроградского на работы Лобачевского? Ну и что? Геометрия, тем развивавшаяся, разве стала от этого лучше или хуже? С другой стороны, несколько лет назад Глэшоу (может ли он считаться серьезным физиком?) отметил как интересную теорию и даже придумал для нее специальный термин (Очень Специальная Теория Относительности) одного из сотрудников нашего Института Г.Ю.Богословского (он также читает леции в Школе, ставшей предметом головного поста). Может, после этого мы в Ваших глазах перестанем быть носителями лженауки, или нужно привести еще с десятка полтора подобных отзывов? Гиббонс, кстати, также весьма лестно отзывался о Георгии Юрьевиче и его работе.

> В конце концов, если у Вас такие замечательные рецензенты, опубликуйте свои труды хотя бы в arxiv.org и получите соответствующие рецензии.

Вы бы хоть перед тем как писать такое - справились в том же интернете или в АrXiv'e, набрав для поиска фамилии из списка лекторов Школы. Ведь после того как найдете время сделать это - стыда ж не оберешься.. Или Вы краснеть не умеете?

> Сам я писать разгромную статью точно не буду по двум причинам:

> никогда публично не рецензирую неопубликованные работы;
не являюсь физиком, поэтому моя рецензия будет иметь малый вес в научном сообществе физиков.

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

> Как мне подписываться, извините, решу сам. В любом случае мы с Вами не знакомы, и моя деятельность совершенно не конкурирует с Вашей.

Вообще прелестно. Сам я ничего в Вашей деятельности не смыслю, но щас как скажу.. Всех жуликов, как одного, на чистую воду выведу. Надеюсь, в другой раз Вы будете аккуратнее, особенно в области, в которой столь слабо ориентируетесь.

А подписаться, все же, не помешало б. По крайней мере, я тогда мог бы обращаться к Вам с определенным уважением.

Ну, а пока без оного,
Дмитрий Павлов.

P.S.

> Жду Ваших публикаций, если окажется, что я был не прав - немедленно извинюсь.

Вам нужна именно моя опубликованная работа? Лучше, конечно, смотреть того же Богословского, Гарасько или Кокарева. Они профессионалы. А я так - любитель. Но если, все же, хотите видеть именно мое творчество, то дам, пожалуй, ссылку на одну из самых первых статей (без нее, все равно, трудно понять остальные):

http://arxiv.org/PS_cache/gr-qc/pdf/0206/0206004v1.pdf

Любопытно будет послушать критику (или извинения, как обещали).
23.07.2009 02:46#
Школа-семинар по финслеровой геометрии
Посмотрел Ваше творчество. Честно говоря, не понял, в чем Ваш вклад - работа оформлена как сводка тривиальных свойств некой алгебры, описанной ранее в работах других авторов.

На этом все, общаться с Вами не вижу смысла.

23.07.2009 08:21#
Школа-семинар по финслеровой геометрии
> На этом все, общаться с Вами не вижу смысла.

Это было бы лучше всего с самого начала. Никто Вас не просил влезать в тему с громкими обвинениями и разоблачениями.

Однако, Вы обещали принести извинения, если я предоставлю опубликованную работу. О том, увидите Вы в ней смысл или нет - речи не было.
Так как, забудем про обещание?

Что касается самой работы, то свойства рассмотренной алгебры, действительно, тривиальные. Только ж там не только алгебра представлена, но и элементы анализа над ней (а это, хоть также просто, но уже не тривиально). Но самое главное, чего Вы не заметили, да и не могли заметить (так как видна отстраненность от темы), так это выявленная связь данной тривиальной алгебры и начал анализа над ней с конкретной финслеровой геометрией. Я понимаю, что Вам и большинству математиков по барабану, есть между этими двумя объектами какая-то связь, или нет. Однако, до этой работы о ее наличии никто и никогда не писал, да и, похоже, не знал. Большой он, или маленький, но это мой результат. Игнорировать его Вы можете только в одном случае, Если приведете ссылку на другую более раннюю работу, в которой автор говорит о том же самом. Среди сотни профессиональных финслеристов я пока не встретил ни одного, кто смог бы припомнить соответсвующую работу, или же как Вы, посчитать обнаружение связи конкретной алгебры с конкретной финслеровой геометрией - малозначительным обстоятельством.

Можете не отвечать по существу, но если есть порядочность, то извинения (как сами обещали) - совсем не помешали бы..
22.07.2009 09:42#
voix
Школа-семинар по финслеровой геометрии
>Есть общепринятые нормы ведения научной деятельности, а есть признаки деятельности лженаучной

Дмитрий Павлов ничего антинаучного о пирамидах здесь не говорил.
Что касается финслеровой геометрии, то если там ничего не получится с гравитацией, она останется просто разделом математики. Может пригодится где-нибудь в другой области.

Вот если бы финслерова гравитация противоречила достоверно установленным экспериментальным фактам, а Дмитрий Павлов это игнорировал, тогда можно было бы говорить о лженауке.

А так финслерова гравитация ничем не хуже теории суперструн :)
Вести дневник и оставлять комментарии могут только зарегистрированные пользователи
Логин:
Пароль:
Зарегистрироваться
Последние сообщения
Помощь
Всего дневников: 640

Пользователей
в системе: 2724

Всего записей
и комментариев: 48547

Записей и комментариев
за последние 24 часа: 21

АКТИВНЫЕ ДНЕВНИКИ


 
Энциклопедия | Новости | Блоги | Календарь | Право | Библиотека | Детские вопросы | ЖОБ При поддержке фонда Дмитрия Зимина - Династия