Я утверждаю, что приведенные цитаты лишь доказывают тот факт, что ни один из тех математиков так и не удосужился тщат...

суббота, 31 августа 2013

22:35

все записи пользователя в сообществе Amicus Plato

Простыми словами

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

27 августа исполнилось 155 лет со дня рождения Джузеппе Пеано.

Википедия
Джузеппе Пеано (итал. Giuseppe Peano; 1858—1932) — итальянский математик. Внёс вклад в математическую логику, аксиоматику, философию математики. Создатель вспомогательного искусственного языка латино-сине-флексионе. Более всего известен как автор стандартной аксиоматизации натуральной арифметики — арифметики Пеано.

(Вот и всё, что сказано о нем в Википедии).

Конечно, первое, о чем нужно написать, это арифметика Пеано.

Аксиомы Пеано
Аксиомы Пеано в свое время сделали огромный прорыв в математике. Бертран Рассел писал, какое огромное впечатление произвела эта аксиоматика на него и на Уайтхеда.

Аксиомы Пеано — одна из систем аксиом для натуральных чисел.
Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства многих свойств натуральных и целых чисел, а также использование целых чисел для построения формальных теорий рациональных и вещественных чисел.

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

Словесная формулировка

1 является натуральным числом;
Число, следующее за натуральным, тоже является натуральным;
1 не следует ни за каким натуральным числом;
Если натуральное число `a` непосредственно следует как за числом `b`, так и за числом `c`, то `b` и `c` тождественны;
(Аксиома индукции.) Если какое-либо предложение доказано для 1 (база индукции) и если из допущения, что оно верно для натурального числа `n`, вытекает, что оно верно для следующего за `n` натурального числа (индукционное предположение), то это предложение верно для всех натуральных чисел.

(Математическую формулировку я приводить, с вашего позволения, не буду)

Латино-сине-флексионе
читать дальше

Кривая Пеано
ВикипедияНа этой теме остановлюсь более подробно.
Кривая Пеано — общее название для параметрических кривых, образ которых содержит квадрат (или, в более общем смысле, открытые области пространства).
Звучит, может быть, устрашающе, и на самом деле, так и есть. )
Не буду останавливаться на аналитических свойствах кривых Пеано, хотя там масса всего интересного.
Для начала займемся геометрическим построением.
Геометрическое построение. Рассмотрим единичный отрезок и единичный квадрат. На 1-м шаге построения разделим квадрат средними линиями на 4 равных квадратика, а отрезок - на 4 равные части. Получим квадратики и отрезочки 1-го уровня. На каждом последующем шаге делим квадратики и отрезочки предыдущего уровня на 4 части - получаем квадратики и отрезочки следующего уровня. Имеем 4 квадратика 1-го уровня, 16 квадратиков 2-го уровня и т.д.; аналогично с отрезочками. Зададим порядок обхода квадратиков каждого уровня. Для 1-го, 2-го, ..., 6-го уровня порядок обхода показан на рисунке. Порядок обхода определяет взаимно-однозначное соответствие между множеством квадратиков n-го уровня и множеством отрезочков n-го уровня.
Пусть теперь x - произвольная точка исходного единичного отрезка. Пусть k1 - номер отрезочка 1-го уровня, которому принадлежит точка x, k2 - номер отрезочка 2-го уровня, которому принадлежит точка x и т.д. Рассмотрим квадратики Q1, Q2, ... с теми же номерами k1, k2, .... Порядок обхода квадратиков устроен таким образом, что (внимание!) квадратики Q1, Q2, ... образуют вложенную систему. По теореме о вложенной (стягивающейся) системе отрезков, квадратики Q1, Q2, ... имеют единственную общую точку y.
Если x принадлежит одновременно 2-м отрезочкам, то эти отрезочки соответствуют 2-м квадратикам с общей стороной - так устроен порядок обхода. Назовем такие квадратики смежными. В этом случае вместо квадратиков Q1, Q2, ... рассмотрим прямоугольники - объединения смежных квадратиков. И тогда y - единственная общая точка вложенной системы указанных прямоугольников.
Аналогичное рассуждение показывает, что каждая точка y квадрата будет соответствовать некоторой точке x единичного отрезка.
Построенное отображение x → y определяет искомую кривую Пеано. Непрерывность отображения следует из того, что близким отрезочкам соответствуют близкие квадратики. Каждая точка y имеет:

1 прообраз x (если y не принадлежит границам 2-х несмежных квадратиков никакого уровня),
2 прообраза (если y принадлежит границам не более 2-х несмежных квадратиков некоторого уровня),
3 прообраза (если y принадлежит границам 4-х квадратиков некоторого уровня, одна пара которых - смежные),
4 прообраза (если y принадлежит границам 4-х попарно несмежных квадратиков некоторого уровня).

Пример кривой Пеано, построенный Гильбертом. Здесь показан порядок обхода квадратиков 1-6 уровня.

Математическая энциклопедия

И напоследок еще одна картинка (с)