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

learn more… | top users | synonyms (1)

0
votes
0answers
23 views

why is the collection of all finite subsets of $\mathbb{R}$ not a $\sigma-ring$

It says the definition of a $\sigma-ring$ is if $A,B \in \mathcal R$ then $A \setminus B \in \mathcal R$ and if $ A_{n} \in \mathcal R \forall n \in \mathbb{N}$ then $\cup_{1}^{\infty}A_{n} \in ...
0
votes
0answers
21 views

Probability density function above a given value. $\{ f(x) > c\}$

Say $X$ is a stochastic variable with a distribution $\nu$ and $f$ is the corresponding Lebesgue-measurable density. If I want to calculate a set $$A = \{ x \in \mathbb{R} \ | \ f(x) > c \}$$ for ...
0
votes
1answer
30 views

A doubt on a proof of a theorem of Durret's Probability Theory

Below is the text of the theorem: $\mathcal{F}_{i,j}$ are sigma algebras indexed by $i$ and $j$. I'm having some difficulties in understanding this proof. Do the $\mathcal{A}_i$ contain $\Omega$ ...
0
votes
0answers
22 views

Integral inequality $L^p$ spaces

I'm trying to solve this problem: Let $1<p<\infty$. Then let $f:(0,\infty)\to [0,\infty]$ a measurable non negative function. It's true the following inequality: $$\int_0^\infty ( ...
1
vote
1answer
74 views

$\lim_{n \to \infty }\int_{0}^{n}\frac{n \cdot e^{\frac{x}{n}}}{x^4+n^2}dx=$?

$$\lim_{n \to \infty }\int_{0}^{n}\frac{n \cdot e^{\frac{x}{n}}}{x^4+n^2}dx=?$$ I am allowed to used all the classical techniques of calculus, and this was a question from measure theory when we were ...
2
votes
1answer
34 views

Disentangling $\int_Af(\mathbf{x})\ d\mathbf{x}$, using Fubini Theorem.

Let $\mathcal{B}^n$ be the borel sigma algebra generated by the rectangles in $\mathbb{R}^n$. I can write $f(\mathbf{x})=g_1(x_1)\cdots g_n(x_n)$. Let $\mu=\mu_1\times \cdots \times \mu_n$ be the ...
6
votes
2answers
77 views

$\lim_{n \to \infty} \int_{0}^{n}(1-\frac{3x}{n})^ne^{\frac{x}{2}}dx$=?

$$\lim_{n \to \infty} \int_{0}^{n}\left(1-\frac{3x}{n}\right)^ne^{\frac{x}{2}}dx$$ I thought about using the theorem of monotonic convergence and had ...
0
votes
0answers
16 views

Integrals of functions of statistics

Let $X: \Omega \to \mathbb{R}^n$ be a measurable random vector with law $\Lambda_X$ and probability density function (pdf) $f_X$. Let $T:\mathbb{R}^n \to \mathbb{R}^2$ a statistic (a ...
2
votes
1answer
33 views

All measures $\alpha,\beta$ on $[0,1]$ satisfying certain moment conditions

This is a problem I found trying to find some properties related to exchangeable sequences. Anyway, I am not able to find a characterization of all solutions.. I know there are at least two completely ...
1
vote
1answer
11 views

Countability of generated ring $R(E)$

I am studying Paul R. Halmos Measure theory. In the section 5 of chapter 1, theorem 5 states that : If $E$ is a countable class of sets, then $R(E)$ is countable. The proof uses class of all finite ...
0
votes
1answer
10 views

How to turn convergence in probability a statement involving n?

Def: for every $\epsilon$ $\lim_{n}P(|X_n-X|>\epsilon)=0$ How to turn it into a statement of there is an N s.t. n>N... Shall we make it $P(\lim_{n}|X_n-X|>\epsilon)=0$ first?
2
votes
3answers
115 views

Prove $\lim_{n \rightarrow \infty} n \int_{\frac{1}{n}}^{1} \frac{\cos(x+\frac{1}{n})-\cos(x)}{x^{\frac{3}{2}}}dx$ exists.

Prove $\displaystyle\lim_{n \rightarrow \infty} n \int_{\frac{1}{n}}^{1} \frac{\cos(x+\frac{1}{n})-\cos(x)}{x^{\frac{3}{2}}}\,dx$ exists. I want to use Dominated convergence theorem to show the ...
0
votes
1answer
26 views

Adapted and progressive processes

Could you please help me proving rigorously the following fact from Mayer's book: (a) if $X_t$ is a process adapted with respect to filtration $\{\mathcal{F}_t\}_{t\ge 0}$ and for every ...
1
vote
3answers
53 views

If $\mu(X) < \infty$, $f_n \to f$ a.e., and $\int f_n^2 \leq C$, then $f_n \to f$ in $L^1$

I should be able to get this problem...I'm studying for a qualifying exam and the question is to show that if $\mu(X) < \infty$, $f_n \to f$ a.e., and $\int f_n^2 \leq C$, then $f_n \to f$ in ...
1
vote
0answers
9 views

Algebra generated by point cylinders

Let $X\equiv\mathbb N^{\mathbb N}$ denote the set of all sequences of positive integers. For a fixed $n\in\mathbb N$ and $(y_1,\ldots,y_n)\in\mathbb N^n$, define the “point cylinder” as follows: ...
1
vote
1answer
25 views

Bump functions converging to an indicator

Suppose $K\subset\mathbb{R}^n$ has a smooth boundary, and let $\phi_s(x)$ be bump functions converging pointwise to the indicator of $K$, i.e. ...
0
votes
1answer
27 views

What is an example of $f \in L^1(\mathbf{R})$ such that $\sum_{n=1}^\infty f(nx)$ converges a.e. but is not in $L^1(\mathbf{R})$

what is an example of $f \in L^1(\mathbf{R})$ such that $\sum_{n=1}^\infty f(nx)$ converges a.e. but is not in $L^1(\mathbf{R})$? Context: This question appeared on an old qualifying exam. I tried ...
0
votes
2answers
34 views

Further generalising Holder's inequality

I have proved the following theorem in an earlier part of the question: Let $p,q \geq 1$ be such that $\frac{1}{p} + \frac{1}{q} = 1$. Show that: $$\|fg\|_1 \leq \|f\|_p \|g\|_q$$. I proved this ...
1
vote
1answer
27 views

Find the smallest ring generated by all singleton subsets of an uncountable set.

Let $X$ be an uncountable set and let $E$ be the collection of all singleton subsets of $X$. Find the smallest ring generated by $E$. Attempt: Let $R$ be the ring generated by $E$. Let $A_{1}$ ...
4
votes
2answers
72 views

$f_n \geq 0$ and $\int f_n = 1$ implies $\limsup_n \left( f_n(x) \right)^{\frac{1}{n}} \leq 1$ for a.e. $x$

I am studying for a qualifying exam and am having difficulty with this problem: Let $\left( X, \mathcal{M}, \mu \right)$ be a measure space and assume $f_n \geq 0$ such that $\int f_n = 1$ for all ...
2
votes
1answer
27 views

$X,Y$ are independent and $f(X,Y)$ and $Y$ are independent. Does there exists a $g$ s.t. $f(X,Y)=g(X)$ a.s.?

Let $(E,\mathcal{E}),(F,\mathcal{F})$ and $(G,\mathcal{G})$ be measure spaces and $f:E\times F\rightarrow G$ a measurable function. $X,Y$ are independent RV with values in $E$ and $F$. In my ...
5
votes
1answer
43 views

Definition of Sigma Algebra

I was wondering, why are we not allowed to take arbitrary unions (likewise intersections) in the definition of a sigma algebra?; I am looking for a more or less intuitive reason. It seems to me that ...
2
votes
0answers
29 views

Radon measures and Holder distributions

EDIT: sorry I realized I made some mistakes asking the question, so I'm fixing them. Analysis is not really my field, so I hope this question is not too trivial. Let's consider $X$ a locally compact ...
0
votes
1answer
15 views

Is a metric space a requirements for the application of the algebra of events from probability?

When I refer to a metric space, I mean a space that has some genuine notion of distance. In some applied context, this distance would be computed with respect to a coordinate system. I just wanted to ...
2
votes
0answers
53 views
+100

Proving that if $f\in\mathcal{F}C^{1}_{b}(X)$ then $f\in W^{1,p}(X,\gamma$) for $p>1$

Let $X$ be a separable Banach space endowed with a centered nondegenerate Gaussian measure $\gamma$ and $H$ the Cameron-Martin space. Then consider $f\in\mathcal{F}C^{1}_{b}(X)$. I want to prove that ...
0
votes
0answers
26 views

Total measure and Riesz theorem

As I specified in the other question I asked, analysis is not my field, so I'm sorry if my question is trivial. Riesz representation theorem states the following: Given $X$ a locally compact ...
1
vote
0answers
11 views

“Property” preserving property under $\sigma-$generating classes

Let $\Omega$ be a non-empty set, $\mathcal{F}$ be a $\sigma$-algebra of subsets of $\Omega$ and $\mathcal{C}$ be a class of subsets of $\Omega$ such that $\sigma(\mathcal{C})=\mathcal{F}$. If ...
0
votes
1answer
16 views

The collection of open intervals is not a $\sigma$-algebra

We need to show that the collection of open intervals is not a $\sigma$-algebra. For it to be a $\sigma$-algebra, we need to show that $\emptyset, \Omega$ is in the $\sigma$-algebra, which it is. ...
1
vote
0answers
18 views

Is the following construction a measure?

Please excuse my informality, but I am currently working on the intuition behind the idea. Suppose two parameters are given: An event $E$ composed of basic events, like union and intersection of ...
0
votes
0answers
18 views

Does $\sigma$-additivity imply continuity?

Given a measurable space $(X, \mathcal A)$ and a $\sigma$-additive function $\mu$ on $A$, is $\mu$ continuous from below? I.e. is the following condition satisfied? If $(A_n)_n \subset \mathcal A$ is ...
1
vote
0answers
14 views

Linear transformations and Lebesgue measure

Let $d,d'\in\mathbb{N}$, $d'<d$, and for all $i\in\{1,\ldots,d\}$ let $A_i\in\mathbb{R}^{(d-1)\times d}$ be the matrix one gets if he cancels the $i$-th row of the $d$-dimensional identity matrix, ...
2
votes
0answers
13 views

Showing the bijection of a function on the set of finite measures on a singleton

Let the set $E = \{a\}$ and $M(E) = \{\mu : \mathcal{B}(E) \to \mathbb{R}_+ : \mu$ finite measure$\}$. Consider the function $f : M(E) \to \mathbb{R}_+$, defined as follows: $$f(\mu) = ...
4
votes
2answers
67 views

Prove that if $X$ is subgaussian, then ${\bf E}e^{tX}=1+\sum_{k=1}^{\infty}\frac{t^k}{k!}{\bf E}X^k$

Prove that if $X$ is subgaussian, then $${\bf E}e^{tX}=1+\sum_{k=1}^{\infty}\frac{t^k}{k!}{\bf E}X^k$$ So basically I just need to push the integral through the infinite sum $${\bf ...
1
vote
2answers
40 views

Example where integration by parts formula fails for a.e. differentiable functions

I'm studying for a qual and found this problem. We were given two absolutely continuous functions $f,g$ on $[a,b]$. The first two parts of the problem involved proving the integration by parts ...
1
vote
1answer
33 views

Show that $\mathcal{O}$ forms a $\sigma$-algebra

Let $\Omega$ any uncountable set and $\mathcal{O}$ is the collection of all subsets of $\Omega$ which are countable or have countable complements be the collection. We want to show that $\mathcal{O}$ ...
1
vote
0answers
17 views

Show that $\mathcal{O}$ is a $\sigma$-algebra that contains $\mathcal{C}$.

Let $\mathcal{C}$ be any nonempty family of subsets of $\Omega$. Consider the collection of all $\sigma$-algebras that contain $\mathcal{C}$ ($\mathcal{C}\subset 2^\Omega$ for example). Let ...
0
votes
1answer
15 views

How to understand an $S$-valued random variable (Simple example)

How to understand an $S$-valued random variable (in a stochastic process) and how is filtration adapted to that variable? How can you give a simple example of defined probability measure and random ...
1
vote
0answers
18 views

Product sigma algebra in the countable case

Let $(\Omega_i,\mathcal{F_i})_{i \in \mathbb{N}}$ be the countable family of measurable spaces.Then I was wondering whether the canonical product sigma algebra on the product space that is for example ...
0
votes
1answer
22 views

a function which does not converge in $L^2$

Please, help me, with this issue: Let $f_n:(0,1]\to \mathbb{R}$, $f_n(x)=\frac{n}{1+n\sqrt x}$. I was asked to show that $f_n\in L^2(0,1]$. I have to prove that $$\left( \int_{(0,1]} f_n(x)^2~d\lambda ...
0
votes
0answers
22 views

Borel functions propreties?

let $(X,\beta,m)$ a measurable space and $m$ is a $\sigma$-finite measure, and $h:X\rightarrow \mathbb C$ a Borel function ($\beta$-measurable) such that $h\in L^2(X)$. Let $X_n=h^{-1}[-n,n]$ so can ...
0
votes
0answers
15 views

Construct an explicit isomorphism between standard measurable spaces

I am looking for explicit measure-preserving bijections between any pair of $\mathbb{R}$, $\mathbb{R}^n$, $\mathbb{R}^\infty$, and $\{0, 1\}^\infty$.
1
vote
0answers
23 views

convergent sequences of functions

Let $f_{n}$ be a sequence of functions, defined as follows: a)$f_{n}(x)=\frac{1}{n} \chi_{[0,n](x)}$, $f_{n}:\mathbb{R}\to \mathbb{R}$;b)$f_{n}(x)=n e^{-nx}\chi_{[0,\infty)(x)}$, also ...
2
votes
1answer
28 views

Symmetric Difference Approximation of a Measurable Set [duplicate]

Let $(\Omega,\mathcal{F},P)$ be a probability space and $\mathcal{A}$ be an algebra of subsets of $\Omega$ such that $\sigma(\mathcal{A})=\mathcal{F}$. Prove that for all $B\in \mathcal{F}$ and for ...
0
votes
0answers
14 views

Give example $\{E_n\}$ s.t $m^*(\cup E_n)<\sum m^*(E_n)$ and $m^*(\cap E_n)<\lim m^*(E_n)$.

Give an example of disjoint sequence of sets $\{E_n\}$ s.t $m^*(\cup E_n)<\sum m^*(E_n)$. Give an example of sequence of decreasing sets $\{E_n\}$ $m^*(E_i)< \infty$ s.t $m^*(\cap ...
3
votes
3answers
37 views

Lebesgue measure has the Darboux property

Let $A$ be a measurable Lebesgue set, with $\lambda(A)>0$($\lambda$ is the Lebesgue measure). Then, for every $b \in (0,\lambda(A))$, there exists a set $B$ measurable Lebesgue, $B\subset A$, with ...
1
vote
0answers
23 views

Tools to study level sets of Lebesgue function

Given $u\in L^\infty(\mathbb{R}^N)$ with compact support, are there nice tools to study the level sets $$K: = \{x\in \mathbb{R}^N : u(x) = \|u\|_\infty \text{ a.e.}\}.$$ The main problem is $K$ being ...
1
vote
1answer
35 views

Measurability of derivative

I am having difficulties with the following problem: Let $I$ be an open interval of $\mathbb{R}$ and $f:I\to \mathbb{R}$ measurable Lebesgue on $I$. Suppose that $f$ si derivable on $I$. I have to ...
0
votes
0answers
42 views

How do I write this probability argument correct in the measure-theoretic sense?

We define the characteristic function of a random variable X, by $\phi_X(u)=E[e^{iuX}]$. My book has written an argument for the characteristic function random variable.That is, we assume N is ...
0
votes
1answer
27 views

a measurable function on R

Please, can you give me a suggestion? We have $(A_{n})_{n\ge 1} $ a sequence of measurable Lebesgue sets, disjoint two by two ($A_{n}\cap A_{m}$ is empty, for $m \neq n$ and $(a_{n})_{n\ge 1}$ a ...
0
votes
0answers
48 views

Interchange of integral and differentiation: calculus version vs. analysis version

There are theorems that specify conditions that guarantee the interchange of differentiation and integral: $$ \frac{d}{dx}\int f(x, y) dy = \int \frac{\partial}{\partial x}f(x,y) dy $$ In calculus $f$ ...