Abstract
Stone introduced extremally disconnected spaces as the image of complete Boolean algebras under his famous duality between Bool and ZComp and they turn out to be projective objects in various categories of Hausdorff spaces and completely regular ones are exactly those X with Dedekind complete C(X, ). In the pointfree setting, extremally disconnected frame (= De Morgan frame) are those with De Morgan condition. In this paper, we investigate a historical aspect of De Morgan frame together with that of De Morgan.
스톤은 스톤 쌍대성에 의하여 완비 불 대수는 극단적으로 비연결인 콤팩트 하우스도르프 공간에 대응되어 불 대수의 범주 Bool에서 단사 대상은 완비 불 대수인 사실에 의하여 0차원 콤팩트 공간의 범주 ZComp의 사영 대상은 극단적으로 비연결인 콤팩트 공간임을 증명하였고, 완전 정규 공간 X가 극단적인 비연결 공간이기 위한 필요충분조건은 X에서 실직선로의 연속함수의 순서집합 C(X, )이 데데킨트 완비인 사실[6]이 드모르간 틀에서도 성립함을 증명하였다[2]. 이 논문에서는 드 모르간의 역사를 조사하고, 드모르간 틀을 도입하여 극단적인 비연결 공간과의 관계와 드 모르간 틀과 불 대수 사이의 관계를 연구한다.
