Questions related to measures, sigma-algebras, measure spaces, Lebesgue integration and the like.

learn more… | top users | synonyms (1)

1
vote
1answer
20 views

Mean value formula integrals

Let $f: B(0,R) \rightarrow \mathbb{R}$ be a continuous function. Then I was wondering whether $$\frac{1}{\text{area}(\partial B(0,r))} \int_{\partial B(0,r)} (f(x)-f(0)) dS(x) \rightarrow_{r ...
0
votes
0answers
21 views

Equivalent Definition of Weak $L^{p}$ (Quasi-) Norm

For a sigma-finite measure space $(X,\Sigma,\mu)$, the weak $L^p$ (hereafter denoted $L^{p,\infty}$) is defined by $$\|f\|_{L^{p,\infty}}:=\sup_{t>0}t\mu(|f|>t)^{1/p}, \qquad (1\leq ...
0
votes
0answers
19 views

Explicit construction of Haar measure on a profinite group

Let $G$ be a profinite group. It is known that in $G$, every neighborhood of the identity element contains an open compact subgroup. I would like to explicitly construct the Haar measure on $G$. The ...
0
votes
0answers
12 views

What is the interpretation of $\nu(dy - x)$ where $\nu$ is a Lévy measure?

In a paper I am reading, it is seemingly suggested that, if $\nu(dx)$ is a Lévy measure, then the following holds for a function $f(x)$ which is smooth (and satsifies some integrability conditions): ...
0
votes
2answers
41 views

intuition of mass function of random variable [on hold]

When we are using $P\{X=x\}$ it seems like intuitively there is a function from $T$ (or measure from $\mathcal{B}(T)$) to $[0,1]$. What is the theoretical foundation behind this intuition?
2
votes
0answers
23 views

Understanding product $\sigma$-algebra

Let $\{X_\alpha\}_{\alpha \in A}$ be an indexed collection of nonempty sets, $X = \prod _{\alpha \in A}X_\alpha$, and $\pi _\alpha: X \rightarrow X_\alpha$ the coordinate maps. If $M_\alpha$ is a ...
0
votes
0answers
15 views

Calculate $\sup_n\left|\int_0^1 \left(1-e^{i\alpha_n x}\right) f(x)d\mu(x)\right|$, where $\mu$ is a singular Borel probability measure on $[0, 1)$.

Let $\mu$ be a singular Borel probability measure on $[0, 1)$, and $f\in L^2(\mu)$. Calculate $$\sup_n\left|\int_0^1 \left(1-e^{i\alpha_n x}\right) f(x)d\mu(x)\right|$$ where $\alpha_n\in\mathbb R$ ...
2
votes
1answer
31 views

Class of subsets which is not a $\sigma$-ring

I can't find a non-empty class that is closed under countable intersections and symmetric differences, but it's not a $\sigma$-ring. Any ideas?
2
votes
1answer
34 views

Looking for a clarification of the Suslin $\mathcal{A}$-Operation with a (finite) example

I have a problem concerning the output of (and the intuition behind) the Suslin $\mathcal{A}$-Operation. More specifically, I really don't see exactly what the output of it really is (even if I can ...
0
votes
1answer
25 views

Is there a Markov-type inequality for the Median?

Markov's theorem states that $P(|X| \geq a) \leq \frac{E[|X|]}{a}$. Is there an similar type of inequality that involves the median (somehow I doub't it, but I make no claim to comprehensive knowledge ...
0
votes
0answers
20 views

Is there a difference between $\mu_1 \times \mu_2$ and $\mu_1 \otimes \mu_2$ in measure theory?

I sometime see the tensor product symbol used when referring to product meauress, but I've also seen the cartesian product symbol used too. Is there a difference. I have had a hard time finding an ...
1
vote
1answer
18 views

Volume density on a Riemannian manifold as a measure

I am having some trouble in seeing exactly how the Riemannian density form gives rise to a measure on $\text{Borel(M)}$. Let $(M,g)$ be a Riemannian manifold. We have the Riemannian density $\mu_g$. ...
1
vote
0answers
14 views

Sets cut into two halves of equal size by any straight line through a particular point

Is there an easy characterization of all sets $M \subseteq \mathbb{R}^2$ with the following property? A point $(x_M,y_M)$ (which may depend on $M$) exists such that each straight line through ...
0
votes
1answer
41 views

How to prove the uniqueness of probability measure

Probability essentials P-21 Theorem 4.1 (b) Let $(p_\omega)_{\omega \in \Omega}$ be a family of real numbers indexed by the finite or countable set $\Omega$. Then there exists a unique probability ...
3
votes
0answers
73 views

Show that $\overline{D}_{\varepsilon}$ is a connected jordan region in $\mathbb{R}^{n}.$

Definition. Let $E$ be a nonempty subset of $\mathbb{R}^{n}$.The distance from a point $\mathbb{x}\in\mathbb{R}^{n}$ to set $E$ is defined by ...
1
vote
1answer
34 views

Question about formula for total variation of complex measure from Real Analysis of Folland

Let $\nu$ be a complex measure on $(X, \mathcal{M})$. If $E \in \mathcal{M}$, define: $\mu_1(E) = \sup\{\sum_1^n{|v(E_j)|}:n \in N, E_1, ..., E_n$ disjoint$, E = \bigcup_1^n{E_j}\}$ ...
1
vote
1answer
39 views

Property of a set of a positive Lebesgue measure

I am trying to see whether it is true that in any set of a positive Lebesgue measure in $R^2$ we can always find two points $(a_1,a_2)$ and $(b_1,b_2)$ such that the following hold: $a_1>b_1$ ...
2
votes
0answers
52 views

Closeness of measures on a cardinal

Given an uncountable $\kappa$ and a $\kappa$-complete nontrivial non-normal ultrafilter on $\kappa$, and some $g:\kappa\to\kappa$ with $<_{U}$-rank $\kappa$ (where $f_0<_Uf_1$ iff ...
0
votes
1answer
39 views

Jensen's inequality problem [on hold]

I want to know an example of a infinite measure space $(\Omega, \mathcal{F},\mu)$, real valued function $g$ and convex function $\phi$ defined on the real line s.t. $$\phi\left(\int g d\mu\right) > ...
1
vote
1answer
18 views

Predictability of $\int^t_0 f(X_s)\,\mathrm ds$ where $X$ is a Lévy process

Let $X_t$ be a Lévy process and $f(x)$ some smooth function. Under what conditions is $$ Y_t = \int^t_0 f(X_s)\,\mathrm ds$$ predictable? Not sure how to investigate this. It is clearly adapted, so ...
1
vote
1answer
36 views

Repeated extension of Lebesgue measure

In Halmos' Measure Theory, section 16, exercise 2 deals with the extension of a $\sigma$-finite measure $\mu$ defined on a $\sigma$-ring $S$ to any set $M$ in the hereditary $\sigma$-ring induced by ...
1
vote
2answers
41 views

$\sigma$-algebra of $\mathbb{R}$ generated by $\mathcal{P}(\mathbb{N})$

What is the $\sigma$-algebra of $\mathbb{R}$ generated by $\mathcal{P}(\mathbb{N})$? I thought it is $$\Sigma = \{\emptyset, \mathbb{N}, \mathcal{P}(\mathbb{N}), \mathbb{R}, \mathbb{R}-\mathbb{N}, ...
1
vote
0answers
36 views

Generating structure of Borel field

On P.32 of [P.Billingsley] Probability and Measure, 3ed, 1993, the author wrote: ...and there are Borel sets that cannot be arrived at from the intervals by any finite sequence of set-theoretic ...
2
votes
0answers
23 views

Example of a bounded simple process $A_t$ that changes value only once s.t. $\int_0^t A_s dB_s$ doesn't have normal distribution?

As the title of the question suggests, what is an example of a bounded simple process $A_t$ that changes value only once such that$$\int_0^t A_s\,dB_s$$does not have a normal distribution?
0
votes
1answer
24 views

convolution of probablity measures

What do we mean by convolution of measures? With example What is the difference between convolution of measures and convolution of functions? What is probability measure? Give an example of ...
2
votes
1answer
34 views

Measurability of marginal distributions of a random measurable function

For a probability space $(\Omega, \mathcal F, \mathsf P)$, let $X \colon \Omega \times [0,1] \to \mathbf R \colon (\omega, t) \mapsto X(\omega,t)$ be a random Borel function (i.e. an $(\mathcal ...
1
vote
1answer
33 views

Properties of decreasing sequence of Lebesgue measurable sets.

I'm trying to prove a property of Lebesgue measure sets that says: If the $A_{k}$'s are measurable and $A_{1} \supset A_{2} \supset A_{3} \supset \ldots,$ and if $\lambda (A_{1}) < \infty, $ then ...
2
votes
1answer
19 views

Help with a sigma-algebra problem with random variables (show $\sigma(X_S)\subseteq \sigma(X_T)$ if $S\subseteq T$)

My problem is as follows: Let $X_S$ and $X_T$ be two stochastic processes where $S,T$ are index sets. Let $\sigma(X_S)$ and $\sigma(X_T)$ denote the sigma-algebra generated by $X_S$ and $X_T$. ...
7
votes
0answers
62 views

Lebesgue Premeasure via Transfinite Induction

If $I=[a,b)$ we write $|I|=b-a$ for the length of $I$. Given a theorem of Caratheodory, the tricky part in showing the existence of Lebesgue measure is this: Lemma If $[0,1)$ is the disjoint union of ...
2
votes
0answers
39 views

Example of Measure of non-compactness?

I can't understand the following example of measure of non-compactness, which was given in a research article. Definition: A nonnegative function $\phi$ defined on the bounded subsets of $X$ will ...
2
votes
1answer
42 views

Lebsegue measure of $\{ 0<x \leq 1: x \sin \left(\frac{\pi}{2x}\right) \geq 0 \}$

Find the Lebsegue measure of the set $A= \left\{ 0<x \leq 1: x \sin \left(\frac{\pi}{2x}\right) \geq 0 \right\}$. The answer given is $1 - \ln \sqrt{2}$. My thought: I only know that Lebsegue ...
-1
votes
0answers
15 views

What is the difference between a “Borel probability measure” and a “singular Borel probability measure”? [on hold]

What is the difference between a "Borel probability measure" and a "singular Borel probability measure"? When a probability meausure is said singular? Thanks in advance.
1
vote
0answers
22 views

Explicit constructions of Haar measures?

I know how to build the Haar measure somewhat explicitely on Lie groups (via differential forms) and profinite groups (by using the lemma that open subsets of a profinite group are unions of cosets of ...
1
vote
0answers
32 views

Basic Set-Theoretic Properties from Halmos

I've been backtracking lately to make sure that I have a solid set-theoretic background before taking measure theory this fall. Here's a few facts I've come across today, and my attempted proofs. Let ...
0
votes
0answers
30 views

Premeasure on $\mathcal{A}$ and $\mu^{*}$ proof

This proposition comes from Real Analysis by Folland: Some background information: (1.10) Let $\epsilon\subset P(X)$ and $p:\epsilon\rightarrow [0,\infty]$ be such that $\emptyset\in\epsilon$, ...
0
votes
0answers
32 views

Countable $\sigma$-algebra [duplicate]

Let $\Sigma$ be a countable $\sigma$-algebra. Show that there is a sequence $A_1,A_2,...$ of disjoint elements of $\Sigma$ such that every $B$ in $\Sigma$ is a countable union of elements in ...
2
votes
1answer
29 views

Constructing dependent sequences of random variables

It is easy, given some random variable $X \colon \Omega \to \mathbb{R}$ on a probability space $(\Omega, \mathbb{P})$, to construct an i.i.d. sequence $X_1, X_2, \ldots$ distributed as the law of $X$. ...
1
vote
1answer
50 views

Easy proof for existence of Lebesgue-premeasure

In the lecture on measure theory I attended last semester, we had a sort of complicated technical proof for the existence of the Lebesgue-premeasure. However, I can't see why this easier argument does ...
1
vote
0answers
44 views

$f$ and $f'$ are in $L^1 (\Bbb R)$. Prove that $\int_{-\infty}^{\infty} f' (x)dx=0$. [duplicate]

Problem: Suppose $f: \Bbb R \rightarrow \Bbb R$ is absolutely continuous on every interval $[a,b]$, and that both $f$ and $f'$ are in $L^1 (\Bbb R)$. Prove that $\int_{-\infty}^{\infty} f' (x)dx=0$. ...
-2
votes
0answers
18 views

Relation between Borel sigma algebra on $\mathbb{R} $ and Borel sigma algebra on (n,n+1] [on hold]

If A is a subset of (n,n+1] , n= natural number; then A belongs to borel sigma algebra on R , iff A belongs to borel sigma algebra on (n,n+1] interval . I need to prove the above statement . any ...
2
votes
1answer
32 views

Show that is a probability space

Let $ \Omega:= \{(x,y) \in \mathbb{R^2}:0<x,y \leq 1 \}$, let $\mathcal{F}$ be the collection of sets of $\Omega$ such that $$ \mathcal{F}:= \{(x,y) \in \mathbb{R^2}:x \in A,0<y \leq 1 \}$$ ...
2
votes
2answers
28 views

Let $f:\Omega\to(0,+\infty)$ and $\ln(x)$ be $\mu$-integrable

Show that $\displaystyle \lim\limits_{p\to 0^+} ||f||_p = \exp(\int\ln(f)\,d\mu)$. In case it comes to be helpful. So far I've shown that $\displaystyle\lim\limits_{p\to ...
0
votes
1answer
24 views

About sets and algebras.

Let $\mathcal{F}$ be a collection of subsets os some nonempty set $\Omega$. Suppose that $\Omega \in \mathcal{F}$ and that $\mathcal{F}$ is closed under the formation of complements and finite ...
-1
votes
0answers
22 views

Is the function $\,f(x,y)=y\,$ Lebesgue\Borel measurable? [on hold]

Given function $\,f: \mathbb R^2\to \mathbb R ,\,$ establish whether $\,f(x,y)=y\,$ is Lebesgue and Borel measurable, and show that for every set $\,A\subseteq \mathbb R^2\, $ of type $\, ...
-1
votes
0answers
22 views

pointwise converges and integrals

Let $(N,P(N),\mu)$ be a measure space such that $\mu(A)=\sum_{n\in A}{1\over n^2} $ a. Let $ f_n = n^2 * 1_{\{n\}} $. Does the sequence converges pointwise? b. Find all functions $ f:N \rightarrow R ...
1
vote
1answer
28 views

Borel measure induced by the Cantor function?

In an example to measure being mutally singular, the book has an example I do not understand. First the book has the definition: Mutually Singular Measure Let $(\Omega,\mathcal{A})$ be a ...
0
votes
1answer
35 views

A problem from Real Analysis of Folland

I got stuck on this problem. For the first statement, I tried to use $\epsilon -\delta$ condition, but still couldn't come to conclusion. So can anyone please help me solve this or give me some clue ...
1
vote
1answer
29 views

Let $([0,1],\mathcal{B}([0,1]),\lambda)$, $\lambda$ Lebesgue measure in $[0,1]$.

Show that if $f$ is $p$-integrable then, for each $\epsilon>0$, exists a function $h$ which is continuous in $[0,1]$ s.t. $\|f-h\|_p\leq\epsilon$. Is there any simpler way to show it than ...
4
votes
2answers
55 views

If $\mu(|f_n|^p)$ is bounded and $f_n\to f$ in measure then $f_n\to f$ in $L^1$

Let $(f_n)_{n\in\mathbb{N}}$ be a sequence of real measurable functions s.t., (a) The sequence $\displaystyle(\int |f_n|^p\ \mathsf d\mu)_{n\in\Bbb{N}}$ is bounded. (b) The sequence ...
2
votes
2answers
63 views

$\mu(A \cap I) \le a \mu(I)$ implies $\mu(A) = 0$?

Let $\mu$ be lebesgue measure on $\mathbb{R}$, $0<a<1$. If $\mu(A \cap I) \le a \mu(I)$ holds for any interval $I$, can I say $\mu(A)=0$? I tried to construct a counterexample by considering ...