[논문 리뷰] Non-productive duality properties of topological groups

Masasi Higasikawa|ArXiv.org|2001. 06. 13.

Advanced Topology and Set Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 N. 노블의 주장, 즉 위상군의 임의의 곱에서 이중성 성질 X(1)과 X(2)—'모든 닫힌 부분군은 이중적으로 닫혀 있다'와 '모든 닫힌 부분군은 이중적으로 임bedded되어 있다'—이 보존된다는 것을 반박한다. 2^n과 3^n이 0으로 수렴하도록 하는 위상으로 장착된 정수의 덧셈군을 사용하여, 반례를 구성한다: 각 인수는 두 성질을 모두 만족하지만, 그 곱은 둘 다 실패한다. 이는 지수 디오판틴 방정식의 유한성 결과를 활용하여 대각선 부분군이 닫혀 있고 이산적임을 증명하는 데 의존한다.

ABSTRACT

We address two properties for Abelian topological groups: ``every closed subgroup is dually closed'' and ``every closed subgroup is dually embedded.'' We exhibit a pair of topological groups such that each has both of the properties and the product has neither, which refutes a remark of N. Noble. These examples are the additive group of integers topologized with respect to a convergent sequence as investigated by E.G. Zelenyuk and I.V. Protasov. The proof for the product relies on a theorem on exponential Diophantine equations.

연구 동기 및 목표

• N. 노블이 널리 인용되었지만 잘못된 주장, 즉 이중성 성질 X(1)과 X(2)가 위상군의 임의의 곱에서 보존된다는 것을 도전한다.
• 두 위상군 각각이 X(1)과 X(2)를 만족하지만 그 곱이 만족하지 않는 명시적 반례를 구성한다.
• Z{2^n} × Z{3^n}의 곱에서 대각선 부분군이 닫혀 있고 이산적임을 입증하여 이중성 성질의 실패에 핵심적인 역할을 한다.
• 지수 디오판틴 방정식의 결과를 적용하여 곱 위상군의 위상적 구조에 필요한 유한성 조건을 증명한다.
• S-단위 방정식에서 유도된 철저히 구성된 노름의 가족을 사용하여 반례를 메트릭 공간으로 확장한다.

제안 방법

• Z{p^n}을 p^n → 0이 되는 가장 강력한 군 위상으로 정의하며, 호모모르피즘의 연속성에 대한 보편 성질을 사용한다.
• Zelenyuk과 Protasov의 닫힌 부분군 및 Z{p^n}의 특징에 대한 특성화를 사용하여 각 인수가 X(1)과 X(2)를 만족함을 확인한다.
• S-단위 방정식의 유한성 정리(시겔의 정리의 특수한 경우)를 적용하여, 비영인 부분합 조건이 만족될 때 정수를 ±p^{m_i}와 ±q^{n_j}의 합으로 표현할 수 있는 경우가 유한개임을 보인다.
• 비감소 함수 δ를 {p^n}에 정의하여 Z 위에 노름 ||·||_δ를 구성하고, p-진 위상과 가장 강력한 위상 사이의 메트릭 위상으로 엄밀히 더 강한 위상을 정의한다.
• p^n ∈ F(p,q,s)를 만족하는 최소의 s에 기반하여 δ(p^n)과 ε(q^n)을 정의하여, 혼합 표현을 가진 0이 아닌 u에 대해 ||u||_δ ≥ 1 및 ||u||_ε ≥ 1임을 보장한다.
• S-단위 해의 유한성에 기반하여, Z_δ × Z_ε에서 대각선이 이산적임을 보이기 위해, 0이 아닌 u가 동시에 ||u||_δ < 1 및 ||u||_ε < 1을 만족할 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 위상군의 임의의 곱에서 '모든 닫힌 부분군은 이중적으로 닫혀 있다'(X(1)) 성질이 유지되는가?
• RQ2 위상군의 임의의 곱에서 '모든 닫힌 부분군은 이중적으로 임bedded되어 있다'(X(2)) 성질이 유지되는가?
• RQ3 두 위상군 각각이 아벨이자 하우스도르프일 때, X(1)과 X(2)를 만족하지만 그 곱이 어느 하나도 만족하지 않는 경우가 존재하는가?
• RQ4 지수 디오판틴 방정식은 이러한 군의 곱의 위상적 구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 메트릭 공간으로 확장된 반례를 구성하여 이중성 성질의 보존이 성립하지 않음을 입증할 수 있는가?

주요 결과

• Z{2^n} × Z{3^n}의 곱은 각 인수가 X(1)과 X(2)를 만족하지만, 그 곱은 둘 다 실패하므로 노블의 주장을 반박한다.
• 대각선 부분군 Δ = {⟨u,u⟩ : u ∈ Z}는 Z{2^n} × Z{3^n}에서 닫혀 있고 이산적이다. 이는 이중성 실패를 증명하는 데 핵심적인 단계이다.
• 증명은 S-단위 방정식의 유한성 결과에 기반한다: 비영인 부분합 조건을 만족하는 ∑ e_i p^{m_i} = ∑ f_j q^{n_j}의 해가 유한개임을 보여준다.
• 메트릭 구성에서 혼합 표현을 가진 모든 0이 아닌 u에 대해 ||u||_δ ≥ 1 및 ||u||_ε ≥ 1임을 보장하여, Z_δ × Z_ε에서 대각선이 이산적임을 확보한다.
• 반례는 메트릭 공간으로 확장 가능하다: δ와 ε가 충분히 천천히 감소하도록 구성된 Z_δ × Z_ε 역시 X(1)과 X(2)를 모두 실패한다.
• 군 Z{p^n}은 프레셰-우리소프 공간이 아니며 메트릭화 가능하지 않지만, 메트릭 변형 Z_δ는 Z{p^n}과 동일한 닫힌 부분군과 특징을 유지한다.