The tag has no usage guidance.

learn more… | top users | synonyms

5
votes
0answers
173 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 ...
1
vote
1answer
114 views

A question about Borel sets on the unit interval

It is known that each non-decreasing continuous function $\phi$ induces a $\sigma$-additive measure $d\phi$ such that $\int_0^1 f(x) d\phi(x)$ exists for every bounded real-valued Baire function $f$. ...
0
votes
1answer
130 views

Borel subsets of Polish groups

Suppose that I have a polish group $G$ and two subsets $A$ and $B$ of $G$ such that: $A$ is open in $G$ and $B$ is closed in $G,$ from this, can I conclude that $AB$ is a Borel subset of $G$? if not, ...
5
votes
0answers
157 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 ...
2
votes
1answer
185 views

When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?

I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...
3
votes
2answers
224 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 $...
6
votes
3answers
383 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 ...
3
votes
2answers
174 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
3answers
334 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
1answer
126 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 ...
4
votes
0answers
427 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{\...
2
votes
1answer
93 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
1answer
167 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
1answer
185 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
3answers
684 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 ...
8
votes
0answers
477 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
0answers
152 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
1answer
293 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
0answers
531 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
3answers
651 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} = \...
4
votes
10answers
4k 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
4answers
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
6answers
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 (x,...
9
votes
5answers
3k 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
42
votes
4answers
10k 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 ...