Главное меню
Мы солидарны с Украиной. Узнайте здесь, как можно поддержать Украину.

Лобачевский

Автор Karakurt, апреля 23, 2013, 17:55

0 Пользователи и 1 гость просматривают эту тему.

Karakurt


Bhudh

Через точку Р, не лежащую на геодезической а, проходит бесконечно много геодезических, не пересекающих геодезической а.
Пиши, что думаешь, но думай, что пишешь.
MONEŌ ERGŌ MANEŌ.
Waheeba dokin ʔebi naha.
«каждый пост в интернете имеет коэффициент бреда» © Невский чукчо

Вадимий

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

Одна из аксиом, т. е. базовых тезисов, на основе которых и строится вся феерия, — так называемый пятый постулат Евклида — почему-то казалась людям чрезмерно усложнённой, т. е. они думали, это на самом деле теорема, что её можно доказать на основе других аксиом. Она существует во многих эквивалентных формулировках (то есть на основе одной из формулировок можно доказать другие как теоремы и наоборот). Самая популярная и известная звучит так: «Если дана прямая и точка, не лежащая на данной прямой, то через эту точку можно провести одну и только одну прямую, параллельную данной» (при этом параллельные прямые определяются как прямые, которые (уточнение для стереометрии) лежат на одной плоскости и не пересекаются. Если мы рассматриваем планиметрию, то уточнение про одну плоскость можно убрать, а в пространстве есть ещё скрещивающиеся линии — которые вообще не лежат на одной плоскости, они тоже не пересекаются, естественно).

Это была присказка, а сказка вот. Лобачевский, как и сотни предшественников, попытался поставить точку в вопросе о том, является ли пятый постулат доказуемым на основе остальных аксиом и постулатов. Но для этого он решил использовать метод «от противного»: представил ситуацию, в которой пятый постулат заменяется таким утверждением: «Если дана прямая и точка, не лежащая на данной прямой, то через эту точку можно провести не менее двух прямых, параллельных данной» (из чего легко вытекает, что их тогда бесконечное множество — можно провести сколько угодно между этими двумя; в третьей, сферической, геометрии, используется вариант, при котором провести параллельную прямую нельзя вообще).
Он ожидал, по-видимому, что наткнётся на противоречие, и тогда аксиому можно считать доказанной — т. е. уже теоремой.
Но этого не произошло. Описанная им удивительная и странная геометрия хоть и не выполнялась на плоскости (например, подобные треугольники там были равны, теорема Пифагора не выполнялась, и много гораздо более странного, которое я уже забыл — давно читал), но была непротиворечивой! Его обсмеяли и попытались найти противоречия.
Но непротиворечивость его геометрии была доказана тем, что привели модели этой геометрии: если уподобить умозрительным объектом не одни вещи из реальности, а другие (например, по-другому считать расстояния между объектами или называть прямой то, что в Евклидовой геометрии называется хордой окружности — отрезком, соединяющим две точки окружности), то она будет выполняться.
Таким образом, он поставил точку в этом вопросе: пятый постулат на основе остальных евклидовских доказать нельзя, можно только заменить эквивалентной формулирвокой (что мы и делаем: оригинальная формулировка постулата была вообще, по-моему, такая:
«Если две прямые пересекают третью и сумма углов между этими прямыми и третьей с одной из сторон меньше прямого угла, то тогда эти две прямые обязательно пересекаются, причём с той стороны, где эта сумма меньше.»
Но может и по-другому как-ниибудь)

Karakurt


Вадимий


Hellerick

Цитата: Вадимий от апреля 23, 2013, 18:14
Лобачевский, как и сотни предшественников, попытался поставить точку в вопросе о том, является ли пятый постулат доказуемым на основе остальных аксиом и постулатов. Но для этого он решил использовать метод «от противного»

По-моему, этим занимался Джироламо Саккери.

Bhudh

Цитата: Однако дальше, в результате вычислительной ошибки он делает неверный вывод, что эта геометрия содержит в себе противоречие
Иезуит, шо тут скажешь!
Пиши, что думаешь, но думай, что пишешь.
MONEŌ ERGŌ MANEŌ.
Waheeba dokin ʔebi naha.
«каждый пост в интернете имеет коэффициент бреда» © Невский чукчо

