Intereting Posts

How to prove that a compact set in a Hausdorff topological space is closed?
Calculate $\lim_{n\to\infty}\binom{2n}{n}2^{-n}$
Probability measure on $\mathcal{P}(\mathbb{R})$
Factoring $a^{10}+a^5+1$
How can we integrate $\int_{0}^{\frac{\pi }{2}}\left(\frac{\sin nx}{\sin x}\right)^{4}\,dx$?
Properties of $\liminf$ and $\limsup$ of sum of sequences: $\limsup s_n + \liminf t_n \leq \limsup (s_n + t_n) \leq \limsup s_n + \limsup t_n$
If the unit sphere of a normed space is homogeneous is the space an inner product space?
Calculating $\prod (\omega^j – \omega^k)$ where $\omega^n=1$.
Divisibility Proof with Induction – Stuck on Induction Step
Prove the inequality $4S \sqrt{3}\le a^2+b^2+c^2$
Why is stopping time defined as a random variable?
Explicit solution of the recursion $x_n = x_{n-1}^2 – 2$ with $x_0>2$
First order logic proof question
How prove this $\lim_{x\to+\infty}(f'(x)+f(x))=l$
Choice of $q$ in Baby Rudin's Example 1.1

Lemma 16.4 (p. 140) of Munkres’ *Analysis on Manifolds* says:

Let $A$ be open in $\mathbb{R}^n$; let $f: A \rightarrow \mathbb{R}$ be continuous. If $f$ vanishes outside a compact subset $C$ of $A$, then the integrals $\int_A f$ and $\int_C f$ exist and are equal.

- Cancellation law for Minkowski sums
- Let $f,g$ be two distinct functions from $$ to $(0, +\infty)$ such that $\int_{0}^{1} g = \int_{0}^{1} f $.
- If an IVP does not enjoy uniqueness, then there are infinitely many solutions.
- Taking two times the sequential closure of the set of continuous functions in the topology of pointwise convergence?
- the composition of $g \circ f$ is convex on $\Omega$ from Shapley's definition of convexity
- Show that for $|f_n| \le g_n$ $\forall n$: $\lim_{n\to \infty} {\int_E g_n } = \int_E g \Rightarrow \lim_{n\to \infty} {\int_E f_n } = \int_E f$

The first step in his proof is saying that the integral $\int_C f$ exists because $C$ is bounded and $f$ is continuous and bounded on all of $\mathbb{R}^n$.

But don’t you need $C$ to be rectifiable (i.e. bounded and boundary has measure $0$) for integrability? The fat cantor set is compact but not rectifiable, so the integral over it won’t exist.

- What is integration by parts, really?
- the diameter of nested compact sequence
- How is the extended real number line modeled?
- Asymptotic behavior of $\sum\limits_{k=1}^n \frac{1}{k^{\alpha}}$ for $\alpha > \frac{1}{2}$
- Proving $n^\epsilon > \log(n)$ for sufficiently large $n$
- Continuity of argmax (moving domain and function), under uniqueness hypothesis
- Exchange of two limits of a function
- Determine whether $\sum_{n=1}^\infty \frac {(-1)^n|\sin(n)|}{n}$ converges

That depends on the theory of integration that you have at your disposal. Integration based on Jordan measure (i.e., multiple Riemann integral) indeed runs into trouble when sets have “fat” boundaries. But for Lebesgue integral the boundary is not an issue. Since every Borel set is Lebesgue measurable, we can integrate any bounded Borel function over any bounded Borel set. This covers the case of $f$ being integrated over $C$.

I think that Theorem 13.5 of the same book may be of use here. The conditions set out in the lemma imply that $f$ is continuous at $\partial C$. Since it vanishes outside $C$, the limit must be $0$ at all points on $\partial C$. Therefore, $f$ and $C$ satisfy the conditions of Theorem 13.5.

It is a bit strange that Munkres didn’t offer more explanation, seeing that he is far from terse for most of the prior material. On the other hand, the argument above could probably be considered standard at this stage of the book.

- Prove two sets span the same subspace
- what is sine of a real number
- Does the integral $\int_{1}^{\infty} \sin(x\log x) \,\mathrm{d}x$ converge?
- Universal algorithm to estimate probability of drawing certain combination of coloured balls
- Josephus' Puzzle Basic Java with some basic math.
- $\lim_{p\to \infty}\Vert f\Vert_{p}=\Vert f\Vert_{\infty}$?
- Is symmetric group on natural numbers countable?
- Proving Stewart's theorem without trig
- Does the series $\sum\limits_{n=2}^\infty(-1)^n\ln\left(1+\frac{\sin n}{\ln n}\right)$ converge?
- Are there any countable Hausdorff connected spaces?
- Definition of the normalizer of a subgroup
- Can a holomorphic function satisfy f(1/n)=1/(n+1)?
- What is the difference between an implicit ordinary differential equation and a differential algebraic equation?
- Trouble with Morley's theorem proof.
- Where am I going wrong, analyse the existence and uniqueness of $y'=y^\frac{1}{2}$ $y(0)=0$