# Scott topology, but for graphs

Hi,

Would it be possible to define an order theoretic topology on graphs? I am thinking about the scott topology. There would be an associated continuous map on graphs.

-
I suppose you could build the nerve of a graph and use that as a topology, but it won't be the same thing as the Scott topology in the case of the graph of some arbitrary partial order, for example. I guess the answer is that "yes, you can define many topologies", but the real question is which is the most useful one for your applications? Probably the closest notion to a continuous map for graphs would be a graph homomorphism, but you don't really need a topology to define that.. –  Mikola Jun 24 '11 at 19:15

In the theory of Borel equivalence relations under Borel reducibility (see this MO answer, also Greg Hjorth's excellent survey article), which is concerned with general questions surrounding the relative difficulty of isomorphism relations and other relations arising in mathematics, particularly of the difficulty of their classification problems---the theory ultimately arranges these relations into a complex hierarchy under Borel reducibility---the class of countable graphs $\Gamma=\langle\mathbb{N},E\rangle$ is considered by identifying the graph $\Gamma$ with its edge relation $E\in 2^{\mathbb{N}^2}$, and using the ordinary product topology, and is thereby realized as a standard Borel space, which enjoys various uniqueness properties. See for example page 2 of these notes by Simon Thomas and Scott Schneider. The basic open sets of this topology on the space of countable graphs are therefore determined by specifying finitely many edges and finitely many non-edges.
(Note, however, that for the purpose of the Borel reducibility theory, the principal focus is on the resulting $\sigma$-algebra of Borel sets, rather than on the topology of open sets.)
This comment is coming far too late, but I had a look at the Borel-reducibility notion and I think it is quite interesting. I might have been thinking about functors in terms of Borel reducibility. For instance, an equivalence relation in category theory is over morphisms like $fg=h$ A functor maps diagrams to diagrams, so $F: fg=h \rightarrow F(f)F(g)=F(h)$ I was trying to see functors as equivalence relations going into more or less "simple" (a term used to compare Borel Relations) equivalence relations. Joel's post is actually insightful as to my thinking. Thanks Joel. –  Ben Sprott Jul 13 '11 at 12:32