|
「数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「m:Help:Displaying a formula/ja|ヘルプ:数式の書き方」をご覧ください。 |
数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。
数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある[注 1]。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。
以下の解説において、文字 P, Q, R はそれぞれ何らかの命題を表すものとする。
さらに見る , ...
記号 | 意味 |
解説 |
|
論理積、連言 (AND) | 「P ∧ Q」は「命題 P と命題 Q がともに真」という命題を表す。 |
|
論理和、選言 (OR) | 「P ∨ Q」は「命題 P と命題 Q の少なくとも一方は真」という命題を表す。 |
|
否定 (NOT) | 「¬P」は「命題 P が偽」という命題を表す。 |
|
論理包含、含意 |
「P ⇒ Q」は、「命題 P が真なら必ず命題 Q も真」という命題を表す。P が偽の場合は P ⇒ Q は真である。 |
|
|
同値 |
「P⇔Q」、「P≡Q」は P と Q の真偽が必ず一致することを意味する。iff は if and only if の略である。 |
|
論理的帰結、伴意 |
主に意味論的な帰結関係に使われる。
- 「Γ ⊨ φ」と書いて「Γの全ての論理式が真であるなら、論理式φが真である」を意味する。
- 「M ⊨ Γ」と書いて「(事前に定まっている理論の)モデルMにおいて、Γに属する論理式がすべて真である」を意味する。
- 「⊨ φ」と書いて「(事前に定まっている理論の)任意のモデルにおいて、論理式φが真である」を意味する。
|
|
推論 |
主に形式的な帰結関係に使われる。「Γ ⊢ φ」と書いて、論理式の集合(または多重集合)Γから、形式的に論理式φが推論できることを表す。 |
|
全称限量記号 |
しばしば ∀x∈S(P(x)) のように書かれ、集合 S の任意の元 x に対して命題 P(x) が成立することを表す。 |
|
存在限量記号 |
しばしば ∃x∈S(P(x)) のように書かれ、集合 S の中に条件 P(x) を成立させるような元 x が少なくとも1つ存在することを表す。 |
|
一意的に存在 |
しばしば ∃1x∈S(P(x)) のように書かれ、集合 S の中に条件 P(x) を成立させるような元 x が唯一つ存在することを表す。他の記法も同様である。 |
|
結論 |
文頭に記され、その文の主張が前述の内容を受けて述べられていることを示す。ゆえに。 |
|
理由・根拠 |
文頭に記され、その文の内容が前述の内容の理由説明であることを示す。”なぜならば”。 |
:=,\ :\Leftrightarrow }
|
定義 |
「A ≔ X」は、A という記号の意味するところを、X と定義することである。「A :⇔ X」とも書く。また "" の上に "" ないし "" を書くこと()もある。 :\Leftrightarrow }
は命題を定義するときに使い、 :=}
は何らかの数量や対象を定義するときに使う。 |
閉じる
以下の解説において、S, T は任意の集合を、 は記号の作用素を表す。
さらに見る , ...
記号 | 意味 |
解説 |
:\ \},\ \{\ \mid \ \},\ \{\ ;\ \}}
|
集合の内包的記法(英語版) |
{ (代表元) : (代表元の満たすべき条件)} のように用いる。例えば {x | x ∈ S, P(x)} は S の元のうち、命題 P(x) が真であるものすべてを集めた集合を意味し、これはまた {x ∈ S | P(x)} のようにもしばしば略記される(「x ∈ 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」も同じ。 |
|
補集合 |
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 numbers) の全体、射影空間など |
|
自然数 (Natural numbers) の全体 |
|
整数 (独: Zahlen) の全体 |
|
有理数 (Rational numbers) の全体 |
|
実数 (Real numbers) の全体 |
|
代数的数 (Algebraic numbers) の全体、アフィン空間、アデールなど |
|
複素数 (Complex numbers) の全体 |
|
四元数 (Hamilton numbers) の全体 |
|
八元数 (Octonions) の全体 |
|
十六元数 (Sedenions) の全体 |
|
グロタンディーク宇宙 (Grothendieck universe) の全体 |
|
位数 q の有限体 |
|
対角線集合:。 |
閉じる
さらに見る , ...
濃度
記号 | 意味 |
解説 |
|•|, card, # |
濃度 |
|S| は集合 S の濃度を表す。card S や #S も同じ。 |
|
可算濃度 |
自然数全体の集合の濃度。これは極小(選択公理を認める場合は最小)の無限濃度である。 |
|
連続体濃度 |
実数全体の集合の濃度。これが可算濃度の次の濃度であるというのが連続体仮説である。 |
閉じる
以下、X, Y などは集合を表す。
さらに見る , を ...
記号 | 意味 |
解説 |
|
開集合系 | X 上に定まる開集合系を表す。開集合系によって位相を定める文脈では X を などとも書く。 |
|
閉集合系 | X 上に定まる閉集合系を表す。閉集合系によって位相を定める文脈では X を などとも書く。 |
|
開球体 | を中心とする半径 の開球体を表す。どの集合の位相で考えているかを明記するときは のように書く。 |
|
内部、開核 | X の内部 (interior) を表す。 |
|
閉包 |
X の閉包 (closure) を表す。 |
|
境界 |
X の境界 (frontier, boundary) を表す。 |
|
相対位相 | 位相空間 と に対して、 は相対位相を表す。 |
閉じる
ある数学定数を表すために広く習慣的に使われる記号がいくつかある。
さらに見る , ... 閉じる
さらに見る , , ...
初等幾何
記号 | 意味 |
解説 |
|
合同 | 適当な方法で一致させることができる図形の間の関係。 |
∽, |
相似 |
△ABC∽△DEFで△ABCと△DEFが相似であることを表す。 |
|
座標 |
(a, b) = (1, 4)で平面における座標a, bがそれぞれ1と4に位置することを表す。 |
|
角 |
∠ABCや∠Bで点Bにおける角を表す。また、複素数の複素平面上におけるベクトルが実軸となす角度を表す。 |
∟ |
直角 |
∟ABCで点Bにおける角が直角であることを表す。 |
|
垂直 |
AB⊥CDで直線ABと直線CDが垂直であることを表す。 |
|
平行 |
AB∥CDで直線ABと直線CDが平行であることを表す。 |
|
弧 |
⏜AB で点 A と点 B を結ぶ弧を表す。 |
閉じる
さらに見る , ... 閉じる
さらに見る , を ...
極限操作
記号 | 意味 |
解説 |
|
非常に小, 漸近記法 |
「x ≪ y」は x が y に比べて非常に小さいことを表す。「どれくらい」小さいかは文脈による。
また、函数の漸近挙動を表すこともある。D を または の部分集合とし、 とする。函数 g は、a の除外近傍 U0 と D の共通部分 上で となる函数とする。函数 f が
をみたすとき、a の周辺では f は g にくらべて無視できるといい、 と記す。[1] |
|
非常に大 |
「x ≫ y」は x が y に比べて非常に大きいことを表す。「どれくらい」大きいかは文脈による。 |
|
小さくない方, 大きくない方 |
で x, y の小さくない方を、 で x, y の大きくない方を表すことがある。 |
|
極限 | 数列 an に対し、 はその数列の極限値を表す。
また、関数 f (x) に対し、 は f (x) の c における極限値を表す。 |
|
上極限 | |
|
下極限 | |
|
漸近記法 |
関数の漸近挙動を表す。 |
|
|
|
|
|
閉じる
さらに見る , ...
微分積分
記号 | 意味 |
解説 |
|
導関数, 微分 |
関数 f に対し、f' は f の導関数を表す(ラグランジュの記法)。' はダッシュともプライムとも読まれる。
また、次のようにも表記される。
|
|
|
偏微分 |
:多変数関数 f (x, y) の x に関する偏微分を表す。 |
|
積分 |
: 関数 f (x) の区間 [a, b] における積分を表す。 |
: f (x) の領域 D における積分を表す。 |
: f (x) の不定積分。または、積分域が明らかな場合の略記。 |
|
線積分 |
: f (x) の領域 D における線積分を表す。 |
|
面積分 |
: f (x) の領域 D における面積分を表す。 |
|
体積積分 |
: f (x) の領域 D における体積積分を表す。 |
|
ナブラ |
各成分を微分するベクトル微分作用素を表す。 |
|
ラプラシアン |
2つの ∇ の内積になるラプラスの微分作用素を表す。 |
|
|
ダランベルシアン |
物理学において、時空の空間成分のラプラシアンに時間成分を加えたもの。 |
|
|
は D 上で定義された k 回連続微分可能な関数からなる集合を表す。 |
|
発散(湧き出し) |
ベクトル場 A(x) に対する ∇⋅A(x) を与える。 |
|
回転(渦度) |
ベクトル場 A(x) に対する ∇×A(x) を与える。 |
|
勾配 |
スカラー場 f (x) に対する ∇f (x) を与える。 |
閉じる
さらに見る , ... 閉じる
さらに見る , ...
算術記号
記号 | 意味 |
解説 |
|
正符号 |
x の反数(加法に関する逆元)を表すために負符号を用いて −x と記す。反数を与える演算を負符号で表すことに対応して、x 自身を与える恒等変換に正符号を用い、その結果を +x のように表すことがある。 |
|
負符号 |
|
加法 | x + y は x と y の和を表す |
|
総和 |
と定義され、その極限として定まる無限和を
と書く。またある命題 P(x) があるとき、P(x) を満たすような各 k についての和を取ることを
と書く。 |
|
減法 | x − y は x と y の差を表す。通常、y の反数 −y を用いて x + (−y) と定義されている。 |
|
加法と減法 | x ± y は x と y の和と差を表す。 |
|
乗法 |
x × y は x と y の積を表す。中黒 (bullet operatorまたはdot operator) を使って x · y と書いたり、アスタリスクを使って x * y とも書く。特にアスタリスクは多くのプログラミング言語において乗法の演算子として用いられる。 |
|
|
|
乗法逆元 |
x-1はある数xとの積が1となる数を表す。1/xと書かれることもある。 |
|
総乗 | はたくさんの加法を一挙に表すものであったが、 はたくさんの乗法を一挙に表すものである。
他の記法のバリエーションも に同じ。 |
|
除法 |
x ÷ y は x を y で割った商と剰余の組か、あるいは商を表す。x ÷ y の商はしばしば分数 x/y で表され、また斜線自体を商を与える演算子と見なすことがある。多くのプログラミング言語においては商を与える演算子として / が定義されている。 |
|
!,}
|
(順に)階乗, 超階乗 | n! は n の階乗を表す。n$ は n の超階乗を表す。 |
|
クロネッカーのデルタ | i = j のとき 1、i ≠ j のとき 0。 |
|
床関数 | は x 以下の最大整数を表す。 |
|
天井関数 | は x 以上の最小整数を表す。 |
|
二項係数(組合せ) |
通常は括弧書きで表される。C を使った記法は様々なバリエーションがある。 |
閉じる
さらに見る , ... 閉じる
さらに見る , ... 閉じる
さらに見る , ...
記号 | 意味 |
解説 |
|
次元 | ベクトル空間 V に対し、「dim V」は V の次元を表す。 |
|
行列式 |
|X| は正方行列 X の行列式である。 |
|
|
跡 |
tr(X) は正方行列 X の跡である。 |
|
転置 |
tX は行列 X の転置行列である。 |
|
階数 | 線形写像 φ に対して、rank φ は dim Im(φ) を表す。また、行列 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) 全体からなる集合(モノイド)を表す。 |
閉じる
さらに見る , ...
統計学
記号 | 意味 |
解説 |
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 の正規分布 |
|
相関係数 |
確率変数の相関係数 |
|
代表値 |
dsvはdescriptive statistics valueから来ている。 |
|
中央値 |
メジアン、メディアン、メデアンとも呼ぶ。 |
|
範囲 |
レンジとも呼ぶ。 |
|
最頻値 |
モードとも呼ぶ。 |
閉じる
注釈
数学においては、各々の記号はそれ単独では「意味」を持たないものと理解される。それらは常に、数式あるいは Well-formed formula として文脈(時には暗黙のうちに掲げられている、前提や枠組み)に即して評価をされて初めて、値として意味を生じるのである。ゆえにここに掲げられる意味は慣用的な一例に過ぎず絶対ではないことに事前の了解が必要である。記号の「読み」は記号の見た目やその文脈における意味、あるいは記号の由来(例えばエポニム)など便宜的な都合(たとえば、特定のグリフをインプットメソッドを通じてコードポイントを指定して利用するために何らかの呼称を与えたりすること)などといったものに従って生じるために、「記号」と「読み」との間には相関性を見いだすことなく分けて考えるのが妥当である。
言語によっては %
をエスケープする必要があり、たとえばR言語では %%
が用られる。