Integral of Real-Valued Measurable Function

被引：8
|
作者：
Shidama, Yasunari [1 ]
Endou, Noboru [2 ]
机构：
[1] Shinshu Univ, Nagano, Japan
[2] Gifu Natl Coll Technol, Gifu, Japan
来源：
FORMALIZED MATHEMATICS | 2006年 / 14卷 / 04期
关键词：
D O I：
10.2478/v10037-006-0018-8
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Based on [16], authors formalized the integral of an extended real valued measurable function in [12] before. However, the integral argued in [12] cannot be applied to real-valued functions unconditionally. Therefore, in this article we have formalized the integral of a real-value function.
引用
收藏
页码：143 / 152
页数：10
相关论文
共 50 条
  • [41] How to find a Khalimsky-continuous approximation of a real-valued function
    Melin, E
    COMBINATORIAL IMAGE ANALYSIS, PROCEEDINGS, 2004, 3322 : 351 - 365
  • [42] Integral of Measurable Function
    Endou, Noboru
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2006, 14 (02): : 53 - 70
  • [43] Some properties of integration of real-valued function over a fuzzy interval
    Shakhatreh, M. A.
    Al-Shorman, A. M.
    INTERNATIONAL JOURNAL OF ADVANCED AND APPLIED SCIENCES, 2021, 8 (12): : 9 - 13
  • [44] The metric theory of the pair correlation function of real-valued lacunary sequences
    Rudnick, Zeev
    Technau, Niclas
    ILLINOIS JOURNAL OF MATHEMATICS, 2020, 64 (04) : 583 - 594
  • [45] Frequency estimation of a single real-valued sinusoid: An invariant function approach
    Candan, Cagatay
    Celebi, Utku
    SIGNAL PROCESSING, 2021, 185
  • [46] Social Grammatical Evolution with Imitation Learning for Real-Valued Function Estimation
    Le, Nam
    O'Neill, Michael
    Fagan, David
    Brabazon, Anthony
    2017 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2017, : 1572 - 1578
  • [47] Representing preference relations with nontransitive indifference by a single real-valued function
    Bosi, G
    Isler, R
    ECONOMIC AND ENVIRONMENTAL RISK AND UNCERTAINTY: NEW MODELS AND METHODS, 1997, 35 : 257 - 262
  • [48] A fully complex-valued radial basis function classifier for real-valued classification problems
    Savitha, R.
    Suresh, S.
    Sundararajan, N.
    Kim, H. J.
    NEUROCOMPUTING, 2012, 78 (01) : 104 - 110
  • [49] REAL-VALUED CHARACTERS OF METACYCLIC GROUPS
    BASMAJI, BG
    PACIFIC JOURNAL OF MATHEMATICS, 1971, 39 (03) : 553 - &
  • [50] Real-Valued Observables and Quantum Uncertainty
    Stan Gudder
    International Journal of Theoretical Physics, 62
12345