2014 dxdy logo

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

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




 
 Эрлангенская программа
Сообщение23.12.2014, 20:05 
Никак не могу найти где внятно и просто было написано, как определить евклидову плоскость, как проективную на которой выбрали абсолют.

 
 
 
 Re: Эрлангенская программа
Сообщение23.12.2014, 21:35 
По-моему, это довольно непросто. В книге Кокстера "Действительная проективная плоскость" делается так:
1) Определяются параллельные прямые, как пересекающиеся на абсолюте
2) Выбирается произвольная эллиптическая инволюция $f$ на абсолюте, и определяются перпендикулярные прямые, как те, что пересекают абсолют по таким точкам $A$ и $B$, что $f(A)=B$.
3) Определяется окружность, как коника, у которой любые два сопряжённых диаметра перпендикулярны.
На этом этапе у нас есть критерий равенства двух отрезков, что исходят из одной точки, этого должно хватать.

 
 
 
 Re: Эрлангенская программа
Сообщение23.12.2014, 22:04 
Ужас!

 
 
 
 Re: Эрлангенская программа
Сообщение24.12.2014, 16:01 
Проективная плоскоссть с однородными координатами: $\mathbb{R}P^2=\{(x_1,x_2,x_3)\}$. Евклидова плоскость: $E=\{(x_1,x_2,1)\}$

 
 
 
 Re: Эрлангенская программа
Сообщение24.12.2014, 16:58 
Oleg Zubelevich в сообщении #951574 писал(а):
Проективная плоскоссть с однородными координатами: $\mathbb{R}P^2=\{(x_1,x_2,x_3)\}$. Евклидова плоскость: $E=\{(x_1,x_2,1)\}$

Евклидова плоскость: $E=\{(x_1/x_3,x_2/x_3)\}$. Поскольку бесконечно удаленная прямая выпадает, то $x_3\ne 0$.

Можно и сразу ввести евклидовы координаты, выбрав любую прямую, как бесконечно удаленные и еще две, как оси $x$ и $y$.

 
 
 
 Re: Эрлангенская программа
Сообщение05.01.2015, 00:55 
Oleg Zubelevich в сообщении #951574 писал(а):
Проективная плоскоссть с однородными координатами: $\mathbb{R}P^2=\{(x_1,x_2,x_3)\}$. Евклидова плоскость: $E=\{(x_1,x_2,1)\}$

Это то очевидно, а хочется получить $O_{2}$, как подгруппу $PGL$, что-то сохраняющую.
Например если взять в качестве абсолюта какую-то прямую в проективной плоскости, то получим афинную.

Впрочем вопрос уже потерял свою актуальность;3

 
 
 [ Сообщений: 6 ] 


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