Еще один математик из Болоньи, Рафаэль Бомбелли, предположил, что квадратным корнем из отрицательных чисел вполне может быть совершенно новый вид чисел. Это и не положительные, и не отрицательные числа! Необычные числа, о которых ничего не известно, предположить существование которых до настоящего момента было невозможно. После появления нуля и отрицательных чисел огромное множество чисел снова собирается расширяться.
В конце жизни Бомбелли написал свою основную работу, «Алгебра», которая была опубликована в год его смерти (1572). Взяв за основу книгу «Арс Магна», он дополнил ее новыми элементами, которые назвал комплексными числами. Бомбелли сделал нечто подобное тому, что уже однажды совершил Брахмагупта, когда ввел понятие отрицательных чисел. Он описал правила, позволяющие выполнять различные действия с комплексными числами, включая возведение во вторую степень и нахождение отрицательных чисел.
Судьба комплексных чисел Бомбелли была во многом схожа с судьбой отрицательных чисел. Они также вызвали волну скепсиса и недоверия. И, так же как и отрицательные числа, их в конце концов признали революционным достижением в мире математики. Одним из таких скептиков в начале XVII в. был французский математик и философ Рене Декарт. Именно он дал этим числам название, которое мы используем до сих пор: мнимые числа.
Пройдет два столетия, прежде чем мнимые числа будут признаны всем математическим сообществом. Так они станут неотъемлемой частью современной науки. Помимо решения уравнений, эти числа будут применяться в физических науках, в том числе в изучении волновых явлений в электронике или квантовой физике. Без мнимых чисел появление многих современных технологий было бы невозможным.
Однако, в отличие от отрицательных, мнимые числа в основном остаются неизвестными за пределами научных кругов. Их сложно себе представить на интуитивном уровне, трудно спроектировать на простые физические явления. Если отрицательный результат еще можно представить как долг или дефицит, то для того, чтобы понять, что такое мнимые числа, придется отказаться от осознания чисел в количественных категориях. Эти числа неприменимы в повседневной жизни для подсчета яблок или овец.
Мнимые числа постепенно расширяли поле для исследований математиков. В конце концов, если достаточно только признать существование квадратных корней из отрицательных чисел для того, чтобы принять новый вид чисел, почему нельзя пойти дальше? Разве нельзя создавать неограниченное число новых чисел с новыми арифметическими свойствами. Нельзя ли тогда ввести новые, полностью независимые алгебраические структуры чисел, отличные от классических?
В XIX в. были сняты последние ограничения применения математических действий по отношению к любым числам. Таким образом, алгебраическая структура становится не более чем математической конструкцией, состоящей из элементов (которые мы можем назвать цифрами в определенных случаях) и операций, которые могут быть совершены в отношении этих элементов (которые могут быть названы сложением, умножением и т. д. в соответствующих случаях).
Такой подход привел к появлению многочисленных новых исследований. Новые, более или менее абстрактные алгебраические структуры уже были обнаружены, изучены, классифицированы. Учитывая масштабы задачи, математики Европы и мира начали обмениваться опытом. Даже сегодня многие алгебраические исследования продолжают проводиться по всему миру, и многие гипотезы остаются недоказанными.
Создайте собственную математическую теорию
Вы когда-нибудь мечтали, чтобы одна из теорем носила ваше имя, как теоремы Пифагора, Брахмагупты или аль-Каши? Тогда вам повезло, потому что я собираюсь рассказать, как создать и развивать собственную алгебраическую систему. Для этого вам понадобятся две составляющие: список элементов, а также действие, позволяющее производить с ними операции.
Возьмем, например, восемь элементов и отметим их следующими символами: ♥, ♦, ♣, ♠, ♪, ♫, ▲ и ☼. Нам также нужен будет знак для обозначения действия. Возьмем, например, ✳ и назовем его в честь итальянского ученого: бомбеллиация. Для определения результата бомбеллиации двух элементов мы должны построить соответствующую таблицу. Начертим таблицу, состоящую из восьми строк и восьми столбцов для наших восьми элементов, и заполним ее, помещая на пересечении двух символов результат из бомбеллиации.
Вуаля! Ваша теория готова, осталось только изучить ее. Посмотрев на пересечение второй строки и четвертого столбца, например, можно увидеть, что в результате бомбеллиации ♦ и ♠ получается ☼. Другими словами, ♦ ✳ ♠ = ☼. Вы даже можете решать уравнения в вашей теории. Например:
Найдите число, которое при бомбеллиации с ♣ дает ♫.
Чтобы найти решение этого уравнения, достаточно посмотреть на нашу таблицу. Можно сделать вывод, что у него есть два решения: ♦ и ♪, т. к. ♦ ✳ ♣ = ♫ и ♪ ✳ ♣ = ♫.
Однако будьте внимательны, потому что в нашей новой теории некоторые свойства, которые мы использовали раньше, могут стать ложными. Например, результат может отличаться в случае изменения порядка элементов в бомбеллиации: ♥ ✳ ♦ = ♪ в то время как ♦ ✳ ♥ = ♦. В этом случае говорят, что операция не коммутативная.
Присмотревшись внимательнее, вы обнаружите некоторые более общие свойства. Например, при бомбеллиации элемента с самим собой результат будет равен этому элементу: ♥ ✳ ♥ = ♥, ♦ ✳ ♦ = ♦, ♣ ✳ ♣ = ♣ и так далее. Эту закономерность можно считать первой теоремой нашей новой теории!
В общем, принцип должен быть вам понятен. Если вы хотите создать ваши собственные теоремы – пожалуйста. Разумеется, вы можете взять такое количество элементов, какое пожелаете. Даже бесконечное их число, если захотите. Вы можете создать более сложные системы, как и в случае целых чисел, которые не имеют специального символа, а составлены из десяти индийских цифр. Вы можете затем создать правила подсчета, которые будут выступать в роли аксиом в вашей теории. Например, определяя свойства вашей алгебраической системы, можно сделать операции коммутативными.
Разумеется, не стоит обманывать себя, рассчитывая на то, что ваша теория останется в истории. Не все математические модели одинаковые! Некоторые из них являются более полезными и важными, чем другие. Создавая таблицу с действиями случайным образом, помните: есть большая вероятность, что эта система окажется совершенно неинтересной. Если же это не так, то можно держать пари, что другие математики уже изучили ее до вас. Нужно, так или иначе, отдавать себе отчет в том, что математика – это призвание!
Как распознать интересную теорию? На протяжении всей истории для этого существовало два критерия, которыми руководствовались математики в своих исследованиях: применимость и красота.
