Когда вихри казались строительными блоками материи

В XIX веке физик Уильям Томсон, позднее получивший титул лорда Кельвина, искал способ объяснить, почему существуют разные химические элементы. Он предположил, что атомы — это устойчивые вихревые кольца в невидимой среде, которую тогда называли эфиром. Подобно завязанной нити, кольцо должно было сохранять свою форму: чтобы изменить узел, его пришлось бы разорвать или проткнуть.

Разные узоры вихрей могли бы, по этой задумке, соответствовать разным атомам. Но физическая картина не подтвердилась: эфир не оказался необходимой средой для описания природы, а вихревые кольца не объяснили свойства элементов. Зато сама постановка вопроса открыла математическую задачу.

От воображаемого атома к настоящему узлу

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

Такой взгляд позволяет сравнивать узоры независимо от материала и масштаба. Нить можно растянуть, согнуть или сделать тоньше — это не меняет тип узла. Важно лишь, можно ли перейти от одной формы к другой без разрезания. Исследователи стали систематически разбирать возможные узлы и искать способы отличать их друг от друга.

Ошибочная физика — полезная математика

Здесь и проявилась неожиданная ценность модели Кельвина. Она дала математикам наглядную причину всерьёз заняться классификацией узоров: если разные узлы могли бы представлять разные виды материи, нужно было понять, сколько таких узлов существует и чем они отличаются. Физическое объяснение атома оказалось неверным, но задача классификации не зависела от его успеха.

Позже теория узлов стала самостоятельной областью математики с применениями далеко за пределами вихрей. А история модели напоминает: гипотеза может не описывать природу, но поставить вопрос, который окажется точным и плодотворным сам по себе.