0
votes
1answer
23 views

$\lambda \ll \mu$, $\mu X <\infty$, then $\lambda X<\infty$

$\lambda \ll\mu$ : $\lambda$ is absolutely continuous w.r.t. $\mu$. and $\mu X \lt\infty$, where $X$ is a space how to show: $\lambda X\lt\infty$
1
vote
1answer
26 views

$f_n\rightarrow f$ in $L_2$ and $f_n\rightarrow f$ in measure, then $f_n\rightarrow f$ almost uniformly?

$f_n\rightarrow f$ in $L_2$ and $f_n\rightarrow f$ in measure How to show or give an counterexample: $f_n\rightarrow f$ almost uniformly. We believe it is false. Since both convergences imply there ...
0
votes
1answer
16 views

Average of IID Cauchy RVs

Suppose that $X_i$'s are iid Cauchy RV's with pdf $f_u (x) = \frac{1}{\pi} \frac{u}{u^2+x^2}$. I am aware that the RV $Y:=\frac{1}{N}\sum_{k=1}^N X_k$ has the same density as the $X_i$'s. I am trying ...
2
votes
1answer
18 views

$L^p$-limit and pointwise limit

For $p\ge1$, I proved that if $f_n\stackrel{L^p}{\to} f$ and $f_n\to g$ a.e then $f=g$ a.e. But, how about the case $0<p<1$? Is it also true?
0
votes
1answer
21 views

measurable function and composition of function

Show that if $f$ is a measurable function and $g$ is a continuous function on $\Bbb R$ then $g\circ f$ is measurable. please tell me how to prove it !
0
votes
2answers
29 views

$\int_2^\infty \left(\frac1{x\log^2x}\right)^p\mathrm dx$ diverges for p>1

I see this question and the answer by joriki. However I cannot understand joriki's argument that $$\int_2^\infty \left(\frac1{x\log^2x}\right)^p\mathrm dx$$ diverges for p>1. So I try to show that ...
0
votes
1answer
30 views

$f_n\rightarrow g$ in $L_1$ and $f_n\rightarrow h$ in $L_2$ .Then $g=h $almost everywhere

$f_n\rightarrow g$ converges in $L_1$ and $f_n\rightarrow h$ converges in $L_2$ how to show: $g=h$ almost everywhere Attempt: convergent in $L_1$ implies convergent in $L_2$. then by triangle ...
0
votes
1answer
23 views

How to interchange sum and integral when measure is in terms of Dirac measure?

Let $\{c_{k}\}_{k\in \mathbb Z} \subset \mathbb C$ such that, $\sum_{k\in \mathbb Z} |c_{k}| < \infty.$ Let $\delta_{k}$ is the unit Dirac mass at $k $, we note that $\mu = \sum_{k\in \mathbb Z} ...
1
vote
1answer
12 views

Finitely additive function bounded by a measure…

have an elementary measure theory question here I can't seem to get. Suppose $\mu$ is a a measure, and $\nu$ is a finitely additive nonnegative set function such that $\nu(A)\le \mu(A)$ for all $\mu$ ...
3
votes
0answers
36 views

Trouble finishing a (direct) proof that $\ell^2(A)$ is a complete metric space

Let $A$ be any non-empty set. We can define summations of non-negative numbers over this index set by using a supremum of summations over finite subsets of $A$. That is, $$\sum\limits_{\alpha \in A} ...
2
votes
0answers
28 views

Log Cosine Integral $\int_0^{\pi/2} \theta^2 \log ^4(2\cos \theta) d\theta =\frac{33\pi^7}{4480}+\frac{3\pi}{2}\zeta^2(3)$

$$ I=\int_0^{\pi/2} \theta^2 \log ^4(2\cos \theta) d\theta =\frac{33\pi^7}{4480}+\frac{3\pi}{2}\zeta^2(3). $$ Note $\zeta(3)$ is given by $$ \zeta(3)=\sum_{n=1}^\infty \frac{1}{n^3}. $$ I have a ...
1
vote
1answer
24 views

Finite subcover of pairwise disjoint open intervals

I have the following exercise: Prove that if $X$ is a countable compact subset of $ \mathbb{R}$, then for any $\varepsilon>0$ there is a finite collection of pairwise disjoint open intervals ...
0
votes
0answers
16 views

