- #1

- 3,990

- 48

I am not sure of the overall purpose of the concepts developed below regarding Riemann integrable functions with compact support ... nor am I sure of the details ... so I am sketching out the meaning as I understand it in 2 dimensions and depicting the relevant entities in diagrams ... I am hoping that someone can indicate that my interpretation of the ideas is correct and/or point out misinterpretations, shortcomings and errors ...

On D&K pages 427 and 428 we find the following text concerning Riemann integrable functions with compact support ... note that I am assuming the overall purpose of developing the notion of Riemann integrable functions with compact support is to create the linear space of Theorem 6.2.8 together with the other results of the theorem ...

To try to ensure that I understand the details I am translating the text into the two dimensional case and briefly explaining how I interpret the text ... I also attempt to depict the ideas in diagrams ...

\(\displaystyle f \) is bounded on \(\displaystyle \mathbb{R^2} \) and zero outside a bounded subset \(\displaystyle A \subset \mathbb{R^2} \)

This situation is depicted in Figure 1 below ...
Does Figure 1 correctly and validly depict the situation described in the scanned text above from D&K ...?

Now ... let B' be another rectangle satisfying (6.7) ... ... ... ... ... see Figure 2 below ...

In Figure 2 clearly \(\displaystyle B = (B \cap B' ) \cup ( B \text{ \ } B' ) \)

\(\displaystyle B \cap B' \) is a two dimensional rectangle

and

\(\displaystyle B \text{ \ } B' = B_1 \cup B_2 \)Consequently \(\displaystyle \{ B \cap B' \} \cup \{ B_i \ | \ i = 1,2 \} \) is a partition of B ... ...We have \(\displaystyle \int_{ B_i } f(x) dx \text{ for } i = 1, 2 \text{ because } f(x) =0 \text{ for } x = \text{ int}(B_i) \subset \mathbb{R^2} \text{ \ } B' \) ... ...But ... why isn't \(\displaystyle \int_{ B_i } f(x) dx \) zero for the boundary of the \(\displaystyle B_i \) as well ... ?

Is the above a correct interpretation of D&K's text as scanned above?Help will be appreciatedPeter

On D&K pages 427 and 428 we find the following text concerning Riemann integrable functions with compact support ... note that I am assuming the overall purpose of developing the notion of Riemann integrable functions with compact support is to create the linear space of Theorem 6.2.8 together with the other results of the theorem ...

To try to ensure that I understand the details I am translating the text into the two dimensional case and briefly explaining how I interpret the text ... I also attempt to depict the ideas in diagrams ...

**As I said above ... I am hoping that someone can indicate that my interpretation of the ideas is correct and/or point out misinterpretations, shortcomings and errors ...**Now ... we let \(\displaystyle f : \mathbb{R^2} \to \mathbb{R} \) be a function such that:\(\displaystyle f \) is bounded on \(\displaystyle \mathbb{R^2} \) and zero outside a bounded subset \(\displaystyle A \subset \mathbb{R^2} \)

... then there exists a rectangle \(\displaystyle B \subset \mathbb{R^2} \) with \(\displaystyle f(x) = 0 \text{ if } x \notin B \)

( ... presumably \(\displaystyle f(x) =0 \) for those \(\displaystyle x \) that are inside \(\displaystyle B \) and outside \(\displaystyle A \) ... ... Is that correct? )

If \(\displaystyle f \) is Riemann integrable over \(\displaystyle B \) , the number \(\displaystyle \int_B f(x) dx \) is independent of the choice of B ... since it only depends on A ... and other rectangles such as B' containing A will give the same result ... that is \(\displaystyle \int_B f(x) dx \) = \(\displaystyle \int_{B'} f(x) dx \) ... since the only non-zero values of f are coming from the set A which is in all rectangles satisfying (6.7) ... ... ... Is that correct?This situation is depicted in Figure 1 below ...

Now ... let B' be another rectangle satisfying (6.7) ... ... ... ... ... see Figure 2 below ...

\(\displaystyle B \cap B' \) is a two dimensional rectangle

and

\(\displaystyle B \text{ \ } B' = B_1 \cup B_2 \)Consequently \(\displaystyle \{ B \cap B' \} \cup \{ B_i \ | \ i = 1,2 \} \) is a partition of B ... ...We have \(\displaystyle \int_{ B_i } f(x) dx \text{ for } i = 1, 2 \text{ because } f(x) =0 \text{ for } x = \text{ int}(B_i) \subset \mathbb{R^2} \text{ \ } B' \) ... ...But ... why isn't \(\displaystyle \int_{ B_i } f(x) dx \) zero for the boundary of the \(\displaystyle B_i \) as well ... ?

Is the above a correct interpretation of D&K's text as scanned above?Help will be appreciatedPeter

Last edited: