数学記号の表のソースを表示

{{出典の明記|date=2025-01}}
{{otheruses||導入年別の表|数学記号の表 (導入年別)}}
{{redirect|数学記号|ウィキペディアにおける数式の書き方|[[mw:Extension:Math/Syntax/ja]]}}
[[数学]]的概念を記述する[[記号]]を'''数学記号'''という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。

数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある<ref group="注">数学においては、各々の記号はそれ単独では「意味」を持たないものと理解される。それらは常に、[[数式]]あるいは [[Well-formed formula]] として文脈（時には暗黙のうちに掲げられている、前提や枠組み）に即して評価をされて初めて、値として意味を生じるのである。ゆえにここに掲げられる意味は慣用的な一例に過ぎず絶対ではないことに事前の了解が必要である。記号の「読み」は記号の見た目やその文脈における意味、あるいは記号の由来（例えば[[エポニム (数学)|エポニム]]）など便宜的な都合（たとえば、特定のグリフを[[インプットメソッド]]を通じてコードポイントを指定して利用するために何らかの呼称を与えたりすること）などといったものに従って生じるために、「記号」と「読み」との間には相関性を見いだすことなく分けて考えるのが妥当である。</ref>。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。

==論理記号==
以下の解説において、文字 {{math|''P'', ''Q'', ''R''}} はそれぞれ何らかの[[命題]]を表すものとする。

