**49**

votes

**2**answers

3k views

### Is every sigma-algebra the Borel algebra of a topology?

This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ...

**21**

votes

**3**answers

4k views

### When is $L^2(X)$ separable?

I have never studied any measure theory, so apologise in advance, if my question is easy:
Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable?
In reality, I am interested in ...

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

**25**

votes

**2**answers

1k views

### Is there a finite family of functions such that the max of any two functions can be dominated by a third?

Is it true that for every $t$ there is an $n$ and there exists a finite function
family, $\cal F$, whose members are from $[n] \to \mathbb N$ (taking all different
values) and for any $f_1, \ldots, ...

**26**

votes

**4**answers

2k views

### Reference for the Gelfand-Neumark theorem for commutative von Neumann algebras

The Gelfand-Neumark theorem for commutative von Neumann algebras states that the following three categories are equivalent:
(1) The opposite category of the category of commutative von Neumann ...

**8**

votes

**5**answers

1k views

### Measure theory treatment geared toward the Riesz representation theorem

I'm looking for recommendations for books (or lecture notes) that develop measure theory in sufficient detail to state and prove the Riesz representation theorem (which is the characterization of the ...

**17**

votes

**2**answers

1k views

### A set that can be covered by arbitrarily small intervals

Let $X$ be a subset of the real line and $S=\{s_i\}$ an infinite sequence of positive numbers. Let me say that $X$ is $S$-small if there is a collection $\{I_i\}$ of intervals such that the length of ...

**2**

votes

**3**answers

487 views

### When is the graph of a function a dense set ?

Let f: R -> R be any function. When is the graph of f dense in R^2 ?
The only examples I know for this are for non-measurable functions, but is that a necessary condition ?

**3**

votes

**1**answer

266 views

### Quotients of standard Borel spaces

Let $X$ and $Y$ be standard Borel spaces: topological spaces homeomorphic to Borel subsets of complete metric spaces. Given a surjective Borel map $f:X\to Y$, we get an equivalence relation ...

**3**

votes

**1**answer

174 views

### reference request: Riesz/Newton potential and HLS inequality in L1.logL1

