Pure Mathematics
Vol.
09
No.
05
(
2019
), Article ID:
31497
,
6
pages
10.12677/PM.2019.95085
Conjugate Space of PC[0,1]
Hui Wen, Baoqiang Yan
Shandong Normal University, Jinan Shandong
Received: Jul. 2nd, 2019; accepted: Jul. 22nd, 2019; published: Jul. 29th, 2019
ABSTRACT
Based on the construction method of conjugate space of continuous function space and Stieltjes integral theory, this paper obtains the conjugate space of the PC[0,1] space in which the functions has finite discontinuous points, has right limit at discontinuity points and is left continuous at discontinuity points. Finally, we get conjugate space of the PC[0,1] space in which the functions has infinite discontinuous points, has right limit at discontinuity points and is left continuous at discontinuity points also.
Keywords:Conjugate Space, PC Space, Bounded Variation Function, Stieltjes Integral
PC[0,1]的共轭空间
温慧,闫宝强
山东师范大学,山东 济南
收稿日期:2019年7月2日;录用日期:2019年7月22日;发布日期:2019年7月29日
摘 要
本文基于连续函数空间的共轭空间的构造方法,通过Stieltjes积分理论,得到了区间上具有有限个间断点,在间断点处仅左连续且右极限存在的函数全体所成空间的共轭空间。随后给出区间上具有无限个间断点,在间断点处仅左连续且右极限存在的函数全体所成空间的共轭空间。
关键词 :共轭空间,PC空间,有界变差函数,Stieltjes积分
Copyright © 2019 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
空间是指在 区间上具有有限个间断点,在间断点处函数左连续且右极限存在的函数构成的空间,即:
= { , 在 时连续,在 时,有 ,且 存在有限},该空间范数定义为 。
该类空间常见于脉冲微分方程研究中,见 [1] [2] [3] 。另一方面,Banach空间的共轭空间提供了认识原空间的新工具,其确立极为重要,比如由此派生的强拓扑、弱拓扑乃至弱*拓扑的概念,见文献 [4] [5] 。众多数学工作者对空间及其共轭空间的构造做了很多的研究,也取得了很多成果,见参考文献 [6] [7] [8] [9] 。本文将对 区间上具有有限个间断点,且在间断点处左连续且右极限存在的函数全体构成的空间- 空间的共轭空间进行研究,然后对 区间上具有无限个间断点,且在间断点处左连续且右极限存在的函数全体构成的空间的共轭空间进行论述。
2. 基础知识
首先,根据参考文献 [10] ,给出区间 上的全变差函数及有界变差函数的定义及性质。
定义1.1 [10] :设f为定义在区间 上的函数,考察区间 上的任意一组分点: 。对于任一组分点,称上确界 为函数f区间 上的全变差(全变分),记为 。
定义1.2 [10] :设f为定义在区间 上的函数,考察区间 上的任意一组分点 。若对任意分划T,变差 都不超过某个正常数,即存在正数M,使得对一切分划T,有 成立,则称函数f为区间 上的有界变差函数。
定义1.3 [10] :设 为 区间上的有界变差函数的全体,它按照通常的线性运算及范数 , 成为赋范线性空间。
定理1.1 [10] :若f为区间上的有界变差函数,则f在区间 上有界。
其次,根据参考文献 [5] ,给出同构映射及保范同构映射的定义。
定义1.4 [5] :对于线性空间 ,若映射f具有以下性质:
1) f为双射;
2) ;
3) 。
则称f是V到 的同构映射,并称线性空间V与 同构,记作 。
保范同构映射则是在同构映射的前提下要求保证映射前后的范数相等,即要求一个线性映射将一个空间中的线性泛函一对一的映射到另外一个赋范线性空间,而且映射后的元素的范数和映射前的线性泛函的范数相等。
定义1.5 [5] :设X和Y是两个赋范线性空间,T是X到Y中的线性算子,并且对X中所有的x,有 成立,则称T是X到Y中的保距算子。如果T又是映射到Y上的,则称T是同构映射,称X与Y同构。
事实上,等距同构的两个空间除了符号不同之外,在结构上无法区别,在这种意义上也称这两个空间相等。
然后,根据参考文献 [11] ,给出Hahn-Banach定理的内容。
定理1.2 [11] :设 是赋范线性空间,是 的线性子空间, 是定义在 上的有界线性泛函,那么空间 上必有一个有界线性泛函f,满足
1) (保范条件);
2) (延拓条件);
其中, 表示 在 上的范数。
由于f满足(1),(2)两个条件,通常称f为 的保范延拓。
3. PC空间的共轭空间
定义
其中, 。
在空间 上赋以范数 ,,则有空间 是完备的赋范线性空间。
定理2.1: 。即:
1) 对 空间中的任一函数 ,其对应于空间 上的一个线性连续泛函 ;
2) 对空间 中的任意函数f,必在空间 中存在唯一的函数g,使得对空间 中的任意函数 ,满足 及 。
证明:
第一步:证明对 空间中的任一元素g,其对应于空间 上的一个线性连续泛函 。
对空间 中的任一元素g,对于 空间内的任意元素,由定义,函数 在 区间上有界,即 ,使得 , 成立。从而有函数 在区间 上的振幅 。
已知函数 在区间 上有有限个间断点: 。对于区间 上的任意分割 。在其分割成的n个小区间: 中,至多有2m个小区间含有间断点。于是将振幅和分成两部分
其中, 是相应于分割T中含有间断点的那些小区间的振幅和,其项数至多为2m项。 是相应于分割T中不含有间断点的那些小区间的振幅和。
由定理1.1,函数g有界,即 ,。于是对任意的 ,有成立。因为 的项数至多为2m项,故对 ,,且 ,当 时,有
在 所对应的小区间上,函数 连续,从而一致连续。故 ,,当 时,可以保证函数 在这些小区间的振幅都小于 。于是有
因此,取 ,对于区间 的任一分割T,只要 ,有
故可得积分存在。
由Stieltjes积分,定义 ,。从定义可见,对 空间中的任一元素g,定义 。
显然,有
其中,k为数域P中任一元素, 。即可得 为一连续线性泛函。由 ,可得 。所以有 。
第二步:证明对空间 中的任意元素f,必在空间 中存在唯一的元素g,使得对空间 中的任意元素 ,成立 ,且有 。
定义 ,令函数 为间断的特征函数,即
考虑区间 上全体有界函数所成空间 。显然,空间 是空间 的一个闭子空间。对空间 中任意的元素 ,有 。
根据定理1.2,对于空间 中任一元素f,必存在空间 中的元素F,使得 ,且对空间 中任意的函数 ,成立 ,并且有 。
由定义,可知 ,所以有 ,。
以下证明上述定义的函数 ,并且满足 。
对区间 上的任意分割 。记
于是,我们有
即可得出 ,并且满足 。
以下证 成立。
对于空间 上的任意元素 ,对任意的 ,取分割T,保证 空间内的元素 的间断点都位于分点处,则对任意 ,,成立 。
由积分存在性,可得 ,,令 。可得
由 的任意性,即得成立。
以下证明g的唯一性。
不妨假设存在 空间中的两个元素 ,成立 。即有 ,由函数 的任意性,可得函数g与 是几乎处处相等的函数。
即证唯一性。
综上, 是空间 到空间 的一个等距同构,即有 。证毕。
以下针对 区间上具有无限个间断点,且在间断点处函数左连续且右极限存在的函数构成的空间(仍记为 )的共轭空间进行研究论述。
定理2.2: 。
证明:
对于 空间内的任意元素 ,对空间 中的任一元素g,由定义,函数 在 区间上有界,即 ,使得 , 成立。
对任意正数 ,由函数 在 区间上有无限多个间断点: ,且由 及 ,可知,存在足够小的正数 ,在 上,有 。
在区间 上,函数 仅有有限个间断点,由定理2.1可知,积分 存在。故对区间 上的任意分割 ,有振幅和 。
因此将分割T与区间右端点1合成 区间上一个新的分割 ,则对于区间 上的分割 ,有振幅和
即可得积分 存在。
根据Stieltjes积分,定义 ,。从定义可见,对 空间中的任一函数 ,其对应于空间 上的一个线性连续泛函 。使其满足 。所以有。
以下证明对空间 中的任意元素f,必在空间 中存在唯一的元素g,使得对空间 中的任意元素 ,成立及 。
证明过程同定理2.1一致,在此不予详证。
综上, 是空间 到空间 的一个等距同构,即有 。证毕。
文章引用
温 慧,闫宝强. PC[0,1]的共轭空间
Conjugate Space of PC[0,1][J]. 理论数学, 2019, 09(05): 641-646. https://doi.org/10.12677/PM.2019.95085
参考文献
- 1. 郭大钧, 孙经先, 刘兆理. 非线性常微分方程中的泛函方法[M]. 济南: 山东科学技术出版社, 2005.
- 2. Lakshmikantham, V. and Simeonov, P.S. (1989) Theory of Impulsive Differential Equations. World Scien-tific Publishing Co Pte Ltd., Singapore.
https://doi.org/10.1142/0906 - 3. Kalton, N.J., Peck, N.T. and Roberts, J.W. (1984) An F-Space Sampler. Cambridge University Press, London.
https://doi.org/10.1017/CBO9780511662447 - 4. 吕和祥, 王天明. 实用泛函分析[M]. 大连: 大连理工大学出版社, 2011.
- 5. 周美柯. 泛函分析[M]. 北京: 北京师范大学出版社, 2011.
- 6. 王文智, 康晓红. 基本巴拿赫空间[M]. 广州: 华南理工大学出版社, 2013.
- 7. 李艳玲, 赵静. KlnK共轭空间的构造及其性质[J]. 河北工业大学学报, 2005, 34(4): 79-81.
- 8. 王见勇. 几个ι0类赋准范空间的共轭空间的表示定理[J]. 数学学报, 2016, 59(4): 519-526.
- 9. 向阳洁, 陈国贤, 罗先发. 一个赋范空间的完备化及共轭空间[J]. 吉首大学学报(自然科学版), 2006, 27(2): 25-27.
- 10. 郭大钧, 黄春朝, 梁方豪, 韦忠礼. 实变函数与泛函分析[M]. 济南: 山东大学出版社, 2005.
- 11. 何穗, 刘敏思. 实变函数[M]. 武汉: 华中师范大学出版社, 2013.