Questions tagged [measure-theory]

Questions about abstract measure and Lebesgue integral theory. Also concerns such properties as measurability of maps and sets.

Filter by
Sorted by
Tagged with
1 vote
1 answer
89 views

Maximal element w.r.t. abolute continuity of measures

Suppose that $\mu$ is a $\sigma$-finite measure on $\mathcal{X}\equiv\bigotimes_{i=1}^n\mathcal{X}_i$. Let $\Pi$ denote the set of all $\sigma$-finite product measures on $\mathcal{X}$. Define $$ \...
d.k.o.'s user avatar
  • 175
0 votes
0 answers
64 views

Some stability and estimate of the optimal transport map (Brenier map)

Let $\mu$ and $\nu$ be two probability measures with finite moments (in $\mathcal{P}_2(\mathbb{R})$) equipped with 2-Wasserstein distance. Let $F_\mu$, $F_\nu$ be their cumulative distribution ...
mnmn1993's user avatar
-1 votes
0 answers
26 views

Conditional joint distribution decomposition

Let $I$ be a finite index set and $\mathcal X_i$ for $i\in I$ be a standard measurable space (or say a Polish space or $\mathbb R$). Suppose that the probability measure $P(X_I)$ on the product space $...
Mars's user avatar
  • 1
0 votes
0 answers
43 views

Existence of derivative of distribution of exponential family?

Suppose $(X, \mathcal{F})$ is a measurable space and $\left\{F_\theta, \theta \in \Theta\right\}$ is a distribution family on $(X, \mathcal{F})$. When $\left\{F_\theta, \theta \in \Theta\right\}$ is ...
Jaimin Shah's user avatar
0 votes
0 answers
22 views

An auxiliary problem while constructing the system of Jordan sets on a plane

Let $\mathfrak{S}$ be a system of rectangles in $R^2$ of the form $[a,b]\times [c,d]$ where $a,b,c, d \in R$, $a<b$, $c<d$. Let $\mathfrak{A}$ be a system of simple sets based on $\mathfrak{S}$. ...
Alexander's user avatar
0 votes
0 answers
145 views

The set of continuous bounded functions $f:X\to Y$ is dense in $L^p(X,Y)$ where $X,Y$ are Polish

It is well known that the set of real-valued continuous functions with compact support is dense in $L^p(\mu)$ where $\mu$ is a Radon measure (see e.g. [Folland, Proposition 7.9]) Clearly, the set of ...
Kaira's user avatar
  • 185
4 votes
1 answer
223 views

Does a generic linear map admit a vector whose iterates span $V$?

We say a linear map $T$ on a finite dimensional vector space $V$ admits spanning vectors if there exists some vector $v \in V$ whose iterates $v, Tv, T^2 v, \dots$ under $T$ span $V$. Question: ...
Nate River's user avatar
  • 4,594
0 votes
1 answer
81 views

Lower bounds for truncated moments of Gaussian measures on Hilbert space

Let $\mu_C$ be a centered Gaussian probability Borel measure on a real separable Hilbert space $\mathcal{H}$ with covariance operator $C$. Denote the ball with radius $r$ in $\mathcal{H}$ centered at ...
S.Z.'s user avatar
  • 463
1 vote
1 answer
84 views

Interchange the deterministic and stochastic integrals

