비대칭 모듈러 의사거리와 방향성 위상

초록

본 논문은 대칭성을 포기한 모듈러 의사거리 구조를 연구한다. 각 공간에 대해 전방·후방 두 개의 quasi‑uniformity와 그에 대응하는 좌·우 위상을 정의하고, 수렴·완비·전역 유계·콤팩트성의 방향성 개념을 도입한다. 이러한 성질들은 대칭화(시밀러화) 과정에서 보존되지 않으며, 특히 전방 완비와 후방 완비가 서로 다를 수 있고, 시밀러화된 균일 구조가 콤팩트하더라도 방향성 콤팩트성은 성립하지 않는다. 또한 풍부 범주 이론을 이용해 시밀러화가 대칭 풍부 범주를 만들고, 그 코시 완비가 전통적인 균일 완비와 일치함을 보이면서도 방향성 개념은 이 수준에서 사라진다.

상세 분석

논문은 먼저 기존의 대칭 모듈러(metric) 구조를 요약하고, 이를 비대칭으로 일반화하는 quasi‑modular pseudometric을 정의한다. 핵심은 세 가지 조건(QM1‑QM3)으로, (QM1)에서 자기거리 0을 보장하고, (QM2)에서 모듈러 삼각 부등식을 유지하면서 λ, µ에 따라 스케일이 가중된 비대칭 거리 wλ(x,y)를 허용한다. (QM3)은 λ에 대한 비증가성과 오른쪽 연속성을 요구해 스케일 파라미터가 미세해질수록 거리가 커지는 직관을 반영한다.

이 구조에서 전방과 후방 각각에 대해 기본 엔투라지를 V⁺(λ,ε)와 V⁻(λ,ε)로 정의하고, 이를 통해 두 개의 quasi‑uniformity를 만든다. 전방 quasi‑uniformity는 (x,y)쌍이 wλ(x,y)<ε인 경우를, 후방은 wλ(y,x)<ε인 경우를 포함한다. 이러한 비대칭 엔투라지는 전통적인 균일 공간의 대칭 엔투라지와 달리 합성성에서 t‑컨섬(⊕)을 이용해 작은 r′<r을 찾아 V⁺·V⁺⊆V⁺를 만족시킨다. 결과적으로 전방·후방 각각이 독립적인 위상 τ⁺와 τ⁻를 유도하며, 두 위상의 합집합(조인) τ⁺∨τ⁻가 시밀러화된 대칭 위상 τ(sym)와 일치한다는 사실을 증명한다.

시밀러화 과정은 w_sym(λ)(x,y)=max{wλ(x,y), wλ(y,x)} 혹은 ⊕ 연산을 이용한 합성으로 정의된다. 이때 전방·후방 구조가 모두 보존되는 경우에만 w_sym이 원래의 비대칭 정보를 완전히 담는다. 논문은 여러 예시(예: d/λ 형태의 전통적 모듈러, quasi‑pseudometric을 변형한 경우)를 통해 전방·후방 위상이 실제로 서로 다를 수 있음을 보여준다.

다음으로 방향성 수렴과 완비 개념을 도입한다. 전방 수렴은 (x_n)에서 어떤 x에 대해 ∀λ,ε∃N s.t. ∀n≥N, wλ(x_n,x)<ε인 경우이며, 후방 수렴은 wλ(x,x_n)<ε를 요구한다. 전방 코시열은 전방 엔투라지 안에서 점점 작은 엔투라지 쌍을 찾을 수 있음을 의미한다. 중요한 결과는 전방 완비와 후방 완비가 일반적으로 일치하지 않으며, 심지어 한쪽만 만족하고 다른 쪽은 실패하는 공간이 존재한다는 점이다. 이는 대칭화된 균일 공간이 코시 완비라 하더라도, 원래 비대칭 구조에서는 완비가 깨질 수 있음을 시사한다.

전역 유계와 콤팩트성에 대해서도 전방·후방 전전압(pre‑compact) 개념을 정의한다. 전방 전전압은 모든 엔투라지 V⁺(λ,ε)에 대해 유한한 점 집합 F가 존재해 X⊆⋃_{x∈F}V⁺