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

learn more… | top users | synonyms (1)

1
vote
1answer
42 views

Integral of $f'$ where $f$ is continuous on $[a,b]$ and differentiable over $(a,b)$.

There is a problem which states that if $f$ is a function continuous on $[a,b]$ and differentiable almost everywhere on $(a,b)$ whose $|\text{Diff}_\frac{1}{n} f| \leq g$ almost everywhere on $[a,b]$ ...
0
votes
1answer
43 views

Real Analysis, Problem 1.4.17 Outer Measures [duplicate]

If $\mu^*$ is an outer measure on $X$ and $\{A_j\}_{1}^{\infty}$ is a sequence of disjoint $\mu^*$-measurable sets, then $\mu^*\left(E\cap\left(\bigcup_{1}^{\infty}A_j\right)\right) = ...
0
votes
1answer
28 views

$\overline{\int}_{E\cup F}f=\overline{\int}_{E}f+\overline{\int}_{F}f$ using ${\overline{\int}_{\Bbb{R}^n}}f=\inf\{\int h|\text{integrable }h\ge f\}$

Given $E$ and $F$ are disjoint, I have to show that $\overline{\int}_{E\cup F}f=\overline{\int}_{E}f+\overline{\int}_{F}f$ using ${\overline{\int}_{\Bbb{R}^n}}{f}=\inf\{\int h|\text{integrable }h\ge ...
0
votes
2answers
62 views
+50

intersection of boundaries have Lebesgue measure 0

Suppose $A$ and $B$ are two sets in $R^n$ such that $\overline{A}\cap B \cup \overline{B}\cap A$ is empty then $\partial A \cap \partial B$ has $n$-dimensional Lebesgue measure $0$ (where $\partial ...
-1
votes
0answers
14 views

Let G be a group with identity ε. If a, b ∈ Z and x ∈ G are such that x a = ε and x b = ε then show that x gcd(a,b) = ε. [duplicate]

I know the definition of the group is associative, inverse and identity. But, I have no idea where to start and how to solve it!
1
vote
0answers
8 views

Jordan measure: half open intervals versus closed intervals.

I'm reading the definition of Jordan measure here and I have problems in understanding why the main definition should be given considering $n$-dimensional rectangles given by half-open intervals, ...
0
votes
1answer
13 views

Product of Lebesgue measure on Hilbert cube doesn't satisfy doubling condition?

The Hilbert cube $H$, is the infinite dimensional product $[0,1]\times [0,\frac12]\times...$ Let $\mu$ be product of Lebesgue measures $\mathcal{L}^1 \times \mathcal{L}^1\times...$, I heard that the ...
1
vote
1answer
20 views

Non-regular measure can be represented by a regular measure

Let $X$ be a locally compact and Hausdorff space, and let $\mu$ be a positive measure on the Borel sets of $X$ (here $\mu$ is not necessarily regular). Then the linear map $L : C_c(X) \to \Bbb C$ ...
2
votes
1answer
72 views

Notation i.i.d sample

I am learning measure theory and sometimes I am not sure if I am using the correct notations, especially with respect to distributions of random variables. In the following I try to formulate the ...
0
votes
0answers
19 views

If a set has finite outer measure, why can you find a countable number of sets that cover it?

Let $μ: S \to [0, \infty]$ be a set function defined on a collection $S$ of subsets of a set $X$ and $\bar{\mu}: M \to [0, \infty]$ the Caratheodory measure induced by $μ$. Let $E$ be a subset of ...
2
votes
0answers
18 views

Why are the positive measure and negative measure induced by the Hahn Decomposition mutually singular?

The following statement describes the Hahn decomposition and claims that the induced positive measure and negative measure are mutually singular. Why is that the case? On a separate note, what are ...
1
vote
1answer
37 views

Let $A$ be a Lebesgue measurable set and let $0\leq b\leq\mu(A)$. Show there is measurable $B\subset A$ with $\mu(B)=b$

Let $A$ be a Lebesgue measurable set and let $0\leq b\leq\mu(A)$. Show there is measurable $B\subset A$ with $\mu(B)=b$. This is a qual problem. I tried approaching this with inner regularity. ...
1
vote
0answers
45 views

Lim Sup and Measurability of one Random Variable with respect to Another

Here, there is a common proposition in probability theory : Let $X,Y: (\Omega, \mathcal{S}) \rightarrow (\mathbb{R}, \mathcal{R})$ where $\mathcal{R}$ are the Borel Sets for the Reals. Show that ...
1
vote
1answer
11 views

Is the map $\omega\mapsto (X(\omega),Y(\omega))$ measurable with respect to $\sigma(X,Y)$?

Definitions: We have a measure space $(\Omega,\sigma(X,Y),\mu)$ where $X,Y$ are maps from $\Omega$ to some measure space $(S,\Sigma,m)$. Here $\sigma(X,Y)$ is the smallest sigma algebra that makes ...
1
vote
0answers
20 views

linear dependence and measure theory

Let $(\Omega,\Sigma,\mu)$ be an measure space. Further let $E:=L^p(\Omega,\Sigma,\mu)$ where $\dim E \ge 2$. First I had to show, that if there are $[f],[g] \in E$, so that $\forall \alpha,\beta \in ...
1
vote
2answers
47 views

A real analysis problem on the integral inequality.

For fixed $ 0 < \alpha < \beta $, is there a positive constant $C_0$, depending only on $\alpha$ and $\beta$, such that for any bounded measurable function $ \varphi : \mathbb{R}^+\rightarrow [0 ...
0
votes
1answer
25 views

Prove that $f^*(x)\geq \frac{c}{\|x\|^n}$ if $f$ integrable.

Let $f:\mathbb R^n\longrightarrow \mathbb R$ a non-zera integrable function. Set $$f^*(x)\geq \sup_{B\ni x}\frac{1}{|B|}\int_B f(y)\mathrm d y,$$ where the supremum is taken over all the ball that ...
1
vote
2answers
63 views

Real Analysis, Folland Problem 1.3.15 Measures

Given a measure $\mu$ on $(X,M)$, define $\mu_0$ on $M$ by $$\mu_0(E) = \sup\{\mu(F): F\subset E \ \text{and} \ \mu(F) < \infty\}$$ a.) $\mu_0$ is a semifinite measure. It is called the ...
4
votes
2answers
128 views
+50

Show that $(L^{p},\|\|_{p})$ is a Banach space.

Show that $(L^{p},\|\|_{p})$ is a Banach space. My approach: I prove the statement for $(L^{1},\|\|_{1})$, of the following way, first all, is easy show that $\|\|_{1}$ is a norm. So, ...
3
votes
0answers
46 views

Does integration wrt to a differential form always come from a measure?

More precisely, is there an $n$-manifold $M$ with an $n$-form $\omega$ such that there is no measure $\nu$ on $M$ satisfying $$\int f \omega = \int f d\mu $$ for all compactly supported smooth ...
0
votes
0answers
18 views

Integrals as Signed Measures (and vice Versa)?

1. Can every integral (with respect to an integrable function) be written as a signed measure? And does the function’s decomposition into positive and negative parts align somehow with the ...
0
votes
1answer
67 views

How can I prove the following equation.

For $0\le{}x\le1$ and for $0\le{}y\le1$, $f(x, y)$ satisfies that, for each $x$, $f(x, y)$ is an integrable function of $y$ and $\displaystyle\frac{\partial{}f(x, y)}{\partial{}x}$ is a bounded ...
2
votes
2answers
29 views

Exterior measure does not satisfy additivity. [closed]

Exterior measure $m^*$ satisfy subadditivity. $$m^*(A\cup B) \leq m^*(A) + m^*(B).$$ But for disjoint sets $A$ and $B$ it may be that $m^*(A\cup B) < m^*(A)+m^*(B)$. So I learned that It is one ...
0
votes
1answer
36 views

Does there exist a curve with non zero area?

Does there exist a curve with a bounded infinitely diffrentiable derivative (i.e. has a minimum |curvature|) of hausdorf demension 2? Or even a diffrentiable curve of hausdorf demension 2?
1
vote
2answers
46 views

Find a subset of A such that its boundary does not have measure zero

Question Find a subset $A$ of $[0,1]$ such that $A=cl(intA)$ and yet $bd(A)$ does not have measure $0$. I don't know how to construct it. I think it should be closed set, cannot be empty by ...
0
votes
0answers
18 views

Can anyone help me understand one step in the proof of claim bounded Lebesgue integrable functions defined on a set of finite measure is measurable?

Here is the outline of the proof. Take $\phi_n$ to be a sequence of increasing simple functions approaching f. Since $\phi_n$ is simple and measurable, f is measurable. My question is where in the ...
1
vote
2answers
33 views

$ L^p $ and inequality

I am trying to solve the following problem in Measure Theory. I assume that I have to use Hölder's Inequality but I don't see how. Let $ E $ measurable, $m(E)<+\infty$, $1<p<+\infty$ and $ ...
1
vote
0answers
60 views

Counterexample for “Filtration of stopping time equals filtration generated by stopped process”

I am working in a discrete setting. Consider any stochastic process $(X_n)_{n\in\mathbb N}$ with its natural filtration $(\mathcal F_n)_{n\in\mathbb N}$ and a stopping time $\tau$. We know that ...
1
vote
1answer
39 views

Problem 2.2 Real Analysis Folland

I want to solve this problem: If $f,g:X\to \overline{\mathbb R}$ are measurable and $c$ is any extended real value the function $$h(x)=\begin{cases}c& \text{if}\ f(x)+g(x)\ \text{is undefined}\\ ...
0
votes
1answer
29 views

What is the measure zero of uncountable set .

Recently I was reading Methods of Real Analysis by Goldberg and had the following question. 7.1 Corollary: Every countable subset of $\mathbb{R}$ has measure zero. How can we describe the ...
2
votes
0answers
29 views

The relationship between random variables, distribution functions and probability measures

Given a probability space $(\Omega,\mathcal{F},P)$, and a random variable $X\colon\Omega\to\Bbb{R}$, we can associate with it its distribution function $F\colon \Bbb{R}\to[0,1]$ defined as ...
1
vote
3answers
48 views

Real Analysis, Folland Problem 1.3.11 Measures

Background information - Let $X$ be a set well equipped with a $\sigma$-algebra $M$. A measure on $M$ (or on $(X,M)$ or on $X$ if $M$ is understood) is a function $\mu: M \rightarrow [0,\infty]$ such ...
0
votes
0answers
15 views

Modulus of Integral defines a measure?

Say you have an integrable function $f: \mathbb{R}^n \to \mathbb{R}$ which does change sign. Does the set function $$m(A):=\left| \int_A f \text{d} x\right|$$ define a either a measure or a ...
1
vote
1answer
21 views

On the interpretation of the limsup of a sequence of events

In the context of understanding Borel-Cantelli lemmas, I have come across the expression for a sequence of events $\{E_n\}$: $$\bigcap_{n=1}^\infty \bigcup_{k\geq n}^\infty E_k$$ following Wikipedia ...
0
votes
0answers
19 views

Measurability and integrability of set and function

My textbook said: Let $E\subset\mathbb{R}^n$, let $G$ be an open set, and let $|\cdot|_e$ denote outer measure. if $\exists{}G$ s.t. $E\subset{}G$ and $|G-E|_e\lt\varepsilon$ for an any given ...
0
votes
1answer
25 views

$f_n = (\frac{1}{n})\chi_{[n, +\infty)}$. Find $\lim \int f_n d\lambda$.

Let $X = \mathbb R$, $\textbf{X} = \textbf{B}$ and $\lambda$ the Lebesgue measure on $\textbf{X}$. I have the following: $f_n = (\frac{1}{n})\chi_{[n, +\infty)}$. I need to find the following: ...
1
vote
1answer
34 views

Sequence of Events - Basic understanding

I have an idea of the meaning of a sample space, and the events included in a sigma algebra. However, I am stuck in the definition of a sequence of events. My difficulty is in the fact that in a ...
0
votes
0answers
39 views

Find the Lebesgue measure of the following sets.

Find the Lebesgue measure of the following sets: i) A=$(\cup_{n=1}^\infty [2^n, 2^n + \frac{1}{2^n}))$ \ $\mathbb{Z}$ ii) B=$(\cup_{n=1}^\infty (n^n, n^n + \frac{1}{2^n}))$ $\cap$ $\mathbb{Q}$. For ...
0
votes
0answers
12 views

