CC BY
48
УДК 519.92
СИСТЕМА КАК ПРЕДМЕТ МАТЕМАТИКИ И ИНФОРМАТИКИ. ФОРМАЛЬНАЯ СИСТЕМА В КАЧЕСТВЕ ПРЕДСТАВЛЕНИЯ ОТКРЫТОЙ СИСТЕМЫ
© M.r. KopoTeHKOB
Korotenkov, Y.G. System as the subject of mathematics and computer science. Formal system as a representation of open system. The article discusses the notions of open system, formal system, algebraic system, etc. and laws of axiomatic formal system.
Система - важнейший объект познания, являющийся, к тому же, не менее важным средством познания. Условием существования и развития любого объекта или процесса является его системность, а залогом исследования - систематизация. Поэтому система -важнейший объект общего и информационного образования, информатики - науки и информатики - предмета обучения.
Система - понятие общенаучное, восходящее к философии и теории познания. Математика (в частности, алгебра), информатика и другие дифференцированные науки каждая по-своему интерпретирует его, осуществляет свои представления системы. Поэтому важным представляется найти общее между различными теориями, общую интерпретацию их понятий и содержания с последующим отражением этого общего в образовании (в вузе, школе, в профильном или специализированном обучении).
З а м е ч а н и е. Предлагаемый вниманию материал сам может использоваться в качестве предмета обучения как математики - на математических факультетах, алгебры, компьютерной математики, так и в обучении информатики - в специализированном или углубленном обучении.
Система представляет собой множество закономерно взаимосвязанных частей, компонентов, элементов, процессов, процедур и образующих в совокупности единое целое (целостное образование). Различают открытые и замкнутые, или формальные системы.
Открытая система определяется только своими закономерностями связи между образующими ее частями и может изменять количественный состав элементов и отношений, принимая в ходе своего развития различные состояния. Как и во всяком множественном образовании взаимоотношения компонентов системы выражаются через отношения их элементов, то есть через внутренние отношения элементов системы. Следовательно, закономерности системы можно трактовать как ее определяющие отношения, или системообразующие отношения, которым обязан соответствовать каждый ее элемент. Более того, каждый элемент среды, соответствующий закономерностям системы, может быть включен в ее состав; так же, как каждое отношение между элементами системы может стать ее внутренним отношением, если оно соответствует (не вступает в противоречие) с ее закономерностями.
З а м е ч а н и е. Дополнение системы новыми элементами и отношениями зависит не только от формальных + условий (соответствия, непротиворечивости), но и от ее содержания, целей и требований развития.
Элемент системы - это простой (неделимый в пределах этой системы) ее компонент, который участвует в выражении ее закономерностей. И обратно, закономерности системы выражаются в каждом ее элементе.
Формальная система, во-первых, полностью лишена содержания (абстрагирована от него) и определяется только формальными правилами и отношениями. Во-вторых, она не меняет количественный состав: имеет постоянное множество элементов - носитель системы и фиксированное множество отношений: операционных, предикатных, бинарных. На каждом из этих уровней и на их совокупности выделяются множества определяющих отношений - закономерностей системы.
Операционные отношения в системе определяются операциями на ней - нульарными, унарными, бинарными и в общем случае п-арными (п-местными, где п -натуральное число). Ими же определятся соответствующие бинарные отношения между различными термами - выражениями из упорядоченных определенным образом элементов и операций. На самом деле эти отношения являются закономерными, поскольку они действительны для каждых элементов системы.
Предикатные отношения определяются п-арными предикатами Р на носителе системы, где Р(хь ..., хп) = = Р(х1п) = 1/0 для каждых элементов на этом носителе. Поскольку всегда Р(х1п) = 1 V Р(х1п) = 0, то каждый предикат и их совокупность порождают закономерные отношения в данной системе.
На этом основании формальное множественное образование А с определенными на нем множествами операций и предикатов, соответственно, |_Р| и {Р}, называется алгебраической системой: А = <А, |_Р|, |Р}>. Множество А называется носителем системы (обычно обозначение системы и носителя совпадает), элементы множеств ^ = |_Р| и Р = |Р| - функциональными символами.
А.И. Мальцев называет ([2]) совокупность алгебраических систем с определенными на них множества-
ми |_Р| и |Р| операций и предикатов классом этой сигнатуры (|_Р| и |Р|).
Элементы множеств |Р'| и |Р| А.И. Мальцев понимает как общие функциональные символы, принимающие конкретные значения операций и предикатов в системах этой сигнатуры. Обычно различия между общими и конкретными значениями функциональных символов не делают, но иметь в виду это различие необходимо. Например, булева алгебра определяется как система В = <В, +, *, '> с двумя бинарными и одной унарной (инверсией) операциями и эквивалентными множествами определяющих отношений В1 и В2:
В.І В.ІІ
В1.1. х + х = х В2.1. х * х = х
В1.2. х+у = у+х В2.2. х*у = у*х
В1.3. х+(у+г) = (х+у)+г В2.3. х*(у*г) = (х*у) *г
В1.4. х*(у+г) = В2.4. х+(у*г) =
= (х*у)+(х*г) = (х+у)*(х+г)
В1.5. (х')' = х В2.5. (х')' = х
В1.6. (х+у)' = х'*у' В2.6. (х*у)' = х'+у'
В1.7. у+(х*х') = у В2.7. у*(х+х') = у
Булевыми алгебрами являются, в частности, алгебра высказываний V = <У, V, л, — > с операциями дизъюнкции, конъюнкции и отрицания (производной операцией) и алгебра и =<Б(М), и, п, '> с носителем из подмножеств множества М и операций объединения, пересечения, инверсии, где N = М \ N - дополнение N в М для любого множества N с М. То есть это алгебры единой сигнатуры, или представители единого класса алгебр сигнатуры О = {+, *, При этом, естественно, не каждая алгебра этой сигнатуры является булевой.
Формальная система определяется множеством закономерностей на уровне бинарных отношений (тождеств) и уровне термальных выражений, истинных (равных 1) в этой системе. В этом плане между формальной и открытой системами нет различия (на уровне бинарных и термальных закономерных отношений): и в том, и другом случае требуется соответствие каждого элемента системы этим закономерностям. Поэтому формальная система служит в качестве средства описания (моделирования, исследования) открытой системы, представляя ее конкретный образ или состояние в определенный момент времени по совокупности существенных признаков (в соответствии с требованиями этого описания).
Открытая система тоже является образом реальной системы - социальной, производственной, научнообразовательной, социокультурной и т. д., вернее, образом соответствующих областей (объектно-процессуальных сфер), рассматриваемых в комплексе взаимосвязей. То есть это есть продукт систематизации реально существующей сферы с соответствующей формализацией объектов и отношений, с определением системообразующих отношений.
Таким образом, открытые и формальные системы являются и объектами, и продуктами, и средствами единой теории исследования систем - системологии, назначением которой является: формирование, изучение, моделирование систем (прежде всего, открытых), т. е. систематизация, определение закономерностей,
изучение на уровне системы, системных выражений и представлений.
Современный уровень познания (науки, образования, прикладных областей) предполагает первостепен-ность системного подхода, процессов систематизации и системного моделирования. Поэтому общая теория систем - системология по своему значению выходит на одно из ведущих мест в научном исследовании и фактически становится на одном уровне с теорией познания.
Системология - это межпредметная наука на стыке философии, логики, теории познания, математики, информатики, потому что система является общенаучным (общечеловеческим, философским) понятием.
З а м е ч а н и е. Часто эту науку называют также систематикой. Однако это название годится только для ее раздела (проекции) на уровне математики и теории информации: на уровне формального и формализованного исследования систем. В общем случае это системология, наука, определяющая методологию и средства исследования систем.
Для исследования и описания систем необходимо знание их общей структуры, основных понятий, связанных с ними или имеющих к ним отношение, типов и принципов взаимосвязи и взаимодействия их частей и внутренних процессов. В этом состоит сущность системного подхода и реализующего его системного анализа. В [1] выделяются три основных компоненты сис-темологии:
- область исследования;
- совокупность знаний в этой области;
- методология накопления новых знаний и их использования к решению относящихся к этой области задач.
В область исследования по [1] входят все типы отношений, существенные для всех систем или отдельных их типов. В системологии элементная основа систем отходит на второй план (как носитель множества отношений), природа которой в данном случае несущественна, хотя при изучении конкретной модели она уже приобретает главенствующее положение, а система отношений становится проявлением взаимосвязи и взаимодействия ее частей и элементов. Это естественно, поскольку отношения могут возникать и реализовываться только в конкретной вполне определенной предметной области.
Абстрагирование от конкретного содержания системы дает возможность к ее двухмерному (см. [1]) исследованию, на двух взаимодействующих уровнях:
- на уровне обычного экспериментального исследования системы,
- на уровне системологии с применением общей методологии и соответствующих технологий к изучению конкретных систем.
Исследование на уровне дифференцированной научной системы оказывается всего лишь экспериментальным с позиции системологии.
К знаниям в области системологии следует отнести как знания, полученные научно-теоретическим путем, путем исследований и методологических изысканий, так и экспериментально. Необходима определенная формализация, а также обобщение этих знаний, представление в виде системы и/или модели.
К знаниям относят также элементы абстрактной открытой системы как систематизированной информации
(динамическую информацию системы) в отличие от данных системы, служащих для описания системы, ее элементов, связей и отношений (статистической информации системы). То есть выделяют знания о системе и знания самой системы.
По [1] «главная задача системной методологии -предоставление в распоряжение потенциальных пользователей, представляющих разные дисциплины и предметные области, методов решения всех определенных типов системных задач». То есть, системная методология - это общий (универсальный) методический инструментарий, применяемый при исследовании, описании и построении конкретных систем.
Основной предмет исследования системологии образуют открытые системы с переменным составом элементов и отношений, рассматриваемые в процессе их развития в аспекте их инвариантных (определенных системными закономерностями) и множествами конкретных состояний. Каждое конкретное состояние открытой системы может быть представлено формальной системой с фиксированными множествами элементов и отношений. Однако на самом деле здесь всегда есть элемент условности. Точный состав элементов и отношений в открытой системе либо неизвестен (невозможно точное описание), либо несуществен для исследования. Поэтому на уровне формального представления открытой системы в виде 5 = <5, P> из носителя и множества отношений эти множества также предполагаются открытыми, переменными, то есть любое состояние открытой системы фиксирует только существенные для данного этапа ее исследования элементы и отношения. Следовательно, формальные системы служат в качестве средства, инструмента при исследовании открытых систем. При этом несколько модифицируется понятие самой формальной системы: на первый план выходит формальность выражения системы на уровне абстрактных символов элементов и отношений, а требование фиксированности (постоянства) образуемых ими множеств является третьестепенным. То есть рассмотрение формальной системы как фиксированного или переменного множества (с переменной мощностью) зависит от контекста и цели исследования.
Существенными требованиями здесь являются:
- инвариантность (постоянство) архитектуры системы, определяемой системообразующими отношениями;
- фиксированность (идентификация) структуры каждого состояния системы.
З а м е ч а н и е. Архитектура абсолютно постоянна до тех пор, пока существует данная система, в то время как структура лишь отражает эволюцию системы, выражая при этом относительно инвариантные связи и отношения компонентов системы.
В этом плане между понятием формальной системы на уровне системологии и формальной системой на уровне теории алгебраических систем имеются определенные разночтения, несоответствие. В первом случае это абстрактное выражение (обозначение) открытой системы в качестве объекта ее формализованного изучения на уровне системного моделирования. Во втором случае это одна из алгебраических систем определенной сигнатуры (в рамках единой открытой системы сигнатура не может изменяться). При этом сохраним
привычный термин теории алгебры - «класс» для обозначения объектного образования заданной сигнатуры операций и предикатов.
Между тем, формальное теоретико-множественное представление открытой системы на языке множеств, элементов и отношений является алгебраическим объектом и предметом алгебры. Следовательно, необходим единый обобщенный подход к изучению предмета алгебраической системологии.
Во-первых, следует отметить, что понятие множества в системологии соответствует понятию абстрактного множества, порождаемого своими элементами: М = {т І т є M} и обладающего свойствами:
1. М £ М.
2. М может быть вполне упорядочено.
З а м е ч а н и е. Наличие указанных требований к множеству предполагает существование образований, не обязательно являющихся множествами. В алгебре такие образования называют классами, хотя понятие «класс» не является однозначным. Удобнее пользоваться термином «объектное образование», которое может быть или не быть множеством. В системологии мы имеем дело только с множествами, но при переходе на терминологию формализации надо помнить о несколько расширенном толковании понятия «объектного образования» (класса).
Во-вторых, следует определиться с понятием закономерности открытой системы, то есть с ее алгебраическим представлением. Мы заметили уже, что закономерность выражается на уровне элементов системы, и каждый ее элемент может участвовать в ее выражении. Поскольку в каждом таком выражении может участвовать конечное количество элементов, то это выражение представляется в виде истинного отношения P(x1n) для некоторого числа элементов системы. Но наличие закономерности означает независимость ее истинности от конкретных элементов, участвующих в ее выражении. Это может быть только в том случае, если Р -высказывание:
Р(Х!П) = У(х11)Э(х1+1п)(Р'(х1")) = Охп(Р'(х1")),
где б* - условное обозначение кванторов общности и существования.
Высказывание - замкнутая формула относительно переменных.
Следовательно, понятие открытой системы соответствует понятию аксиоматизируемого класса алгебраических систем, определенной А.И. Мальцевым в [2], или просто понятию аксиоматизируемого класса систем:
Аксиоматизируемый класс К систем определяется некоторым набором замкнутых формул (высказываний), истинных на каждой системе этого класса - некоторой элементарной теорией T = ТИ K в терминологии А.И. Мальцева) - К = К(Т) = К(ТЬ К).
В то же время, каждое состояние открытой системы, представляемое формальной системой, сохраняет все ее закономерности, и каждая система, сохраняющая эти закономерности, является состоянием ее инвариантного образа. То есть состояния открытой системы образуют аксиоматизируемый класс с элементарной теорией, определяемой закономерностями этой системы.
Однако в понятиях алгебраической системы и формальной системы как объекта системологии имеется явное противоречие. Формальные системы, выражающие различные состояния открытой системы, являются образами этой системы, показывая ее в развитии во времени и в пространстве. То есть это различные выражения (проявления) одной и тоже системы, определенной своими закономерностями и конкретными отношениями на каждый момент времени и ее развития. С точки зрения алгебраической теории это, напротив, множество различных формальных систем, пребывающих в таковом качестве только по наличию определенной на них общей сигнатуры из некоторых множеств операций и предикатов. Если же такой сигнатуры нет, то большинство из них вовсе и не системы, поскольку не все отношения, определенные на конкретном представлении (состоянии) открытой системы, имеют операционно-предикатное выражение.
Каждая сигнатура из множеств {^} и {Р} операций и предикатов определяет единственную формальную систему в качестве объекта системологии - систему с закономерностями, определенными тождественными бинарными отношениями на термов - результатов операций и выражений закономерностей типа:
УХ1ПЗХп+1(Хп+1 = Х1пю),
Ух1п(Р(х1п) =1 V Р(х1п) =0),
где ю є {^} - и-арная операция, P є {Р} - и-арный предикат.
З а м е ч а н и е. С формальной точки зрения здесь нет полного соответствия между этой системой и классом алгебр сигнатуры {^} и {Р}, поскольку данный класс не обязан быть множеством. Но в данном случае этот класс можно считать более определенным (в контексте системологии). Дело в том, что универсальный язык алгебры предусматривает абстрактно-виртуальное рассмотрение объектов алгебраической сигнатуры. Но в данном случае мы рассматриваем алгебраические системы в приложении к системологии (науке о системах с вполне определенной семантикой операций и отношений), поэтому вправе предполагать, что в данном случае объектное образование (класс систем) не выходит за пределы множества.
Сама по себе система, определенная сигнатурой операций и предикатов, мало отражает действительные закономерности представляемой ею открытой системе: в большей степени они могут выражаться на уровне определяющих отношений в алгебраической системе. То есть в качестве объекта системологии алгебраическая система А должна обозначаться как А = <А, {.Р}, {Р}, Х>, где X - определяющие отношения, определенные в сигнатуре {Р} и {Р}. С этой точки зрения А является образом (состоянием) свободной системы <Р, {Р}, { Р}> с тем же множеством образующих.
Поэтому во избежание двусмысленности толкования терминологии будем избегать употребления термина «алгебраическая система», заменяя ее термином «аксиоматизируемая формальная система» - АФС;
- алгебраическая система по А.И. Мальцеву является АФС;
- АФС является алгебраической по форме (способу) выражения.
При рассмотрении алгебраических систем в терминологии А.И. Мальцева будем их называть термином «алгебраические мальцевские системы» - АМС.
Аксиоматизируемая формальная система (АФС) -это объединение элементов и отношений, определяемых множеством тождественно истинных предикативных высказываний, которые выражаются через элементы этого множества (носителя системы) и каждый элемент которого участвует в выражении этих высказываний.
Каждая открытая система имеет представление в виде некоторого множества аксиоматизируемых формальных систем (представление не только не обязано быть однозначным, но даже предполагает многозначность).
ЗАКОНОМЕРНОСТИ АКСИОМАТИЗИРУЕМОЙ ФОРМАЛЬНОЙ СИСТЕМЫ
Следует обратить внимание, что закономерности системы и системообразующие отношения не всегда одно и то же:
- Системообразующие отношения, как и выражающая их архитектура системы, являются абсолютно инвариантными (устойчивыми) при эволюции системы -при смене ее состояний.
- Закономерности системы могут возникать и исчезать по мере ее развития, характеризуя определенный этап в этом развитии, и потому являясь, как и выражающая их структура системы, относительно инвариантными.
Требования к системообразующим отношениям и закономерностям системы могут быть различными, и они могут иметь различные формы выражения на уровне логических высказываний (замкнутых логических выражений - аксиом). То есть закономерности системы определяют ее состояние на определенном этапе развития, где она принимает множество конкретных значений (состояний).
Система имеет множество закономерностей, имеющих выражение в истинных на ней предикатных высказываниях, которые могут сохранять свою истинность при переходе к подсистемам. С формальной (алгебраической) точки зрения подсистема - такое образование внутри системы, которое сохраняет свойства этой системы, определяемые системообразующими отношениями и другими закономерностями. В этом плане с сохранением истинности формул типа Ух1п (Р(х1п)) проблем не возникает. Однако закономерность, выражаемая формулой типа Ух1‘Зхі+1и(Р(х1и)), не обязана сохраняться на подсистемах.
Понятия подсистемы в системологии не совпадает с понятием подсистемы в алгебре. Если подсистема алгебраической системы полностью содержится в ней, то в системологии она является частью содержания системы, образуемого ее элементами (знаниями), отношениями и описанием системы (данными). Она лишь пересекается с основной системой на уровне знаний более высокого уровня, чем другие знания этой подсистемы, тогда как другие ее знания с позиции этого (высокого) уровня представляют собой лишь данные. В этом состоит логика систематизации и формирования открытых систем.
Однако в общем случае структура уровней открытой системы неоднозначна: в определенном смысле
она субъективна, в определенной мере обусловлена целями исследования системы и моделирования. При многоуровневом моделировании, начиная с концептуального и заканчивая логико-семантическим, а также его формальными представлениями, различным образом трактуется понятие элемента (элементарной единицы системы) и, соответственно, их закономерной связи. Поэтому возможны следующие случаи.
1. Открытая система является многоуровневой, где каждый вышестоящий (следующий) уровень - это структурная систематизация предыдущего уровня. Знаниями следующего уровня становятся некоторые структурированные образования из знаний предыдущего уровня на основании определенной закономерной связи между ними.
Пусть М - подсистема открытой системы 5, N -множество их общих элементов. На этом множестве могут выполняться не все закономерности основной системы 5, например, 3-замкнутые высказывания. Но элементы этого множества участвуют в выражении этих высказываний на уровне 5, а значит, соответствуют им. Следовательно, другие ресурсы системы М, другие ее знания обеспечивают это соответствие, поэтому она может иметь только те закономерности, элементы и отношения, которые не нарушают этого соответствия. Как только подсистема теряет связь с системой (следующего уровня), начинает развиваться по собственным законам, без оглядки на законы этой системы, она перестает им соответствовать и в результате перестает быть подсистемой. Эти же требования предъявляются к системе на этапе структурно-концептуальной систематизации множества систем.
2. Случай, когда подсистема открытой системы рассматривается в качестве одной из составляющих основной системы, выражающей закономерную связь ее частей. Этот случай не исключает наличие в подсистеме своих закономерностей (свойственных только ей) и «дополнительных» знаний, но основу ее составляют общие знания с основной системой.
Наследственность. В случае алгебраических систем замкнутость некоторого класса относительно подсистем (наследственность) считается хорошим свойством и признаком многообразия (класса систем, замкнутого относительно подсистем, гомоморфизмов и декартовых произведений). В случае открытых систем и представляющих их АФС это выглядит несколько по-иному.
Пусть, н а п р и м е р, в АФС А и в ее некоторой подсистеме В тождественно истинны высказывания типа
Ух1‘Зх;+1и(Р(х1и)), (1)
причем, х1 є В о х;+!Л є А. В данном случае это указывает на самодостаточность подсистемы В, ведущие к ее обособленности, отрыву от макросистемы. То реальная открытая система, являющаяся подсистемой другой открытой системы, не только не обязана наследовать все ее закономерности, но и не должна этого делать - в целях нормального развития (в условиях разделения труда) в аспекте межсистемных отношений.
З а м е ч а н и е. С другой стороны, если в формуле (1) х1 є В ^ хмп є А, то это говорит об излишней опеке со стороны надсистемы (А), неминуемо ведущей к
ослаблению внутренних системных связей в В. Впрочем, для подобного характера межсистемных отношений могут быть субъективные причины. Но в любом случае превращение этого характера в тенденцию таит в себе опасность.
Развитие современных открытых социальных систем означает развитие межсистемных связей, опору на системную среду и макросистему, что исключает само-замыкание (обособленность, самоизоляцию) системы, также как и излишнее администрирование со стороны внешних структур. То есть любая система должна развиваться по своим законам, но в соответствии с общими целями и характером их достижения. То есть необходимо единообразие концепции, необходимы единые принципы и другие закономерности, имеющие выражение в форме тождественно истинных высказываний типа Ух1п(Р(х1п)). Разумеется, это есть оптимальная форма системной закономерности, наследуемая подсистемами. Но не обязательно единственная. Просто другие случаи имеют заведомо специализированный характер, отражающий специфику конкретных меж-системных отношений.
Пусть А = <А, Р, Р. Х> - АМС с сигнатурой операций Р = {Р) и предикатов Р = {Р} и множеством определяющих отношений X. Пусть X - множество образующих системы А, О = О(Х) - свободная система этой сигнатуры. Определяющие отношения порождают в О конгруэнцию q є О2. Тогда О! = О/q является свободной 2-системой (все системы, удовлетворяющие определяющим отношениям X, являются ее образами). Поскольку А также удовлетворяют отношениям X, то А = О/т для некоторой конгруэнции т з q на О. То есть А является гомоморфным образом системы О/т, сохраняющим ее отношения, в том числе операции и истинные значения предикатов данной сигнатуры.
По сути дела в А можно выделить еще три типа отношений, не порождающихся отношениями X:
1. Эквивалентные отношения, порожденные тождественными соотношениями между некоторыми группами элементов системы А, по сути дела являются закономерностями - тождественно истинными V - замкнутыми высказываниями. Поскольку это отношения между термами (функциональными выражениями сигнатуры Р), то речь идет о некоторой конгруэнции р на О/т, А = (О/т)/р.
2. Множество бинарных предикатов, определенных на А (и только на А), истинных для некоторых элементов из А и ложных для остальных. Эти предикаты порождают множество отношений Ф; с А2, і є I. Объединение этих отношений Ф = и Ф; (і є I) и есть второй тип бинарных отношений.
3. Кроме того, на А могут быть определены п-арные предикаты, где п принимает значения из множества натуральных чисел N. Среди этих предикатов, не порождающихся множеством Р, могут быть высказывания, т. е. отношения, выражающие определенные закономерности на А (локально значимые).
При переходе на язык системологии и АФС получаем следующее:
О = <О(Х), Р, Р> - система с закономерностями, определенными сигнатурой операций и предикатов, которая (система) принимает множество состояний, совпадающими с объектно-алгебраическими образованиями с заданной сигнатурой (классом АМС). А - об-
раз системы О, порожденный закономерностями X и другими отношениями, свойственными А. Следовательно, А - формальная система А = <А, Я>, где Я -множество отношений (функциональных, бинарных, п-арных), определенных на А, порождаемых операциями (между операционными термами) и предикатами заданной сигнатуры, системными закономерностями и отношениями, свойственными А.
Однако здесь имеются и некоторые расхождения между языками алгебры и системологии. В алгебре бинарные отношения интерпретируются в контексте операций:
- как тождественные отношения двух элементов, порождающие тождества других элементов в аспекте операционных отношений:
- как отношения, порождаемые производные отношения (подмножества в А2) с учетом других отношений на А.
Эти отношения интересны в контексте конгруэнций и эндоморфизмов, порождаемых и индуцируемыми ими.
В системологии дело обстоит несколько другим образом: отождествление элементов часто не только не нужно, но и не всегда возможно (имеет смысл). Действительно, отождествление двух субъектов в социальной системе, устанавливающих между собою какие-либо отношения, будет, мягко говоря, не очень логично.
С другой стороны, открытая система может относиться к самому различному типу: быть более или менее формальной, иметь более или менее ярко выраженную семантику. Так, например, к открытым системам можно отнести компьютерную программу и базу данных (СУБД), которые всегда открыты для модификации и расширения. Поэтому формальную систему, представляющую открытую систему, в принципе всегда можно соотнести с АМС.
Любую АМС можно рассматривать как АФС, перенося обозначение закономерностей, определенных сигнатурой ее операций и предикатов во множество ее закономерностей X, т. е. рассматривать как <А, Т>, имея в виду множество отношений, порождаемых X. Более того, на языке АФС можно рассматривать системы, не вписывающиеся в рамки АМС.
Н а п р и м е р, поле в теории алгебр, которое относительно операций +, *, +-1, *-1 не является алгебраической системой, поскольку нет деления на 0. Но на языке АФС это система, определяемая как кольцо с тождественно истинными высказываниями VЗ-типа:
V(x, у, и) Зг (х*г = у л х*и = у ^ и = г).
Можно вообще поле не обозначать как множество с определяющими отношениями, записав все, что требуется на языке предикатов и высказываний:
V(x, у, и) Зг (Р(х, у, г) л (Р(х, у, и) ^ и = г).
Стоит отметить при этом, что с позиции теории алгебраических систем данные определения объекта как АМС и как АФС не эквивалентны: во втором случае нет наследственности относительно подсистем и гомоморфизмов (гомоморфных образов). То есть надо учитывать контекст, в котором осуществляется рассмотрение АМС.
Гомоморфизм и гомоморфные образы. Система -совокупность закономерно связанных между собою частей. Однако под содержанием системы мы подразумеваем не эти части, а совокупность ее элементов и отношений, выражающих ее закономерные связи. То есть системообразующие отношения - отношения, образующие архитектуру системы, иначе говоря, это концептуальные связи. При этом взаимосвязи между элементами системы могут выражаться на уровне другого множества закономерностей, являющихся следствием системообразующих отношений или их дополнением, получаемым на этапе развития системы. Это важно при определении свободных образов системы.
Каждая система должна иметь свободный образ, инвариантный при ее изменениях и развитии. Очевидно, что этот свободный инвариантный образ определяется системообразующими закономерностями системы, взаимосвязями между образующими ее частями. Как правило, эти части, имея самостоятельное значение, а следовательно, закономерную обусловленность, тоже являются системами - подсистемами со свойственными им закономерными отношениями. То есть открытая развивающаяся система - это система самостоятельных подсистем, образуемая на основании их внутренней и внешней взаимообусловленности, взаимосвязи, сбалансированности.
Состояние системы, определяемое множеством ее элементов и отношений в определенный момент времени и развития, является ее конкретным образом, а его структура - конкретным следствием (состоянием) архитектуры. Поскольку любой конкретный образ системы сохраняет ее системообразующие отношения, то формально можно говорить о гомоморфизме и рассматривать его как гомоморфный образ свободного образа системы. Хотя фактически это не совсем так, а возможно, и совсем не так:
- здесь, вообще говоря, другой состав элементов и отношений, поэтому говорить о сохранении отношений можно только на уровне преемственности;
- здесь речь можно вести не об отождествлении элементов на уровне их классификации (разбиение на классы эквивалентных элементов), а о расширении конгруэнций.
З а м е ч а н и е. Пусть А = <А, Р, Р. Т> - свободный образ системы с сигнатурой операций Р = {Р) и предикатов Р = {Р} и множеством определяющих отношений Т. Тогда существует конгруэнция р на А'= <А, Р, Р>, порожденная множеством Т. Тогда любое состояние этой системы представляется как В = <А, Р, Р. Я>, где Я
- множество отношений, порождаемое множеством закономерностей Т з Т и множеством отношений, выражающих его конкретику. Следовательно, существует конгруэнция т на А'= <А, Р, Р>, где т с Я.
При этом, если мы находимся в пределах класса алгебраических мальцевских систем (АМС), то множество Т и отношения «конкретики» - термы, образованные из элементов этих систем и функциональных символов заданной сигнатуры.
Осталось ответить на вопрос, каким должно быть множество Т? Ответ на это дает общая теория алгебраических мальцевских систем.
Система Р = Р(Х), определенная в сигнатуре алгебраических мальцевских систем, где X - произвольное множество - Р над множеством X - называется свобод-
ной в классе 3, если для любого взаимно однозначного отображения ц: X ^ А є 3, существует единственный такой гомоморфизм п Р ^ А, что ц = vn, где V: X ^ Р -вложение.
В частности, любая система класса 3 с множеством образующих X является эпиморфным образом свободной системы F(X).
В контексте системологии назовем систему F(X) свободным объектом.
Для того чтобы класс алгебраических систем Ж имел свободные образы, или свободные системы, он должен быть реплично полным:
Для каждой системы А сигнатуры {Р, Р} имеется такая система В класса Ж и такой гомоморфизм а: А ^ В, что для любого гомоморфизма ф: А ^ С є Ж существует гомоморфизм ^: В ^ С и ф = а^. Система В называется Ж-репликой для системы А.
Класс Ж является, в свою очередь, реплично полным тогда и только тогда, когда Ж - квазимногообразие или, в частности, многообразие.
Класс алгебраических систем называется казимно-гообразием, если он определяется множеством квазитождеств - замкнутых формул типа
V х1п (Р1(х1, ..., хп) ^ Р2(х1, хп)).
Класс алгебраических систем называется многообразием, если он определяется множеством тождеств -замкнутых формул типа
V х1п (Р1(х1, ..., хп).
Условие, конечно, строгое и вносит достаточно сильное ограничение на множество системообразующих отношений. Однако на концептуальном уровне определения системы или на уровне межсистемных (системно-подсистемных) связей предполагаются
именно тождественные и/или квазитождественные закономерности:
- отношения закономерной взаимосвязи образующих частей (подсистем) системы;
- принципы взаимодействия, распространяющиеся на все компоненты системы;
- законы, обязательные для каждого элемента системы.
Однако в случае квзимногообразия возникают проблемы с гомоморфными образами систем. В случае
класса алгебраических мальцевских систем, определяемых тождественными отношениями, порождаемыми символами элементов и сигнатуры, состояниями системы являются гомоморфные образы свободных объектов или других состояний этой системы, на которых выполняются эти (определяющие) тождественные отношения. Но если многообразие замкнуто относительно гомоморфных образов, то квазимногообразие - в общем случае нет: не все гомоморфные образы его элементов принадлежат ему.
Эту проблему можно устранить, если в качестве состояний системы рассматривать не гомоморфные образы ее свободного объекта, а аксиоматизируемые формальные системы В = <А, % р, т>, где А = <А Т, z> -свободный образ (свободный объект) системы, а т - конгруэнция, соответствующая гомоморфизму ф: А ^ С = А/т. Очевидно, что конгруэнция т как множество отношений содержит множество определяющих (системообразующих) отношений X. Следовательно, система В = <А, Т, т> является состоянием системы А
независимо от того, является ли ее состоянием система С.
Таким образом, только в случае многообразия алгебраических систем существует полное соответствие АМС и АФС, вернее, многообразия, определенного его абстрактным свободным объектом и множеством состояний этого объекта - множества его гомоморфных образов. Хотя, надо отметить, что не всегда нужна идентификация классов эквивалентности в качестве элементов другого (гомоморфного) объекта - не всегда допустимо отождествление элементов исходной системы. Поэтому в аспекте системологии алгебраические мальцевские системы целесообразнее рассматривать как АФС.
Однако и в АФС возможно отождествление каких-либо элементов, порождающее соответствующую конгруэнцию на ней. При этом, как показано выше, не всякий гомоморфный образ системы является ее состоянием. Для этого его необходимо привести в соответствие с множеством системообразующих отношений.
ЛИТЕРАТУРА
1. Клир Дж. Системология. М.: Радио и связь, 1990.
2. Мальцев А.И. Алгебраические системы. М.: Наука, 1970.
Поступила в редакцию 22 сентября 2005 г.
