[논문 리뷰] Continuous mappings with null support

M. R. Koushesh|arXiv (Cornell University)|2013. 02. 09.

Advanced Topology and Set Theory참고 문헌 18인용 수 4

한 줄 요약

이 논문은 위상공간 $ X $ 상에서 연속유계함수들 중에서 주어진 이상 $ \mathscr{I} $ 에 대해 지지집합 또는 수준집합이 영 이웃을 갖는 것들로 구성된 바나흐 대수 $ C^{\mathscr{I}}_{00}(X) $ 와 $ C^{\mathscr{I}}_0(X) $ 를 도입하고 연구한다. 주요 결과는 정규로 국소적으로 영인 공간에 대해 이러한 대수들이 각각 유일한 국소적으로 컴acts한 하우스도르프 공간 $ Y \subseteq \beta X $ 상에서의 $ C_{00}(Y) $ 와 $ C_0(Y) $ 와 등거리적으로 동형임을 보여주며, 이는 $ Y $ 의 위상적 구조를 통해 새로운 게르팔트–나이마르크 유형 정리들을 도출할 수 있게 한다.

ABSTRACT

Let $X$ be a (topological) space and let ${\mathscr I}$ be an ideal in $X$, that is, a collection of subsets of $X$ which contains all subsets of its elements and is closed under finite unions. The elements of ${\mathscr I}$ are called null. The space $X$ is locally null if each $x$ in $X$ has a null neighborhood in $X$. Let $C_b(X)$ denote the normed algebra of all continuous bounded real-valued mappings on $X$ equipped with the supremum norm, $C_0(X)$ denote the subalgebra of $C_b(X)$ consisting of elements vanishing at infinity and $C_{00}(X)$ the subalgebra of $C_b(X)$ consisting of elements with compact support. We study the normed subalgebra $C^{\mathscr I}_{00}(X)$ of $C_b(X)$ consisting of all $f$ in $C_b(X)$ whose support has a null neighborhood in $X$, and the Banach subalgebra $C^{\mathscr I}_0(X)$ of $C_b(X)$ consisting of all $f$ in $C_b(X)$ such that $|f|^{-1}([1/n,\infty))$ has a null neighborhood in $X$ for all positive integer $n$. We prove that if $X$ is a normal locally null space then $C^{\mathscr I}_{00}(X)$ and $C^{\mathscr I}_0(X)$ are respectively isometrically isomorphic to $C_{00}(Y)$ and $C_0(Y)$ for a unique locally compact Hausdorff space $Y$; furthermore, $C^{\mathscr I}_{00}(X)$ is dense in $C^{\mathscr I}_0(X)$. We construct $Y$ explicitly as a subspace of the Stone--Čech compactification $βX$ of $X$. The space $Y$ is locally compact (and countably compact, in certain cases), contains $X$ densely, and in specific cases turns out to be familiar subspaces of $βX$. The known topological structure of $Y$ enables us to establish several commutative Gelfand--Naimark type theorems and derive results not generally expected to be deducible from the standard Gelfand theory.

연구 동기 및 목표

• 주어진 영인 집합의 이상 $ \mathscr{I} $ 에 대해 지지집합이 $ X $ 에서 영 이웃을 갖는 연속유계함수들의 노름 대수 $ C^\mathscr{I}_{00}(X) $ 를 정의하고 분석하기.
• 각 수준집합 $ |f|^{-1}([1/n,\infty)) $ 가 $ X $ 에서 영 이웃을 갖는 연속유계함수들로 구성된 바나흐 대수 $ C^\mathscr{I}_0(X) $ 를 정의하고 연구하기.
• 정규성과 국소적 영성 조건 하에서 $ C^\mathscr{I}_{00}(X) $ 와 $ C^\mathscr{I}_0(X) $ 가 국소적으로 컴acts한 하우스도르프 공간 $ Y \subseteq \beta X $ 상에서의 연속함수 대수 $ C_{00}(Y) $ 와 $ C_0(Y) $ 와 등거리 동형임을 확립하기.
• 스톤–체호 compactification $ \beta X $ 의 부분공간으로서 $ Y $ 를 명시적으로 구성하여, 이가 국소적으로 컴acts하고 일부 경우에 가산적으로 컴acts함을 보여주기.
• 이미 알려진 $ Y $ 의 위상적 구조를 활용하여 표준 게르팔트 이론을 넘어서는 새로운 가환 게르팔트–나이마르크 유형 정리들을 도출하기.

제안 방법

