Multidimensional Measure Space and Integration

IF 1 Q1 MATHEMATICS

Formalized Mathematics Pub Date : 2023-09-01 DOI:10.2478/forma-2023-0017

N. Endou, Y. Shidama

引用次数: 0

Abstract

Summary This paper introduces multidimensional measure spaces and the integration of functions on these spaces in Mizar. Integrals on the multidimensional Cartesian product measure space are defined and appropriate formal apparatus to deal with this notion is provided as well.

查看原文本刊更多论文

多维测量空间与整合

摘要本文介绍了多维量度空间以及这些空间上的函数在 Mizar 中的积分。本文定义了多维笛卡尔积度量空间上的积分，并提供了处理这一概念的适当形式装置。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Formalized Mathematics MATHEMATICS-

自引率

0.00%

发文量

审稿时长

10 weeks

期刊介绍： Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics.