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

learn more… | top users | synonyms (1)

1
vote
0answers
9 views

Showing that a collection of intervals (see problem) generates the Borel sigma algebra on $(0,1]$

I would be very appreciative if someone could show me how to do this problem so that I can try to get a better understanding of what a Borel sigma algebra is. Examples are how I learn best so seeing ...
1
vote
1answer
16 views

How does a change of measure affect covariance?

Suppose I have the three random variables $X,Y,M$ where $E[M] = 1$ under the measure $P$. Now, suppose I define a new measure $\widetilde P$ so that $\widetilde E[X] = E[M X]$ and $\widetilde E[Y] = ...
0
votes
1answer
15 views

How would I show that $m(\cup_{n \in \mathbb{N}}A_{n}) = \displaystyle\sum_{n \in \mathbb{N}}m(A_{n})$?

Suppose we have that $A_{1}, A_{2}, A_{3}, ...$ is a countable collection of elements of an algebra $\mathcal{A}$. Suppose also that $m$ is a probability measure on $\mathcal{A}$ where $m(A_{i} \cap ...
2
votes
0answers
14 views

Prove or disprove $\nu(E)=\lambda(f(E))$ is a measure provided that $f$ is nondecreasing and satisfies the N-condition.

Suppose $f$ is a non-decreasing continuous function from $[a,b]$ to $\mathbb{R}$, and $\lambda$ is the Lebesgue measure in $\mathbb{R^1}$. Also, $f$ satisfies the property that $f$ maps Lebesgue ...
2
votes
1answer
26 views

$f\in L^p(X,\mu)$ , $f-1\in L^q(X,\mu)$ then $\mu(X) < \infty $

Can some one give a hint how to start to solve : Assume $ 1 \le p,q < \infty $ and $$f\in L^p(X,\mu)$$ now if we assume $$f-1\in L^q(X,\mu)$$ then we have $$\mu (X) < \infty $$ Thanks If ...
2
votes
0answers
16 views

Convergence of Uniformly Distributed Random Variables (n-dimensional)

Suppose that ${U_n} = ({U_{n1}},{U_{n2}},...,{U_{nn}})$ is uniformly distributed over the n-dimensional cube ${C_n}={[0,2]^n}$ for each $n=1,2,...$ That is, that the distribution of ${U_n}$ is ...
0
votes
2answers
26 views

Does the following set contain the Borel $\sigma$ algebra?

Suppose I have $X = \{(2^{-n-1},2^{-n}]:n \in \mathbb{N} \cup \{0\}\}$ and $ K = \sigma(X)$ where $\sigma(X)$ is a sigma algebra. My question is does $K$ contain the Borel $\sigma$-algebra?
0
votes
1answer
8 views

Manipulating the definition of $\sigma$-algebra generated by a family of sets

I manipulated the standard definition of $\sigma$ algebra generated by a family of sets $\mathcal{A}$, $$ \sigma ( \mathcal{A}) := \bigcap \{ \Sigma \ | \ \Sigma \text{ is a $\sigma$-algebra on } X, ...
-3
votes
0answers
38 views

A Classification problem in measure theory [on hold]

Let $m$ be the Lebesgue measure on $\Bbb R$. I want to find all measurable functions $f:[0,1] \rightarrow [0,1]$ with the following property. $$\forall A\subseteq [0,1]~ (\text{Lebesgue ...
1
vote
0answers
14 views

Sigma-additive measures on finite discrete spaces

Let $\mathcal{A}$ be a finite algebra of sets, and $\mu$ a $\sigma$-additive function defined on $\mathcal{A}$. Then, the Hahn-Kolmogorov theorem tells us, amongst other things, that $\mu$ can be ...
1
vote
0answers
4 views

what is the difference between renormalized solution and entropy solutions for nonlinear elliptic PDE?

I want to know the difference between renormalized solution and entropy solutions for nonlinear elliptic PDE when right hand side of the elliptic operator is $L^1.$ Also how does right hand side with ...
0
votes
1answer
18 views

Generating Borel algebra - proof

In the second paragraph of the proof it says: "To prove that $\mathcal{B}(\mathbb{R})$ is also generated by the other classes of intervals, it suffices to prove that any interval $]a,b[$ is contained ...
-1
votes
0answers
22 views

reducible measure functions

Let $f:\Bbb R^n \rightarrow \Bbb R^n$ be a nonexpansive map, that is $\|f(x) - f(y)\| \leq \|x-y\|.$ I want to know that if $f$ reduces measure, i.e. if $A,f(A) \subseteq \Bbb R^n $ are measurable, ...
1
vote
2answers
41 views

Measure Theory Book for My Background / Need

My current Math background is as follows: 1) Read first 7 chapters of Rudin "Principles of Mathematical Analysis" and solved a lot of the given problems. 2) Completed Munkres "Analysis on Manifolds" ...
0
votes
0answers
12 views

Measure in a locally compact Hausdorff space

Suppose that $X$ is a locally compact Hausdorff space in which every open set is $\sigma$-compact and such that for every compact subset $K$ of $X$ we have $\mu(K) < \infty$. What can we deduce ...
-1
votes
1answer
34 views

$\sigma$-algebra generated by all supersets of $[0, 1]$ [on hold]

I am trying to find the $\sigma$-algebra generated by all subsets $B$ of $\mathbb{R}$ that contain the set $[0, 1]$, i.e., $[0, 1] \subseteq B \subseteq \mathbb{R}$. Any help would be appreciated.
7
votes
1answer
356 views

Is any subset of the Cantor set a Borel set?

As far as I know, the Cantor set is a Borel set because it is the union of a countable collection of closed sets. Now is any subset of the Cantor set a Borel set?
2
votes
0answers
22 views

$\sigma$-algebra $\mathcal{G} \subset \mathcal{F}$ is countably generated iff there is a random variable $X$ such that $\mathcal{G} = \sigma(X)$.

Where can I find a reference to the proof of the fact that a $\sigma$-algebra $\mathcal{G} \subset \mathcal{F}$ is countably generated if and only if there is a random variable $X$ such that ...
1
vote
0answers
16 views

Clarification on product space, conditional probability measures

Suppose we have two random variables $X_i$ on the probability space $(\Omega_i, \sigma(\Omega_i),P_i)\; i = 1,2$. Now, $P_i$ is just a technical tool and we consider directly the distribution of $X_i$ ...
0
votes
0answers
19 views

If the support of a function is contained in a Borel set, is the support of its derivative also contained there?

Let $f$ be a function such as $\operatorname{supp}(f)\subset Q$ where $Q$ belongs to the Borel $\sigma$-algebra on $\mathbb{R}^d$ Do we have $\operatorname{supp}(f')\subset Q$?
2
votes
3answers
37 views

If $\mu(E)=0$, show that $\mu(E\cup A)=\mu(A\setminus E)=\mu(A)$.

If $\mu(E)=0$, show that $\mu(E\cup A)=\mu(A\setminus E)=\mu(A)$. I just started learning about measure this week, so I don't know any theory about measure except the definition of outer measure ...
0
votes
1answer
17 views

$\lim_{n \to \infty} \int_{\Omega}X_n d \mu = +\infty$ under some conditions

Suppose $X_n$ are measurable functions in $L^1$ defined on the measure space $(\Omega, \mathfrak{F}, \mu)$. Suppose that $0 \leq X_n$ a.e. for all $n$ and $X_n \leq X_{n+1}$ a.e. for all $n$. Thus ...
0
votes
0answers
13 views

Variants of the change-of-variables formula

Consider the following change of variables formula for $f:X\rightarrow Y$, that holds for any "reasonable" $g:B\subseteq Y \rightarrow \mathbb{R}$ and $A\subseteq X$ $$ \int_B g(x)\ {\rm ...
2
votes
1answer
45 views

right continuous representant of L^1 function

Would someone know if a function in $L^1(\Omega)$ or more generally in $L^p(\Omega)$ must have a right continuous representant. $\Omega$ being a open set of $\mathbb{R}$. Thankfully,
1
vote
2answers
48 views

Show that $(\mathcal{M},d)$ is complete metric space

Let $(\Bbb{R},\mathcal{M},\mu)$ be the Lebesgue measure space modulo the equivalence relation $A\sim B$ if $\mu(A\bigtriangleup B)=0$. Let $d(A,B)=\mu(A\bigtriangleup B)$. Show that $(\mathcal{M},d)$ ...
2
votes
1answer
39 views

Struggling with something 4 sources use “clearly” with (involving $\inf$ of a set)

This is technically measure theory but it as much real analysis. We have a Measure $\mu:R\rightarrow\mathbb{R}_{\ge0}\cup\{\infty\}$ We define the outer measure $\mu^*$ to be: ...
0
votes
0answers
23 views

measure and increasing functions

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ incresing, bounded, continious, and $\mu$ corresponding measure($\mu(-\infty,x)=f(x))$. Prove that $ \mu(E)=m(f(E))$ for all Borel set $E \in \mathbb{R}$. ...
1
vote
1answer
37 views

Convergence in measure - product

I'm trying to prove the following statements in Folland's book. Let $(X,\mathcal{M},\mu)$ be a measure space. If $f_n\to f$ in measure and $g_n\to g$ in measure, then $f_n+g_n\to f+g$ in measure and ...
4
votes
1answer
45 views

Calculation of Radon–Nikodym derivative

Suppose the function $X \colon \mathbb{R} \longrightarrow \mathbb{R} \colon x \longmapsto X(x) : = x^2$. I want to calculate the Radon–Nikodym derivative $\frac{\text{d}\lambda_X}{\text{d}\lambda}$, ...
1
vote
0answers
14 views

image or projection of a universally measurable set

Suppose $A \subset [0,1]\times[0,1]$ is universally measurable. Is it true that its projection to the first coordinate is a universally measurable subset of $[0,1]$? What is known is that the ...
3
votes
1answer
37 views

Prove that measure of $A$ is $1$

Let $A\subset (0,1)$ be a Lebesgue measurable set and $\lambda>0$. Suppose that if $0\le a<b\le 1$ then $\mu(A\cap (a,b))\ge \lambda(b-a)$. Prove that $\mu(A)=1$. It is clear that $\lambda \le ...
0
votes
0answers
15 views

Lebesgue Measure of a set satisfying infinitely many solutions of this inequality

I am trying to find the following. Suppose that $\alpha_k > 0$, and $\sum \alpha_k < 0$. Let's consider the set $$A = \{x\in(0,1) | \hbox{the inequality} |x -{p \over q}| < {\alpha_q \over ...
1
vote
1answer
16 views

Complex Borel Measure Decomposes as Discrete + Continuous Measures?

I am trying to prove that any complex Borel measure $\mu$ on a measure space $(X, \mathfrak{M})$ decomposes into the sum of a discrete measure $\lambda$ and a continuous measure $\nu$, $\mu = \lambda ...
3
votes
0answers
24 views

Existence of regular conditional distribution of random variable given the value of another variable

Let $(\Omega, \mathcal{A}, \mathbf{P})$ be a probability space with a measurable function $Y: (\Omega, \mathcal{A}) \rightarrow (E, \mathcal{E})$ and another measurable function $X: (\Omega, ...
0
votes
1answer
12 views

Is the product measure space generated by the filtration adapted to the projection maps?

Let $(\Omega, \mathcal A)$ be a measure space. Consider the product measure space $(\Omega^{\mathbb N}, \mathcal A^{\mathbb N})$ and denote by $\pi_n : \Omega^{\mathbb N} \to \Omega$ the $n$-th ...
1
vote
3answers
35 views

Let $S = \{(a,b] \cup [−b,−a) : a < b\text{ are real numbers}\}$. Show that $\sigma(S)$ is smaller than the Borel $\sigma$-algebra of $\mathbb R$.

Let $S = \{(a,b] \cup [−b,−a) : a < b\text{ are real numbers}\}$. Show that $\sigma(S)$ is smaller than the Borel $\sigma$-algebra of $\mathbb R$. How can I find a Borel set which is not in ...
1
vote
0answers
20 views

Generic rank of tensors

Let the tensor product of the type $$ \underset{k=1} { \overset{m} \bigotimes } v_k$$ denote a simple tensor. As underlying fields, take $$ \underset{k=1} { \overset{m} \bigotimes } ...
0
votes
0answers
24 views

Borel Sets and relation to probability theory.

I am currently having difficulty understanding the link between Borel Sets and Probability theory. How/Why are Borel Sets used in Probability theory?
1
vote
2answers
41 views

Question about Rudin's example of topological space

I began reading Rudin's Real and Complex Analysis, and I have a question about the following: Rudin defines a topology $T$ in a set $X$ as the collection of subsets of $X$ such that (i) empty set ...
1
vote
1answer
35 views

Measurability of functions

I have to check that $g:(0,1)\to \mathbb{R}$ is measurable. I known there exists a $C^2$ convex function $F:(0,1)\to \mathbb{R}$ (with $F''\geq 1$), and measurable functions $v,u:(0,1)\to (0,1)$ ...
0
votes
0answers
21 views

Density of product of random variable

I would like to derive the product density of two independent continuous random variable in a measure theoretic framework. I am well aware of the result which can be found here: ...
1
vote
0answers
12 views

For any $A \subseteq \mathbb{R}^d$, there exists a $G_\delta$ set $H \supseteq A$ such that for every measurable E, $|A \cap E|_e = |H \cap E|$

For any $A \subseteq \mathbb{R}^d$, there exists a $G_\delta$ set $H \supseteq A$ such that for every measurable E, $|A \cap E|_e = |H \cap E|$ I've done the case that $|A|_e < \infty$ using ...
0
votes
1answer
27 views

Prove the uniformity of the Cantor/Lebesgue function defined on $A^c$ where $A$ is a Cantor set on $[0,1]$

I am reading Lebesgue Integration on Euclidean Space by Frank Jones. My question is specifically regarding Chapter 4, Section C titled "The Lebesgue Function Associated with a Cantor Set". The author ...
1
vote
0answers
40 views

Origin of $\sigma$-algebra

In what paper, article or book was the notion of an $\sigma$-algebra first defined or mentioned? Or at least how far could this concept traced back?
3
votes
2answers
88 views

Finding integral over inconvenient set

Put $F = \{ (x,y) \in \mathbb{R}^2 : |x^2-y^2| \leq 1, 2|xy| \leq 1 \}$. How do we find the following integral? $$\int_F (x^2 + y^2) \,d(x,y)$$ I'm sure we need to use Jacobi's transformation ...
1
vote
1answer
24 views

Integral defined on space of matrices

I have a question regarding how an integral is defined in the following case. If we consider the real vector space $\mathcal{M}^{m \times n}$ of $m \times n$ matrices equipped with an inner product. ...
0
votes
0answers
13 views

Sigma field generated by the union of a field and a set

I am trying to show that; If $H$ is a set lying outside a field (or $\sigma$-field) $\mathcal{F}$, then the field (or $\sigma$-field) generated by $\{\mathcal{F}\cup\{H\}\}$ consists of sets of the ...
0
votes
1answer
13 views

limit, measure, and 1 sided continuity

Let $(R,B(R),m)$ be a finite measure. For function $F, G$ on $\mathbb{R}$, define $F(x) = m((-\infty,x])$ and $G(x) = m((-\infty,x)) $ 1) Prove that $F$ is right continuous while $G$ is left ...
5
votes
2answers
68 views

Can I use lebesque dominated convergence?

Calculate the following: $$\lim_{n \rightarrow \infty} \int_{0}^{\infty} \exp(−nx(\sin(x))^2)\,dx$$ my idea was using $f_n(x) = \exp(−nx(\sin(x))^2) < 1$ but $1$ is not integrable under ...
0
votes
1answer
16 views

Prove that the measure of the set is equal to the measure of intersection of its members

Given any set $ A \subseteq \mathbb R $, there is a set $G$ that contains $A$ such that $$ G = \cap _ {i=1} ^ \infty A_i $$ with each $A_i$ open and $m*(G) = M*(A). Here is my approach so far: ...