Геометрия Лобачевского

Материал из Неолурк, народный Lurkmore
Перейти к навигации Перейти к поиску
ощущенье, будто вычтен Лобачевский из пространства

Геометрия Лобачевского (гиперболическая геометрия) — очень хитрое математическое колдунство по типу всем известной геометрии Евклида, но с небольшим отличием, делающим ее невозможной для понимания 95% населения.

Рыбки Эшера в ухе геометрии Лобачевского. Кто не понял — тот читает дальше

Суть[править]

В геометрии Лобачевского вместо классического евклидового пятого постулата:

В плоскости через точку, не лежащую на данной прямой, можно провести одну и только одну прямую, параллельную данной.
— Евклид (точнее Прокл)

используется другая аксиома:

Через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её
— Лобачевский

Если рисовать прямые не на плоскости, а на гиперболоиде (ну например, на лошадином седле), то именно так всё и получится. Чем хороша такая аксиома, что тут вообще получается, как это всё, БЛДЖАД, получилось и вообще история вопроса — всё это будет рассмотрено ниже.

Аксиомы Евклида[править]

Евклид. Начала. C чего всё началось…

Евклид[править]

Во времена древней Греции, помимо зачатков всякой философии, были заложены и основы современной математики. Особо отличились здесь Евклид и Диофант. Про самого Евклида Александрийского, проживавшего в 3 веке до н. э., известно немного, однако главное, что он сделал — это запилил «Начала» — эпичный учебник по геометрии, в котором среди прочего была сформулирована система аксиом, которую с небольшими изменениями ажно до ХХ века использовали в геометрии как основную. А сами «Начала» считались главным и образцовым учебником по геометрии. Модернизация учебных курсов? Ну-ну…

Аксиоматический метод[править]

Немножко скукоты, без которой дальнейший рассказ не заладится. Что такое аксиомы и постулаты? Это утверждения, которые принимаются за данность. Система аксиом может быть противоречивой (плохая, негодная система) и непротиворечивой (хорошая, годная). При этом некоторые определения даются явно (например, окружность — это множество точек плоскости, равноудаленных от данной точки, называемой центром), а некоторые даются неявно. Например, точка — это объект, который удовлетворяет системе аксиом (то есть в другой системе аксиом, точнее в геометрической реализации, точкой может быть что-то не похожее на то, к чему мы привыкли).

Помимо системы аксиом, есть ещё модель (геометрическая реализация). То есть некий способ представления (визуализации) системы аксиом. К разным моделям геометрии Лобачевского мы ещё вернёмся, но пока отметим, что, когда школиё рисует чертежи, оно как раз таки и работает в данной геометрической реализации евклидовой геометрии. Другое дело, что в случае с евклидовой геометрией исторически сначала появилась геометрическая реализация (точки, отрезки, окружности), а потом под эту геометрическую реализацию была подогнана система аксиом. А в случае с геометрией Лобачевского было ровно наоборот.

Тащемта, аксиоматический метод состоит в том, что при изучении какой-нибудь области науки нужно сначала сформулировать необходимый набор аксиом, проверить их непротиворечивость, а потом в рамках выработанных правил работать. Границы применимости этого метода в своё время разработал Гёдель со своей теоремой Гёделя. Он, в частности, доказал, что конечная система аксиом не может быть полной (то есть в терминах данной аксиоматики всегда можно сформулировать утверждение, правильность которого нельзя проверить в данной системе аксиом). Для слабых разумом школьников отметим, что это отнюдь не что-то плохое, во-первых, не факт, что «непроверяемое утверждение» — важное, а во-вторых, аксиоматика всё-таки получается обычно из конкретных задач, а значит, даже при отсутствии соответствующей аксиомы её всегда можно добавить. Пример такого утверждения в стандартной Евклидовой геометрии[1] — аксиома Паша. В общем, от непроверяемости некоторых утверждений ещё никто не умер (но кое-кто сошёл с ума).

Отметим, что в математике аксиоматический метод является основным. Но не только в математике. Например, этот ваш Ландафшиц состоит из аксиоматического метода (главная аксиома — это принцип наименьшего действия) чуть менее, чем полностью. Почему-то многие думают, что в арифметике аксиом нет, что, конечно, ЛПП — см. аксиомы Пеано.

Впрочем, аксиоматический метод не является в полном смысле панацеей. Им, как и любым другим инструментом, нужно пользоваться с умом. Дело тут, в частности, в парадоксах (например, парадоксы Зенона и парадокс брадобрея), которые кагбе демонстрируют внутреннюю противоречивость там, где её на самом деле нет. Дело в том, что некоторые парадоксы являются багами языка, на котором людишки общаются и пишут статьи. Так, например, в языке многие слова обладают разными значениями, и многое зависит от контекста: точка в физике и точка в математике — это совсем не одно и то же. С этой проблемой в теории можно справиться созданием научного новояза, но всем похуй.

Другая проблема состоит в том, что некоторые термины считаются в школьной литературе «очевидными», например, понятие множества. Точные и аккуратные определения существуют, но ни фига не являются простыми. Так что аккуратные системы аксиом могут оказаться несколько более громоздкими, чем хотелось бы. Разделы математики, которые занимаются (и вполне успешно, кстати) исправлением этих багов — это теория множеств (не та поебень с кружочками и точечками, которую ты в школе проходил) и математическая логика.

Что не так с пятым постулатом?[править]

С исходным текстом «Начал» работать не очень удобно, поэтому будем действовать в рамках аксиом Гильберта. Проблема в том, что остальные аксиомы гораздо проще и интуитивно очевиднее. Например, вполне в духе КО: «Каковы бы ни были две точки A и B, существует прямая, которой принадлежат эти точки.» А вот пятый постулат выглядит как-то неочевидно и неестественно. Поэтому возникает естественное желание вывести его из других аксиом. Однако, почему-то ничего не получалось. Удаётся свести пятый постулат к другим утверждениям, которые выглядят совсем дико, но формального, строгого доказательства не существует. Вот несколько направлений, по которым пытались действовать предшественники Лобачевского.

Четырехугольник Саккери[править]

Четырёхугольник Саккери в естественной среде обитания
Четырёхугольник Ламберта, как он есть

Такой себе четырехугольник ABCD, в котором стороны AB и DC равны и перпендикулярны основанию AD. С точки зрения евклидовой геометрии (и с использованием пятого постулата) должен получиться прямоугольник. Однако без использования пятого постулата доказать это не удастся; можно доказать, что углы B и C одинаковые, но прямые ли они? Старина Саккери (а до него Омар Хайям) пытался рассмотреть альтернативные варианты: либо два оставшихся угла тупые, либо острые. Случай тупых углов худо-бедно ему изучить удалось, доказав, что так не бывает, но вот в случае острых углов — не удалось. Пичалько.

Алсо, у четырехугольника Саккери есть и «братец» — четырехугольник Ламберта, в котором 3 угла — прямые. Появился по тем же причинам и с тем же успехом.

Сумма углов треугольника[править]

Которая, как известно, 180˚. Впрочем, доказать это без использования пятого постулата тоже не получится. Вариант с суммой углов строго меньше 180˚ не противоречит другим аксиомам. Пример того, как тут можно лажануть, доставил Лежандр (между прочим, годнейший математик, а не какой-нибудь там фрик) в своей книжке «Начала геометрии». Самое рассуждение и разбор ошибки можно невозбранно посмотреть здесь [1].

Бесподобное подобие[править]

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

Пифагоровы штаны[править]

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

Это значит, что если отказаться от пятого постулата, то рушится всё: формулы для расстояний, углов, площадей, признаки равенства и подобия, даже небо, даже Аллах…

Теперь сходитесь![править]

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

Было много других самых разных способов разобраться с пятым постулатом. Но всех исследователей ждал былинный отказ. Одни в результате признавали, что их рассуждения неполны, другие до конца жизни упорствовали. Многие допускали характерную ошибку, неявно используя то или иное утверждение, казавшееся им очевидным, но оказывавшимся на самом деле лишь эквивалентной формулировкой пятого постулата. Сколько пытливых ученых сбрендило? Сколько тысяч человеко-часов потрачено впустую? Кто знает.

Драма[править]

В начале XIX века общий уровень математики начал расти на глазах изумленной публики, переведя её из состояния «обобщим и углубим наследие великих древних греков» в состояние «давайте придумаем что-нибудь новое». Родился и активно развивался разнообразный матан, уже вполне напоминающий современный. Надо, впрочем, понимать, что как такового аксиоматического метода ещё не было, но появление его было неизбежно. И вот первопроходцем выступил Карл Фридрих «Король математиков» Гаусс.

Гаусс[править]

Дедушка Гаусс был дичайше крутым математиком. Он успел наследить повсюду: теория чисел, геодезия, геометрия, математический анализ, тысячи их. Конечно, не оставил он без внимания и пятый постулат. По всей видимости, он был первым, кто пришёл к мысли о том, что пятый постулат нельзя вывести из остальных аксиом, а главное, что в этом нет ничего плохого. Насколько глубоко и хорошо он разработал новую геометрию — непонятно, тем паче что Гаусс никогда не заявлял публично, что он тоже придумал неевклидову геометрию. Злые языки утверждают, что Гаусс опасался, что после публикации работ по неевклидовой геометрии все решат, что у дедушки началась деменция, или он просто поехавший. Так что Карл наш Фридрих Гаусс в данном вопросе ограничился ролью, столь близкой анонимусу, а именно ролью комментатора.

Гаусс вообще, по слухам, обладал сочетанием двух качеств: он не боялся показаться смешным самому себе, усомнившись в очевидных для 95% вещах, но при этом боялся показаться смешным другим. Из чего следует, что он был поистине умным человеком.

Но ещё до того, как Кант заявил о невозможности поставить под сомнение евклидовость геометрии реального пространства, математики уже начали подозревать, что это не так. Вскоре после этого математик и физик Карл Фридрих Гаусс даже занялся измерением углов большого треугольника, но не нашёл никаких отклонений от предсказаний Евклида. В итоге эйнштейнова теория искривлённого пространства и времени, которая противоречила евклидовой, была проверена путём экспериментов более точных, чем гауссовы. Оказалось, что в пространстве рядом с Землёй углы большого треугольника в сумме могут давать 180,0000002 градуса — это отклонение от евклидовой геометрии сегодня приходится учитывать, например, в спутниковых навигационных системах. В других случаях, например вблизи чёрных дыр, различия между евклидовой и эйнштейновой геометриями настолько велики, что их уже нельзя охарактеризовать термином «отклонение».
— «Начало бесконечности»

Вопрос в том, как Гаусс пытался провести свои измерения. Чёрной-чёрной ночью, вооружив трёх ассистентов фонарями и теодолитами, он послал их на вершины трёх соседних гор. Понятно, что столь «совершенное» оборудование столь малое отклонение зафиксировать не смогло. Однако, зачём это было делать ночью? А вот чтобы не подвергаться травле, как дедушка Лобачевский!

Как бы то ни было, в конце двадцатых годов XIX века вокруг пятого постулата стало жарко.

Лобачевский[править]

Николай Иваныч смотрит на тебя как на пятый постулат

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

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

Собственно, оценили работы Иваныча из современников только двое. Это был, во-первых, Гаусс, который дичайше котировал работы Лобачевского и писал об этом коллегам, но, сука, не написал об этом Лобачевскому и никогда публично ни единым словечком не поддержал его. Вторым понявшим был расовый венгр Бойяи, к которому мы вернёмся чуть ниже. А пока остановимся на том, какую травлю получил за свою геометрию Лобачевский при жизни.

О том, что я прочёл, я считаю долгом сообщить Академии:

1) Из двух определённых интегралов, которые г–н Лобачевский считает своим открытием, один уже известен. Его можно получить на основании самых элементарных принципов интегрального исчисления. Значение другого интеграла, данное на стр. 120, является, поистине, новым. Оно — достояние г–на Казанского ректора. К несчастью, оно неверно[2]. 2) Всё, что я понял в геометрии г–на Лобачевского, ниже посредственного. 3) Всё, что я не понял, было, по-видимому, плохо изложено по той же самой причине, что в нём трудно разобраться. Из этого я вывел заключение, что книга г–на ректора Лобачевского опорочена ошибкой, что она небрежно изложена и что, следовательно, она не заслуживает

внимания Академии.
— Остроградский

Надо понимать, что Остроградский — это не какой-нибудь там фрик, а хороший, годный и уважаемый учёный. А вот анонимы писали и похлеще:

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

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

может представить воображение, особливо живое и вместе уродливое!
— из анонимной статьи в журнале «Сын отечества»

И все 30 лет, что Лобачевский прожил в статусе создателя неевклидовой геометрии имени себя, никак, кроме как «говном», его геометрию не называли. Даже его собственные ученики, которые после того, как Николай Иваныч ослеп, записывали под его диктовку его последнюю книгу «Пангеометрия», считали его поехавшим старым козлом и не стеснялись в выражениях. А ты бы смог пережить такую травлю, анон?

В наши дни масштаб приключившейся teh drama способен вызывать недоумение: да чего он такого, собственно, сделал-то? Выкинул одну из аксиом, заменил её другой, и решил посмотреть, что из этого получится. И из-за этого весь сыр-бор?! Да. Всё дело в том, священной коровой каких объёмов была для его современников геометрия Эвклида. Она, хоть и будучи придумана древним язычником, давала такой PROFIT в повседневных нуждах, что христианская церковь учение Эвклида (как и учение Аристотеля) взяла под своё сильное крыло. На этом наука и была заморожена на долгие годы (считалось, что всё, что нужно, уже открыто, а то, что не открыто — не нужно). В период Инквизиции, например, за попытку чего-то там улучшить или просто по-новому поглядеть на труды этих двух знаменитых греков, кощунственный еретик мог вообще пройти процыдурку живительного огнелечения. На этом фоне какое-то сраное анонимное «Ты хуй бля» в роисской перссе уже не воспринимается так брутально, правда?

Бойяи[править]

Бойяи-отец недоволен деятельностью сыночка
Бойяи-сын бородат и постулат
Ты должен бросить это как самое гнусное извращение. Оно может отнять у тебя всё время, здоровье, разум, все радости жизни. Эта чёрная пропасть в состоянии, может быть, поглотить тысячу таких титанов, как Ньютон…
— Бойяи старший намекает младшему

Бойяи-отец Фаркош был неплохим по своим временам математиком, водил дружбу с упомянутым уже Гауссом. Он, среди прочего, занимался пятым постулатом и изрядно подсел на оный. И немало огорчился, когда узнал, что его сын Янош тоже занялся этим безблагодатным делом. Он просил сыночку не заниматься этой хуитой, подчеркивая полную безблагодатность этого дела. Но Янош Фаркошевич папу не послушался. Мозг молодого Бойяи оказался куда как более подвижным, чем у папы, и он… повторил выводы Гаусса и Лобачевского. Подготовленная работа была опубликована в качестве приложения (Appendix) к работе папы Фаркоша в 1832 году. Спустя всего лишь 3 года после работы Лобачевского. Три года на фоне двух тыщ лет, которые стояла проблема! Гаусс написал письмо старшему Бойяи, в котором весьма лестно отозвался о работе младшего Бойяи, но отметил, что уже видел нечто похожее в работе одного русского…

Бойяи-сын, мягко говоря, прихуел, выучил русский язык чтобы прочитать работы Лобачевского в оригинале, и… охуел окончательно. Ходят слухи, что он даже подозревал Лобачевского в том, что тот спёр у него результат, и на почве расстройства съехал крышей. Ни одной работы по математике он больше так и не опубликовал, но сохранилось, если верить загнивающей, 20 000 листов черновиков по разным математическим темам.

Такие дела.

Матчасть[править]

Для гуманоидов, у которых дом — тюрьма гиперболоид, геометрия Лобачевского понятна и очевидна[3]

На выходе у Лобачевского получилось вот что. Есть система аксиом, есть проработанный матан для новой геометрии, причём матан ужас какой сложный и непонятный. И ни одной понятной картинки. А главное, непонятно, как объяснить, что новая система аксиом непротиворечива. Из полученных адовых формул совершенно не следует, что где-то там впереди за новым поворотом не появится какого-нибудь противоречия. Ну и самое главное, современникам не понятно, нахуя весь этот огород городить.

Ясность внёс макаронник Бельтрами, предложивший три геометрические модели, которые реализовывали геометрию Лобачевского. Попросту, то если назвать одни объекты прямыми, а другие точками, то получалось нечто, достаточно естественное с одной стороны, а, главное, в новой модели выполнялись аксиомы геометрии Лобачевского. То есть новая геометрия описывала не какую-то неведомую ёбаную хуйню, а вполне понятный объект, доступный для понимания простому смертному. Моделей Бельтрами предложил несколько, самые известные из них называются, в соответствии с принципом Арнольда, именами Пуанкаре и Клейна. Хорошо написано про них, например, здесь, а мы коротенько распишем одну из них. А именно модель Пуанкаре в верхней полуплоскости.

Модель Пуанкаре[править]

f - абсолют, a, b - "прямые". Соответственно одна из них полуокружность, а вторая - луч, перпендикулярный абсолюту.
"треугольники" в геометрии Лобачевского, выделены жирным
"углы" между "прямыми" в геометрии Лобачевского это углы между касательными в точке пересечения

Возьмём на плоскости прямую, которую называют абсолютом. Чтобы не путаться, в кавычках будут новые объекты в геометрии Лобачевского. Назовём «плоскостью» верхнюю полуплоскость (абсолют не включаем), «прямыми» — полуокружности, лежащие в «плоскости», у которых центр на абсолюте, и лучи, перпендикулярные к абсолюту. «Точками» назовём обычные точки в верхней полуплоскости. «Углом» будем называть угол между касательными к «прямым» в точке пересечения. Из картинки видно, что из данной «точки», не лежащей на данной «прямой», действительно можно провести две (и даже бесконечно много) «прямых», которые не пересекаются с данной. Остальные аксиомы, которые есть в евклидовой геометрии, выполняются, что легко проверить даже школьнику. Единственная трудность в том, что новые «объекты» отличаются от привычных нам. Но, с другой стороны, и что дальше? Аксиомы-то выполняются! А значит, непротиворечивость геометрии Лобачевского равносильна непротиворечивости геометрии Евклида.

В новой геометрии есть и своя «тригонометрия», в которой в роли тригонометрических функций выступают так называемые гиперболические функции[4]. Но про это уже читайте в спец. литературе.

Особенности геометрии Лобачевского[править]