Let's consider in dimension $d\geq 3$ the Newton/riesz potential $f=I_2[g]$
$$
f(x)=\int_{R^d}\frac{1}{|x-y|^{d-2}}g(y)dy,
$$
which solves $-\Delta f=g$ (up to positive normalizing constants, which I ...

**40**

votes

**7**answers

3k views

### Demystifying the Caratheodory Approach to Measurability

Nowadays, the usual way to extend a measure on an algebra of sets to a measure on a $\sigma$-algebra, the Caratheodory approach, is by using the outer measure $m^* $ and then taking the family of all ...

**37**

votes

**5**answers

3k views

### Why are abelian groups amenable?

A (discrete) group is amenable if it admits a finitely additive probability measure (on all its subsets), invariant under left translation. It is a basic fact that every abelian group is amenable. ...

**30**

votes

**2**answers

775 views

### Translates of null sets

Does there exist a null set of reals $N$ such that every null set is covered by countably many translations of $N$?

**23**

votes

**1**answer

1k views

### Furstenberg's Conjecture on 2-3-invariant continuous probability measures on the circle

Hillel Furstenberg conjectured that the only $2$-$3$-invariant probability measure on the circle without atoms is the Lebesgue measure. More precisely:
Question: (Furstenberg) Let $\mu$ be a ...

**13**

votes

**2**answers

692 views

### Can one view the Independent Product in Probability categorially?

One can construct a category of probability spaces, but this category has no products. Now probability theory relies strongly on the ability to build independent products, the product measure. In a ...

**12**

votes

**11**answers

2k views

### Applications of Measure, Integration and Banach Spaces to Combinatorics

I'm going to be teaching a Master's level analysis course(measure theory, Lebesgue integration, Banach and Hilbert spaces, and if there's time, some spectral or PDE stuff) in the fall. My problem is ...

**12**

votes

**6**answers

2k views

### Metrization of weak convergence of signed measures

Edit: Changed from "Hausdorff" to "metric" spaces.
Let $\mathcal{M}(\Omega)$ denote the space of signed regular Borel measures on a compact metric space $\Omega$. By Riesz-Markov, this is the dual ...

**12**

votes

**4**answers

910 views

### Fourier decay rate of Cantor measures

For $0<\theta<\frac{1}{2}$, denote by $C_\theta$ the Cantor set with dissection ratio $\theta$, i.e. the Cantor set obtained from dissection parttern $(\theta, 1-2\theta,\theta)$. It is known ...

**14**

votes

**4**answers

2k views

### Is there a natural measures on the space of measurable functions?

Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...

**22**

votes

**3**answers

907 views

### Does every set of reals contain a measure-zero set of the same cardinality? Does it contain a meager set of the same cardinality?

This question arises from an issue in my post on Ashutosh's excellent question on Restrictions of the null/meager ideal.
Question 1. Does every set of reals contain a measure-zero subset
of the same ...

**11**

votes

**4**answers

2k views

### Separable sigma-algebra: equivalence of two definitions

The two definitions alluded to in the title can be found here: http://en.wikipedia.org/wiki/Separable_sigma_algebra (one is that the $\sigma$-algebra is countably generated, the other is pretty much ...

**10**

votes

**3**answers

441 views

### How can one prescribe the pairwise intersection measuress of $n$ sets?

Take $n\geq 1$, and $m_{ij}\in [0,1], 1\leq i,j \leq n$. Under what conditions is it possible to find measurable subsets $X_1,...,X_n$ of, say, $[0,1]$, such that $leb(X_i\cap X_j)=m_{ij}$?
Some ...

**15**

votes

**3**answers

633 views

### A natural center of a convex weakly compact set in Banach space

Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$.
Motivation: A lot! For example, in game theory $S$ can be a set of ...

**13**

votes

**7**answers

2k views

### Haar measure on a quotient, References for.

I remember reading Weil's "Basic Number Theory" and giving up after a while. Now I find myself thinking of it(thanks to some comments by Ben Linowitz).
Right from the very beginning, Weil uses the ...

**12**

votes

**5**answers

1k views

### Proof of Krylov-Bogoliubov Theorem

Where can I find a proof (in English) of the Krylov-Bogoliubov theorem, which states if $X$ is a compact metric space and $T\colon X \to X$ is continuous, then there is a $T$-invariant Borel ...

**12**

votes

**5**answers

1k views

### Conditional probabilities are measurable functions - when are they continuous?

Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel ...

**9**

votes

**2**answers

2k views

### Why pi-systems and Dynkin/lambda systems? On the relative merits of approaches in measure theory.

What is the point of $\pi$-systems and
$\mathcal{D}$ / Dynkin /
$\lambda$-systems?
I am an analyst in the process of consolidating my measure theory knowledge before moving on to ...

**8**

votes

**3**answers

369 views

### reference request : constructive measure theory

As the title said, I would like to know if constructive measure theory has been developed somewhere ?
I am more precisely interested in the (constructive) theory of completely continuous valuation on ...

**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

**4**

votes

**4**answers

955 views

### Amenable exponential growth

Dear forum members,
Does anyone have a clear example of an amenable group with exponential growth?
Is real that if G is virtually amenable (has an amenable subgroup of finite index) then it is ...

**4**

votes

**6**answers

1k views

### Spectra of $C^*$ algebras

Gelfand-Naimark structure theorem for $C^* $ algebras gives a canonical isometric * isomorphism between any commutative unital $C^* $ algebra $A$ and the algebra of continuous complex-valued functions ...

**16**

votes

**1**answer

1k views

### Is every continuous function measurable?

This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...

**9**

votes

**1**answer

478 views

### Can we change the Lebesgue measure by forcing?

Suppose $M$ is a model of ZFC, and $\mu^M$ is the Lebesgue measure on $\mathbb R^M$ such that $\mu^M(\mathbb R^M)=1$. It is known that if $r$ is a Cohen real over $M$ and $N=M[r]$ then $\mu^N(\mathbb ...

**8**

votes

**1**answer

681 views

### Probabilities independent of ZFC?

Hi guys,
is it possible to change the probability of an event via forcing? More precisely, is there an innocent looking question on the probability of "something" whose answer is independent of ZFC?
...

**7**

votes

**2**answers

538 views

### What's the standard name for sets of a given size with maximal probability (or a given probability and minimal size)?

The definition I'm going to give isn't quite the concept I really want, but it's a good approximation. I don't want to make the definition too technical and specific because if there's a standard name ...

**4**

votes

**1**answer

125 views

### If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...

**4**

votes

**4**answers

1k views

### Zariski closed sets in C^n are of measure 0

This is related to another question in which it is proved that Zariski open sets are dense in analytic topology.
But it is intuitive that something more is true. Namely, that they are the sets where ...

**0**

votes

**1**answer

204 views

### The dual space of the Dirac measures on an Abelian group

Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group.
Question. What would be natural vector space $\mathcal{R}$ ...

**15**

votes

**2**answers

815 views

### Borel set plus a closed set = Borel

Hi,
Let $R$ be equipped with the usual Borel structure. Let $F$ be a Borel subset and $E$ be a closed subset of $R$. Then $F+E=(f+e: f\in F, e \in E \)$ is Borel? If yes, is it true for any locally ...

**10**

votes

**1**answer

444 views

### Restrictions of null/meager ideal

Let I denote the null (resp. meager) ideal on reals. Is it consistent that for any pair of non null (resp. meager) sets A and B, there is a null (resp. meager) preserving bijection between A and B? In ...

**10**

votes

**2**answers

2k views

### How to show that x-y is Lebesgue-Lebesgue measurable

Which is the cleanest way to show that the difference, $d:R^n\times R^n\rightarrow R^n$, $d(x,y)= x-y$, is Lebesgue-Lebesgue measurable? (i.e. foreach A lebesgue measurable in $R^n$, $d^{-1}(A)$ is ...

**6**

votes

**2**answers

1k views

### Non Lebesgue measurable subsets with “large” outer measure

It is well known that for any set A in R^d there exists a measurable set E such that E contains A and m*(A)=m*(E). Is it possible to go the other direction?
In other words, is it true that for any ...

**4**

votes

**2**answers

215 views

### Generalization of Lévy's continuity theorem for nuclear spaces

I am interested in a generalization of the following finite-dimensional results in infinite dimensional vector-space with nuclear structure, especially for the cases of the spaces of distributions ...

**2**

votes

**1**answer

607 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...

**2**

votes

**1**answer

212 views

### Inverse of a Borel surjection

Let $X$ and $Y$ be standard Borel spaces, and let $f:X\to Y$ be a surjective Borel map. Does there exist a Borel inverse of $f$, that is a Borel map $g:Y\to X$ such that $f\circ g = \mathrm{id}_Y$.
...

**2**

votes

**1**answer

169 views

### $X$ Polish geodesic implies $(P_2(X), W_2)$ geodesic

If $X,d$ is a complete and separable space then the space of Borel probability measures with finite second moment on $X$ endowed with the Wasserstein distance $W_2$ is geodesic.
I am looking for ...

**0**

votes

**1**answer

177 views

### A very natural question in weak* topology [closed]

Can you provide me a counter example for this.
Suppose that I have a sequence of probability measures
$(\mu_{r,t})_{r,t>0}$ on a compact space metric $X.$
Suppose additionally that:
there exists ...

**0**

votes

**2**answers

249 views

### Weak convergence of the image of a weakly $L^1$ converging sequence

This is a follow-up on another question.
Can something be said about the image of a weakly converging sequence in $L^1$? More precisely
$u_k\ge 0$
$\|u_k\|_{L^1}=\int u_k=1$
$u_k$ converges to $u$ ...

**10**

votes

**2**answers

444 views

### Is sigma-additivity of Lebesgue measure deducible from ZF?

Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)?
Note 1. ...

**4**

votes

**3**answers

374 views

### Is the space of all borel measures on $\mathbb R^n$ isomorphic to the tensor product of spaces of borel measures on $\mathbb R$?

Similarly to the decomposition $L_2(\mathbb R^n) = L_2(\mathbb{R})^{\otimes n}$ as vector spaces (and even as Hilbert spaces) , do we have $bm(\mathbb{R^n}) = bm(\mathbb{R})^{\otimes n}$
where ...