codimension

codimension（余次元）は、ある空間の中に含まれる部分空間が、元の空間に対してどれだけ小さいか、あるいはどれだけの自由度を失っているかを定量的に表す概念です。単純に部分空間の次元を数えるのではなく、全体の次元から部分空間の次元を差し引いた値に注目することで、その部分空間が全体の中でどのような位置づけにあるかを定義します。

次元と余次元の視点の違い

dimension（次元）がその空間自体が持つ広がりや自由度を示すのに対し、codimensionは周囲の空間との相対的な関係性を示します。例えば、三次元空間における平面は、それ自体は二次元ですが、三次元から見て一つ分だけ次元が足りないため、余次元は一となります。このように、余次元が小さいほど、その部分空間は元の空間に近い性質を持っていると言えます。

数学的文脈での活用

この概念は特に幾何学や線形代数、物理学において重要です。例えば、ある制約条件が一つ加わるたびに、系の余次元は一ずつ増加し、それに伴い自由度（次元）が一つ減少します。このように、制約の数と余次元を直接的に結びつけて考えることで、複雑な空間構造を簡潔に記述することが可能になります。