폐볼록집합 공간의 위상 완전 분류

본 논문은 Banach 공간 X 위에 정의된 비공집합 폐볼록집합들의 집합 Conv_H(X)에 Hausdorff 거리 d_H를 부여해 하이퍼메트릭 공간으로 만든 뒤, 그 연결 성분들의 위상을 완전히 분류한다. 논문의 흐름은 다음과 같다. 1. **서론 및 기본 정의** - Conv_H(X)를 Hausdorff 거리로 위상화하고, 이를 “균등 위상”이라 부른다. - 하이퍼메트릭 개념을 도입해 거리값이 무한인 경우도 허용한다. - 연결 성분은 두 집합 사이의 거리 d_H가 유한인 경우에만 같은 성분에 속한다는 사실을 관찰한다. 2. **기본 성질 및 임베딩** - Canonical representation δ:C↦δ_C∈\overline{l}_∞(S^*) (S^*는 X^*의 단위 구) 를 정의하고, 이것이 등거리 삽입임을 증명한다. - 이를 통해 Conv_H(X)의 하이퍼메트릭 구조를 l_∞(S^*) 안에서 명시적으로 다룰 수 있다. 3. **연결 성분의 기하학적 구분** - 각 연결 성분 H가 포함하는 특정 기하학적 객체(전체 공간, 반공간, 코디멘션 1·2·≥2인 선형 부분공간, 다면체 볼록집합 등)에 따라 여섯 가지 표준 위상 중 하나와 동형임을 보인다. - 구체적인 조건은 다음과 같다. (1) H가 X 전체를 포함 → H≅{0}. (2) H가 반공간을 포함 → H≅ℝ. (3) H가 코디멘션 1인 선형 부분공간을 포함 → H≅ℝ×