| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。 (2013年1月) |
|
「数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「ヘルプ:数式の書き方」をご覧ください。
|
|
この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています(詳細)。 |
数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。
数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、一見して同じ記号であっても内容が異なっていたり、逆に異なる記号であっても、同じ対象を示していることがある[注 1]。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。
記号論理の記号[編集]
以下の解説において、文字 P, Q, R はそれぞれ何らかの命題を表すものとする。
| 記号 |
意味
|
解説
|
|
論理積 |
「P ∧ Q」は「命題 P と命題 Q がともに真」という命題を表す。
|
|
論理和 |
「P ∨ Q」は「命題 P と命題 Q の少なくとも一方は真」という命題を表す。
|
|
否定 |
「¬P」は「命題 P が偽」という命題を表す。
|
|
論理包含、含意
|
「P ⇒ Q」は、「命題 P が真なら必ず命題 Q も真」という命題を表す。P が偽の場合は P ⇒ Q は真であることに注意が必要。
|
|
|
同値
|
「P ⇔ Q, P ≡ Q」は P と Q の真偽が必ず一致することを意味する。
iffはif and only ifの略である。
実際上は P, Q がともに真で一方から他方が導かれるときにこの記号を使う。
|
|
論理的帰結、伴意
|
|
|
推論
|
|
|
全称限量記号
|
しばしば ∀x ∈ S; P(x), ∀x ∈ S [P(x)] のように書かれ、集合 S の任意の元 x に対して命題 P(x) が成立することを表す。
|
|
存在限量記号
|
しばしば ∃ x ∈ S s.t. P(x) のように書かれ、集合 S の中に命題 P(x) を成立させるような元 x が少なくとも1つ存在することを表す。
|
|
一意的に存在
|
しばしば ∃1 x ∈ S s.t. P(x) のように書かれ、集合 S の中に命題 P(x) を成立させるような元 x が唯一つ存在することを表す。他の記法も同様である。
|
|
結論
|
文頭に記され、その文の主張が前述の内容を受けて述べられていることを示す。
|
|
理由・根拠
|
文頭に記され、その文の内容が前述の内容の理由説明であることを示す。
|
|
定義
|
「A := X」は、A という記号の意味するところを、X と定義することである。「A :⇔ X」とも書く。また "=" の上に "def" ないし "△" を書くこと(def=, △=)もある。:⇔ は命題を定義するときに使い, := は何らかの数量や対象を定義するときに使う。
|
集合論の記号[編集]
以下の解説において、S, T は任意の集合を表す。
| 記号 |
意味
|
解説
|
|
集合の内包的記法(英語版)
|
x ∈ S, P(x)} は S の元のうち、命題 P(x) が真であるものすべてを集めた集合を意味し、これはまた {x ∈ S|P(x)} のようにもしばしば略記される(「x ∈ S」のような条件が省略されている場合、無制限の内包(英語版)であるか紛れのおそれがないので省略した(英語版)のかは文脈を読むべきである)。
|
|
集合に対する元の帰属関係
|
「x ∈ S」は、x が集合 S の元であることを意味する。必要に応じて「S ∋ x」とも書くが、こちらには S が主語であるようなニュアンスを伴うこともある。
また、「¬(x ∈ S)」すなわち x が集合 S の元であることの否定を「x ∉ S」と書く。x が集合 S の元でないことを表わす。
|
|
集合の一致
|
「S = T」は集合 S と集合 T が等しいことを示す。
|
|
= の否定
|
「S ≠ T」は集合 S と集合 T が等しくないことを示す。
|
|
集合の包含関係
|
「S ⊆ T」は S が T の部分集合であることを意味する。必要に応じて「T ⊇ S」とも書く。他も同じ。
⊆ は S と T が等しい場合を含み、真部分集合に対しては ⊊ が用いられる。⊂ は真部分集合のみを指す流儀と、一般の部分集合を指す流儀がある。⊂ が一般の部分集合を表す場合には真部分集合を ⊊ によって表わし、⊂ が真部分集合を表す場合には一般の部分集合を ⊆ によって表わす。
∈ と同様、⊄, ⊊ などの記号もある。
|
集合演算
| 記号 |
意味
|
解説
|
|
共通部分
|
「S ∩ T」は集合 S と集合 T の共通部分を表す。また は、集合族 {Sλ} のすべての共通部分を表す。 のとき、上の集合族を と書くことがある。
|
|
和集合
|
「S ∪ T」は集合 S と集合 T の和集合を表す。また、 は、集合族 {Sλ} のすべての和集合を表す。 が上欄のものであるとき、上の集合族を と書くことがある。
|
|
直和集合
|
「S + T」は「S ∪ T」に同じであるが、S ∩ T が空集合であることを暗黙に述べている。
この場合、集合族の和集合は のように記す。
|
|
差集合
|
「S ∖ T」は、集合 S から集合 T を除いた差集合を表す。「S − T」も同じ。
|
|
補集合
|
Sc は集合 S の補集合を表す。c は complement の略である。「 」も同じ。
|
|
冪集合
|
2S は、S の部分集合をすべて集めた集合を表す。 とも書く。
|
|
順序対
|
元の順序付けられた組
|
|
直積集合
|
「S × T」は S と T の直積を表す。一般に、集合族 {Sλ} に属する集合の直積を のように記す。
|
|
商集合
|
「S/∼」は、集合 S の同値関係 ∼ によって定まる S の商集合を表す。
|
|
写像の全体
|
Map(S, T) や TS は S から T への写像をすべて集めた集合を表す。
|
|
対称差
|
対称差は、二つの集合に対し、一方には含まれるが他方には含まれない元をすべて集めた集合を表す:  |
二項関係演算
| 記号 |
意味
|
解説
|
|
相等 |
x = y は x と y が等しいことを表す。
|
|
不一致 |
x ≠ y は x と y が等しくないことを表す。
|
≒,
|
ほぼ等しい
|
「x ≒ y」または「x ≈ y」は x と y がほぼ等しいことを表す。記号 ≒ は日本など少数の地域でのみ通用し、≈ の方が標準的である。その他にも ∼, ≃, ≅ などを同様の意味で用いることもある。近似においてどのくらい違いを容認するかは文脈による。多くの場合、誤差解析的な意味で用いられ、ある誤差の見積もりの下で両者が等しいことを示すが、そのほかにも漸近解析においては漸近的に等しいという意味で用いられる。
|
順序構造
| 記号
|
意味
|
解説
|
|
大小関係, 順序
|
「x < y」は x と y の間に何らかの順序が定まっていて、x の方が「先」であることを示す。必要に応じて「y > x」とも書く。
|
|
大小関係, 順序
|
「x ≦ y」とは「x < y または x = y」のことである。「x ≧ y」も同様に定義される。
|
|
開区間
|
(a, b) は {x : a < x < b} を表す
|
|
閉区間 |
[a, b] は {x : a ≦ x ≦ b} を表す
|
|
半開区間
|
(a, b] は {x : a < x ≦ b} を表し、
|
|
|
|
上限
|
集合 S に対し、sup S は S の上限を表す。また、写像 f に対し、f(S) の上限を とも書く. これは の略記である.
その他、幾つかの記法のバリエーションがある。
|
|
下限
|
上限と同様。
|
|
最大値
|
記法は上限と同様
|
|
最小値
|
記法は上限と同様
|
特定の集合
| 記号 |
意味
|
|
空集合
|
|
素数 (Prime number)の全体、射影空間など
|
|
自然数 (Natural number)の全体
|
|
整数 (独: Zahlen)の全体
|
|
有理数 (Quotient)の全体
|
|
実数 (Real number)の全体
|
|
代数的数 (Algebraic number)の全体、アフィン空間、アデールなど
|
|
複素数 (Complex number)の全体
|
|
四元数 (Hamilton number)の全体
|
|
八元数 (Octonion)の全体
|
|
十六元数 (Sedenion)の全体
|
|
位数 q の有限体
|
|
対角線集合:
|
濃度
| 記号 |
意味
|
解説
|
| |•|, card, #
|
濃度
|
|S| は集合 S の濃度を表す。card S や #S も同じ。
|
|
可算濃度
|
自然数で番号付けのできる濃度。これは最小の無限濃度である。
|
|
連続体濃度
|
実数の濃度。これが可算濃度の次の濃度であるというのが連続体仮説である。
|
位相空間論の記号[編集]
以下,X, Y などは集合を表す.
| 記号 |
意味
|
解説
|
|
開集合系 |
X 上に定まる開集合系を表す.開集合系によって位相を定める文脈では X を などとも書く.
|
|
閉集合系 |
X 上に定まる閉集合系を表す.閉集合系によって位相を定める文脈では X を などとも書く.
|
|
開球 |
を中心とする半径 の開球 (open ball) を表す.どの集合の位相で考えているかを明記するときは のように書く.
|
|
内部, 開核 |
X の内部 (interior) を表す.
|
|
閉包
|
X の閉包 (closure) を表す.
|
|
境界
|
X の境界 (frontier, boundary) を表す.
|
|
相対位相 |
位相空間 と に対して, は相対位相を表す.
|
ある数学定数を表すために広く習慣的に使われる記号がいくつかある。
| 記号 |
意味
|
解説
|
| 0
|
0
|
加法における単位元、乗法の零元などを指す。
|
| 1
|
1
|
乗法の単位元、加法の零元などを指す。
|
| π
|
円周率
|
円周の直径に対する比
|
| τ
|
円周率 の2倍
|
円周の半径に対する比 一般的には使用はされない
|
| e
|
ネイピア数(自然対数の底)
|
リンク先参照。定義の一例として なる a。
|
| i
|
虚数単位
|
自乗して −1 となる数。電気工学系ではしばしば j を用いる。
|
| j, k
|
1, i と共に四元数体の、R上のベクトル空間としての基底をなす。
|
幾何学の記号[編集]
距離空間
| 記号 |
意味
|
解説
|
|
距離関数 |
d(x, y) は x と y' との距離
|
|
径 |
diam(X) は d(x, y) (x, y ∈ X) の上限
|
解析学の記号[編集]
極限操作
| 記号 |
意味
|
解説
|
|
非常に小
|
「x ≪ y」は x が y に比べて非常に小さいことを表す。「どれくらい」小さいかは文脈による。
|
|
非常に大
|
「x ≫ y」は x が y に比べて非常に大きいことを表す。「どれくらい」大きいかは文脈による。
|
|
小さくない方, 大きくない方
|
で'x','y'の小さくない方, で'x','y'の大きくない方を表すことがある.
|
|
極限 |
数列 an に対し、 はその数列の極限値を表す。
また、関数 f(x) に対し、 は f(x) の c における極限値を表す。
|
|
上極限 |
|
|
下極限 |
|
|
漸近記法
|
関数の漸近挙動を表す
|
|
|
|
|
|
微分積分
| 記号 |
意味
|
解説
|
|
導関数, 微分
|
関数 f に対し、f' は f の導関数を表す(ラグランジュの記法)。' はプライム、まれにダッシュとも呼ばれる。
また、次のようにも表記される。

