記号の濫用

テンプレート:出典の明記 数学において、記号の濫用（きごうのらんよう、テンプレート:Lang-en-short, テンプレート:Lang-fr-short）とは、形式的には正しくないが表記を簡単にしたり正しい直観を示唆するような表記を（間違いのもととなったり混乱を引き起こすようなことがなさそうなときに）用いることである。記号の濫用は記号の誤用とは異なる。誤用は避けなければならない。

テンプレート:Anchors関連する概念に用語の濫用（テンプレート:Lang-en-short, テンプレート:Lang-fr-short）がある。これは記号ではなく用語が（形式的には）誤って使われることを指す。記号以外の濫用とほぼ同義である。例えば群 テンプレート:Mvar の表現とは正確には テンプレート:Mvar から GL(V) （ただし テンプレート:Mvar はベクトル空間）への群準同型のことであるが、よく表現空間 テンプレート:Mvar のことを「テンプレート:Mvar の表現」という。用語の濫用は異なるが自然に同型な対象を同一視する際によく行われる。例えば、定数関数とその値や、直交座標系の入った テンプレート:Math 次元ユークリッド空間と テンプレート:Math である。

例

構造を伴う数学的対象

記号や用語の濫用は対象が複数の成分からなるときによく起こる。例えば位相空間は集合 テンプレート:Mvar（位相空間の台集合と呼ばれる）と位相 $𝒯$ からなり、2つの位相空間 $(X,𝒯)$ と $(X,{𝒯}^{\prime })$ は台集合が同じでも位相が異なれば位相空間としては別物である。それにもかかわらず、混乱の恐れがないときには（すなわちどんな位相を考えているかが明白なときには）通常単に テンプレート:Mvar で位相空間を指す。同様に群 テンプレート:Math は群演算が文脈から明らかなときには単に テンプレート:Mvar と書かれる。

関数

「テンプレート:Math を関数とする」のような表現がしばしば用いられるが、これは記号の濫用である。関数とは テンプレート:Mvar のことであり、テンプレート:Math は定義域の元 テンプレート:Mvar の テンプレート:Mvar による値だからである。だから厳密には「テンプレート:Mvar を変数 テンプレート:Mvar の関数とする」とか「テンプレート:Math を関数とする」と書くのが正しいのであるが、記述の簡便のため記号の濫用が広く使われている。

同様に例えば「関数 テンプレート:Math を考える」という表現も記号の濫用であり、本来関数とは テンプレート:Mvar に テンプレート:Math を対応させる規則であるが、これも混乱を招かないため広く用いられている。しかしながら、たいていの数式処理システムでは数式と関数は区別されているから、計算機代数の初心者はこの習慣のせいでしばしば誤った入力をしてしまう。

集合

単元集合を テンプレート:Math と表したり、零ベクトル空間を テンプレート:Math と表したりするが、これらは集合とその元が同じであるというわけではない。

同値類

同値関係の同値類を テンプレート:Math でなく テンプレート:Mvar と書くのは記号の濫用である。形式的には、集合 テンプレート:Mvar を同値関係 テンプレート:Math によって分割したとき、各 テンプレート:Math に対し、同値類 テンプレート:Math は テンプレート:Math と表記される。しかし実際には、議論がもとの集合の個々の元ではなく同値類にあるとき、角括弧を落とすのが一般的である。あるいは、実際には個々の元の方を考えているのに、同値類を指す記号を用いることもある。

前者の例としては、例えば、合同算術において、テンプレート:Mvar を法とした テンプレート:Mvar の合同類を単に テンプレート:Mvar と書いたり、ルベーグ積分論において、測度空間上の可測関数を「ほとんどいたるところ等しい」という関係で割った空間（たとえば [[L2空間|テンプレート:Math]]）を考えるときに、同値類をもとの関数と同じ記号で表したりする（ここで注意すべきことであるが、商空間では「関数 テンプレート:Mvar の テンプレート:Mvar における値 テンプレート:Math」というものは全く意味を持たない）。

