о ядерном топологическом пространстве

Dec 06, 2009 13:58

Ядерное топологическое пространство T -- топологическое пространство
с базой топологии K, состоящей из самого T и элементарных ядер, т.е. ядер,
не являющихся суммой других ядер и не входящих ни в какое другое элементарное
ядро, но могущих содержать другие ядра, также являющиеся элементами базы,
и граница каждого элементарного ядра не пуста:

T = T (K) и b(K)>0 для любого элементарного ядра K из K.

В T нет собственных открыто-замкнутых областей, т.е. оно
абсолютно связано, и все элементарные ядра обладают
одной общей элементарной границей B=b(K),
не пересекающуюся ни с каким ядром но
входящую в границу любой области.

Ядерное топологическое пространство представляет собой
сумму элементарных ядер и элементарной границы.

Ядро границы области, пересекающей некоторое элементарное ядро,
не входящее в ядро области, не пусто и содержит оное элементарное ядро.

пример.

Пусть
K={T, A1, A2, C} -- база топологии ядерного пространства T=A1+A2+B+C,
где A1, A2, C=C1+C2 -- элементарные ядра, B=B1+B2 -- элементарная граница,
S1=A1+B1+C1 -- область утверждения и S2=A2+B2+C2 -- область его отрицания.

Тогда
(S1) = A1 -- ядро утверждения S1, (S2) = A2 -- ядро утверждения S2,
[S1] = A1+B+C -- замыкание утверждения S1, [S2] = A2+B+C -- замыкание утверждения S2,
b(S1) = b(S2) = B+C -- граница, т.е. пересечение замыканий, (B+C) = C -- ядро границы,
[B+C] = B+C -- замыкание границы, b(B+C) = B -- граница границы.

Ядро утверждения -- область его необходимой истинности, включенная в его актуальную область.
Замыкание -- область его возможной истинности, включающая его актуальную область.
Граница -- область совместимости утверждения и его отрицания, обеспечивающая онтологическую внутреннюю связанность, препятствующую атомизации как онтологии, так и логики.

В примере третье ядро C поделено между утверждением S1 и его отрицанием S2 и поэтому не наблюдается, хотя, будучи ядром, является областью третьей необходимости. Например, третий путь.

ядра, Ядерное топологическое пространство, топология

Previous post Next post
Up