Compactness and local compactness for mathbbR{mathbb{R}}-trees

摘要

We establish (geometric) criteria for an mathbbR{mathbb{R}}-tree to be compact and to be locally compact. It follows that locally compact mathbbR{mathbb{R}}-trees are separable.