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] REGULAR SPACE ON WHICH EVERY CONTINUOUS REAL-VALUED FUNCTION IS CONSTANT
    GANTNER, TE
    AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (01): : 52 - &
  • [43] Integral of Measurable Function
    Endou, Noboru
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2006, 14 (02): : 53 - 70
  • [44] 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
  • [45] 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
  • [46] 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
  • [47] Frequency estimation of a single real-valued sinusoid: An invariant function approach
    Candan, Cagatay
    Celebi, Utku
    SIGNAL PROCESSING, 2021, 185
  • [48] 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
  • [49] 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
  • [50] Sample Compression for Real-Valued Learners
    Hanneke, Steve
    Kontorovich, Aryeh
    Sadigurschi, Menachem
    ALGORITHMIC LEARNING THEORY, VOL 98, 2019, 98
12345