**3**

votes

**0**answers

72 views

### How to define Product of Conditional Measures?

I have been wondering how to define the product of conditional measures as defined by Renyi-Popper. I spell the details below.
If $(X,\Sigma)$ is a measurable space, then the function $\mu : ...

**2**

votes

**2**answers

268 views

### If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Pietro Majer ...

**4**

votes

**1**answer

114 views

### If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...

**4**

votes

**0**answers

180 views

### Total variation and Hellinger distance inequality between truncated Gaussians

We know that the total variation distance, $d_{TV}(P,Q) = \frac{1}{2}\left|\left|P-Q\right|\right|_1$, between any two distributions $P$ and $Q$ is lower bounded by their squared Hellinger distance, ...

**5**

votes

**0**answers

197 views

### Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space

Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space.
We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...

**5**

votes

**1**answer

111 views

### The Notion of Strong Measurability for Separable Banach Spaces

Let $ (X,\Sigma,\mu) $ be a measure space and $ B $ a Banach space. According to my understanding, a function $ f: X \to B $ is said to be strongly $ \mu $-measurable if and only if it is the ...

**0**

votes

**0**answers

86 views

### Reference: Bochner Integral`

What would be an easily accessible book dealing with Bochner integration as applied to probability theory (I'm looking to understand random elements and their basic related concepts in a formal yet ...

**1**

vote

**0**answers

55 views

### Inversion of Fourier transform of a multivariate gamma distribution in polar form?

Let $\mathbb{S}^{N-1}$ be the unit sphere in $\mathbb{R}^N$ under the Euclidean norm $||\cdot||$. Let $\mu$ be an infinitely divisible Borel measure. If there exists a finite measure $\alpha$ on ...

**2**

votes

**1**answer

119 views

### Weak Convergence to Lebesgue Measure

I'm trying to understand the proof given by D. Rudolph in his paper "x2 and x3 invariant measures and entropy". I'm particularly trying to undestand the proof of lema 4.4.
Let's consider a secuence ...

**3**

votes

**0**answers

78 views

### Pointwise a.e. formulation of parabolic PDE, what if null set depends on test function?

Let $u \in L^2(0,T;V)$ with $u_t \in L^2(0,T;V^*)$ be a solution of
$$\langle u_t(t), v \rangle + a(t;u(t), v) = \langle f(t), v \rangle$$
where $f \in L^2(0,T;V^*)$ and we have the usual assumptions ...

**0**

votes

**0**answers

59 views

### Showing that a particular function from a locally compact Hausdorff group $ G $ to a $ C^{*} $-algebra $ A $ is Bochner-measurable

Suppose that we have the following data:
A $ C^{*} $-algebra $ A $.
A locally compact Hausdorff group $ G $.
A strongly Borel mapping $ \alpha: G \to \text{Aut}(A) $, the automorphism group of $ A ...

**1**

vote

**1**answer

165 views

### Kolmogorov doesn't show existence of Dirichlet process for arbitrary measurable spaces. Why?

I'm trying to understand the problem arising when using Kolmogorov's extension theorem to prove the existence of the Dirichlet process on an arbitrary measurable space ...

**6**

votes

**1**answer

179 views

### Do the terms of an iid sequence whose law has infinite expected value necessarily exceed the partial sums of the sequence infinitely often?

Let $\mu$ be a probability measure on $(0,\infty)$, and let $(\mathbf X_n)_1^\infty$ be a sequence of independent $\mu$-distributed random variables. Fix $\kappa > 0$, and consider
A) $\int x \; ...

**13**

votes

**1**answer

1k 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

**0**answers

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

**1**

vote

**1**answer

458 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...

**3**

votes

**1**answer

189 views

### Unusual augmentation of a filtration

consider a probablity space $(\Omega,\mathcal{F}, \mathcal{P})$ and a filtration $(\mathcal{F}^0_t)$. In general $(\mathcal{F}^0_t)$ doesn't satisfy the usual conditions (it is not both complete at ...

**3**

votes

**1**answer

166 views

### Is it possible to construct any random variable on the Euclidean Probability space?

Let $(\Omega,\mathscr A,P)$ be an arbitrary probability space,
and let $X:\Omega\to\mathbb R$ be a random variable.
Then,
one can generate a random variable $Y$ from the probability space ...

**0**

votes

**0**answers

116 views

### Integration by parts for multidimensional Lebesgue-Stieltjes Integrals

