גרף קיילי – הבדלי גרסאות

אפשר להפוך את הגרף ל[[מרחב גאודזי]], אם מתאימים כל קשת <math>\ g \mapsto gs</math> ל[[קטע (מתמטיקה)|קטע היחידה]] <math>\ [0,1]</math> (עם המטריקה הרגילה עליו). באופן הזה, כל גרפי קיילי של חבורה נוצרת סופית G (ביחס לכל קבוצת יוצרים סופית) הם [[קוואזי-איזומטריה|קוואזי-איזומטריים]] זה לזה, וכך מתקבל העקרון היסודי של [[תורת החבורות הגאומטרית]]: גרף קיילי הוא אינווריאנט קוואזי-איזומטרי של החבורה. לפי '''הלמה של שוורץ-מילנור''', <!-- <math>\v{S}</math>varc-Milnor Lemma --> אם חבורה G פועלת על [[מרחב גאודזי]] X כחבורה של [[איזומטריה|איזומטריות]], באופן שהפעולה אמיתית (לכל [[קבוצה קומפקטית]] <math>\ K\subset X</math>, הקבוצה <math>\ \{g\in G: g(K) \cap K \neq \emptyset\}</math> סופית) וכך שה[[מרחב מנה (טופולוגיה)|מנה]] <math>\ X/G</math> קומפקטית, אז X קוואזי-איזומטרי לגרף קיילי של G (על-ידי ההתאמה <math>\ g \mapsto gx</math>, כאשר <math>\ x\in X</math> נקודה קבועה).