measurability restriction operator

Let $M\subset \mathbb{R}^k$ compact. For every $x\in M$ we define $L(x): \mathbb{R}^m \rightarrow \mathbb{R}^m $ a linear isomorphism Let $G_n (\mathbb{R}^m)=\{ W: W\ \mbox{is subspace of} \ ...
0
votes
1answer
28 views

there is a measurable function $f$ on $X$ such that $|{f(x)}|=1$ for a.a $x \in X$ and $\nu(E)=\int_Efd|{\nu}|$ for any $E \in \mathfrak{M}$

any hints on this problem: Let $\nu$ be a finite signed measure on a measure space $(X, \mathfrak{M})$ and let $|{\nu}|$ be its total variation, prove that there is a measurable function $f$ on $X$ ...
4
votes
0answers
81 views

The long Integral with a nice result

Hi I am trying to evaluate $$ I:=\int \limits_{0}^{1} \left[ \frac{1}{x(x-1)} \bigg(2Li_2\bigg(\frac{1-\sqrt{1-x}}{2}\bigg)-\log\bigg(\frac{1+\sqrt{1-x}}{2}\bigg)^2 \bigg) -\frac{\zeta(2)-2\log^2 ...
0
votes
1answer
49 views

Let $\{f_n\}_{n=1}^\infty$ be non-negative functions and $f_n \to f$ then $f \geq 0$

I have trouble with this question: Let $\{f_n\}_{n=1}^\infty$ be a sequence of non-negative functions in $L^2(0, 1)$, and suppose that $f_n$ converges to a function $f$ in the norm of $L^2(0, 1)$. ...
0
votes
0answers
13 views

Absolute continuity of weak-* limit of measures.

Let $\{\mu_i\}_i$ be a sequence of measures on $\mathbb{R} \times \mathbb{R}^m$ such that $$ \int^u_0 \left(\int_{\mathbb{R}^m}\max(\mu_i\log(\mu_i),0)dx \right) ds < C $$ for all $i$. How can one ...
0
votes
3answers
62 views

$∫_0^1f(x)x^ndx=0$ for all $n \geq 0$ then $f=0$!

Hi I was thinking about a problem and have a question: we know that if $f∈C([0,1])$ for which $∫_0^1f(x)x^ndx=0$ for all $n \geq 0$ then $f=0$! Now my question is: Do we still have the same when we ...
0
votes
1answer
18 views

Certain property of convex functions…

I come to you with yet another qualifying problem we can't seem to solve... Let $f:$ $(0,\infty) \to \Bbb R$ be convex, and let $\lim_{x \to 0}f(x)=0$. Show that $g(x)$ = $f(x) \over x$ is increasing ...
0
votes
1answer
39 views

Separability of functions with compact support

Let $X$ be a locally compact metric space which is also $\sigma$-compact. Let $C_{c}(X)$ be the continuous functions on $f$ from $X$ to $\mathbb{R}$ with compact support. Is $C_{c}(X)$ separable? My ...
0
votes
1answer
16 views

Finding the “most” continuous representative of a class of functions equal almost everywhere.

In measure theory, we consider functions to be basically the same if they are equal almost everywhere. It seems crazy, though, to choose any of these as the representative when doing calculations. Why ...
-1
votes
1answer
20 views

an example of almost uniformly convergence [on hold]

$x^n\rightarrow 0 $ on [0,1]. does $x^n$ converge almost uniformly to zero. if we take out point 1 or if take out a small set $[1-\epsilon,1]$ why does not it a.u. converge when we take only point ...
0
votes
1answer
32 views

measurable subset of nonmeasurable set

show that if E is measurable and E⊂P where P is nonmeasurable set in [0,1), then m(E)=0. Can one please tell how to start .. and I have one more question: is the union of m'ble set and non-m'ble set ...
0
votes
1answer
21 views

Sufficient condition for equality of two radon measures

Let $ X $ be a locally compact Hausdorff space and let $ \phi_1 $ and $ \phi_2 $ be two Radon measures on X (outer measure means measure and the definition of Radon measure that I am assuming can be ...
0
votes
1answer
44 views

Why an integral does not exist?

I am trying to construct a counter example of Fubini Thorem, and for that we need a function $f$ in the product space which is not absolute integrable. So, let ...
5
votes
2answers
130 views

Subsets of $[0,1]$

Suppose we have a closed subset $A\subset[0,1]$ that is not equal to $[0,1]$. Is it possible $mA=1$? Suppose you have an open subset $B\subset[0,1]$ that is dense in $[0,1]$. Is it possible that ...
2
votes
0answers
43 views

Integral $\int_0^{\pi/3}\log\bigg( \frac{1+2\cos\theta}{2}+\sqrt{\left( \frac{1+2\cos\theta}{2} \right)^2-1}\ \bigg)d\theta.$

Hi I am trying to calculate this integral I given by $$ I=\frac{1}{\pi}\int_0^{\pi/3}\log\left( \frac{1+2\cos\theta}{2}+\sqrt{\bigg( \frac{1+2\cos\theta}{2} \bigg)^2-1} \right)d\theta. $$ ...
0
votes
1answer
7 views

Question about outer regularity and inf

Let $\mu$ be a measure. Suppose for every $\varepsilon > 0$, there exists an open set $U \supset E$ such that $\mu(U) < \mu(E) + \varepsilon$. Then must $\mu(E) = \inf\{\mu(U): U \supset E, U ...
0
votes
0answers
11 views

Jordan decomposition of sum of two measures

Let $\mu$ and $\nu$ be finite signed measures. Then by the Jordan Decomposition Theorem, we can write $\mu = \mu^{+} - \mu^{-}$ and $\nu = \nu^{+} - \nu^{-}$ where $\mu^{\pm}, \nu^{\pm}$ are unsigned ...
0
votes
0answers
61 views

A basic question on limit calculation [duplicate]

How to prove that the following limit exist without calculating its value $$ \lim_{t \to\infty} \int_{0}^{t}\frac{\sin x}{x} dx $$
0
votes
3answers
72 views

a continuous function, satisfying $f(α) = f(β) +f(α −β)$ for any $α, β ∈ \mathbb{R}$ [duplicate]

Hi need some help with this problem: Assume $f : \mathbb{R} → \mathbb{R}$ is a continuous function, satisfying $f(α) = f(β) +f(α −β)$ for any $α, β ∈ \mathbb{R}$, and $f(0) = 0$. Then $f(α) = α ...
2
votes
1answer
38 views

Is this space complete?

Let $X$ be the space of measurable functions $f:[0,1] \rightarrow \mathbb{R}$. I want to find out whether this space is complete under the metric $d(f,g):= \int_{[0,1]} \frac{|f-g|}{1 + |f-g|}$. Does ...
1
vote
0answers
17 views

Decomposition of a measure into series

Let $M(X)$ be the vector space of all complex regular Borel measures on a compact Hausdorff space $X$,$||\mu ||=|\mu|(X)$. Suppose $\mu , \lambda_n \in M(X),n\in N^+ $,$||\lambda_n||=1$.Since ...
0
votes
1answer
23 views

I want to show one norm is less than or equal to another norm on C([0,1])

Let $|| \ ||_1$ be the norm on $C([0,1])$ defined by $||f||_1 = \int_0^1|f(t)|dt$. a) Show that $||f||_1 \le ||f||_{[0,1]}$ b) Are $|| \ ||_1$ and $|| \ ||_{[0,1]}$ equivalent? For part a) I think ...
1
vote
0answers
19 views

$|supp(v)|=0$ implies the existence of $\lim_{\epsilon \to 0}\int_{|\theta -\phi|>\epsilon}\cot{(\pi(\theta-\phi))}dv(\phi)$

Let $v$ be a complex Borel measure on $[0,1]$ and $m$ be the Lebesgue measure. We define the support of measure by $$supp(v) = [0,1]-\cup\{I \subset [0,1]: v(I)=0\}$$ where $I$ is an interval. ...
2
votes
2answers
44 views

A basic question on measurability of lim sup and lim inf of a function

Suppose $f: \Bbb R \to \Bbb R$ is a Borel measurable function. I have to prove that $\{x: $f$ \text{ is discontinuous at } $x$\} \in B(\Bbb R)$. So, I am trying to prove that the complement event i.e. ...
1
vote
1answer
43 views

$E$ measurable if and only if $E \cap (a,b)$ is measurable for any interval $(a,b)$

We take the definition of measurability to be the following: $E \subseteq \mathbb{R}$ is measurable if for any $\varepsilon > 0$ there is an open set $G$ and a closed set $F$ such that $F \subseteq ...
0
votes
2answers
63 views

A basic question on Riemann sum

Suppose $f$ is a non-negative Riemann integrable function in $[a,b]$. Is this true that $$ \sup_P \sum_{j=1}^{n} |f(c_j)(x_j-x_{j-1})| = \int_{a}^{b} |f(x)|dx$$ where $c_j \in [x_{j-1}, x_j]$. I ...
1
vote
1answer
46 views

Gaining an intuitive understanding of measure & sigma-algebras

Taking my first course in measure theory. Consider an example where $\Omega$={all integers from 1 to 16}={1,...,16} where classes of sets are defined by $C_1$={1, 2, 3, 4, 5, 6, 7, 8} $C_2$={9, 10, ...
0
votes
2answers
39 views

Is $C(X)$ dense in $L^p$?

Let $X$ be locally compact Hausdorff. Let $\mu$ be a complete measure on $X$. Is $C(X)$ dense in $L^p(\mu)$?
3
votes
1answer
35 views

Definition of completion of a measure space

On a measure space $(\Omega,\mathcal{A},\mu)$ a completion of a measure is defined as: $\{A: A_1\subset A\subset A_2$ with $A_1,A_2\in\mathcal{A}$ and $\mu(A_2\backslash A_1)=0\}$ I'm trying to show ...
2
votes
1answer
15 views

finding conditions for certain limits of integrals…

let $g$ continuous on $[0,1]$. find conditions on function $g$ that are equivalent to $lim_{n \to \infty} ||g^nf||_{2}=0$ for all $f$ in $L^2(0,1)$ we are completely stuck on this one. Tried some ...
1
vote
1answer
27 views

What are the consequences of this simple property of $L^1$ functions?

I came across the following statement: Let $f\in L^1(\mathbb R,\mathbb R)$. Then $$\forall \varepsilon>0 \ \ \exists \delta>0 \ \ \text{such that for all open sets } U\subset\mathbb R \text{ ...
3
votes
1answer
21 views

Convergence in average on every set implies convergence?

Let's say we're working in a measure space $(X, \mathcal{B}, \mu)$, and let $f_n, f$ be measurable. Suppose I have that, for any measurable set $E$, $$ \int_E f_n d \mu \to \int_E f d \mu $$ Does that ...
0
votes
0answers
31 views

$\lim\limits_{n\to\infty}\displaystyle\int_X n\log((1+(f/n)^{\alpha})d\mu$

suppose $\mu$ is a positive measure on $X$ and $f:X\to[0,\infty]$ is measurable with $\int_Xfd\mu=c$, where $0<c<\infty$ and let $\alpha$ be a constant, prove that; ...
1
vote
0answers
25 views

Finding the norm of a linear operation.

I am reading A course in real analysis by John McDonald, on page 530, it says "it is easy to show $|||J|||=1$" where $J$ is the linear operation $J:C([0,1])\rightarrow C([0,1])$, defined by $J(f)(x) = ...
1
vote
0answers
27 views

Lebesgue-Stieltjes measure

Is the following reasonment correct? There is a sort of duality between non-decreasing functions and Borel outer measures. In particular, given a non-decreasing function ...
0
votes
1answer
38 views

A well-defined operation on measure algebra

Let $(X,\cal{M},\mu)$ be a measure space, and for $E,F\in \cal{M}$ write $E \sim F$ iff $\mu(E \Delta F)=0$. Let $\widetilde{\cal{M}}$ be the set of equivalence classes in $\cal{M}$ for $\sim$; for ...
4
votes
1answer
67 views

Nowhere dense set…

Let $A_n$ be a subset of continuous functions on $[0,1]$ given by: $A_n$ = {$f∈C[0,1]$:there exists $x∈[0,1]$ such that $|f(x)−f(y)|≤n|x−y|$ for all $y∈[0,1]$}. Show $A_n$ is nowhere dense, and use ...
0
votes
1answer
22 views

Everywhere continuous extension of a almost everywhere continuous function

Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon measure. If $f$ is continuous outside a set $N$ of $\mu$-measure 0, does there exist an everywhere continuous $g$ such that $f = g$ on $X ...