[논문 리뷰] A Fundamental System of Seminorms for $A(K)$

Dietmar Vogt|arXiv (Cornell University)|2013. 09. 23.

Advanced Banach Space Theory참고 문헌 1인용 수 7

한 줄 요약

이 논문은 실수 해석 함수의 꼬리 집합 $A(K)$에 대한 기본 체계를 제공하며, 양의 영수열 $\delta = (\delta_n)$ 를 통해 정의된 노름을 사용한다. 주요 결과는 $|f|_\delta = \sup_\alpha \sup_{x \in K} \frac{|f^{(\alpha)}(x)|}{\alpha!} \delta_{|\alpha|}^{\alpha|}$ 형태의 준노름들이 기본 체계를 이룬다는 것을 증명하며, 이는 $A(K)$ 에서의 위상 호모모르피즘과 Baernstein의 보조정리를 적용하여 완비성과 연속성을 입증함으로써 이루어진다.

ABSTRACT

Let $K\subset\R^d$ be compact and $A(K)$ the space of germs of real analytic functions on $K$ with its natural (LF)-topology. This topology can be given by $A(K)=\limind_{k o+\infty} A_k$ where $A_k=\{(f_α)_{α\in\N_0^d}\in C(K)^{\N_0^d}\,:\, \|f\|_k:=\sup_{x\in K} \frac{|f^{(α)}(x)|}{α!} k^{-|α|}< +\infty\}.$ Based on this description we give in the present note an explicit fundamental system of seminorms for $A(K)$.

연구 동기 및 목표

• 콤팩트 집합 $K \subset \mathbb{R}^d$ 에서 실수 해석 함수의 꼬리 집합 $A(K)$ 에 대한 명시적 기본 준노름 체계를 구성하는 것.
• 계산 가능한 준노름을 사용하여 $A(K)$ 의 자연스러운 (LF)-위상에 대한 위상적 특성화를 제공하는 것.
• 양의 영수열 $\delta_n$ 을 통해 정의된 노름이 $A(K)$ 에서 기본 준노름 체계를 이룬다는 것을 입증하는 것. 이는 위상적 완비성을 보장한다.

제안 방법

• $F_k$ 를 다중열의 공간으로 정의하며, 노름 $\|x\|_k = \sup_\alpha \|x_\alpha\| k^{-|\alpha|}$ 을 갖는다. 여기서 $X = C(K)$ 이고, $F = \varinjlim F_k$ 를 구성한다.
• 모든 양의 영수열 $\delta = (\delta_n)$ 에 대해 연속 노름 $|x|_\delta = \sup_\alpha \|x_\alpha\| \delta_{|\alpha|}^{|\alpha|}$ 을 도입한다.
• 임의의 영수열 $\varepsilon_k \to 0$ 에 대해, $U_\delta \subset \sum_k \varepsilon_k B_k$ 를 만족하는 $\delta$ 가 존재함을 보여, family $\{ |\cdot|_\delta \}$ 이 $F$ 에서 기본 준노름 체계를 이룬다는 것을 증명한다.
• $A(f) = \left( \frac{f^{(\alpha)}(x)}{\alpha!} \right)_\alpha$ 로 정의된 사상 $A: A(K) \to F$ 는 연속적이고 단사적인 위상 호모모르피즘임을 정의한다.
• Baernstein의 보조정리를 적용하여 $A$ 가 그 이미지 위상 동형임을 확인함으로써, $F$ 에서의 준노름 구조를 $A(K)$ 로 이전시킨다.
• 결론적으로, 준노름 $|f|_\delta = \sup_\alpha \sup_{x \in K} \frac{|f^{(\alpha)}(x)|}{\alpha!} \delta_{|\alpha|}^{\alpha|}$ 이 $A(K)$ 에서 기본 준노름 체계를 이룬다.

실험 결과

연구 질문

• RQ1 콤팩트 집합 $K \subset \mathbb{R}^d$ 에서 실수 해석 함수의 꼬리 집합 $A(K)$ 에 대해 구조적이고 명시적인 기본 준노름 체계를 제공할 수 있는가?
• RQ2 영수열 $\delta_n$ 에 기반한 노름을 사용하여 $A(K)$ 의 (LF)-위상을 어떻게 묘사할 수 있는가?
• RQ3 양의 영수열 $\delta$ 에 따라 인덱싱된 준노름 $|f|_\delta = \sup_\alpha \sup_{x \in K} \frac{|f^{(\alpha)}(x)|}{\alpha!} \delta_{|\alpha|}^{\alpha|}$ 이 $A(K)$ 에서 기본 준노름 체계를 이루는가?
• RQ4 이러한 준노름이 표준 (LF)-위상과 동일한 위상을 유도하기 위해 필요한 위상적 성질은 무엇인가?
• RQ5 Banach 공간의 쌍대 극한의 구조를 활용하여 $A(K)$ 에 대해 계산 가능한 준노름 체계를 유도할 수 있는가?

주요 결과

• 양의 영수열 $\delta = (\delta_n)$ 이나 상관없이, 준노름 $|f|_\delta = \sup_\alpha \sup_{x \in K} \frac{|f^{(\alpha)}(x)|}{\alpha!} \delta_{|\alpha|}^{\alpha|}$ 이 $A(K)$ 에서 기본 준노름 체계를 이룬다.
• 이 증명은 $A(K)$ 에서의 위상 동형을 $F = \varinjlim F_k$ 인 극한 공간으로 구성함에 기반하며, 여기서 $F_k$ 는 $k^{-|\alpha|}$ 를 통해 성장 조절이 이루어진 수열로 이루어져 있다.
• 임의의 주어진 영수열 $\varepsilon_k \to 0$ 에 대해, 단위 구 $U_\delta$ 가 합 $\sum_k \varepsilon_k B_k$ 에 포함되도록 하는 적절한 $\delta$ 가 구성되며, 이는 기본 체계 성질을 보장한다.
• $A(f) = \left( \frac{f^{(\alpha)}(x)}{\alpha!} \right)_\alpha$ 로 정의된 사상 $A: A(K) \to F$ 는 연속적이고 단사적인 위상 호모모르피즘으로서 준노름 구조의 이전을 가능하게 한다.
• Baernstein의 보조정리를 적용하여 $A$ 가 그 이미지 위상 동형임을 확인함으로써 준노름 체계의 위상 동치성을 검증한다.
• 결과적으로, (LF)-위상에 대한 명시적이고 계산 가능한 묘사가 가능해졌으며, 이는 수열 기반 준노름을 통한 수렴성과 유계성 분석을 가능하게 한다.