The measurable-functions tag has no wiki summary.

**2**

votes

**0**answers

68 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

86 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

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

**2**

votes

**0**answers

168 views

### Measurability of a map that takes a functional to its composition with a linear operator

Let $(X,\Sigma_X)$ be a measurable space such that $\Sigma_X$ is countably generated.
Let $B_b(X)$ be the Banach space of all bounded $\Sigma_X$-measurable functions $X\to\mathbb{R}$ equipped with ...

**2**

votes

**0**answers

40 views

### Measurability of functions with multiple parameters

For a formalisation of the Giry monad in a theorem prover, I think I require some notion of measurability of “curried” functions. I.e. I have measure spaces $A$, $B$, and $C$ and a function $f: A ...

**9**

votes

**1**answer

240 views

### Is the “continuous on compact subsets” characterization of measurable functions actually useful?

According to Lusin's theorem (and the slightly weaker converse of that result), measurable functions on locally compact topological spaces that are equipped with a regular measure may be characterized ...

**4**

votes

**1**answer

189 views

### Volume-preserving mappings in the torus $T^n$

Let $T^n$ be the $n$-dimensional torus and let $F$ be the set of all volume preserving continuous mappings $f:T^n\to T^n$. I would like to know if $F$ is connected in the sense that for any $f\in F$ ...

**1**

vote

**0**answers

119 views

### Is reflexive Banach space valued scalarwise Lebesgue space isomorphic to the Bochner space?

I first specify the setting and then formulate the question precisely. (A very long post follows.)
Definitions 1. For $E$ a (real Hausdorff) locally convex space, say that $E$ is suitable iff there ...

**2**

votes

**1**answer

178 views

### Is scalarly measurable simply measurable?

More specifically, consider the following particular situation: Let $I=[0,1]$ with the standard Borel $\sigma$-algebra. Consider functions $y:I\times I\to I$. Say that $y$ is scalarly measurable iff ...

**2**

votes

**2**answers

777 views

### The image of a measurable set under a measurable function.

Let $f:X \rightarrow (Y, \mathcal{Y})$ be an abstract function, with $\mathcal{Y}$ a $\sigma$-algebra on $Y$. Endow $X$ with $f^{-1}(\mathcal{Y})$. Is then $f(X)$ a measurable set in $Y$? If not, are ...

**1**

vote

**0**answers

83 views

### Is scalarwise measurability determined by the strong dual?

Since this question has not received an answer so far, I try to reformulate the question in a simpler manner as follows: Do there exist $E,F,\ell,f$ such that
$E$ and $F$ are separable (real) ...

**6**

votes

**2**answers

927 views

### Good examples of random variables whose image is not a measurable set?

Are their simple/natural examples of real-valued Borel-measurable random variables whose image is not a Borel set? Something that occurs "naturally"?
I am teaching Doob's lemma (for two real-valued ...

**1**

vote

**2**answers

374 views

### Opinions on the Multiplication of Measures

A few questions, hopefully to spark some discussion.
How can one define a product of measures?
We could use Colombeau products by embedding the measures into the distributions? I'm not sure why ...

**1**

vote

**0**answers

270 views

### Unambiguous “weak” vector valued $L^{+\infty}$ spaces?

For some time, I have been stuck to the problem to be described as follows. The (perhaps not so commonly known) facts given here are taken from R. E. Edwards' Functional Analysis (Holt, Rinehart and ...