ящерики в модели Пуанкаре

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

  • Сумма углов — строго меньше православных 180˚. А разница между суммой углов и 180 — это число, называемое дефектом, и оно пропорционально площади.
  • Признак равенства по трём углам — что дико доставляет, в геометрии Лобачевского нет неравных подобных треугольников, а, значит, любой треугольник однозначно определяется набором углов.
  • Медианы пересекаются в одной точке — таки да, хотя для доказательства в евклидовой геометрии обязателен пятый постулат. Но, оказывается, при наличии отрицания пятого постулата они всё равно пересекаются в одной точке. Не пытайтесь повторить это в домашних условиях…
  • Окружность. В упомянутой модели Пуанкаре «окружности» — это внезапно окружности (евклидовы), у которых «центр» находится не в центре. Нутыпонел.
  • Тригонометрия. Уся тригонометрия там имеется, включая теоремы косинусов и синусов. Только синусы и косинусы там гиперболические, а формулы хоть и похожи, но всё-таки другие. Вот кое-что
  • Паркет Лобачевского. Плоскость, как известно, можно покрыть одинаковыми правильными треугольниками, четырехугольниками и шестиугольниками. А вот в геометрии Лобачевского всё гораздо интереснее: там есть покрытия плоскости одинаковыми правильными многоугольниками из любого количества вершин. Так-то!

Братишки[править]

Ну вот худо-бедно мы выяснили, что геометрий есть по крайней мере две — Евклидова и геометрия Лобачевского. Конечно, это не всё, ведь систему аксиом можно выбирать какую угодно. Но выбирают системы аксиом в современном мире обычно исходя из того, какую именно задачу нужно решать в данный момент. То есть, как правило, в интересной геометрической модели выбирают, что назвать прямыми, точками и т. п., а потом выясняют, каким аксиомам они удовлетворяют. Перечислим тут несколько примеров.

ABC — это треугольник, в котором все углы прямые. Сферическая геометрия такая сферическая…
  • Сферическая геометрия — в известном смысле самая первая неевклидова геометрия, которой занимались задолго до того, как это стало мейнстримом. Но не вполне понимали, чем именно занимаются. Плоскость — это сама сфера, прямые — большие окружности, у которых центр совпадает с центром сферы. Отличается от евклидовой геометрии не только пятым постулатом (здесь вообще нет параллельных прямых), но и некоторыми другими. В этой геометрии сумма углов треугольника всегда больше 180˚ и существует треугольник, у которого все углы прямые. Широко применяется в математических основах навигации.
  • Абсолютная геометрия — геометрия, в которой вообще нет пятого постулата. Хороша тем, что утверждение, доказанное в ней, будет справедливо и для евклидовой геометрии, и для гиперболической. Но доказать большинство утверждений в ней сложновато.
  • Риманова геометрия — антипод геометрии Лобачевского. Здесь изменено больше постулатов. Так, нет порядка для трёх точек на прямой: есть лишь отношение «две точки разделяют две другие точки». Тоже достаточно важная штука, играет большую роль в современной дифференциальной геометрии. В качестве модели может служить евклидова плоскость, к которой добавили одну точку: типа «бесконечность», в которой пересекаются параллельные прямые. Близкое (но не то же самое!) понятие — так называемая проективная геометрия. Последняя важна, например, для этих ваших художников при рисовании эпических полотен. Ты же знаешь, что такое перспектива, мой художественный друг?
  • Пространство Минковского — про это написано на уютненьком в соответствующем месте.
  • Общая теория относительности — тоже живёт в неевклидовом пространстве. Только геометрия там очень сложная и даже толком не ясно, какие там геометрические аксиомы. Дело в том, что бессердечная сука гравитация искривляет пространство. Прямыми логично называть траектории, по которым летают фотоны (сделаем вид, что это частица), а пространством — то, где они летают. Где и как, какая масса искривит пространство — вопрос сложный, поэтому пятый постулат там почти наверняка не выполняется. Куда интереснее другой вопрос. Если фотон полетит в одну сторону, то не вернётся ли он когда-нибудь «с другой стороны»? Если да, то это значит, что мы живём на сфере (правда, только трёхмерной) или на чём-то очень на это похожем. Ну или нет.

А вообще, тысячи их!

Значимость[править]

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

Аксиоматический метод[править]

Уход от древнегреческого взгляда на аксиомы как на некие незыблемые б-гом данные сущности привёл к созданию математической логики и современной теории множеств. Выяснилось, что нужно не только доказывать новые теоремы в старой аксиоматике, но и сравнивать разные системы аксиом. Вообще оценивать их. К началу XX века из этого родятся работы Гильберта и Рассела, которые весьма романтически относились к аксиоматическому методу, считая, что он решит все проблемы в математике. Идеальным не может быть ничто, поэтому увенчалось это теоремами Гёделя, которые во многом определили границы применимости аксиоматического метода. Оные доставили немало баттхерта современникам и продолжают доставлять философам до сих пор. В добротной художественной форме об этом можно почитать в литературе.

Геометрия[править]

Старая добрая геометрия, в которой за 2 тысячи лет со времён самого Евклида мало что изменилось, вдруг вышла за пределы тех яслей, в которых сидела. От циркулей и линеек она наконец-то смогла перейти к изучению геометрии разных поверхностей, всяким необычным метрикам и всему тому, что так нужно и полезно в современной математике, физике и прочих естественных науках. Ведь и ты, анон, живёшь не на плоскости, а на геоиде, который можно аппроксимировать сферой или эллипсоидом в зависимости от решаемой задачи. А наша Земляшка крутится отнюдь не в обычном евклидовом трёхмерном пространстве. Да и вообще, многообразие Калаби-Яу и этим всё сказано.

