The borel-sets tag has no wiki summary.

**6**

votes

**3**answers

230 views

### Borel cross section

It is known from metric space topology that a closed equivalence relation on a Polish space has either countably many or $\mathfrak{c}$ many equivalence classes.
A short elementary proof is given in ...

**2**

votes

**2**answers

147 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 ...

**5**

votes

**3**answers

276 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 ...

**3**

votes

**1**answer

113 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 ...

**3**

votes

**0**answers

197 views

### Strong measure zero sets and selection principles

A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which ...

**2**

votes

**0**answers

255 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} ...

**2**

votes

**1**answer

69 views

### Measurability of a 'cone'

Let A be a (Lebesgue) measurable set in $ \mathbb{R}^n$. Consider the 'cone with base A' $A(1) = \{\alpha x \in \mathbb{R}^n : x \in A, \alpha \in (0,1] \}$.
Is B Lebesgue measurable? I assume it is, ...

**1**

vote

**1**answer

152 views

### Open set of geodesics implies the set of starting points is open

Let $X$ be a complete and separable metric space, let $G(X) \subset C([0,1],X)$ be the space of continuous curves from $[0,1]$ to $X$ with constant speed, i.e.
$$ d(f(t),f(s)) = |t-s| d(f(0), f(1)). ...

**-1**

votes

**1**answer

176 views

### Absolute continuity of probabilities on Polish spaces and open sets. [closed]

On a polish space $\mathcal{X}$ i consider two Borel probabilities $P$ and $Q$ such that for any open set $E$ of $\mathcal{X}$ we have : $P(E) =0$ implies $Q(E)=0$. Does this imply that $Q$ is ...

**4**

votes

**3**answers

598 views

### Is the set of the absolutely continuous functions a Borel set of the space of the continuous functions?

Does anyone knows whether the set of the absolutely continous functions $F :[0,1]\to \mathbb{R}^d$ of the form $$F(t)= a + \int_0^tf(s) ds$$ where $f$ is an integrable function is a Borel set of the ...

**7**

votes

**0**answers

408 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 ...

**2**

votes

**0**answers

137 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": ...

**3**

votes

**1**answer

284 views

### Any subset of Baire space is a union of a boldface $\Delta_2^0$ set and a set with no isolated points. Anybody know how to prove this?

I'm trying to do due diligence and determine whether this is known, trivial, original, etc. I have a proof of:
Theorem: If $S\subseteq \mathbb{N}^{\mathbb{N}}$ then $S=X\cup Y$ for some $X$ which is ...

**4**

votes

**0**answers

517 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. ...

**8**

votes

**3**answers

616 views

### A compactness property for Borel sets

Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?
(*) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = ...

**3**

votes

**10**answers

3k views

### Best introduction to probability spaces, convergence, spectral analysis

I'm not sure if this stuff all falls under what most would just term "probability", but I'm researching applied macroeconomics and need to get a handle on the following concepts ASAP:
probability ...

**8**

votes

**4**answers

3k views

### A G-delta-sigma that is not F-sigma?

A subset of $\mathbb{R}^n$ is
$G_\delta$ if it is the intersection
of countably many open sets
$F_\sigma$ if it is the union of countably many closed sets
$G_{\delta\sigma}$ if it is the union
...

**10**

votes

**6**answers

1k views

### Sets with equal positive measure in every interval

Hi,
I want to write a proof that relies on the fact that:
There are Borel Sets $A$ and $B$ contained in $\mathbb{R}$ such that
$A \cap B = \emptyset$ and $\lambda(A \cap (x,y)) = \lambda(B \cap ...

**7**

votes

**5**answers

2k views

### Projection of Borel set from $R^2$ to $R^1$

Hello
This should be easy to prove but i have no idea how to do it:
If $X \subseteq \mathbb{R}^2$ is borel then $f(X)$ is borel where $f(x,y) = x$
Thanks
Tobias

**34**

votes

**4**answers

8k views

### Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...