Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
271 views

Expectation on a Polish space

I was wondering, if given a Polish space $X$, and given some probability measure $p$ on $X$, can the expectation of an $X$-valued function be taken? In particular, would the integral $\int_X x dp$ ...
J.R.'s user avatar
  • 291
1 vote
0 answers
87 views

$f \in L^2(X\times Y,\mu \times K)$ for Kernel $K$, is the map $X \ni x \mapsto (f(x,\cdot),x) \in \bigsqcup_{x \in X}L^2(Y,\Sigma_Y,K_x)$ measurable?

Let $(X,\Sigma_X)$ and $(Y,\Sigma_Y)$ be two measurable spaces, let $\mu$ be a measure on $(X,\Sigma_X)$, and let $(K_x)_{x \in X}$ be a transition kernel from $(X,\Sigma_X)$ to $(Y,\Sigma_Y)$, that ...
vaoy's user avatar
  • 309
-1 votes
1 answer
988 views

Random variable as an integral of an indicator function

This answer says that if $X$ is a random variable and $X_+ = \mathrm{max}(0, X)$, then $X_+ = \int_0^\infty I_{\{X > x\}}\mathrm{d}x$. I'd like to know how to derive this starting with $A \in \...
johnsmith's user avatar
  • 115
2 votes
1 answer
141 views

Injectivity of two sided Laplace transform

Let $\mu,\nu$ be finite Borel measures on $\mathbb R$. Assume that there is an open interval $(a,b)$ on which the Laplace transforms exist and coincide: $$ \int_{-\infty}^\infty e^{-tx}\,d\mu(x) = \...
Lau's user avatar
  • 759
0 votes
1 answer
86 views

Is integration against an indicator Wasserstein-Continuous

Let $\mathcal{P}_p(X)$ denote the Wasserstein space over a compact metric space $X$, and $1\leq p<\infty$. Fix a non-empty closed subset $C\subseteq X$. Then is the map: $$ \mathbb{P} \mapsto \...
ABIM's user avatar
  • 5,405
6 votes
1 answer
343 views

Is there a standard way of defining the integral of an extended real function with respect to a finitely additive probability measure?

Let $X$ be a set, and let $\mu$ be a finitely additive probability measure defined on $2^X$. Let $\Phi$ be the set of functions from $X$ to $\mathbb R \cup \{-\infty, \infty\}$. Is there a standard ...
aduh's user avatar
  • 869
5 votes
1 answer
319 views

Spherical average of $\frac{1}{x}$

Let $X_1,...,X_n$ be points on $\mathbb S^1.$ We then define the expectation value $E(X)=\frac{1}{n}\sum_{i=1}^n X_i.$ Let $\frac{dS(X_1)}{2\pi}$ be the normalized surface measure of $\mathbb S^1,$ i....
Pritam Bemis's user avatar
0 votes
1 answer
55 views

Looking for a family of random variables such that only the second clause is fulfilled [closed]

Working with the epsilon-delta-criterium, a family $(X_i)_{i \in I}$ on $(\Omega,A,P)$ is uniformly integrable if i) $sup_{i \in I} E(X_i) <\infty$ ii) $\forall \epsilon>0$ ex. $\delta>0$ s.t....
Sofia's user avatar
  • 11
2 votes
1 answer
70 views

$ \int_{E}^{*}{\psi (t) d\mu(t)}=\int_{E}{\phi (t) d\mu(t)} $

Let $(T, \mathcal{A}, \mu)$ be an arbitrary measure space. The outer integral over $(T, \mathcal{A}, \mu)$ of a (possibly nonmeasurable) function $\psi: T\to (-\infty, +\infty]$ is defined by: $$ \...
Karim KHAN's user avatar
0 votes
1 answer
153 views

$ \{X_n\mathbb{1}_{X_n\in[-n,n]}\}$ is uniformly integrable

Let $(\Omega,\mathcal{A},\mathbb{P})$ be a probability space. Suppose $\{X_n\}$ is a sequence of random variables satisfying : $$ \sup_{n}{\mathbb{E}(|X_n|)} <\infty $$ Suppose that $$ \dfrac{M_j}{...
John nany's user avatar
2 votes
1 answer
2k views

Explicitly representing a random variable in terms of indicator functions

Motivation: I want to compute $$E[g(X)] := \int_{\Omega} g(X(\omega)) d\mathbb{P}(\omega) \tag{*}$$ without needing change of variable formula. I want to prove the change of variable formula (you ...
BCLC's user avatar
  • 247
7 votes
1 answer
621 views

Does every (generalized?) Markov chain admit transition probabilities?

To pose the question let us start by recalling the following notions: Transition Probabilities. A transition probability matrix between two measurable spaces $(S,\mathcal{S})$ and $(V,\mathcal{V})$ ...
David's user avatar
  • 486
0 votes
0 answers
81 views

Why is $\mathcal{E}(X)=\mathcal{E}(X,X^*)$?

According to a course about $\sigma$-agebras in infinite dimensional space they said that it is easy to see that : $$\mathcal{E}(X)=\mathcal{E}(X,X^*)$$ where: $X$ is separable real Banach space. $\...
Heidy's user avatar
  • 121
2 votes
1 answer
446 views

Is the following "section-wise" defined function measurable in the product space?

I asked this question in mathstackexchange a couple of days ago. Almost right after posing it a partial (affirmative) answer came to my mind in the following form Proposition: Assume that $(X,\...
David's user avatar
  • 486
0 votes
0 answers
454 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 ...
ABIM's user avatar
  • 5,405
0 votes
0 answers
232 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 ...
Issam Ibnouhsein's user avatar
4 votes
1 answer
740 views

Integral wrt probability measure

Let $\Theta\subseteq\mathbb{R}^d$ is open set and $(\cal X, \cal A)$ be a measurable space . For every $\theta\in\Theta$, suppose that $P_\theta$ is a probability measure on $(\cal X, \cal A)$. ...
Jlamprong's user avatar
  • 133
3 votes
1 answer
2k views

From Lebesgue Integral to Stieltjes Integral, and integration by parts

Let $X$ be a real random variable with c.d.f function $F$. Let $g$ be an increasing measurable real function and assume that $\mathbb{E}\left[g(X)\right]$ exists (and is finite). What additional ...
Adrien's user avatar
  • 591
3 votes
2 answers
1k views

Is there a corresponding Hahn decomposition theorem for the real-valued Radon measures?

Hello, As we know that a signed measure $\mu$ on $R$ can be decomposed to the positive part $\mu_+$ and negative one $\mu_-$ by the Hahn decomposition theorem. My question is whether each real-...
Anand's user avatar
  • 1,649
3 votes
2 answers
994 views

measurability of integrated functions

DISCLAIMER: I'm not a mathematician, but a computer scientist, so I hope the question is not trivial (or perhaps I hope so, in order to get a definitive answer). Anyway it's not a homework, as ...
user avatar