Смит, Генри Джон Стивен

Генри Джон Стивен Смит
Генри Джон Стивен Смит
	англ. Henry John Smith
Дата рождения	(1826-11-02)2 ноября 1826
Место рождения	Дублин, Ирландия
Дата смерти	9 февраля 1883(1883-02-09)
Место смерти	Кладбище Святой Усыпальницы, Оксфорд
Страна	Великобритания;
Научная сфера	математика
Место работы	Оксфордский университет
Альма-матер	Баллиол-колледж, Оксфорд
Награды и премии	член Лондонского королевского общества Главная премия математических наук[d] (1882)
	Медиафайлы на Викискладе

Профессор Генри Джон Стивен Смит, член королевского общества, член королевского общества Эдинбурга, член королевского астрономического общества, доктор наук (2 ноября 1826 — 9 февраля 1883) — ирландский математик и астроном-любитель, известный благодаря своей работе в областях элементарных делителей и квадратичных форм, а также благодаря формуле масс Смита — Минковского — Зигеля^[en] в области теории чисел. В теории матриц его имя носит нормальная форма Смита. Также Смит первым обнаружил Канторово множество ^[2]^[3]^[4].

БиографияПравить

Смит родился в Дублине, Ирландия. Он был четвёртым ребёнком Джона Смита (1792—1828), барристера, который умер, когда Генри было два года. Мать Генри, Мэри Мёрфи (умерла в 1857), родившаяся у залива Бантри^[5], вскоре после этого перевезла семью в Англию. У Смита было тринадцать братьев и сестёр, среди которых была Элеанора Смит^[en], ставшая известной активисткой в области образования. В детстве он жил в разных городах Англии. Генри не ходил в школу, его мать учила его самостоятельно, а когда ему исполнилось 11 лет, наняла частных репетиторов. В 1841 году, в возрасте 15 лет, Смит был принят в школу Рагби в графстве Уоркшир, которую возглавлял Томас Арнолд. Генри удалось поступить туда, потому что его репетитор, Генри Хайтон^[en], получил должность воспитателя в этой школе^[6]^[7].

В 19 лет Смит выиграл вступительную стипендию колледжа Баллиол в Оксфорде. Он окончил колледж с высокими оценками по математике и языкам в 1849 году. Смит свободно говорил на французском, поскольку проводил каникулы во Франции. Он брал уроки математики в университете Сорбонны в Париже в 1846—1847 учебном году. Генри не женился и жил с матерью, пока она не умерла в 1857 году. Затем он привёз сестру, Элеанору Смит, в свой дом в районе Сент-Джайлс в качестве домработницы.

Смит остался в колледже Бейлиол в качестве учителя математики после выпуска и вскоре получил статус действительного члена колледжа.

В 1861 году он получил должность савильского профессора геометрии^[en] в Оксфорде. В 1873 году он получил стипендию колледжа Корпус-Кристи в Оксфорде и прекратил преподавать в колледже Бейлиол.

В 1874 году он стал куратором университетского музея и вместе с сестрой переехал в Дом Кураторов на улице Саус Паркс в Оксфорде.

Будучи деловым человеком, Смит отвечал за академическую и комитетскую работу в академии; был куратором в музее Оксфордского университета; экзаменатором по математике в Лондонском университете; членом королевской комиссии, оценивающей научное образование; членом комиссии по реформе руководства Оксфордского университета; председателем комитета учёных, осуществляющих надзор над Метеорологическим офисом; дважды президентом Лондонского математического общества и не только.

Генри Смит умер в Оксфорде 9 февраля 1883 года. Он был похоронен на кладбище Святой Усыпальницы в Оксфорде.

РаботаПравить

Исследования в области теории чиселПравить

Первые две математические статьи, написанные Смитом, были по геометрии, но уже третья касалась теории чисел. Следуя примеру Гаусса, он написал первую статью по теории чисел на латинском языке: «De compositionenumerorum primorum formæ $\text{[math]}$ $\text{[math]}$ $4n+1$ ex duobus quadratis». В ней Смит оригинальным способом доказал теорему Ферма о том, что любое простое число в форме $\text{[math]}$ $\text{[math]}$ $4n+1$ ( $\text{[math]}$ $\text{[math]}$ $n$ — целое число) является суммой квадратов двух чисел. Следующая статья Смита содержала введение в теорию чисел.

