С математикой знакомы все, но мало кто готов ответить на вопрос: что делают математики? Считают и вычисляют? Рисуют треугольники и круги на бумаге в клеточку? Передвигают туда-сюда буквы в уравнениях? Придумывают странные значки и закорючки, чтобы потом писать непонятные тексты? Решают задачи, вычисляя что-то по заказу инженеров, медиков, химиков и других практиков? Ищем ответ в книге «Вероятности и неприятности».
Человеческий язык
Если вы никогда этого не делали, загляните в какой-нибудь математический журнал — просто из любопытства. Сейчас это легко сделать не выходя из дома: поищите в сети что-то на тему «гомологическая теория типов» или «топология». Вы поразитесь тому, насколько то, что вы там обнаружите, не похоже на школьный образ математики.
Математику часто называют языком. Как на любом живом человеческом языке можно писать анекдоты и незамысловатые детские стишки или неуловимо тонкую поэзию, тяжеловесный роман или многостраничный договор, так и с помощью математики можно рассуждать о числах и отрезках, а можно — о петлях и поверхностях, многомерных пространствах и даже основах самой этой науки.
Не нужно думать, что числа и отрезки — самое простое, с чем работают математики. Современные теория чисел и геометрия — огромные и во многом неизведанные области, в которых ведутся очень интенсивные исследования. Но что же все-таки изучают математики? Для чего им этот язык?
Числа и стрелки
Чаще всего речь идет о тех или иных моделях. Например, что может быть моделью количества? Число, скажете вы. Но любое ли число годится для этого? Младшие школьники, впервые сталкиваясь с отрицательными числами, испытывают замешательство, ведь модель числа оказывается шире привычного им понятия количества.
А чем можно моделировать скорость? Тоже числом. Но если сказать, что объект двигается со скоростью 60, будет ли этого достаточно для описания того, что с ним происходит? Точно нет! Остается неясно ни куда он двигается, ни, собственно, с какой скоростью: 60 может означать как 60 км/ч, так и 60 мм/год. Отсюда можно заключить, что для моделирования скорости только числа недостаточно.
А если, желая объяснить, как он перемещается, изобразить стрелку, станет ли понятнее? Стрелка — ориентированный отрезок — в качестве модели скорости лучше. Она показывает направление, а сравнив ее с какой-то эталонной стрелкой, принятой за единицу, можно определить ее масштаб. Более того, стрелки можно складывать и умножать на числа, получая новые корректные стрелки.
Структуры с поведением
А можно ли чем-то моделировать стрелки? Абстрактной моделью в этом случае способен стать упорядоченный набор чисел с определенными правилами сложения и умножения на число, который называется вектором. Так математики пришли к мысли о линейных векторных пространствах, элементами которых являются векторы. Изучая свойства этих пространств, математики выработали единый язык, который называется линейной алгеброй, для разговора о таких разных вещах, как, например, цвета, вращения предметов в пространстве, спектры звуковых сигналов.
Математики работают с математическими структурами — универсальными моделями всего, с чем имеет дело человеческий разум. Группы, поля, решетки, графы, петли, косы, языки и бесконечномерные пространства… Все это структуры с четко определенными свойствами и, если угодно, поведением.
Вот уже тысячи лет математики исследуют взаимосвязи между ними, обнаруживают в реальном и математическом мире, что еще можно с их помощью моделировать и при каких условиях.
О чем можно говорить на языке математики, читайте в книге «Вероятности и неприятности».
