1 順序と次数の基本概念
1.1 数える量としての「次数」
次数は、ある対象に対して「何をどれだけ数え上げるか」を基準として定める指標である。多くの場面で、対象に対応する要素の個数、関連の数、あるいは寄与の強さを整理し、比較可能な形に落とし込む。たとえば、グラフ理論では頂点に接続する辺の本数が次数に対応し、整列や関数の文脈では「繰り返し回数」や「増え方の段階」を表す形で同種の考え方が現れる。
次数という語が単独で意味を一意に持つのではなく、「対象に結び付く数え上げ可能な量」を核に、定義を状況に合わせて換える点が重要である。結果として、同じ「次数」という表現でも、何を数え、どの規則で足し合わせるかが文脈依存になる。
1.2 次数に見られる対象依存性
次数の定義は、対象の種類と測りたい性質によって変わる。対象が「頂点」なら隣接関係を数える方向になり、対象が「式」なら項の次数や極・ゼロの関係を通じて振る舞いの強弱を測る方向になる。
さらに、同じ数学分野内でも「数える量」の定義が分岐することがある。無向か有向か、ループや多重辺を許すか、式の分子と分母をどう扱うかなど、規則の違いが数値としての次数に反映される。したがって、次数を使う際には、まず定義で数えている対象（隣接辺、項の指数、極の位数など）と、例外規則（許容する構造や定義対象の範囲）を確認する必要がある。
1.3 関連する用語（次数・次数列・次数付け）
次数には周辺概念が複数ある。次数列は、同一対象に対して次数が段階的に並ぶ形で現れる系列であり、たとえば分割された成分ごとの次数情報を順に列挙するような場面で使われる。次数付けは、対象の要素に次数というラベルを付与する操作、あるいはその結果得られる構造を指す。
また「次数」という語は、個々の量の呼称としても、複数の値を束ねたときの総称としても現れる。たとえば、あるグラフに対して各頂点の次数を一覧化すれば、それは次数列として解釈できる。こうした用語の関係を把握すると、次の章以降で扱う「グラフの次数」「式の次数」「行列に関連する次数」が同じ中心思想（数え上げと段階化）に基づくことが理解しやすい。
2 グラフ理論における次数
2.1 頂点の次数
グラフにおける頂点の次数は、その頂点に接続する辺の本数として定義されるのが基本である。接続の意味は、無向グラフと有向グラフで異なり、さらにループや多重辺を許すかどうかでも数え方が変わる。したがって、次数は「その頂点が他の要素と結び付く程度」を量化する尺度として捉えられる。
2.1.1 入次数と出次数
有向グラフでは、辺に向きが付くため、頂点への流入と流出を別々に数える。流入側の数として定義されるのが入次数、流出側の数が出次数である。これにより、同じ頂点でも「何本が入ってきて、何本が出ていくか」を区別して表せる。
2.1.1.1 有向グラフでの定義と例
有向グラフ \(G\) において、頂点 \(v\) の入次数は、端点として \(v\) を終点に持つ有向辺の数である。出次数は、\(v\) を始点とする有向辺の数として数える。
例として、頂点集合が \(\{A,B,C\}\) で、辺が \(A\to B\)、\(A\to C\)、\(B\to C\) の3本だとする。このとき \(A\) は出次数が2、入次数が0、\(B\) は入次数が1、出次数が1、\(C\) は入次数が2、出次数が0になる。こうした分解は、経路の到達可能性やネットワークの流れの解析に直結する。
2.1.2 単純グラフと多重辺での違い
単純グラフでは、多重辺（同じ端点対を結ぶ複数の辺）やループが通常は許されない。そのため、次数は「隣接する頂点の種類の数」に近い挙動を示す。一方、多重辺を許すグラフでは、同じ端点対を結ぶ辺が複数ある場合に、それらを別々に数えるため、次数は大きくなり得る。
この違いは、次数が「接続の本数」を基準にしていることを明確にする。つまり、隣接関係の種類数（組み合わせ）ではなく、辺そのものの数（数え上げ）を反映するため、定義の許容範囲がそのまま数値へ影響する。
2.2 端数処理としてのループの扱い
ループは、同じ頂点を両端とする辺である。次数への寄与をどう扱うかは慣習や定義に依存するが、無向グラフではループが次数に「2として数えられる」扱いが多い。これは、ループがその頂点に対して入る端と出る端を同時に持つように見なせるからである。
有向グラフでは、ループは入次数と出次数の双方に寄与することが自然に定義される。具体的には、頂点 \(v\) に対するループ \(v\to v\) は、\(v\) への流入1本、流出1本を同時に増やす。こうして、端数のように見える特殊辺も、端点の数え上げという基本原則へ整合させて処理する。
2.3 グラフ全体の次数と総和定理
| グラフ全体の次数に関する基本関係として、無向グラフでは「全頂点の次数の総和が辺の本数の2倍になる」という事実が知られている。各辺は2つの端点を持つため、その両端がそれぞれある頂点の次数に1ずつ寄与する。このため、次数総和は端点の総数に一致し、結果として \(2 | E | \) になる。 |
|---|
有向グラフでは、入次数総和と出次数総和が一致し、いずれも有向辺の本数に等しい。各有向辺は終点に対して入次数を1増やし、始点に対して出次数を1増やすため、流入端と流出端の数が等しくなる。これらの総和関係は、次数計算の検算にも利用でき、定義の整合性を確認する指標として機能する。
3 多項式・関数における次数
3.1 多項式の次数
多項式の次数は、含まれる単項式の指数のうち最大のものとして定義される。たとえば、単変数多項式 \(ax^n+\cdots\) の次数は \(n\) である。係数が0になる項があれば、その項は実質的に消えるため、最大指数を決めるときに注意が必要である。
次数は多項式の「増え方の速さ」や、解の個数に関する性質（上限としての振る舞い）と結び付くことが多い。したがって計算の入口として、まず次数を判定できるかが重要になる。
3.1.1 次数の求め方（項の最高次数）
次数の判定は、現れる項ごとに変数の指数を確認し、最大値を選ぶことで行う。たとえば \(3x^4-2x^2+x\) の場合、現れる指数は4、2、1なので次数は4である。多変数多項式では、どの変数にも依存するが、全体の次数（総指数の最大）として扱う流儀や、各変数ごとに次数を分ける流儀など、運用ルールを明確にする必要がある。
また、恒等的に0となる多項式（零多項式）は次数を定めない、あるいは特別な値として扱う流儀があるため、定義書の約束を優先する。計算問題では、しばしば零多項式を除外した前提が置かれる。
3.2 分数関数・有理式の次数
分数関数や有理式では、分子と分母の次数を別々に考えたうえで、全体の振る舞い（特に無限遠での大小関係）を整理する。代表的には、分子の次数と分母の次数の差が、分数の「先頭の減り方・増え方」を支配する。
したがって、次数は単なるラベルではなく、極限挙動や近似の指針として役立つ。特に分母の次数が分子より大きい場合は、関数が0へ近づく傾向を持ち、逆の場合は発散方向を示す。
3.2.1 分子・分母の次数と振る舞い
有理式 \(P(x)/Q(x)\) で、\(P\) と \(Q\) が多項式だとする。\(Q\) が0でない範囲で評価すると、十分大きな \(x\) では、最高次数の項が支配的になる。たとえば \(\deg P>\deg Q\) なら分子の高い次数が残り、結果として多項式的な増加に近い挙動になる。逆に \(\deg P<\deg Q\) なら、分母がより速く大きくなり、値は0へ減衰しやすい。
さらに同次数の場合は、比として係数比が効き、極限値が有限に定まることがある。これらの整理は、具体的な極限計算やグラフの概形把握の短い手順として利用される。
3.3 べき級数・極の次数（基礎）
べき級数では、先頭に現れる最も低い次数の項や、その周辺の構造が収束や解析の性質に影響する。特に有理関数の近傍で現れる極は、同種の「位数」により次数的な情報を与える。
「極の次数」は、極がどれだけ高い濃度で現れるかを示す指標であり、極の近くでの分数の主要項の形を決める。これにより、極の周りでの分解（テイラー展開ではなくローラン展開の先頭項）を整理できる。
4 行列・代数構造における次数
4.1 行列の次数（行列のサイズとしての用法）
行列の次数は、行列が持つ次元、すなわち行数と列数を指す用法が一般的である。正方行列では \(n\times n\) のようにサイズが定まり、その \(n\) が行列の次数として語られる。この意味の「次数」は、多項式の次数などと同じ語だが、測る対象が異なる。
行列の次数を知ることは、演算の成立条件、固有値計算の対象、線形写像の表現の次元などを把握する第一歩になる。
4.2 最小多項式・特性多項式の次数
行列から定まる多項式として、特性多項式や最小多項式がある。特性多項式は、行列の固有値を含む情報を与え、最小多項式は、その行列を多項式で表すときに必要な最小の次数を持つとされる。
これらの多項式の次数は、行列の次元や、どれだけ多くの独立な代数的情報が必要かに対応する。特に最小多項式の次数は、冪の関係の複雑さを反映し、計算上の要点になる。
4.2.1 固有値との関係（基礎）
特性多項式は行列の固有値を決める基礎として機能する。一般に、特性多項式の零点が固有値に対応するため、次数が大きいほど固有値候補の総数（重複度を含む）が増えうる。最小多項式も固有値に関する情報を含みつつ、ただし次数は特性多項式より小さいか同程度に収まる。
つまり、固有値の「集合の多さ」だけでなく、固有値ごとの構造（冪の抑え込み方）も次数に表れる。基礎としては、固有値と多項式の零点の対応、そして最小多項式の「必要性」が次数に直結する点が押さえどころである。
4.3 形式的な次数付け（学習のための見取り図）
形式的な次数付けは、代数的対象に対して、要素の複雑さや段階を測るための数付けを導入する考え方である。ここでは、必ずしも「実際に数えた個数」と一致するわけではなく、積や合成の振る舞いが次数規則に沿うよう設計する。
学習の観点では、「次数が増える方向にどの演算が働くか」「次数がどのように加算・結合されるか」というルールを見取り図として理解することが有効である。次の章では、計算の具体例や、混同しやすい点を通して、この見取り図を実感へ変える。
5 計算と具体例
5.1 小さなグラフでの頂点次数の計算
頂点次数の計算は、対象となる頂点に接続する辺を列挙し、その本数（有向なら流入・流出を別）を数えることで行う。小さなグラフでは、まず各辺の端点を確認し、次に該当する頂点のカウントを増やす手順が確実である。
例として無向グラフで、頂点 \(v\) に接続する辺が4本あるなら、\(v\) の次数は4になる。もしループが含まれる定義を採用している場合は、ループの端点数え上げにより寄与が増える。よって、定義（ループをどう数えるか、並行辺を許すか）を先に確認してから数え上げるのが実務的である。
5.2 多項式の次数の判定演習
多項式の次数判定は、最高次数の項を見つける作業に対応する。演習では、まず展開が必要な場合と、すでに項が整理されている場合を分けると進めやすい。
たとえば \( (x+1)(x^2-2x+3)\) を考えると、積を展開しなくても次数の見通しは得られる。第1因子の次数が1、第2因子の次数が2なので積の次数は最大で3になる。係数が打ち消されて次数が下がる可能性も理論上はあるが、最高次数項は一般に打ち消されにくい形で決まるため、素早い確認が可能である。最終的には展開して係数を確かめると確実になる。
5.3 よくある誤解とチェック手順
誤解は「どれを数えるか」と「例外の扱い」を取り違えることで起きやすい。グラフなら、単純グラフとして数えるのか、多重辺を含めるのか、ループをどう寄与させるかを曖昧にしたまま計算すると、結果が定義とずれる。式なら、分子分母の次数差の解釈を、単なる最大指数の話と混ぜると矛盾が生じる。
チェック手順としては、(1) まず対象と定義の約束を確認し、(2) 数え上げの単位（辺の本数、項の指数、位数）を明示し、(3) 総和定理や極限の整合性など簡単な検算できる関係を用いる。特に次数総和のような普遍関係は、計算ミスの検出に有効である。
6 応用の見通し
6.1 制約条件としての次数（グラフの性質）
次数はグラフの構造を制約する要因になり得る。たとえば、ある頂点が高い次数を持つなら、辺の配置や連結の可能性が自ずと限られる。逆に次数が小さい頂点が多数あると、全体の辺数や連結のされ方にも下限・上限が現れる。
また次数のパターンは、探索アルゴリズムの効率（高次数の頂点が探索の中心になりやすい等）にも間接的に影響する。さらに、総和関係を用いて辺数を推定したり、矛盾がある次数列を排除したりできるため、構造推論の入口として機能する。
6.2 境界事例（次数が定義できない／曖昧な場合）
次数は定義が整っていれば扱いやすい一方で、境界事例では曖昧さが出ることがある。多項式では零多項式の次数をどう扱うかが代表例で、特別な取り扱いが必要になる。グラフでは、許容する辺の種類（ループ、多重辺）を明示しないと次数の数値が変わり得る。
また有向グラフで入出を区別しないか、あるいは入出を合わせた「総次数」をどのように定義するかでも違いが起きる。したがって、どの数え上げ規則が採用されているかを最初に固定することが重要である。
6.3 離散構造での「次数」が果たす役割
離散構造では、次数が「局所情報」を表し、そこから全体の性質を推測する橋渡しになる。グラフの次数は接続関係の局所尺度であり、集計すると大域的な制約が見える。式や代数構造でも、次数は振る舞いの段階や必要性の最小値として現れ、局所的な性質から全体の挙動を捉える手がかりとなる。
さらに、離散系の解析では、次数に基づく分類（たとえば次数が小さい部類、ある種の次数分布を持つ部類）がモデル設計や比較に役立つ。こうした点から、次数は単なる計算項ではなく、構造理解のための共通言語として機能する。