Questions tagged [measurable-functions]
The measurable-functions tag has no usage guidance.
83
questions
1
vote
1
answer
179
views
A question on Borel measurability
Let $(X, \mathcal{B}_{X}, \mu)$ be a measure space. Here, $\mu$ is an infinite Borel measure and $\mu$ is not $\sigma$-finite. Let $\pi$ be surjective Borel measurable map form $(X, \mathcal{B}_{X}, \...
2
votes
1
answer
53
views
Approximate a non-negative function which is measurable in product $\sigma$-algebra
$
\DeclareMathOperator*{\supp}{supp}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\...
1
vote
2
answers
112
views
Let $D$ be the set of those $\omega \in \Omega$ such that $f(\omega, \cdot)$ is $\mu$-integrable. Is $D$ measurable?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bD}{\mathbb{...
0
votes
0
answers
59
views
Measurable Extension
Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
4
votes
1
answer
186
views
Product map on topological group measurable?
Let $G$ be a topological group and $\mathcal{B}$ its Baire $\sigma$-algebra (i.e. the smallest $\sigma$-algebra for which all continuous functions $G\rightarrow\mathbb{R}$ are measurable). Consider ...
0
votes
0
answers
63
views
Multiplication with dilations of nonzero measurable function is injective
Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true:
Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
0
votes
0
answers
46
views
Existence of derivative of distribution of exponential family?
Suppose $(X, \mathcal{F})$ is a measurable space and $\left\{F_\theta, \theta \in \Theta\right\}$ is a distribution family on $(X, \mathcal{F})$. When $\left\{F_\theta, \theta \in \Theta\right\}$ is ...
2
votes
2
answers
258
views
Preimage of null sets under a monotone increasing function
Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
1
vote
0
answers
86
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 ...
-1
votes
1
answer
100
views
Pointwise limit of a "net" of measurable functions is measurable? [closed]
Let $(X, \mathcal{A},\mu)$ be a finite measure space with the $\sigma$-algebra $\mathcal{A}$ and the measure $\mu$.
Let $B$ be a separable Banach space. Then, it is well-known from a theorem by Pettis ...
0
votes
1
answer
87
views
A nonlinear mapping on $L^2(S^1)$ that commutes with all translation operators is necessarily measurable?
Let $H:= L^2(S^1)$, where $S^1$ is the circle, and $\tau_a : H \to H$ be the translation operator for each $a \in S^1$:
\begin{equation}
(\tau_a f)(x):= f(x+a)
\end{equation}
Then, it is clear that ...
2
votes
0
answers
63
views
On the measurability of stochastic integrals
Let $S(t)$ be a $C_0$-contraction semi-group, $W$ is a cylindrical Wiener process in a separate Hilbert space $U$. Assume the following conditions:
$$
\|F(t,u_1)-F(t,u_2)\|_{H}< C\|u_1-u_2\|_{H},~~...
5
votes
1
answer
413
views
Is there a Borel measurable $f:\mathbb{R}^d \to \mathbb{R}^d$ such that $f(x) \in \partial \varphi (x)$ for all $x$?
Let $\varphi: \mathbb{R}^d \to \mathbb{R}$ be a convex function. The subdifferential of $f$ at $x$ is defined as
$$
\partial \varphi (x) := \{z \in \mathbb{R}^d : \varphi(y) \geq \varphi(x) + \langle ...
1
vote
0
answers
55
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
0
votes
0
answers
45
views
Is the embedding $i: (L^p_\text{loc} (Y), \| \cdot \|_{L^p_\text{loc}}) \to (L^0(Y), \hat \rho)$ continuous or Borel measurable?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...