Questions tagged [lebesgue-integral]

For questions about integration, where the theory is based on measures. It is almost always used together with the tag [measure-theory], and its aim is to specify questions about integrals, not only properties of the measure.

The idea of Lebesgue integral is the following: we give to a simple non-negative function $\sum_{j=1}^Na_j\chi_{S_j}$, where $a_j\geq 0$ and $S_j>0$ the value $\sum_{j=1}^Na_j\mu(S_j)$. Then we define the integral of a measurable non-negative function as $$\int_X f(x)d\mu(x):=\sup\left\lbrace \int_X g(x)\mathrm{d}\mu(x) \mid 0\leq g\leq f,\ g \text{ simple}\right\rbrace.$$ For a measurable function, write $f=\max(f,0)-\max(-f,0)$ to give a value to $\int_X f(x)\mathrm{d}\mu(x)$.

The major interest is that we can integrate functions which are defined in an arbitrary set, provided we have fixed a $\sigma$-algebra and a measure on it.

When dealing with a function $f\colon[a,b]\longrightarrow\mathbb R$, with $a,b\in\mathbb R$ and $a\lt b$, the Lebesgue integral is more general than the Riemann integral: if a function is Riemann-integrable, then it is Lebesgue-integrable (and the integrals are the same), but there are functions (such as characteristic function $\chi_{[a,b]\cap\mathbb Q}$) which are Lebesgue-integrable, but not Riemann-integrable.

7619 questions
0
votes
1 answer

How to show $\int_X \sum_{n=1}^\infty f_n \, d\mu = \sum_{n=1}^\infty \int_X f_n \, d\mu$

$\{f_n\}$ are nonnegative monotonic increasing functions. Show that $$ \int_X \sum_{n=1}^\infty f_n \, d\mu = \sum_{n=1}^\infty \int_X f_n \, d\mu $$ Can someone give me a hint on how to show this? I know that I can use the monotone convergence…
kaos
  • 301
0
votes
3 answers

Help with Real Analysis Integral

I'm working through practice problems and I came along the following: Evaluate $\lim_{n\rightarrow\infty}\int_0^n(1-\frac{x}{n})^n dx.$ I think this should work out via Dominated Convergence Theorem, but I can't seem to get it. I have been starting…
Scott
  • 719
0
votes
1 answer

Existance of limit and Integrability of a function

The questions is: Let $f$ be a function defined as $f(x) = (-1)^n/n $ for $x \in [n, n+1), n \in \mathbb{N}.$ Show that $lim_{n\to\infty}$ $\int_{[1,n]}\ f $ exists Also, is $f$ integrable on $[1,\infty) $ Now, this function seems to closely mirror…
Tadpole
  • 307
0
votes
0 answers

Show that Thomae's Function is Lebesgue Integrable

I have Thomae's Function defined as follows: $f(x): [0,1] \to \mathbb R$ $f(x) = q$ if $x$ is rational and $x = p/q$, $0$ otherwise (please note that this is the usual definition of Thomae's function, just with the difference in $q$ and $1/q$ I need…
Tadpole
  • 307
0
votes
1 answer

Convergence in absence of DCT

Can you give an example of a sequence of non-negative functions tending to zero pointwise such their integral tends to zero but there is no integrable function which bounds them?
frusstu
  • 29
0
votes
2 answers

Countable additivity of Lebesgue integrals proof

Show if $f_n$ are non negative measurable functions: $$\int (\sum_{n=1}^\infty f_n) d\mu = \sum_{n=1}^\infty \int f_n d\mu$$ Does this not just follow from the theorem for two additivity? Say $\int (\sum_{n=1}^N f_n) d\mu = \int (\sum_{n=1}^{N-1}…
Daniel
  • 81
0
votes
1 answer

Extending $f(x) = 1/x^2$ to a function on $\mathbb{R}^d$.

I know that the function $ f(x) = \begin{cases} \frac{1}{x^2} &\mbox{if } x > 1 \\ 0 &\mbox{otherwise.} \end{cases} $ is Lebesgue integrable on $\mathbb{R}$. I want to write a function $F(x): \mathbb{R}^d \to…
user83387
0
votes
1 answer

calculate integral using lebesgue dominated convergence theorem

Can anyone give me a hand on how to calculate the following using Lebesgue dominated convergence theorem: $$\lim_{n\to\infty} \int_{[0,1]} \left(n\left(\sin\left(\frac xn\right)\right)\right)^n \mathsf dx$$ I wonder if as $n$ approaches $\infty$, …
mohlee
  • 271
-1
votes
1 answer

$f$ is integrable in $\mathbb{R}^n$ iff $r \mapsto r^{n-1} g(r)$ is integrable in $\mathbb{R}_{\geq 0}$

Let $g: \mathbb{R}_{\geq 0} \to \mathbb{R}$ be a function and let $f: \mathbb{R}^n \to \mathbb{R}$ be $f(x)=g(|x|)$. Show that $f$ is integrable in $\mathbb{R}^n$ iff $r \mapsto r^{n-1} g(r)$ is integrable in $\mathbb{R}_{\geq 0}$. Can someone help…
Philip730
  • 395
-1
votes
1 answer

How to calculate Lebesgue integral on a difference of balls?

How to calculate Lebesgue integral on a difference of balls? Such as: $\int_{B(0,2) \setminus {\overline{B}(0,1)}}$
mavavilj
  • 7,270
-1
votes
1 answer

Lebesgue Measurable Functions

Let $(X,\mathcal{A},\mu)$ be a measure space with $\mu(X)=1$.$\;$ Suppose $\varphi:X \longrightarrow [0,1)$ is measurable. Prove that $$\lim_{a\to\infty}\int_{X}\varphi^{a}\:\mathrm{d}\mu=0.$$ My attempt: Define $C_n=\{x \in X \;|\;\varphi(x) < 1-…
-1
votes
1 answer

Lebesgue integration of 1/{|x|^{\alpha}}

I would like to know for which values of $\alpha$, the following statement holds: $$ \int_{\mathbb{R}^n}\dfrac{1}{\Vert x\Vert^{\alpha}}<\infty. $$ Thanks!
Alex
  • 135
-1
votes
1 answer

show that $ f=\lim_{j \to \infty} f_j(x) \ \text{ a.e. everywhere} $

Consider the sequence of functions $ \{f_n(x) \}$ , where $ f_n(x)=\frac{\sin^n x}{x} , \ x \in \mathbb{R} $ such that $$ 1 \geq |f_1(x)| \geq |f_2(x)| \geq \cdots \geq \cdots \geq 0 $$ $ \text{Prove that $ \{f_n \}$ converges pointwise almost…
MAS
  • 10,638
-1
votes
1 answer

What does $f\in L^p(\partial \Omega )$ mean

Let $\Omega $ a bounded smooth surface with boundary of $\mathbb R^n$. What does $$f|_{\partial \Omega }\in L^p(\partial \Omega )\ \ ?$$ Is it $$\int_{\partial \Omega }|f|_{\partial \Omega }|^p<\infty \ \ ?$$ To be honnest, I don't really…
Henri
  • 321
  • 1
  • 2
  • 8
-1
votes
1 answer

The Lebesgue Integral

I need help with this question: Let ${f_n}$ be a sequence of nonnegative and measurable functions on a measurable set E. Prov that: $\int_E \sum_{n=1}^\infty f_n =\sum_{n=1}^\infty\int_E f_n $ If $\sum_{n=1}^\infty\int_E f_n \lt \infty$ then …
Vui Tinh
  • 285
1 2 3
19
20