The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
2answers
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
2answers
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
0answers
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 ...