Поверхность Пеано

В математике поверхность Пеано представляет собой график функции двух переменных.
Он был предложен Джузеппе Пеано в 1899 году как контрпример к предполагаемому критерию существования максимумов и минимумов функций двух переменных. [1] [2]
Поверхность была названа поверхностью Пеано ( нем . Peanosche Surface ) Георгом Шефферсом в его книге 1920 года «Учебник представительной геометрии» . [1] [3] Его также называли седлом Пеано . [4] [5]
Характеристики
[ редактировать ]
Функция чьим графиком является поверхность, принимает положительные значения между двумя параболами и и отрицательные значения в других местах (см. диаграмму). В начале координат трехмерная точка на поверхности, соответствующей точке пересечения двух парабол, поверхность имеет седловую точку . [6] Сама поверхность имеет положительную гауссову кривизну в одних частях и отрицательную кривизну в других, разделенных другой параболой, [4] [5] подразумевая, что его карта Гаусса имеет точку возврата Уитни . [5]

Хотя поверхность не имеет локального максимума в начале координат, ее пересечение с любой вертикальной плоскостью, проходящей через начало координат (плоскость с уравнением или ) — кривая, имеющая локальный максимум в начале координат, [1] свойство, описанное Эрлом Рэймондом Хедриком как «парадоксальное». [7] Другими словами, если точка начинается в начале координат плоскости и удаляется от начала координат по любой прямой, значение уменьшится в начале движения. Тем не менее, не является локальным максимумом функции, поскольку движение по параболе типа (на диаграмме: красный) приведет к увеличению значения функции.
Поверхность Пеано является поверхностью четвертой степени .
В качестве контрпримера
[ редактировать ]В 1886 году Джозеф Альфред Серрет опубликовал учебник. [8] с предложенными критериями крайние точки поверхности, заданные формулой
- «максимум или минимум имеет место тогда, когда для значений и для чего и (третий и четвертый члены) исчезают, (пятый член) постоянно имеет знак − или знак +».
Здесь предполагается, что линейные члены равны нулю и ряд Тейлора имеет форму где представляет собой квадратичную форму типа , представляет собой кубическую форму с кубическими членами в и ,и является формой четвертой степени с однородным полиномом четвертой степени от и .Серрет предполагает, что если имеет постоянный знак во всех точках, где тогда существует локальный максимум или минимум поверхности в точке .
В своих примечаниях к Анджело Дженокки итальянскому учебнику по исчислению » 1884 года «Calcolo Differentziale e principii di Calcolo Integrale Пеано уже предоставил различные правильные условия, при которых функция достигает локального минимума или локального максимума. [1] [9] В немецком переводе того же учебника 1899 года он представил эту поверхность в качестве контрпримера состоянию Серре. В точку , условия Серре выполнены, но эта точка является седловой, а не локальным максимумом. [1] [2] Состояние, связанное с состоянием Серре, также подверглось критике со стороны Людвига Шеффера , который использовал поверхность Пеано в качестве контрпримера к ней в публикации 1890 года, приписываемой Пеано. [6] [10]
Модели
[ редактировать ]Модели поверхности Пеано включены в Геттингенскую коллекцию математических моделей и инструментов Геттингенского университета . [11] и в коллекции математических моделей Дрезденского технического университета (в двух разных моделях). [12] Модель Göttingen была первой новой моделью, добавленной в коллекцию после Первой мировой войны , и одной из последних, добавленных в коллекцию в целом. [6]
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и Эмч, Арнольд (1922). «Модель поверхности Пеано» . Американский математический ежемесячник . 29 (10): 388–391. дои : 10.1080/00029890.1922.11986180 . JSTOR 2299024 . МР 1520111 .
- ^ Jump up to: а б Дженокки, Анджело (1899). Пеано, Джузеппе (ред.). Дифференциальное исчисление и основные принципы интегрального исчисления (на немецком языке). Б. Г. Тойбнер. п. 332.
- ^ Шефферс, Георг (1920). «427. Поверхность Пеано» . Учебник начертательной геометрии (на немецком языке). Том II, стр. 261–263.
- ^ Jump up to: а б Кривошапко С.Н.; Иванов В.Н. (2015). «Седловые поверхности». Энциклопедия аналитических поверхностей . Спрингер. стр. 561–565. дои : 10.1007/978-3-319-11773-7_33 . См. особенно раздел «Седло Пеано», стр. 562–563.
- ^ Jump up to: а б с Фрэнсис, Джордж К. (1987). Топологическая книжка с картинками . Спрингер-Верлаг, Нью-Йорк. п. 88. ИСБН 0-387-96426-6 . МР 0880519 .
- ^ Jump up to: а б с Фишер, Герд, изд. (2017). Математические модели: из коллекций университетов и музеев - том фотографий и комментарии (2-е изд.). дои : 10.1007/978-3-658-18865-8 . ISBN 978-3-658-18864-1 . См., в частности, Предисловие (стр. xiii) для истории Геттингенской модели, Фото 122 «Penosche Fläsche / Peano Surface» (стр. 119) и главу 7 «Функции», Юрген Лейтерер (Р.Б. Буркель, пер.), раздел 1.2, «Поверхность Пеано (Фото 122)», стр. 202–203, для обзора ее математики.
- ^ Хедрик, ER (июль 1907 г.). «Своеобразный пример минимумов поверхностей». Анналы математики . Вторая серия. 8 (4): 172–174. дои : 10.2307/1967821 . JSTOR 1967821 .
- ^ Серрет, Дж.А. (1886). Курс дифференциального и интегрального исчисления . Полет. 1 (3-е изд.). Париж. п. 216 – через Интернет-архив.
{{cite book}}
: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Дженокки, Анджело (1884). «Максимумы и минимумы функций многих переменных» . В Пеано, Джузеппе (ред.). Дифференциальное исчисление и принципы интегрального исчисления (на итальянском языке). Братья Бокка . стр. 195–203.
- ^ Шеффер, Людвиг (декабрь 1890 г.). «Теория максимумов и минимумов функции двух переменных» . Математические анналы (на немецком языке). 35 (4): 541–576. дои : 10.1007/bf02122660 . S2CID 122837827 . См., в частности, стр. 545–546.
- ^ «Поверхность Пеано» . Геттингенский сборник математических моделей и инструментов . Геттингенский университет . Проверено 13 июля 2020 г.
- ^ Модель 39, «Поверхность Пеано, многослойная» и модель 40, «Поверхность Пеано» , Математические модели, TU Dresden , получено 13 июля 2020 г.