I am concerned with the following problem:
I am wondering if there exists any sort of integration by parts formula for a multidimensional Lebesgue-Stieltjes integral. In my case the integral is given ...

**2**

votes

**2**answers

105 views

### Completion of the set of subsets with half volume.

Let $X$ be a measure space with finite $|X|=\int_X1$ and $f:X\rightarrow \mathbb{R}$ be a function. Under what condition on $X$ and $f$ does there exist a subset $Y \subset X$ satisfying the ...

**0**

votes

**0**answers

218 views

### Morphisms associated to measured spaces [duplicate]

In a previous discussion (von neumann algebras and measurable spaces), the connexion between von Neumann algebras and localized measured spaces was clarified. I would like to have a category theory ...

**7**

votes

**3**answers

337 views

### Haar Measure on Locally Compact Semigroups

I'm reading on Haar measure and we know that every locally compact group admits a Haar measure, is the same true for semigroups? if not, is there a class of semigroups that admits a Haar measure?
...

**7**

votes

**1**answer

243 views

### A conjecture about the measure estimates of a trigonometric polynomial

Formulation of the Conjecture
Let $\Omega =(0,\pi)\times (0,2\pi)\subset\mathbb R^2$ and let $\psi:\Omega\to \mathbb{R}$ defined by $$\psi(x,t)=\sum_{k\in S \,j\in S'} \sin(kx)\left( ...

**1**

vote

**0**answers

190 views

### Girsanov theorem with Geometric Brownian Motion

I am not a student in mathematics, but I am trying to use the following Theorem 8.6.6 (Girsanov theorem II) of Oksendal's SDE with geometric Brownian motion $S_{t}$ instead of the standard Brownian ...

**4**

votes

**1**answer

270 views

### Proof of the Dunford-Pettis theorem

I would like to know where to find a complete proof of the Dunford-Pettis theorem:
A sequence $(f_n)_{n\geq 0} \subset L^1$ is uniformly integrable if and only if it is relatively compact for the weak ...

**20**

votes

**2**answers

920 views

### construction of nonmeasurable sets

I have a history question for which I've had trouble finding a good answer.
The common story about nonmeasurable sets is that Vitali showed that one existed using the Axiom of Choice, and Lebesgue et ...

**2**

votes

**1**answer

92 views

### Why do rotationally ordered configurations have well defined distributon function?

Let $u=(u_{j})_{j \in \mathbb{Z}}$ where $u_{j}\in \mathbb{R}$ for all $j \in \mathbb{Z}$ be a rotationally ordered configuration i.e. $S_{n,m}u>u$ or $S_{n,m}u<u$ or $S_{n,m}u=u$ where
...

**0**

votes

**0**answers

98 views

### Reference request: density of $C_c^{\infty}(\mathbb R^d)$ in $L^2(\mathbb R^d,d\rho)$

My question is motivated by an optimal transportation approach to PDE's and gradient flows in metric spaces (see e.g Otto's geometry of dissipative evolution equations: the porous media equation and ...

**3**

votes

**3**answers

229 views

### Do regular conditional distributions almost surely assign trivial measure to all members of the conditioning $\sigma$-algebra?

Let $(X,\Sigma)$ be a standard measurable space, let $\rho$ be a probability measure on $(X,\Sigma)$, and let $\mathcal{E}$ be a sub-$\sigma$-algebra of $\Sigma$. We will say that a stochastic kernel ...

**1**

vote

**1**answer

172 views

### Bingham's paper “Finite additivity vs countable additivity” [closed]

I am reading N. H. Bingham's (2010) paper: ''Finite additivity vs. countable additivity''.
Page 8, he states:
"One area where the distinction between finite and countable additivity shows up most ...

**0**

votes

**0**answers

143 views

### A not defined notion in Friedman's article about Generalized Fubini's Theorem

I intend to study Friedman's article, A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions (http://projecteuclid.org/download/pdf_1/euclid.ijm/1256047607). I think since I had a modern ...

**4**

votes

**1**answer

136 views

### On a.e. approximate differentiability of certain continuous real functions

I have the following question:
If $f:[0,1]\to \mathbb{R}$ is a bounded continuous function of $\sigma$-finite variation in sense 1, then is it true that $f$ is approximately differentiable a.e. on ...

**5**

votes

**2**answers

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

**0**

votes

**1**answer

94 views

### Measurable functions lifted onto a space of point measures are measurable

I've been reading [1] and attempting to prove statements given without proof. In the paper the authors construct a measurable space of measures over a base space, and as an aside show an elegant way ...

**3**

votes

**0**answers

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

**2**

votes

**0**answers

88 views

### Borel class of a set of measures

Let $K$ be a compact Hausdorff space and consider $X=Ball(M(K))$, the unit ball of the space of regular Borel measures on $K$. Endow $X$ with the weak-$*$ topology $\sigma(M(K),C(K))$, regarding ...

**3**

votes

**2**answers

243 views

### Product of Lebesgue and counting measures

Let $\mathbb R$ be endowed with the standard Euclidean topology and let $\widetilde {\mathbb R}$ denote the line endowed with the discrete topology. Let $\mu$ and $\nu$ denote the Lebesgue and ...

**3**

votes

**2**answers

90 views

### Is this generating family of a measurable space of point measures a pi-system?

I'm learning some probability and measure theory and working my way through the first few paragraphs of [1]. My question is perhaps too basic for Math Overflow, but I hope it is welcome here.
Point ...

**2**

votes

**0**answers

87 views

### Uniformization/measurable selection theorems

Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...

**2**

votes

**0**answers

49 views

### Stronger version of linearity for functions of measures

Let $X$ be a standard Borel space, and $P(X)$ be space of Borel probability measures on $X$. It is also a standard Borel space if endowed with the topology of weak convergence, so we can integrate ...

**4**

votes

**0**answers

357 views

### Progressively measurable vs adapted

I often see in stochastic calculus books the terms 'adapted process' and 'progressively measurable process'. I know there is a small difference between them (every progressively measurable process is ...

**2**

votes

**1**answer

203 views

### Inverse of a Borel surjection

Let $X$ and $Y$ be standard Borel spaces, and let $f:X\to Y$ be a surjective Borel map. Does there exist a Borel inverse of $f$, that is a Borel map $g:Y\to X$ such that $f\circ g = \mathrm{id}_Y$.
...

**3**

votes

**1**answer

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

**3**

votes

**1**answer

125 views

### Wiener measure of hitting sets A,B but not C (or easier hitting A but not C)

I am trying to formulate the measure of event
$E=\{B[0\infty)\cap A,B \neq \varnothing$ and $B[0\infty)\cap C= \varnothing\}$,
where $B[0\infty)$ is a Brownian path and $A,B,C$ are pairwise ...

**4**

votes

**1**answer

111 views

### Analytic enlargement of an analytic set

Let $X,Y$ be Borel spaces and $A\subseteq X\times Y$ be an analytic set. Let $\pi:X\times Y \to X$ denote the projection map onto $X$. Does there always exist a set $B$ such that $\pi(B) = X\setminus ...

**3**

votes

**0**answers

125 views

### Embedding probability spaces in the completion of $[0,1]^K$

Question: Can every probability space $(X,\scr F,\mu)$ be $\sigma$-embedded in the completion of the space $[0,1]^K$ (equipped with a product of Lebesgue measure) for some set $K$?
Here, $f:\scr F\to ...

**4**

votes

**0**answers

214 views

### Why does it seem that $rca=rba$? [closed]

The following paradox has got me stumped. I'm hoping someone can point out the error.
Take a locally compact metric space $X$ and define the $C_b(X)$ and $C_0(X)$ as the spaces of continuous ...

**3**

votes

**0**answers

64 views

### Almost everywhere in a rectangle [duplicate]

I would like to ask a question about the product (Lebesgue) measure on rectangle. I tried to solve the problem but I couldn't.
Let $S$ be a subset of a region, say $R$ which is enclosed by a ...

**1**

vote

**2**answers

154 views

### Measures, orthogonal to holomorphic functions

Let $G$ be a domain in $\mathbb{C}^{d}$ and let $H\left(G\right)$ be the space of all holomorphic functions on $G$.
My question is how to characterize all such (Radon) measures $\mu$ on $G$, that ...

**1**

vote

**2**answers

116 views

### Volume of normal cone of a simplex (at a vertex)

This question is related to an orthant-type simplex in $\mathbb{R}^n$, which can be defined as
$$ S = \{x\in\mathbb{R}_{+}^n: \sum_{i=1}^nx_i \leq 1\}=\overline{\mbox{conv}}(0,e_1,\ldots,e_n). $$
For ...