Questions tagged [borel-sets]
The borel-sets tag has no usage guidance.
27 questions with no upvoted or accepted answers
10
votes
0
answers
161
views
Borel sets with almost equal sections
This is a corrected version of a Q posted yesterday.
Suppose that $B\ne\varnothing$ is a planar lightface $\varDelta^1_1$ set, such that all its vertical cross-sections $B_x$, $x\in\text{proj}\,B$, ...
- 2,281
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
8
votes
0
answers
196
views
Can every Borel set be partitioned into $\leq\!\aleph_1$ $F_{\sigma \delta}$ sets?
Consider the following two facts, a modified version of which appear in this paper of Arnie Miller from the early 1980's:
$\bullet$ If $\mathbb R$ can be partitioned into $\aleph_1$ closed sets, then ...
- 18.5k
6
votes
0
answers
216
views
Analytic equivalence relations whose classes are sometimes Borel
There are analytic equivalence relations for which the statement "All classes are Borel" is independent of $ZFC$. In all the examples I know about, the classes are non Borel in $L$ or $L[z]$ for some ...
- 61
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
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
4
votes
0
answers
273
views
Sierpinski's characterization of $F_{\sigma\delta}$ spaces
According to [2]: Let $X$ be a space. We call a system $(X_s)_{s\in T}$ a Sierpinski
stratification of $X$ if $T$ is a nonempty tree over a countable alphabet and $X_s$ is a closed subset of $X$ for ...
- 3,317
4
votes
0
answers
64
views
Borel rank collapse in Hilbert cube modulo $\sigma$-ideal generated by zero-dimensional sets
Both of the commonly studied $\sigma$-ideals (meager sets and null sets) in Polish spaces with a natural measure (i.e. $\mathbb{R}$, $[0,1]$, $[0,1]^\omega$, $2^{\omega}$, etc.) have the nice property ...
- 12.4k
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
4
votes
0
answers
570
views
Is this observation about the Borel Hierarchy trivial?
Hello, consider the following theorem. Is it trivial? Is it interesting? Is it worth including in a paper if I can prove it in 1 line as a corollary?
Theorem: Suppose $n>0$ is a natural. ...
- 121
3
votes
0
answers
65
views
Borel complexity of the set of generic points for an invariant measure in a minimal system
I would like to know what are possible Borel complexities of the set of generic points for a minimal topological dynamical system. The only possible complexity for which we do not know if it is ...
- 1,658
3
votes
0
answers
80
views
Every Borel linearly independent set has Borel linear hull (reference?)
I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone.
Theorem. The linear hull of any linearly independent Borel set in a Polish ...
- 41.8k
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
3
votes
0
answers
29
views
Borel rank of certain automorphism orbits in $L_p$ lattices
For any $p$ with $1\leq p < \infty$, let $L_p([0,1])$ be the Banach lattice of $L_p$ functions on the unit interval (with the standard measure). Let $A=\{f\in L_p([0,1]):\left\lVert f \right \...
- 12.4k
3
votes
0
answers
185
views
Unbounded Class of Orbit Equivalence Relations
In their paper titled "The Classification of Hypersmooth Borel Equivalence Relations" Alexander Kechris and Alain Louveau quote the following (Theorem 5.2 in the article) as "Harrington, unpublished": ...
- 392
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
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
1
vote
0
answers
43
views
Definition of "interval of continuity" for function defined on sets
At the beginning of Chapter 8 of Kubilius's Probabilistic Methods in the Theory of Numbers, the author defines $Q=Q(E)$ to be a completely additive nonnegative function defined for all Borel subsets $...
- 12.8k
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
1
vote
0
answers
86
views
Relative position of flags for the general linear group
This question is related my question in An example of a Deligne–Lusztig variety for a general linear group, and the obtained answer.
Situation
I am working with the general linear group. Specifically, ...
- 153
1
vote
0
answers
80
views
Separating two sets by a $\boldsymbol{\Delta}_3^0$ set
Let $X$ be a Polish space and $A,B\subseteq X$ be such that $A\cap B = \emptyset$, we know that if there is no $\boldsymbol{\Delta}_2^0$ set separating $A$ from $B$ then there exists a Cantor set $C\...
- 2,286
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
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