Integral of Continuous Functions of Two Variables

被引：2

作者：

Endou, Noboru ^{[1
]}

Shidama, Yasunari ^{[2
]}

机构：

[1] Gifu Coll, Natl Inst Technol, 2236-2 Kamimakuwa, Motosu, Gifu, Japan

[2] Karuizawa Hotch 244-1, Nagano, Japan

来源：

FORMALIZED MATHEMATICS | 2023年 / 31卷 / 01期

关键词：

double integral; repeated integral; REAL ANALYSIS;

D O I：

10.2478/forma-2023-0025

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a continuous function of two variables coincides with the Riemann iterated integral of a projective function.

引用

页码：309 / 324

页数：16

共 50 条

[41] INTEGRAL REPRESENTATION OF CONTINUOUS FUNCTIONS
RUDIN, W
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1950, 68 (MAR) : 278 - 286
[42] INTEGRAL REPRESENTATION OF CONTINUOUS FUNCTIONS
RUDIN, W
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (11) : 1064 - 1065
[43] Best cubature formulas for some classes of continuous functions of two variables
O. V. Polyakov
N. O. Polyakova
Ukrainian Mathematical Journal, 2009, 61 : 687 - 693
[44] On Divergence Almost Everywhere of Fourier Series of Continuous Functions of Two Variables
Antonov, N. Yu.
IZVESTIYA SARATOVSKOGO UNIVERSITETA NOVAYA SERIYA-MATEMATIKA MEKHANIKA INFORMATIKA, 2014, 14 (04): : 497 - 505
[45] A characterization of Herglotz-Nevanlinna functions in two variables via integral representations
Luger, Annemarie
Nedic, Mitja
ARKIV FOR MATEMATIK, 2017, 55 (01): : 199 - 216
[46] On certain new nonlinear retarded integral inequalities for functions in two variables and their applications
Ma, Qing-Hua
Pecaric, Josip
JOURNAL OF THE KOREAN MATHEMATICAL SOCIETY, 2008, 45 (01) : 121 - 136
[47] Best cubature formulas for some classes of continuous functions of two variables
Polyakov, O. V.
Polyakova, N. O.
UKRAINIAN MATHEMATICAL JOURNAL, 2009, 61 (04) : 687 - 693
[48] Post-quantum Ostrowski type integral inequalities for functions of two variables
Vivas-Cortez, Miguel
Ali, Muhammad Aamir
Budak, Huseyin
Sial, Ifra Bashir
AIMS MATHEMATICS, 2022, 7 (05): : 8035 - 8063
[49] ON THE RECOVERY OF CONTINUOUS FUNCTIONS OF TWO VARIABLES FROM NOISY FOURIER COEFFICIENTS
Sharipov, Kosnazar
JOURNAL OF NUMERICAL AND APPLIED MATHEMATICS, 2012, 3 (109): : 116 - 124
[50] A STUDY OF SEMIOTIC REGISTERS IN THE DEVELOPMENT OF THE DEFINITE INTEGRAL OF FUNCTIONS OF TWO AND THREE VARIABLES
Daniel Lee McGee
Rafael Martinez-Planell
International Journal of Science and Mathematics Education, 2014, 12 : 883 - 916

← 1 2 3 4 5 →