� 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=Æ.