後者の例としては、例えば、群 テンプレート:Mvar の既約表現の同値類の全体をここでは仮に テンプレート:Mvar と書くと、テンプレート:Mvar の既約表現は普通 テンプレート:Math あるいは テンプレート:Math と書かれる。

導関数

解析学における導関数のライプニッツの記法 テンプレート:Mvar に関するある代数的操作は記号の濫用である。数式 テンプレート:Mvar を分数のように扱うのがしばしば便利で、例えば、合成関数の微分に対し テンプレート:Mvar は正しい（連鎖律）。別の例は微分方程式を解くときの変数分離である。方程式 テンプレート:Math を テンプレート:Math と書き直し、積分するのである。

関連する記号の濫用として、テンプレート:Math のような積分を

$\int \frac{dx}{x}$

と、まるで テンプレート:Mvar が テンプレート:Math に掛かった因子であるかのように書く。

これらの操作は微分形式の理論で厳密にすることができる。

ナブラ演算子

ナブラ演算子 テンプレート:Math は偏微分作用素をベクトルとして並べた組である：

$\mathrm{\nabla }=(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z}).$

これにより勾配 テンプレート:Math 発散 テンプレート:Math 回転 テンプレート:Math のような表記ができる。テンプレート:Math は多くの場合ベクトルのように振る舞うので、この記法は非常に便利であるが、テンプレート:Math はベクトルと可換ではなくベクトルのすべての性質を満たすわけではないので記号の濫用と言える。

クロス積

ベクトル テンプレート:Math と テンプレート:Math のクロス積を形式的に行列式を用いて

$𝐚\times 𝐛=\det \left[\begin{array}{ccc}𝐢& 𝐣& 𝐤\\ a_1& a_2& a_3\\ b_1& b_2& b_3\end{array}\right]$

と書くことができる（第一行について"余因子展開"する）。これは記号の濫用であるがクロス積の記憶術としてもまた計算においても役に立つ。

デカルト積

デカルト積はしばしば結合的と見ることができる：

$(E\times F)\times G=E\times (F\times G)=E\times F\times G.$

これはもちろん厳密には正しくない。テンプレート:Math, テンプレート:Math, テンプレート:Math とすると、等式 テンプレート:Math は テンプレート:Math, テンプレート:Math を意味することになってしまい、また等式 テンプレート:Math は無意味である。

この概念は圏論において自然同型の概念を用いて厳密にできる。

ランダウの記号

ランダウの記号を用いて、テンプレート:Math は テンプレート:Math であると言ったり、テンプレート:Math と書いたりするのは記号の濫用である。

同型

等式とテンプレート:仮リンクの違いをはっきりさせないのも記号の濫用である。例えば有理数からデデキントの切断によってテンプレート:仮リンクすると、有理数 テンプレート:Mvar は テンプレート:Mvar 未満のすべての有理数と同一視されるが、この2つは明らかに同じものではない。しかし、有理数全体の集合と、テンプレート:Math の形のデデキント切断全体の集合は同じ構造を持つからこの曖昧さは許容される。この濫用により テンプレート:Math は テンプレート:Math の部分集合とみなされる。

有限素点と素イデアル

素点とは付値の同値類のことであるが、特に有限素点（＝非アルキメデス付値の類）はオストロフスキーの定理により素イデアルと対応する。このときこの両者を同一視することがしばしばある。

ディラックのデルタ関数

ディラックのデルタ"関数"は関数ではないが例えば畳み込みを計算するときにしばしば関数として扱われる。

ブルバキ

「用語の濫用」なる用語はニコラ・ブルバキの書物にしばしば現れる：

主観性

用語「用語の濫用」や「記号の濫用」は文脈に依存する。テンプレート:Mvar から テンプレート:Mvar への部分関数を "テンプレート:Math" と書くとほとんどいつも記号の濫用であるが、圏論の文脈において集合と部分関数の圏における射として f を見れば濫用ではない。

関連項目

• テンプレート:仮リンク

外部リンク

• "Strong Symbols", by Henning Thielemann (PDF Slides) Section 5: Common abuse of notation