Positive function
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
Positive function
Let \( f \) be a function defined on an intervel \( \mathcal {A} \) and holds: \( f(t)>0 \;\; \forall t \in (0, x ) \).
Prove that the function \( g(x)=\displaystyle \int_0^x f(t) \,dt \) is positive.
Prove that the function \( g(x)=\displaystyle \int_0^x f(t) \,dt \) is positive.
Imagination is much more important than knowledge.
-
- Former Team Member
- Posts: 77
- Joined: Mon Nov 09, 2015 11:52 am
- Location: Limassol/Pyla Cyprus
- Contact:
Re: Positive function
If this is a Riemann integral, we use the fact that any Riemann integrable function has a point of continuity. (In fact the set of point of discontinuity has measure zero - this is Lebesgue's criterion.) So there is an interval \(I \subseteq [0,x]\) and a positive real number \(a\) such that \(f(t) \geqslant a\) for every \(t \in I\). The result follows.
For the Lebesgue integral we just consider the sets \(A_n = \{t\in[0,x]:f(t) > 1/n\}.\) We have countably many such sets with their union being equal to \([0,x].\) So \(\mu(A_n) > 0\) for some \(n\) and the result follows as the integral is at least \(\mu(A_n)/n.\)
For the Lebesgue integral we just consider the sets \(A_n = \{t\in[0,x]:f(t) > 1/n\}.\) We have countably many such sets with their union being equal to \([0,x].\) So \(\mu(A_n) > 0\) for some \(n\) and the result follows as the integral is at least \(\mu(A_n)/n.\)
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 11 guests