关于共轭双线性算子与泛函.pdfVIP

维普资讯 第 29卷第 12期 2007年 12月 VoI．29 No．12 Dec． 2007 文章编号：1673—9868(2007)12—0040—05 TJ O m 关于共轭双线性算子与泛函 S O 西 叭 宋述 刚， 洪云飞 南 w e 长江大学 信息与数学学院，湖北 荆州 434023 大 学 摘要：给 出了赋范线性空间上的有界共轭双线性算子及共轭双线性算子空间的概念，得到 了相关性质定理，并讨 学 论 了有界共轭双线性泛 函及共轭双线性泛 函空 间的形式及性质 报 关 键 词：赋范线性空间；共轭有界双线性算子 ；共轭双线性泛函空 间 ( 中图分类号 ：O177．2 文献标识码 ：A 然 № 学科 -亘 Hilbert空间H 中的内积 (， )实际上是 H ×H 上的一个特殊双线性泛函，它是内积空间中一个基本 ) C 收 S 概念．一个 自然的问题是 ，能否将其推广到一般的赋范线性空间上去．本文给出了赋范线性空间上的有界 e 共轭双线性算子及共轭双线性算子空间的概念 ，得到了相关性质定理 ，并特别讨论 了有界共轭双线性泛 函 E d 及共轭双线性泛函空间的形式及性质． D∞ 1 基本概念 一 定义 1 设 ，y，Z同为复的赋范线性空间，B：X×y一 +Z称为共轭双线性算子 ，如果对任意 (z， ) ∈x×Y及任意复数 Ⅱ， (i= 1，2)，都有 B(a15C1+ 25C2，卢1-y1+ 2) =0Q卢1B(xl，Y1)4-Ⅱ1B(xl，Y2)+Ⅱ2 B(x2，Y1)+口2 B(x2，Y2) 又B称为有界的，如果存在常数M 0，使得 lJB(z， )ll≤M ll ll·Jl jj，(，)∈x×Y． 当x，y，z同为实的赋范线性空间时，定义 1中的等式为 B(a1z1+Ⅱ2z2，卢1Y1+ Y2) =0f1卢1B(xl，y1)+Ⅱ1B(xl，Y2)+Ⅱ2 B(z2，Y1)+012 B(x2，Y2) 其中n， (一 1，2)为实数 ，此时 B称为双线性算子． 显然，B有界、B连续、B(x， )分别对两个变元 ，Y连续这 3个概念等价． 记 国(X ×Y，Z)为全体从X ×Y到Z的有界 (共轭)双线性算子的集合． 定义 2 设B ，Bz∈纫(X ×Y，Z)，Ⅱ是数 ，定义 (B1+ B2)(z， )一 B1(z， )+ B2(z， ) (aB1)( ， )= aB1( ， ) (z， )∈ X ×Y 显然 国(X ×Y，Z)按上述加法与数乘运算成为一个线性空间． 定义3 设 B ∈ (X ×Y，Z)，定义 B的范数为 llBl{一 sup llB(z， )ll 收稿 13期 ：2007—06—22 基金项 目：湖北省教育厅重点项 目(2003A008)． 作者简介 ：宋述刚(1961～)，男 ，湖北荆 门人 ．教授 ，硕士生导师 ，主要从事 函数论及数学史方面的研究