• 이상 $ \mathscr{I} $ 에 속하는 영 집합을 기준으로, $ \mathrm{supp}(f) $ 가 $ X $ 에서 영 이웃을 갖는 모든 $ f \in C_b(X) $ 의 집합으로서 $ C^\mathscr{I}_{00}(X) $ 를 정의한다.
• 모든 양의 정수 $ n $ 에 대해 $ |f|^{-1}([1/n,\infty)) $ 가 $ X $ 에서 영 이웃을 갖는 모든 $ f \in C_b(X) $ 의 집합으로서 $ C^\mathscr{I}_0(X) $ 를 정의한다. 이는 $ \mathscr{I} $ 에 대한 무한대에서의 감쇠를 보장한다.
• 국소적으로 컴acts한 하우스도르프 공간 $ Y \subseteq \beta X $ (즉, $ X $ 의 스톤–체호 컴팩트리케이션) 을 구성하여, $ C^\mathscr{I}_{00}(X) $ 와 $ C^\mathscr{I}_0(X) $ 가 각각 $ C_{00}(Y) $ 와 $ C_0(Y) $ 와 등거리 동형임을 보인다.
• 정규 공간에서 닫힌 부분공간은 $ C $-포함되며, 헤비트 실실수성화 $ \upsilon X $ 를 적용하여, $ \mathscr{I} $ 가 실실수성 닫힘을 갖는 집합의 이상일 경우 $ Y = \beta X \setminus \mathrm{cl}_{\beta X}(\upsilon X \setminus X) $ 로 특성화함으로써 $ Y $ 를 기술한다.
• 컴팩트리케이션에서의 연속적 확장과 닫힘의 행동과 같은 $ \beta X $ 의 위상적 성질을 활용하여, $ Y $ 가 국소적으로 컴팩트하고 $ X $ 를 조밀하게 포함함을 증명한다.
• 특히 가환 바나흐 대수 이론에서의 쌍대성 기법, 특히 게르팔트–나이마르크 유형 정리를 적용하여 $ Y $ 의 위상적 구성에서 기인한 구조적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ C^\mathscr{I}_{00}(X) $ 가 어떤 국소적으로 컴팩트한 하우스도르프 공간 $ Y $ 에 대해 $ C_{00}(Y) $ 와 등거리 동형이 되는가?
• RQ2 정규적이고 국소적으로 영인 공간일 때, $ C^\mathscr{I}_0(X) $ 의 구조는 $ Y \subseteq \beta X $ 의 위상적 성질과 어떻게 관련이 있는가?
• RQ3 등거리 동형을 실현하는 공간 $ Y $ 의 명시적인 위상적 기술은 무엇이며, 이는 이상 $ \mathscr{I} $ 에 어떻게 의존하는가?
• RQ4 특정한 위상적 성질을 갖는 $ Y \subseteq \beta X $ 의 위상적 구조를 통해 표준 게르팔트 이론을 넘어서는 새로운 게르팔트–나이마르크 유형 정리를 도출할 수 있는가?
• RQ5 언제 $ C^\mathscr{I}_{00}(X) $ 는 지지집합 자체가 영인 함수들의 집합과 일치하는가? 언제 $ C^\mathscr{I}_0(X) $ 는 여제로집합이 영 이웃을 갖는 함수들의 집합과 일치하는가?

주요 결과

• 정규로 국소적으로 영인 공간 $ X $ 에 대해, 대수 $ C^\mathscr{I}_{00}(X) $ 는 $ X $ 가 $ Y $ 에 조밀하게 포함되는 유일한 국소적으로 컴팩트한 하우스도르프 공간 $ Y \subseteq \beta X $ 상에서의 $ C_{00}(Y) $ 와 등거리 동형이다.
• 대수 $ C^\mathscr{I}_0(X) $ 는 $ C_0(Y) $ 와 등거리 동형이며, $ C^\mathscr{I}_{00}(X) $ 는 $ C^\mathscr{I}_0(X) $ 에 조밀하게 포함되어 자연스러운 포함 구조를 형성한다.
• 이상 $ \mathscr{I} $ 가 실실수성 닫힘을 갖는 집합의 이상일 경우, $ Y $ 는 명시적으로 $ \beta X \setminus \mathrm{cl}_{\beta X}(\upsilon X \setminus X) $ 로 구성되며, 이는 $ \beta X $ 의 친숙한 부분공간임을 보여준다.
• 정규 공간 $ X $ 에서 이상 $ \mathscr{I} $ 가 실실수성 닫힘을 갖는 집합의 이상일 경우, $ Y $ 는 $ \beta X $ 의 점들 중 $ \upsilon X \setminus X $ 의 닫힘에 속하지 않는 점들의 집합이며, 이는 국소적으로 컴팩트한 $ G_\delta $-집합이다.
• 이러한 $ Y $ 의 구성은 표준 게르팔트 이론으로서 일반적으로 접근할 수 없는 새로운 가환 게르팔트–나이마르크 유형 정리를 도출할 수 있도록 한다.
• 이상 $ \mathscr{I} $ 가 $ \sigma $-이상이고 $ X $ 가 리인델뢰프이자 국소적으로 영일 경우, $ C^\mathscr{I}_{00}(X) = \{ f \in C_b(X) : \mathrm{supp}(f) \text{ 는 영이다} \} $ 로 단순화되며, 이는 대수적 기술을 단순화한다.