Казимеж Куратовский

Казимеж Куратовский (польск. Kazimierz Kuratowski; 2 февраля 1896, Варшава — 18 июня 1980, там же) — польский математик, один из крупнейших представителей Варшавской математической школы XX века. Основные труды относятся к общей топологии, теории множеств, математической логике и теории графов. Известен, в частности, формулировкой аксиоматики топологического пространства через операцию замыкания (аксиомы Куратовского), а также теоремой о планарности графов (теорема Куратовского).

Биография

Казимеж Куратовский родился в Варшаве в семье юриста. В 1913 году поступил на механический факультет Варшавского политехнического института, однако с началом Первой мировой войны учёба была прервана. В 1915 году, после эвакуации института в Россию, Куратовский продолжил обучение в Варшавском университете, который был вновь открыт немецкими оккупационными властями. В университете он слушал лекции выдающихся математиков — Вацлава Серпинского и Стефана Мазуркевича, которые оказали решающее влияние на его научные интересы.

В 1921 году Куратовский защитил докторскую диссертацию (хабилитацию) на тему «Об операциях в топологических пространствах», в которой впервые предложил аксиоматику топологического пространства через операцию замыкания. В 1927 году стал профессором Варшавского политехнического института, а с 1934 года — профессором Варшавского университета.

Во время Второй мировой войны Куратовский оставался в оккупированной Варшаве, участвовал в подпольном преподавании и сохранил часть научного архива. После войны активно участвовал в восстановлении польской математической науки. В 1945–1949 годах был директором Государственного математического института (позже — Институт математики Польской академии наук). В 1948–1967 годах занимал пост президента Польского математического общества. С 1952 года — действительный член Польской академии наук.

Куратовский был членом многих зарубежных академий, включая Лондонское королевское общество (1966), Академию наук СССР (1966) и Национальную академию наук США (1967). Скончался в Варшаве в 1980 году.

Научные достижения

Аксиомы замыкания Куратовского

В 1922 году Куратовский предложил аксиоматическое определение топологического пространства, основанное на операции замыкания. Аксиомы Куратовского для произвольного множества \( X \) и операции замыкания \( \text{cl} \) выглядят следующим образом:

1. \( \text{cl}(\emptyset) = \emptyset \) (замыкание пустого множества пусто).
2. \( A \subseteq \text{cl}(A) \) (каждое множество содержится в своём замыкании).
3. \( \text{cl}(\text{cl}(A)) = \text{cl}(A) \) (замыкание идемпотентно).
4. \( \text{cl}(A \cup B) = \text{cl}(A) \cup \text{cl}(B) \) (замыкание сохраняет объединение).

Эта аксиоматика оказалась эквивалентной более распространённому определению через открытые множества и стала стандартным инструментом в общей топологии.

Теорема Куратовского о планарности

Одна из наиболее известных теорем Куратовского, опубликованная в 1930 году, даёт критерий планарности графа. Теорема утверждает: конечный граф является планарным (то есть может быть изображён на плоскости без пересечения рёбер) тогда и только тогда, когда он не содержит подграфа, гомеоморфного полному графу \( K_5 \) (пять вершин, все попарно соединены) или полному двудольному графу \( K_{3,3} \) (две группы по три вершины, каждая вершина одной группы соединена со всеми вершинами другой). Этот результат является фундаментальным в теории графов и топологической комбинаторике.

Теорема о вложении

В теории множеств Куратовский доказал, что любое линейно упорядоченное множество можно вложить в действительную прямую с сохранением порядка. Эта теорема, известная как «теорема Куратовского о вложении», имеет важные приложения в общей топологии и теории порядка.

Парадокс Куратовского

В математической логике Куратовский предложил способ определения упорядоченной пары в терминах теории множеств. Определение выглядит следующим образом: \( (a, b) = \{ \{a\}, \{a, b\} \} \). Это определение, известное как «пара Куратовского», позволяет свести понятие упорядоченной пары к чисто теоретико-множественным конструкциям и является стандартным в аксиоматической теории множеств Цермело — Френкеля.

Работы по общей топологии

Куратовский внёс значительный вклад в теорию размерности, теорию связности и теорию непрерывных отображений. Совместно с Самуэлем Эйленбергом он разработал теорию когомологий для компактных пространств. Его монография «Топология» (первое издание — 1933 год, в двух томах) стала классическим учебником и справочником по общей топологии, выдержавшим несколько переизданий на многих языках.

Основные труды

• «Топология» (том 1 — 1933, том 2 — 1950, совместно с Рышардом Энгелькингом).
• «Теория множеств» (1966, совместно с Анджеем Мостовским).
• «Введение в теорию множеств и топологию» (1962).
• «Полунепрерывные функции и топологические пространства» (1922).
• «О проблеме планарности графов» (1930).

Память

Именем Куратовского названы:

• Институт математики Польской академии наук (Instytut Matematyczny Polskiej Akademii Nauk im. Kazimierza Kuratowskiego).
• Улица в Варшаве.
• Кратер на обратной стороне Луны (Kuratowski).
• Премия имени Куратовского, присуждаемая Польским математическим обществом молодым математикам.

В 1996 году, к 100-летию со дня рождения, в Польше была выпущена почтовая марка с портретом Куратовского.

Источники

• Kazimierz Kuratowski. A Half Century of Polish Mathematics: Remembrances and Reflections. — Oxford: Pergamon Press, 1980.
• Ryszard Engelking. General Topology. — Warsaw: PWN, 1977. (Книга основана на работах Куратовского).
• Andrzej Mostowski. Kazimierz Kuratowski (1896–1980) // Polish Mathematical Society Yearbook. — 1981.
• John J. O'Connor, Edmund F. Robertson. Kazimierz Kuratowski // MacTutor History of Mathematics Archive. — University of St Andrews.