# Definite integral of greatest integer function

1. Mar 17, 2015

### andyrk

Why is π/23π/2[cos-1t].dt = π/23π/2-1.dt?

[.] denotes the greatest integer function. Is it because [cos-1t] = -1 in t ∈ [π/2,3π/2)? But [cos-1t] = 0 for x = 3π/2. So we have one 0 along with all the -1's in (π/2,3π/2]. So how can we substitute [cos-1t] = -1 for every x in (π/2,3π/2] even though [cos-1t] = 0 at x = 3π/2?

Similarly, how can we substitute 3π/2[cos-1t].dt = 3π/20.dt even though [cos-1t] = 1 at x = 2π?

Last edited: Mar 17, 2015
2. Mar 18, 2015

### Svein

Removing one point (end point) does not change the value of the integral.

3. Mar 18, 2015

### andyrk

Why? The integral is made of infinitely small rectangular strips. If we remove one of those strips won't the area change? Or would it not?

4. Mar 18, 2015

### Svein

The easiest way for me is to say "the measure of a single point is 0, so the measure of [0, 1] = the measure of [0, 1).
Another way: Let f(x)=1 for 0≤x<1 and f(1)=2. Then, obviously $\int_{0}^{1-\frac{1}{n}}f(x)dx=1-\frac{1}{n}$ for all n. Take it to the limit...

5. Mar 18, 2015

### andyrk

The measure of all single points is 0 except the last one.

6. Mar 19, 2015

### andyrk

Anybody there?

7. Mar 19, 2015

### Svein

What's different about the "last one"?

8. Mar 19, 2015

### andyrk

That everything before the last one had area 0.dx. But the last one had area 1.dx

9. Mar 19, 2015

### Svein

Sorry. Let us go back to my function and extend it, so that f(x)=1 for 0≤x<1 and f(x)=2 for 1≤x<2. This is by definition a step function, used to define Riemann integrals.For each step, the integral of the step function is (the value of the step function in that interval) times (the length of the interval). Observe that no "dx" is involved. Thus the integral of the step function f(x) over the interval [0, 1) is 1⋅1=1.

Now, if you really want to involve the point "1", observe that $\int_{0}^{1+\frac{1}{n}}f(x)dx=1+\frac{2}{n}$. This is valid for all n. Since $[0, 1]=\bigcap_{n}[0, \frac{1}{n}]$, the integral over [0, 1] is 1.

10. Mar 19, 2015

### andyrk

What is this notation? I didn't understand what this means.

11. Mar 19, 2015

### andyrk

What is this notation? I didn't understand it.

12. Mar 19, 2015

### Svein

Sorry, typo. It should be $[0, 1] = \bigcap_{n}[0, 1+\frac{1}{n}]$ which means "the intersection of all intervals of type [0, 1 + 1/n]". Given ε>0, it is possible to find an N such that the integral value is less than 1 + ε (and ≥1) for all n>N.
Sorry. By "measure" we mean "the length of the interval". The interval [a, b] has measure b - a. Thus for a single point, say p, the interval [p, p] has length p - p = 0.

13. Mar 19, 2015

### andyrk

I think you are not getting what I am trying to say. The last point has the length of the interval dx and not 0. That's because we have divided the area under the curve in infinite strips of width dx each. So of those infinite strips, infinite -1 have area 0 and 1 strip has area 1.dx So why is the area of the whole interval comprising of infinite dx lengths still coming out to be 0? Is it because dx → 0, therefore 1.dx → 0? But then if this was not the case and f(x) would actually have some definite value which was not zero at all points in the interval (a,b], then shouldn't the area even then be 0? That's because the area would be f(a+dx).dx + f(a+2dx).dx + f(a+3dx).dx .... f(b).dx. Now since dx → 0, therefore all the terms like: f(a+dx).dx, f(a+2dx).dx, f(a+3dx).dx tend to zero too. So the area in the end should be 0. But clearly that is not the case. So why is that? What am I overlooking/missing?

14. Mar 20, 2015

### Svein

You are trying to reason using infinitesimals, which is very tricky, and therefore not used any more in integration theory. For a short introduction, see http://en.wikipedia.org/wiki/Lebesgue_integration.

15. Mar 20, 2015

### andyrk

So how would you explain why [cos-1t] was substituted as 0 all throughout? In fact, the question reduces down to: while computing definite integral with lower limit a and upper limit b, do we mean (a,b] or [a,b] or [a,b) or (a,b)?

Last edited: Mar 20, 2015
16. Mar 20, 2015

### Svein

This was your last integral. As I have explained, the measure of a single point is 0. Therefore, [cos-1t] is 0 almost everywhere (which means except for a set of measure 0) in the interval [3π/2, 2π].

17. Mar 20, 2015

### andyrk

What does that mean? And please read post #15 again. I edited it a just a second ago.

18. Mar 20, 2015

### Svein

Exactly what it says.
It does not matter, since the difference between these are a set of measure 0. And please, read up on integration theory instead of asking the same questions again and again.

19. Mar 20, 2015

### andyrk

I don't think I need to read the integration theory because what I am asking is just high school stuff. And the link you posted is way beyond the scope of knowledge required for high school. What does set of measure 0 mean?

20. Mar 20, 2015

### Svein

I explained it above (post #12).