「被覆空間」の版間の差分

X 連結であれば、離散空間 F が存在し、すべての x ∈ X に対し、x 上のファイバーは F に[[準同型]]であり、さらにすべての x ∈ X に対し、x の近傍 U が存在し、その逆像 p⁻¹(U) は U × F と同相である。特に、x 上のファイバーの[[濃度 (数値密学)|濃度]]（点の数）は、F の点の数濃度に等しく、被覆写像 p : C → X の'''次数'''と呼ぶ。このように、すべてのファイバーが n 個の元を持つと、'''n-重の被覆'''と呼ぶ（n = 1 のときは自明な被覆といい、n = 2 のときは'''二重被覆'''といい、n = 3 のときは'''三重被覆'''と言う）。