az118 (az118) wrote,
az118
az118

Categories:

Топология и логика - 2009

Пусть T - топ.пространство, A - его область, -A = T-A - дополнение области A,
k(A) - ядро области A, c(A) - замыкание области A, b(A) - граница области A,
g_in(A) - внутренняя грань области A, g_ex(A) - внешняя грань области A.

Область открыта, если, и только если, она совпадает со своим ядром.
Область замкнута, если, и только если, она совпадает со своим замыканием.
Граница любой области замкнута.

Ядра обеих граней любой области пусты: k(g_in(A)) = k(g_ex(A)) = 0.
Но ядро границы может быть непустым: k(b(A)) >= 0.
В общем, k(A+B) >= k(A)+k(B).

Операторы ядра и замыкания дуальны,  c(-A) = -k(A),
также как пустая область 0 и само топ.пространство T,
полностью определяемое одним из операторов с аксиомами
k(k(A)) = k(A); k(A*B) = k(A)*k(B); k(A+B) >= k(A)+k(B); k(0) = 0k(T) = T; k(A) <= A  для ядра и
c(c(A)) = c(A); c(A+B) = c(A)+c(B); c(A*B) <= c(A)*c(B); c(0) = 0; c(T) = TA <= c(A) для замыкания.
Если область открыто-замкнута, данные операторы тождественны.

Тогда T = k(A) + b(A) + k(-A) = c(A) + k(-A) = k(A) + c(-A); 
b
(A) = b(-A) = g_in(A) + g_ex(A) = c(A)*c(-A);  g_in(A) = g_ex(-A);  g_ex(A) = g_in(-A);
A = k(A) + g_in(A);  c(A) = A + g_ex(A) = k(A) + b(A); c(-A) = -k(A);
k(k(A)) = k(A); k(A*B) = k(A)*k(B); k(A+B) >= k(A)+k(B); c(0) = k(0) = 0;
c(c(A)) = c(A); c(A+B) = c(A)+c(B); c(A*B) <= c(A)*c(B); c(T) = k(T) = T;
k(A) <= A <= c(A).

Стало быть, в общем случае топология разбивает топ.пространство
относительно произвольной области A на три непересекающиеся области:
- ядро k(A) - твердое (необходимость) утверждение A,
- ядро дополнения k(-A) - твердое (необходимость) отрицание -A и
- границу b(A) - пересечение замыканий - возможность и утверждения, и отрицания.
Замыкания c(A) и c(-A) суть возможности утверждения и отрицания.

Основной закон: c(-A) = -k(A) - возможность отрицания есть отрицание необходимости.
Обратный закон: -c(A) = k(-A) - отрицание возможности есть необходимость отрицания.

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

Если все границы пусты, логика становится 2-значной,
возможность всегда совпадает с необходимостью, всякая область
совпадает со своими ядром и замыканием, т.е. открыта-замкнута, и
пространство распадается на свои  элементы, т.е. абсолютно несвязанно.
Основной и обратный законы становятся одной тавтологией.
Что полностью соответствует идеалу Аристотеля.
и куда падает современность.

добавление:
Окрестность области A - область, ядро которой содержит область A:
если G - окрестность области A, то  A <= k(G) <= G.

Пограничная область области A - подобласть границы области A.

Любая окрестность пограничной области B области A пересекает область A и ее дополнение -A.
Действительно, если G - окрестность области B, то ядро k(G) пересекает обе грани области A, т.к. в противном случае ядро k(G) вместе с B должно было бы целиком находиться либо в k(A), либо в k(-A), что противоречит пограничности B. Стало быть, k(G) пересекает область A и ее дополнение -A.

Надядро sk(A) области A  - минимальная окрестность области A: A <= k(sk(A)) = sk(A)

замечание:
Топология и логика всегда опираются на пространство
с булевой алгеброй, которая, в свою очередь, является
дистрибутивной MV-алгеброй. Логический вывод есть движение
от посылок к следствию в логическом пространстве.
Интуиция же есть не "ползание" по его тропам,
но "визуальное" восприятие его горизонтов.
иногда с высоты орлиного полета.


Забвение Бытия у Аристотеля

Tags: Аристотель, границы, логика, математика, топология, число
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 29 comments