同調長度定義