All Questions
Tagged with gn.general-topology pr.probability
82 questions
4
votes
2
answers
714
views
Polish by compact is Polish?
Let $X,Y$ be separable and metrizable, with $Y$ Polish, and suppose there is a topological quotient map $f:X\to Y$ with compact fibers. Is $X$ Polish?
I have a specific space in mind, so if the ...
- 14k
-1
votes
1
answer
148
views
Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$ [closed]
Given a topological space $Y$, let $\mathcal{P}(Y)$ be the set of all probability measures on $Y$, endowed with the weak* topology.
Let $X$ be a topological space (for convenience, it might be Polish ...
- 2,381
3
votes
1
answer
340
views
Relatively compact sets in Ky Fan metric space
Let $(\Omega,P,\mathcal{F})$ be a probability space. $X$, $Y$ are two random variables. The Ky Fan metric defined as: $d_F(X,Y)=\inf\{\epsilon: P(|X-Y|> \epsilon)<\epsilon\}$ (or $d'_F(X,Y)=E \...
- 29.7k
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,\...
- 11
0
votes
0
answers
161
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 $(E,\...
- 1,835
4
votes
1
answer
1k
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 $\sim_f\...
- 1,655
1
vote
1
answer
636
views
Does anyone know an example of non-separable $L^1$ of a probability space?
It is easy to give examples of non-separable $L^p$ spaces by considering a measure on a big space. If one adds the condition that the space has to have total measure 1, the problem is not as easy.
...
- 6,210
-1
votes
1
answer
75
views
Finiteness of "novel variance" from a kernel on a compact space [closed]
Let $c(i,i')$ be a kernel function on a reasonable index space $I$. Choose a dense sequence of points $\{i_1, i_2, \cdots \} \subseteq I$, and define the one-point kernel functions $k_n := c(\cdot, ...
- 4,000
4
votes
1
answer
579
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 $...
- 29.7k
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|$,
$$
\...
- 3,958
2
votes
1
answer
245
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 ...
- 41
2
votes
1
answer
414
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 ...
CommunityBot
- 1
4
votes
1
answer
234
views
Statistical models in terms of families of random variables
A statistical model is a function $P : \Theta \to \Delta(X)$, where $\Theta$ is a parameter space, and $\Delta(X)$ is the set of probability measures on a state space $X$.
Suppose that $\Theta$ and $...
- 1,989
6
votes
0
answers
189
views
Pettis Integrability and Laws of Large Numbers
Let $(\Omega, \mathcal F, \mathbb P)$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_n : \Omega \to V$ be a sequence of Pettis ...
- 3,958
16
votes
4
answers
1k
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)$ ...
- 44.4k
2
votes
1
answer
556
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 ...
- 60.5k
13
votes
1
answer
736
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
- 19.3k
6
votes
1
answer
396
views
Does a metric refine the weak-* topology on a dual space?
Let $X$ be a topological affine space over $\mathbb C$, with no additional assumptions. Let $X^*$ denote its dual space of continuous affine functionals $X \to \mathbb C$, equipped with the weak-$*$ ...
- 3,584
1
vote
1
answer
353
views
Agreement of two topologies on a linear space
I'm dealing with the formalism of an abstract Wiener space, and I'm not sure if two relevant topologies coincide.
Let $X$ be a topological vector space, and let $X^*$ be its dual space of continuous ...
- 16.4k
3
votes
1
answer
966
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 ...
- 8,512
5
votes
1
answer
403
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 ...
- 8,071
7
votes
2
answers
417
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 ...
- 38.6k
8
votes
4
answers
1k
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 ...
- 8,512
6
votes
2
answers
552
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 ...
- 3,069
6
votes
1
answer
333
views
Trasportation metric (AKA Earth-Mover's, Wasserstein, etc.) as "natural" / "induced"?
Context: Given a discrete finite metric space $X$ (in my case X={0,1}$^n$ with the Hamming/L$_1$ distance), I need to define the natural or canonical metric on the set of all probability distributions ...
CommunityBot
- 1
7
votes
0
answers
299
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
1
vote
1
answer
148
views
Staggered timing on 2-D random walks by multiple agents
In 2-D lattice random walks by multiple drunks who can't step onto each other, mathematically I would just say the whole cellular automaton updates "at once".
But to simulate this on a computer, I ...
CommunityBot
- 1
8
votes
1
answer
1k
views
Topological necessary and sufficient condition for tightness
Recall the definition of tightness for a probability measure $\mathbb P$ on the Borel $\sigma$-algebra of a metric space $(S,d)$:
For each $\varepsilon>0$, we can find a compact subset $K$ of $X$...
- 136
2
votes
0
answers
140
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 in}\...
CommunityBot
- 1
4
votes
1
answer
921
views
Convergence in probability only depends on topology?
Suppose $(S,d)$ is a Polish space, and $X$, $(X_n)$ are random variables such that $X_n \to X$ in probability in $(S,d)$. Now suppose $d'$ is another metric on $S$, giving the same topology. Does $...
- 31.5k
3
votes
4
answers
514
views
Better terminology than "equivalence class of functions"
Let $X = C(\mathbb R)$ be the Fréchet space of real-valued continuous functions. For each $f \in X$ and each compact set $D \subseteq \mathbb R$, let $$[f]_D = \{ g \in X : \mbox{$g(t) = f(t)$ for ...
- 17k
16
votes
2
answers
4k
views
Is the space of continuous functions from a compact metric space into a Polish space Polish?
Let $K$ be a compact metric space, and $(E,d_E)$ a complete separable metric space.
Define $C:=C(K,E)$ to be the continuous functions from $K$ to $E$ equipped with
the metric $d(f,g)=\sup_{k\in K}\ ...
- 11