I´m learning about integrals, and I have some questions. This problem consists in proving that two integrable functions $f,g:[a,b] \to \mathbb{R}$ are such that the set $$ X = \{x:f\left( x \right) \ne g\left( x \right)\} $$ has measure zero, then $$ \int\limits_a^b {f\left( x \right)dx} = \int\limits_a^b {g\left( x \right)dx}\;. $$ It is clearly equivalent to prove that the integral $ \int\limits_a^b {h\left( x \right)dx} =0$, where $ h(x) = 0 $ for all $x \in [a, b]$ except a set of measure zero.
measure zero set, as the set of discontinuities of a function, integrals
2 Answers
Your last observation is correct. To complete your thought, denote $ Y = [a,b] \setminus X $.
Then $$ \int^b_a h(x) dx = \int_Y h(x) dx + \int_X h(x) =0.$$
The first integral is $0$ because in $Y$, $h(x)=0.$ The second integral is $0$ because you are integrating over a set of measure $0.$
The integral of a non-negative simple function $ s(x) = \sum_{k=1}^n a_k 1_{A_k} $ where $\bigcup A_k = X $ is defined to be $\int_X s \ d\mu = \sum_{k=1}^n a_k \mu(A_k).$ Thus the integral of every simple function over a set of measure $0$ is $0$.
For arbitrary non-negative functions, the integral is defined to be the supremum of the integrals of the simple functions which approximate it from below, so the integral is $0$ again here.
For arbitrary real valued functions, the integral is defined in terms of non-negative functions:
$$ \int_X f \ d\mu = \int_X f^+ \ d\mu - \int_X f^- \ d\mu $$
where $f^+, f^- $ are the positive and negative parts of $f$. Thus, those get integral $0$ as well.
-
0That is what , I want to prove, If I integrate in a set of measure zero, then the integral equals zero – 2011-10-19
-
0@Susuk See my edited answer. – 2011-10-19
-
0Oh my definition of integral, consist only over intervals , how can i use this ? im a little confused, sorry for be so stupid – 2011-10-19
-
0@Susuk You are not stupid, you are just learning from a different foundation. If you tell us the definitions you are using, then we can help you. – 2011-10-19
-
0My definition covers the integral superior and the inferior, the superior integral, is the infimum of the set of all the sums , with all the partitions, taking the maximum value on any $ [ x_i , x_{i+1} ] , similar with the inferior integral, taking the sup over .... Now we define the integral in the case, that this two coincide. And all the sums run over an interval, we are using a book called of the IMPA. – 2011-10-19
-
0@Susuk that sounds a lot like the Riemann integral. I thought you were studying the Lebesgue integral since you referred to sets of "measure zero", but I seemed to have been wrong. See Gary's answer below for an approach with the Riemann integral ( I don't have an in depth knowledge of the Riemann integral.) – 2011-10-19
If both functions are integrable, then they are both bounded , so that their difference $h(x)$ is also bounded by, say, M. Then the value of the integral is bounded by the product $M(m(Supp(h(x))$ , where $Supp(h(x)):=x:h(x) \neq 0$ . But, by definition, this last has measure zero, so that it can be covered by a collection intervals of measure $\frac {e}{2^n} $ with total measure $e$ , so that the value of the integral is bounded above by $Me$ Take $e$ to be $\frac {e}{M}$so that $Me$=e.
There is an obvious problematic self-referential use of e in the last line, but I think the idea is clear; let me know if it is not.
-
0Integrable functions are bounded almost everywhere, but need not be bounded. So careful with that... – 2011-10-19
-
0Arturo: I think that's true for Lebesgue integration, but I think a Riemann-integrable function must be bounded, even at points of discontinuity; otherwise, let x be such that f(x)=oo, then we select x to be the element in a given partition with f(x)(xi+1-xi) is necessarily unboundded. But Ill double-check. – 2011-10-19
-
0@Gary sorry for be so slow xD, but im just learning calculus )= , I don´t understand the bound of the integral – 2011-10-20
-
0Susuk: the bound I'm using is this: the maximum value of the function times the length of the interval. For example, the integral of $x^2$ over [0,1] is bounded above by the maximum of $x^2$ over, say, [1,3]--which is 1--times the length of the interval, which is 2. Does that help? – 2011-10-20