Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 11768

Questions about abstract measure and Lebesgue integral theory. Also concerns such properties as measurability of maps and sets.

3 votes
1 answer
591 views

Is positive part of the kernel measurable?

Let $(E,\mathscr E)$ be a measurable space and $Q:E\times \mathscr E\to\Bbb [-1,1]$ be a signed bounded kernel, i.e. $Q_x(\cdot)$ is a finite measure on $(E,\mathscr E)$ for any $x\in E$ and $x\mapsto …
SBF's user avatar
  • 1,655
3 votes
0 answers
83 views

Stochastic equation

Let $X,Y$ be Polish spaces and $\kappa:X\times \mathcal B(Y)\to[0,1]$ be a Borel-measurable stochastic kernel on $Y$ given $X$. Under which conditions for a probability measure $\nu$ on $Y$ there exis …
SBF's user avatar
  • 1,655
1 vote

Measurable $\epsilon$-optimal selection with an analytically measurable stochastic kernel

Some thoughts. It does not seem likely that you can achieve existence for non-analytic $\eta$, hence I'd suggest trying to show that it is - or finding a counterexample. Let's say $c = 0$ and $u = 1_B …
SBF's user avatar
  • 1,655
3 votes
1 answer
143 views

Maps that are a.e. equal have almost the same graphs

Let $X$ and $Y$ be two measurable spaces, and let $p$ be a probability measure on $X\times Y$. Denote by $p_X$ the marginal of $p$ on $X$, that is an image of $p$ under projection on $X$. Consider two …
SBF's user avatar
  • 1,655
1 vote
Accepted

Particular neighborhoods of analytical sets

If I am correct, one can proceed as follows. Consider a set $A\subset X\times \mathcal P(X)^2$ given by $$ A = \{(x,p,q):(x,p)\in \Gamma,\rho(p,q)\leq\varepsilon\} $$ then we obtain $\Gamma^\varepsilo …
SBF's user avatar
  • 1,655
0 votes
1 answer
137 views

Existence of a map connecting two marginals of a product measure

Let $X$ and $\bar X$ be two standard Borel spaces, and let $A\subseteq X\times\bar X$ be an analytic subset of the product space. Let $P$ be any probability measure such that $P(A) = 1$, and denote by …
SBF's user avatar
  • 1,655
3 votes
0 answers
163 views

Existence of a conditional distribution

Let $X$ and $Y$ be standard Borel spaces and let $J$ be an analytic subset of $X\times \mathcal P(Y)$ where $\mathcal P(\Omega)$ is a set of probability measures on a Borel space $\Omega$ endowed wit …
SBF's user avatar
  • 1,655
2 votes
1 answer
283 views

Coupling of vectors

Let $X = (X_1,X_2)$ and $\hat X = (\hat X_1,\hat X_2)$ be two random variables where $X_i,\hat X_i$ are taking values over the Polish space $E_i$ endowed with their Borel $\sigma$-algebras, where $i=1 …
SBF's user avatar
  • 1,655
4 votes
0 answers
91 views

Importance sampling of finite path of stochastic difference equation

Before passing to question, let me briefly recap what's importance sampling of random variables is about. Suppose $\xi$ is a real-valued random variable with density $f$, and let $g:\Bbb R\to \Bbb R$ …
SBF's user avatar
  • 1,655
7 votes
1 answer
409 views

Convex representation of a measure

Let $\mathcal P(X)$ denote the space of all probability measure defined on a measurable space $X$. We canonically endow the former with its own measurability structure, generated by evaluation maps. L …
SBF's user avatar
  • 1,655
0 votes
1 answer
933 views

Convergence of sets

Let $E$ be a compact subset of $\mathbb{R}^n$. Let the density function $\phi(x,y)$ be Lipschitz continuous and such that $$ \int\limits_E \phi(x,y)dy=1 $$ for all $x\in E$. Let us consider the non-in …
SBF's user avatar
  • 1,655
3 votes
1 answer
846 views

Difference in probability distributions from two different kernels

Let $(E,\mathscr E)$ be a measurable space and $P,\tilde P$ be two stochastic kernels on that space. I wonder how the induced measures $\mathsf P_x$ and $\tilde{\mathsf P}_x$ differ on the space of fi …
SBF's user avatar
  • 1,655
6 votes
1 answer
2k views

Topological conditions of Kolmogorov Extension Theorem

KET is often used to construct stochastic processes in continuous time when the state space is $\Bbb R^d$. As far as I am familiar with its proof, it uses standard monotonic class-like arguments toget …
SBF's user avatar
  • 1,655
5 votes
1 answer
463 views

Universally measurable map coincides a.e. with a Borel map

Let $X$ be a standard Borel space: that is, a topological space equivalent to a Borel subset of $\Bbb R$. It is known that for any probability measure $p$ on $X$ and any universally measurable set $A\ …
SBF's user avatar
  • 1,655
6 votes
2 answers
317 views

Borel kernel over an analytic set implies existence of a Borel map

Let $X$ and $Y$ be standard Borel spaces, and let $A\subseteq X\times Y$ be an analytic set with a full projection on $X$: that is $\pi_X(A) = X$. Suppose that there exists a Borel-measurable kernel $ …
SBF's user avatar
  • 1,655

15 30 50 per page