위상벡터공간 위의 페아노 곡선과 대규모 대수구조

초록

페아노 곡선의 존재를 이용해 실수선에서 유클리드 공간 및 일반적인 위상벡터공간으로의 연속 전사함수를 구성하고, 이러한 함수 집합의 선형·대수적 구조를 조사한다. 특히 복소값 경우에 강한 알제브라성(강알제브라가능성)을 보이며, σ‑페아노 공간이라는 개념을 도입해 실수선의 연속 이미지가 되는 모든 위상벡터공간에 대해 최대 차원의 선형 부분공간이 존재함을 증명한다.

상세 분석

본 논문은 페아노 곡선(연속적으로 구간을 정사각형에 매핑하는 전사함수)의 존재를 출발점으로 삼아, 연속 전사함수들의 집합에 내재된 선형성(lineability)과 대수성(algebrability)을 현대적인 관점에서 체계적으로 탐구한다. 먼저, 기존 연구에서 다루어진 ‘전역 전사함수(ES, SES, PES, J)’와 달리 연속성을 요구함으로써 함수들의 구조가 크게 제한되는 점을 지적한다. 그 후, Hahn‑Mazurkiewicz 정리를 이용해 페아노 공간을 “연속 이미지가 되는 컴팩트·연결·국소연결·2차 가산” 공간으로 정의하고, 이를 바탕으로 σ‑페아노 공간이라는 새로운 개념을 제시한다. σ‑페아노 공간은 증가하는 페아노 부분공간들의 합으로 이루어진 위상공간이며, 이러한 공간은 실수선 ℝ의 연속 전사함수가 존재함을 의미한다(정리 3.2).

유클리드 경우에서는 기존에 알려진 ℝ^m→ℝ^n 전사함수들의 최대 선형성(maximal lineability)과 밀집 선형성(maximal dense‑lineability)을 확장한다. 특히 복소값 함수군 C(ℝ^m,ℂ^n)에 대해, 각 값 a∈ℂ^n가 무한히 많은 점에서 취해지는 연속 전사함수 집합 C S^∞(ℝ^m,ℂ^n)이 ‘강하게 c‑알제브라가능(strongly c‑algebrable)’함을 보인다(정리 2.5). 이를 위해 전체 함수의 성장 차수(order)를 이용한 새로운 보조정리(보조정리 2.4)를 증명한다. 보조정리에서는 서로 다른 차수를 가진 전체 함수 f₁,…,f_M에 대해 다변수 다항식 P를 적용했을 때, 결과 함수의 차수가 P에 실제로 등장하는 변수들의 차수 중 최댓값과 일치함을 보이며, 이는 자유 대수 생성자를 구성하는 데 핵심적인 역할을 한다.

σ‑페아노 공간에 대한 논의에서는, 위상벡터공간 X가 σ‑페아노이면 C S^∞(ℝ^m,X) 가 연속함수 공간 C(ℝ^m,X) 안에서 차원 c(연속체)의 선형 부분공간을 포함한다는 결과를 얻는다(정리 3.6). 이는 “연속 전사함수 집합이 최대 차원의 선형 구조를 가진다”는 최적의 선형성 결과이며, 특히 가산 차원의 위상벡터공간(예: ℓ^p, c₀, L^p 등)에서도 적용 가능함을 예시를 통해 보여준다.

마지막으로, 시퀀스 공간과 함수 공간에 대한 확장 결과를 제시하지만, 본문에서는 구체적인 증명보다는 앞선 방법론을 그대로 적용할 수 있음을 언급한다. 전체적으로, 페아노 곡선이라는 고전적인 위상학적 개념과 현대적인 선형·대수적 구조 이론을 결합함으로써, 연속 전사함수들의 풍부한 내부 구조를 새롭게 조명한다.