All Questions
Tagged with borel-sets measure-theory
58 questions
0
votes
0
answers
112
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
0
votes
1
answer
78
views
Intersection of sigma algebras generated by shifts
EDIT: Iosif's answer showed that my motivation for this question was mislead.
To keep this question interesting for a broader readership, let us forget about sequence spaces and tail algebras and ...
- 257
0
votes
0
answers
38
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets? Will it also be a Henkin measure?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
0
votes
0
answers
78
views
What properties does representing measure $\mu$ for $z\in\mathbb{D}^n$ has to satisfy so that $\nu=0$ is the only measure singular with respect to it?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
5
votes
0
answers
95
views
Is there an equivalent condition for Borel projections being Borel?
Let $X,Y$ be Polish spaces, and $B\subseteq X \times Y$ a Borel subset. The projection $B_X$ is not necessarily Borel in $X$. I have seen a few sufficient conditions for the projection to be Borel, ...
- 291
-1
votes
1
answer
132
views
What is an "open Baire set"?
In Measures Which Agree on Balls by Hoffmann-Jørgensen, it is stated that if $\varphi$ is a Baire function (which I presume means a pointwise limit of continuous functions), then $\{a<\varphi\}$ is ...
- 297
1
vote
0
answers
96
views
Borel structure/sets coming from strong operator topology vs norm topology
Let $X, Y$ be Banach spaces. Moreover, let $\mathcal{L}(X,Y)$ be the space of bounded linear operators equipped with the standard operator norm topology, and $\mathcal{L}_{\mathrm{s}}(X,Y)$ the same ...
- 139
1
vote
0
answers
154
views
Polish spaces and analytic sets
Can we conclude that an analytic subset $A$ of a Polish space $X$ is also Polish?
Let $\mathcal{M}(R^d)$ denotes the family of Borel probability measures on $R^d$ equipped with the Lévy-Prokhorov ...
- 39
10
votes
3
answers
1k
views
How to prove that the Lebesgue $\sigma$-Algebra is not countably generated?
How to prove that there can't exist a countable set $\{A_1,A_2,\dots\}\subset \mathcal{L}(\mathbb{R})$ (where $\mathcal{L}(\mathbb{R})$ denotes the family of all Lebesgue measurable sets) such that $\...
- 243
4
votes
2
answers
261
views
Product of locally Borel sets locally Borel
Let $X$ be a locally compact Hausdorff space with a fixed Radon measure (= Borel measure that is finite on compact subsets, inner regular on open subsets and outer regular on Borel sets) $\mu$ . A ...
- 175
1
vote
1
answer
120
views
How to characterize the Borel sets of product between finite and uncountable space?
Consider the product space $Z=X\times Y$, where $X$ is a finite set with discrete topology and $Y$ is an uncountable compact subset of $\mathbb{R}^n$ with the usual subspace topology. Denote with $\...
- 11
2
votes
1
answer
851
views
The Borel sigma-algebra of a product of two topological spaces
The following problem arose while trying to justify some "known results" in abstract harmonic analysis on noncommutative groups, for which I couldn't find explicit statements in the ...
- 25.8k
5
votes
1
answer
254
views
Boolean algebra of ambiguous Borel class
Suppose $X$, $Y$ are uncountable compact metric spaces and $\Delta^0_\xi(X)$, $\Delta^0_\xi(Y)$ ($2\le\xi\le\omega_1$) are the Boolean algebras of Borel sets of ambiguous class $\xi$. So for $\xi=2$ ...
- 1,704
7
votes
1
answer
280
views
Extending a finite Baire measure to a regular Borel measure
Let $X$ be a Hausdorff compact space, and let $\mathrm {Ba}$, $\mathrm {Bo}$ be its Baire, respectively, Borel, $\sigma$-algebras. Let $\mu:\mathrm {Ba}\to[0,+\infty)$ be a finite Baire measure: it is ...
- 60.5k
1
vote
1
answer
692
views
Is the point-wise limit of simple functions a measurable function?
Let $X$ and $Y$ be topological spaces. By a simple function $\phi: X\to Y$ we mean a finite range Borel measurable function.
Q. Is the point-wise limit of a sequence of simple functions a Borel ...
- 4,058
1
vote
1
answer
157
views
Find a Borel measure such that the closed sets aren't arbitrarily close to the Borel sets with finite measure
I would like example of measures which shows that the following propositions are false:
Proposition 1: Let $\mathfrak{B}$ be the Borel $\sigma$-algebra of a topological space $X$ and $\mu:\mathfrak{B}...
- 627
3
votes
0
answers
142
views
Is the singular value decomposition a measurable function?
$\DeclareMathOperator\svd{svd}$Consider the SVD of rectangular matrices as operators
$$\svd:\mathbb C^{n\times m}\to \mathbb U_n\times \mathbb D_{n, m}\times\mathbb U_m$$
where $\mathbb U_n$ is the ...
- 201
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 ...
- 365
0
votes
1
answer
361
views
$f_\epsilon=\inf\{f(y):|y-x|<\epsilon\}$ is measurable Borel [closed]
I found this problem I have tried but it has been a bit complicated for me,
Let $f:\mathbb{R}\to\mathbb{R}$ a bounded function. For each $\epsilon>0$, let $f_\epsilon (x)=\inf\{f(y):|y-x|<\...
- 143
4
votes
1
answer
718
views
Is every element of $\omega_1$ the rank of some Borel set?
It is well known that we can obtain the $\sigma$-algebra of Borel subsets of $2^{\omega}$ in the following way: Let $B_0$ be the collection of all open subsets of $2^{\omega}$. For $\alpha=\beta+1$, ...
- 1,799
15
votes
2
answers
530
views
Nontrivial signed measure on Lebesgue measurable sets being trivial on Borel sets
Let $\mathfrak{L}(\mathbb{R})$ be the collection of Lebesgue measurable sets and $\mathfrak{B}(\mathbb{R})$ be the Borel sets.
Question: Is there a nontrivial signed measure on $\mathfrak{L}(\mathbb{R}...
- 807
1
vote
0
answers
399
views
Weak topology on spaces of measures and Borel sets
Let $K$ be a compact Hausdorff space (not necessarily metric or even separable). Let $M(K)$ be the space of all Radon measures on $K$ (that is, finite signed regular Borel measures) endowed with the ...
- 1,151
5
votes
0
answers
363
views
Computing the infinite dimensional Lebesgue measure of "cubes"
There is no Lebesgue measure in infinite dimensions—this slogan is familiar to every student interested in analysis. One possible, precise statement of this result may be as follows: if $X$ is an ...
- 9,330
-3
votes
2
answers
156
views
Getting almost certainty from uncountably many low-probability events
Let $(\Omega,\Sigma,\mathbb{P})$ be a complete probability space, $B\subseteq X$ be a non-empty Borel subset of a polish space $X$, $A$ be an uncountable indexing set, and $\{X_{\alpha,n}\}_{a \in A, ...
- 5,407
2
votes
0
answers
115
views
Borel measurability
Suppose we have two locally compact Hausdorff spaces $X$ and $Y$. Let $i:X\to Y$ be a continuous injection. Under what condition the Borel $\sigma$-algebra of $X$ and $i(X)$ are isomorphic via the map ...
- 1,879
0
votes
1
answer
164
views
separable support of Borel measure, with tau-additive measure and full support
I have a problem with Proposition 7.2.10 in Bogachev's Measure Theory Volume II book on page 77 (I have link to my drive with that book https://drive.google.com/file/d/...
- 137
14
votes
1
answer
735
views
Does there exist a non-zero signed finite borel measure which is zero on all balls?
Let $(X,d)$ be a compact separable metric space. Let $\mu$ be a Borel, regular, finite, signed measure on $X$ such that for all $x\in X$, for all $r>0$, $\mu(B(x,r))=0$, where $B$ denotes the (...
- 345
6
votes
3
answers
1k
views
Disjoint union of measures
This is a sort of follow-up question to this old post I came across.
Setup:
Let $\{X_n\}_{n \in \mathbb{N}}$ be a collection of Hausdorff topological spaces and let $\{\Sigma_n\}_{n \in \mathbb{N}}$ ...
- 5,407
0
votes
1
answer
282
views
Explicit examples of (probability) measures on $\prod \mathbb{R}$
Let $\prod_{n \in \mathbb{N}} \mathbb{R}$ be equipped with the Tikhonov product of the Euclidean topologies on $\mathbb{R}$ and let $B$ the corresponding Borel $\sigma$-algebra. What is are some ...
- 5,407
1
vote
2
answers
266
views
Approximation of $\sigma$-finite Borel measures by equivalent finite measures
Let $(\mathbb{R}^d,\mathcal{B}(\mathbb{R}^d),\mu)$ be a $\sigma$-finite Borel measure on $d$-dimensional Euclidean space. Can one always construct a sequence of finite equivalent measures $\left\{\...
- 5,407
3
votes
1
answer
601
views
Is every closed subset of finite measure contained in an open subset of finite measure?
Could someone will verify my statement: For every locally finite Borel measure on metric space and closed set $F$ with finite measure, there exists open set $U$ such that $F \subset U$ and $U$ has ...
- 143
2
votes
0
answers
858
views
Regularity of locally finite Borel measure
Do you know any proof that locally finite Borel measure on metric space is regular ? I found many proofs only for finite Borel measure, but it's not satisfies me. Or maybe do you know any books or ...
- 143
5
votes
1
answer
310
views
Abstract transverse measure theory
After reading Noncommutative Geometry book (see here) I came across the notion of the so called abstract transverse measure theory which is a generalization of standard measure theory well adapted to ...
- 9,330
2
votes
2
answers
332
views
The space of Borel function modulo comeager sets is Dedekind complete
Let $(X,\tau)$ be a topological space. Denote by $Bor(X)$ the space of Borel functions $f:X\to\mathbb{R}$ where we identify two functions whenever they agree on the complement of a meager set. We ...
- 267
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
0
votes
1
answer
645
views
Total variation norm estimate
I have the following question concerning an estimate of the total variation norm. Let $\mu$ be a bounded Borel measure on $\mathbb{R}$ and denote by $\mu_t$ the measure defined by $\mu_t(\Omega):=\mu(\...
16
votes
2
answers
1k
views
Is it known how the Sigma Algebra generated by Jordan measurable sets compares to universally measurable sets and analytic sets?
Unlike the collection $L$ of Lebesgue measurable sets, the collection $J$ of Jordan measurable sets do not form a Sigma algebra. (A set is Jordan measurable if and only if its characteristic function ...
- 4,587
3
votes
1
answer
735
views
Borel $\sigma$-algebra in $\beta \mathbb N \times \beta \mathbb N$
For a second-countable space $X$, we have $${\rm Bor}(X\times X) = {\rm Bor}\, X \otimes {\rm Bor}\, X,$$ that is the Borel $\sigma$-algebra of the product is the product $\sigma$-algebra. Some ...
- 105
5
votes
3
answers
1k
views
Regular Borel measures and the measure of a singleton
I'm studying this paper: http://matwbn.icm.edu.pl/ksiazki/sm/sm73/sm7313.pdf
At the top of page 36, it states the following Proposition:
Let $S$ be a compact and $\mu$ a regular Borel measure on $...
- 563
1
vote
1
answer
869
views
Borel $\sigma$-algebra on the space of Hölder continuous functions
Let
$(M,d)$ be a separable metric space
$E$ be a $\mathbb R$-Banach space
$\alpha\in(0,1]$
Moreover, let $$\left\|f\right\|_{C^{0+\alpha}(K,\:E)}:=\sup_{x\in K}\left\|f(x)\right\|_E+\sup_{\substack{...
- 167
14
votes
2
answers
539
views
Non-isomorphic measurable spaces
Suppose that $X$ and $Y$ are measurable spaces with the property: there are measurable bijections $f:X \to Y$ and $g:Y \to X$. Is it possible to find non-isomorphic spaces $X,Y$ with this property? ...
- 9,330
6
votes
1
answer
394
views
Set of integral curves of a vector field
Let $V \colon [0,1]\times \mathbb R^d \to \mathbb R^d$ be a Borel vector field which is globally bounded, $V \in L^\infty$.
I am looking for a reference for the following result (which I suppose it ...
- 980
1
vote
0
answers
188
views
Regular measure in finite Borel sets [closed]
I have a question concerning
these lecture notes, https://www.math.leidenuniv.nl/~vangaans/jancol1.pdf
In the proof of the proposition 2.3 (page 3), there are two steps:
1) define the family $\...
- 111
2
votes
2
answers
233
views
Is the domain of symmetric derivative borel set?
Let $\mu$ be the $n$-dimensional Lebesgue measure and $\lambda$ be a complex Borel measure on $\mathbb{R}^n$.
Let $S$ be the set of points $x\in \mathbb{R}^n$ where $\lim_{r\to 0} \frac{\lambda (B(x,...
- 337
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 ...
- 541
3
votes
2
answers
700
views
Is a sigma-finite Borel measure over $\mathbb R$ determined by its values on the continuous functions? [closed]
Suppose that $\mu$ and $\nu$ are sigma-finite measures on the Borel sigma-algebra over $\mathbb R$ such that $\int_{\mathbb R}f\,d\mu=\int_{\mathbb R}f\,d\nu$ for all nonnegative continuous functions $...
- 128k
3
votes
2
answers
236
views
Can a continuous surjection from a Hilbert cube to a segment behave bad wrt Lebesgue measures?
Suppose $\hat{I}=[0,1]^\mathbb{N}$ is a Hilbert cube and $I=[0,1]$.
Consider Lebesgue measures $m_1$ and $m_2$ on $\hat{I}$ and $I$ correspondingly. By Lebesgue measure on the Hilbert cube I mean the ...
- 173
4
votes
3
answers
688
views
Does every separated measurable space embed into a power of $\{0,1\}$?
Let $(X,\Sigma)$ be a measurable space of arbitrary cardinality. I would like to understand under which conditions this space is isomorphic to a measurable subset of $\{0,1\}^\kappa$ for some cardinal ...
- 6,406
3
votes
1
answer
234
views
Reference to definition of matrix log with domain SO(3) which is Borel measurable
I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
- 203
10
votes
1
answer
3k
views
Radon-Nikodym derivatives as limits of ratios
Let $\mu_1$ and $\mu_2$ be measures with $\mu_1 \ll \mu_2$. Suppose we can characterize (a version of) their Radon-Nikodym derivative this way:
$$\frac{d\mu_1}{d\mu_2}(x) = \lim_{n \to \infty} \frac{\...
- 629