Ильич

Цитата: Hellerick от апреля 23, 2013, 18:29
Цитата: Вадимий от апреля 23, 2013, 18:14
Лобачевский, как и сотни предшественников, попытался поставить точку в вопросе о том, является ли пятый постулат доказуемым на основе остальных аксиом и постулатов. Но для этого он решил использовать метод «от противного»
По-моему, этим занимался Джироламо Саккери.
Про Саккери не слышал, но Лобачевский был не единственный, кто таким образом пытался доказать пятый постулат Евклида. Например, венгр Больяи (Бойяи?).
И насколько я помню, Лобачевский никогда не утверждал, что его построения можно считать геометрией с тем же основанием, что и евклидову геометрию. Модель геометрии Лобачевского в геометрии Евклида появилась позже, если правильно помню.
Такое отсутствие напористости сослужило Лобачевскому хорошую службу. Он спокойно дожил свой век на хорошей должности в Казанском университете. А Больяи сошел с ума.

Bhudh

Пиши, что думаешь, но думай, что пишешь.
MONEŌ ERGŌ MANEŌ.
Waheeba dokin ʔebi naha.
«каждый пост в интернете имеет коэффициент бреда» © Невский чукчо

Ильич

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

BormoGlott

Цитата: Ильич от апреля 24, 2013, 08:46
например, Перельман, который от премии отказался.
А в чем суть этой гипотезы Пуанкаре

christo_tamarin

И Лобачевский (1792-1856), и Бойяи (1802-1860), по сравнению с Гауссом (1777-1855) были дилетантами. До конца жизни они не осознали, как просто все это. А Гаусс осознал сразу, а по всей вероятности и раньше появления работ Лобачевского и Бойяи.



Ильич

Цитата: BormoGlott от апреля 24, 2013, 11:49
Цитата: Ильич от апреля 24, 2013, 08:46
например, Перельман, который от премии отказался.
А в чем суть этой гипотезы Пуанкаре
Возьмём резиновый лист. Нарисуем на нём кляксу так, чтобы в неё не было пустот. Вырежем кляксу. В ней не должно быть дырок - односвязность. Склеим края кляксы так, чтобы нигде край не торчал, то есть, после склейки краёв не будет. Так мы получили односвязное (без дырок), компактное (замкнутое и ограниченное) многообразие (лист) без краёв. Размерность многообразия равна двум - лист же был плоский. Находится многообразие в трехмерном пространстве.
Теперь будем его надувать без разрывов! (это называется гомеоморфное преоразование). Получится сфера.
Вот то, что получится сфера и есть "гипотеза Пуанкаре для размерности 2".
Настоящая гипотеза Пуанкаре для размерности три и выше.
Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.
Могут быть несколько другие формулировки. Например, вместо односвязного компактного многообразие без края можно говорить многообразие гомеотопное сфере.

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

Ильич

Цитата: christo_tamarin от апреля 24, 2013, 12:58Гаусс осознал сразу, а по всей вероятности и раньше появления работ Лобачевского и Бойяи.
Это догадки, предположения и не больше. Если бы реально осознал, то не молчал бы.
А вот первый, кто всё это громко сказал, был Гильберт.
Но Лобачевский настолько развил свою геометрию, что его известность первооткрывателя вполне заслуженна.

Гильберт - наш соотечественник. Родился в посёлке Знаменск, недалеко от Калининграда. Учился в тамошнем университете. Смайлик ставить или так догадаетесь?

BormoGlott

Цитата: Ильич от апреля 24, 2013, 14:06
Spoiler: Возьмём резиновый лист. ⇓⇓⇓
Спасибо, понятно, то есть, ничегошеньки не понятно. То есть про преобразование понятно, но как оно связано с другими задачами, где оно применяется, какие следствия и него выводятся. Почему доказательство вроде бы очевидной вещи так важно для математики, что приз за это доказательство был достаточно весом

Ильич

Цитата: BormoGlott от апреля 24, 2013, 17:23как оно связано с другими задачами, где оно применяется, какие следствия и него выводятся. Почему доказательство вроде бы очевидной вещи так важно для математики, что приз за это доказательство был достаточно весом
Про связи, следствия ничего сказать не могу - не знаю.
А доказательство этой вроде бы очевидной вещи искали очень долго. Нашли его в другой области математики, что для математики очень ценно - показывает её целостность. Думаю, поэтому специалисты и оценили доказательство высоко.

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

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


christo_tamarin

Цитата: Ильич от апреля 24, 2013, 14:20
Цитата: christo_tamarin от апреля 24, 2013, 12:58Гаусс осознал сразу, а по всей вероятности и раньше появления работ Лобачевского и Бойяи.
Это догадки, предположения и не больше. Если бы реально осознал, то не молчал бы.
А вот первый, кто всё это громко сказал, был Гильберт.
Но Лобачевский настолько развил свою геометрию, что его известность первооткрывателя вполне заслуженна.

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

Кривизна Гаусса.

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

RawonaM

Мне вот непонятен такой вопрос: почему теория относительности показала неверность пятого постулата для физического мира? Если лучи света сгибаются при гравитации, значит они не прямые, разве не так?

И еще вот, когда свет проходит через узкую щель, он тоже сгибается, отчего это происходит? Я этим явлением пользуясь когда нет при себе очков и надо что-то в далеке увидеть. Сгибаю мизинец и смотрю через отверстие.

Вадимий

Цитата: RawonaM от апреля 30, 2013, 10:04
надо что-то в далеке увидеть

Цитата: RawonaM от апреля 30, 2013, 10:04
Мне вот непонятен такой вопрос: почему теория относительности показала неверность пятого постулата для физического мира?
А она это сделала?
Цитата: RawonaM от апреля 30, 2013, 10:04
Если лучи света сгибаются при гравитации, значит они не прямые, разве не так?
Я вот читал что-то типа того, что там прикол в том, что причиной гравитационных эффектов является искажение самого пространства, то есть это не лучи не прямые, а всё хронотоп виноват типа

arseniiv

Цитата: Вадимий от апреля 23, 2013, 18:14
в третьей, сферической, геометрии, используется вариант, при котором провести параллельную прямую нельзя вообще
Там некоторые другие аксиомы не работают. Если их оставить как у евклидовой аксиоматики, получится противоречивая теория.

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

Цитата: RawonaM от апреля 30, 2013, 10:04
Я этим явлением пользуясь когда нет при себе очков и надо что-то в далеке увидеть. Сгибаю мизинец и смотрю через отверстие.
Не этим. Вы пользуетесь явлением, которым пользуется камера-обскура и которое описывается хорошо и геометрической оптикой. А дифракция тут не проявляется.

arseniiv

Цитата: RawonaM от апреля 30, 2013, 10:04
когда свет проходит через узкую щель, он тоже сгибается
Да и не сгибается же.

sss

Цитировать
Цитата: RawonaM от апреля 30, 2013, 10:04
Я этим явлением пользуясь когда нет при себе очков и надо что-то в далеке увидеть. Сгибаю мизинец и смотрю через отверстие.
Не этим. Вы пользуетесь явлением, которым пользуется камера-обскура и которое описывается хорошо и геометрической оптикой. А дифракция тут не проявляется.

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

дифракция тут ёщё толком не проявляется, но уже близка

arseniiv

Когда она будет близка, начнут появляться хроматические аберрации. :)

oveka

Цитата: Ильич от апреля 24, 2013, 14:20
Это догадки, предположения и не больше. Если бы реально осознал, то не молчал бы.
Гаусс был весьма талантлив и немец - "Не стану говорить, чтобы не дразнить этих беотийцев!"
Это его заявление. Беотийцы - самые чумные греки, славившиеся плохим характером. Как дундуки.
А Саккери говорят  строил-строил доказательства, противоречий не обнаружил и плюнул.
О судьбе венгра уже говорили.

Быстрый ответ

Обратите внимание: данное сообщение не будет отображаться, пока модератор не одобрит его.

Имя:
Имейл:
Проверка:
Оставьте это поле пустым:
Наберите символы, которые изображены на картинке
Прослушать / Запросить другое изображение

Наберите символы, которые изображены на картинке:

√36:
ALT+S — отправить
ALT+P — предварительный просмотр