Given an event field, is there a random variable generating it? [duplicate]

In probability space $(\mathsf{\Omega},\mathcal{F},\mathrm{P})$, for any event field $\mathcal{G}\subset\mathcal{F}$, there always exists a random variable $X$, such that $\sigma(X)=\mathcal{G}$? Is ...
0
votes
0answers
20 views

Conditional Distributions vs. Stochastic Processes

Is the concept of a version of a stochastic process related to the concept of a version of a conditional distribution? And is a regular version of a stochastic process somehow the same thing as the ...
1
vote
0answers
48 views

Sigma-algebra on $\Omega = \{1,2,3,4,5\}$ generated by $\epsilon = \{\{1,2,4,5\},\{2,3\}\}$

Let $\Omega = \{1,2,3,4,5\}$. Let $\epsilon = \{\{1,2,4,5\},\{2,3\}\}$. Find $\sigma$ ($\epsilon$), generated by ($\epsilon$), and justify answer. Could someone please give me some direction and ...
0
votes
2answers
25 views

Let $f_n = (\frac{1}{n})\chi_{[0,n]}$ and $f = 0$. Show that $(f_n)$ converges uniformly to $f$.

Let $f_n = (\frac{1}{n})\chi_{[0,n]}$ and $f = 0$. Show that $(f_n)$ converges uniformly to $f$. I have never done an example of convergence of sequences that have characteristic (indicator) ...
0
votes
2answers
37 views

