Lebesgue定理与Baire刻画定理的等价性

IF 0.3 Q4 MATHEMATICS
Jonald P. Fenecios, A. Racca
{"title":"Lebesgue定理与Baire刻画定理的等价性","authors":"Jonald P. Fenecios, A. Racca","doi":"10.22342/jims.28.2.1064.158-163","DOIUrl":null,"url":null,"abstract":"Let $X$ be a complete separable metric space and $Y$ be a separable Banach space. We provide a proof of equivalence by linking explicitly the following statements:\\\\ \\noindent \\textbf{\\textit{Lebesgue's Theorem.}} For every $\\epsilon>0$ there exists a countable collection of closed sets $\\left\\lbrace C_n\\right\\rbrace $ of $X$ such that $$X=\\bigcup_{n=1}^{\\infty}C_n\\;\\;\\text{and}\\;\\; \\omega_f\\left( C_n\\right)<\\epsilon\\;\\; \\text{for each} \\;\\; n.$$ \\textbf{\\textit{Baire Characterization Theorem.}} For every nonempty perfect set $K\\subset X$, the function $f|_K$ has at least one point of continuity in $K$. In fact, $C(f|_K)$ is dense in $K$.\\\\ \\indent Moreover, replacing ``closed'' by ``open'' in the Lebesgue's Theorem, we obtain a characterization of continuous functions on space $X$.","PeriodicalId":42206,"journal":{"name":"Journal of the Indonesian Mathematical Society","volume":null,"pages":null},"PeriodicalIF":0.3000,"publicationDate":"2022-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Equivalence of Lebesgue's Theorem and Baire Characterization Theorem\",\"authors\":\"Jonald P. Fenecios, A. Racca\",\"doi\":\"10.22342/jims.28.2.1064.158-163\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $X$ be a complete separable metric space and $Y$ be a separable Banach space. We provide a proof of equivalence by linking explicitly the following statements:\\\\\\\\ \\\\noindent \\\\textbf{\\\\textit{Lebesgue's Theorem.}} For every $\\\\epsilon>0$ there exists a countable collection of closed sets $\\\\left\\\\lbrace C_n\\\\right\\\\rbrace $ of $X$ such that $$X=\\\\bigcup_{n=1}^{\\\\infty}C_n\\\\;\\\\;\\\\text{and}\\\\;\\\\; \\\\omega_f\\\\left( C_n\\\\right)<\\\\epsilon\\\\;\\\\; \\\\text{for each} \\\\;\\\\; n.$$ \\\\textbf{\\\\textit{Baire Characterization Theorem.}} For every nonempty perfect set $K\\\\subset X$, the function $f|_K$ has at least one point of continuity in $K$. In fact, $C(f|_K)$ is dense in $K$.\\\\\\\\ \\\\indent Moreover, replacing ``closed'' by ``open'' in the Lebesgue's Theorem, we obtain a characterization of continuous functions on space $X$.\",\"PeriodicalId\":42206,\"journal\":{\"name\":\"Journal of the Indonesian Mathematical Society\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2022-07-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the Indonesian Mathematical Society\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.22342/jims.28.2.1064.158-163\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the Indonesian Mathematical Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.22342/jims.28.2.1064.158-163","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

设$X$是完全可分度量空间$Y$是可分巴拿赫空间。我们通过明确地链接以下语句来提供等价性证明:\\ \noindent \textbf{\textit{勒贝格定理。}}对于每一个$\epsilon>0$,存在一个$X$的闭集$\left\lbrace C_n\right\rbrace $的可数集合,使得$$X=\bigcup_{n=1}^{\infty}C_n\;\;\text{and}\;\; \omega_f\left( C_n\right)<\epsilon\;\; \text{for each} \;\; n.$$\textbf{\textit{Baire表征定理成立。}}对于每一个非空完美集$K\subset X$,函数$f|_K$在$K$中至少有一个连续点。事实上,$C(f|_K)$比$K$更密集。\\ \indent 此外,将勒贝格定理中的“闭”替换为“开”,得到了空间上连续函数$X$的一个表征。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Equivalence of Lebesgue's Theorem and Baire Characterization Theorem
Let $X$ be a complete separable metric space and $Y$ be a separable Banach space. We provide a proof of equivalence by linking explicitly the following statements:\\ \noindent \textbf{\textit{Lebesgue's Theorem.}} For every $\epsilon>0$ there exists a countable collection of closed sets $\left\lbrace C_n\right\rbrace $ of $X$ such that $$X=\bigcup_{n=1}^{\infty}C_n\;\;\text{and}\;\; \omega_f\left( C_n\right)<\epsilon\;\; \text{for each} \;\; n.$$ \textbf{\textit{Baire Characterization Theorem.}} For every nonempty perfect set $K\subset X$, the function $f|_K$ has at least one point of continuity in $K$. In fact, $C(f|_K)$ is dense in $K$.\\ \indent Moreover, replacing ``closed'' by ``open'' in the Lebesgue's Theorem, we obtain a characterization of continuous functions on space $X$.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
0.70
自引率
33.30%
发文量
20
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信