Skip to main content

All Questions

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

Compactness with respect to topology induced by total-variation distance

I've been working on a problem and at some point in the proof I need to show that the following set $$\left\{\mu \in \mathcal{P}_{ac}(\mathbb R^d): \int \varphi(x)\mu(\mathrm{d}x)\leq C\right\}$$ is ...
Andrew Luo's user avatar
2 votes
1 answer
123 views

Signed measures on algebras (fields) and their boundedness properties

I asked this question here on math.StackEchange, but it might be too technical so I re-post it here. Let $X$ be a compact Hausdorff second countable topological space. Let $\mathcal{B}$ a countable ...
Ennio's user avatar
  • 23
0 votes
0 answers
49 views

Existence of sequence of regular projections

Reading the book :Krasnosel'skii, M.A.; Pustylnik, E.I.; Sobolevskii, P.E.; Zabreiko, P.P. (1976), Integral Operators in Spaces of Summable Functions, Leyden: Noordhoff International Publishing, 520 p....
Guillermo García Sáez's user avatar
0 votes
1 answer
104 views

Sequential compactness of a sequence of curves of Borel probability measures

$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \DeclareMathOperator*{\supp}{supp} \newcommand{\bR}{\mathbb{R}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bN}{\mathbb{N}} \newcommand{\bP}{\mathbb{...
Akira's user avatar
  • 835
0 votes
0 answers
63 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
0 votes
1 answer
51 views

A MNC with maximum property but not singular

Let $E$ be a Banach space, $\mathfrak{M}_E$ indicate the family of all nonempty bounded subset of $E$, $\mathfrak{N}_E$ the family of all relatively compact sets, and $Ker \mu=\{X\in \mathfrak{M}_E$ ...
Motaka's user avatar
  • 291
0 votes
1 answer
268 views

Tightness on a set $A$ implies tightness on a set $B$ where $A\subset B$?

From the book Billingsley - Convergence of probability measures, 1999, we have the following definitions of tightness and relative compactness and the Prohorov's theorem: Tightness: Let $\Pi$ be a ...
Mark's user avatar
  • 657
8 votes
1 answer
207 views

Subspaces of $L_p([0,1])$ whose unit ball is compact for the topology of convergence in measure

Any information about the following questions would be welcome. I wonder whether there are (well-known or easy) closed and infinite dimensional subspaces of $L_p([0,1])$ ($1<p<\infty$) whose ...
user159631's user avatar
2 votes
1 answer
650 views

Compact embedding of space of signed Radon measures into Sobolev space $W^{-1,q}$ from Evans paper; Does it work in one space dimension?

Background: I work on a PDE problem where I have some approximating sequence of measure-valued functions and I need to compactly embed it into some negative Sobolev space $W^{-m,q}$ on the bounded ...
Mark's user avatar
  • 657
6 votes
2 answers
1k views

Is the separability of the space needed in the proof of the Prohorov's theorem?

The Section 5 of the book: Billingsley, P., Convergence of Probability Measures, 1999, studies Prohorov's theorem. A short reminder is given below. Let $\Pi$ be a family of probability measures on ...
Mark's user avatar
  • 657
2 votes
1 answer
135 views

A non-condensing operator with a power condensing

Let $\alpha$ to be the Kuratowski measure of non-compactness, in a Banach space $E$. It's very easy to prove that $\alpha (D_1\times D_2)\leq \alpha (D_1)+\alpha (D_2)$, where $D_1$ and $D_2$ are ...
Motaka's user avatar
  • 291
2 votes
1 answer
261 views

Bounded ball measure on compact metric space

Fix $c>1$. Let $(X,d)$ be a separable compact metric space, does there necessarily exist a Borel probability measure $\nu$ on $(X,d)$ such that $\operatorname{sup}_{x \in X,r>0}\frac{\nu(\...
ABIM's user avatar
  • 5,405
7 votes
1 answer
856 views

Compactness of set of indicator functions

Let $\chi_A(x)$ denote an indicator function on $A\subset [0,1]$. Consider the set $$K=\{\chi_A(x): \text{ A is Lebesgue measurable in }[0,1]\}.$$ Is this set compact in $L^\infty(0,1)$ with respect ...
Saj_Eda's user avatar
  • 395
7 votes
1 answer
850 views

Weak*-convergence of signed measures

Let $X$ be a compact Hausdorff space and let $M(X)$ denote the space of signed measures that is naturally dual to $C(X)$, the space of continuous functions on $X$. I am interested whether the ...
user3522356's user avatar
0 votes
1 answer
675 views

Upper bound for KL divergence on compact space

Let $(\Omega, \mathcal{F}, \mu)$ be a probability space and let $Q$ be the uniform distribution on $(\Omega, \mathcal{F})$ such that $q = dQ / d\mu$ exists. Then the KL-divergence for some probability ...
bvn's user avatar
  • 3
2 votes
0 answers
206 views

Regularity of Dirac measure on Baire sets [closed]

Suppose $X$ is a locally compact Hausdorff space. Define the Baire sets in $X$, denoted by $\mathcal Ba(X)$, to be the smallest $\sigma$-algebra that contains all compact $G_\delta$ subsets of $X$. ...
Richard Hevener's user avatar
3 votes
3 answers
895 views

Compactness of sigma-algebra for the $L^1$ metrics

Consider a probability space $(X,F,\mu)$, and the quotient $G$ of the sigma-algebra $F$ by its null sets. Endow $G$ with the metric $d(A,B) = \mu(A \triangle B)$. Is $(G,d)$ a compact metric space? ...
Did's user avatar
  • 5,721