线性拓扑空间一些泛函存在性的特征.pdf

教 学 年 刊 17A：6(1996)，657-664 线 性 拓 扑 空 间一 些 泛 函存 在 性 的特 征 6-7一f卅 ／7 弓 罗 跃 虎 捷 要 n 本文研究线性拓扑空间上存在连续 (七)范教、 ，)半范教的特征，给出一类赋 范空问 上存在无界且在某点半连续的 (．)凸泛函的特征是 ≥2 ～，给出可赋 ( )一范空间可赋与 范的精碲关系．本文结果推广了文 6【_9】中的有关结果． 莞t词 线性拓扑空间 赋 范空何． 半范教．凸泛 函 MR (1991】主置分类 46A ———一 厦 自 ． 稚 丝 中圈涪 分类 0177．3 姐，引 言 武菡窆 泛函分析中的一个著名结果是 _2Jl n[， 上不存在非零连续线性泛函 1984年定光 桂 将此结果推广为 定理 A 设p(。)是 ， 上 级绝对齐性泛函 (0卢 1)．若 p()在某球 (。0)上 “下半连续’’或 狭“上半连续’’，则 p(z)=0， ∈zZ[a，川． 随后相继有作者对此结果进行推广 i7-~1．正如 5【,8}9]指出的那样，定理 A 的条件已 蕴含p )在整个空阃上连续．文 对一般拓扑空间上更广的一类泛函 一 (卢，)半范数 一 给 出了如下结果 ： 定理 B 若 是赋 P范空间且 上不能赋更粗 的P+ ￡半范数 f即 上不存在 非零、连续的P+E半范数)，那么 上存在非零、连续的 (卢，)半范数的充要条件是 ： 2暑一 ( 1，0P卢曼1)． 如果拓扑线性空间是可赋 P范 的，则对任何 P P，X 是可赋 P 范 的，但是反之不 真． 9『]通过引入 (k)范空间的概念，指出了赋 (卢，k)空间与赋 P范空问的关系如下 ： 设 是可分离的拓扑线性空间．如果 是可赋 P范空问，那么 必是可赋 (卢，k) 范空问，其甲 和 满足不等式 k=2； ；反过来，如果 是可 ，k)范空间．那么对 任何满足不等式 0P—l+—log一K 的 P，X 必是可赋 p范空 间 · ~ 自然要 问上述结果 中的P是否能够达到 —l+Llog ~K 熟知拓扑线性空间 赋范的充要条件是 中存在有界绝对 凸邻域 矿，那么 自然要 问 可赋 (，k)中是否也有类似的关系．我们注意到 [驯中讨论了空问上存在 (，)半范数的 特 征． 本文 1995年 9月 1日收到． 1996年 2月 22 日收到修改稿． 山西太学教学系，太原 030006 国家 自然科学基垒、山西省青年科学基金和 山西省 自然科学基金资助 的项 目 数 学 年 刊 17卷 A 辑 本文引入 (卢，k)凸泛函 它显然包含了 (卢，k)半范数，通过对 (卢，k)凸集性质的讨 论并寻找 (卢，k)绝对凸集 1与 ( k)半范数之 问的关系，给出了如下结果 ： (1)得到一类赋 范空间上存在无界且在某点半连续的 (卢，k)凸泛函的特征；(2)得 到 了线性拓扑空间上存在连续 k)范数 (卢，k)半范数的特征；(3)得到了线性拓扑空 间可赋 (卢，)与可赋P范 0=—1+—1o~一K)的等价性 ；线性拓扑空间可赋 (卢，k)范与它上存 在 (卢，k)有界绝对 凸集的等价性 ；(4)得到了线性拓扑空问上存在非零、连续 (，k)半范 数与它上存在非零 、连续P次加泛函 (P= )的等价性．