All Questions
Tagged with gn.general-topology measure-theory
246 questions
12
votes
1
answer
371
views
Is $X\times X$ homeomorphic to $X$ for a space of probability measures?
Let $\mathcal M_1(S)$ be the (compact, metrizable) space of probability Borel measures on the circle $S=\{z\in\mathbb C: |z|=1\}$ with its weak $*$ topology, so $\mu_n\to\mu$ if and only if
$$
\int_S ...
- 24.2k
2
votes
0
answers
156
views
About the 7.3.5. Corollary of the book "Measure Theory" by V.I. Bogachev
According to the 7.3.5. Corollary of the book "Measure Theory" by V.I. Bogachev we have the following result:
Let $(X,\tau)$ be a completely regular space and let $\Gamma$ be a
family of ...
- 627
8
votes
1
answer
197
views
Topological property of the space of probability measures
Suppose that $\mathbb{P}$ is the metric space of Borel probability measures on the interval $[0,1]$ equipped with the topology of $w^*$ convergence.
Consider also $\mathbb{P}_{ac}, \mathbb{P}_{s}$ the ...
0
votes
0
answers
32
views
Hausdorff dimension: The dimension of boundary of a set [migrated]
I can't understand the following statement.
If (perhaps not closed) set $S$ has dimension $n$, then the boundary could have any dimension from $0$ to $n$. (Could someone give me an example?)
If S ...
- 29
3
votes
0
answers
75
views
Can we generalize the Kuratowski Extension Theorem to Souslin spaces?
The Kuratowski Extension Theorem says: Let $(X,\mathcal{A})$ be a measurable space, $Y$ be a polish space, $A\subseteq X$, and $f:A\to Y$ be a measurable map. Then there is a measurable function $F:X\...
- 627
3
votes
0
answers
144
views
What is an example of a non-tight probability measure?
Billingsley (Convergence of Probability Measures, 1968) and van der Vaart and Wellner (Weak Convergence and Empirical Processes, 2023) discuss the concept of tight probability measures and use the ...
- 277
3
votes
1
answer
176
views
Compactness of set of measurable functions between compact subspaces of real numbers
Let $X$ be a compact subset of $\mathbb{R}^n$ and $Y$ be a convex and compact subset of $\mathbb{R}^p$. Consider $\mathcal{F}$ the set of all measurable functions from $X$ to $Y$. Can I find ...
- 131
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 ...
- 23
7
votes
2
answers
446
views
Uncountable collections of distinct subsets of an interval (existence)
Throughout, $\mu$ is just the Lebesgue measure.
Question: does there exist an uncountable family of distinct subsets of $[-1, 1]$, denoted by $(U_j)_{j \in [-1, 1]}$, with $\mu(U_j) > 0$ for each $...
- 101
2
votes
0
answers
71
views
Topological measure theory on spaces that are not completely regular
In the usual discourse regarding approaches to measure theory, it is often pointed out that the restriction of topological measure theory to locally compact Hausdorff spaces is insufficient. However, ...
- 3,816
1
vote
0
answers
102
views
Homeomorphism to $[0,1]^n$ preserving equality of measure
Let $A\subseteq R^n$ be a subset which is homeomorphic to $\left[0,1\right]^n$. Does there exists a homeomorphic map $f:A\rightarrow \left[0,1\right]^n$ such that for any $X_1,X_2\subseteq\left[0,1\...
- 349
0
votes
0
answers
55
views
Any useful bases for the topology induced by the $t$-Wasserstein distance?
I am working on $\mathbb R ^d$ equipped with the usual Euclidean metric. I know of one nice base for $\mathcal W _t$, namely: $$\left\{ B_p (r) : r>0, p=\sum_{i=1} ^n \alpha_i \delta_{x_i},\text{ ...
- 291
6
votes
0
answers
195
views
Prokhorov's theorem for countably many random measures on a Polish space
I am looking for help to show the following lemma:
Lemma Let $(\Omega,\mathcal A,\mathbb P)$ be a complete, standard Borel probability space and $\mathcal X$ a Polish space. Let $\mathcal P(\mathcal ...
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 ...
- 2,800
2
votes
1
answer
300
views
If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected
Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
- 1,149
1
vote
0
answers
72
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, \...
- 657
9
votes
1
answer
339
views
A topological characterisation of a.e. continuity
We say a measurable function $f: \mathbb R^n \to \mathbb R$ is essentially continuous if the inverse image of any open set $O$ differs from an open set by a set of null measure, in the sense that ...
- 6,155
2
votes
1
answer
369
views
Relationship between Baire sigma algebra and Borel sigma algebra of an uncountable product
I've been trying to understand various questions to do with sigma algebras on uncountable product spaces.
Let $T$ be an uncountable set and for each $t \in T$, let $\Omega_t$ be a topological space. ...
- 1,179
4
votes
1
answer
165
views
Is the set of clopen subsets Borel in the Effros Borel space?
Let $X$ be a Polish space and $\mathcal{F}(X)$ the set of closed subsets of $X$ endowed with the Effros Borel structure, generated by sets of the form $\{F\in \mathcal{F}(X):F\cap U\neq \emptyset\}$, ...
- 3,115
2
votes
0
answers
49
views
$\sigma$-compactness of probability measures under a refined topology
Denote Polish spaces $(X, \tau_x)$ and $(Y, \tau_y)$, where $X$ and $Y$ are closed subsets of $\mathbb{R}$. Consider a Borel measurable function $f: (X \times Y, \tau_x \times \tau_y) \rightarrow \...
- 195
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 \...
2
votes
0
answers
47
views
The world of non-weak*-topologies on $\mathcal{P}(X)$
Let $X$ be a metrizable space and consider $\mathcal{P}(X)$, the set of all probability measures on $X$.
Typically, the weak*-topology is considered on $\mathcal{P}(X)$, which is a very natural ...
- 429
3
votes
0
answers
145
views
Eigenvalues of random matrices are measurable functions
I have read that if a random matrix is hermitian then its eigenvalues are continuous, hence also measurable.
If the random matrix is not hermitian, the eigenvalues are not continuous in some cases. ...
- 31
2
votes
0
answers
226
views
Is the product of two outer regular Radon measures outer regular?
Everything is nice on second countable spaces: the product of two outer regular Radon measure is still an outer regular Radon measure. But what happens without the assumption of second countability?
...
- 324
4
votes
2
answers
261
views
Product of locally Borel sets locally Borel
Let $X$ be a locally compact Hausdorff space with a fixed Radon measure (= Borel measure that is finite on compact subsets, inner regular on open subsets and outer regular on Borel sets) $\mu$ . A ...
- 175
3
votes
1
answer
159
views
Closed graph correspondence which never contains the whole support
Let $I=[a,b]$ with $a<b\in\mathbb{R}$ and denote by $\mathcal{M}(I)$ the set of Borel probability measures on $I$ equipped with the topology induced by the weak convergence of measures.
Does there ...
- 113
9
votes
2
answers
687
views
Analogue of open/closed maps for measurable spaces
$\newcommand{\A}{\mathcal{A}}\newcommand{\T}{\mathcal{T}}$The notions of continuous map of topological spaces and measurable function of measurable spaces are very similar:
A map of topological ...
- 11.8k
2
votes
1
answer
192
views
Open sets in the space of signed measures equipped with the Kantorovich–Rubinshtein norm
Let $X$ be a compact metric space and $\mathcal{M}(X)$ be the space of variational-bounded, signed Borel measures equipped with the Kantorovich–Rubinshtein norm, cf. [Section 8.3, 1]:
$$||\mu||_0:= \...
- 113
6
votes
1
answer
203
views
Can Theorem 1.40 in Rudin's Real and Complex Analysis be strengthened when the $\sigma$-algebra is Borel?
Let $(X, \mathcal F, \mu)$ be a $\sigma$-finite measure space and $(E, |\cdot|)$ a Banach space. Here we use the Bochner integral. Then we have Theorem 1.40 in Rudin's Real and Complex Analysis, i.e.,
...
- 835
3
votes
0
answers
173
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 ...
- 204
1
vote
0
answers
192
views
Is the domain space in Lusin's theorem required to be Hausdorff?
I'm reading a general version of Lusin's theorem, i.e.,
If $\mu$ is a finite Radon measure on $X$, and $Y$ is a second countable topological spaces, then for any Borel-measurable function $f:X\to Y$ ...
- 835
2
votes
1
answer
852
views
The Borel sigma-algebra of a product of two topological spaces
The following problem arose while trying to justify some "known results" in abstract harmonic analysis on noncommutative groups, for which I couldn't find explicit statements in the ...
- 25.8k
3
votes
1
answer
131
views
Does there exist $f:\Bbb{R}\to \Bbb{R}$ additive onto function such that $f(F) \subset \Bbb{R}$ has the property of Baire for every $F$?
Let $F\subset \Bbb{R}$ intersect every closed uncountable subsets of $\Bbb{R}$.
Does there exist $f:\Bbb{R}\to \Bbb{R}$ additive onto function such that $f(F) \subset \Bbb{R}$ has the property of ...
- 307
6
votes
1
answer
191
views
Steinhaus number of a group
$\newcommand\Sn{\mathit{Sn}}$A subset $A$ of a group $X$ is called algebraic if $A=\{x\in X: a_0xa_1x\dotsm xa_n=1\}$ for some elements $a_0,a_1,\dotsc,a_n\in X$.
Let $\mathcal A_X$ be the family of ...
- 41.8k
2
votes
1
answer
140
views
Is a Boolean algebra with an order continuous topology a measure algebra?
Assume that $B$ is a complete boolean algebra endowed with a Hausdorff topology, with respect to which all operations on $B$ are continuous, $0$ has a base of full sets (recall that $A\subset B$ is ...
- 5,529
0
votes
1
answer
242
views
Condition for set of the type $\{(a,b)|a \in A, \ b = f(a)\}$ to have empty interior if $A$ has empty interior [closed]
Let us consider $$\mathcal X = \{(a,b)|a \in A, \ b = f(a)\}, $$ where $A \subset L^1(\mathbb R)$ has empty interior and $f:L^1 \to L^1$ is a bijective map. Does $\mathcal X$ also have empty interior? ...
- 839
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
- 307
5
votes
1
answer
254
views
Boolean algebra of ambiguous Borel class
Suppose $X$, $Y$ are uncountable compact metric spaces and $\Delta^0_\xi(X)$, $\Delta^0_\xi(Y)$ ($2\le\xi\le\omega_1$) are the Boolean algebras of Borel sets of ambiguous class $\xi$. So for $\xi=2$ ...
- 1,704
5
votes
1
answer
253
views
Is the topology of weak+Hausdorff convergence Polish?
Let $X$ be a compact metric space, $P_X$ the set of Borel probability measures on $X$, and $K_X$ the set of non-empty closed subsets of $X$. I will define the "topology of weak+Hausdorff ...
- 698
8
votes
1
answer
489
views
The class of spaces where every Borel measure is atomic
I have been considering the following question:
Let $X$ be a compact, metrizable space with the following property: every (regular) Borel probability measure on $X$ is atomic, i.e. for each $\mu\in\...
- 93
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 ...
- 463
2
votes
1
answer
148
views
Borel $\sigma$-algebras on paths of bounded variation
Let $(C, \|\cdot\|)$ be the Banach space of continuous paths $x: [0,1]\rightarrow\mathbb{R}^d$ starting at zero with sup-norm $\|\cdot\|$.
Let further $B\subset C$ be the subspace of $0$-started ...
- 463
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 \ \...
- 463
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 ...
- 7,426
7
votes
1
answer
280
views
Extending a finite Baire measure to a regular Borel measure
Let $X$ be a Hausdorff compact space, and let $\mathrm {Ba}$, $\mathrm {Bo}$ be its Baire, respectively, Borel, $\sigma$-algebras. Let $\mu:\mathrm {Ba}\to[0,+\infty)$ be a finite Baire measure: it is ...
- 60.5k
1
vote
1
answer
183
views
Topological analog of the Lusin-N property
$A\subset \Bbb{R}$ is meager if $A$ can be expressed as a countable union of nowhere dense sets.
Let $f:[a, b]\to \Bbb{R}$ is absolutely continuous, i.e., for every $\epsilon>0$, there exists $\...
- 307
1
vote
3
answers
345
views
Under what general conditions is the set $S := \left\{\int_{X}v(x)\pi(x)\,\mathrm{d}P(x) \mid \pi: X \to A\right\}$ closed?
Let $X$ be a compact subset of $\mathbb R^n$ and let $A$ be a compact subset of $\mathbb R^k$. Let $P$ be a probability distribution on $X$ and $v$ be a $P$-measurable function from $X$ to $\mathbb R^{...
- 6,853
3
votes
0
answers
232
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 ...
- 7,426
2
votes
1
answer
161
views
Existence of a Borel measurable function
Let $X$ be a compact metric space and $Y\subset X$ be a compact set. Assume that $f_1, f_2: Y \to \mathbb{P}\mathbb{R}^2$ are continuous functions. Let $N \subset \mathbb{P}\mathbb{R}^2$ be a ...
- 133
4
votes
1
answer
202
views
Generalized limits in Boolean algebras
Let $\mathbb{B}$ be an infinite $\sigma$-complete Boolean algebra. By $\mathbb{B}^\omega$ we denote the countable product of $\mathbb{B}$ with the coordinate-wise operations. Let us call a ...
- 1,151