하트만 마이셀스키 함수를 기반으로 한 모나드는 존재하지 않는다

초록

본 논문은 Radul이 정의한 정규함자 H가 Hartman‑Mycielski 구성 HM의 함수적 컴팩트화임을 보여준 뒤, 이 H에 대해 모나드 구조를 부여하려는 시도가 불가능함을 증명한다. 구체적으로 단위와 곱연산을 동시에 만족시키는 자연 변환이 존재하지 않음을 논증한다.

상세 분석

논문은 먼저 Hartman‑Mycielski(HM) 구성을 복습하고, Radul이 제시한 정규함자 H를 정의한다. H는 각 위상공간 X에 대해 연속함수 C(X)의 유한합을 이용해 HM(X) 를 컴팩트화한 결과물이며, 연속 사상에 대해 자연스럽게 작용한다. 저자는 H가 정규함자임을 확인한 뒤, 모나드 구조를 만들기 위한 두 핵심 자연 변환, 즉 단위 η: Id ⇒ H와 곱연산 μ: H² ⇒ H의 존재 가능성을 검토한다.

단위 η는 각 점 x∈X를 H(X) 의 “정규화된” 점으로 보내는 전형적인 삽입으로 기대되지만, 논문은 η가 연속성을 유지하면서도 H의 정의와 충돌하지 않음을 보인다. 반면, 곱연산 μ는 H(H(X)) 의 원소를 다시 H(X) 에 매핑해야 하는데, 여기서 핵심적인 장애가 발생한다. 저자는 H(H(X)) 의 원소를 두 단계의 HM‑구성으로 해석하고, 이를 단일 HM‑구성으로 축소하려면 특정 동치 관계가 보존되어야 함을 지적한다. 그러나 H가 정의된 방식(특히 유한합과 정규성 조건) 때문에 이러한 동치 관계를 만족시키는 연속적인 사상이 존재하지 않음이 증명된다.

구체적인 반증은 X를 단일 점이 아닌 두 점을 가진 이산공간으로 잡고, H(H(X)) 에 존재하는 “교차” 형태의 원소를 구성한다. 이 원소는 어느 방향으로도 μ에 의해 일관되게 압축될 수 없으며, 결과적으로 μ가 자연 변환이면서 연속성을 유지하는 것이 불가능함을 보여준다. 이와 같은 반례는 일반적인 위상공간에 대해 동일하게 적용될 수 있음을 논문은 일반화한다.

따라서 논문은 H가 단위 η는 가질 수 있으나, 곱연산 μ를 동시에 정의할 수 없으므로 H 위에 모나드 구조를 부여할 수 없다는 결론에 도달한다. 이는 Hartman‑Mycielski 구성을 컴팩트화한 정규함자에 대해 모나드 이론을 적용하려는 기존 시도에 중요한 제한을 제공한다.