{| class="wikitable" style="width:90%"
|-
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! <math>\land</math>
| [[論理積]]、連言 (AND) || 「{{math|''P'' ∧ ''Q''}}」は「命題 {{mvar|P}} と命題 {{mvar|Q}} がともに真」という命題を表す。
|-
! <math>\lor</math>
| [[論理和]]、選言 (OR) ||「{{math|''P'' ∨ ''Q''}}」は「命題 {{mvar|P}} と命題 {{mvar|Q}} の少なくとも一方は真」という命題を表す。
|-
! <math>\neg</math>
| [[否定]] (NOT) ||「{{math|¬''P''}}」は「命題 {{mvar|P}} が偽」という命題を表す。
|-
!<math>\Rightarrow</math>
| rowspan="2" | [[論理包含]]、含意
| rowspan="2" | 「{{math|''P'' ⇒ ''Q''}}」は、「命題 {{mvar|P}} が真なら必ず命題 {{mvar|Q}} も真」という命題を表す。{{mvar|P}} が偽の場合は {{math|''P'' &rArr; ''Q''}} は真である。
|-
! <math>\rightarrow</math>
|-
!<math>\Leftrightarrow,\ \text{iff},\ \equiv</math>
| [[同値]]
| 「{{math|''P''⇔''Q''}}」、「{{math|''P''≡''Q''}}」は {{mvar|P}} と {{mvar|Q}} の真偽が必ず一致することを意味する。'''iff''' は '''if and only if''' の略である。
|-
! <math>\vDash</math>
| [[論理的帰結]]、伴意
|主に意味論的な帰結関係に使われる。
* 「{{Math|Γ ⊨ ''φ''}}」と書いて「有限個の論理式 {{math|Γ}} がすべて真であるなら、論理式 {{mvar|φ}} が真である」を意味する。
* 「{{Math|''M'' ⊨ Γ}}」と書いて「（事前に定まっている理論の）モデル {{mvar|M}} において、{{math|Γ}} に属する論理式がすべて真である」を意味する。
* 「{{Math|⊨ ''φ''}}」と書いて「（事前に定まっている理論の）任意のモデルにおいて、論理式 {{mvar|φ}} が真である」を意味する。
|-
! <math>\vdash</math>
| [[推論]]
| 主に形式的な帰結関係に使われる。「{{Math|Γ ⊢ ''φ''}}」と書いて、有限個の論理式 {{math|Γ}} から、形式的に論理式 {{mvar|φ}} を推論できることを表す。
|-
! <math>\forall</math>
| [[全称記号|全称限量記号]]
| しばしば {{math|∀''x''∈''S''(''P''(''x''))}} のように書かれ、[[集合]] {{mvar|S}} の[[任意]]の[[元 (数学)|元]] {{mvar|x}} に対して命題 {{math|''P''(''x'')}} が成立することを表す。
|-
! <math>\exists</math>
| [[存在記号|存在限量記号]]
| しばしば {{math|∃''x''∈''S''(''P''(''x''))}} のように書かれ、集合 {{mvar|S}} の中に条件 {{math|''P''(''x'')}} を成立させるような元 {{mvar|x}} が少なくとも1つ存在することを表す。
|-
!<math>\exists_1,\ \exists1,\ \exists\,!</math>
| [[一意性 (数学)#述語論理|一意的]]に存在
| しばしば {{math|∃<sub>1</sub>''x''∈''S''(''P''(''x''))}} のように書かれ、集合 {{mvar|S}} の中に条件 {{math|''P''(''x'')}} を成立させるような元 {{mvar|x}} が'''唯一つ存在'''することを表す。他の記法も同様である。
|-
! [[∴|<math>\therefore</math>]] 
| 結論
|文頭に記され、その文の主張が前述の内容を受けて述べられていることを示す。ゆえに。
|-
! <math>\because</math>
| 理由・根拠
| 文頭に記され、その文の内容が前述の内容の理由説明であることを示す。”なぜならば”。
|-
!<math>:=,\ :\Leftrightarrow</math>
| [[定義]]
| 「{{math|''A'' {{coloneqq}} ''X''}}」は、{{mvar|A}} という記号の意味するところを、{{mvar|X}} と定義することである。「{{math|''A'' :⇔ ''X''}}」とも書く。また "<math>=</math>" の上に "<math>\mathrm{def}</math>" ないし "<math>\bigtriangleup</math>" を書くこと（<math>\stackrel{\mathrm{def}}{=},\stackrel{\bigtriangleup}{=}</math>）もある。<math>\ :\Leftrightarrow</math>は命題を定義するときに使い、<math>:=</math> は何らかの数量や対象を定義するときに使う。
|}

==集合論の記号==
以下の解説において、{{math|''S'', ''T''}} は任意の集合を、<math>\bullet</math> は記号の作用素を表す。

{| class="wikitable" style="width:90%"
|- 
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
!<math>\{\ :\ \},\ \{\ \mid\ \},\ \{\ ;\ \}</math>
| {{仮リンク|集合の内包的記法|en|set-builder notation}}
| |{{math|{{mset| (代表元) : (代表元の満たすべき条件)}}}} のように用いる。例えば {{math|{{mset|''x'' | ''x'' &isin; ''S'', ''P''(''x'')}}}} は {{mvar|S}} の元のうち、命題 {{math|''P''(''x'')}} が真であるものすべてを集めた集合を意味し、これはまた {{math|{{mset|''x'' &isin; ''S''|''P''(''x'')}}}} のようにもしばしば略記される（「{{math|''x'' ∈ ''S''}}」のような条件が省略されている場合、{{仮リンク|内包公理|en|axiom of comprehension|label=無制限の内包}}であるか[[分出公理|紛れのおそれがないので省略した]]のかは文脈を読むべきである）。
|-
!<math>\in,\ \ni,\ \notin,\ \not\ni</math>
|[[元 (数学)|集合に対する元の帰属関係]]
| 「{{math|''x''∈''S''}}」は、{{mvar|x}} が集合 {{mvar|S}} の元であることを意味する。「{{math|''x''&notin;''S''}}」は、{{math|''x''∈''S''}} の否定、すなわち {{mvar|x}} が {{mvar|S}} の元でないことを意味する。
|-
! [[等号|<math>=</math>]] 
| 集合の一致
| 「{{math|1=''S'' = ''T''}}」は集合 {{mvar|S}} と集合 {{mvar|T}} が等しいことを示す。
|-
! [[等号|<math>\ne</math>]]
| <math>=</math> の否定
| 「{{math|''S'' ≠ ''T''}}」は集合 {{mvar|S}} と集合 {{mvar|T}} が等しくないことを示す。
|-
! [[集合間の関係を表す記号|<math>\subseteq,\ \supseteq,\ \subset,\ \supset,</math>]]<math>\subsetneq,\ \supsetneq,\ \not\subset,\ \not\supset</math>
| 集合の[[包含関係]]
|「{{math|''S'' ⊆ ''T''}}」は {{mvar|S}} が {{mvar|T}} の[[部分集合]]であることを意味する。必要に応じて「{{math|''T'' ⊇ ''S''}}」とも書く。他も同じ。
{{math|⊆}} は {{mvar|S}} と {{mvar|T}} が等しい場合を含み、[[真部分集合]]に対しては {{math|⊊}} が用いられる。{{math|⊂}} は[[真部分集合]]のみを指す流儀と、一般の部分集合を指す流儀がある。{{math|⊂}} が一般の部分集合を表す場合には真部分集合を {{math|⊊}} によって表わし、{{math|⊂}} が真部分集合を表す場合には一般の部分集合を {{math|⊆}} によって表わす。<br />
{{math|∈}} と同様、{{math|⊄, ⊊}} などの記号もある。
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|集合演算
|- 
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[∩|<math>\cap</math>]]
| [[共通部分 (数学)|共通部分]]
| 「{{math|''S'' ∩ ''T''}}」は集合 {{mvar|S}} と集合 {{mvar|T}} の共通部分を表す。また<math>\textstyle\bigcap\limits_{\lambda\in\Lambda} S_\lambda</math>は、[[集合族]] {{math|(''S''<sub>''λ''</sub>)<sub>''λ''∈''Λ''</sub>}} の共通部分を表す。<math>\mathfrak{S}:=\{S_{\lambda}\ |\ \lambda \in \Lambda\}</math> のとき、上の集合族を <math>\textstyle\bigcap \mathfrak{S}</math>と書くことがある。
|-
! [[∪|<math>\cup</math>]]
| [[合併 (集合論)|和集合]]
| 「{{math|''S'' ∪ ''T''}}」は集合 {{mvar|S}} と集合 {{mvar|T}} の和集合を表す。また、<math>\textstyle\bigcup\limits_{\lambda\in\Lambda} S_\lambda</math>は、集合族 {{math|(''S''<sub>''λ''</sub>)<sub>''λ''∈''Λ''</sub>}} の和集合を表す。<math>\mathfrak{S}</math> が上欄のものであるとき、上の集合族を <math>\textstyle\bigcup \mathfrak{S}</math>と書くことがある。
|-
! [[プラス記号とマイナス記号|<math>+,</math>]] [[余積|<math>\sqcup,\coprod</math>]]
|[[非交和]]集合
|「<math>S\sqcup T</math>」は「{{math|''S'' ∪ ''T''}}」に同じであるが、{{math|''S'' ∩ ''T''}} が[[空集合]]であることを暗に述べている。
この場合、集合族の和集合は<math>\textstyle \coprod\limits_{\lambda\in\Lambda} S_\lambda</math>のように記す。
|-
!<math>\setminus,\ -</math>
|[[差集合]]
| 「{{math|''S'' {{Unicode|&#x2216;}} ''T''}}」は、集合 {{mvar|S}} から集合 {{mvar|T}} を除いた差集合を表す。「{{math|''S''&minus;''T''}}」も同じ。
|-
![[C|<math>\bullet^\mathrm{c},\ \complement \bullet</math>]]
|[[差集合|補集合]]
|{{math|''S''<sup>c</sup>}} は集合 {{mvar|S}} の補集合を表す。c は {{en|complement}} の略である。「<math>\complement S</math>」も同じ。
|-
![[2|<math>2^\bullet,\ \mathfrak{P}(\bullet),\ \mathcal{P}(\bullet)</math>]]
|[[冪集合]]
|{{math|2<sup>''S''</sup>}} は、{{mvar|S}} の部分集合をすべて集めた集合を表す。<math>\mathfrak{P}(S)</math> とも書く。
|-
! [[括弧|<math>(\bullet,\bullet,\dotsc)</math>]]
| [[タプル|順序対]]
| 元の順序付けられた組
|-
! [[×|<math>\times,\ \textstyle \prod</math>]]
| [[直積集合]]
| 「{{math|''S'' × ''T''}}」は {{mvar|S}} と {{mvar|T}} の直積を表す。一般に、集合族 {{math|(''S''<sub>''λ''</sub>)<sub>''λ''∈''Λ''</sub>}} の直積を<math>\textstyle\prod\limits_{\lambda\in\Lambda} S_\lambda</math>のように記す。
|-
! [[スラッシュ (記号)|<math>\bullet/\bullet</math>]]
| [[同値関係#商集合|商集合]]
| 「{{math|''S''/&sim;}}」は、集合 {{mvar|S}} の[[同値関係]] {{math|&sim;}} によって定まる {{mvar|S}} の商集合を表す。
|-
! [[Map|<math>\operatorname{Map}(\bullet,\bullet),\ \bullet^\bullet,\ \mathcal{F}(\bullet,\bullet)</math>]]
| [[配置集合]]
| {{math|Map(''S'', ''T'')}} や {{mvar|T<sup>S</sup>}} は {{mvar|S}} から {{mvar|T}} への写像をすべて集めた集合を表す。
|-
!<math>\triangle,\ \ominus</math>
| [[対称差]]
| [[対称差]]は、二つの集合に対し、一方には含まれるが他方には含まれない元をすべて集めた集合を表す: <math>P \, \triangle \, Q := ( P \cup Q ) \setminus ( P \cap Q )= ( P \setminus Q ) \cup ( Q \setminus P )</math></td></tr>
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|写像
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[矢印|<math>f\colon\bullet\to\bullet</math>]]
| 写像 
| 「{{math|{{Mvar|f}}: {{Mvar|S}} → {{Mvar|T}}}}」は、{{mvar|f}} が {{mvar|S}} から {{mvar|T}} への写像であることを示す。
|-
! [[矢印|<math>\bullet\mapsto\bullet</math>]]
| 元の対応
| <math>x \,\stackrel{f}{\mapsto}\, y</math> は、{{mvar|x}} を写像 {{mvar|f}} によって写したものが {{mvar|y}} であることを意味する。文脈上明らかであれば {{mvar|f}} の記述は省略される。
|-
! [[ビュレット (記号)|<math>\circ</math>]]
| [[写像の合成|合成写像]]
| 「<math>f\circ g</math>」は写像 {{Mvar|g}} と写像 {{Mvar|f}} の合成を表す。すなわち <math>(f\circ g)(x)=f(g(x))</math> である。
|-
!<math>\text{Im},\ \text{Image},\ \bullet[\bullet]</math>
| 像 || 写像 ''φ'' に対して、Image ''φ'' はその写像の像全体の集合（値域）を表す。写像<math>\varphi \colon X \to Y</math>に対して <math>\varphi[X]</math>とも書く。
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|二項関係演算
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[等号|<math>=</math>]]  
| 相等 || {{Math|{{Mvar|x}} {{=}} {{Mvar|y}}}} は {{Mvar|x}} と {{Mvar|y}} が等しいことを表す。
|-
! [[等号|<math>\ne</math>]]
| 不一致 || {{Math|{{Mvar|x}} ≠ {{Mvar|y}}}} は {{Mvar|x}} と {{Mvar|y}} が等しくないことを表す。
|-
! <math>\sim,\simeq,\approx,\fallingdotseq,\risingdotseq</math>
([[等号#ほぼ等しい]]を参照)
| ほぼ等しい
| 「{{Math|{{Mvar|x}} ≒ {{Mvar|y}}}}」または「{{math|{{Mvar|x}} ≈ {{Mvar|y}}}}」は {{mvar|x}} と {{mvar|y}} がほぼ等しいことを表す。記号 {{math|≒}} は日本など少数の地域でのみ通用し、{{math|≈}} の方が標準的である。その他にも {{math|∼, ≃, ≅}} などを同様の意味で用いることもある。近似においてどのくらい違いを容認するかは文脈による。多くの場合、[[誤差]]解析的な意味で用いられ、ある誤差の見積もりの下で両者が等しいことを示すが、そのほかにも[[漸近]]解析においては漸近的に等しいという意味で用いられる。
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|順序構造
! style="width:15%" | 記号 
! 意味
! style="width:60%" | 解説
|-
!  [[不等号|<math> < , > </math>]]
| 大小関係, [[順序集合|順序]]
| 「{{Mvar|x}} &lt; {{Mvar|y}}」は　{{Mvar|x}} と {{Mvar|y}} の間に何らかの[[順序]]が定まっていて、{{Mvar|x}} の方が「先」であることを示す。必要に応じて「{{Mvar|y}} &gt; {{Mvar|x}}」とも書く。
|-
!<math>\le,\ \ge,\ \leqq,\ \geqq</math>
| 大小関係, 順序
| 「{{Math|{{Mvar|x}} ≦ {{Mvar|y}}}}」とは「{{Math|{{Mvar|x}} < {{Mvar|y}}}} または {{Math|{{Mvar|x}} {{=}} {{Mvar|y}}}}」のことである。「{{Math|{{Mvar|x}} ≧ {{Mvar|y}}}}」も同様に定義される。
|-
!<math>(\cdot,\cdot),\ ]\cdot,\cdot[</math>
| 開区間 
| ({{Mvar|a, b}}) は {{Math|<nowiki>{</nowiki>{{Mvar|x}} : {{Mvar|a}} &lt; {{Mvar|x}} &lt; {{Mvar|b}}<nowiki>}</nowiki>}} を表す。
|-
!<math>[\cdot,\cdot]</math>
| 閉区間 ||{{Math|&#91;{{Mvar|a}}, {{Mvar|b}}&#93;}} は <nowiki>{</nowiki>{{Mvar|x}} : {{Math|{{Mvar|a}} ≦ {{Mvar|x}} ≦ {{Mvar|b}}<nowiki>}</nowiki>}} を表す。 
|-
!<math>(\cdot,\cdot],\ ]\cdot,\cdot],\ [\cdot,\cdot),\ [\cdot,\cdot[</math>
| 半開区間
| ({{Mvar|a}}, {{Mvar|b}}&#93; は {{Math|<nowiki>{</nowiki>{{Mvar|x}} : {{Mvar|a}} &lt; {{Mvar|x}} ≦ {{Mvar|b}}<nowiki>}</nowiki>}} を表す
|-
! <math>\sup</math>
| [[上限 (数学)|上限]]
| 集合 {{Mvar|S}} に対し、{{Math|sup {{Mvar|S}}}} は {{Mvar|S}} の上限を表す。また、写像 {{Mvar|f}} に対し、{{Math|{{Mvar|f}}&thinsp;({{Mvar|S}})}} の上限を<math>\sup_{x\in S} f(x)</math>とも書く. これは <math>\sup\{f(x);\ x\in S\}</math>の略記である。

その他、幾つかの記法のバリエーションがある。
|-
! <math>\inf</math>
| [[下限]]
| 上限の対義語で、記法は上限と同様。
|-
! <math>\max</math>
| [[最大値]]
| 記法は上限と同様
|-
! <math>\min</math>
| [[最小値]]
| 記法は上限と同様
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|特定の集合
! style="width:15%" | 記号 !! 意味
|-
! [[空集合|<math>\varnothing,\emptyset</math>]]
| [[空集合]]
|-
! [[P|<math>\mathbf{P},\ \mathbb{P}</math>]]
| [[素数]] (Prime numbers) の全体、[[射影空間]]など
|-
! [[N|<math>\mathbf{N},\ \mathbb{N}</math>]]
|[[自然数]] (Natural numbers) の全体
|-
! [[Z|<math>\mathbf{Z},\ \mathbb{Z}</math>]]
| [[整数]] (独: Zahlen) の全体
|-
! [[Q|<math>\mathbf{Q},\ \mathbb{Q}</math>]]
|[[有理数]] (Rational numbers) の全体
|-
! [[R|<math>\mathbf{R},\ \mathbb{R}</math>]]
| [[実数]] (Real numbers) の全体
|-
! [[A|<math>\mathbf{A},\ \mathbb{A}</math>]]
|[[代数的数]] (Algebraic numbers) の全体、アフィン空間、アデールなど
|-
! [[C|<math>\mathbf{C},\ \mathbb{C}</math>]]
| [[複素数]] (Complex numbers) の全体
|-
! [[H|<math>\mathbf{H},\ \mathbb{H}</math>]]
|[[四元数]] (Hamilton numbers) の全体
|-
! [[O|<math>\mathbf{O},\ \mathbb{O}</math>]]
| [[八元数]] (Octonions) の全体
|-
! [[S|<math>\mathbf{S},\ \mathbb{S}</math>]]
|[[十六元数]] (Sedenions) の全体
|-
! [[U|<math>\mathbf{U},\ \mathbb{U}</math>]]
|[[グロタンディーク宇宙]] (Grothendieck universe) の全体
|-
! <math>\mathbb{F}_q, \operatorname{GF}(q)</math>
| [[位数 (群論)|位数]] {{Mvar|q}} の[[有限体]]
|-
! <math>\Delta_X</math> 
| [[対角線集合]]：<math>\Delta_X :=\{ (x,x);\ x \in X\}</math>。
|-
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|濃度
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[バーティカルバー|{{Unicode|&#124;•&#124;}}]], card, #
| [[基数|濃度]]
| {{Unicode|&#124;{{Mvar|S}}&#124;}} は集合 {{Mvar|S}} の濃度を表す。{{Math|card {{Mvar|S}}}} や {{Math|#{{Mvar|S}}}} も同じ。
|-
!<math>\aleph_0,\ \mathfrak{a},\ \beth_0</math>
|[[可算無限集合|可算]]濃度
|自然数全体の集合の濃度。これは極小（[[選択公理]]を認める場合は最小）の無限濃度である。
|-
!<math>\aleph,\ \mathfrak{c},\ \beth_1</math>
|[[連続体濃度]]
|実数全体の集合の濃度。これが可算濃度の次の濃度であるというのが[[連続体仮説]]である。
|}

==位相空間論の記号==
以下、{{Mvar|X,&nbsp;Y}} などは集合を表す。

{| class="wikitable" style="width:90%"
|-
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! <math>\mathcal{O},\ \mathfrak{O}</math> 
| [[開集合]]系 || {{Mvar|X}} 上に定まる開集合系を表す。開集合系によって位相を定める文脈では {{Mvar|X}} を <math>(X,\mathcal{O})</math> などとも書く。
|-
! <math>\mathcal{C},\ \mathfrak{C}</math> 
| [[閉集合]]系 || {{Mvar|X}} 上に定まる閉集合系を表す。閉集合系によって位相を定める文脈では {{Mvar|X}} を <math>(X,\mathcal{C})</math> などとも書く。
|-
! <math>B(x,r),\ B_r(x),\ B_X(x,r)</math> 
| 開[[球体]] || <math>x \in X</math> を中心とする半径 <math>r>0</math> の開球体を表す。どの集合の位相で考えているかを明記するときは <math>B_X(x,r)</math> のように書く。
|-
! <math>\text{Int}\, X,\ X^\circ</math> 
| [[内部 (位相空間論)|内部]]、開核 || {{Mvar|X}} の内部 (interior) を表す。
|-
! <math>X^-,\ \overline{X},\ \text{Cl}\, X</math>
| [[閉包 (位相空間論)|閉包]]
| {{Mvar|X}} の閉包 (closure) を表す。
|-
! <math>\partial X</math>
| [[境界 (位相空間論)|境界]]
| {{Mvar|X}} の境界 (frontier, boundary) を表す。
|-
! <math>\mathcal{O}_Y</math> 
| [[相対位相]] || 位相空間 <math>(X,\mathcal{O})</math> と <math>Y \subset X</math> に対して、<math>\mathcal{O}_Y</math> は相対位相を表す。
|-
|}

== 定数 ==
{{main|数学定数}}
ある数学定数を表すために広く習慣的に使われる記号がいくつかある。
{|class="wikitable" style="width:90%"
! style="width:15%" | 記号!!意味
! style="width:60%" | 解説
|-
![[0|<math>0</math>]], [[O|<math>O</math>]]
|[[加法単位元]]([[零元]])
|[[加法]]における単位元、乗法の零元などを指す。加法的代数系の単位元を {{math|0}} あるいは {{math|0{{sub|''S''}}}} と書く。
|-
![[1|<math>1</math>]]
|[[乗法単位元]]
|[[乗法]]における単位元、加法の零元などを指す。乗法的代数系の単位元を 1 あるいは {{math|1{{sub|''S''}}}} と書く。
|-
![[Π|{{π}}]] 
|[[円周率]] 
|円の直径に対する円周の比。しばしば平面の名称にも用いられる。
|-
![[e|{{Mvar|e}}]]
|[[ネイピア数]]（自然対数の底）
|リンク先参照。定義の一例として<math>\frac{d}{dx} a^x =a^x</math> なる {{Mvar|a}}。
|-
![[i|{{Mvar|i}}]], [[j|{{Mvar|j}}]], [[k|{{Mvar|k}}]]
|[[虚数単位]]
|[[自乗]]して {{Math|−1}} となる数。[[電気工学]]系では電流 {{Mvar|i}} との混同を避けるためしばしば {{Mvar|j}} を用いて、{{Math|1}}, {{Mvar|i}} と共に四元数体の、<math>\mathbb{R}</math>上のベクトル空間としての基底をなす。
|}

== 幾何学の記号 ==
{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|初等幾何
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[合同記号|<math>\equiv</math>]] 
| [[図形の合同|合同]] || 適当な方法で一致させることができる図形の間の関係。
|-
! [[相似記号|∽]], <math>\sim</math>
| [[相似]]
| △{{Mvar|ABC}}∽△{{Mvar|DEF}}で△{{Mvar|ABC}}と△{{Mvar|DEF}}が相似であることを表す。
|-
! [[括弧|<math>(\bullet,\bullet,\dotsc)</math>]]
| [[座標]]
| {{Math|({{Mvar|a}}, {{Mvar|b}}) {{=}} (1, 4)}}で平面における座標{{Mvar|a, b}}がそれぞれ{{Math|1}}と{{Math|4}}に位置することを表す。
|-
! [[角記号|<math>\angle</math>]]
| [[角度|角]]
|∠{{Mvar|ABC}}や∠{{Mvar|B}}で点{{Mvar|B}}における角を表す。また、複素数の複素平面上におけるベクトルが実軸となす角度を表す。
|-
! [[直角記号|∟]]
| [[直角]]
| ∟{{Mvar|ABC}}で点{{Mvar|B}}における角が直角であることを表す。
|-
! [[垂直記号|<math>\bot</math>]]
| [[垂直]]
| {{Mvar|AB}}⊥{{Mvar|CD}}で直線{{Mvar|AB}}と直線{{Mvar|CD}}が垂直であることを表す。
|-
! [[平行記号|<math>/\!/,\ \parallel</math>]]
| [[平行]]
| {{Math|{{Mvar|AB}}∥{{Mvar|CD}}}}で直線{{Mvar|AB}}と直線{{Mvar|CD}}が平行であることを表す。
|-
! [[⌒|<math>\frown</math>]]
| [[弧]]
| {{Mvar|{{overset|⏜|AB}}}} で点 {{Mvar|A}} と点 {{Mvar|B}} を結ぶ弧を表す。
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|距離空間
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! <math>d(\bullet,\bullet)</math>
| [[距離函数|距離関数]] || {{Math|{{Mvar|d}}({{Mvar|x, y}})}} で {{Mvar|x}} と {{Mvar|y}} との距離を表す。
|-
! <math>\operatorname{diam}(\bullet)</math>
| [[径]] || {{Math|diam({{Mvar|X}})}} は {{Math|{{Mvar|d}}({{Mvar|x, y}})}} ({{Mvar|x, y}} &isin; {{Mvar|X}}) 全体の集合の上限。
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|[[代数的トポロジー]]
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[H|<math>H^\bullet(\bullet)</math>]]
| [[コホモロジー]] 
| ホモロジー論と代数トポロジーにおいては[[コチェイン複体]]から定義される[[アーベル群]]の列を意味する一般的な用語である。
|-
! [[H|<math>H_\bullet(\bullet)</math>]]
| [[ホモロジー (数学)|ホモロジー]] 
| [[代数的位相幾何学]]や[[抽象代数学]]において、'''ホモロジー''' （「同一である」ことを意味する[[ギリシャ語]]のホモス (ὁμός) に由来）は与えられた数学的対象。
|-
! [[Π|<math>\pi(\bullet)</math>]] 
| [[ホモトピー]] 
| ホモトピーとは、点や線や面などの幾何学的対象、あるいはそれらの間の連続写像が連続的に移りあうということを定式化した位相幾何学における概念のひとつである。
|}

== 解析学の記号 ==

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|極限操作
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! [[不等号|<math>\ll</math>]]
| 非常に小, [[ランダウの記号#その他の漸近記法|漸近記法]]
| 「{{Math|{{Mvar|x}} ≪ {{Mvar|y}}}}」は {{Mvar|x}} が {{Mvar|y}} に比べて非常に小さいことを表す。「どれくらい」小さいかは文脈による。

また、函数の漸近挙動を表すこともある。{{Mvar|D}} を <math>\mathbb{R}^{n}</math> または <math>\overline{\mathbb{R}}</math> の部分集合とし、<math>a \in \overline{D}</math> とする。函数 {{Mvar|g}} は、{{Mvar|a}} の除外近傍 {{Math|{{Mvar|U}}{{sub|0}}}} と {{Mvar|D}} の共通部分 <math>U_{0} \cap D</math> 上で <math>g(x) \neq 0</math> となる函数とする。函数 {{Mvar|f}} が

<math>\lim_{x \to a}\frac{f(x)}{g(x)}=0</math>

をみたすとき、{{Mvar|a}} の周辺では {{Mvar|f}} は {{Mvar|g}} にくらべて'''無視できる'''といい、<math>f \ll g</math> と記す。<ref>{{Cite book|和書|title=解析入門I|date=2019年5月13日|publisher=一般財団法人　東京大学出版会|page=114|author=杉浦光夫|author-link=杉浦光夫|language=日本語|isbn=978-4-13-062005-5}}</ref>
|-
! [[不等号|<math>\gg</math>]]  
| 非常に大
| 「{{Math|{{Mvar|x}} ≫ {{Mvar|y}}}}」は {{Mvar|x}} が {{Mvar|y}} に比べて非常に大きいことを表す。「どれくらい」大きいかは文脈による。
|-
! <math>\wedge,\ \vee</math>
| 小さくない方, 大きくない方
| <math>x\wedge y</math> で {{Mvar|x}}, {{Mvar|y}} の小さくない方を、<math>x\vee y</math> で {{Mvar|x}}, {{Mvar|y}} の大きくない方を表すことがある。
|-
! [[lim|<math>\lim</math>]]
| [[極限]] || 数列 {{Math|{{Mvar|a}}{{sub|{{Mvar|n}}}}}} に対し、<math>\lim_{n\to\infty} a_n</math> はその数列の極限値を表す。<br>
また、関数 {{Math|{{Mvar|f}}&thinsp;({{Mvar|x}})}} に対し、<math>\lim_{x\to c} f(x)</math> は {{Math|{{Mvar|f}}&thinsp;({{Mvar|x}})}} の {{Mvar|c}} における極限値を表す。
|-
! [[lim|<math>\limsup, \varlimsup</math>]]
| [[上極限]] || <math>\limsup_{n\to\infty} a_n = \inf_{n \in \mathbb{N}} \sup_{k \geq n} a_k</math>
|-
! [[lim|<math>\liminf, \varliminf</math>]]
| [[下極限]] || <math>\liminf_{n\to\infty} a_n = \sup_{n \in \mathbb{N}} \inf_{k \geq n} a_k</math>
|-
! [[O|<math>o(\bullet)</math>]] 
| rowspan="6" | [[ランダウの記号#その他の漸近記法|漸近記法]]
| rowspan="6" | 関数の漸近挙動を表す。
|-
! [[O|<math>O(\bullet)</math>]] 
|-
! [[Θ|<math>\Theta(\bullet)</math>]] 
|-
! [[Ω|<math>\Omega(\bullet)</math>]]
|-
! [[チルダ|<math>\bullet\sim\bullet</math>]]
|-
! [[等号#ほぼ等しい|<math>\bullet\approx\bullet</math>]]
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|微分積分
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
!  [[プライム|<math>\bullet'</math>]]
| rowspan="2" | [[導関数]], [[微分]]
| rowspan="2" | 関数 {{mvar|f}} に対し、{{mvar|f{{'}}}} は {{mvar|f}} の導関数を表す（[[ラグランジュの記法]]）。{{'}} はダッシュとも[[プライム]]とも読まれる。

また、次のようにも表記される。
:<math>\frac{d}{dx}f(x),\ \frac{df}{dx}(x)</math>
|-
! <math>\frac{d}{dx}\bullet</math>
|-
! [[∂|<math>\partial</math>]] 
| [[偏微分]]
| <math>\frac{\partial f(x,y)}{\partial x}</math>：多変数関数 {{math|''f''&thinsp;(''x'', ''y'')}} の {{mvar|x}} に関する偏微分を表す。
|-
! rowspan="3" | [[積分記号|<math>\int</math>]] 
| rowspan="3" | [[積分]]
| <math>\int_{a}^b f(x) dx</math> : 関数 {{Math|''f''&thinsp;(''x'')}} の区間 {{Math|[{{Mvar|a}}, {{Mvar|b}}]}} における積分を表す。
|-
| <math>\int_D \,f(x) dx</math> : {{Math|''f''&thinsp;(''x'')}} の領域 {{Math|''D''}} における積分を表す。
|-
| <math>\int f(x) dx</math> : {{Math|''f''&thinsp;(''x'')}} の不定積分。または、積分域が明らかな場合の略記。
|-
! [[積分記号|<math>\oint</math>]] 
| [[線積分]]
| <math>\oint_D \,f(x) dx</math> : {{Math|''f''&thinsp;(''x'')}} の領域 {{Math|''D''}} における線積分を表す。
|-
! [[積分記号|<math>\iint</math>]] 
| [[面積分]]
| <math>\iint_D \,f(x) dx</math> : {{Math|''f''&thinsp;(''x'')}} の領域 {{Math|''D''}} における面積分を表す。
|-
! [[積分記号|<math>\iiint</math>]] 
| [[体積積分]]
| <math>\iiint_D \,f(x) dx</math> : {{Math|''f''&thinsp;(''x'')}} の領域 {{Math|''D''}} における体積積分を表す。
|-
! [[ナブラ|<math>\nabla\bullet</math>]]
| [[ナブラ]]
| 各成分を微分するベクトル微分作用素を表す。
|-
! [[△|<math>\triangle\bullet</math>]]
| rowspan="2" | [[ラプラシアン]]
| rowspan="2" | 2つの {{math|∇}} の内積になるラプラスの微分作用素を表す。
|-
! [[Δ|<math>\Delta\bullet</math>]]
|-
! [[四角 (記号)|<math>\Box\bullet</math>]]
| [[ダランベルシアン]]
| 物理学において、[[時空]]の空間成分のラプラシアンに[[時間]]成分を加えたもの。
|-
! <math>C^\bullet</math>
| 
| <math>C^k = C^k(D)</math> は {{Math|''D''}} 上で定義された {{Math|''k''}} 回[[連続微分可能]]な関数からなる集合を表す。
|-
! <math>\operatorname{div}\bullet</math>
| [[発散 (ベクトル解析)|発散（湧き出し）]]
| [[ベクトル場]] {{math|'''A'''('''x''')}} に対する {{math|∇&sdot;'''A'''('''x''')}} を与える。
|-
! <math>\operatorname{rot}\bullet,\operatorname{curl}\bullet</math>
| [[回転 (ベクトル解析)|回転（渦度）]]
|[[ベクトル場]] {{math|'''A'''('''x''')}} に対する {{math|∇×'''A'''('''x''')}} を与える。
|-
! <math>\operatorname{grad}\bullet</math>
| [[勾配 (ベクトル解析)|勾配]]
| [[スカラー場]] {{math|''f''&thinsp;('''x''')}} に対する {{math|∇''f''&thinsp;('''x''')}} を与える。
|}

{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|関数グラフ
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! <math>\beta(x)</math>
| [[ベータ関数]]
| 
|-
! <math>\zeta(x)</math>
| [[ゼータ関数]] 
| 
|-
! <math>\mathrm{erf}(x)</math>
| [[誤差関数]] 
|特殊関数の一種。

<math>\mathrm{erf}\left(x\right) \colon = \frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2}\,dt</math>

で定義される。
|-
! [[∝]]
| [[比例]]
| 変数が比例の関係にある場合に使用する。例として、{{Mvar|y}} が {{Mvar|x}} に比例するとき、{{Math|''y''&nbsp;∝&nbsp;''x''}}と表す。
|}

== 代数学の記号 ==
{|class="wikitable" style="width:90%"
|+ style="text-align:left;"|算術記号
!style="width:15%"|記号!!意味
!style="width:60%"|解説
|-
![[プラス記号とマイナス記号|<math>+</math>]]
|正符号
|rowspan="2"|{{mvar|x}} の[[反数]]（[[加法]]に関する[[逆元]]）を表すために負符号を用いて {{math|&minus;''x''}} と記す。反数を与える演算を負符号で表すことに対応して、{{mvar|x}} 自身を与える[[恒等写像|恒等変換]]に正符号を用い、その結果を {{math|+''x''}} のように表すことがある。
|-
![[プラス記号とマイナス記号|<math>-</math>]]
|負符号
|-
![[プラス記号とマイナス記号|<math>+</math>]]
|[[加法]]||{{math|''x'' + ''y''}} は {{mvar|x}} と {{mvar|y}} の和を表す
|-
![[Σ|<math>\textstyle\sum</math>]]
|[[総和]]||
:<math>\textstyle\sum\limits_{k=1}^n a_k := a_1 + a_2 + \dotsb + a_{n-1} + a_n</math>
と定義され、その[[極限]]として定まる[[無限和]]を
:<math>\textstyle\sum\limits_{k=1}^\infty a_k \equiv \lim\limits_{n \to \infty} \sum\limits_{k=1}^n a_k</math>
と書く。またある命題 {{math|''P''(''x'')}} があるとき、{{math|''P''(''x'')}} を満たすような各 {{mvar|k}} についての和を取ることを
:<math>\textstyle\sum\limits_{P(k)} \,a_k</math>
と書く。
|-
![[プラス記号とマイナス記号|<math>-</math>]]
|[[減法]]||{{math|''x'' &minus; ''y''}} は {{mvar|x}} と {{mvar|y}} の差を表す。通常、{{mvar|y}} の[[反数]] {{math|&minus;''y''}} を用いて {{math|''x'' + (&minus;''y'')}} と定義されている。
|-
![[プラスマイナス記号|<math>\pm</math>]]
|[[加法]]と[[減法]]||{{math|''x'' ± ''y''}} は {{mvar|x}} と {{mvar|y}} の和と差を表す。
|-
![[×|<math>\times</math>]]
|rowspan="3"|[[乗法]]
|rowspan="3"|{{math|''x'' × ''y''}} は {{mvar|x}} と {{mvar|y}} の積を表す。[[中黒]] (bullet operatorまたはdot operator) を使って {{math|''x'' · ''y''}} と書いたり、アスタリスクを使って {{math|''x'' * ''y''}} とも書く。特にアスタリスクは多くの[[プログラミング言語]]において乗法の演算子として用いられる。
|-
![[中黒|<math>\cdot</math>]]
|-
![[アスタリスク|<math>*</math>]]
|-
!<math>\bullet^{-1}</math>
|[[乗法逆元]]
|{{Math|{{Mvar|x}}{{sup|-1}}}}はある数{{Mvar|x}}との積が{{Math|1}}となる数を表す。{{Sfrac|1|{{Mvar|x}}}}と書かれることもある。
|-
![[Π|<math>\textstyle\prod</math>]]
|[[総乗]]||<math>\textstyle \sum</math> はたくさんの加法を一挙に表すものであったが、<math>\textstyle\prod</math> はたくさんの乗法を一挙に表すものである。
:<math>\textstyle\prod\limits_{k=1}^n a_k = a_1 \times a_2 \times \dots\times a_n</math>
他の記法のバリエーションも <math>\textstyle \sum</math> に同じ。
|-
![[除算記号|<math>\div</math>]]
|rowspan="2"|[[除法]]
|rowspan="2"|{{math|''x'' ÷ ''y''}} は {{mvar|x}} を {{mvar|y}} で割った[[除法|商]]と[[剰余]]の組か、あるいは商を表す。{{math|''x'' ÷ ''y''}} の商はしばしば[[分数]] {{math|{{sfrac|''x''|''y''}}}} で表され、また斜線自体を商を与える演算子と見なすことがある。多くの[[プログラミング言語]]においては商を与える演算子として <code>/</code> が定義されている。
|-
![[スラッシュ (記号)|<math>/</math>]]
|-
![[感嘆符|<math>!,</math>]][[$|<math>\, \$</math>]]
|(順に)[[階乗]], [[超階乗]]||{{math|''n''!}} は {{mvar|n}} の階乗を表す。{{math|''n''$}} は {{mvar|n}} の[[超階乗]]を表す。
|-
!<math>\delta_{ij}</math>
|[[クロネッカーのデルタ]]||{{math|1=''i'' = ''j''}} のとき {{math|1}}、{{math2|''i'' ≠ ''j''}} のとき {{math|0}}。 
|-
!<math>\lfloor \bullet \rfloor, [ \bullet ]</math>
|[[床関数と天井関数|床関数]]||<math>\lfloor x \rfloor</math> は {{mvar|x}} 以下の最大整数を表す。
|-
!<math>\lceil \bullet \rceil</math>
|[[床関数と天井関数|天井関数]]||<math>\lceil x \rceil</math> は {{mvar|x}} 以上の最小整数を表す。
|-
!<math>\binom{n}{k},\, {}_n\text{C}_k,\, C_k^n</math>
|[[二項係数]]（[[組合せ (数学)|組合せ]]）
|通常は括弧書きで表される。C を使った記法は様々なバリエーションがある。
|}

{|class="wikitable" style="width:90%"
|+ style="text-align:left;"|合同算術・初等数論
!style="width:15%"|記号!!意味
!style="width:60%"|解説
|-
!<math>\operatorname{mod},</math>[[パーセント記号|<math>\, \%</math>]]
|[[除法|剰余]]
|「{{math2|''x'' mod ''y''}}」は整数 {{mvar|x}} の属する法 {{mvar|y}} の[[合同式|剰余類]]や、{{mvar|x}} を {{mvar|y}} で割った余りを表す{{要出典|date=2025年1月}}。[[C言語]]やその影響を受けた[[プログラミング言語]]などでは整数の剰余を与える演算子として <code>%</code> が定義されている<ref group="注">言語によっては <code>%</code> を[[エスケープ文字|エスケープ]]する必要があり、たとえば[[R言語]]では <code>%%</code> が用られる。</ref>。[[Fortran]] のように <code>mod</code> を用いる言語も存在する。
|-
![[バーティカルバー|<math>|</math>]]
|割り切る||{{math|''x'' <math>|</math> ''y''}} は、{{mvar|x}} が {{mvar|y}} を割り切る、つまり {{mvar|x}} は {{mvar|y}} の[[約数]]であることを表す。
|-
!<math>\not|</math>
| <math>|</math> の否定（割り切れない）
|<!--「(x|y)の否定」の説明文-->{{math|''x'' <math>\not|</math> ''y''}} は、{{mvar|x}} は {{mvar|y}} の約数ではないことを表す。
|-
![[合同記号|<math>\bullet \equiv \bullet \pmod \bullet</math>]]
|[[合同式|合同]]
|{{math|''n'' &equiv; ''m'' (mod ''d'')}} は {{mvar|n}} と {{mvar|m}} が {{mvar|d}} を[[除法|法]]として合同であることを示す。
|-
!<math>\operatorname{ord}(\bullet)</math>
|[[位数 (群論)|位数]]
|ある[[群 (数学)|群]]の[[元 (数学)|元]]の個数を群の位数という。また群の元 {{mvar|x}} に対し、{{math|ord ''x''}} は {{mvar|x}} の生成する[[巡回群]]の位数を表す。
|-
!<math>(\bullet,\bullet)</math>
|rowspan="2"|[[最大公約数]]
|rowspan="2"|{{math|(''a'', ''b'')}} は {{mvar|a}} と {{mvar|b}} の最大公約数を表す。{{math|gcd}} は {{en|greatest common divisor}} の略である。[[プログラミング言語]]の数学ライブラリにおいて、最大公約数を与える関数（[[サブルーチン]]）が <code>gcd</code> としてしばしば定義される。
|-
!<math>\gcd(\bullet,\bullet)</math>
|-
!<math>\bullet^{-1}</math>
|[[モジュラ逆数]]
|整数 {{Mvar|a}} と法 {{Mvar|m}} について

<math>ax \equiv 1 \pmod{m}</math>

を満たす {{Mvar|x}} をモジュラ逆数といい、{{Math|{{Mvar|a}}{{sup|-1}}}} で表す。
|}

{|class="wikitable" style="width:90%"
!style="width:15%"|記号!!意味
!width="60%"|解説
|-
![[E|<math>e</math>]]
|冪等元
|環の冪等元をしばしば {{mvar|e}} で表す。
|-
![[p|<math>p</math>]]
|プラスチック数
|{{mvar|p}} は<math>x^3=x+1,\;</math>という代数方程式の唯一の解。
|}

{|class="wikitable" style="width:90%"
!style="width:15%"|記号!!意味
!style="width:60%"|解説
|-
!<math>|\bullet|</math>
|rowspan="2"|[[絶対値]]
|rowspan="2"|{{math|{{abs|''x''}}}} は {{mvar|x}} の絶対値である。
|-
!<math>\operatorname{abs}(\bullet)</math>
|-
![[双柱|<math>\|\bullet\|</math>]]
|[[ノルム]]||{{math|{{norm|''x''}}}} は {{mvar|x}} のノルムである。
|-
!<math>\Re\bullet</math>
|rowspan="2"|実部
|rowspan="4"|[[複素数]] {{mvar|z}} に対し、{{math|Re(''z'')}} はその実部を、{{math|Im(''z'')}} はその虚部を表す。{{math2|''z'' {{=}} Re(''z'') + ''i'' Im(''z'')}}
|-
!<math>\operatorname{Re}\bullet</math>
|-
!<math>\Im\bullet</math>
|rowspan="2"|虚部
|-
!<math>\operatorname{Im}\bullet</math>
|-
![[オーバーライン|<math>\overline{\bullet}</math>]]
|[[共役複素数]]
|複素数 {{mvar|z}} に対し、<math>\bar z</math> はその共役複素数を表す。
|-
!<math>\operatorname{deg}\bullet</math>
|次数
|多項式 {{mvar|f}} に対して、{{math|deg ''f''}} はその次数を表す。
|-
![[根号|<math>\sqrt{\bullet},\sqrt[\bullet]{\bullet}</math>]]
|[[冪根]]、[[根基]]
|{{math|{{radic|''x''|''n''}}}} は {{mvar|x}} の {{mvar|n}}乗根を表す。{{mvar|n}} が 2 であるときには単に {{math|{{sqrt|''x''}}}} と書くことが多い。イデアルの根基を表す。
|-
!<math>\langle\bullet,\bullet\rangle</math>
|rowspan="2"|[[内積]]
|rowspan="2"|{{math|<''x'', ''y''>}} は {{mvar|x}} と {{mvar|y}} の内積を表す。
|-
!<math>(\bullet,\bullet)</math>
|}

{|class="wikitable" style="width:90%"
!style="width:15%"|記号!!意味
!style="width:60%"|解説
|-
!<math>\dim_\bullet \bullet</math>
|[[次元]]||[[ベクトル空間]] {{mvar|V}} に対し、「{{math|dim&thinsp;''V''}}」は {{mvar|V}} の次元を表す。
|- 
!<math>|\bullet|</math> 
|rowspan="2"|[[行列式]]
|rowspan="2"|{{math|{{abs|''X''}}}} は[[正方行列]] {{mvar|X}} の行列式である。
|-
!<math>\det(\bullet)</math>
|-
!<math>\operatorname{tr}(\bullet)</math>
|[[跡 (線型代数学)|跡]]
|{{math|tr(''X'')}} は正方行列 {{mvar|X}} の跡である。
|-
!<math>{}^t\bullet, \bullet^t</math>
|[[転置行列|転置]]
|{{mvar|{{sup|t}}X}} は行列 {{mvar|X}} の転置行列である。
|-
!<math>\operatorname{rank}\bullet</math>
|[[行列の階数|階数]]||[[線形写像]] {{mvar|φ}} に対して、{{math|rank&thinsp;''φ''}} は {{math|dim&thinsp;Im(''φ'')}} を表す。また、行列 {{mvar|A}} に対して、{{math|rank&thinsp;''A''}} は {{mvar|A}} の階数を表す。
|-
!<math>\operatorname{Ker}\bullet,\ \ker\bullet</math>
|[[核 (代数学)|核]]、[[零空間]]
|[[群 (数学)|群]]や[[環 (数学)|環]]の[[準同型]]、ベクトル空間の間の線形写像 {{mvar|φ}} に対して、{{math|Ker&thinsp;''φ''}} はその準同型の核を表す。
|-
!<math>\operatorname{Im}\bullet,\ \operatorname{im}\bullet</math>
|[[像 (数学)|像]]
|[[群 (数学)|群]]や[[環 (数学)|環]]の[[準同型]]、ベクトル空間の間の線形写像 {{mvar|φ}} に対して、{{math|Im&thinsp;''φ''}} はその準同型の像を表す。
|-
!<math>\operatorname{Hom}_\bullet(\bullet,\bullet)</math>
|[[準同型]]の[[集合]]
|{{math|Hom{{sub|'''K'''}}(''F'', ''G'')}} は、作用域 {{mathbf|K}} のある代数系 {{math2|''F'', ''G''}} の間の作用準同型 ({{en|homomorphism}}) 全体からなる集合を表す。
|-
!<math>\operatorname{Aut}(\bullet)</math>
|[[自己同型群]]
|{{math|Aut(''G'')}} は、{{mvar|G}} のそれ自身に対する[[同型]] ({{en|automorphism}}) 全体からなる[[群 (数学)|群]]を表す。
|-
!<math>\operatorname{Inn}(\bullet)</math>
|内部自己同型群
|{{math|Inn(''G'')}} は、{{mvar|G}} の[[内部自己同型]] ({{en|inner automorphism}}) 全体からなる[[群 (数学)|群]]を表す。
|-
!<math>\operatorname{End}(\bullet)</math>
|[[自己準同型]]
|{{math|End(''G'')}} は、{{mvar|G}} のそれ自身に対する準同型 (endomorphism) 全体からなる集合（[[モノイド]]）を表す。
|}

{|class="wikitable" style="width:90%"
!style="width:15%"|記号!!意味
!style="width:60%"|解説
|-
!<math>\langle \bullet \rangle</math>
|[[生成 (数学)|生成]]
|{{mvar|G}} を[[群 (数学)|群]]とすると、{{mvar|G}} の部分集合 {{mvar|S}} に対し、{{math|&lang;''S''&rang;}} は {{mvar|S}} の[[群の生成系|生成する部分群]]を表す。特に、{{mvar|S}} が[[シングルトン|一元集合]] {{math|1=''S'' = {{mset|''x''}}}} であるときには {{math|&lang;''x''&rang;}} とも書く。これは {{mvar|x}} の生成する巡回群である。環やベクトル空間などについても同様の記法を使う。
|- 
!<math>(\bullet)</math>
|生成する[[イデアル]]||{{math|(''a'', ...)}} は {{math|''a'', ...}} の生成するイデアル
|-
!<math>K[\bullet]</math>
|[[多項式環]]、生成する環||{{mvar|K}} を[[可換環]]とするとき、{{math|''K''[''x'', ...]}} は {{mvar|K}} と {{math|{''x'', ...}}} を含む最小の[[環 (数学)|環]]。生成系が[[不定元]]のみからなれば多項式の環である。
|-
!<math>K(\bullet)</math>
|有理関数環、生成する体||{{mvar|K}} を[[可換体]]とするとき、{{math|''K''(''x'', ...)}} は {{mvar|K}} と {{math|{''x'', ...}}} を含む最小の[[体 (数学)|体]]。生成系が[[不定元]]のみからなれば有理式の体である。
|-
!<math>K\langle\bullet\rangle</math>
|非可換多項式環、生成する環||{{mvar|K}} を非可換環とするとき、{{math|''K''&lang;''x'', ...&rang;}} は {{mvar|K}} と {{math|{''x'', ...}}} を含む最小の環。
|}

== 統計学の記号 ==
{| class="wikitable" style="width:90%"
|+ style="text-align:left;"|統計学
! style="width:15%" | 記号 !! 意味
! style="width:60%" | 解説
|-
! r. v.
| [[確率変数]]
| {{en|random variable}} の略
|-
! p. m. f. あるいは pmf 
| [[確率質量関数]]
| {{en|probability mass function}} の略
|-
! p. d. f. あるいは pdf
| [[確率密度関数]]
| {{en|probability density function}} の略
|-
! <math>\sim</math>
| “確率変数”が“確率分布”に従う
| <math>\textstyle X \sim \mathcal{D}</math> は[[確率変数]] {{mvar|X}} が[[確率分布]] <math>\textstyle \mathcal{D}</math> に従うことを表す
|-
! i. i. d.
| [[独立同分布]]
| {{en|independent and identically distributed}} の略。{{math|''X''<sub>1</sub>, ..., ''X<sub>n</sub>'' i.i.d.}} は確率変数 {{math|''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>}} が同じ[[確率分布]]に[[独立 (確率論)|独立]]に従うことを表す
|-
! <math>P(\bullet), \mathbb{P}(\bullet)</math>
| [[確率]]
| {{math|''P''(''E'')}} は[[事象 (確率論)|事象]] {{mvar|E}} の確率
|-
! <math>E(\bullet), \mathbb{E}(\bullet)</math>
| [[期待値]]
| {{math|''E''(''X'')}} は[[確率変数]] {{mvar|X}}の期待値。
確率分布に対して定義する場合は「平均」と呼ばれる。
|-
! <math>V(\bullet)</math>
| [[分散 (確率論)|分散]]
| {{math|''V''(''X'')}} は[[確率変数]] {{mvar|X}} の分散
|-
! <math>\operatorname{Cov}(\bullet, \bullet)</math>
| [[共分散]]
| {{math|Cov(''X'', ''Y'')}} は[[確率変数]] {{mvar|X, Y}} の共分散
|-
! <math>N(\mu, \sigma^2)</math>
| [[正規分布]]
| [[平均]] {{mvar|&mu;}}, [[分散 (確率論)|分散]] {{math|''&sigma;''<sup>2</sup>}} の正規分布
|-
! <math>\rho</math>
| [[相関係数]]
| [[確率変数]]の相関係数
|-
! <math>dsv</math>
| [[代表値]]
| dsvはdescriptive statistics valueから来ている。
|-
! <math>median</math>
| [[中央値]]
| メジアン、メディアン、メデアンとも呼ぶ。
|-
! <math>range</math>
| [[範囲]]
| レンジとも呼ぶ。
|-
! <math>mode</math>
| [[最頻値]]
| モードとも呼ぶ。
|}

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Reflist|group="注"}}
=== 出典 ===
{{Reflist}}

== 参考資料 ==
*[[日本工業規格|JIS]] Z8201 数学記号
== 関連項目 ==
* [[物理定数]]
* [[黒板太字]]
* [[ISO 80000-2]] - [[ISO 31-11]]

{{数学}}

{{DEFAULTSORT:すうかくきこうのひよう}}
[[Category:数学記号|*]]
[[Category:論理記号|*]]
[[Category:数学の一覧]]
[[Category:数学に関する記事]]