Integral of Complex-Valued Measurable Function
Description
Summary. In this article, we formalized the notion of the integral of a complex-valued function considered as a sum of its real and imaginary parts. Then we defined the measurability and integrability in this context, and proved the linearity and several other basic properties of complex-valued measurable functions. The set of properties showed in this paper is based on [15], where the case of real-valued measurable functions is considered. MML identifier: MESFUN6C, version: 7.9.01 4.101.1015
Journal
-
- Formalized Mathematics
-
Formalized Mathematics 16 2008-01-01
Walter de Gruyter GmbH
- Tweet
Details 詳細情報について
-
- CRID
- 1871991017550561280
-
- ISSN
- 18989934
- 14262630
-
- Data Source
-
- OpenAIRE