數學すうがく中ちゅう的てき環たまき圈けん(loop)是これ拓つぶせ扑空间X上うえ的てき连续函数かんすうf,其定義ていぎ域いき為ため单位区く间I = [0,1],而且f(0) = f(1)。換かわ句く話はなし說せつ,環たまき圈けん是ぜ拓つぶせ扑學中ちゅう,起點きてん和わ終點しゅうてん相しょう同どう的てき道路どうろ(path)[1]。
環たまき圈けん也可以視為ため是ぜ從したがえ點てん標しるべ空間くうかん(英えい语:Pointed space)單位たんい圓えんS1映うつ射い到いたX的てき連れん續映ぞくえい射しゃf,因よし為ためS1可か以視為ため是ぜI商しょう空そら间under the identification of 0 with 1。
X所有しょゆう環たまき圈けん的てき集合しゅうごう可か以形成けいせい一いち空間くうかん,稱たたえ為ためX的てき環たまき圈けん空間くうかん(英えい语:loop space)[1]。