Author:
(1) Attila Losonczi. Table of Links Abstract and 1 Introduction 1.1 Basic notions and notations 1.2 Basic definitions from [7] and [8] 2 Generalized integral 2.1 Multiplication on [0, +∞) × [−∞, +∞] 2.2 Measurability 2.3 The integral of functions taking values in [0, +∞) × [0, +∞) 3 Applications 4 References 2.3 The integral of functions taking values in [0, +∞) × [0, +∞) We are now ready to define the integral in the promised more general context. When building the theory of the integral, we then can follow the same way we had in subsection [8]?? and we can show that the integral of simple functions is well-defined, and having the required properties (see [8]??), and the integral provides an h-measure (see [8]??). For those, one has to observe only that in this more general context too, we only need that the multiplication is commutative, associative and distributive, and the properties in 2.3 and 2.9 hold. We just repeat those three statements without proofs; the reader can check them easily. Proposition 2.18. The integral in definition 2.17 is well defined. Proposition 2.19. Let (K, S, µ) be an h-measure space. Let f, g : K → [0, +∞)×[0, +∞) be measurable simple functions. Then the followings hold. As in subsection [8]??, the next step is to define the integral of nonnegative functions. Definition 2.21. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then set where a simple function takes its values from [0, +∞) × [0, +∞). Now we are going to prove that the integral is additive. which yields that which together with the first inequality (at the beginning of the proof) gives the claim Theorem 2.28. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then is an h-measure on S. Remark 2.31. By remark 2.2, this integral is a natural generalization of the one described in [8] Furthermore it also handles the case when f taking values from [0, +∞) × [0, +∞) and µ is an ordinary measure only: just apply proposition [8]??. The most natural embedding is when we have µ(S) = (0, ν(S)) (S ∈ S) for given measure ν on S. Now we present a way how the integral can be calculated. First we need an extension of the notion of simple function where we allow that its second coordinate function takes +∞ as a value as well. Definition 2.32. We call g : K → [0, +∞) × [0, +∞] an i-simple function if Rang is finite. Lemma 2.33. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then Theorem 2.34. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then When validating the equality for the second coordinate, there are two cases. Remark 2.35. Note that in the formulation of the theorem, inside the definition of d, the condition µ(L) > (0, 0) is essential, but inside the definition of m, the condition µ(Li) > (0, 0) can be omitted. We can apply the previous theorem when µ is an ordinary measure. Lemma 2.36. Let (K, S, ν) be a measure space. Let f : K → [0, +∞) be a measurable function. Then Theorem 2.37. Let (K, S, ν) be a measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license. Author: (1) Attila Losonczi. Author: Author: (1) Attila Losonczi. Table of Links Abstract and 1 Introduction Abstract and 1 Introduction 1.1 Basic notions and notations 1.1 Basic notions and notations 1.2 Basic definitions from [7] and [8] 1.2 Basic definitions from [7] and [8] 2 Generalized integral 2.1 Multiplication on [0, +∞) × [−∞, +∞] 2.1 Multiplication on [0, +∞) × [−∞, +∞] 2.2 Measurability 2.2 Measurability 2.3 The integral of functions taking values in [0, +∞) × [0, +∞) 2.3 The integral of functions taking values in [0, +∞) × [0, +∞) 3 Applications 3 Applications 4 References 4 References 2.3 The integral of functions taking values in [0, +∞) × [0, +∞) We are now ready to define the integral in the promised more general context. When building the theory of the integral, we then can follow the same way we had in subsection [8]?? and we can show that the integral of simple functions is well-defined, and having the required properties (see [8]??), and the integral provides an h-measure (see [8]??). For those, one has to observe only that in this more general context too, we only need that the multiplication is commutative, associative and distributive, and the properties in 2.3 and 2.9 hold. We just repeat those three statements without proofs; the reader can check them easily. Proposition 2.18. The integral in definition 2.17 is well defined. Proposition 2.18. The integral in definition 2.17 is well defined. Proposition 2.19. Let (K, S, µ) be an h-measure space. Let f, g : K → [0, +∞)×[0, +∞) be measurable simple functions. Then the followings hold. Proposition 2.19. Let (K, S, µ) be an h-measure space. Let f, g : K → [0, +∞)×[0, +∞) be measurable simple functions. Then the followings hold. As in subsection [8]??, the next step is to define the integral of nonnegative functions. Definition 2.21. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then set Definition 2.21. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then set where a simple function takes its values from [0, +∞) × [0, +∞). Now we are going to prove that the integral is additive. which yields that which together with the first inequality (at the beginning of the proof) gives the claim Theorem 2.28. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then Theorem 2.28. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then is an h-measure on S. is an h-measure on S. Remark 2.31. By remark 2.2, this integral is a natural generalization of the one described in [8] Remark 2.31. By remark 2.2, this integral is a natural generalization of the one described in [8] Furthermore it also handles the case when f taking values from [0, +∞) × [0, +∞) and µ is an ordinary measure only: just apply proposition [8]??. The most natural embedding is when we have µ(S) = (0, ν(S)) (S ∈ S) for given measure ν on S. Furthermore it also handles the case when f taking values from [0, +∞) × [0, +∞) and µ is an ordinary measure only: just apply proposition [8]??. The most natural embedding is when we have µ(S) = (0, ν(S)) (S ∈ S) for given measure ν on S. Now we present a way how the integral can be calculated. First we need an extension of the notion of simple function where we allow that its second coordinate function takes +∞ as a value as well. Definition 2.32. We call g : K → [0, +∞) × [0, +∞] an i-simple function if Rang is finite. Definition 2.32. We call g : K → [0, +∞) × [0, +∞] an i-simple function if Rang is finite. Lemma 2.33. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then Lemma 2.33. Let (K, S, µ) be an h-measure space. Let f : K → be a measurable function. Then Theorem 2.34. Let (K, S, µ) be an h-measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then Theorem 2.34. Let (K, S, µ) be an h-measure space. Let f : K → be a measurable function. Then When validating the equality for the second coordinate, there are two cases. Remark 2.35. Note that in the formulation of the theorem, inside the definition of d, the condition µ(L) > (0, 0) is essential, but inside the definition of m, the condition µ(Li) > (0, 0) can be omitted. Remark 2.35. Note that in the formulation of the theorem, inside the definition of d, the condition µ(L) > (0, 0) is essential, but inside the definition of m, the condition µ(Li) > (0, 0) can be omitted. We can apply the previous theorem when µ is an ordinary measure. Lemma 2.36. Let (K, S, ν) be a measure space. Let f : K → [0, +∞) be a measurable function. Then Lemma 2.36. Let (K, S, ν) be a measure space. Let f : K → [0, +∞) be a measurable function. Then Theorem 2.37. Let (K, S, ν) be a measure space. Let f : K → [0, +∞) × [0, +∞) be a measurable function. Then Theorem 2.37. Let (K, S, ν) be a measure space. Let f : K → be a measurable function. Then This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license. This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license. available on arxiv

Part of HackerNoon's growing list of open-source research papers, promoting free access to academic material.

Generalized Hausdorff Integral and Its Applications: Integral of Functions

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

A Brief Review of Modern Shortest Path Algorithms and Graph Optimization Techniques

Generalized Hausdorff Integral and Its Applications: Abstract and Introduction

Generalized Hausdorff Integral and Its Applications: Basic Notions and Notations

Generalized Hausdorff Integral and Its Applications: Multiplication on [0, +∞) × [−∞, +∞]

Generalized Hausdorff Integral and Its Applications: Measurability

Generalized Hausdorff Integral and Its Applications: References

A Brief Review of Modern Shortest Path Algorithms and Graph Optimization Techniques

Generalized Hausdorff Integral and Its Applications: Abstract and Introduction

Generalized Hausdorff Integral and Its Applications: Basic Notions and Notations

Generalized Hausdorff Integral and Its Applications: Multiplication on [0, +∞) × [−∞, +∞]

Generalized Hausdorff Integral and Its Applications: Measurability

Generalized Hausdorff Integral and Its Applications: References

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps