Intereting Posts

Definition of $\mathbb{R}^\infty$
A closed form for the integral $\int_0^1\frac{1}{\sqrt{y^3(1-y)}}\exp\left(\frac{i A}{y}+\frac{i B}{1-y}\right)dy$
How to expand $\tan x$ in Taylor order to $o(x^6)$
Is differentiating on both sides of an equation allowed?
Intuition for $e^{ix}$ lies on the unit circle.
A question on closed convex plane curves (from Do Carmo)
Probability of drawing a run of a specific color from an urn with two colors of balls
Second Price Auction with Reserve Prices – Expected Payment of Winner
Is it possible to place 26 points inside a rectangle that is 20 cm by 15 cm so that the distance between every pair of points is greater than 5 cm?
l'Hopital's questionable premise?
value of $1+\frac{1}{1+2}+\frac{1}{1+2+3}+\frac{1}{1+2+3+4}+\frac{1}{1+2+3+4+5}+\cdots$?
Uniqueness of minimizing geodesic $\Rightarrow$ uniqueness of connecting geodesic?
About the number of zeros of the zeta function?
What is the probability of randomly selecting $ n $ natural numbers, all pairwise coprime?
Any positive linear functional $\phi$ on $\ell^\infty$ is a bounded linear operator and has $\|\phi \| = \phi((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.

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$.

- How to show that $\int_0^1 \left(\sqrt{1-x^7} - \sqrt{1-x^3}\right)\;dx = 0$
- Integral of an increasing function is convex?
- Evaluate the integration : $\int\sqrt{\frac{(1-\sin x)(2-\sin x)}{(1+\sin x)(2+\sin x)}}dx$
- Show $\lim\limits_{a \rightarrow + \infty} \int_0^{\infty} \frac{1}{1+y^2}e^{-ay} dy =0 $
- Integration of $\int_0^\infty\frac{1-\cos x}{x^2(x^2+1)}\,dx$ by means of complex analysis
- Great books on all different types of integration techniques

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.

- Calculating $\lim_{n\to\infty}\sqrt{n}\sin(\sin…(\sin(x)..)$
- How to solve $ \int_0^{\pi} \sin{2x}\sin{x} dx $?
- Prove using Rolle's Theorem that an equation has exactly one real solution.
- For every real number $a$ there exists a sequence $r_n$ of rational numbers such that $r_n$ approaches $a$.
- Why is this sequence of functions not uniformly convergent?
- Proof of Frullani's theorem
- Supremum of a product measurable function…
- $\lim_{n \to \infty} \mid a_n + 3(\frac{n-2}{n})^n \mid^{\frac1n} = \frac35$. Then find $\lim_{n \to \infty} a_n$.
- Integral of $\sin (x^3)dx$
- How can I prove that two sets are isomorphic, short of finding the isomorphism?

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.

- How to calculate the partial derivative of matrices' product
- Uniform convexity of equivalent intersection norm
- Number of ways to join the points
- Question related with partial order – finite set – minimal element
- Rolle's Theorem and the Mean Value Theorem
- Do runs of every length occur in this string?
- A variation of Borel Cantelli Lemma
- How does the gradient of a function show greatest slope for a function $f(x,y,z)$?
- Counting number of $k$-sequences
- Order topology on the set $X = \{ 1,2 \} \times \mathbb{Z}_{+}$
- Does sequences in $\ell^p$ belong to some $\ell^q$ for $q<p$?
- Visualizing the 4th dimension.
- How to prove that $ = $ given $H \le G$?
- Permuting 15 books about 2 shelves, with at least one book on each shelf.
- Why is there no continuous log function on $\mathbb{C}\setminus\{0\}$?