Whiteheadの定理は、CW複体の間の弱ホモトピー同値がホモトピー同値であることを主張します。ホモトピー論においてCW複体が...

ファイバー束のホモトピー群の間には長完全列が存在します。これを用いると、複雑な空間のホモトピー群を計算できます。 ファイバー束の...

CW複体は胞体（cell）を順次貼り付けて構成される空間で、代数的位相幾何学の基本的な対象です。多くの位相空間はCW複体とホモト...

特性類はベクトル束や主束の「ねじれ」を測るコホモロジー類です。Stiefel-Whitney類とChern類は最も基本的な特性類...

Hopfファイブレーションは $S^3$ から $S^2$ への自然なファイバー束で、代数的位相幾何学の最も美しい例の一つです。...

ベクトル束は各点にベクトル空間を付けた構造で、多様体上の幾何学の基礎となります。接束は最も重要なベクトル束の例です。 ベクトル束...

ファイバー束は空間を局所的に積空間とみなせる構造です。多様体論や位相幾何学で基本的な役割を果たし、ベクトル束や主束など重要な特殊...

ハム・サンドイッチ定理はBorsuk-Ulamの定理の応用として有名な結果です。$n$ 個の対象を1つの超平面で同時に二等分でき...

Borsuk-Ulamの定理は球面から同次元ユークリッド空間への連続写像について、対蹠点で同じ値を取る点が存在することを主張しま...

Brouwerの不動点定理は、円板からそれ自身への連続写像が必ず不動点を持つことを主張します。ホモロジーを用いた証明が有名で、経...

位相空間の次元はホモロジーを用いて特徴づけられます。ホモロジーは次元を検出し、異なる次元の空間が同相でないことを示す道具となりま...

多様体の向き付け可能性は、多様体全体で「一貫した向き」を定められるかどうかを表す性質です。向き付け可能性はホモロジーやPoinc...

Poincaré双対性は、コンパクト向き付け可能多様体のホモロジーとコホモロジーの間の対称性を表す定理です。多様体の位相幾何学に...

de Rhamコホモロジーは微分形式を用いて定義されるコホモロジー理論です。滑らかな多様体に対して、微積分の道具でコホモロジーを...

カップ積はコホモロジーに環構造を与える積演算です。コホモロジー環は位相空間の重要な不変量であり、ホモロジーにはない情報を持ちます...

コホモロジーはホモロジーの双対理論です。ホモロジーが「穴を検出する」のに対し、コホモロジーは「穴を測定する関数」を扱います。 コ...

Euler標数とBetti数は位相空間の基本的な数値不変量です。両者は密接に関連し、空間の形状を数値で特徴づけます。 Betti...

Mayer-Vietoris完全列は、空間を2つの部分空間に分解してホモロジーを計算するための強力な道具です。van Kampe...

ホモロジー群は位相空間の「穴」を代数的に捉えます。ここでは基本的な空間のホモロジー群を具体的に計算します。 球面 $S^n$ の...

特異ホモロジーは任意の位相空間に対して定義できるホモロジー理論です。単体複体への分割を必要とせず、位相的に同じ空間には同じホモロ...

単体複体は位相空間を三角形やその高次元版（単体）で分割したものです。単体ホモロジーは組み合わせ的な方法でホモロジー群を計算します...

基本群 $\pi_1$ はループを用いて定義されましたが、これを高次元に一般化したものが高次ホモトピー群です。$n$ 次元球面か...

van Kampenの定理は、空間を部分空間に分解して基本群を計算するための強力な道具です。複雑な空間の基本群を既知の空間から求...

ホモトピー同値は位相空間の「本質的な形」が同じであることを表す概念です。同相より弱い同値関係ですが、多くの位相的不変量を保存しま...