# Tagged Questions

**5**

votes

**2**answers

262 views

### non-Borel set which intersects every compact in a Borel set

I remember hearing some time ago that there is a locally compact Hausdorff space $X$ and a non-Borel subset $E$ which intersects every compact set in a Borel set. (This would contradict Lemma 13.9 of ...

**3**

votes

**0**answers

71 views

### Non Borel Spaces: Gauge Integral

Question
Is there a generalization of the gauge integral to measure spaces that do not necessarily arise out of some topology?
I'm wondering since it seems as the gauge crucially uses ...

**3**

votes

**1**answer

192 views

### Quotients of standard Borel spaces

Let $X$ and $Y$ be standard Borel spaces: topological spaces homeomorphic to Borel subsets of complete metric spaces. Given a surjective Borel map $f:X\to Y$, we get an equivalence relation ...

**4**

votes

**2**answers

173 views

### Tightness of Measures, Riesz Representation for locally compact spaces

Let $X$ be a locally compact, separable metric space and $\mu_n$ a sequence of probability measures on $S$. Let $\mathfrak{C}$ be a convergence determining class for the weak topology (for instance, ...

**3**

votes

**2**answers

203 views

### Non-Polish Lebesgue probability space?

Any Lebesgue probability space is mod. 0 isomorphic to some Polish probability space (with $\sigma$-algebra the completion of Borel algebra, and some Borel probability). I would like to see an example ...

**5**

votes

**2**answers

226 views

### Can Hausdorff dimension make sets into a Tropical Semiring?

If $X$ is a metric space, we construct Hausdorff $d$ measure from the outer measure
\begin{equation}
H^d(U) = \lim_{\delta \to 0}\inf\left\{\sum_{i=1}^\infty \left(\text{diam}(E_i)\right)^d : ...

**3**

votes

**1**answer

206 views

### Density of linear functionals in $L^2$

Let $X$ be a locally convex topological linear space, and let $\mathbb P$ be a probability measure on $X$. Suppose that $\operatorname{var}(\varphi) < \infty$ for all continuous linear functionals ...

**1**

vote

**0**answers

75 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|$,
$$
...

**3**

votes

**0**answers

177 views

### Strong measure zero sets and selection principles

A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which ...

**12**

votes

**7**answers

672 views

### Examples of toposes for analysts

I've read that toposes are extremely important in modern mathematics, but I find the definitions and examples given on the nLab page a little too abstract to understand.
Can you provide some examples ...

**2**

votes

**1**answer

194 views

### Probability measures on $L^p$

Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu ...

**2**

votes

**1**answer

134 views

### When is a space of probability measures not perfectly normal?

I am looking for examples of pairs ($(\Omega,\Sigma)$, ($\mathcal P(\Omega)$, $\tau$)), where $(\Omega,\Sigma)$ is a measurable space and ($\mathcal P(\Omega)$, $\tau$) is a space of probability ...

**12**

votes

**4**answers

475 views

### Continuity on a measure one set versus measure one set of points of continuity

In short: If $f$ is continuous on a measure one set, is there a function $g=f$ a.e. such that a.e. point is a point of continuity of $g$?
Now more carefully, with some notation: Suppose $(X, d_X)$ ...

**2**

votes

**1**answer

278 views

### Is this a closed set?

Let $\Theta$ and $X$ be two (Hausdorff) topological spaces. Let $\mathbb P : \Theta \to \Delta(X)$ be a "statistical model", i.e., a continuous function from parameter space $\Theta$ to the space of ...

**3**

votes

**2**answers

167 views

### Product of Topological Measure Spaces

Def. A Radon measure $\mu$ on a compact Hausdorff space $X$ is uniformly regular if there is a countable family $\mathcal{A}$ of compact $G_\delta$-subsets of $X$ such that for every open set ...

**1**

vote

**0**answers

134 views

### Extending a homeomorphism from a dense set [closed]

Let $X$ and $Y$ be Hausdorff topological spaces, and let $f : X \to Y$ be a Borel-measurable function. Suppose that $D \subseteq X$ is dense, that the image $f(D) \subseteq Y$ is dense, and that $f$ ...

**1**

vote

**0**answers

137 views

### Can a compact metrizable space be determined by its Hausdorff measures?

Suppose that $(X,d)$ is a compact metric space. Now suppose that $h:[0,a]\rightarrow[0,b]$ is a continuous function with $h(0)=0$ where if $x\leq y$, then $h(x)\leq h(y)$. Then define ...

**16**

votes

**2**answers

498 views

### Intersection of compact sets in the unit interval

Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr ...

**0**

votes

**1**answer

301 views

### What are some characterizations of the strong and total variation convergence topologies on measures?

I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here.
The Wikipedia article on convergence of measures defines three kinds of convergence: ...

**6**

votes

**0**answers

270 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 ...

**2**

votes

**1**answer

300 views

### When is the support of a Radon measure separable?

Let $X$ be a topological space, equipped with its Borel $\sigma$-algebra $\mathcal B(X)$, and let $\mathbb P$ be a Radon probability measure on $(X, \mathcal B(X))$. Recall that the support of the ...

**10**

votes

**1**answer

399 views

### Restrictions of null/meager ideal

Let I denote the null (resp. meager) ideal on reals. Is it consistent that for any pair of non null (resp. meager) sets A and B, there is a null (resp. meager) preserving bijection between A and B? In ...

**1**

vote

**0**answers

118 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 ...

**2**

votes

**1**answer

283 views

### Riesz representation theorem for vector-valued fields

Let $Q$ be a locally compact Hausdorff space, and let $V$ be a topological vector space. Consider the space $X = C_0(Q, V)$ of $V$-valued fields which vanish at infinity. Let $X^*$ denote the dual ...

**3**

votes

**3**answers

339 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?
...

**5**

votes

**1**answer

226 views

### Is every bornological space measurable?

Every topological space is measurable, since we may canonically equip a topological space with its Borel $\sigma$-algebra. A bornological space is like a topological space, except the structure ...

**6**

votes

**2**answers

323 views

### Does every commutative monoid admit a translation-invariant measure?

Let $T$ be a commutative monoid, written additively. The set $T$ is equipped with a canonical pre-order, defined by $s \le t$ when there exists $s' \in T$ so that $s + s' = t$. Consequently, $T$ may ...

**9**

votes

**1**answer

303 views

### Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?

Let $(X, \Sigma)$ denote a measurable space. Is there a non-trivial $\sigma$-algebra $\Sigma^1$ of subsets of $\Sigma$ so that $(\Sigma, \Sigma^1)$ is also a measurable space?
Here is one natural ...

**5**

votes

**4**answers

701 views

### Is a measurable homomorphism on a Lie group smooth?

Let $G$ be a Lie group, and let $\mathcal B(G)$ its Borel $\sigma$-algebra. Suppose that $f : G \to G$ is a Borel-measurable homomorphism. Is $f$ smooth?
Edit: My original question said "measurable ...

**3**

votes

**2**answers

214 views

### Is there a good concept of a measurable fibration?

In probability theory, there are many results which are valid in purely measurable settings, usually beginning with the assumption, "let $(\Omega, \mathcal F, \mathbb P)$ be an abstract probability ...

**2**

votes

**1**answer

225 views

### Baire sets of $X$ possess the required Cartesian product property

Let $X=X_{1}\times X_{2}$ is locally compact space, and define $$E=\{E_{1}\times E_{2}\mid E_{i}\text{ is a Borel set in }X_{i}\;,\text{ for}\; i=1,2\}$$ Now why the Baire sets of $X$ are in the ...

**3**

votes

**1**answer

223 views

### Does every proximal outer measure, measure all open sets?

Let $\: \langle X,\delta\rangle \: $ be a separated proximity space.
Let $\: \mu^* \: : \: 2^{X} \: \to \: [0,+\infty] \: $ be a proximal outer measure.
Let $U$ be an open subset of $X$.
Does it ...

**2**

votes

**1**answer

404 views

### special extremally disconnected spaces with only finite isolated points

We Know that a cardinal $\kappa$ is measurable if there is a set $X$ with cardinal $\kappa$ and a {0,1}-measure $\mu: P(X) \rightarrow ${$0,1$} so that for all $x \in X$, $\mu(x)=0$ and $\mu(X)=1$. ...

**0**

votes

**0**answers

110 views

### measurable function on a locally compact space for a regular measure

A well known classical fact is that a Lebesgue measurable function on Euclidean space is almost everywhere equal to a Baire class 2 function. A relatively modern reference for this fact is van Rooij ...

**8**

votes

**0**answers

467 views

### Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhps some other set?

Is every sigma-algebra the Borel algebra of a topology?
inspires the present question which asks for less.
Question: Given a $\sigma$-algebra ${\cal A}$ on a set $X$, does there exist a topology ...

**9**

votes

**2**answers

644 views

### Borel sets preserved under open maps?

Given open map f: $R^n$ to $R^n$ such that each open set $U\in R^n$, $f(U)$ is also open. Are Borel sets in $R^n$ preserved under f?
Motivation: Pre-image of Borel sets under continuous map is a ...

**7**

votes

**0**answers

345 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 ...

**4**

votes

**0**answers

398 views

### What relates to measure spaces as topological spaces relate to metric spaces ?

Has there been study of a generalization of measure spaces along the following or similar lines ?
Given a measure space $(X, \Sigma, \mu)$, define for $U\in\Sigma$ a $\mu$-ball of radius $r$ of $U$ ...

**0**

votes

**0**answers

105 views

### Stable subsets with respect to pointwise convergence.

Consider the linear spacet $\mathcal{F}(\mathbb{R}^n)$ of all real functions defined in $\mathbb{R}^n$. It is well known that the subspace $\mathcal{C}(\mathbb{R}^n)$ of all real valued continuous ...

**10**

votes

**1**answer

440 views

### Completeness of Borel measure

Let $X$ be a compact Hausdorff space and $\mu$ a finite Borel measure without atoms which is outer regular with respect to open sets and inner regular with respect to compact sets. Can such measure be ...

**44**

votes

**2**answers

3k views

### Is every sigma-algebra the Borel algebra of a topology?

This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ...

**2**

votes

**0**answers

130 views

### Products for probability theory using zero sets instead of open sets

(For all of this post, at least Countable Choice is assumed to hold.)
For all Tychonoff spaces $\langle X,\mathcal{T}\hspace{.06 in}\rangle$ :
Define $\mathbf{Z}(\langle X,\mathcal{T}\hspace{.06 ...

**6**

votes

**0**answers

280 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 ...

**3**

votes

**2**answers

477 views

### Continuity/measurability of a complicated extension of a family of continuous functions

Bonjour/bonsoir à tous et à toutes.
I've two questions related to something on which I'm working. I've already tried to discuss about them elsewhere, but it hasn't been fruitful so far.
Edit (4 Dic ...

**7**

votes

**2**answers

636 views

### Patching together homeomorphisms: how badly can it fail?

Suppose we have a set $X$ with $X=U \cup V$. If we pick a permutation $f$ of $U$ and a permutation $g$ of $V$ which agree on the intersection $U \cap V$, we can coalesce them into one big endo-map $F$ ...

**2**

votes

**1**answer

668 views

### A question about measurable structures on function spaces

Hey, I was just wondering, I'm using some of Robert Aumann's ideas about measurable structures on function spaces (From his paper 'Borel structures for Function spaces': ...

**13**

votes

**0**answers

506 views

### Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...

**1**

vote

**1**answer

243 views

### Do outer regular outer measures always measure open sets?

Let $ \; \langle X,\mathcal{T} \hspace{.06 in} \rangle \; $ be a second-countable Hausdorff space.
Let $ \; \phi : 2^X \to [0,+\infty] \; $ be an outer regular outer measure.
Does it follow ...

**3**

votes

**0**answers

258 views

### For METRIZABLE spaces, do the Banach classes and Baire classes coincide?

In this paper: 'Borel structures for Function spaces' by Robert Aumann,
http://projecteuclid.org/euclid.ijm/1255631584
Aumann claims that when X and Y are metric spaces (among other things), the ...

**3**

votes

**1**answer

334 views

### Does pushforward preserve outer regularity?

(ZF + Countable Choice)
Let $\langle A,\mathcal{S} \hspace{.02 in} \rangle$ and $\langle B,\mathcal{T} \hspace{.06 in} \rangle$ be second-countable Hausdorff spaces.
Let $\Sigma$ be a sigma-algebra ...