2014 dxdy logo

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

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




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

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

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

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

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

 
 
 
 Re: Факторизация сферы
Сообщение06.03.2015, 19:09 
Аватара пользователя
Разумно.

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

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


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