9
votes
0answers
541 views

Is every continuous function measurable?

This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow. In non-Hausdorff topology it is standard to ...
1
vote
0answers
78 views

question about the tightness of probability measures for a general topological space

Let $(E,\mathcal{X})$ be a topological space and denote by $\mathcal{F}$ its collection of Borel subsets referred to $\mathcal{X}$. Now let $\mathcal{P}$ be the set of all probabilities on ...
5
votes
2answers
280 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
0answers
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
1answer
211 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
2answers
184 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
2answers
217 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
2answers
231 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
1answer
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
0answers
83 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
0answers
181 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
7answers
683 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
1answer
196 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
1answer
135 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 ...
13
votes
4answers
486 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
1answer
280 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
2answers
170 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
0answers
138 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
0answers
138 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
2answers
505 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
1answer
321 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
0answers
281 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
1answer
310 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
1answer
409 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
0answers
123 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
1answer
289 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
3answers
348 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
1answer
237 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
2answers
324 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
1answer
308 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
4answers
708 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
2answers
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
1answer
227 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
1answer
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
1answer
405 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
0answers
115 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
0answers
470 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
2answers
697 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
0answers
357 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
0answers
418 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
0answers
106 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
1answer
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
2answers
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
0answers
131 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
0answers
290 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
2answers
479 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
2answers
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
1answer
674 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
0answers
510 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
1answer
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 ...