Sigma Algebra Borel Measurable Continuous Injection
Questions tagged [borel-sets]
10 votes
1 answer
257 views
Wild classification problems and Borel reducibility
My question is whether the archetype of 'wild' problems in algebra, namely classifying pairs of square matrices up to similarity, is 'non-smooth' in the sense of Borel reducibility. This was ...
- 19.8k
2 votes
1 answer
240 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 ...
- 24.3k
5 votes
1 answer
227 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,654
5 votes
1 answer
122 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 ...
- 52.1k
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 ...
- 3,363
Borel sigma algebra coming from the weak topology on TVS
Let $(X,\tau)$ be a topological vector space. Suppose that, there is a sequence of subsets $X_n\subseteq X$ with, For every $n\in \mathbb{N}$, the topology $\tau$ on $X_n$ is second countable and ...
- 3,363
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}...
- 311
3 votes
0 answers
67 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 ...
- 35.2k
1 vote
0 answers
77 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\...
- 1,189
Is every Borel function a projection of a Borel function with closed graph?
Is it true the following statement? Given two Polish spaces $X,Y$ and a Borel function $f:X\rightarrow Y$, there exists a Polish space $Z$ and a Borel function $g:X \rightarrow Y\times Z$ with closed ...
- 1,189
2 votes
0 answers
83 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 ...
- 191
VC dimension of Borel sets [duplicate]
Can there be an uncountable set $S\subseteq\mathbb R$ such that for each subset $D\subseteq S$, there is a Borel set $U$ with $D=S\cap U$? I'm asking merely out of curiosity, but I'll mention that ...
- 23.9k
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 ...
- 325
3 votes
1 answer
765 views
I can't believe it's not Replacement!
(I feel like I might have to apologise in advance for this question, but oh well..) I just rediscovered a comment from Asaf K here on MO that states that full Replacement is not needed for Borel ...
- 31.6k
$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|<\...
- 53
Source: https://mathoverflow.net/questions/tagged/borel-sets
0 Response to "Sigma Algebra Borel Measurable Continuous Injection"
Post a Comment