Banach 공간에서 비측정성의 새로운 전개

초록

본 논문은 Steinhaus 성질을 갖는 σ-이데알 𝓘가 정의된 Banach 공간에서, 동일한 차원의 해멀 기저를 가지지만 위상동형이 아닌 두 Banach 공간 사이의 선형 동형에 의해 이미지되는 집합이 𝓘-비측정임을 증명한다. 이를 통해 기존 결과들을 일반화하고, 비측정 집합의 존재 조건을 보다 넓은 맥락으로 확장한다.

상세 요약

논문은 먼저 σ-이데알 𝓘가 Steinhaus 성질을 만족한다는 정의를 명확히 하고, 이 성질이 Banach 공간의 구조와 어떻게 상호작용하는지를 탐구한다. Steinhaus 성질이란, 𝓘에 속하지 않는 두 집합 A, B에 대해 A−B가 원점 주변의 열린 구간을 포함한다는 것으로, 이는 전통적인 Lebesgue 측도에서의 Steinhaus 정리와 유사하지만, 보다 일반적인 이데알에 적용될 수 있다. 저자는 이 성질을 이용해, 해멀 기저의 기수(cardinality)가 동일한 두 Banach 공간 X와 Y 사이에 존재하는 선형 동형 T: X→Y가 𝓘-비측정 집합을 생성한다는 핵심 정리를 증명한다.

핵심 아이디어는 다음과 같다. 먼저 X와 Y가 서로 위상동형이 아님을 가정한다. 이는 두 공간이 동일한 토폴로지적 성질을 공유하지 않으며, 특히 열린 집합 구조가 다름을 의미한다. 그런 다음, X의 해멀 기저 {e_i}{i∈I}와 Y의 해멀 기저 {f_i}{i∈I}가 동일한 지표 집합 I를 갖는다는 점을 이용한다. 선형 동형 T는 각 e_i를 f_i의 선형 결합으로 보낸다. 여기서 중요한 관찰은, T가 연속이 아니더라도 선형이므로, T가 정의하는 이미지 집합 A = T(B) (B는 X의 𝓘-비측정 집합) 역시 𝓘에 속하지 않을 가능성이 높다는 것이다.

저자는 Steinhaus 성질을 활용해, 만약 A가 𝓘에 속한다면 A−A가 원점 주변의 열린 구간을 포함해야 함을 보인다. 그러나 위상비동형성으로 인해 T가 보존하지 못하는 연속성 결함이 존재하므로, A−A는 이러한 열린 구간을 포함하지 못한다는 모순이 도출된다. 따라서 A는 반드시 𝓘-비측정 집합이다.

이와 같은 논증은 기존 문헌