엘일 공간에서 Hahn Banach 정리와 Weihrauch 복잡도

본 논문은 Hahn‑Banach 정리(HBT)의 계산적 복잡도를 Weihrauch 복잡도 이론의 관점에서 재조명한다. 기존 연구에서는 HBT가 약한 König 보조정리(WKL)와 동등함이 다양한 수학적 프레임워크(계산 가능 분석, 역수학, 구성적 수학)에서 확인되었으며, Gherardi와 Marcone는 이를 Weihrauch 복잡도에서도 동일하게 성립한다는 결과를 제시했다. 그러나 그들의 증명은 인스턴스마다 다른 Banach 공간을 필요로 했는데, 이는 실제 계산 모델에서 구현하기에 다소 비현실적이다. 저자들은 이러한 한계를 극복하고, 고정된 가산 Banach 공간 ℓ¹에 대해 동일한 복잡도 등가성을 확보한다. 논문은 먼저 ℓ¹와 그 쌍대 ℓ^∞의 구조적 특성을 설명한다. ℓ¹는 엄격히 볼록하지 않은 쌍대를 가지므로, Hahn‑Banach 연장이 유일하지 않으며, 이는 복잡도 측면에서 최악의 경우를 제공한다. 이를 바탕으로 Theorem 5를 증명하여, HBTℓ¹와 WKL이 Weihrauch 동등함을 보인다. 증명은 ℓ¹의 기본 수열(eₙ)를 이용해 단계별로 선형 함수들을 확장하고, 각 단계에서 얻은 값들을 모아 전체 연장을 구성한다. 이 과정은 무한 루프 연산과 동일시될 수 있으며, 무한 루프 연산이 WKL와 동등함을 이용해 상한을 확보한다. 따라서 ℓ¹ 하나만으로도 HBT의 전체 복잡도가 WKL과 일치함을 확인한다. 다음으로 한 단계 확장 문제(HBT₁)를 다룬다. Theorem 6은 한 단계 확장의 존재와 그 구간을 명시적으로 제시한다. 이 구간의 상한·하한을 계산하는 작업은 sup와 inf를 구하는 것이며, 이는 중간값 정리(IVT)의 핵심 연산과 동일하다. 따라서 Proposition 7은 모든 computable normed space X에 대해 HBT₁X ≤_W IVT임을 보이고, Theorem 8은 ℓ¹에서 HBT₁ℓ¹ ≡_W IVT임을 증명한다. 반대 방향 환원은 연결 선택 문제(CC