leblon | Топологическая генетика

Обычное определение биологического вида основано на том, что особи, принадлежащие разным видам, не могут при скрещивании давать нормальное (фертильное) потомство. Обычно также думают, что отношение "принадлежность к одному виду" - отношение эквивалентности на множестве всех животных, в математическом смысле. Т.е. оно симметрично, рефлексивно и транзитивно. Первые два свойства очевидны, а вот третье - нет. Вполне можно представить, что А и Б могут дать фертильное потомство, а также Б и В, а вот А с В - нет.

У Докинса в книге A Devil's Chaplain есть очень любопытный пример, иллюстрирующий отсутствие транзитивности: т.н. ring species. Например, в Англии есть два похожих вида чаек. Если двигаться вокруг земного шара на запад, то оба эти вида плавно меняются. При полном обходе вокруг земного шара, они меняются местами. С математической точки зрения, это выглядит как двулистное накрытие окружности (т.е. как граница листа Мебиуса).

Интересно, наблюдаются ли более сложные топологические конфигурации видов? Например, может ли "двух-параметрическое" семейство видов образовывать поверхность рода g ? Можно также фантазировать, что топологически нетривиальные конфигурации видов могут быть более устойчивыми, чем топологически тривиальные.