Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
2 votes
0 answers
478 views

Does equality almost everywhere on a product imply equality almost everywhere on sections [closed]

(This question was on MSE, with no answers) Consider two $\sigma$-finite measure spaces $X_1$ and $X_2$, and $X=X_1\times X_2$ the product measure space (a priori non-completed). Take two functions ...
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,\...
4 votes
1 answer
819 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 almost-...