查看“︁冒號 (數學)”︁的源代码

'''冒號（colon）'''是一個[[垂直]]兩[[點]]的[[符號]]（<math>:</math>）。在[[數學]]中，冒號被用來表示一個[[比例]]，或者做為[[函數]][[映射]][[表示式]]、或是[[集合 (数学)|集合]]建構式的一部分。
{{TOC limit}}

==比例==
{{main|比例}}
例如，<math>16:9</math> 是一個[[通用]]的[[長寬比_(影像)|影像長寬比]]。
<br />
[[戈特弗里德·莱布尼茨|莱布尼茨]]於 1684 年在 Acta Eruditorum [[期刊]]所發表的[[論文]]中，首次使用冒號來表示[[除法]]，<math>x:y</math> 亦即 <math>\frac{x}{y}</math> 的另一種寫法；這個符號在[[歐洲大陸]]流行起來，被用來表示除法與[[比例]]<ref>[https://archive.org/stream/historyofmathema031756mbp#page/n289/mode/2up] ''A History of Mathematical Notations Vol I'', page 271</ref>，[[英语圈|英語系]][[國家]]則使用[[除號]]來表示除法。到了現代，比例和除法分別用冒號和除號表示。

==函數映射表示式==
{{main|函數}}
例如，<math>f\colon X \rightarrow Y</math> 表示函數 <math>f</math> 是從 <math>X</math> 到 <math>Y</math> 的一個[[映射]]。
<br />
Oystein Ore 於 1936 年使用[[箭號]]來表示某元素的[[像_(數學)|像]]，Witold Hurewicz 於 1940 年給出現在所使用的格式來表示[[函數]]的[[映射]]。

==集合建構式==
{{main|集合建構式符號}}
一個集合的元素可以是用某種公式或條件所產生，這時候可以用[[集合建構式符號|集合建構式]]來表示，例如：
* [[正整數]]集合可用下列[[集合建構式符號|建構式]]表示：
** <math>\{x : x</math>''是大於 0 的整數''&nbsp;<math>\}</math> 
** <math>\{x :  x > 0 \land x \in \mathbb{Z}\}</math>
在這裡，冒號的意思是「使得（such that）」。

==參考==
* [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Ore.html Ore biography - MacTutor History of Mathematics] {{Wayback|url=http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Ore.html |date=20191111101548 }}
* [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Hurewicz.html Hurewicz biography - MacTutor History of Mathematics] {{Wayback|url=http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Hurewicz.html |date=20160305020201 }}

[[分類:數學符號]]