We fix $T >0$ and let $\mathbb T$ be the interval $[0, T]$. Let $(X_t, t \in \mathbb T)$ be a continuous adapted process on some filtered probability space $(\Omega, \mathcal A, (\mathcal F_t)_{t \...
Analyst's user avatar
  • 617
0 votes
0 answers
55 views

Existence of a measurable maximizer

Let $F$ be a continuous cdf with full support on $[0,1].$ Let $A$ be a compact subset of $\mathbb{R}$ and $\mathcal{M}$ be the set of measurable functions $\alpha:[0,1]\rightarrow A.$ Let $\bar \alpha ...
FeleMath's user avatar
1 vote
0 answers
67 views

Can we control the Wasserstein metric between $\mu$ and $\nu$ by their moment difference?

Fix $p \in [1, \infty)$. Let $(\mathcal P_p(\mathbb R^d), W_p)$ be the Wasserstein space of all Borel probability measures on $\mathbb R^d$ with finite $p$-th moment. Let $D_p$ be the collection of ...
Analyst's user avatar
  • 617
2 votes
1 answer
111 views

On a density property of signed singular measures

Suppose that $\mu$ is a signed finite Borel measure which is singular with respect to the Lebesgue measure in $[0,1]$. Is it true that there always exist a point $x\in [0,1]$ such that \begin{equation*...
an_ordinary_mathematician's user avatar
1 vote
1 answer
226 views

Is the Borel-Cantelli Lemma applicable here? [duplicate]

Consider $(X_{n})_{n\in\mathbb{N}}$ a sequence of random variables taking values in the set $\mathbb{Z}_{\geq 0}$ where $\mathbb{P}(X_{n} = i) > 0 $ for every $i\in\mathbb{Z}_{\geq0}$ which are ...
user1234's user avatar
  • 171
8 votes
1 answer
1k views

Worst of both worlds?

It's well known that $\mathsf{AC}$ implies the existence of non-measurable sets. And it's also true that, if all sets are measurable, then $|\mathbb{R}/\mathbb{Q}| > |\mathbb{R}|$. But is there a ...
Zemyla's user avatar
  • 309
0 votes
1 answer
67 views

Same occupation measure $\Rightarrow$ same trajectory

Let $f$ be a $\mathcal{C}^1$ vector field (VF) on a compact subset $M \subset \mathbb{R}^n$. $M$ inherits the Euclidean metric. We define a dynamical system by $$\dot{x}(t)=f(x(t))$$ The occupation ...
NicAG's user avatar
  • 247
18 votes
1 answer
342 views

Is defining measures as functionals ever insufficiently general in practice?

Crossposting from Math Stack Exchange, as it has yet to receive any answers there; the original question is here. The way I learned measures was as set functions on a $\sigma$-algebra with certain ...
Justin Toyota's user avatar
0 votes
1 answer
108 views

Some continuity issues of the optimal transport map (Brenier map)

Let $\mu$ and $\nu$ be two probability measures with finite moments (in $\mathcal{P}_2(\mathbb{R})$) equipped with 2-Wasserstein distance. Let $F_\mu$, $F_\nu$ be their cumulative distribution ...
mnmn1993's user avatar
1 vote
0 answers
77 views

Measurability of the union of cut loci along a curve

Let $(M,g)$ be a Riemannian symmetric space and $\alpha(s)$ be a geodesic. Define $$ U(t)=\cup_{s\in[0,t]}{\rm Cut}(\alpha(s)) $$ as the union of the cut loci ${\rm Cut}(\alpha(s))$ along the curve $\...
Hengchao Chen's user avatar
2 votes
0 answers
135 views

The Hausdorff measure of intersection of annulus and conformal curve

Recently I came across a problem in my research. Let $g:[0,1]\to\mathbb{C}$ be a restriction of a conformal map that is defined in a simply connected domain $\Omega\subseteq\mathbb{C}$ that include $[...
mathematics is all's user avatar
1 vote
1 answer
127 views

Strongly regular binary sequences

Let $\mathbb{N} = \{0,1,2,\ldots\}$ denote the set of non-negative integers. If $n\in\mathbb{N}$ we let $[n] = \{0,\ldots,n-1\}$. For $A \subseteq \mathbb{N}$ we let $$\mu^+(A) = \lim\sup_{n\to\infty}\...
Dominic van der Zypen's user avatar
2 votes
2 answers
293 views

Existence of the limit of periodic measures

Let $T: X \to X$ be a continuous map over a compact metric space. We say that a measure $\mu$ is $T$-invariant if $T_{\ast} \mu= \mu$. We denote by $M(X, T)$ the space of all $T$-invariant Borel ...
Adam's user avatar
  • 1,001
9 votes
1 answer
305 views

Disintegration measures and differential forms

Let $X$ and $Y$ be smooth oriented manifolds of dimension $m$ and $n$, and let $f\colon X\to Y$ a proper smooth map. There is a theorem called the "Disintegration Theorem" which says ...
Ben Webster's user avatar
  • 43.8k
2 votes
1 answer
82 views

Does left-invariance imply right-invariance for closed unimodular normal subgroups?

Suppose we have a locally compact group $G$ and a closed unimodular normal subgroup $N$. Let $\mu$ be a Borel probability measure on $G$ which is left $N$-invariant. Does it follow that $\mu$ is right ...
Kim's user avatar
  • 4,024
2 votes
2 answers
221 views

Preimage of null sets under a monotone increasing function

Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
Julian's user avatar
  • 113
0 votes
1 answer
94 views

Relation between the convergence of measures and the evolution of their supports

Let a sequence of Borel probability measures $\mu_n$ converges to $\mu$ in the weak*-topology. Are there any related results on the evolution of the support of $\mu_n$? For example, in which case, the ...
Panrui Ni's user avatar
0 votes
0 answers
63 views

Is a bounded measurable convex function above its interior lower semi-continuous convex envelope?

Let $E$ be a locally convex topological vector space, let $C$ be a convex set which matches the closure of its relative interior $\mathring C=\{ x\in C : \forall y\in C,\exists z\in C,~x\in\mathopen]y,...
P. Quinton's user avatar
0 votes
0 answers
36 views

Weak convergence of Gibbs measures with converging energy functions

Let $H$ be a continuous energy function defined on a compact subset $A\subset \mathbf{R}^n$ and let $Q$ be a fixed probability measure on $A$. For each $\theta>0$, define the probability ...
John's user avatar
  • 473
1 vote
1 answer
92 views

Convergence of ODE with uniform $L^\infty \cap L^1$ bound on nonlinearity

Consider the IVP $$ \left\{ \begin{aligned} \frac{d}{dt} \Phi_n(t,x) &= f_n(\Phi_n(t,x)) && \forall t \in \mathbf{R}_+ \\ \Phi_n(0,x) &= x && \forall x \in \mathbf{R} \end{...
zelda's user avatar
  • 73
1 vote
2 answers
242 views

An integral inequality?

Let $v \in C^\infty(\mathbb R)$ such that $1 \ge v \ge 0$ and $\int_{\mathbb R} v \, dx = 1$. I want to show that if $$\int_{\mathbb R} v |v''|^2 \, dx < + \infty. \tag{$\star$}$$ then $$ \int_{\...
aaragon's user avatar
  • 73
1 vote
1 answer
111 views

Can functions with "big" discontinuities be in $H^1$?

How can I prove that the function: $$u:\Omega\to\mathbb{R},\ u(x)=\begin{cases} 0, x\in\omega \\[3mm] v(x), x\in\Omega\setminus\omega\end{cases}$$ is not in $H^1(\Omega)$, knowing that $v\geq 1$ is ...
Bogdan's user avatar
  • 1,330
11 votes
3 answers
1k views

Every function on reals a sum of two surjective real functions?

From this question, and the answer thereof, we can see that every real valued function on reals is a sum of two injective functions. Is the same true if we replace injectivity by surjectivity. For ...
vidyarthi's user avatar
  • 1,975
1 vote
1 answer
122 views

Is a bounded convex function $g$ that is non-negative on this particular convex set also non-negative on the its closure?

Setup : Let $S$ be the simplex on $\mathbb N$, i.e. the set of probability distribution on the natural numbers. Suppose we have $p\in S$ such that, for all $n\geq 1$, $p_n > 0$. For any $\emptyset\...
P. Quinton's user avatar
1 vote
1 answer
103 views

Properties of the relatively bounded probability distributions on the simplex over the natural numbers

Setup : Let $S$ be the simplex over $\mathbb N$, i.e. the set of probability distribution over $\mathbb N$. Let $p\in S$ be such that $0 < p_n$ for all $n\in \mathbb N$. Let $H$ be the Hilbert ...
P. Quinton's user avatar
7 votes
2 answers
583 views

Countably representing all closed sets of positive measure

This may be a naive question, but I don't see an immediate argument. Question: Does there exist a sequence $\{C_m\}_{m=1}^\infty$ of Borel subsets of $[0,1]$ with positive Lebesgue measure $|C_m|>0$...
Bedovlat's user avatar
  • 1,899
1 vote
0 answers
93 views

If we have $\mu_{xy}$, why can we only construct the spectral measure if $\| \mu_{xy} \| \le \| x \| \|y \|$?

Definitions Representation Let $X \subset \mathbb{C}^N$ and $\mathcal{A}$ be an algebra in $\mathcal{C}(X)$. Also, we denote $L(H)$ as the set of all linear operators on HIlbert space $H$. We call $\...
S-F's user avatar
  • 151
1 vote
0 answers
69 views

$f \in L^2(X\times Y,\mu \times K)$ for Kernel $K$, is the map $X \ni x \mapsto (f(x,\cdot),x) \in \bigsqcup_{x \in X}L^2(Y,\Sigma_Y,K_x)$ measurable?

Let $(X,\Sigma_X)$ and $(Y,\Sigma_Y)$ be two measurable spaces, let $\mu$ be a measure on $(X,\Sigma_X)$, and let $(K_x)_{x \in X}$ be a transition kernel from $(X,\Sigma_X)$ to $(Y,\Sigma_Y)$, that ...
vaoy's user avatar
  • 287
3 votes
1 answer
137 views

Does $L^1$ boundedness and convergence in probability imply convergence in probability of the Cesaro sums?

Let $X_n$ be a sequence of random variables with uniformly bounded $L^1$ norm. Suppose $X_n$ converges in probability to $X \in L^1$. Is it true that the Cesaro sums $Y_n := \frac{1}{n} \sum_{i = 1}^n ...
Nate River's user avatar
  • 4,594
1 vote
0 answers
68 views

Weak$^\ast$ closure of a countably complete sublattice of the unit ball of $L^\infty(\Omega, \mu)$

This is a reframing of my previous question from a Banach lattice perspective: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity? The previous question ...
David Gao's user avatar
  • 1,166
11 votes
0 answers
473 views

Are there 100 points that are part of every half-density part of the plane?

Is there a configuration $P$ that consists of 100 points of the plane such that every $X\subset\mathbb R^2$ whose density is half contains an isometric copy of $P$? I am deliberately being vague ...
domotorp's user avatar
  • 18.2k
2 votes
0 answers
136 views

$\mathscr{H}^{n-2}(\Sigma)< \infty$ implies $\mathscr{H}^{n-1}(\pi(\Sigma))=0$

Let $\Sigma\subset \mathbb{R}^{n+1}$ be a set with $(n-2)$-dimensional Hausdorff measure finite, i.e. $\mathscr{H}^{n-2}(\Sigma)<\infty$. Let $\pi:\mathbb{R}^{n+1}\to \mathbb{R}^n$ be the ...
No-one's user avatar
  • 1,035
0 votes
0 answers
86 views

Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?

(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?) Assume $(\Omega, \mu)$ is a probability space. Consider a ...
David Gao's user avatar
  • 1,166
0 votes
0 answers
56 views

What is a metric for weak convergence of finite measures on a non compact, complete and separable metric space?

Consider the set of finite positive measures on a complete, separable, but not compact, metric space $S$, endowed with the topology under which a sequence of finite positive measures $\{\mu_n\}$ ...
CCC's user avatar
  • 1
3 votes
1 answer
163 views

Continuity of conditional expectation

Let $X$ be a compact metric space, $\mu$ a Borel probability measure on $X$ and $f: X \to \mathbb{R}$ a continuous function. Consider an increasing sequence of $\sigma$-algebras $A_n$ so that for all $...
A.M.'s user avatar
  • 31
1 vote
1 answer
110 views

In the limit, do the intersection points of a string figure define a probability measure on the unit disk?

Let D = {z ∈ ℂ | |z| ≤ 1} denote the closed unit disk in the complex plane. For any integer n ≥ 1 define the nth string figure S(n) ⊂ D as the union of all n(n+1)/2 line segments that connect two ...
Daniel Asimov's user avatar
0 votes
0 answers
36 views

Measurability of the weak completion of an orthogonal representation

Let $G$ be a locally compact group and let $\pi$ be a strongly continuous orthogonal representation of $G$ in a real Hilbert space $H$. Denote by $E$ the real Hausdorff locally convex space obtained ...
P. P. Tuong's user avatar
-1 votes
1 answer
223 views

Book Reccomendation to learn measure theory? [closed]

I would like to know if there are any 'accessible' books to understand measure theory. I came across videos of Jay Cummings on YouTube channel 'The Bright Side of Mathematics' (if anyone knows that) ...
ale_7's user avatar
  • 33
0 votes
1 answer
70 views

Existence and uniqueness of a posterior distribution

I am wondering about the existence and uniqueness of a posterior distribution. While Bayes' theorem gives the form of the posterior, perhaps there are pathological cases (over some weird probability ...
CoilyUlver's user avatar
3 votes
0 answers
173 views

Reverse-mathematical strength of Banach-Tarski

What is the reverse mathematical strength of the Banach-Tarski paradox? The usual proof of Banach-Tarski should carry out in $\mathrm{ZF}+\mathrm{AC}_\kappa$, where $\kappa$ is the supremum of the ...
C7X's user avatar
  • 1,068
-1 votes
1 answer
75 views

Pointwise limit of a "net" of measurable functions is measurable? [closed]

Let $(X, \mathcal{A},\mu)$ be a finite measure space with the $\sigma$-algebra $\mathcal{A}$ and the measure $\mu$. Let $B$ be a separable Banach space. Then, it is well-known from a theorem by Pettis ...
Isaac's user avatar
  • 2,625
1 vote
0 answers
77 views

Finding a functional that stays non-negative on a particular subset of $L^2[0, 1]$

Start with the Hilbert space $L^2([0, 1])$ with Lebesgue measure. Fix some Borel-to-Borel measurable function $f: [0, 1] \times [0, 1] \rightarrow \mathbb{R}$. I present 4 scenarios, each more ...
Daniel Goc's user avatar

1
2 3 4 5
58