1 概念
自由度は、ある対象や系が独立に変化できる要素の数を表す概念である。単に「数が多い」ことではなく、互いに影響し合わない変化を何通り持てるかを示す点に特徴がある。分野によって数え方は異なるが、共通して、状態を記述するための独立な成分を把握する指標として用いられる。
1.1 基本的な意味
基本的な意味では、自由度は「独立して動かせる変数の個数」とみなせる。たとえば位置を表す座標が3つあっても、1つが他の2つによって決まるなら、実質的な自由度は2となる。したがって、自由度は単なる項目数ではなく、相互依存を除いた実効的な数を指す。
1.2 独立変数との関係
自由度は、独立変数の数と密接に結びつく。ある関係式に従う量の集合では、すべての変数を別々に指定できるとは限らず、いくつかを決めれば残りが一意に定まることがある。このとき、任意に選べる独立変数の個数が自由度として扱われる。
1.3 制約との関係
制約は自由度を減少させる主要な要因である。距離を一定に保つ、和を一定にする、境界内に収めるといった条件が加わると、許される状態の範囲は狭まる。逆に、制約が緩いほど取りうる配置や値の組は増え、自由度は大きくなる。
2 数学における自由度
数学では、自由度は空間の構造、方程式の本数、独立な変数の選び方などと結びついて現れる。とくに代数や幾何の分野では、対象をどれだけ独立に指定できるかを数量化するための基準として重要である。
2.1 線形代数での扱い
線形代数では、自由度は連立一次方程式の解空間の大きさや、ベクトル空間の独立な成分数として理解される。未知数が多くても、方程式によって一部が決まれば、残りが解の変化を担う。基底を用いると、空間の自由度は基底ベクトルの個数に対応する。
2.2 幾何学での扱い
幾何学では、図形や点、曲線、面がどの程度自由に位置や形を変えられるかを示す尺度として現れる。点の座標数、図形に課された条件、対象が属する空間の性質が、自由度の値を左右する。
2.2.1 次元との関係
次元は、しばしば自由度と近い意味で用いられる。平面上の点は2つの座標で定まり、空間内の点は3つの座標で定まるため、それぞれ2、3の自由度をもつと考えられる。ただし、次元は空間全体の構造を表し、自由度は個々の対象や条件付きの系に対して使われる点に違いがある。
2.2.2 制約条件による変化
幾何学的対象に条件が加わると、自由度は減る。たとえば、ある点が円周上にあるなら、その位置は1つのパラメータで表せるため、平面内の自由な点より自由度が小さい。複数の条件が重なると、配置可能な集合はさらに限定される。
3 物理学における自由度
物理学では、自由度は系の状態を記述するために必要な独立座標や独立変数の数として現れる。運動、配位、場の振る舞いを整理するうえで欠かせない概念であり、力学や分子論、場の理論など多方面で使われる。
3.1 力学系の自由度
力学系では、物体や質点系の運動を表すのに必要な独立な座標数が自由度に対応する。平面上を動く質点は2自由度、三次元空間内の質点は3自由度をもつ。複数の物体があっても、相互に結ばれた拘束があれば、その分だけ自由度は減少する。
3.2 分子や剛体の自由度
分子や剛体では、個々の原子の運動や全体の姿勢を分けて考える。内部の振動や回転、空間内での移動を区別することで、状態をより正確に記述できる。
3.2.1 並進自由度
並進自由度は、対象全体が空間中を移動する際の独立な方向数を指す。三次元空間では通常3つあり、左右・前後・上下の移動に対応する。剛体全体の位置を表す基本要素として扱われる。
3.2.2 回転自由度
回転自由度は、対象の向きが変わる独立な回転の数である。剛体では、一般に三次元空間内で3つの回転自由度をもつ。形状が対称である場合や、回転が一部制限される場合には、実質的な数が変わることがある。
3.3 場の理論における自由度
場の理論では、空間の各点で定義される場の成分数や、独立に指定できる変数の数が自由度として考えられる。電磁場や量子場では、見かけ上の成分のうち、対称性や拘束条件によって実際に独立なものが絞られることがある。ここでは、局所的な記述と全体の独立性の両方が重要になる。
4 統計学における自由度
統計学では、自由度はデータから母集団の性質を推定したり、仮説を検定したりする際に使われる。標本の大きさだけでなく、推定によってどれだけ情報が消費されたかを表す指標として働く。
4.1 推定と検定での自由度
推定や検定では、未知の母数をデータから求める過程で一部の情報が固定される。その結果、残りのデータの変動に割り当てられる自由度が減る。検定統計量の分布形を決める際にも、この値が重要になる。
4.2 標本分散との関係
標本分散は、平均を同時に推定するため、各観測値の変動が完全には独立でない。平均との差の和が0になるという条件があるため、n個のデータから平均を計算した後に残る自由度は通常n−1として扱われる。これは、不偏推定量を得るための補正とも関係する。
4.3 分布と自由度
多くの確率分布には自由度というパラメータが組み込まれている。これは、分布の形やばらつき、裾の重さが、どれだけの独立な情報に基づくかを反映する場合がある。
4.3.1 母数推定との関係
母数を推定すると、その分だけ利用可能な独立情報は減少する。たとえば平均や分散を標本から求めると、以後の計算では推定済みの値を前提にするため、変動の自由度は少なくなる。分布のパラメータと自由度の対応は、この情報の消費を表す見方の一つである。
4.3.2 検定統計量での意味
検定統計量では、自由度が分布の形を決める中心的な役割を果たす。カイ二乗分布やt分布などでは、自由度の違いによって確率の広がり方が変化する。したがって、同じ統計量でも自由度が異なれば、解釈や有意性の判断が変わりうる。
5 工学・応用分野での自由度
工学では、自由度は機械や構造物、制御対象、ロボットなどの動きや設計可能性を表す実用的な指標である。理論だけでなく、実際の装置がどれだけ柔軟に動くか、あるいはどれだけ精密に制御できるかを把握するために使われる。
5.1 機械構造の自由度
機械構造では、部品がどの方向に動けるか、どの動きが拘束されているかを数えることで自由度を定める。ヒンジやスライダのような機構要素は運動を限定し、全体としての動作可能性を整理する。構造設計では、必要以上に自由度が多いと不安定になり、少なすぎると動作が不足する。
5.2 制御工学での自由度
制御工学では、制御対象の出力や操作量の独立性が自由度として問題になる。入力が複数ある場合、どの変数を操作して目的の応答を得るかが重要である。制御系の設計では、自由度の数と制御性能の均衡が検討される。
5.3 ロボット工学での自由度
ロボット工学では、自由度は機械腕や移動体がどれだけ多様な姿勢や位置を取れるかを示す基本量である。関節配置や駆動方式により、作業範囲と動作の柔軟性が変わる。
5.3.1 関節数との関係
ロボットの自由度は、関節の数と強く関係するが、単純に一致するとは限らない。1つの関節が1自由度を与える場合もあれば、複雑な関節構造が複数の動きをまとめて担う場合もある。設計上は、必要な姿勢制御を満たす最小限の独立運動数が重視される。
5.3.2 作業空間での表現
作業空間では、自由度はエンドエフェクタの位置と姿勢を指定するための独立変数数として表される。平面内の単純な移動なら少数の自由度で足りるが、三次元空間で複雑な操作を行うには、より多くの独立な運動が必要になる。
6 関連概念
自由度は、次元、制約条件、独立性、パラメータ数といった概念と密接に関係する。これらは互いに重なりながらも、対象の性質を異なる角度から説明するため、文脈に応じた使い分けが必要である。
6.1 次元
次元は、空間や集合を記述するのに必要な独立方向の数を示す概念である。自由度と重なる場面は多いが、次元は構造そのもの、自由度は条件付きの変化可能性という違いがある。
6.2 制約条件
制約条件は、許される値や配置を限定する規則である。自由度はこの制約の強さによって上下し、条件が増えるほど選択肢は狭まる。数学、物理、工学のいずれでも、制約の整理は自由度の把握に直結する。
6.3 独立性
独立性は、ある変数や要素が他から決まらずに単独で変化できる性質を指す。自由度はこの独立性の数え上げに基づいており、独立でない成分を除外した後の実効数を表す。
6.4 パラメータ数
パラメータ数は、対象を表現するために必要な変数の個数である。自由度と近いが、すべてのパラメータが自由度に対応するとは限らない。中には冗長な記述や、制約により相互依存となるものも含まれるため、両者は区別して扱われる。