[论文解读] A Fundamental System of Seminorms for $A(K)$

Dietmar Vogt|arXiv (Cornell University)|Sep 23, 2013

Advanced Banach Space Theory参考文献 1被引用 7

一句话总结

本文通过利用正零列 $\delta = (\delta_n)$ 定义的范数，为紧集 $K \subset \mathbb{R}^d$ 上实解析函数芽空间 $A(K)$ 构造了一个显式的基本半范数系。关键结果表明，半范数 $|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$ 的序列 $\varepsilon_k$，存在某个 $\delta$ 使得 $U_\delta \subset \sum_k \varepsilon_k B_k$，从而证明族 $\{ |\cdot|_\delta \}$ 在 $F$ 上构成一个基本半范数系。
• 定义映射 $A: A(K) \to F$ 为 $A(f) = \left( \frac{f^{(\alpha)}(x)}{\alpha!} \right)_\alpha$，该映射是连续的、单射的拓扑同态。
• 应用 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 归纳极限的巴拿赫空间结构能否用于推导 $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$，构造一个合适的 $\delta$，使得单位球 $U_\delta$ 包含于和 $\sum_k \varepsilon_k B_k$ 中，从而确保基本半范数系的性质。
• 映射 $A: A(K) \to F$ 定义为 $A(f) = \left( \frac{f^{(\alpha)}(x)}{\alpha!} \right)_\alpha$ 是一个连续的、单射的拓扑同态，从而实现了半范数结构的转移。
• 应用 Baernstein 引理由以确认 $A$ 是其像上的拓扑同构，从而验证了半范数系统的拓扑等价性。
• 结果为 $A(K)$ 上的（LF）拓扑提供了具体且可计算的描述，使得收敛性与有界性可借助基于序列的半范数进行分析。