И твой, бесконечность, учебник

Jan 27, 2021 09:00



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

Читаю один, без людей )

математика, бесконечность

Leave a comment

a_gorb January 31 2021, 10:41:03 UTC

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

”концепция действительного числа гораздо сложнее, чем концепция отрицательного: в конце концов, последнюю легко продемонстрировать даже на примере только целых чисел”
Все стандартные демонстрации, типа, отрицательное число выражает долг, или движение по оси в другую сторону (положительная и отрицательная температура) плохи тем, что они не являются необходимыми. Пусть долг выражается отрицательным числом, тогда его надо прибавлять. Но ведь гораздо проще его считать положительным числом и вычитать. Про температуру также вполне можно говорить не -10С, а 10С холода. Т.е. отрицательные числа получаются ненужными, и не возникает частых ошибок на тему, что вычитание отрицательного числа есть прибавление положительного. Отмечу, что у древних не было не то что понятие отрицательного числа, у них не было даже понятие нуля. Последнее видимо появилось в Индии только в 9 веке.

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

”Это уже потом геометрия утратила свою роль основания всей математики - когда Декарт догадался, что кривые суть совокупности пар чисел на координатной плоскости.”
Не утратила:) Что бы использовать Декартову систему координат приходится опираться на теоремы геометрии.

На мой взгляд, важнейший прорыв произошел, когда додумались, как отношения величин свести к числу. Калькулятор ведь вычисляет косинус. А как это вообще возможно, если косинус это отношение длин сторон треугольника? Не строит же калькулятор внутри себя такие треугольники. Вот когда эти отношения (включая число Пи) свели к суммам рядов, т.е. к суммам чисел, то произошло действительное объединение чисел и величин. Но платой за это стало использование бесконечных рядов. (Опять бесконечность!)

Reply

ext_4119183 January 31 2021, 11:56:18 UTC
косинус это отношение длин сторон треугольника

А cos(pi) - это отношение длин сторон какого треугольника?

Reply

a_gorb January 31 2021, 12:04:04 UTC
Это как раз то обобщение понятия косинуса, о котором я и написал.
Есть еще и косинус комплексного аргумента.

Reply

ext_4119183 January 31 2021, 12:33:25 UTC
Ну так, калькулятор считает как раз это обощённое понятие. Ему же в качестве аргумента дают величину угла, а не длины сторон треугольника. Величина угла - это отношение, или она сама по себе?

Reply

a_gorb January 31 2021, 12:42:34 UTC
”Ну так, калькулятор считает как раз это обощённое понятие. Ему же в качестве аргумента дают величину угла, а не длины сторон треугольника.”
Да. А я разве иначе написал?

”Величина угла - это отношение, или она сама по себе?”
Величина угла, выраженная числом, т.е. то, что вводится в калькулятор, есть, разумеется, отношение величины данного угла к величине угла, принимаемого за эталон.

Reply

ext_4119183 January 31 2021, 13:14:59 UTC
Как косинус - отношение сторон стал косинусом угла?

Reply

a_gorb January 31 2021, 14:20:49 UTC
”Как косинус - отношение сторон стал косинусом угла?”
Всегда им был. Косинус - это отношение прилежащего к углу(!) катета к гипотенузе. Другой угол, другое отношение.
Затем мы выражаем величину угла неким числом - это относительно несложно. Отношение сторон также выражаем неким числом. Это уже сложнее. Затем мы находим зависимость между этими двумя числами. Это очень сложно. Вот эта зависимость и находится внутри калькулятора. А вот как открыли эту зависимость, я вам с ходу ответить не могу, надо в книжки посмотреть.

Reply

ext_4119183 January 31 2021, 14:46:17 UTC
То число было "нетривиально", то вдруг "относительно несложно". Как вообще можно оперировать величинами, не имея концепции чисел, хотя бы натуральных? Откуда эти величины брать и как сопоставлять? На вкус? Пользуясь только отношениями больше-меньше?

Reply

egovoru January 31 2021, 15:20:24 UTC
"Откуда эти величины брать и как сопоставлять?"

Уважаемый a_gorb, несомненно, сам Вам ответит, но я тоже хочу вставить свое слово :) Величины берутся из и сопоставляются в геометрии - как, собственно, и делали греки. А споткнулись они именно на том, что такие геометрически понятные величины как длина окружности или диагональ квадрата было невозможно выразить в виде отношения известных им чисел. Для того, чтобы длине окружности тоже приписать некое число, понадобились еще века и века.

Reply

ext_4119183 January 31 2021, 15:28:27 UTC
Откуда они берутся в геометрии? От случая к случаю находятся в виде протяжённых естественных образований на местности?

Уважаемый a_gorb написал следующее:
"Вот у вас есть отрезок, он имеет некую длину, т.е. есть величина длины этого отрезка. Мы можем оперировать с этим типом величин, т.е. длинами отрезков - доказывать различные теоремы, типа что в таком-то треугольнике величины длин сторон равны. Или, что большая величина относится к меньшей, так же, как сумма величин к большей. Это последнее отношение есть золотое сечение. Всеми этими отношениями пользовались. Но есть ли тут числа - нет."

Т.е. есть некие "величины", они как-то друг к другу относятся, ими можно как-то оперировать, а чисел при этом ну совсем ещё нет, никаких. Мне это непонятно.

Reply

egovoru January 31 2021, 15:52:03 UTC
Но разве для того, чтобы доказать, что одно отношение величин равно другому отношению других величин, необходимо пользоваться числами?

Вполне вероятно, конечно, что понятие "величина отрезка" возникло не раньше, чем понятие "число яблок", но то, что для некоторых величин отрезков (например, диагонали квадрата) "чисел яблок" не хватило, вызвало существенные проблемы, которые удалось разрешить далеко не сразу.

Reply

ext_4119183 January 31 2021, 16:09:58 UTC
Не надо про числа яблок. Их нет, по условию. И, соответственно, нет проблемы с исчислением диагонали квадрата - нечем даже пытаться исчислять. Есть только нечисленные величины. Конечно, в отдельных удачных случаях можно обнаружить хитрые закономерности, пользуясь только ими. Например, ту же теорему Пифагора, путём сравнения площадей квадратов, построенных из отрезков. Только потому, что все отрезки входят в неё с коэффициентом 1. Но как сравнивать не равные величины?

Reply

egovoru January 31 2021, 16:59:02 UTC
"Не надо про числа яблок. Их нет, по условию"

Как я поняла, a_gorb вовсе не настаивает, что понятие величины непременно появилось раньше, чем понятие (натурального) числа. Он только подчеркивает, что эти понятия далеко не сразу стали эквивалентными.

Reply

ext_4119183 January 31 2021, 18:12:26 UTC
Если они бытовали одновременно, то из чего следует, что "древние хорошо понимали разницу между числом и величиной"? Зачем им это надо было?

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

Reply

egovoru January 31 2021, 18:17:30 UTC
"Зачем им это надо было?"

Дело не в том, что им это зачем-то было надо, а в том, что им не удалось выразить длину окружности никаким известным им числом.

"Я когда-то читал об экспериментах, показывающих, что умение считать доступно некоторым животным"

Мне тоже приходилось читать об этом - на мой взгляд, это исключительно интересная область исследований.

Reply

ext_4119183 January 31 2021, 18:46:39 UTC
Я так понимаю, что они первым делом упорно искали, каким соотношением целых чисел (или величин отрезков, которые относятся к друг другу как целое число отрезков выбранной единичной величины) выражается длина окружности, что скорее говорит о неразличении величин и чисел.

Мне тоже приходилось читать об этом

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

Reply


Leave a comment

Up