И гомологии, и когомологии — это два разных взгляда на одно и то же фундаментальное свойство: ∂ ◦ ∂ = 0 (или d ◦ d = 0). 1. Гомологии: показывают, что у границы не может быть своей границы. Это позволяет им искать «дыры» — объекты, которые сами не являются границей. 2. Когомологии: показывают, как это же свойство препятствует распространению локальных решений на всё пространство. Они ищут «препятствия» для глобальной согласованности. Этот простой на первый взгляд факт — что граница границы всегда нулевая — является тем самым онтологическим замком, который структурирует наш взгляд на форму и пространство. Он не позволяет нам утонуть в хаосе произвольных форм и даёт удивительно мощный инструмент для того, чтобы отличать сферу от бублика, находить дыры и понимать, почему некоторые вещи невозможно сделать глобально, как бы красиво они ни выглядели локально. Это математика высшей элегантности, которая из простого и почти очевидного наблюдения выводит целую вселенную смысла.
- Игры, в которые играют люди
Давайте разберем пару концепций так, чтобы было понятно абсолютно всем, без сложных формул.
Теория игр: что это вообще такое? Представьте, что вы не просто принимаете решение в вакууме (какую книгу почитать), а в ситуации, где результат зависит не только от вашего выбора, но и от выбора другого человека (или людей). Причем все участники это понимают и стараются предугадать действия друг друга. Теория игр — это и есть наука о таком стратегическом взаимодействии. "Игра" здесь — это любая ситуация с игроками, правилами и выплатами (выигрышами или проигрышами). Примеры из жизни: Торги на рынке: Продавец хочет продать дороже, вы хотите купить дешевле. Ваше предложение зависит от того, какую цену вы ожидаете от него. Выбор места встречи: Друг предложил встретиться у кинотеатра, а вы — у кафе. Каждый ждет, подтвердит ли другой его вариант или предложит свой. Рекламная война: «Кока-кола» и «Пепси» выбирают бюджет на рекламу. Если одна компания запустит мощную кампанию, а другая нет, первая получит преимущество.
Дилемма заключенного: Классика жанра. Это самая известная "игра" в теории игр, которая прекрасно показывает, почему индивидуальная рациональность может приводить к плохому результату для всех. Сценарий: Двух подозреваемых, А и Б, арестовали по подозрению в ограблении. У следствия нет прямых улик. Их помещают в разные камеры и каждому предлагают одну и ту же сделку: если ты предашь напарника, а он промолчит, ты выйдешь на свободу (отличный результат для тебя), а он сядет на 10 лет. Если ты промолчишь, а он тебя предаст, ты сядешь на 10 лет, а он выйдет свободным. Если вы предадите друг друга, каждый получит по 5 лет. Если оба промолчите, вас посадят всего на 1 год за мелкое правонарушение (хороший результат для обоих). Каждый заключенный думает индивидуально рационально: "Что будет, если напарник меня предаст? Если я тоже его предам, сяду на 5 лет. Если промолчу — на 10. Лучше предать." "Что будет, если напарник промолчит? Если я его предам, выйду на свободу. Если промолчу, сяду на 1 год. Опять же, выгоднее предать." Вывод каждого: неважно, что сделает напарник, мне лично всегда выгоднее его предать. В итоге оба предают друг друга и получают по 5 лет. Хотя они могли бы получить всего по 1 году, если бы оба промолчали! Суть дилеммы: Погоня за личной выгодой приводит к худшему результату для коллектива. Это объясняет, почему сложно договориться о чем-то (например, странам об ограничении вооружений), даже если это всем выгодно — всегда есть соблазн сжульничать и получить преимущество.
Равновесие Нэша: Лучший ответ на лучший ответ. Это ключевое понятие теории игр, за которое Джон Нэш получил Нобелевскую премию. Равновесие Нэша — это такая ситуация в игре, когда ни одному игроку не выгодно в одиночку менять свою стратегию, если все остальные свои стратегии не меняют. Проще говоря, вы смотрите на действия всех и думаете: "При том, что все остальные поступают именно так, мой ход — самый лучший для меня. Мне нечего менять." И каждый из игроков находится в таком же положении. Вернемся к дилемме заключенного: Ситуация: оба предают. Проверим, является ли это равновесием Нэша: Заключенный А: "Если Б меня предает, мне нет смысла менять стратегию с 'предать' на 'молчать' — я же сяду на 10 лет вместо 5. Мой выбор — лучший ответ на его выбор." То же самое думает и Б. Вывод: Оба предать — это равновесие Нэша. Ситуация "оба молчат" равновесием Нэша не является. Почему? Потому что, если я знаю, что напарник молчит, мне выгодно его предать и выйти на свободу! То есть у меня есть стимул изменить свою стратегию. Важно: Равновесие Нэша — это не обязательно лучший для всех исход (как видно в дилемме). Это просто ситуация стабильности, где никто не хочет шевелиться первым.