Are Borel functions on standard Borel spaces exactly the functions that mathematicians would intuitively consider the definable, constructible, or computable ones?
The Borel functions on the standard pointclasses $2^\omega$ and $\omega^\omega$ are the ones that are $\Delta^1_1$ definable relative to parameters from the spaces. This includes more than just the computable functions; the computable functions are the $\Delta^0_1$ ones (without parameters). In particular, every computable function is continuous, but there are many discontinuous Borel functions.
However, the Borel functions do not include all the functions definable in second-order arithmetic (for example, they do not include all $\Pi^1_1$ functions, not even all the ones defined without parameters), much less all the functions definable in set theory.
The word "constructible" can mean many things. The constructible hierarchy in set theory, $L$, includes many functions that are not Borel. For example, it also includes every $\Pi^1_1$-definable function and more generally every function definable in second-order arithmetic.
So it would not be very accurate to say that the Borel functions are the definable, constructible, or computable ones.
The point of the Boral functions is that they preserve Borel sets under pre-image, just as continuous functions preserve open sets under pre-image. The reason the Borel functions are worth looking at is that many of the sets that are constructed in topology are Borel, without necessarily being open or closed. For example, many $G_\delta$ sets that appear in topological constructions. By generalizing all the way to Borel functions, we get all these "low level Borel sets" for free.
If we restrict our notion of topology even more, we can end up with "tame topology", as in the book Tame topology and $o$-minimal structures by van den Dries. In that context there are lots of very pretty geometric results, and most of the pathologies of point-set topology (with or without the axiom of choice) are eliminated. Of course the cost is that the possible constructions are more restricted, as is the class of spaces that can be studied.
Part 2
Why are Borel equivalence relations special?
Very often in mathematics we define when two structures are equivalent in some way, for example "isomorphic" in some sense. The problem of telling whether two structures are equivalent can be difficult, so we look for "invariants" that we can use to help decide. For example, the homotopy groups of a topological space, and the characteristic of a ring, are invariant under isomorphism and so can be used to detect non-equivalence. Sometimes, we obtain a deep result such as Ornstein's theorem that completely reduces the problem of isomorphism to a single invariant. Call this sort of result a "complete classification". The classification of finite abelian groups is another example of a complete classification, which uses a finite sequence of natural numbers as the complete invariant for group isomorphism.
One way to motivate the study of equivalence relations in general is that it can obtain results about ''all possible'' kinds of complete classifications. Many "natural" equivalence relations are $\Sigma^1_1$, but Borel equivalence relations are nevertheless interesting for two reasons:
They are general enough to cover many interesting mathematical phenomena. For example, the orbit equivalence relation of a continuous dynamical system (a continuous $\mathbb{Z}$-action on a Polish space) will be Borel. This is one place where the connection to topology occurs: people already have a put a great deal of effort into studying continuous dynamical systems,.
The restriction to Borel relations allows more detailed results than would be possible otherwise. If we look at arbitrary equivalence relations, there will be no reasonable structure theory because all sorts of set-theoretic pathologies can creep in. But for Borel relations, these pathologies are kept at bay. This allows for results like those described in the first pages of this talk by Hjorth.
One particular way to get a Borel equivalence relation is to make a Borel map that assigns an invariant to each point, so that two points are equivalent if and only if they are sent to the same invariant. The Borelness of the map means that the invariant is, in a certain sense, "concretely obtained" from the point itself. A selection function on the set of equivalence classes, obtained from the axiom of choice, would be one way to obtain a complete invariant, but this invariant can be "arbitrary" in a sense that a Borel-obtained invariant is not.
Theorem 2.2 in the talk I linked above, proved by Silver, is a typical example of a result. It shows that for a Borel equivalence relation, there are two options:
- There is a Borel way to assign a single natural number invariant $n_x$ to each point $x$, so that two points $x,y$ are equivalent if and only if $n_x = n_y$. This is a pretty nice property of the equivalence relation.
- There is a Borel map $f$ of real numbers into the space such that for all reals $s$ and $t$, $s = t$ if and only if $f(s)$ is equivalent to $f(t)$. These relations are, in some sense, "complicated".
Theorem 2.3 in Hjorth's paper, by Harrison, Kechris, and Louveau, is a significant extension of Silver's result, which divides case 2 into two subcases. Theorems such as these would not be possible in the "general equivalence relation" case - the restriction to Borel equivalence relations is vital.
This paper by Louveau and this paper by Hjorth also have quite a bit of motivation at the beginning.
The other reason that Borel, analytic, and coanalytic relations are so well studied is that they can be attacked by "effective" methods, which use theorems and methods of computability theory to obtain results in descriptive set theory. The computability methods quickly break down at higher levels of the projective hierarchy (where they must be replaced with set-theoretic methods, when possible).