k一致光滑Banach空间的等价条件
hahn-banach.定理
Hahn-Banach 定理是泛函分析领域中一个非常重要且深刻的定理，它是由德国数学家 Hans Hahn 和 Stefan Banach 在20世纪初提出，并在后来的发展中得到完善和推广。
该定理主要用于研究泛函空间中的超平面和支撑超平面的性质，为泛函分析中的许多基本问题提供了重要的工具和方法。
在介绍 Hahn-Banach 定理之前，首先需要了解一些基本概念。
泛函分析是数学中的一个分支，它研究的是无限维空间中的向量和函数的性质，是实分析和线性代数的结合。
在泛函分析中，一个重要的概念就是泛函空间，它是一个线性空间，其元素是函数或者算子，通常被定义在某个定义域上。
而超平面和支撑超平面则是泛函空间中的重要概念，它们在研究空间分离性、可分性、极值性等方面起着关键作用。
接下来，我们将介绍 Hahn-Banach 定理的内容和证明过程：1. 定理内容Hahn-Banach 定理主要讨论的是泛函空间中的超平面和支撑超平面的性质。
具体来说，设 X 是实或复线性空间，p 是 X 上的一个次线性泛函，M 是 X 的子空间且 f 是 M 上的线性泛函，如果 f 的模不超过 p的模，即|f(x)| ≤ p(x) 对所有x ∈ M 成立，那么可以把 f 扩张到 X 上的一个泛函 F，使得 F 的模不超过 p 的模。
即存在 F 属于 X*（X 的对偶空间）且 F 的模不超过 p 的模，使得 F 对于 M 上的元素和 f 完全相同。
2. 定理证明Hahn-Banach 定理的证明是基于 Zorn 引理和 Zorn 引理的等价形式。
Zorn 引理是集合论中一个非常重要的命题，它断言每个非空的偏序集合中的每个链都有上界，则这个偏序集合中存在极大元素。
利用 Zorn 引理，我们可以证明存在一个线性泛函 F，满足 F 属于 X*，并且 F 的模不超过 p 的模。
证明思路主要是利用 Zorn 引理构造出泛函 F 的集合，然后证明这个集合中存在一个最大的泛函 F。
Banach空间
整个空间分隔为互相隔离的两部分H 整个空间分隔为互相隔离的两部分 H − 和 H +：
H − = {x | f ( x ) ≤ r} ,
H+ H
H
−
H + = {x | f ( x ) ≥ r}。
(*)式表示整个闭球S( θ, r)位于 式表示整个闭球S
超平面H的一侧， 即包含在H 超平面 H 的一侧 ， 即包含在 H 中 。
使这个超平面H分离凸集A和B，
≤ α, 即 f( x ) ≥ α,
或
x∈A x∈B
A
B H
A ⊂ H − = {x | f (x) ≤ α}
B ⊂ H − = {x | f (x) ≥ α}
定义 S1 × ⋅ ⋅ ⋅ × S n = {(s1 , ⋅ ⋅ ⋅, sn ) ：si ∈ S i , i = 1, ⋅ ⋅ ⋅, n}
若对任意x X, 与之对应，并满足: 若对任意x ∈ X,有一个确定的实数 x 与之对应，并满足:
( 1)
∀x ∈ X, x ≥ 0, 且 x = 0 ⇔ x = 0 ；
( 2)
( 3)
x及数 ∀x及数λ， λx = λ ⋅ x ；
∀x, y ∈ X, x + y, ⋅ ）为线性赋范空间。 范数，称（ 赋范空间。
且
f =1 ，
r， 当 x ∈ S ( θ, r ) 时， x ≤ r，就有
f(x ) ≤ f ⋅ x = x ≤ r
(*)
f(x ) ≤ f ⋅ x = x ≤ r
(*)
在几何上, 设H = {x | f( x ) = r} , 在几何上,称H为X中的一个
超平面 ( Hyperplane ) 。超平面的特性 是它可以把
banach空间范数
banach空间范数
（原创实用版）
目录
1.范数的定义与性质
2.Banach 空间的概念
3.Banach 空间的范数
4.范数的作用与重要性
5.举例说明
正文
1.范数的定义与性质
范数是一种数学概念，用于衡量向量空间的大小。
在向量空间中，范数可以赋予向量一个非负实数，表示该向量的“长度”。
同时，范数还满足一些基本性质，例如齐次性、三角不等式和范数恒等式等。
2.Banach 空间的概念
Banach 空间是一种拓扑线性空间，其上的范数具有一些额外的性质，例如连续性、完备性和凸性等。
Banach 空间的概念是由波兰数学家Stefan Banach 在 20 世纪初提出的，它在数学分析、线性代数和泛函分析等领域具有广泛的应用。
3.Banach 空间的范数
在 Banach 空间中，范数是满足一些特定性质的实数函数。
这些性质包括：齐次性、三角不等式、范数恒等式和连续性等。
Banach 空间的范数可以有多种选择，但同一空间中的不同范数之间存在一定的关系，例如等价范数和等距范数等。
4.范数的作用与重要性
范数在 Banach 空间中具有重要的作用，它可以用于衡量向量的大小、表示距离、计算极限和求解最优化问题等。
同时，范数还与空间的结构和性质密切相关，例如完备性、凸性和有界性等。
5.举例说明
一个经典的 Banach 空间例子是欧几里得空间，其中向量的范数定义为其欧几里得长度。
另一个重要的例子是希尔伯特空间，它是一个具有内积结构的 Banach 空间，其上的范数通常称为希尔伯特范数。
banach空间fredholm型积分方程解的存在性判定
banach空间fredholm型积分方程解的存在性判定Banach空间Fredholm积分方程是求解不同种类积分方程的重要方法。
它的求解是基于测度论，随着研究的深入，越来越受到大家的重视，但是由于Banach空间Fredholm积分方程的存在性判定是难以解决的一个重要问题。
本文将重点介绍Banach空间Fredholm积分方程解的存在性判定。
首先，介绍Banach空间Fredholm积分方程。
Banach空间Fredholm积分方程指，如果X是Banach空间，K(x,y)是X×X到实数或复数的积分核，F(x)是X到实数或复数的积分函数，且积分核K(x,y)及积分函数F(x)在X上满足一定条件，则存在一个唯一的函数u(x)，使得：$ int_{X}K(x,y)u(y)dy=F(x),x∈X $此方程叫做Banach空间中的Fredholm积分方程，简称Banach 空间Fredholm积分方程。
其次，介绍Banach空间Fredholm积分方程解的存在性判定。
Banach空间Fredholm积分方程解的存在性判定需要满足以下几个条件：（1）积分核K(x,y)是X×X到实数或复数的连续函数；（2）积分函数F(x)是X到实数或复数的连续函数；（3）若存在A为X的子空间，满足K(x,y)极限于零，当x∈A，y∈AA时；（4）F(x)在X上收敛；（5）若存在m∈[1,∞)，使得当x∈X，y∈X时，有|K(x,y)|≤m。
根据以上条件，若积分核K(x,y)与积分函数F(x)满足以上五个条件，则Banach空间Fredholm积分方程解的存在性问题就可以证明了。
然后，介绍Banach空间Fredholm积分解的存在性判定中使用的方法。
一是山口穷尽定理，山口穷尽定理提出了一种求解Banach空间Fredholm积分方程解的存在性判定的方法，即若存在若干相互正交的基，则可以构造出Fredholm积分方程的特解，从而实现Fredholm 积分方程的存在性判定。
Banach空间及其相关定理
课程论文课程现代分析基础学生姓名学号院系专业指导教师二Ｏ一五年十二月四日目录1 绪论 (1)2 Banach空间基本概念 (1)2.1拟范数定义及例子 (1)2.2 Banach空间 (2)2.3 Banach空间中线性变换及其性质 (3)3 一致有界定理及其推论 (4)3.1问题 (4)3.2基本概念 (4)3.3一致有界定理及其推论 (5)3.4一致有界性定理及其推论的应用 (6)4 Hahn-Banach定理与凸集分离定理 (7)4.1实线性空间上的Hahn-Banach定理 (7)4.2复线性空间上的Hahn-Banach定理 (8)4.3赋范线性空间上的Hahn-Banach定理 (8)4.4有关Hahn-Banach定理的一些推论 (9)4.5 Hahn-Banach定理的几何形式：凸集分离定理 (9)5 Banach空间中开映射、闭图像定理以及逆算子定理 (9)5.1开映射定理 (10)5.2逆算子定理 (11)5.3闭图像定理 (12)6 总结 (14)参考文献 (16)Banach空间及其相关定理南京理工大学自动化学院，江苏南京摘要：本文的主要是介绍了Banach空间以及其相关定理。
首先，本文讲了Banach空间产生的背景以及应用领域。
然后本文介绍了Banach空间的基本概念及其相关性质。
最后本文开始从一致有界定理开始，将Banach空间中Hahn-Banach定理、开映射、闭图像以及逆算子定理这几个重要定理逐一做出介绍并给出相应定理的证明。
关键词：Banach空间；一致有界定理；Hahn-Banach定理；开映射、闭图像、逆算子定理1 绪论巴拿赫空间（Banach space）是一种赋有“长度”的线性空间，泛函分析研究的基本对象之一。
数学分析各个分支的发展为巴拿赫空间理论的诞生提供了许多丰富而生动的素材。
从魏尔斯特拉斯，K.(T.W.)以来，人们久已十分关心闭区间[a，b]上的连续函数以及它们的一致收敛性。
banach空间常微分方程解的存在定理及其解与纯量方程解的关系
banach空间常微分方程解的存在定理及其解与纯量方
程解的关系
Banach空间常微分方程解的存在定理及其解与纯量方程解的关系：
1.Banach空间的含义：
Banach空间是一类模式空间，它被引入到几何空间的代数结构中，用于处理泛函分析、函数拓扑以及更复杂的物理理论。
它们是线性的、具有正定的距离函数的完备的空间，通常被广泛应用于几何分析、物理学和工程学中。
2. Banach空间常微分方程的存在定理：
Banach空间常微分方程存在定理指的是关于存在解的结果，它确定在Banach空间中存在一个微分方程的具有内在满足性的解集。
首先，定义称Banach空间X上的具有Lipschitz连续梯度的局部Lipschitz函数f 称为C-Lipschitz函数，用f表示，C-Lipschitz函数f(t，u)满足条件：它存在bounded set K 这标量K，只要u ,v∈ K，都有：|f(t,u)-f(t,v)|
≤CL|u-v|,其中C是定数。
3.Banach空间常微分方程解与纯量方程解的关系：
Banach空间常微分方程解与纯量方程解之间存在着相关性。
纯量方程是一种特殊的微分方程，它只含有某一变量的函数表达式，这变量满足所给的微分方程。
而Banach空间常微分方程作为普通的微分方程，
它的解需要满足常微分方程的某种形式的局部Lipschitz函数；纯量方程的解仅仅可以从一个内在参数出发，它通过一个连续的基本表达式满足局部Lipschitz不变条件，从而在Banach空间上获得解集，而这个表达式只是纯量变量的函数表达式。
因此，纯量方程解和Banach空间常微分方程解之间存在着相关性。
入是无限维的 banach 空间,证明叉不能分解成可数个列紧集的并集 -回复
入是无限维的banach 空间,证明叉不能分解成可数个列紧集的并集-回复题目：无限维的Banach空间中叉不能分解成可数个列紧集的并集引言：在函数空间理论和泛函分析中，Banach空间是一种重要的研究对象。
其中，可数个列紧集的并集是常见的一种集合形式。
然而，对于无限维的Banach空间来说，存在一个令人惊讶的事实：它的叉（笛卡尔积）不能分解成可数个列紧集的并集。
本文将以Banach空间中叉的性质为基础，逐步证明这个结果。
第一步：Banach空间的定义和基本性质首先，我们回顾一下Banach空间的定义。
一个实数或复数的线性空间V 称为Banach空间，如果它对于范数（或者称为度量）是完备的。
这就意味着，在这个空间中任何一个柯西序列都收敛于一个空间内的元素。
第二步：向量空间的笛卡尔积和拓扑现在，考虑两个Banach空间X和Y，我们可以定义它们的笛卡尔积（记为X ×Y）为所有由X中元素和Y中元素组成的有序对的集合。
这个笛卡尔积可以进一步推广到任意个Banach空间的情况下。
我们可以给Banach空间的笛卡尔积定义一个拓扑结构。
具体来说，笛卡尔积上的一个拓扑是由一族范数定义的。
这个族的范数被称为积范数，并满足一些性质：联合生效，同样合理，以及它使得笛卡尔积是一个Banach 空间。
第三步：列紧集的定义和性质在继续我们的讨论之前，我们需要回顾一下列紧集的定义。
在拓扑空间中，一个集合称为列紧的，如果对于这个集合中的任意序列，都存在一个收敛子序列。
另外，我们还可以证明以下结论：1. 一个Banach空间中的有界闭集是列紧的。
2. 列紧集的闭子集仍然是列紧的。
第四步：叉不能分解成可数个列紧集的并集现在，我们准备证明叉不能分解成可数个列紧集的并集。
假设存在一个这样的分解，即叉是可数个列紧集的并集。
让我们假设集合{K_n}是这个分解的列紧集。
我们的目标是找到一个矛盾。
我们选择了一个无限维的Banach空间，所以我们可以找到一个序列{x_n}，它在每个坐标上都不收敛。
q-一致光滑Banach空间含(A,η)-增生算子的广义集值变分包含组
２０ ０８年 ５月 第３ １卷 第 ３ 期
四川师 范大学学报 （ 自然科学版 ） Ｊｕ ａ ｏ ｉ ｕｎＮ ｒ ａ Ｕ ｉ ｒｉ （ ａ ｒｌ ｃ ｎｅ ｏ ｒ ｌ ｆ ｃ ａ ｏｍ ｌ ｎ ｅｓｙ Ｎ ｔ ａ Ｓｉ ｃ ） ｎ Ｓｈ ｖ ｔ ｕ ｅ
１ ｌ ｌ １ ｌ ：ｌ ｌ≤ ，ｌ ｌ ｔ ， ｔ＞０ ｌ≤ ｝ Ｙ ， 满足条 件ｌ ｉ
ｔ－ －￣ Ｏ ‘
含解的问题． ［４］ Ｂ ｎｃ 文 ３ 在 ａａｈ空间引进 了一类广 义 的 （ ）增 生算 子 ， 利 用 与 （ ）增 生 算 子 Ａ， ． 并 Ａ， ．
ｃ ｌ ， Ｖ Ｙ ∈ Ｅ 。ｌ ｌ ， ｌ Ｙ ．
１ 预 备 知 识
设 Ｅ 是 实 Ｂ ｎｃ ａａｈ空 间 ， 是 其 对 偶 空 间 ， Ｅ ｌ ｌ ｌ・ｌ 表示 Ｅ上 的 范 数 ， ，表 示 Ｅ和 Ｅ （） 之 间 的 配对 ， Ｂ（ 表示 Ｅ的 一切 非 空 有 界 闭子集 的族 ， Ｃ Ｅ）
中图分类号 ： １７ ９ Ｏ ｌ． １ 文献标 识码 ： Ａ 文章 编号 ：０ １８ ９ （０ ８ ０ －２２ ３ １０ －３ ５ ２０ ）３０ ６ ４６
０ 引 言
变分包含是经典变分不等式的一个重要推广， 因此在 许多 领域 有着 广泛 的应 用 ， 如 ， 理 学 、 例 物 最 优 控制 、 线性 规 划 、 济 与 工 程学 中． 非 经 因此 ， 年 近
相关 的预解算子 分别解决了一类 变分包含解 的问题
： ． Ｅ为 ｇ ． 光 滑 的 ， 存 ０称 — 致 若
我们在文［ －］ １ 的基础 上， ４ 引人和研究 了一类 新的含 （ ， ． Ａ ） 增生算子的广 义集值变分包含组 问 题． 利用 （ ） 生算子生成的预解算子 ， 出了 Ａ， － 增 给 类广 义集 值变分 包 含组 问题 的迭代 算 法 ， 证 明 并 了该迭 代算 法 的收敛 性． 文 结果 改 进 与 推广 了近 本 期 文献 中的相应 结果 ．引 ４ ．
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
、
射， 其中 ∈ ，（ ∈ 满足对任何 ， Ｘ Ｊ ） Ｘ Ｊ ） Ｘ ∈ ，（
（ ＝ ） Ｊ 似 ＋ ）＝ａ （ ，（ Ｊ ）＋ｂ （ ） Ｉ ｌ Ｊ Ｙ ，Ｉ Ｉ＝ ｌ （ ）ｌ， ｌ ｘ ｌ 并且 ．是 从 到 ”的 某个 闭子 空 间 的 Ｊ ，
” 分别 表 示 的一 次 、 次 、 二 三次 和 四 次共 轭 空 ） Ｊ（ 、 ｓ ） ．（ ”） 别 表 示 、 ｓ 分
第１理 工 大 学 学 报
Ｊ ＯＵＲ ＮＡＬ ＯＦ ＨＡＲ Ｎ ＵＮＩ ＥＲＳＴ ＯＦ Ｓ Ｅ Ｅ ＡＮＤ Ｔ ＣＨＮＯＬ ＢＩ Ｖ Ｉ Ｙ ＣＩ ＮＣ Ｅ ＯＧＹ
Ｖ １ １ Ｎｏ ２ ｏ． ６ ． Ａｐ ．２ １ ｒ ０１
２ １ 年 ４月 ０１
Ａｂｓｒ ｃ ： ｅ ｇｖ ｏ ｑ ｉ ａｅ ｃ ｏ ｄ ｔｏ ｆｋ ｕｎｆ ｒ ｙ ｓ ｏｈ Ｂａ ａ ｈ ｓ ａ ｅ ａ ｄ ｔ ｅ ｃ ｒｅ ｐ ｎｄｎｇ ｒ — ｔ ａ ｔ Ｗ ｉｅ ｓ ｍｅ ｅ ｕ ｖ ｎ ｅ ｃ ｎ ｉｉｎｓｏ － ｉ ｍｌ ｍｏ ｔ ｎ ｃ ｐ ｃ ｎ ｈ ｏｒ ｓ ｏ ｉ ｅ ｌ ｏ
第２ 期
崔云安等 ： 一致光滑 Ｂ ｎｃ 空间的等价条件 ｋ ａａｈ
７ ９
到 ” ”的 自然映射分别用 ． 和 － 来表示．其他 ， ７ ＝ 光滑性 的文章可以参考文［ ｌ ］ ７一 ２ ． 定义 １ 【 为 ｋ一 致 光 滑 空 间 （ ｋ—Ｕ ） Ｓ 是 指： 若对任 意 ８＞ ， 在 ６ ８ ０ 当 ｛ ｝ ｃｓ ０存 （ ）＞ ，
基金项 目：国家 自然科学基金项 目（ ０ ７ ０７） １５ １ ３ 作者简介 ：崔云安（ ９ １ ） 男 ， １６ 一 ， 教授 ， 博士生导师 ， — ａｌｙ ａ ｅ ｉ ａｏ．ｏ１ｃ ． Ｅ ｍ ｉ ｕ ｎ— ｕ＠ｙｈｏ ｃｎ．ａ ； ： 苑小磊（ ９ ４ ） 男 ， １８ 一 ， 硕士研究生．
ｋ一 致 光 滑 Ｂ ｎ ｃ ａ ａｈ空 间的 等 价 条 件
崔云安 ， 苑 小磊 ， 杜世维
（ 哈尔滨理工大学 应用科学学 院，黑龙江 哈尔滨 １０ ８ ） ５ ０ ０
摘
要 ： 出了 ｋ一 致 光 滑 Ｂ ｎｃ 给 ａａｈ空 间的一 些 等价 条 件 ， 并将 上述 结 果推 广到 局 部 ｋ一 致 光
ＣＵ ｕ 一 ｎ， Ｙ Ａ Ｘｉｏ ｌｉ ＤＵ ｈ ＇ ｅ ／Ｙ ｎ 口 Ｕ Ｎ ａ — ， ｅ Ｓ ｉ ｉ ｗ
（ ｏｌｇ ｆ ｐ ｌ ｄＳ ｉ ｃ ， ｒｉ ｎｖｒｔ ｆ ｃｅｃ ｎ ｅｈ ｏ ｎｙ ａｂｎ１０ ８ ，Ｃ ｉａ Ｃ ｌ ｅｏ ｐｉ ｃｅ ｅＨａｂｎＵ ｉｅ ｉ ｏ ｉ ｅａｄＴ ｃｎｌ ｇ ，Ｈ ｉ ５ ０ ０ ｈｎ ） ｅ Ａ ｅ ｎ ｓｙ Ｓ ｎ ｏ ｒ
ｓ ｈ ｅ ｅ ｔｎ ｅ ｏ ｌｃ ｌｋ ｕ ｉ ｒ ｙ ｓ ｏ ｈ Ｂ ｎ ｃ ｐ ｃ ． ｕ ｓｂ ｘ ｅ ｄ ｄ ｔ ｏ ａ － ｎ ｆ ｍｌ ｍｏ ｔ ａ ａ ｈ ｓ ａ ｅ ｏ Ｋｅ ｒ ｓ Ｂａ ａ ｈ ｓ ａ ｅ － ｎ ｆ ｒ ｙ ｓ ｏ ｈ ｓ ａ ｅ ｏ ａ － ｎ ｆｒ ｌ ｍｏ ￣ ｓ ａ ｅ ｙ ｗｏ ｄ ： ｎ ｃ ｐ ｃ ；ｋ ｕ ｉ ｍｌ ｍｏ ｔ ｐ ｃ ；ｌ ｃ ｌ ｕ ｉ ｍ ｙ ｓ ｏ ｏ ｋ ｏ ｐｃ
｛ Ｆ ） １Ｆ １ 。 ） ） … １ ｌ＋
） ） … ＋）
年， 苏雅拉图等人从对偶角度 出发给出了 ｋ 一致光
滑 空 间 的定 义 Ｊ并 证 明 了它 确 实 是 ｋ一 致 凸空 间 ， 的对偶 概 念 ， １一 致 光 滑 空 间是 一 致 光 滑 空 间． 且 后 来 ， 习年 又分 别 利 用 ｋ维 子 空 间 和切 片 给 出 了 方 ｋ一致 光 滑 空 间 的 其 他 定 义 形 式 Ｊ其 定 义 方 法 ， 类 似 于一 致光 滑 空 间的方 法 ．文 中 的定义 主要 采 用 苏雅 拉 图所定 义 的 ｋ 致 光滑 空 间． 一 文 中 假 设 是 Ｂｎ ｅ ａａｈ空 间 ， 、 ”、 间． （ ） ｜ ． 、 （ ｓ ｓ
滑 Ｂｎｃ ａ ａｈ空 间．
关 键词 ： ａａ ｈ空 间；ｋ一致 光 滑 ； 部 ｋ一 致光 滑 Ｂ ｎｃ 局
中图 分类 号 ： ７ ． ０１７３
文 献标 志码 ：Ａ
文章 编 号 ： ０ ７ ６３ ２ １ ）２ ０７ － ４ １０ －２８ （０ １ ０ － ０ ８ ０
Ｔｈ ｑ ｉａｅ ｃ ｎ ｉｏ ｆ — ｎｆ ｒ ｙ Ｓｍｏ ｔ ｎ ｃ ａ ｅ ｅ Ｅ ｕｖ ｌｎ ｅ Ｃｏ ｄｔ ｎ ｏ ｕ ｉ ｍｌ ｉ ｋ ｏ ｏｈ Ｂａ ａ ｈ Ｓｐ ｃ
、 、 、
Ｆ，２…，ｋ ｓｘ ） ； １ ， Ｆ∈ （ 一 Ｉ Ｆ
１
Ｊ
其 中符 号 Ｉ 表 示 行 列 式． 任 意 ∈Ｓ（ ） Ａ Ｉ 对 ， ＝ ｛ （ ） ，∈Ｓ Ｘ ）＝１． ｝
另 外 ， ． ． ） 示 从 到 “的 自然 映 用 ， ： ， 表 （
Ｉｒｔｓｕ曾 给 出过 ｋ一 致 光 滑 空 间 的一 种 定 ｓａ ｃ ｔ ｅ 义 ＿ ．后 来 ，ｓａｅｃ １ Ｊ Ｉｒｔｓｕ所 定 义 的 ｋ一 致 光 滑 性 被 ｔ Ｎ ｎ证 明是 与一 致 光 滑 性 是 等 价 的 ａ ．因 此 ， 他
Ａ ， … “ ＝ｓ 叩
所 定 义 的 ｋ一 致 光 滑 性 不 是 一 个 新 的 概 念 ． ９ ７ １９
”的单 位 球 面 ， ｋ是 正 整 数． 对
｛ ｝ ｃ｜ ）记 ． ｓ （ ，
收稿 日期 ： ０ ０—０ ０ ２１ ２－ ５
等距同构映射．因此 ， 在等距 同构意义下 ， 可 以看 成 ”的某个 闭子 空 间．特 别 的 ， Ｘ” ＝Ｘ 时 ， 当 称 自 反． 类似 的， 对于 到 的 自然映射和