В 1858 году Смит был выбран Британской научной ассоциацией для подготовки доклада по теории чисел. Доклад состоял из пяти частей, которые были написаны с 1859 по 1865 год. Это был не исторический и не научный трактат, а нечто среднее. Смит с выдающейся ясностью и аккуратностью проанализировал работы математиков по теории сравнений и бинарным квадратичным формам, которые были написаны за последнее столетие. Он обращался к первоисточникам, кратко описывал закономерности, намечал ход доказательства и указывал выводы, нередко добавляя что-то своё.

Во время подготовки доклада, а также в качестве логичного завершения связанных с этим исследований, Смит опубликовал несколько оригинальных статей-дополнений к высшей математике. Некоторые из них были завершёнными и появились в «Философских трудах» Королевского общества Лондона; другие, содержащие только выводы без развернутых доказательств, были не окончены, их опубликовали в «Записках» данного сообщества. Одна из последних, под названием «О порядках и родах квадратичных форм, содержащих более трёх переменных», содержала некоторые общие принципы, с помощью которых была решена задача, предложенная Эйзенштейном, а именно разложение целых чисел в сумму пяти квадратов, и аналогичная задача для суммы из семи квадратов. Также было указано, что теоремы Якоби, Эйзенштейна и Лиувилля для сумм четырёх, шести и восьми квадратов можно вывести из изложенных выше принципов.

В 1868 году Смит вернулся к исследованиям в области геометрии, которые интересовали его изначально. За научную статью «Некоторые кубические и биквадратные уравнения» он получил премию Штейнера от Королевской академии наук Берлина.

В феврале 1882 года Смит с удивлением узнал из французского научного журнала «Comptes rendus», что Парижская академия наук предложила теорию разложения целых чисел в сумму пяти квадратов в качестве темы для Гран-При по математике; и что внимание участников обращали на результаты без доказательства теоремы Эйзенштейна, в то время как о работе Смита на ту же тему, опубликованную в «Записках» Королевского общества наук, ничего сказано не было. Смит написал Эрмиту, привлекая его внимание к написанной им статье; в ответном письме его уверили, что члены комиссии не знали о существовании данной статьи, и посоветовали завершить доказательство и отправить научную работу, соответствующую правилам, на соревнование. Согласно правилам, каждая рукопись должна была содержать эпиграф, а на запечатанной обложке указано имя автора. До окончания конкурса (1 июня 1882 года) оставалось три месяца, Смит начал работу, подготовил научную статью и отправил её вовремя.

Через два месяца после смерти Смита Французская академия академия выбрала победителей. Двум из трёх присланных научных работ были присуждены премии. Когда были открыты обложки, оказалось, что авторами победивших работ были Смит и Минковский, молодой математик из Кёнисберга. Предыдущие работы Смита были проигнорированы, а Эрмит, которому он писал, сказал, что забыл сообщить о них комиссии.

Работа над интегралом РиманаПравить

В 1875 году Смит опубликовал важную работу на тему интегрируемости разрывных функций по Риману^[8]. В этой работе, помимо строго определения интеграла Римана и подробных доказательств многих теорем, написанных Риманом^[9], он также привёл пример остаточного множества, которое было незначимым в теории меры множества, поскольку его мера не равнялась нулю^[10]: функция, непрерывная везде, кроме этого множества, не интегрируема по Риману. Приведённый Смитом пример показывал, что доказательство достаточного условия интегрируемости разрывных функций по Риману, приведённое ранее Германом Ганкелем, неверно и результат не сходится^[10]; однако его вывод долгое время оставался незамеченным и не влиял на дальнейшее развитие науки^[11]. В работе 1875 года Смит обсуждал нигде не плотное множество положительной меры на вещественной оси, раннюю версию множества Кантора, ныне известную как множество Смита — Вольтерры — Кантора.

См. такжеПравить

Множество Смита — Вольтерры — Кантора

ПримечанияПравить

