하와이안 군의 구조와 다양한 위상공간에서의 거동 연구

초록

본 논문은 하와이안 군(Hawaiian group)의 정의를 확장하여, 곱공간, 약합(weak join), 원뿔공간, 피복공간 및 국소적으로 자명한 번들 등 여러 위상공간에서의 구조적 특성을 조사한다. 특히 차원 $m$ 하와이안 이어링(Hawaiian earring)의 $n$‑차 하와이안 군을 $1\le m\le n$ 범위에서 완전히 계산한다.

상세 분석

논문은 먼저 $n$‑차 하와이안 군 $ \mathcal H_n(X,x_0)$ 를 $ (H_n,\theta)$ 에서 $(X,x_0)$ 로의 연속 사상들의 점동형 동류군으로 정의하고, 이 함자를 공변함자임을 강조한다. 핵심 결과는 다음과 같다.

1. 아벨성 – $n\ge2$ 인 경우 $\mathcal H_n(X,x_0)$ 가 아벨 군임을 Lemma 2.2와 Theorem 2.3을 이용해 증명한다. 이는 각 구면 $S^n_k$ 위에서의 교환 동형이 존재하고, 그 교환 호모토피가 ‘null‑convergent’ 성질을 만족함을 이용한다.

2. 약곱 삽입 – Lemma 2.4 에서 $\prod_{i\in\mathbb N}\pi_n(X,x_0)$ 를 $\mathcal H_n(X,x_0)$ 안에 자연스럽게 삽입한다. 이는 유한 개만 비자명한 구면 사상으로 구성된 연속 사상을 이용한 구성이다.

3. 반국소 강수축성 – 정의 2.1 의 ‘semilocally strongly contractible’ 조건 하에 Theorem 2.5 가 성립한다. 이 경우 $\mathcal H_n(X,x_0)\cong\prod_{i\in\mathbb N}\pi_n(X,x_0)$ 로 완전히 결정된다. 증명은 포함 사상이 영동형을 갖는 열린 이웃을 선택하고, 충분히 큰 $k$ 에 대해 구면 사상이 그 이웃 안에 들어가게 함으로써 이루어진다.

4. 이미지와 $L_n$ – 정의 2.6 에서 $L_n(X,x_0)$ 를 ‘null‑convergent’ 하위집합으로 정의하고, Theorem 2.7 로 $\operatorname{Im}\varphi = L_n(X,x_0)$ 를 보인다. 이는 $\varphi$ 가 $ \mathcal H_n$ 에서 약곱으로 보내는 사상의 정확한 기술이다.

5. 약합에 대한 계산 – Theorem 2.9, 2.10 은 각각 ‘locally strongly contractible’ 이고 ‘first countable’ 인 공간들의 약합 $ \bigvee_{i\in\mathbb N}(X_i,x_i)$ 에 대해 $\mathcal H_n$ 를 $L_n$ 혹은 약곱의 이중 약곱 형태로 기술한다. 이는 각 성분이 충분히 작은 이웃으로 수축될 수 있음을 이용한다.

6. 원뿔공간 – 논문은 $C(X)$ 의 원뿔에서의 하와이안 군을 $ \mathcal H_n(C(X))\cong \mathcal H_n(X)/\prod_{i\in\mathbb N}\pi_n(X)$ 로 표현한다(정확한 정리는 본문에 서술).

7. 무한 차원 – 제3절에서는 $H_\infty$ 라는 무한 차원 하와이안 이어링을 정의하고, 유한 차원 결과를 그대로 확장한다. 특히 무한 차원 하와이안 군은 약곱 $\prod_{n\ge1}\mathcal H_n$ 로 표현될 수 있음을 제시한다.

전체적으로 저자는 기존 호모토피·동차군보다 더 미세한 국소 정보를 포착하는 하와이안 군의 계산 가능성을 보여준다. 특히 $m$‑차 이어링의 $n$‑차 하와이안 군을 $1\le m\le n$ 에 대해 완전히 구해, $\mathcal H_n(H_m)\cong\prod_{k\ge1}\pi_n(S^m)$ 로 나타낸다(구체적 동형은 논문에 상세히 기술). 이러한 결과는 전통적인 호모토피 이론이 놓치는 ‘무한 개의 작은 루프’ 현상을 정량화하는 데 유용하다.