Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{G}$ be the set of locally finite, connected rooted graphs $(G,v)$ up to isomorphism $\cong$.

Denote by $[G,v]_r$ the sub-graph of $(G,v)$ induced by the vertices at distance $\leq r$ from the vertex $v$ (i.e. conncted to $v$ by a path of lenght $\leq r$ in the graph $G$).

Thus it's possible to define a metric on the space $\mathcal{G}$ : $d( (G,v) , (H,u) ) = 1/\sup\{ r\geq1 \,\textrm{ s.t. }\, [G,v]_{r-1} \cong [H,u]_{r-1}\} $

My question: is the metric space $(\mathcal{G},d)$ $\sigma$-compact? I know it is complete and separable, can these facts help?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.