Список неправильно названных теорем
Это названных теорем математики . список неправильно Он включает в себя теоремы (а также леммы , следствия, гипотезы , законы и, возможно, даже странные объекты), которые хорошо известны в математике, но не названы по имени их создателя. То есть эти пункты в этом списке иллюстрируют закон эпонимии Стиглера (что, конечно, не связано со Стивеном Стиглером , который отдает должное Роберту К. Мертону ).
Прикладная математика
- Закон Бенфорда . Впервые об этом заявил в 1881 году Саймон Ньюкомб . [1] и вновь открыт в 1938 году Фрэнком Бенфордом . [2] Первая строгая формулировка и доказательство, по-видимому, принадлежат Теду Хиллу в 1988 году; [3] см. также статью Перси Диакониса . [4]
- Теорема Бертрана о голосовании . Этот результат, касающийся вероятности того, что победитель выборов окажется впереди на каждом этапе подсчета голосов, был впервые опубликован У.А. Уитвортом в 1878 году, но назван в честь Жозефа Луи Франсуа Бертрана , который заново открыл его в 1887 году. [5] Обычное доказательство использует метод отражения Андре , хотя доказательство Дезире Андре не использовало никаких отражений.
Алгебра
[ редактировать ]- Лемма Бернсайда . Это было заявлено и доказано без указания авторства в учебнике Бернсайда 1897 года: [6] но ранее это обсуждалось Огюстеном Коши в 1845 году и Георгом Фробениусом в 1887 году.
- Теорема Кэли–Гамильтона . Теорема была впервые доказана в простом частном случае матриц 2×2 Кэли , а затем для случая матриц 4×4 Гамильтоном . Но в общих чертах это было доказано Фробениусом лишь в 1878 году. [7]
- Неравенство Гёльдера . Это неравенство было впервые установлено Леонардом Джеймсом Роджерсом и опубликовано в 1888 году . Отто Гёльдер открыл его независимо и опубликовал в 1889 году.
- Теорема Мардена . Эта теорема, связывающая расположение нулей комплексного кубического многочлена с нулями его производной, была названа Дэном Калманом после того, как Калман прочитал ее в книге 1966 года Морриса Мардена , который впервые написал об этом в 1945 году. [8] Но, как писал сам Марден, первоначальное доказательство было предложено Йоргом Зибеком в 1864 году. [9]
- Теорема нумерации Пойа . Это было доказано в 1927 году в трудной статье Дж. Х. Редфилда . [10] Несмотря на известность места проведения ( Американский журнал математики ), статья осталась незамеченной. В конце концов, теорема была независимо переоткрыта в 1936 году Джорджем Полиа . [11] Лишь в 1960 году Фрэнк Харари обнаружил гораздо более раннюю статью Редфилда. Видеть [12] для исторической и другой информации.
Анализ
[ редактировать ]- Теорема Фробениуса . Эту фундаментальную теорему сформулировал и доказал в 1840 году Федор Деана . [13] Несмотря на то, что Фробениус процитировал статью Дины в своей статье 1875 года, [14] это стало известно после Фробениуса, а не Дины. Видеть [15] для исторического обзора.
- Правило Лопиталя . Это правило впервые появилось в книге Лопиталя «L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes» в 1696 году. Считается, что это правило было изобретением Иоганна Бернулли , поскольку Лопиталь, дворянин, заплатил Бернулли гонорар в размере 300 долларов. франков в год, чтобы держать его в курсе событий в области исчисления и решать возникающие у него проблемы. См. L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes и ссылки в нем.
- Серия Маклорен . Ряд Маклорена был назван в честь Колина Маклорена , профессора из Эдинбурга, который опубликовал этот особый случай ряда Тейлора в 1742 году, но никогда не утверждал, что открыл его. [16]
- Лемма Пуанкаре . Об этом упомянул в 1886 году Анри Пуанкаре . [17] но впервые было доказано в серии статей 1889 года выдающимся итальянским математиком Вито Вольтеррой . Тем не менее, оно стало известно после Пуанкаре. Видеть [15] за запутанную историю этой леммы.
- Теорема Стокса . Она названа в честь сэра Джорджа Габриэля Стоукса (1819–1903), хотя первое известное утверждение теоремы принадлежит Уильяму Томсону (лорду Кельвину) и появляется в его письме Стоксу. Теорема получила свое название из-за привычки Стокса включать ее в экзамены на премию Кембриджа . В 1854 году он попросил своих студентов доказать теорему на экзамене; неизвестно, смог ли кто-нибудь это сделать. [18]
Геометрия и топология
[ редактировать ]- Теорема Чевы . Самое старое из сохранившихся доказательств можно найти в книге Юсуфа аль-Мутамана ибн Худа ), написанной в 11 веке «Китаб аль-Истикмаль» ( «Книга совершенства» , примерно за шесть столетий до книги Джованни Чевы 1678 года «De lineis Rectis » ( «На прямых линиях» ). [19]
- Парадокс Крамера . Впервые это было отмечено Колином Маклореном в 1720 году, а затем вновь открыто Леонардом Эйлером в 1748 году (чья статья не публиковалась еще два года, поскольку Эйлер писал свои статьи быстрее, чем его принтеры могли их напечатать). Это также обсуждалось Габриэлем Крамером в 1750 году, который независимо предложил основную идею, необходимую для решения, хотя обеспечение строгого доказательства оставалось нерешенной открытой проблемой на протяжении большей части XIX века. Несмотря на то, что Крамер цитировал Маклорена, парадокс стал известен после Крамера, а не Маклорена. Жорж Халфен , Артур Кэли и несколько других математиков внесли свой вклад в самое раннее более или менее правильное доказательство. Видеть [20] за отличный обзор.
- Теорема Гейне–Бореля . Эта теорема была доказана в 1872 году Эмилем Борелем , а не Эдуардом Гейне . Борель использовал методы, аналогичные тем, которые Гейне использовал для доказательства того, что непрерывные функции на замкнутых интервалах равномерно непрерывны. Имя Гейне было добавлено потому, что Шенфлис заметил сходство подходов Гейне и Бореля. Фактически, теорема была впервые доказана в 1852 году Питером Густавом Леженом Дирихле , но конспекты лекций Лежена Дирихле не публиковались до 1904 года. [21]
- Модели гиперболической геометрии. «Из-за одной из несправедливостей номенклатуры, столь распространенных в математике, три модели, которые можно было бы уместно назвать моделями Римана-Бельтрами, Лиувилля-Бельтрами и Кэли-Бельтрами, обычно известны как модель диска Пуанкаре , половина Пуанкаре. -плоскостная модель и модель диска Клейна ». [22]
- Закон Морри . Название связано с физиком Ричардом Фейнманом , который раньше ссылался на личность под этим именем. Фейнман выбрал это имя, потому что в детстве он изучал закон от мальчика по имени Морри Джейкобс. [23]
- Теорема Пифагора . Это было известно древним месопотамским математикам за тысячу лет до рождения Пифагора. [24]
Теория чисел
[ редактировать ]- Теорема Безу . Возможно, это утверждение было впервые сделано Исааком Ньютоном в 1665 году. Вопросом доказательства занялись Колин Маклорен (ок. 1720 г.) и Леонард Эйлер , а также Этьен Безу (ок. 1750 г.). Однако «доказательство» Безу оказалось неверным . Первое правильное доказательство, по-видимому, принадлежит главным образом Жоржу-Анри Альфену в 1870-х годах. [25]
- Правило Крамера . Он назван в честь Габриэля Крамера (1704–1752), который опубликовал это правило в своем «Введении в анализ линий алгебры» 1750 года , хотя Колин Маклорен также опубликовал этот метод в своем «Трактате по алгебре» 1748 года (и, вероятно, знал об этом методе как еще в 1729 г.). [26]
- Уравнение Пелла . Решение уравнения x 2 - ты 2 = 1, где x и y — неизвестные положительные целые числа и где d — известное положительное целое число, не являющееся точным квадратом, приписывается Джону Пеллу . Похоже, что она была открыта Ферма , который поставил ее как сложную задачу в 1657 году. Первое европейское решение было найдено в совместной работе Джона Уоллиса и лорда Браункера в 1658 году ; в 1668 году более короткое решение было дано в издании работы третьего математика Пелла; см. исх. [27] Первое строгое доказательство может быть принадлежит Лагранжу . Неправильное название, по-видимому, возникло, когда Эйлер перепутал Брункера и Пелла; видеть [28] за обширный отчет об истории этого уравнения.
Теория множеств
[ редактировать ]- Лемма Цорна названа в честь Макса Цорна . Большая работа над теоремой, ныне известной как лемма Цорна, и над несколькими тесно связанными формулировками, такими как принцип максимума Хаусдорфа , была проделана между 1907 и 1940 годами Цорном, Брауэром , Хаусдорфом , Куратовским , Р. Л. Муром и другими. Но конкретная теорема, известная теперь как «лемма Цорна», никогда не была доказана Цорном, и в любом случае результаты Цорна были предвосхищены Куратовским. Теорема была открыта Шевалле в 1936 году, опубликована и приписана Цорну в книге Бурбаки «Теория ансамблей» в 1939 году. Очень похожий результат предвидел С. Бохнер в 1928 году. [29]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Ньюкомб, С. (1881). «Обратите внимание на частоту использования разных цифр в натуральных числах». амер. Дж. Математика. 4 (1). Издательство Университета Джона Хопкинса: 39–40. Бибкод : 1881AmJM....4...39N . дои : 10.2307/2369148 . JSTOR 2369148 .
- ^ Бенфорд, Ф. (1938). «Закон аномальных чисел». Учеб. Являюсь. Филос. Соц. 78 : 551–572. Бибкод : 1938ПАФС..78..551Б .
- ^ Хилл, Теодор П. (апрель 1995 г.). «Феномен значащей цифры» . амер. Математика. Ежемесячно . 102 (4). Математическая ассоциация Америки: 322–327. дои : 10.2307/2974952 . JSTOR 2974952 .
- ^ Диаконис, Перси (1977). «Распределение ведущих цифр и равномерное распределение по модулю 1» . Энн. Вероятно. 5 (1). Институт математической статистики: 72–81. дои : 10.1214/aop/1176995891 .
- ^ Феллер, Уильям (1968), Введение в теорию вероятностей и ее приложения, том I (3-е изд.), Wiley, стр. 69 .
- ^ Бернсайд, Уильям (1897). Теория групп конечного порядка . Издательство Кембриджского университета.
- ^ Граттан-Гиннесс, Айвор (2002), Сопутствующая энциклопедия истории и философии математических наук , Рутледж, стр. 779–780, ISBN 9781134957507 .
- ^ Калман, Дэн (2008), «Элементарное доказательство теоремы Мардена» , The American Mathematical Monthly , 115 (4): 330–338, doi : 10.1080/00029890.2008.11920532 , ISSN 0002-9890 , S2CID 13222698
- ^ Зибек, Йорг (1864), «О новой аналитической трактовке фокальных точек» , Журнал чистой и прикладной математики , 64 : 175–182, ISSN 0075-4102
- ^ Редфилд, Дж. Х. (1927). «Теория групповых распределений». амер. Дж. Математика. 49 (3). Издательство Университета Джонса Хопкинса: 433–445. дои : 10.2307/2370675 . JSTOR 2370675 .
- ^ Полиа, Г. (1936). «Алгебраический расчет изомеров некоторых органических соединений». Журнал кристаллографии . 93 :414. дои : 10.1524/zkri.1936.93.1.415 . S2CID 101816170 .
- ^ Рид, RC (декабрь 1987 г.). «Теорема Полиа и ее потомство». Журнал «Математика» . 60 (5): 275–282. дои : 10.2307/2690407 . JSTOR 2690407 .
- ^ Дина, Ф. (1840). «Об условиях интегрируемости» . Дж. Рейн Анжью. Математика . 20 :340-350. дои : 10.1515/crll.1840.20.340 . S2CID 120057555 .
- ^ Фробениус, Георг (1895). «О проблеме Пфаффа». Дж. Рейн Анжью. Матем.: 230–315.
- ^ Jump up to: а б Самельсон, Ганс (июнь – июль 2001 г.). «Дифференциальные формы, первые дни; или истории теоремы Деаны и теоремы Вольтерра». амер. Математика. Ежемесячно . 108 (6). Математическая ассоциация Америки: 522–530. дои : 10.2307/2695706 . JSTOR 2695706 .
- ^ Томас и Финни (1996). Исчисление и аналитическая геометрия . Издательство Аддисон Уэсли.
- ^ Пуанкаре, Х. (1886–1887). «О вычетах двойных интегралов» . Акта Математика. 9 : 321–380. дои : 10.1007/BF02406742 .
- ^ Виктор Дж. Кац (май 1979 г.). «История теоремы Стокса». Журнал «Математика» . 52 (3): 146–156. дои : 10.2307/2690275 . JSTOR 2690275 .
- ^ Хогендейк, Ян П. (1995). «Аль-Мутаман ибн Худ, король Сарагосы XI века и блестящий математик» . История математики . 22 (1): 1–18. дои : 10.1006/hmat.1995.1001 .
- ^ Скотт, Шарлотта Агнас (март 1898 г.). «О пересечении плоских кривых» . Бык. Являюсь. Математика. Соц. 4 (6): 260–273. дои : 10.1090/S0002-9904-1898-00489-5 .
- ^ Сундстрем, Маня Раман (2010). «Педагогическая история компактности». п. 7. arXiv : 1006.4131v1 [ math.HO ].
- ^ Джон К. Стиллвелл (1996) Источники гиперболической геометрии , страница 35, Американское математическое общество и Лондонское математическое общество. ISBN 0-8218-0529-0 Предварительный просмотр Google
- ^ В. А. Бейер, Дж. Д. Лук и Д. Зейлбергер, Обобщение курьеза, который Фейнман помнил всю свою жизнь , Математика. Маг. 69, 43–44, 1996.
- ^ Йоран, Фриберг. «Методы и традиции вавилонской математики: Плимптон 322, тройки Пифагора и уравнения параметров вавилонского треугольника» . История математики . дои : 10.1016/0315-0860(81)90069-0 .
- ^ Бикс, Роберт (1998). Коники и кубики . Спрингер. ISBN 0-387-98401-1 .
- ^ Карл Б. Бойер (1968). История математики, 2-е издание . Уайли. п. 431.
- ^ Каджори, Флориан (1999). История математики . Нью-Йорк: Челси. ISBN 0-8284-0203-5 . (перепечатка пятого издания, 1891 г.).
- ^ Уитфорд, Эдвард Эверетт (1912). Уравнение Пелла . Нью-Йорк: Э. Э. Уитфорд. Это докторская степень Уитфорда 1912 года. диссертация, написанная в Колумбийском университете и опубликованная за его счет в 1912 году.
- ^ Кэмпбелл, Пол Дж. (1978). «Происхождение« леммы Цорна » ». История математики . 5 : 77–89. дои : 10.1016/0315-0860(78)90136-2 .