벡터 거리 공간에서의 연속성 연구

초록

본 논문은 벡터 거리 공간 위에서 정의되는 두 종류의 연속성, 즉 벡터 연속성과 위상 연속성을 도입하고, 이들 사이의 관계를 조사한다. 함수 공간을 구성하고, 벡터값 함수들의 기본적인 성질과 연장 정리를 제시함으로써 기존 실수값 연속성 이론을 일반화한다.

상세 분석

논문은 먼저 기존의 거리 공간 개념을 벡터값 거리 함수 d : X × X → E(정순 벡터 공간) 로 일반화한다. 여기서 E는 부분 순서가 정의된 실벡터 공간이며, d는 삼각 부등식과 비음성, 영점성 등을 만족한다. 이러한 구조를 ‘벡터 거리 공간’이라 명명하고, 전통적인 메트릭스페이스의 위상 구조가 E‑값 거리 함수에 의해 자연스럽게 유도됨을 보인다.

연속성에 대해서는 두 가지 정의를 제시한다. 첫 번째는 벡터 연속성(vectorial continuity)으로, 함수 f : X → Y(또는 Z) 가 임의의 ε ∈ E⁺에 대해 δ ∈ E⁺가 존재하여 d_X(x,x₀) ≺ δ이면 d_Y(f(x),f(x₀)) ≺ ε을 만족하는 것이다. 여기서 ‘≺’는 E의 순서 관계를 의미한다. 두 번째는 위상 연속성(topological continuity)으로, 기존 메트릭스페이스에서 정의되는 열린 집합 개념을 이용해, f⁻¹(U)가 X의 위상에서 열린 집합이 되도록 하는 것이다.

핵심 정리는 두 연속성 개념이 일반적으로 동치가 아니지만, E가 완전 순서 체이면서 추가적인 연속성 보조 조건(예: 순서 연속성, 완비성)을 만족하면 두 정의가 서로 동등함을 증명한다. 특히, E가 실수 공간 ℝⁿ에 순서 구조를 부여한 경우, 벡터 연속성은 위상 연속성보다 강한 조건이 되며, 이는 함수의 좌극한·우극한 개념을 다변량으로 확장하는 데 유용하다.

함수 공간 측면에서는 C_V(X,Y)라 두고, 이는 X에서 Y로의 모든 벡터 연속 함수들의 집합이다. 논문은 C_V(X,Y)에 자연스럽게 정의되는 벡터 거리 ‖f‑g‖ = sup_{x∈X} d_Y(f(x),g(x)) 를 이용해 완비성, 선형성, 대수적 구조 등을 조사한다. 특히, C_V(X,Y)가 완비 벡터 거리 공간이 되기 위한 충분조건으로 X가 완비이고 Y가 완비 벡터 거리 공간임을 제시한다.

연장 정리 부분에서는 벡터 연속 함수의 확장을 다룬다. 주어진 부분집합 A⊂X와 A 위에서 정의된 벡터 연속 함수 f : A→Y가, X 전체로 연속적으로 연장될 수 있는지에 대한 필요충분조건을 제시한다. 핵심 아이디어는 A가 X에서 벡터 폐쇄(vectorially closed) 혹은 위상 폐쇄(topologically closed)인 경우, 그리고 Y가 벡터 완비(vectorially complete)일 때 Hahn‑Banach‑type 연장 원리를 적용할 수 있다는 것이다. 이때 연장 함수는 동일한 벡터 연속성을 유지한다.

마지막으로, 논문은 기존 실수값 연속성 이론과의 비교를 통해 새로운 정의가 어떻게 기존 결과를 포함하거나 일반화하는지를 정리한다. 예를 들어, 실수값 거리 공간은 E=ℝ, 순서가 전통적인 ≤ 로 주어지므로, 벡터 연속성은 바로 전통적인 ε‑δ 연속성과 일치한다. 반면, 다차원 순서 공간에서는 새로운 형태의 연속성 개념이 필요함을 강조한다. 전체적으로, 이 연구는 벡터 거리 공간이라는 보다 풍부한 구조 위에서 연속성을 재정의하고, 함수 공간 이론과 연장 정리의 토대를 마련함으로써 향후 다변량 분석, 최적화 이론, 그리고 순서 구조를 갖는 함수해석 분야에 중요한 기여를 할 것으로 기대된다.