↑ GRO Register of Deaths: MAR 1883 3a 511 OXFORD – Henry John S. SMITH, aged 56
↑ Смит, Генри Дж. Ст. (1874). “Об интегрируемости разрывных функций”. Записки Лондонского математического сообщества. First series. 6: 140—153.
↑ Флерон, Джулиан Ф. (1 April 1994). “Замечание об истории множества Кантора и функции Кантора”. Математический журнал. 67 (2): 136—140. DOI:10.1080/0025570X.1994.11996201 – via Taylor and Francis+NEJM.
↑ Множество Кантора до Кантора Ассоциация математиков Америки
↑ Генри Смит (1826-1883) (неопр.).
↑ Питер Осборн. «Генри Хайтон». Dictionary of National Biography Издательство Оксфордского университета. doi:10.1093/ref: odnb/13250.
↑ Биографические заметки (неопр.). Собрание математических работ Генри Джона Стивена Смита. Издательство Оксфордского университета (1894). Дата обращения: 27 ноября 2012.
↑ См. (Летта 1994, С. 154).
↑ Интеграл Римана был представлен в работе Бернарда Римана «Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe» (О представлении функции с помощью тригонометрического ряда), представленная в университете Гёттинген в 1854 как Habilitationsschrift Римана (квалификационная работа, чтобы стать инструктором). Она была опубликована в 1868 в Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen (Записки Королевского философского общества Гёттинген), выпуск 13, страницы 87-132 (в открытом доступе в Google Books здесь): определение интеграла Римана дано в разделе 4, «Über der Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit» (О концерте определённого интеграла и расширении области его значимости), стр. 101—103, и Смит (1875, p. 140) анализирует эту работу.
↑ ¹ ² См. (Летта 1994, С. 156).
↑ См. (Летта 1994, С. 157).

ЛитератураПравить

Смит, Г. Дж. Ст. (1874). “О непрерывных дробях”. Математический вестник. 6: 1—13.
Смит, Г. Дж. Ст. (1875), Об интегрируемость разрывных функций, Заметки Лондонского математического общества Т. 6: 140–153, <https://babel.hathitrust.org/cgi/pt?id=ucm.5324906759;view=1up;seq=148> .
Смит, Генри Джон Стивен (1965), Глайшер, Дж. В. Л., ed., Собрание работ по математике Генри Джона Стивена Смита, vol. I, II, Нью-Йорк: AMS Chelsea Publishing, volume 1 volume 2, ISBN 978-0-8284-0187-6, <https://www.ams.org/bookstore-getitem/item=CHEL-187>
Letta, Giorgio. Le condizioni di Riemann per l'integrabilità e il loro influsso sulla nascita del concetto di misura, Rendiconti della Accademia Nazionale delle Scienze Detta dei XL, Memorie di Matematica e Applicazioni Т. XVIII (1). — 1994. — P. 143–169.

[1] GRO Register of Deaths: MAR 1883 3a 511 OXFORD – Henry John S. SMITH, aged 56

[2] Смит, Генри Дж. Ст. (1874). “Об интегрируемости разрывных функций”. Записки Лондонского математического сообщества. First series. 6: 140—153.

[3] Флерон, Джулиан Ф. (1 April 1994). “Замечание об истории множества Кантора и функции Кантора”. Математический журнал. 67 (2): 136—140. DOI:10.1080/0025570X.1994.11996201 – via Taylor and Francis+NEJM.

[4] Множество Кантора до Кантора Ассоциация математиков Америки

[auto-5] Генри Смит (1826-1883) (неопр.).

[6] Питер Осборн. «Генри Хайтон». Dictionary of National Biography Издательство Оксфордского университета. doi:10.1093/ref: odnb/13250.

[7] Биографические заметки (неопр.). Собрание математических работ Генри Джона Стивена Смита. Издательство Оксфордского университета (1894). Дата обращения: 27 ноября 2012.

[8] См. (Летта 1994, С. 154).

[9] Интеграл Римана был представлен в работе Бернарда Римана «Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe» (О представлении функции с помощью тригонометрического ряда), представленная в университете Гёттинген в 1854 как Habilitationsschrift Римана (квалификационная работа, чтобы стать инструктором). Она была опубликована в 1868 в Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen (Записки Королевского философского общества Гёттинген), выпуск 13, страницы 87-132 (в открытом доступе в Google Books здесь): определение интеграла Римана дано в разделе 4, «Über der Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit» (О концерте определённого интеграла и расширении области его значимости), стр. 101—103, и Смит (1875, p. 140) анализирует эту работу.

[Летта156-10] ¹ ² См. (Летта 1994, С. 156).

[11] См. (Летта 1994, С. 157).

[2]

[3]

[4]

[1]

[5]

[6]

[7]

[8]

[9]

[10]

[11]