위상 및 이위상 유니세미그룹 연구

초록

위상 세미그룹에 좌·우 단위 연산을 연속적으로 부여하고, 이 연산이 ‘디연속성’이라는 연산적 나눗셈 성질을 만족하는 구조를 ‘(이)위상 유니세미그룹’이라 정의한다. 논문은 이 클래스가 위상군, 위상 반군, 균등가능 위상 유니드‑세미그룹, 콤팩트 위상 유니세미그룹 등을 모두 포함함을 보이며, 부분유니세미그룹, 티히노프 곱, 축소곱, 반직접곱, 하트만‑미첼스키 확장 등 여러 표준 연산에 대해 닫혀 있음을 증명한다.

상세 분석

본 논문은 기존 위상 대수학에서 세미그룹에 추가적인 일원 연산을 도입함으로써 새로운 구조인 (이)위상 유니세미그룹을 제시한다. 정의에 따르면, 위상 세미그룹 (S)에 두 개의 연속 단항 연산 (\lambda:S\to S) (좌단위)와 (\rho:S\to S) (우단위)가 존재하고, 각각이 ‘디연속성(dicontinuity)’이라 불리는 특수한 연속 나눗셈 성질을 만족한다. 구체적으로, (\lambda(x))는 (x)의 왼쪽 항등원 역할을 하며, (\lambda(x)\cdot y = y)가 성립하고, (\lambda)가 디연속이면 임의의 열린 집합 (U)에 대해 (\lambda^{-1}(U))가 (U)와 같은 형태의 ‘분할’을 유지한다. 우단위 (\rho)도 대칭적인 성질을 갖는다. 이러한 조건은 일반적인 위상군에서의 역원 연산과 유사하지만, 역원 대신에 좌·우 단위와 그에 대응하는 ‘분할 연산’이 존재함을 허용한다.

논문은 먼저 이 구조가 기존의 여러 위상 대수 구조를 포괄함을 보인다. 위상군은 각 원소가 양쪽 모두 역원을 가지므로, (\lambda(x)=x^{-1}= \rho(x)) 로 정의하면 디연속성이 자동으로 만족한다. 위상 반군(semilattice)에서는 곱이 교환적이며 각 원소가 자체가 좌·우 단위가 되므로 (\lambda=\rho=\operatorname{id}) 로 두어도 된다. 균등가능 위상 유니드‑세미그룹은 기존 연구에서 ‘유니드’ 연산이 연속이고, 균등 구조가 존재함을 이용해 디연속성을 검증한다. 콤팩트 위상 유니세미그룹의 경우, 콤팩트성으로 인해 연속 사상이 자동으로 디연속성을 만족한다는 보조 정리가 활용된다.

다음으로 구조적 폐쇄성을 조사한다. 부분유니세미그룹에 대해서는 제한 연산이 여전히 연속이며 디연속성을 보존함을 보인다. 티히노프 곱에서는 각 성분의 (\lambda,\rho)를 좌·우 좌표별로 적용하고, 곱 위상에서 연속성과 디연속성이 성분별로 유지되는 점을 이용한다. 축소곱(reduced product)과 반직접곱(semi‑direct product)에서는 작용군의 연속성 및 작용이 디연속성을 파괴하지 않도록 적절한 연산 정의를 제시한다. 특히 반직접곱에서는 작용이 연속이고, 작용 전후에 좌·우 단위 연산이 교환되는 조건을 추가함으로써 전체 구조가 (이)위상 유니세미그룹이 된다.

마지막으로 하트만‑미첼스키 확장은 기존 위상군 이론에서 중요한 도구인데, 이를 (이)위상 유니세미그룹에 그대로 적용할 수 있음을 증명한다. 이 확장은 임의의 위상 공간을 ‘연속 함수 공간’으로 끌어올리면서도 원래의 단위 연산을 보존한다는 점에서 유용하다. 전체적으로 논문은 새로운 대수적-위상적 개념을 정의하고, 풍부한 예시와 폐쇄성 결과를 통해 이 클래스가 충분히 넓고 강력함을 보여준다.