The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
31 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
203 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
170 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$ ...
2
votes
0answers
78 views

How are measurable functions morphisms?

I am trying to encode the theory of measurable sets in higher order logic. I already did so with the theory of topology. I think it is relevant because it enables one to see continuous or measurable ...
2
votes
0answers
101 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 ...
0
votes
0answers
72 views

Is a limit of weakly simply measurable functions weakly simply measurable?

Let $I=[0,1]$ with $\mu$ the Lebesgue measure restricted to the Borel $\sigma$−algebra. Let $E$ be a nonseparable Banach space with norm $x\mapsto\|x\|$, and let $S$ be a point separating closed ...
2
votes
1answer
171 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
542 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
887 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
347 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
258 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 ...