Трудная задача | страница 77
Проблема четырех красок была темой моей докторской диссертации. Еще до визита Сляпенарского в США мы обменялись с ним несколькими письмами, обсуждая различные аспекты этой трудной проблемы. Гипотеза о четырех красках утверждает, что для правильной раскраски любой карты (при которой любые две сопредельные страны, имеющие общий отрезок границы, будут выкрашены в различные цвета, и две страны не считаются сопредельными, если их границы имеют лишь одну общую точку) достаточно четырех красок. Страны на карте могут быть любых размеров и самых причудливых очертаний. Число их также может быть произвольным. Гипотеза четырех красок была впервые высказана одним из создателей топологии, Мебиусом, в 1860 г., и, хотя над решением ее бились лучшие умы в математике, ее не удавалось ни доказать, ни опровергнуть.[3]
По странному стечению обстоятельств проблема четырех красок была решена для всех поверхностей, кроме сферы и плоскости. В 1890 г. Р. Дж. Хивуд доказал, что для раскраски поверхности тора (поверхности бублика) необходимо и достаточно семи красок, а в 1934 г. Филип Франклин доказал, что шести красок достаточно для раскраски карт на односторонних поверхностях типа листа Мебиуса и бутылки Клейна.
Открытие Сляпенарским нульсторонних поверхностей возымело далеко идущие последствия для изучения свойств бутылки Клейна и произвело подлинный переворот в исследованиях по проблеме четырех красок. Как сейчас вижу мощную фигуру Сляпенарского, который, улыбаясь и теребя бородку, говорит: «Дорогой Мартин, если история топологии чему-нибудь и учит, то только тому, что следует ожидать самых неожиданных и удивительных связей между, казалось бы, совершенно не связанными между собой топологическими проблемами».
Развивая некоторые идеи Сляпенарского, я опубликовал в 1950 г. свою известную работу с опровержением «доказательства» Хивуда (полагавшего, что для правильной раскраски карты плоскости необходимо и достаточно пяти красок). По всеобщему убеждению топологов, для правильной раскраски плоскости или сферы достаточно четырех красок, но в свете новейших достижений становится ясно, что от строгого доказательства такого утверждения мы в настоящее время находимся дальше, чем когда-либо.
Вскоре после выхода в свет моей работы по проблеме четырех красок мне довелось завтракать в университетском клубе «Четырехугольник» с профессором Альмой Буш. Альма — один из ведущих наших антропологов и, несомненно, самая красивая женщина во всем университете. Хотя ей уже под сорок, выглядит она молодо и весьма женственна. Глаза у нее светло-серые, и когда Альма о чем-то думает, то имеет обыкновение чуть-чуть их щурить.