� 8 �����������
������ �������� �������� ��������
����� B=(X,P,B) - �������
���������,� �ÎX, aÎP. ���������
B(A,a)=ÈaÎA B(a,a),�
Int (A,a)={xÎX: B*(x,a)ÍA}.
ϳ�������� A ���������� �������, ���� ���� aÎP, ���� �� X=B(A,a).
ϳ�������� A ���������� �����, ���� ��������� X\B(A,a) ������ ���
����-����� aÎP.
ϳ�������� A ���������� ����������, ����
���������� Int(A,a) ������ ���
����-����� aÎP.
ϳ�������� A ���������� ������� �������, ����
���� bÎP, ���� �� ���������� Int(B(A,b),a) ��������� ��� ����-�����
aÎP.
���� 8.1. ����� B=(X,P,B) - �������
���������,� �ÎX, aÎP. ����
Int (X\A,a)=X\ B(A,a).
���������. ����� xÎInt(X\A,a). ���� B*(x,a)ÇA=Æï¿½ � xÏB(a,a) ��� ����-����� aÎA. ����, xÎ X\B(A,a).
������ xÎ X\B(A,a). ���� xÏB(a,a)� ��� ������� aÎA. ����, aÏB*(x,a) ��� �������� aÎA, �B*(x,a)ÍX\A�
�� xÎInt(X\A,a).
���� 8.2. ���� B=(X,P,B) -
��������������� ������� ��������� � ���������� B(A,a) ������� ��� ������� aÎP, �� ��������� A ��� ������.
���������. �������� bÎP ����, �� B(B(A,a),b)=X. �� ����������
����������������� ���������� g(a,b)ÎP, ���� �� B(B(A,a),b)Í B(A,g(a,b)). ����, B(A,g(a,b))=X.
������� 8.1. ��� �������
������� ���������� B=(X,P,B) � �������
���������� SÍX ��������
���������� 1, 2, 3 �����������. ���� �� ���� � B ���������������,
�� �� ������ ���������� �����������
1. S ����;
2. S �� ���������
������� �������;
3. X\S ���������;
4. (X\S)Ç L ������ ��� �����
������ ��������� LÍX.
���������. 1Þ2. ��� ������� aÎP �������� b(a)ÎP ���, ��
B(X\B(S,a), b(a))=X. ³������ ��������
������� xÎX �� �������� yÎX\B(S,a), ����� �� xÎB(y,b(a)). ��� yÎB*(x,b(a)) �� B*(x,b(a)) Ç (X\B(S,a) ¹ Æ. ����, Int(B(S,a),b(a))=Æ ï¿½ï¿½ S
�� � ������� �������.
2Þ3. ��� ������� aÎP ��������� b(a)ÎP, ���� �� Int(B(S,a),b(a))=Æ. ��� B*(x,b(a)) Ç (X\B(S,a) ¹ Æ ï¿½ï¿½ï¿½ ������� xÎX. �� ����� 8.1
B*(x, b(a)) Ç Int(X \ S,a) ¹ Æ
��� ������� xÎX. �������, X=B(Int(X\S,a), b(a)) � ��������� X\S ���������.
��������� 3Þ1. ��� ������� aÎP ��������� b(a)ÎP ���, �� B(Int(X\S,a), b(a))=X. �� ����� 8.1 B(X\B(S,a), b(a))=X. ����, ���������
S ����.
3Þ4. ��������� Y=X\S � ������� ������� ������
�������� L. �������� aÎP ���, �� X=B(L,a). ��� ������� xÎInt(Y,a) �������� y(x)ÎL, ����� �� xÎB(y(x),a), �����������, y(x)ÎB*(x,a). ��������� Y'={y(x): xÎInt(Y\a)} � �������, �� Y'ÍYÇL. ������� Int(Y\a)Í B(Y',a)�
� ��������� Int(Y\a) ������, �� B(Y',a) ������. �� �����
8.2 Y' ������. ������� Y'ÍYÇL, �� YÇL ������.
4Þ3. ��������� Y=X\S. ������� YÇX=Y � ��������� X ������, �� Y ��� ������. ��������� aÎP � ��������, �� ��������� Int(Y\a) ������. ��� �������
xÎY\Int(Y,a) �������� y(x)ÎB*(x,a)\Y. ��������� Y'={y(x): xÎY\Int(Y,a)}, L=Y'ÈInt(Y,a). �������, �� YÍ B(L,a). �������
��������� Y ������, �� ��������� B(L,a) ��� ������. ��
����� 8.2 ��������� L ������. ��
������ ��������� YÇL ������. ������� YÇL=Int(Y\a), �� ��������� Int(Y,a) ������.
������� 8.2. ����� B=(X,P,B)- ���������������
������� ���������. ���� ��������� X1,
X2, �, Xn ������� X
��������, �� ��������� X1Ç X2Ç ï¿½ÇXn� ��� ���������. ���� ��������� X1, X2, �, Xn
������� X ���, �� ��������� X1È X2È ï¿½ÈXn� ��� ����. ���� ������� ������ ��������� A ������� X ������� �� �������� ����� �������� A=A1ÈA2È�ÈAn, �� ���������
���� ��������� Ai
�������� ������� ������. �������, ������� X
�� ����� ������� �� �������� ����� ����� ��������.
���������. ³������ �������
������ ��������� L ������� X. � ������������� 3Þ4 ������� 8.1
�������, �� ��������� XnÇL ������. ������� (X1Ç X2Ç ï¿½ÇXn)ÇL=(X1Ç X2Ç ï¿½ÇXn-1)Ç(XnÇL), �� �� ��������
��������� (X1Ç X2Ç ï¿½ÇXn)ÇL ������. � ������������� 3Þ4 �������, ��
��������� X1Ç X2Ç ï¿½ÇXn ���������. �����
���������� ������� ������� � ������� � ������������� 1Þ3 ������� 8.1.
���� ���������� ������� � ������� � ������������� 1Þ2 ������� 8.1.
��������
��������� ������� � �������������. ѳ�'� Á ���������
������� X ���������� ��������, ����
(�) ÆÏÁ, XÎÁ;
(��) ���� FÎÁ � F ÍF' , �� F'ÎÁ ;
(���) ���� F1,F2,�, FnÎÁ , �� F1ÇF2Ç�ÇFnÎÁ .
������� ���
������� �� ���������� ������� X
�������� ������������ �� ����������. Գ����, ������������ ������� �����
�������, ���������� ��������������. ������������ ������� ������, ����� ������
����� ��������� �� �������������. ������� ������������� �����: ������ Á ���������
�������������� ��� � ����� ���, ���� ��� ����� ��������� AÍX ���������� ����
� ���� ���� AÎÁ, X\AÎÁ.
���
��������������� ������� ��������� B=(X,P,B) ��������� ����� j(B) ��'� ��� ���������� �������� �������
X. � ������� 8.2 �������, �� j(B) - ������.
������� 8.3. ����� B=(X,P,B) -
��������������� ������� ���������, y - ������������ ��
X, ��� j(B)Íy ��� � �����
���, ���� ����� ��������� AÎy ������� ������.
���������. ����������, �� j(B)Íy� � ������� ������� ��������� AÎy. ����������, �� A �� � ������� �������. ��
�������������� 1Û2 ������� 8.1
��������� � ����. �� ��������������
1Û3 ������� 8.1
��������� X\�� ���������. ����, X\� Îj(B) �� ���������� ��������� �������.
����������, ��
����� ��������� AÎy ������� ������,
��� j(B)Ëy . ³������
������� ��������� YÎj(B), YÏy. ������� y - ������������, X\AÎy. ��
�������������� 1Û3 ������� 8.1
��������� X\Y� ����, �� ���������� ������������� 1Û2 ������� 8.1.
��� �������
��������� B=(X,P,B) ��������� ����� ���'� ���
������� �������� ������� X.
ϳ�������� AÍX ����������
-�������, ���� AÇL¹Æ ��� ����� ������ ��������� L. ������� ��������� B ���������� w-����������, ���� X ����� ������� �� ������� �����
- ������� ��������.
������� 8.4. ����� B=(X,P,B) - �������
���������. ����������, �� ������� ����������� ������ ������������
������������ <an>nÎw �������� �������
P � ������������ <xn>nÎw� �������� ������� X, ��� �� ��'� ���� {B*(xn,an): nÎw} ���'������. ���
������� ��������� B w-���������.
���������. ����'��� �������
w �� ������� ����� �����������
�������� w=ÈkÎwWk. ������ �������, �� ��������� Ak=B*(xn, an) �
-������� ��� ������� kÎw. ³������
������� ������ ��������� LÍX � �������� aÎP ���, �� X=B(L,a) . �������� nÎWk, ��� ����� an >a. ������� X=B(L,an), �� xn ÎB(L,an) � B*(xn,an)ÇL¹Æ. ����, LÇAk¹Æ.
������� 8.5. ����� B=(X,P,B) - �������
���������, ���� �� ������� X
���������� � ��� B(x,a), B*(x,a) �������� ���
��� xÎX, aÎP. ���� ����
����������� ������ ������������ ������������ <an>nÎw �������� �������
P, �� ������� ��������� B w-���������.
���������. ��� ����, ���
������������ �������� 8.4 �������� ���������� ������������ <xn>nÎw �������� �������
X, ��� ��� ��'� ���� {B*(xn,an): nÎw } ���'������. �������� �������� �������
x0ÎX. ����������, �� ��� ��������� ��������
x0, x1, �, xn
���, �� ��� B*(x0,a0), B*(x1,a1), �, B*(xn,an) ������� ��
�������������. ��������� Y= B*(x0,a0)È B*(x1,a1)È ï¿½È B*(xn,an). �� ������
������� ��������� B(Y,an+1) ��������.
�������� �������� ������� xn+1ÎX\B(Y,an+1). ��� B*(xn+1,an+1)ÇY=Æ.