Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2, 3  След.
 Факторизация сферы
Аватара пользователя
Навеяно постом Munin
Munin в сообщении #907708 писал(а):
Не надо путать риманово пространство и пространство Римана. Это разные термины. Из-за их схожести, второй довольно неудачен, и практически вышел из употребления, но его можно найти, например, в Математической Энциклопедии 70-х годов издания. Сейчас пространство Римана называют эллиптическое пространство (а аналогично, пространство Лобачевского - гиперболическое пространство).

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

С алгебраической точки зрения, говорят, что пространство Римана - это сфера, поделённая на два (точнее, факторизованная по группе $\mathbb{Z}_2$). Существуют и другие факторизации сферы, в том числе конечные. Например, очень известна факторизация трёхмерной сферы, которая называется "сфера Пуанкаре" - это факторизация по группе 4-мерного правильного 120-гранника, которая образует выпуклый (неплоский) додекаэдр. Идею можно понять, если представить себе обычную двумерную сферу, и разметить её на правильные сферические пятиугольники, а потом представить себе, что только один из них - настоящий, а все остальные - отражения.

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

 Re: Факторизация сферы
Аватара пользователя
Может это в математику перенести чтоли?

 Re: Факторизация сферы
Аватара пользователя
Разумно.

 Posted automatically
 i  Тема перемещена из форума «Помогите решить / разобраться (Ф)» в форум «Помогите решить / разобраться (М)»
Причина переноса: не указана.

 Re: Факторизация сферы
Аватара пользователя
Короче я так понял никакая факторизация сфера кроме как пространство Римана невозможна?
Спасибо

 Re: Факторизация сферы
Аватара пользователя
Впервые слышу, чтобы проективную плоскость называли пространством Римана.

 Re: Факторизация сферы
Аватара пользователя
g______d в сообщении #986707 писал(а):
Впервые слышу, чтобы проективную плоскость называли пространством Римана.

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

Название можно встретить в Математической Энциклопедии 70-х годов издания. А "эллиптическое пространство" - у Постникова в "Лекциях", например.

 Re: Факторизация сферы
Аватара пользователя
Munin в сообщении #986753 писал(а):
Она не плоскость, а эллиптическое пространство - топология та же, метрика другая (если вообще наделять проективную плоскость метрикой).


А на проективной плоскости какая метрика стандартная — разве не такая же?

 Re: Факторизация сферы
Аватара пользователя
Не уверен, что метрика на ней вообще есть...

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

 Re: Факторизация сферы
Аватара пользователя
Прасолов, Тихомиров: вводятся координаты (необходимые для дефиниции, например, квадрик), не вводится метрики, вводится двойное отношение точек на прямой.
Постников (1 семестр): вводит арифметическое проективное пространство $\mathbb{K}\mathrm{P}^n$ над произвольным полем $\mathbb{K},$ и проективное пространство как произвольное множество, изоморфное ему. Метрики не вводится. И эллиптическое пространство вводится в 5 семестре (курс римановой геометрии).

 Re: Факторизация сферы
Аватара пользователя
Я, может, сейчас очень глупую аещь скажу, но есть же бесконечно удаленная точка. Которая преобразованиями переводится в обычные. А значит, о метрике говорить в принципе не можно?

 Re: Факторизация сферы
Я тоже сначала такое хотел сказать — но ведь произвольные линейные преобразования тоже метрику не любят!

 Re: Факторизация сферы
Аватара пользователя
INGELRII в сообщении #986962 писал(а):
но есть же бесконечно удаленная точка.

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

 Re: Факторизация сферы
Любое многообразие метризуемо )

 Re: Факторизация сферы
Аватара пользователя
Padawan в сообщении #986991 писал(а):
Любое многообразие метризуемо )
"Естественным" образом?
"Метризуемо" и "метризовано" -- несколько разные вещи.

 [ Сообщений: 42 ]  На страницу 1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group