Дмитрий Сочивко - Расколотый мир. Опыт анализа психодинамики личности человека в экстремальных условиях жизнедеятельности

Однако эта модель тоже требует существенного ограничения области задания функции. Отечественными учеными Ю.М.Забродиным и А.Н.Лебедевым был предложен обобщенный психофизический закон, позволяющий описывать восприятие физической интенсивности в более широком диапазоне условий:

Параметр z в предложенной авторами формуле является различным для различных условий. Здесь, таким образом, в качестве модели выступает уже некоторое множество, или семейство функций, различных при различных z .

До сих пор мы рассматривали функций как отображение одного множества (область определения) в другое, т. е. как некоторое множество пар объектов. Такие функции называются функциями одного аргумента, но, однако, рассматривать функции двух и более аргументов как множества троек, четверок и т. д. Линейные функции нескольких аргументов широко используются в психологии личности. Личность в этом случае представляется как линейная функция некоторого конечного множества признаков. Введенные на данный момент понятия позволяют дать точное определение того, что мы будем в дальнейшем понимать под термином «модель». Моделью мы будем называть пару множеств, причем первым членом пары выступает множество реальных или идеальных объектов (в качестве последних чаще всего используются числа или буквы), а вторым членом пары является множество отношений, заданных над множеством объектов. При этом, конечно, мы не ограничиваемся рассмотрением только бинарных отношений (хотя часто этого бывает достаточно), в множество отношений могут входить отношения любого порядка арности. Максимальный порядок арности отношений, входящих в модель, будем называть размерностью модели.

Примером модели может служить множество букв русского языка, множеством отношений является множество слов в словаре русского языка.

Из данного нами определения модели можно заключить, что любой объект действительности прежде всего является моделью самого себя. Для того чтобы некоторый объект мог выступать моделью другого объекта, должно существовать инъективное отображение пары множеств, представляющих первый объект, на пару множеств, представляющих второй объект. Таким образом, модель представляет собой некоторое множество объектов и их комбинаций (отношений), при этом максимальная длина комбинации (порядок арности отношения) называется размерностью модели. Каждый объект действительности является моделью самого себя, это по существу означает то, что отношение «быть моделью» является рефлексивным. Некоторый объект (как множество своих элементов и их комбинаций) является моделью другого объекта тогда и только тогда, когда существует инъективное отображение первого объекта на второй, инъективность этого отображения показывает нам, что модель не полно отражает объект, а лишь некоторую его часть в зависимости от того, как задано отображение.

В нашем примере словарь русского языка является моделью реального мира, так как существует сюръективное отображение множества слов на множество объектов и отношений внешнего мира.

Обратим теперь внимание на то, что модель прежде всего является множеством более простых и более сложных объектов (отношений). Следовательно, над этим множеством вновь можно определить отношение, т. е. построить комбинации уже скомбинированных определенным образом объектов (в нашем примере слов – комбинаций букв). А следовательно, можно вновь определить пару множеств, первым членом которой выступает исходная модель, а вторым – множество отношений, заданных уже над этой моделью. Такую пару множеств мы будем называть модель второго порядка. Очевидно, что таким образом можно определить модель любого порядка. В нашем примере моделью второго порядка будет некоторое множество комбинаций слов, т. е. текстов на русском языке.

В заключение исследуем само отношение «быть моделью». Мы уже видели, что это отношение является рефлексивным, так как каждый объект является моделью самого себя. Очевидно также, что если один объект является моделью другого, то в силу сюръективности отображения первого объекта на второй, этот второй совсем не обязательно будет моделью первого объекта. Следовательно, это отношение не является симметричным. Ясно также, что если этот второй объект является моделью некоторого третьего, то и первый будет являться моделью третьего. Таким образом, отношение «быть моделью» является рефлексивным и транзитивным. Такие отношения называются отношениями нестрогого порядка.

Введем понятие бинарной операции. Говорят, что на множестве А задана бинарная операция, если задано отображение f: А 2→ А , которое каждой паре элементов из А 2ставит в соответствие единственный элемент из А . Бинарную операцию называют также двухместной. Ясно, что можно определить n -местную операцию, если задать отображение, которое набору ( a 1…. а n ) ∈ A ставит в соответствие единственный элемент a ∈ А . Нас, однако, в дальнейшем будут интересовать только бинарные операции, которые мы будет называть просто операциями. На множестве А можно задать несколько операций, множество которых в этом случае называется сигнатурой множества А . Множество А вместе с его сигнатурой называется алгеброй. Легко видеть, что задание n -местной операции совпадает с заданием некоторого n +1-арного отношения. Таким образом, всякая алгебра является моделью.

Рассмотрим теперь множество А с заданной на нем операцией, которую мы будет обозначать Т . Нас сейчас не интересует, какова эта операция – она может быть любой, удовлетворяющей приведенному выше условию. Алгебра ( А, Т ) называется группоидом. Если в группоиде действует закон ассоциативности, который означает, что для любых трех элементов имеет место равенство

то такой группоид называется полугруппой. Закон ассоциативности означает, что в полугруппе можно любым способом расставлять скобки при записи действия операции на некоторое множество элементов из А . Поэтому если задана полугруппа, то скобки в записи могут быть опущены. Полугруппа, в которой существует нейтральный элемент, определяемый следующим свойством:

а также для каждого элемента а принадлежащего А существует обратный элемент a -1∈ А , такой, что