Per aspera ad astra[править]

Ну и не только математика, конечно. Сам Лобачевский, хорошо понимая необходимость найти модель своей геометрии, пытался разглядеть эту модель в небе. Он считал расстояния и угол между звёздами, надеясь, что они будут описываться в терминах геометрии Лобачевского лучше, чем в евклидовой. Увы, но про релятивистские поправки и прочий необходимый матан тогда ещё известно не было. Но, как выяснится позже, он был не так уж и далёк от истины. Пространство Минковского как раз-таки близко к гиперболическому. И вообще, в современной астрофизике, в частности, при изучении чёрных дыр гиперболическая геометрия часто оказывается именно тем языком, на котором удобно решать многие задачи.

Искусство[править]

Ангелы и демоны Мориса Эшера. Православное замощение плоскости Лобачевского в модели Клейна

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

  • Эшер — во многих его произведениях используется тема замощений плоскости Лобачевского (в модели Клейна, например).
  • Опрокинутый мир — годная книжка про то, каково жить в мире, который воспринимается как неевклидов.

Сабж сегодня[править]

Сослужив службу высокой науке, геометрия Лобачевского нынче находится примерно в том же состоянии, что и евклидова геометрия, тригонометрия и прочие почтенные, заслуженные и полезные, но «закрытые» области математики.

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

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

Конечно, геометрия Лобачевского, как и любая не вполне очевидная теория, привлекает к себе внимание разных фриков, которые считают, что жидоматематики дурят людям голову и скрывают истину. Другие обвиняют геометрию Лобачевского в бездуховности и осквернении наследия предков (древних греков). Особенно тут отличаются, к сожалению, фрики, которые считают себя носителями ГСМ. Впрочем, отсутствие естественно-научного склада мозга отнюдь не обозначает присутствие какого-либо мозга. Примеров фрик-шоу в интернетах вполне достаточно.

Небольшое послесловие[править]

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

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

Это сейчас мы понимаем, что математика сама по себе, а философия сама по себе, но в те времена это было смело, очень смело. Если сильно заинтересоваться вопросом, то окажется, что, например, церковникам от смелых опытов Лобачевского сильно припекло. И вообще, зачастую Николай Иваныча обвиняли не столько в формальных математических ошибках, сколько в бездуховности. Не зря гневные отзывы писали в весьма поцреотическом «Сыне отечества».

Вторая причина, на которой и стояла первая, была в том, что, начиная с Римской империи и особенно после темных веков средневековья, учёные, в том числе и математики, считали кошерным заниматься только (!) изучением наследия великих древнегреческих предков, альтернативой которому был мракобесный астрал. А значит, всё, чем они занимались, это развитием и расширением классических областей. Даже матан воспринимался и преподносился как развитие идей Архимеда, например. А за всякую самодеятельность современники могли на новатора весьма косо посмотреть. В XIX веке, конечно, было полиберальнее, но дух старой школы был ещё жив.

Была и третья причина, как Тарас Бульба и породившая, и убившая вторую. Математика до середины XIX века была наукой скорее описательной. Если есть задача, желательно восходящая к какому-нибудь Аристотелю с Пифагором, значит, есть смысл решать эту задачу и разрабатывать соответствующий научный аппарат. А отвечать на вопросы чисто математического содержания, появившиеся из других математических задач, считалось блажью, недостойной серьёзных людей. Это уже позже, к концу XIX века математика начнёт развиваться как самостоятельная наука в прямой связи с другими, «промышленными» задачами, и выяснится, что содержательные математические вопросы часто находят себе благодарных слушателей в практических областях, только вот почему-то никем не разработаны. Геометрия Лобачевского сыскалась в теории относительности, например. Так что достаточно условное разделение математической науки на фундаментальную и прикладную началось, в каком-то смысле, с работ Лобачевского.

Расстрельный математический список[править]

