ファイバー束
全空間を E = B × F とし、π: E → B を第一成分への射影とする。すなわち、x ∈ B, f ∈ F に対して、π(x, f) = x とする。このとき E は F の B 上のファイバー束である。ここで E は、局所的にだけでなく大域的に、底空間とファイバーの直積となっている。そのようなファイバー束を自明束 (trivial bundle) という。S × [0, 1] や S × R のような円柱や、自然数 m, n > 0 に対して R = R × R などのように直積で表される図形は、自明束としての構造を持つ。可縮なCW複体上の任意のファイバー束は自明である。