[논문 리뷰] Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras

Jan Paseka, Zdenka Riečanová외 1명|arXiv (Cornell University)|2009. 08. 24.

Advanced Algebra and Logic참고 문헌 19인용 수 7

한 줄 요약

이 논문은 아르키메데스 성질을 가진 원자적 격자 효과 대수에서 구간 위상이 하우스도르프일 조건을 규명하며, 이는 원자 집합이 거의 직교적일 때에 해당한다. 이 경우 완비인 경우 순서 연속성과 구간 위상 및 순서 위상의 위상적 일치가 성립한다. 또한 블록 유한한 대수에서는 거의 직교성과 s-콤팩트 생성이 동치임을 증명하며, 이는 상태 흐림 정리와 두 위상에서 ⊕-연산의 연속성을 가능하게 한다.

ABSTRACT

We prove that the interval topology of an Archimedean atomic lattice effect algebra $E$ is Hausdorff whenever the set of all atoms of $E$ is almost orthogonal. In such a case $E$ is order continuous. If moreover $E$ is complete then order convergence of nets of elements of $E$ is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on $E$ corresponding to compact and cocompact elements. For block-finite Archimedean atomic lattice effect algebras the equivalence of almost orthogonality and s-compact generation is shown. As the main application we obtain the state smearing theorem for these effect algebras, as well as the continuity of $\oplus$-operation in the order and interval topologies on them.

연구 동기 및 목표

• 아르키메데스 성질을 가진 원자적 격자 효과 대수에서의 구간 위상이 하우스도르프일 조건을 규명하기 위해.
• 블록 유한한 효과 대수에서 거의 직교성, s-콤팩트 생성 및 위상적 성질 간의 관계를 조사하기 위해.
• 완비 효과 대수에서 순서 수렴이 위상 수렴과 일치하는 조건을 설정하기 위해.
• 거의 직교적이고 블록 유한하며 아르키메데스 성질을 가진 원자적 격자 효과 대수에서 상태 흐림 정리를 증명하기 위해.
• 이러한 구조에서 ⊕-연산이 구간 위상과 순서 위상 양쪽 모두에서 연속임을 보여주기 위해.

제안 방법

• 블록 유한한 아르키메데스 성질을 가진 원자적 격자 효과 대수를 완비 효과 대수로 확장하기 위해 맥내일 완비화를 활용하기 위해.
• 프링의 정리를 적용하여 구간 위상의 콤팩트성과 격자의 완비성 간의 관계를 규명하기 위해.
• 위상적 분리가 보장되도록 원자 집합에 대한 조건으로 거의 직교성을 정의하기 위해.
• 유계 집합에서 유한 부분커버가 존재하는 원소로 s-콤팩트 원소를 정의하고, 이를 통해 s-콤팩트 생성을 가능하게 하기 위해.
• E를 그 맥내일 완비화 MC(E)에 통합함으로써 위상적 및 순서 이론적 성질을 이전하기 위해.
• 기존의 (o)-연속 상태 및 그 확장에 관한 결과를 활용하여 상태 흐림 정리를 증명하기 위해.

실험 결과

연구 질문

• RQ1 아르키메데스 성질을 가진 원자적 격자 효과 대수에서의 구간 위상이 하우스도르프일 조건은 무엇인가?
• RQ2 블록 유한한 아르키메데스 성질을 가진 원자적 격자 효과 대수에서 거의 직교성과 s-콤팩트 생성은 어떻게 관련되어 있는가?
• RQ3 이러한 효과 대수에서 순서 수렴이 위상 수렴과 일치하는 경우는 언제인가?
• RQ4 효과 대수의 유한 부분에서의 (o)-연속 상태는 전체 대수로 확장될 수 있는가?
• RQ5 이러한 효과 대수에서 ⊕-연산은 구간 위상과 순서 위상 양쪽 모두에서 연속적인가?

주요 결과

• 아르키메데스 성질을 가진 원자적 격자 효과 대수에서의 구간 위상은 원자 집합이 거의 직교적일 때에만 하우스도르프이다.
• 이 경우 대수는 순서 연속적이며, 완비일 경우 구간 위상과 순서 위상은 일치하며, 둘 다 콤팩트 하우스도르프 위상이 된다.
• 완비 효과 대수에서는, 콤팩트 및 코콤팩트 원소를 기반으로 한 분리 성질을 가진 함수의 가족에 의해 유도되는 균일성과 위상이 호환된다.
• 블록 유한한 아르키메데스 성질을 가진 원자적 격자 효과 대수에서, 거의 직교성은 유한 원소에 의한 s-콤팩트 생성과 동치이다.
• 상태 흐림 정리가 성립한다: 유한 부분 E₁에서의 모든 (o)-연속 상태는 전체 대수 E와 그 맥내일 완비화에서 (o)-연속 상태로 확장된다.
• 이러한 효과 대수에서 ⊕-연산은 맥내일 완비화에서의 수렴을 통해, 구간 위상과 순서 위상 양쪽 모두에서 연속적이다.