All Questions
13 questions
2
votes
1
answer
140
views
Is a Boolean algebra with an order continuous topology a measure algebra?
Assume that $B$ is a complete boolean algebra endowed with a Hausdorff topology, with respect to which all operations on $B$ are continuous, $0$ has a base of full sets (recall that $A\subset B$ is ...
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
0
votes
0
answers
98
views
Reference request: subspace-based generalisation of weak* convergence
Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
2
votes
1
answer
148
views
Borel $\sigma$-algebras on paths of bounded variation
Let $(C, \|\cdot\|)$ be the Banach space of continuous paths $x: [0,1]\rightarrow\mathbb{R}^d$ starting at zero with sup-norm $\|\cdot\|$.
Let further $B\subset C$ be the subspace of $0$-started ...
2
votes
2
answers
589
views
What to call a continuous function with preimage preserving nowhere-density?
Currently I am reading some basic literature on descriptive set theory and boolean algebras. And this comes out a lot, for example in results like:
Let $X$ and $Y$ be topological spaces, and $f:X \to ...
6
votes
1
answer
353
views
A strong Borel selection theorem for equivalence relations
In Kechris' book "Classical Descriptive Set Theory" there is the following theorem (12.16):
Let $X$ be a Polish space and $E$ an equivalence relation such that every equivalence class is ...
4
votes
1
answer
259
views
Reference request: large generalized probability measures
I'm interested in references relevant to the following: what is the right generalization, if there is one, of a probability measure that takes on values in an structure of more than continuum size?
I'...
2
votes
0
answers
165
views
Dimension of Cartesian products
Is there a notion of dimension such that for all Borel sets $A,B\subseteq\mathbb{R}^{n}$ we have
$$ \dim(A\times B)=\dim(A)+\dim(B)?$$ For topological, Minkowski, packing and Hausdorff dimension this ...
7
votes
1
answer
1k
views
Reference request: norm topology vs. probabilist's weak topology on measures
Let $(X,d)$ be a metric space and $\mathcal{M}(X)$ be the space of regular (e.g. Radon) measures on $X$. There are two standard topologies on $\mathcal{M}(X)$: The (probabilist's) weak topology and ...
12
votes
1
answer
316
views
A reference to a theorem on the equivalence of ideals of measure zero in the Cantor cube
I am looking for a reference of the following (true) fact:
Theorem. For any two continuous strictly positive Borel probability measures $\mu,\lambda$ on the Cantor cube $2^\omega$ there exists a ...
4
votes
0
answers
414
views
Topology on the space of Borel measures
Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...
2
votes
1
answer
891
views
Riesz representation theorem for vector-valued fields
Let $Q$ be a locally compact Hausdorff space, and let $V$ be a topological vector space. Consider the space $X = C_0(Q, V)$ of $V$-valued fields which vanish at infinity. Let $X^*$ denote the dual ...
16
votes
2
answers
4k
views
Is there a "disjoint union" sigma algebra?
I'm looking for a measure-theoretic analogue to the disjoint union topology, or for work on the $\sigma$-algebra generated by canonical injections. More formally:
For an indexed family of sets $\{A_i\...