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 条
  • [31] On real-valued oscillations of a bipendulum
    Kozlov, Valery V.
    Buslaev, Alexander P.
    Tatashev, Alexander G.
    APPLIED MATHEMATICS LETTERS, 2015, 46 : 44 - 49
  • [32] ON REAL-VALUED PROXIMITY MAPPINGS
    NJASTAD, O
    MATHEMATISCHE ANNALEN, 1964, 154 (05) : 413 - 419
  • [33] Models of real-valued measurability
    Fuchino, Sakae
    Greenberg, Noam
    Shelah, Saharon
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 142 (1-3) : 380 - 397
  • [34] for derivative of real-valued functions
    Magiotto, Murilo H.
    Zanin, Guilherme L.
    Cardoso, Wesley B.
    Avelar, Ardiley T.
    Gomes, Rafael M.
    OPTICS AND LASER TECHNOLOGY, 2025, 182
  • [35] Hyperproperties of Real-Valued Signals
    Luan Viet Nguyen
    Kapinski, James
    Jin, Xiaoqing
    Deshmukh, Jyotirmoy, V
    Johnson, Taylor T.
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 105 - 114
  • [36] Is real-valued minimax pathological?
    Lustrek, M
    Gams, M
    Bratko, I
    ARTIFICIAL INTELLIGENCE, 2006, 170 (6-7) : 620 - 642
  • [37] ON OSCILLATIONS OF REAL-VALUED FUNCTIONS
    Kharazishvili, Alexander
    TRANSACTIONS OF A RAZMADZE MATHEMATICAL INSTITUTE, 2021, 175 (01) : 63 - 67
  • [38] Itemsets for Real-valued Datasets
    Tatti, Nikolaj
    2013 IEEE 13TH INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), 2013, : 717 - 726
  • [39] Benchmarking real-valued acts
    Castagnoli, Erio
    LiCalzi, Marco
    GAMES AND ECONOMIC BEHAVIOR, 2006, 57 (02) : 236 - 253
  • [40] GCS with real-valued input
    Cielecki, Lukasz
    Unold, Olgierd
    BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS, 2007, 4527 : 488 - +
12345