Есть и такой. И многое в нём связано со смутными представлениями обывателя о геометрии Лобачевского.

  • Параллельные прямые пересекаются. Параллельные прямые не могут пересечься по определению. Хуита, которая пошла в массы из рекламы стиральных, сука, машин Zanussi. Из какого места высрался этот мем, науке неизвестно (хотя была когда-то песня «Удивляюсь» со словами «Но он вгляделся пристальней в загадочную высь — И там все параллельные его пересеклись.»). Алсо, в геометрии Лобачевского некоторые (!) параллельные прямые пересекаются на абсолюте (то есть как бы в бесконечности), но в самой плоскости Лобачевского они не пересекаются. Потому что параллельные!!!
  • Лобачевский опроверг геометрию Евклида. А Эйнштейн, видимо, отменил механику Ньютона. Тащемта, не опроверг, а продемонстрировал, что аксиоматика Евклида не единственная.
  • Геометрия Лобачевского не имеет отношения к реальному миру. Бред, демонстрирующий тупость изрекающего. Модель геометрии Лобачевского ничем не хуже модели Евклида, и они обе применимы к соответствующим задачам. Идеальных евклидовых прямых и плоскостей в природе тоже как бы не существует, но в терминах что одной, что другой модели удобно работать во многих вполне прикладных задачах.
  • Евклидова геометрия — это предельный случай геометрии Лобачевского. Формально фраза верная, но изрекающие не всегда понимают смысл оной. Технически имеется в виду следующее. Если в аналоге теоремы Пифагора для геометрии Лобачевского раскрыть гиперболические косинусы по формуле Тейлора, то первые слагаемые как бы дадут обычную теорему Пифагора. То есть при стремлении соответствующих величин к нулю формулы геометрии Лобачевского как бы превращаются (вырождаются) в формулы из геометрии Евклида. Отака хуйня, малята. Можно на это посмотреть по другому (как обычно делают в физике). Если в модели Пуанкаре взять о-о-очень маленький кусок «плоскости» и там посмотреть на прямые, параллельные данной, проходящие через данную точку, то они будут все очень друг на друга похожи. А значит, если взять бесконечно малый кусок плоскости, то вроде как треугольники и прямые будут неотличимы от своих евклидовых аналогов.

См. также[править]

Ссылки[править]

Примечания[править]

  1. Впрочем, с полнотой евклидовой геометрии всё не просто. Желающие могут обмазаться здесь
  2. Что характерно, ошибся как раз Остроградский, интеграл был-таки верно вычислен.
  3. Поверхность — это гиперболоид (результат вращения гиперболы). Из этой модели родились остальные, а саму геометрию называют гиперболической, ибо на гиперболоиде именно такая геометрия
  4. Если в твоём любимом языке программирования есть функции sinh, cosh и tanh, теперь ты знаешь, что они делают.
