The famous examples of non-measureable sets involve a sophisticated selections of points from a ball (or another object). This raises the following question: if a certain object in a Euclidean space is simply-connected, does it imply that it is Lebesgue-measureable? (BACKGROUND: I am doing a geometry-related research, where most shapes are simple polygons and circles. […]

Calculate the following limit $$\lim_{n\to\infty}\int_{0}^{\infty} \frac{\sqrt x}{1+ x^{2n}} dx$$ I tried to apply dominated convergence theorem but I could not find the dominating function. even I broke down the integration from $0$ to $1$ and $1$ to infinity. then found only integration from $0$ to $1$ is possible. Do you have any ideas?

Let $(X,\mu)$ be a measure space. For a measurable function $\iota:X\to X$, we have for all measurable $E\subset X$, $$\int_{\iota^{-1}(E)}g\circ\iota \, d\mu = \int_{E}g \, d(\iota^{*}\mu),$$ where by definition $\iota^{*}(\mu)[A] = \mu(\iota(A))$. I’m trying to reconcile this with the more elementary process I used to refer to as “$u$ substitution”. Consider the case of $X […]

Let $u\in L^{1}_{loc}(\Omega):=\{f:\Omega \to \mathbb R\;| \int_{K}|f(x)|dx<\infty,\;K\subset\Omega\; \mathtt{compact}\} $, where $\Omega\subset\mathbb{R}^{n}$, and let $\phi$ be a test function on $\Omega$. Show that $$ \left(\forall\phi\in \mathbb{D}(\Omega):\int\limits_{\Omega}u(x)\phi(x)dx=0\right)\implies \left(u =0\; \mathtt{a.e.}\right) $$ Here’s how I started. Take some $\phi$ in $\mathbb{D}(\Omega)$. Then there is a compact set $K$ such that $\{x: \phi(x)\neq 0\}\subset K$. Since $\phi$ is continous, […]

My intuition keeps telling me that being continuous Lebesgue-almost everywhere is highly restrictive and that being measurable is not. But I’ve not been able to come up with a not continuous a.e. function e.g. $[0,1] \longrightarrow \mathbb{R}$. So Are there not continuous a.e. functions? Are there Lebesgue-measurable ones?

Let the process $M=(M_t, t\ge 0)$ be a martingale on the probability space $(\Omega_1, \mathcal F_1, P_1)$ with respect to the natural filtration of $M$. Let $X=(X_t, t\ge 0)$ be a process on the probability space $(\Omega_2, \mathcal F_2, P_2)$. Let $W=(M,X)$ be the coupled stochastic process on the probability space $(\Omega_1\times\Omega_2, \mathcal F_1\times\mathcal F_2, […]

Consider $\mathcal{M}([0,1])\equiv C([0,1])^*$ (topological dual) then the Radon-Nikodym decomposition gives us $$\mathcal{M}([0,1])=AC([0,1])\oplus \mathcal{S}[0,1]$$ Where $AC([0,1])$ denotes the space of measures that are absolutely continuous with respect to Lebesgue measure and $\mathcal{S}[0,1]$ are the singular ones. Show that both spaces in this decomposition are not closed in the weak$^\ast$ topology. To show that the first is […]

It is rather straight forward to show that $L_p$ is complete for $p\geqslant 1$, but I am having trouble showing the same thing when $p<1$. For the former case I have shown that every absolutely convergent sequence converges by constructing a a function in $L_p$ but bigger than the series and used the dominated convergence […]

Could someone explain the intuition behund the Hausdorff Measure and Hausdorff Dimension? The Hausdorff Measure is defined as the following: Let $(X,d)$ be a metric space. $\forall S \subset X$, let $\operatorname{diam} U$ denote the diameter, that is $$\operatorname{diam} U = \sup \{ \rho(x,y) : x,y \in U \} \,\,\,\,\, \operatorname{diam} \emptyset = 0 $$ […]

Let $B$ be a bounded Borel set of $\mathbb{R}$, Show that if $A$ is a finite union of disjoint intervals, the Lebesgue measure of $A\triangle B$ can be arbitrarily small. Also show that this remains true as long as $B$ has finite Lebesgue measure.

Intereting Posts

How is the Fourier transform “linear”?
What is the sum of Fibonacci reciprocals?
How Can One Prove $\cos(\pi/7) + \cos(3 \pi/7) + \cos(5 \pi/7) = 1/2$
Convergence in weak topology implies convergence in norm topology
Why does $\omega$ have the same cardinality in every (transitive) model of ZF?
How many one to one and onto functions are there between two finite sets?
$a,b,c>0,a+b+c=21$ prove that $a+\sqrt{ab} +\sqrt{abc} \leq 28$
If $f(0) = 0$ and $|f'(x)|\leq |f(x)|$ for all $x\in\mathbb{R}$ then $f\equiv 0$
Is there a uniform distribution over the real line?
Let $X$ be a Moore space and $e(X)=\omega$. Is it metrizable?
Is there an easy way to see associativity or non-associativity from an operation's table?
Prove that $f′(x)=f′(0)f(x)$ derivatives
Approximation of $L^1$ function with compactly supported smooth function with same mass and same uniform bounds
Visualization of Singular Value decomposition of a Symmetric Matrix
Consider the series $ ∑_{n=1}^∞ x^2+ n/n^2$ . Pick out the true statements: