絶対値とノルムの違いとは？スカラー・ベクトル・行列での使い分けをわかりやすく解説

数学や物理、情報科学を学んでいると「絶対値」と「ノルム」という似たような概念が登場します。どちらも数やベクトルの「大きさ」を表すために使われるため混同されやすいですが、実際には対象となるものや定義の範囲が異なります。

絶対値は主に1つの数（スカラー）の大きさを表すためのものですが、ノルムはベクトルや行列など、より広い対象に対して大きさを定義する考え方です。この記事では、両者の違いや関係、さらに高次元の対象でノルムがどのように使われるのかを解説します。

絶対値とは数の大きさを表すもの

絶対値とは、ある数が0からどれだけ離れているかを表す量です。例えば、5の絶対値は5、-5の絶対値も5になります。

数学では、絶対値は次のように表されます。

|x|=x（xが0以上の場合）
|x|=-x（xが0未満の場合）

つまり、絶対値は符号を取り除いて「大きさ」だけを見る操作だと考えることができます。

例えば、-3という数は数直線上では0から左方向に3離れています。その距離を表したものが絶対値であり、|-3|=3となります。

ノルムは、ベクトルなどの数学的対象に対して「長さ」や「大きさ」を定義するための概念です。

例えば、2次元ベクトルv=(3,4)の大きさを考える場合、通常は三平方の定理を利用して次のように計算します。

||v||=√(3²+4²)=5

これはベクトルを矢印として考えたとき、その矢印の長さを表しています。このように、複数の数をまとめたものに対して大きさを定義するのがノルムです。

絶対値とノルムは完全に別のものではありません。実は、絶対値はノルムという広い概念の特殊な場合として考えることができます。

1次元のベクトル、つまり実数xだけを考えた場合、その大きさを表すノルムは通常の絶対値になります。

例えば、実数5を1次元ベクトル(5)と考えると、そのノルムは||5||=5となり、これは絶対値|5|と同じです。

つまり、絶対値は「1次元の場合のノルム」と見ることができ、ノルムは絶対値をより一般化したものと言えます。

ベクトルの場合、ノルムには複数の種類があります。どのような「大きさ」を考えるかによって定義が変わります。

例えば、ベクトル(3,4)の場合、L2ノルムでは5になりますが、L1ノルムでは7になります。同じベクトルでも、どのノルムを使うかによって「大きさ」の意味が変わります。

次元がさらに増えて、行列やテンソルのような対象を扱う場合でもノルムは利用されます。

行列の場合は、行列ノルムと呼ばれるものがあり、行列全体の大きさを数値で表します。例えば、行列の各成分の二乗和を利用したフロベニウスノルムがあります。

行列Aのフロベニウスノルムは、すべての成分を使って次のように表します。

||A||F=√(ΣΣaᵢⱼ²)

これは、行列を多数の数が並んだベクトルのように考えて、その大きさを求めていると考えることができます。

ノルムの考え方は、さらに一般化するとテンソルや関数にも適用できます。

例えば、機械学習や物理学ではテンソルの大きさを評価するためにテンソルノルムが使われます。また、関数についても、関数の大きさを測るための関数ノルムが定義されています。

このように、ノルムは単なるベクトルの長さではなく、「ある対象を数値で評価するための大きさの基準」という非常に広い数学的概念です。

基本的な使い分けとしては、対象が1つの数なら絶対値、複数の成分を持つベクトルや行列などならノルムを使うと考えると分かりやすいです。

ただし、数学が高度になるほど、この区別は厳密には単純ではありません。実数の絶対値もノルムの一種であり、ノルムという考え方の中に含まれています。

例えば、日常的な距離を考えるなら絶対値やユークリッドノルムを使い、データ解析や機械学習では目的に合わせて別のノルムを選ぶというように、用途によって適切なものを使います。

絶対値は実数など1つの数の大きさを表すもので、ノルムはベクトルや行列、テンソルなど幅広い対象の大きさを表す概念です。

両者は別物というより、絶対値がノルムの一部に含まれる関係にあります。1次元では絶対値、より複雑な対象ではノルムを使うことで、大きさを数学的に扱うことができます。

この考え方を理解すると、線形代数や物理学、機械学習などで登場するノルムの意味も自然に理解しやすくなります。