22
$\begingroup$

What are some good intuitions for understanding Souslin's operation $\mathcal{A}$?

Recall the definition: Let $S = \mathbb{N^{Souslin scheme is an assignment $E \colon S \to \mathcal{E}, s \mapsto E_s$ and one defines its kernel to be $$ \mathcal{A}E = \mathcal{A}_s E_s = \bigcup_{\sigma \in \mathbb{N}^{\mathbb N}}\bigcap_{n=1}^\infty E_{\sigma{\upharpoonright}n} \subseteq X $$ where $\sigma{\upharpoonright}n = \langle \sigma(0),\dots,\sigma(n-1)\rangle \in \mathbb{N}^n$. The collection of all subsets of $X$ obtained from $\mathcal{E}$ in this fashion is denoted by $\mathcal{A}(\mathcal E)$.


I feel comfortable with the fundamental properties of the $\mathcal{A}$-operation (and their proofs). To list a few of the basic facts I think I understand:

  • it subsumes countable unions and intersections;
  • idempotence: if $\mathcal{E} \subseteq P(X)$ is any class of subsets then $\mathcal{A}(\mathcal{E}) = \mathcal{A}(\mathcal{A}(\mathcal{E}))$;
  • if $\emptyset, X \in \mathcal{A}(\mathcal{E})$ and $X \setminus E \in \mathcal{A}(\mathcal{E})$ for all $E \in \mathcal{E}$ then $\sigma(\mathcal{E}) \subseteq \mathcal{A}(\mathcal{E})$.

    In particular if $\mathcal{E} \subset P(\mathbb{R})$ is the family of closed intervals with rational endpoints then $\mathcal{A}(\mathcal{E})$ contains the $\sigma$-algebra Borel sets (and in fact the containment is strict).

  • if $(X,\Sigma,\mu)$ is a measure space obtained from Carathéodory's construction on some outer measure on $X$ then $\Sigma$ is closed under the $\mathcal{A}$-operation: $\mathcal{A}\Sigma = \Sigma$.
  • the kernel of a Souslin scheme can be interpreted as the image $R[\mathbb{N^N}]$ of a relation $R \subseteq \mathbb{N}^\mathbb{N} \times X$, in particular if $X$ is Polish then the $\mathcal{A}$-operation on closed sets gives us the analytic sets.
  • If $\langle E_s : s \in \mathbb{N}^{\lt \mathbb{N}}\rangle$ is a regular Souslin scheme of closed sets with vanishing diameter then its associated relation $R \subset \mathbb{N}^\mathbb{N} \times X$ is the graph of a continuous function $f\colon D \to X$ defined on some closed subset $D$ of $\mathbb{N^N}$.
  • etc.

The point of this list is just to mention that I think that I've done my share of the manipulations with trees and $\mathbb{N}^\mathbb{N}$ that come along with $\mathcal{A}$, but I still have the feeling that something fundamental escapes me.

After looking at the two 1917 Comptes Rendus papers Sur une définition des ensembles mesurables $B$ sans nombres transfinis by Souslin and Sur la classification de M. Baire by Lusin, I also think I understand that part of the inspiration was the continued fraction representation of real numbers.

Given the importance of the $\mathcal{A}$-operation (entire books were written on its uses, e.g. C.A. Rogers et al., Analytic Sets where there is a wealth of applications) it would be nice to have some good intuitions that allow me to have a firmer grasp of what is going on.

Somehow it seems that the $\mathcal{A}$-operation is mostly presented as a technical device having an enormous range of applications, but this doesn't seem to do justice to the concept.

  • 2
    Don't worry about bumping it with small edits to draw attention. If you don't get an answer within the next 26 hours I'll put a bounty on it.2012-10-29
  • 0
    Thank you, that's very kind of you! I just received a message that I earned that privilege, so I will be able to put one myself. I hope it will work out.2012-10-29
  • 0
    I suggest that you save your reputation and let me do this for you. : )2012-10-29
  • 0
    Let me know if you still need a bounty but looks as if not. : )2012-10-30
  • 0
    Dear Matt N. Thank you so much for your kindness! I am not too fast when it comes to learning new points of view, hence I will need a few days to find out whether this pointer to recursion theory is completely satisfactory. I am still hoping for some more input. Thanks again for your interest. Best wishes,2012-10-30
  • 0
    Dear geezer, not at all. Take all the time you need.2012-10-30
  • 0
    Dear Matt, I decided to invest my own reputation into a bounty since it would make feel bad to accept your very generous offer. Thanks a lot once again!2012-11-24
  • 0
    Dear geezer, would you still feel bad if I put a (slightly bigger) bounty on your question if there are still no other answers when the current bounty expires?2012-11-29
  • 2
    No answer = ok.2012-12-03

1 Answers 1