Skip to main content

All Questions

19 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
10 votes
0 answers
744 views

Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?

Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
Wolfgang Loehr's user avatar
7 votes
0 answers
3k views

What is vague convergence and what does it accomplish?

For convenience, let's say that I have a locally compact Hausdorff space $X$ and am concerned with probability measures on its Borel $\sigma$-algebra $\mathcal{B}(X)$. Natural vector spaces to ...
Greg Zitelli's user avatar
  • 1,104
7 votes
0 answers
2k views

Prokhorov's theorem for finite signed measures?

Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure. Notation used ...
UPS's user avatar
  • 339
7 votes
0 answers
624 views

"Liftings" of L^\infty functions

This is motivated by this question: Is there an inclusion of $L_\infty(G)$ into $C_0(G)^{**}$? and Bill Johnson's comments there. Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon ...
Matthew Daws's user avatar
  • 18.7k
4 votes
0 answers
119 views

Is the range of a probability-valued random variable with the variation topology (almost) separable?

Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
Michael Greinecker's user avatar
4 votes
0 answers
115 views

point-wise approximation of the identity in hereditary Lindelof spaces

Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$. Q. Can we concluded that $X$ is hereditery ...
ABB's user avatar
  • 4,058
4 votes
0 answers
143 views

A point concerning Fremlin's example on Borel sets in non-separable Banach spaces

Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$. $~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology. $~~\mathcal{M}$= The sigma algebra ...
ABB's user avatar
  • 4,058
3 votes
0 answers
174 views

Any reference on Jensen inequality for measurable convex functions on a Hausdorff space?

I asked this question on math.stackexchange and I was suggested that asking it may be more appropriate. This is part of my research which tries to extend some of Choquet's theory to some non-compact ...
P. Quinton's user avatar
3 votes
0 answers
153 views

Is it possible to reconstruct the universally measurable sets in X from the $C^*$-algebra $C(X)^{**}$?

This continues my question of two months ago. Let $X$ be a compact Hausdorff topological space. We consider the $C^*$-algebra $C(X)$ of continuous functions on $X$, its dual space $C(X)^{*}=M(X)$ of ...
Sergei Akbarov's user avatar
3 votes
0 answers
233 views

Is it possible to reconstruct the compact space $X$ from the space of measures $M(X)$?

Let $X$ be a compact Hausdorff topological space and $C(X)$ the Banach algebra of continuous functions $u:X\to\mathbb C$ (with the usual $\sup$-norm). It is well-known that the structure of Banach ...
Sergei Akbarov's user avatar
3 votes
0 answers
650 views

description of dual space of space of Radon measure equipped with topology of weak convergence

Let $\mathcal{M}(\mathbb R)$ be the space of Radon measures, equipped with topology $\tau$ generated by the following "weak convergence": $$ \mu_n \rightarrow \mu \quad \text{iff} \quad \int f d\mu_n ...
Ryan's user avatar
  • 325
2 votes
0 answers
75 views

Dual space induced by a finer topology

Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two seminorms on a space $E$ such that $\|\cdot\|_2\geq\|\cdot\|_1$. Let further $E_i:=(E,\|\cdot\|_i)$ and $$C_b(E_i):=\{f : E\rightarrow\mathbb{R}\mid f \ \...
fsp-b's user avatar
  • 463
2 votes
0 answers
240 views

3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators

During my studies, I came across several different Stone spaces, e.g.: (i) The Cantor cube $X=\{0,1\}^{\omega_1}$, which is the Stone space of the free Boolean algebra on $\omega_1$ free generators; ...
LJGC's user avatar
  • 207
2 votes
0 answers
136 views

equivalence of topologies defined on $M_1$(a subspace of bounded measures on $\mathbb{R}$)

Let $\mathcal{C}:=\mathcal{C}(\mathbb{R})$ be the space of continuous functions on $\mathbb{R}$ and $\mathcal{C}_b$ its subspace consisting of bounded elements. Define for $\phi(x):=1+|x|$, $$ \...
CodeGolf's user avatar
  • 1,835
1 vote
0 answers
73 views

Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?

Below we use Bochner measurability and Bochner integral. Let $(Y, d)$ be a separable metric space, $\mathcal B$ Borel $\sigma$-algebra of $Y$, $\nu$ a $\sigma$-finite Borel measure on $Y$, $(Y, \...
Analyst's user avatar
  • 657
1 vote
0 answers
260 views

Generating the sigma algebras on the set of probability measures

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and $\triangle\left(X,\...
Mark's user avatar
  • 11
1 vote
0 answers
275 views

Regular Borel Measures equivalent definition

Please help me understand how the below definition is equivalent to the standard definition of regularity which says that a measure is regular if for which every measurable set can be approximated ...
user28112's user avatar
0 votes
0 answers
98 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
  • 2,830
0 votes
0 answers
98 views

Reference request: subspace-based generalisation of weak* convergence

Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
fsp-b's user avatar
  • 463