Eipi10.gif Хехехеххехехе. Пожилой математик одобряет
НаукиЛогика (Второй семестр) • Высшая математикаФизикаЕвгеникаМатанРоссийскаяСопроматСтатистикаФилософия (Детерминизм) • Бремя доказыванияЗнатствоМногие знания, многие печалиПритча про слепых и слонаБиологияПердун и ворВ глубине науки скрывается богословиеОсновной вопрос философииРастения — совершенная форма жизниКонцепция взаимоотношений полов Жоры РевазоваРусская наука vs западная наука2 + 2 = 4
ДостиженияTeXАтомная бомбаБиореакторБольшой адронный коллайдерГМОДвести двадцатьКорчевательКубик РубикаНанотехнологииПалата мер и весовРезонатор ГельмгольцаРоботыТермоядерный синтезЧернобыльЭкзоскелетФукусимаФракталРулерЦиркульMp3256МозгИзенареллаСверхпроводникиКвантовый интернетДНК-тестКристаллУгольник (Угол) • КвалиаБессознательноеИзобретательПустое множествоИскания под фонарёмДрожжиCRCЕстественное правоНатурфилософияБытиеИдеализмМатерияСинхронистичностьСилаАнтинарремыЭкзистенциальный кризисКошачья логикаИдеализацияИзолентаНордическая теорияОтрицательная селекцияКонсеквенциализмТеория вероятностейАльтернативная энергетикаГрафологияХимияГеологияМысльСтруктураВеществаПсихиатрияРоботЦепура ТульскогоТеплородТысячеричная система счисленияСовершенственная национальная политикаЭнциклопедия БританникаМатричный мирЖивые камниГенри ФордКонстанта ХаосаКонстанта ПрекращенияРазрушительная теорияМостНанонавозИзобретать велосипедВойна токовФактДостижения ЕгиптаЛоренцево сокращениеЛюди произошли от червяГенетикаПрофессор ничегонеделанияРефлексияИнформацияВедический креационизмРукотворные ужасы за гранью вашего понимания
Теории и открытияГеометрия ЛобачевскогоЗвездчатый многоугольникКвантовая механикаКогнитивная психологияПопуляционная теория МальтусаРадиацияТёмная энергияТеория большого взрыва (сериалБольшой взрыв — антинаучен) • Теория относительностиТеория разбитых оконТеория струнЧетвёртое измерениеЧёрная дыраЭволюцияЭлементарные частицыЭнтропияЛюбительская астрономияОтношенияЗадачи с недостатком информацииГомбокНеосвещаемая комнатаМногомерные фигурыИсторияМежконтинентальная баллистическая ракетаOutside InЧёрный лебедьРептильный мозгТрансжирыБуриданов осёлНепрерывность сознанияКока-кола и МентосКвантовое бессмертиеВычисление длины акулы по её зубуФундаментальная проблема материализмаИнтерференцияИсхождениеЧистый листНеапокалиптические сценарии будущегоИстины не существуетЦепь МарковаЗадача ДидоныИндекс ХиршаНобелевская премияЭндорфинКалькулятор95 тезисов против эволюцииВопрос эволюции! КампанияЭволюционный синдромДебаты о происхожденииРедукционизмАбиогенезПанспермияЗадачи тысячелетияТеория МорозоваГомункулMG 42Философия отгороженностиБиологическая таксономияКогнитивная угрозаНарративная угрозаРазум это не мозгСвидетельства Всемирного ПотопаБыл ли Ноев КовчегУниформизмConway’s Game of LifeКлеточный автомат
Мемы2 + 2 = 5265xkcdБритва ОккамаДеление на ноль (Яценюк) • Дигидрогена монооксидДомино в задачахЗадача Льва ТолстогоЗадача ЭйнштейнаЗакон МерфиЗакон ПаретоКвадратно-гнездовой способ мышленияКвадратура кругаКоробочка фотоновКот ШрёдингераКритерий ПоппераМатановая капчаМатематизацияМетод научного тыкаПик нефтиПоймать льва в пустынеПростые числаРекурсияСферический конь в вакуумеТеорема Абеля — ГалуаВеликая теорема ФермаЧисло ГрэмаЧисло ЭрдёшаСдвиг парадигмыПритча про сранье в лесуСингулярностьСтиль превыше содержанияАпелляция к здравому смыслуОбщее происхождениеПолёт пчелы и радиоударПаранормальный вызов на миллион долларовЗакон ОмаАрсен МаркарянБоевое НЛПАнекдотическое свидетельствоМозговой штурмОтрицательные числа
Люди и организацииИзябретательИлон МаскГермес Триждывеличайший • Организации (ИТМОМФТИНМУ) • БайронБелоненкоБерезовскийВассерманВербицкийда ВинчиДекартДокинзИнженерКэрроллЛабораторияЛейбницЛуговский (цитатник) • Паскаль • Перельманы (ГригорийЯков) • ПереслегинПятисемитыСаганТейлорТеслаТехнофашистыФейнманХайямХокингЭшерАндрей КурпатовРоджер ПенроузWolfram AlphaАлександр ПушнойСергей ХачатуровЭхнатонАрсений ЯценюкКульт СингулярностиАрхивариусЖак Ив КустоПрофессор БагировNautilus LiveShark-ReferencesИван ИльинЦЕРНОлег ЗаморинПрофессорРоберт БойльАнаксагорАнаксимандрАнаксимен МилетскийПифагорДемокритФалес МилетскийСократПлатонАристотельЗенонАрхимедЭратосфенГиппократ ГераклидовичПарменидГераклитМайкл БихиДиогенИндуистский университет АмерикиПифагорская школаГеорг ГегельPathofMatthГеоргий ГурджиевАрсен МакарянПлоскоземельщикиАлан Тьюринг
ПаранаукаScience freaks/Научное фричествоScorcher.ruАртефактВеликая тайна водыВечный двигательГомеопатияГСМИнформационное поле ВселеннойКвадратно-гнездовой способ мышленияНаучный креационизмНЛППринцип АрнольдаСоционикаТелегонияТорсионные поляХУЯСЭлектронный голосовой феноменСколковоАртефакты ПетербургаЮрий Рыбников (Счёт древних шизов) • Странные графикиНевозможные фигурыРадужные каплиВикипедияMagnetic GamesПсихолухСоциотипыНаучпопАнтиизенареллаВлияние мочи на солнечные лучиВасилиск РокоИллюзорность мираПеренос сознанияАнтропогенез.руЦеребральный сортингСмекалочкаПарадоксы путешествий во времениТёмная материяЭрнст ЮнгерПопулярная психологияУскорительно-накопительный комплексФейковая логикаЛженаучные фрикиТерминологические ошибкиТрансгуманизмПродление жизниАнтропный принцип
Фрики и шарлатаныSherakБританские учёныеБронниковГаряевЖдановКатющикЛотовЛысенкоМалаховМулдашевМухинНиконовОлег Т.ПетрикПротопоповРАЕНСкляровСтерлиговФоменкоЧащихинЧернобровЧудиновЧурляевЧуровКульт наукиХимтрейлыМатематика — злоАндрей ВерёвкинСергей СавельевЭкзамены это расизм
СрачиБесполезная наукаВзлетит или не взлетит?Дети индигоЛуносрачНаука vs религияПирамидосрачПлутоносрачФизики vs лирикиШмель летать не долженНольЖизнь коротка, искусство вечноОптическая иллюзияВопрос про возраст капитанаНеопределённостьА что, если?Закат ЕвропыИнтерес людей к акуламПарадокс сотворения мираЭффект Даннинга — КрюгераЭкстраординарные утверждения требуют экстраординарных доказательствНепересекающиеся магистерииПринцип достаточного основанияСпасательный люк