All Questions
Tagged with gn.general-topology measure-theory
246 questions
92
votes
3
answers
14k
views
Is every sigma-algebra the Borel algebra of a topology?
This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ...
- 236k
60
votes
7
answers
17k
views
Is there a measure zero set which isn't meagre?
A subset of ℝ is meagre if it is a countable union of nowhere dense subsets (a set is nowhere dense if every open interval contains an open subinterval that misses the set).
Any countable set ...
53
votes
4
answers
24k
views
When is $L^2(X)$ separable?
I have never studied any measure theory, so apologise in advance, if my question is easy:
Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable?
In reality, I am interested in ...
- 12.3k
37
votes
14
answers
5k
views
What are interesting families of subsets of a given set?
Motivation
The usual starting point of both Topology and Measure Theory is the definition of a family of subsets of a set $S$.
Indeed, one defines a topology on $S$ to be a family of subsets ...
- 33.3k
37
votes
5
answers
4k
views
Reference for the Gelfand duality theorem for commutative von Neumann algebras
The Gelfand duality theorem for commutative von Neumann algebras states that the following three categories are equivalent:
(1) The opposite category of the category of commutative von Neumann ...
- 37.8k
34
votes
2
answers
2k
views
Are the Sierpiński cardinal $\acute{\mathfrak n}$ and its measure modification $\acute{\mathfrak m}$ equal to some known small uncountable cardinals?
This question was motivated by an answer to this question of Dominic van der Zypen.
It relates to the following classical theorem of Sierpiński.
Theorem (Sierpiński, 1921). For any countable partition ...
- 41.8k
28
votes
7
answers
13k
views
Regular borel measures on metric spaces
When teaching Measure Theory last year, I convinced myself that a finite measure defined on the Borel subsets of a (compact; separable complete?) metric space was automatically regular. I used the ...
- 18.7k
27
votes
3
answers
5k
views
Weak and Strong Integration of vector-valued functions
This is probably an elementary question, but outside my area of expertise, and I was unable to find any suitable reference:
Suppose $f:X\to E$ is a continuous function from a compact spaces (endowed ...
- 741
23
votes
3
answers
9k
views
Sets with positive Lebesgue measure boundary
Consider a compact subset $K$ of $R^n$ which is the closure of its interior. Does its boundary $\partial K$ have zero Lebesgue measure ?
I guess it's wrong, because the topological assumption is ...
- 18.7k
21
votes
1
answer
1k
views
Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?
Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...
- 37.8k
19
votes
1
answer
465
views
Large Borel antichains in the Cantor cube?
Let $2^\omega$ be the Cantor cube $\{0,1\}^\omega$, endowed with the standard compact metrizable topology and the standard product measure, called the Haar measure. The Cantor cube is considered as a ...
- 41.8k
18
votes
3
answers
1k
views
Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?
Let $(X, \Sigma)$ denote a measurable space. Is there a non-trivial $\sigma$-algebra $\Sigma^1$ of subsets of $\Sigma$ so that $(\Sigma, \Sigma^1)$ is also a measurable space?
Here is one natural ...
- 8,502
18
votes
1
answer
11k
views
Is every continuous function measurable?
This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...
- 321
17
votes
7
answers
1k
views
Examples of toposes for analysts
I've read that toposes are extremely important in modern mathematics, but I find the definitions and examples given on the nLab page a little too abstract to understand.
Can you provide some examples ...
17
votes
2
answers
905
views
Intersection of compact sets in the unit interval
Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr A\...
- 3,584
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\...
- 629
16
votes
4
answers
1k
views
Continuity on a measure one set versus measure one set of points of continuity
In short: If $f$ is continuous on a measure one set, is there a function $g=f$ a.e. such that a.e. point is a point of continuity of $g$?
Now more carefully, with some notation: Suppose $(X, d_X)$ ...
- 2,221
13
votes
3
answers
820
views
Is there a Borel subset of $ \mathbb{R}^{2} $, with finite vertical cross-sections, whose projection onto the first component is non-Borel?
This question is related to another one that I asked two days ago.
Question. Does there exist a Borel subset $ M $ of $ \mathbb{R}^{2} $ with
the following two properties?
The ...
- 1,396
13
votes
1
answer
576
views
Are Hausdorff measures on the real line Haar measures for some locally compact topology?
For $0\leq d\leq 1$, let $\lambda_d$ be the $d$-dimensional Hausdorff measure on $\mathbb{R}$. Note that it is translation-invariant. Does there exist a locally compact topology $\mathscr{T}_d$ on $\...
- 32.4k
13
votes
1
answer
1k
views
Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhaps some other set?
Is every sigma-algebra the Borel algebra of a topology?
inspires the present question which asks for less.
Question: Given a $\sigma$-algebra $\mathcal A$ on a set $X$, does there exist a topology $\...
- 17.6k
13
votes
0
answers
421
views
A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?
Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...
- 41.8k
12
votes
1
answer
1k
views
What is the structure associated to almost-everywhere convergence?
Let $M(X)$ be the vector space (actually it's an algebra) of all equivalent classes of measurable functions $X\to \mathbb{C}$ (where $X$ is a measured space) modulo equality almost-everywhere.
One ...
- 549
12
votes
2
answers
3k
views
Borel sets preserved under open maps?
Given open map f: $R^n$ to $R^n$ such that each open set $U\in R^n$, $f(U)$ is also open. Are Borel sets in $R^n$ preserved under f?
Motivation: Pre-image of Borel sets under continuous map is a ...
- 3,038
12
votes
1
answer
374
views
Is $X\times X$ homeomorphic to $X$ for a space of probability measures?
Let $\mathcal M_1(S)$ be the (compact, metrizable) space of probability Borel measures on the circle $S=\{z\in\mathbb C: |z|=1\}$ with its weak $*$ topology, so $\mu_n\to\mu$ if and only if
$$
\int_S ...
- 24.2k
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 ...
- 41.8k
11
votes
2
answers
578
views
Homeomorphisms vs Borel automorphisms
Let $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ be the groups of homeomorphic and Borel automorphisms of a space $M$, respectively.
Question: Are $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ ...
- 1,959
11
votes
1
answer
799
views
Restrictions of null/meager ideal
Let I denote the null (resp. meager) ideal on reals. Is it consistent that for any pair of non null (resp. meager) sets A and B, there is a null (resp. meager) preserving bijection between A and B? In ...
- 9,631
11
votes
0
answers
215
views
Shift invariant measurable selection theorem
Let $(X,\mathcal{F})$ be some measure space and endow $\mathbb{R}^\mathbb{Z}$ with the product topology and borel $\sigma$-field. Let $F$ be a point to set mapping $X^\mathbb{Z}\rightarrow \mathcal{P}(...
- 479
10
votes
1
answer
366
views
Are all compact subsets of Banach spaces small in a measure-theoretic sense?
Definition. A subset $K$ of a topological group $X$ is called measure-continuous if there exists a $\sigma$-additive Borel probability measure $\mu$ on $X$ such that for every compact subset $C\subset ...
- 41.8k
10
votes
1
answer
869
views
Completeness of Borel measure
Let $X$ be a compact Hausdorff space and $\mu$ a finite Borel measure without atoms which is outer regular with respect to open sets and inner regular with respect to compact sets. Can such measure be ...
- 277
10
votes
0
answers
272
views
What is the smallest $\sigma$-algebra of reals that is closed under addition of sets?
What is the smallest $\sigma$-algebra $\Sigma\subseteq\mathcal P(\Bbb R)$ containing the open sets and such that if $A,B\in\Sigma$, then $$A+B=\{a+b\mid a\in A,b\in B\}\in\Sigma?$$
I know that neither ...
- 3,011
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
9
votes
2
answers
687
views
Analogue of open/closed maps for measurable spaces
$\newcommand{\A}{\mathcal{A}}\newcommand{\T}{\mathcal{T}}$The notions of continuous map of topological spaces and measurable function of measurable spaces are very similar:
A map of topological ...
- 11.8k
9
votes
1
answer
913
views
A Besicovitch-type Covering Theorem
In the book The Geometry of Domains in Spaces by Krantz and Parks, the authors proved the weak $(1,1)$-type estimate of the maximal function $M_\mu f$, where $\mu$ is a Radon measure, using their ...
- 1,245
9
votes
1
answer
4k
views
What are some characterizations of the strong and total variation convergence topologies on measures?
I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here.
The Wikipedia article on convergence of measures defines three kinds of convergence: ...
- 203
9
votes
1
answer
829
views
Baire category theorem for uncountable unions
Any compact Hausdorff space $X$ is a Baire space:
if the set $X$ is a meager set (meaning a countable union of nowhere dense subsets,
also known as a set of first category),
then $X$ is empty.
I am ...
- 37.8k
9
votes
1
answer
263
views
Rothberger property for finite covers
Let us recall that a topological space $X$ has the Rothberger property if for any sequence $(\mathcal U_n)_{n\in\omega}$ of open covers of $X$ there exists a sequence $(U_n)_{n\in\omega}\in\prod_{n\...
- 41.8k
9
votes
1
answer
339
views
A topological characterisation of a.e. continuity
We say a measurable function $f: \mathbb R^n \to \mathbb R$ is essentially continuous if the inverse image of any open set $O$ differs from an open set by a set of null measure, in the sense that ...
- 6,155
9
votes
1
answer
384
views
Comparing two $\sigma$-algebras on $B(\ell^1)$
Let us consider $B(\ell^1)$, bounded linear operators on $\ell^1$. We recall the weak operator topology, denoted by $w$, on $B(\ell^1)$ is determined as follow
$$w-\lim T_i=T \Longleftrightarrow \...
- 4,058
9
votes
0
answers
217
views
Point-free topology, but with $\sigma$-algebras instead of spaces
I have a question about $\sigma$-algebras in relation to point-free topology. The question was inspired by a comment on a similar question I had:
If abstract $\sigma$-algebras (i.e. certain boolean ...
user30211
9
votes
0
answers
624
views
Two questions about universally measurable sets
I have two questions about universally measurable sets:
(1) Is there a universally measurable set of reals which does not have the Baire property?
(2) Is there a universally measurable set of reals ...
- 9,631
8
votes
4
answers
1k
views
Is a measurable homomorphism on a Lie group smooth?
Let $G$ be a Lie group, and let $\mathcal B(G)$ its Borel $\sigma$-algebra. Suppose that $f : G \to G$ is a Borel-measurable homomorphism. Is $f$ smooth?
Edit: My original question said "measurable ...
- 8,502
8
votes
2
answers
409
views
Approximation of the identity by simple functions
Let $X$ be a topological space. Assume that there exists a sequence of simple functions $\phi_n:X\to X$ (finite range and measurable) with $\lim\phi_n(x)=x$.
Can we concluded $X$ may be written by a ...
- 4,058
8
votes
1
answer
489
views
The class of spaces where every Borel measure is atomic
I have been considering the following question:
Let $X$ be a compact, metrizable space with the following property: every (regular) Borel probability measure on $X$ is atomic, i.e. for each $\mu\in\...
- 93
8
votes
1
answer
359
views
Can we recover a topological space from the collection of Borel probability measures living on it?
Let $(X, \tau)$ be a topological space, and $\mathcal{P}(X, \tau)$ be the Borel probability measures living on $X$. Can we recover $(X, \tau)$ from $\mathcal{P}(X, \tau)$?
user76098
8
votes
2
answers
753
views
Patching together homeomorphisms: how badly can it fail?
Suppose we have a set $X$ with $X=U \cup V$. If we pick a permutation $f$ of $U$ and a permutation $g$ of $V$ which agree on the intersection $U \cap V$, we can coalesce them into one big endo-map $F$ ...
- 3,910
8
votes
1
answer
197
views
Topological property of the space of probability measures
Suppose that $\mathbb{P}$ is the metric space of Borel probability measures on the interval $[0,1]$ equipped with the topology of $w^*$ convergence.
Consider also $\mathbb{P}_{ac}, \mathbb{P}_{s}$ the ...
8
votes
1
answer
474
views
A criterion for second countability
Let $(X,\tau)$ be a topological space.
Assume for any arbitrary topological base $\mathcal{E}$ of $\tau$ we have that: the Borel sigma algebras coming form $\mathcal{E}$ and $\tau$ are the same. ...
- 4,058
8
votes
1
answer
230
views
Measure support decomposition that "tends to infinity"
I would like to know the answers to the following two questions.
Let $S$ be a locally compact Hausdorff space, $\mu$ be a regular Borel measure with non-compact support $M$. Denote
$$
\mathscr{H}=\{\...
- 1,697
8
votes
0
answers
463
views
When is the sigma-algebra generated by closed convex sets the same as the Borel sigma-algebra
For which topological vector spaces $E$ do we have the equality between the sigma algebra generated by the closed convex subsets of $E$ and the Borel sigma algebra of $E$ ?
More precisely, do we have ...
- 506