1.4. Кватерниорные структуры
1.4.1. Предварительный список примеров
Вернемся к теоретической модели, а именно к уравнению (5) раздела 1.2. Выпишем это уравнение заново:
M = M! / (M – n)! n!
( 5 )
По-прежнему рассматриваются целостные (полные, замкнутые, связные) и простые системы, т.е. системы класса S, состоящие из М элементов, но в величину кратности отношений n на сей раз внесем изменения. Пусть теперь имеются в виду не прежние бинарные ( n = 2 ), а тринитарные отношения: n = 3. Как это достигается на практике, позднее увидим на конкретных примерах, пока же займемся чисто формальным аспектом. Каким станет количество элементов М, если кратность отношений n = 3? Подставим последнее значение в уравнение (5):
M = M! / (M – 3)! 3!
Раскрыв значения факториалов в правой части, получим:
М = 1·2· 3·…·(М – 3)(М – 2)(М – 1)М / 1·2· 3·…·(М – 3)·1· 2· 3
После сокращения одинаковых сомножителей в числителе и знаменателе:
М = М(М – 1)(М – 2) / 6
( 6 )
В правой и левой частях уравнения стоят одинаковые сомножители М. Если количество элементов М было бы бесконечно большим, правая и левая части уравнения тоже были бы бесконечно большими, т.е. равенство соблюдалось бы. Но о таком странном случае М = ∞ (M равно бесконечности); и о том, есть ли у него вообще какой-нибудь смысл, мы поговорим в разделе 1.5. Пока же будем искать решения среди конечного числа составных элементов, тем более, что алгебра, как и логика, не любят иметь дело с актуальными бесконечностями.
Если бы в системе совсем не было элементов, т.е. М = 0, то правая и левая части уравнения также обратились бы в нуль, и следовательно, их равенство было бы обеспечено. Значит, М = 0 входит в состав конечных решений. Но это опять-таки странный случай: какую систему мы изучаем, если элементы отсутствуют? Поэтому и нулевой вариант будет рассмотрен значительно позже.
Физики, наделенные острым чувством реальности и мыслящие не только строго, но и трезво, встречая среди решений какого-нибудь своего уравнения бесконечности и нули, обычно их тут же отбрасывают. О таких случаях говорят: не имеет физического смысла , – или именуют нулевое решение тривиальным , не несущим полезной информации. Сплошь да рядом так поступают и математики.
Пока у нас нет серьезных оснований отличаться от физиков и математиков, поэтому системы с бесконечным и нулевым количеством элементов и отодвинуты в сторону. Из осторожности все же воздержимся называть такие системы не имеющими реального смысла или тривиальными: быть может, в обществе и культуре найдутся соответствующие прототипы. Но в любом случае оставим их на потом и поищем другие, менее экзотические, решения.
Если величина М конечна и отлична от нуля, у нас есть право ее сократить, поскольку она стоит как сомножитель в обеих частях уравнения:
(М – 1)(М – 2) = 6.
Это квадратное алгебраическое уравнение, и чтобы найти корни, нужно раскрыть скобки и привести все к стандартному школьному виду:
М2 – 3М – 4 = 0.
Уравнению удовлетворяют два значения:
М = 4
М = – 1
( 7 )
( 8 )
Второй корень ( М = – 1 ) выглядит настораживающе и, вроде, противоречит здравому смыслу: может ли реальная система состоять из минус одного элемента? Пока оставим его в покое. Решение же М = 4 смотрится вполне респектабельно, за него стоит ухватиться покрепче. Но прежде еще одно математическое замечание.
Уравнение (5) может быть решено в общем виде, пригодном для любых величин n (нас интересуют прежде всего целые неотрицательные). Подробности вынесены в Приложение 1.2 , здесь же приведем окончательный результат. Осуществляя поиск среди действительных и конечных значений М, приходится различать две главных разновидности систем S: с четной и нечетной кратностью отношений n.
Если n – четное , то существуют только два общих решения:
М = 0
М = n + 1.
( 9 )
Если n – нечетное , то общих решений – три:
М = 0
М = – 1
М = n + 1
( 10 )
Вариант М = 0 сопутствует всем возможным (целым неотрицательным ) n,(1) в этом смысле его можно считать "универсальным" решением. Мы видели, что оно встречалось и при n = 2, и при n = 3, но пока мы его отодвинули в сторону по соображениям "тривиальности".
Решение М = – 1 фигурирует только при нечетных n (но при этом всех нечетных), и поэтому ему возможно присвоить эпитет "полууниверсального" . Но и его оставим до поры вне обсуждения из-за трудностей с интерпретацией.
Зато общее решение М = n + 1 в самом деле похоже на правду. Во-первых, системы S с бинарными отношениями ( n = 2 ), как удалось убедиться в предыдущем разделе, обладают тройственной структурой ( М = 3 ), т.е. условие М = n + 1 выполнено. Во-вторых, системы того же класса с тринитарными отношениями ( n = 3 ) подразумевают кватерниорность, или тетрарность, строения: М = 4, см. решение (7), – т.е. условие М = n + 1 тоже выполнено. Наконец, в-третьих, при целых n и количество элементов М всегда оказывается целым, тем самым удовлетворяя чувству реальности (что такое нецелое, например дробное, число элементов в системе, трудно представить). Теперь попробуем посмотреть, как парадигма n = 3, М = 4 реализуется на практике.
Начнем с релятивистской модели физического пространства. Последнее, как известно, четырехмерно, и его часто называют пространством-временем. Учитывая, что четвертое, "хронологическое" измерение (соответствующая координата записывается как i c t , где t – текущее время, с - вещественная постоянная, i – мнимая единица) казалось и до сих пор многим кажется необычным, для записи размерности такой физической модели нередко используют форму 3 + 1, говоря о 3 + 1- мерном пространстве-времени. Хотя теория относительности исторически не первой, конечно, выдвинула образец семантически кватерниорных структур, удобнее начать именно с нее: о ней все наслышаны, да и логика в ней достаточно четко артикулирована.
Упомянутая физическая модель – так же, как и классическая, – демонстрирует собственную целостность. Это научная, физическая модель, и остается в силе все сказанное в разделе 1.3 о предпосылках научности как таковой, об априорной установке физика (теоретика или экспериментатора). Свойства полноты, замкнутости, связности неотъемлемы от всякой настоящей теории, они предшествуют созданию конкретной модели, являясь, если угодно, ее догмой. Релятивистский образ пространства по-прежнему логически полон, замкнут и связен, в нем нет места вторжению иных, нефизических по сути реальностей. Причины всех физических событий – в самом физическом мире, только такими могут быть объяснения физика, исключительно в этом направлении он проводит поиск.