×
诺博鲁恩多

绝对可积函数。 （英语） Zbl 07835204号

福尔马利兹。数学。 30，第1期，31-52（2022年）.
小结：本文的目的是阐明黎曼广义积分与勒贝格积分之间的关系。在以前的文章中[作者，同上29，第4号，201–220（2021；Zbl 1494.68298号); 同上，29，第4号，279-294（2021年；Zbl 1494.68299号)]，我们处理了Riemann的反常积分[T.M.阿波斯托，数学分析。美国波士顿：Addison-Wesley（1969）][G.B.福兰德，实际分析。现代技术及其应用。第二版，纽约：Wiley（1999；Zbl 0924.28001号)]和[V.I.博加乔夫和Soares Ruas硕士《测量理论》第1卷。柏林：Springer（2007）]关于任意间隔。因此，在本文中，我们将继续澄清不恰当积分和勒贝格积分之间的关系[作者，Formaliz.Math.29，No.4，185-199（2021；Zbl 1494.68297号)]，使用Mizar[G.班塞雷克等，J.Autom。推理61，No.1-4，9-32（2018；Zbl 1433.68530号); 莱克特。注释计算。科学。9150, 261–279 (2015;兹比尔1417.68201)]形式主义。

MSC公司：

68V20型 数学形式化与定理证明
26A42型 Riemann、Stieltjes和Lebesgue型积分

关键词：

绝对可积的;反常积分

引文：

Zbl 1494.68298号;Zbl 1494.68299号;Zbl 0924.28001号;Zbl 1494.68297号;Zbl 1433.68530号;Zbl 1417.68201号

软件：

米扎尔
PDF格式BibTeX公司 XML格式引用
\textit{N.Endou}，福尔马利兹。数学。30，编号1，31-52（2022；Zbl 07835204）
全文： 内政部

参考文献：

[1] 汤姆·M·阿波斯托。数学分析。艾迪森·韦斯利，1969年·Zbl 0309.26002号
[2] 格热戈兹·班塞雷克（Grzegorz Bancerek）、塞斯·瓦夫·拜林斯基（Czesław Bylinñski）、亚当·格拉博夫斯基（Adam Grabowski）、阿图尔·科尔尼·奥威茨（Artur Korni \322；owicz）、罗曼·马图舍夫斯基（Roman Matuszewski），亚当·诺莫维奇（。米扎尔：最先进的和超越的。在Manfred Kerber、Jacques Carette、Cezary Kaliszyk、Florian Rabe和Volker Sorge，《智能计算机数学》编辑，《计算机科学讲义》第9150卷，第261-279页。施普林格国际出版公司，2015年。国际标准图书编号978-3-319-20614-1。doi:·Zbl 1417.68201号
[3] 格热戈兹·班塞雷克（Grzegorz Bancerek）、Czesław Bylinñski、亚当·格拉博夫斯基（Adam Grabowski）、阿图尔·科尔尼·奥维茨（Artur Korni \322；owicz）、罗曼·马图塞夫斯基（Roman Matuszewski），亚当·诺莫维奇（Adam Naumowic。Mizar数学图书馆在Mizar交互式证明开发中的作用。《自动推理杂志》，61（1）：9-322018年。doi:·Zbl 1433.68530号
[4] Vladimir Igorevich Bogachev和Maria Aparecida Soares Ruas。测量理论，第1卷。施普林格，2007年。
[5] 诺伯鲁·恩多。扩展实值双序列及其收敛性。形式化数学，23（3）：253-2772015。doi:·Zbl 1321.40001号
[6] 诺伯鲁·恩多。积分不正确。第一部分形式化数学，29（4）：201-220，2021。doi:·Zbl 1494.68298号
[7] 诺伯鲁·恩多。积分不正确。第二部分。形式化数学，29（4）：279-2942021。doi:·Zbl 1494.68299号
[8] 诺伯鲁·恩多。黎曼积分和勒贝格积分之间的关系。形式化数学，29（4）：185-1992021。doi:·Zbl 1494.68297号
[9] Noboru Endou、Katsumi Wasaki和Yasunai Shidama。扩展实数的基本性质。形式化数学，9（3）：491-4942001。
[10] 内藤信郎、石达马和山崎雅彦。可积性与部分函数从ℝ到\8477»的积分。形式化数学，14（4）：207-2121006。doi:。
[11] 杰拉尔德·福兰德（Gerald B.Folland）。真实分析：现代技术及其应用。威利，第二版，1999年·Zbl 0924.28001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。