Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
erz's user avatar
  • 5,529
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 : $\...
SoG's user avatar
  • 307
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 ...
fsp-b's user avatar
  • 463
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 ...
fsp-b's user avatar
  • 463
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 ...
Daniel W.'s user avatar
  • 365
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'...
Beau Madison Mount's user avatar
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 ...
Jörg Neunhäuserer's user avatar
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 ...
JohnA's user avatar
  • 710
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 ...
Taras Banakh's user avatar
  • 41.9k
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 ...
Longyearbyen's user avatar
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 ...
Tom LaGatta's user avatar
  • 8,512
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\...
Neil Toronto's user avatar