的正向极限（因为包含都是闭包含，从而是上纤维化，也能理解成并）。formula_10是formula_11的齐性空间，从而有如下纤维丛：可以理解为：正交群formula_11 传递地作用于单位球面formula_10上，一点（看作一个单位向量）的稳定子群是其正交补的正交群，这是第一维的正交群。映射formula_15是自然包含。从而包含formula_15是"(n-1)" -连通的，故同伦群稳定，对formula_17有formula_18，所以稳定空间的同伦群等于非稳定空间的低维同伦群。通过