Real Analysis, Folland Problem 1.3.14 [duplicate]

If $\mu$ is semifinite measure and $\mu(E) = \infty$, for any $C > 0$ there exists $F\subset E$ with $C < \mu(F) < \infty$. Attempted proof - Suppose $E\in M$ with $\mu(E) = \infty$ then ...
2
votes
1answer
38 views

Can the unit interval be the disjoint union of countably many “super-dense” parts?

I'm curious about this question in the case where $f$ is not necessarily measurable. I think what it comes down to is this: Is there an $\varepsilon<1$ and a partition of $[0,1]$ in countably ...
0
votes
1answer
55 views

Decomposition of complex Radon measures

Suppose you have a complex Radon measure $\mu$, treated as a distribution. Then does every such Radon measure admit a decomposition of the form $\mu = \sum_{n=1}^\infty c_n \delta(x-\tau_n) + \hat f$ ...
0
votes
0answers
24 views

Is there a there a non intersecting mapping to unit square.

Is there a way to go from the fat cantor set to a half unit square in a non intersecting way using Hilberts curve? How would I go about constructing a non intersecting space filling curve of non zero ...
1
vote
1answer
48 views

Is every set of measure zero countable?

I know it is true that every countable set has measure zero, but is the converse true. Is it true that every set of measure zero is countable?
1
vote
1answer
22 views

Exercise 10.N of The elements of integration and Lebesgue measure Bartle's book

If $a_{mn}\ge 0$ for $m,n\in\mathbb{N}$, then $\sum_{m=1}^{\infty} \sum_{n=1}^{\infty}a_{mn}=\sum_{n=1}^{\infty} \sum_{m=1}^{\infty}a_{mn}(\le +\infty).$
0
votes
0answers
15 views

Prove that $\phi:\mathbb R^{p+q}\to\mathbb R^{m+n}:(x,y)\mapsto (f(x),g(y))$ is measurable.

If I have two measurable functions $f:\mathbb R^p\to\mathbb R^m$ and $f:\mathbb R^q\to\mathbb R^n$, how can I prove that $$\phi:\mathbb R^{p+q}\to\mathbb R^{m+n}:(x,y)\mapsto (f(x),g(y))$$ is ...
0
votes
1answer
30 views

A question on atoms in measure theory.

The definition in Bogachev's book goes as follows: Now let $\mathcal{A}$ be a $\sigma$ algebra and let $\mu$ be a finite countably additive measure. 1.12.7 Definition. The set $A\in \mathcal{A}$ ...