|
|
|
偏微分
|
:多変数関数 f(x, y) の y に関する偏微分。
|
|
積分
|
: 関数 f(x) の区間 [a,b] における積分
|
: f(x) の領域 D における積分
|
: f(x) の不定積分。または、積分域が明らかな場合の略記
|
|
ナブラ
|
各成分を微分するベクトル微分作用素
|
|
ラプラシアン
|
2つの ∇ の内積になるラプラスの微分作用素
|
|
|
ダランベルシアン
|
物理学において、時空の空間成分のラプラシアンに時間成分を加えたもの
|
|
|
は D 上で定義された k 回連続微分可能な関数からなる集合
|
|
発散(湧き出し) |
ベクトル場 A(x) に対する ∇⋅A(x) を与える
|
|
回転(渦度) |
ベクトル場 A(x) に対する ∇×A(x) を与える
|
|
勾配 |
スカラー場 f(x) に対する ∇f(x) を与える
|
代数学の記号[編集]
| 記号 |
意味
|
解説
|
|
絶対値
|
|x| は x の絶対値である。
|
|
|
ノルム |
‖x‖ は x のノルムである。
|
|
実部
|
複素数 z に対し、Re(z) はその実部を、Im(z) はその虚部を表す。z = Re(z) + i Im(z)
|
|
|
虚部
|
|
|
共役複素数
|
複素数 z に対し、 はその共役複素数を表す。
|
|
次数
|
多項式 f に対して、deg f はその次数を表す。
|
|
冪根、根基
|
n√x は x の n 乗根を表す。n が 2 であるときには単に √x と書くことが多い。イデアルの根基をあらわす。
|
|
内積
|
<x, y> は x と y の内積を表す
|
|
| 記号 |
意味
|
解説
|
|
次元 |
ベクトル空間 V に対し、「dim V」は V の次元を表す。
|
|
行列式
|
|X| は行列 X の行列式である。
|
|
|
跡
|
tr(X) は行列 X の跡である。
|
|
転置
|
tX は行列 X の転置行列である。
|
|
階数 |
線形写像 φ に対して、rank φ は dim Image(φ) を表す。また、行列 A に対して、rank A は A の階数を表す。
|
|
核, 零空間
|
群や環の準同型、ベクトル空間の間の線形写像 φ に対して、Ker φ はその準同型の核を表す。
|
|
像
|
群や環の準同型、ベクトル空間の間の線形写像 φ に対して、Im φ はその準同型の像を表す。
|
|
準同型の集合
|
HomK(F, G) は、作用域 K のある代数系 F, G の間の作用準同型 (homomorphism) 全体からなる集合を表す。
|
|
自己同型群
|
Aut(G) は、G のそれ自身に対する同型 (automorphism) 全体からなる群を表す。
|
|
内部自己同型群
|
Inn(G) は、G の内部自己同型 (inner automorphism) 全体からなる群を表す。
|
|
自己準同型
|
End(G) は、G のそれ自身に対する準同型 (endomorphism) 全体からなる集合(モノイド)を表す。
|
| 記号 |
意味
|
解説
|
|
生成
|
G を群とすると、G の部分集合 S に対し、〈S〉 は S の生成する部分群を表す。特に、S が一元集合 S = {x} であるときには 〈x〉 とも書く。これは x の生成する巡回群である。環やベクトル空間などについても同様の記法を使う。
|
|
生成するイデアル |
(a, ...) は a, ... の生成するイデアル
|
|
多項式環、生成する環 |
K を可換環とするとき、K[x, ...] は K と {x, ...} を含む最小の環。生成系が不定元のみからなれば多項式の環である。
|
|
有理関数環、生成する体 |
K を可換体とするとき、K(x, ...) は K と {x, ...} を含む最小の体。生成系が不定元のみからなれば有理式の体である。
|
|
非可換多項式環、生成する環 |
K を非可換環とするとき、K〈x, ...〉 は K と {x, ...} を含む最小の環。
|
統計学の記号[編集]
統計学
| 記号 |
意味
|
解説
|
| r. v.
|
確率変数
|
random variable の略
|
| p. m. f. あるいは pmf
|
確率質量関数
|
probability mass function の略
|
| p. d. f. あるいは pdf
|
確率密度関数
|
probability density function の略
|
|
“確率変数”が“確率分布”に従う
|
は確率変数 X が確率分布 に従うことを表す
|
| i. i. d.
|
独立同分布
|
independent and identically distributed の略。X1, ..., Xn i.i.d. は確率変数 X1, ..., Xn が同じ確率分布に独立に従うことを表す
|
|
確率
|
P(E) は事象 E の確率
|
|
期待値
|
E(X) は確率変数 X の期待値
|
|
分散
|
V(X) は確率変数 X の分散
|
|
共分散
|
Cov(X, Y) は確率変数 X, Y の共分散
|
|
正規分布
|
平均 μ, 分散 σ2 の正規分布
|
|
相関係数
|
確率変数の相関係数
|
- ^ 数学においては、各々の記号はそれ単独では「意味」を持たないものと理解される。それらは常に、数式あるいは論理式として文脈(時には暗黙のうちに掲げられている、前提や枠組み)に即して評価をされて初めて、値として意味を生じるのである。ゆえにここに掲げられる意味は慣用的な一例に過ぎず絶対ではないことに事前の了解が必要である。記号の「読み」は記号の見た目やその文脈における意味、あるいは記号の由来(例えばエポニム)など便宜的な都合(たとえば、特定のグリフをインプットメソッドを通じてコードポイントを指定して利用するために何らかの呼称を与えたりすること)などといったものに従って生じるために、「記号」と「読み」との間には相関性を見いだすことなく分けて考えるのが妥当である。
- ^ 言語によっては
% をエスケープする必要があり、たとえばR言語では %% が用られる。
参考資料[編集]
関連項目[編集]