正の数（せいのかず、せいのすう、positive number）とは、3のような0より大きい実数である。負の数（ふのかず、ふのすう、negative number）とは、−3のような0より小さい実数である。数学において負の数はマイナス記号を数字の前につけて表されるが、簿記などにおいて数字を赤くしたり括弧でくくることによって表すこともある。

ゼロ自身は正でも負でもない。負でない数とはゼロより小さくない（つまり、正かゼロの）実数である。正でない数とはゼロより大きくない（つまり、負かゼロの）実数である。

集合の元に対し正負を定義するには、順序と零元の存在が必要十分条件である。したがって、整数、有理数、実数の中では正負を定義できるが、自然数（零元がない）、複素数（順序がない）の中では正負を定義できない。自然数は、実数（あるいは整数）の部分集合と考え全てを正とする。複素数については、そのうち実数についてのみ正負を論じ、虚数は正でも負でもないとする。そのため、明確化のために「正（負）の実数」と言うこともできる。

負の数

負の整数は、方程式 x − y = z がどんな x と y に対しても、 zに関する方程式として意味をもつように自然数の体系を拡張して得られるものだと考えられる。このような負の整数の捉え方と同様にして、負の有理数や負の実数も得られる。

負の数は、温度のように目盛り上でゼロより低くなる値を記述するのに役立つ。簿記においても、負債の表現に使用できる。簿記において、負債はしばしば赤い数字や括弧でくくった数字によって表わす。

負でない数

実数はゼロに等しいかそれより大きい（すなわち正であるかゼロである）ときかつそのときに限り、負でない。したがって負でない整数はゼロ以上のすべての整数であり、負でない実数はゼロ以上のすべての実数である。

行列の正負

実行列Aについて、Aが負でないということを、Aのすべての成分が負でない、というふうに定めることができる。このとき、実行列のうちには正とも負とも言えないものもあることになる。また、実行列Aについて、Aのすべての正方部分行列の行列式が負でないとき、Aのことを完全に非負（行列理論）あるいは、完全に正（コンピュータ科学者）と呼ぶことがある。

一方で、線形代数的な観点から、実対称行列やより一般に複素エルミート行列について、上とは異なった正負の概念がしばしば用いられる。エルミート行列Aは、その固有値の全てが負でないときに、負でない（あるいは単に、正である）とよばれる。Aが負でないということはある行列BについてAが B*.Bと書けることと同値になる。

符号関数

定義域が実数であり、正の数に対して1を、負の数に対して−1を、ゼロに対して0を返す関数 sgn(x) を定義できる。この関数は符号関数と呼ばれることがある。

このとき（x=0の場合を除き）以下の式が得られる。

ここで |x| は x の絶対値であり、H(x) はヘヴィサイドの階段関数である。微分法も参照。

複素符号関数

定義域が複素数であり、正の数に対して1を、負の数に対して-1を、ゼロに対して0を返す csgn(x) を定義できる 。この関数は複素符号関数と呼ばれることがある。

複素数の大小は以下のように解釈する。

符号付き数の算術演算

加法と減法

加法と減法の目的では、負の数は負債と考えることができる。

負の数を加えることは対応する正の数を引くことに等しい。

5 + (−3) = 5 − 3 = 2

（¥5を持っていて¥3を借りたら、純資産は¥2である）

–2 + (−5) = −2 − 5 = −7

減算と負符号の概念の混乱を避けるため、負符号はしばしば上付きで書かれる。

⁻2 + ⁻5 = ⁻2 − 5 = ⁻7

正の数をより小さな正の数から引くと、結果は負となる。

4 − 6 = −2

（¥4を持っていて¥6を使ったら、負債¥2が残る）

正の数を任意の負の数から引くと、結果は負となる。

−3 − 6 = −9

（負債が¥3あってさらに¥6を使ったら、負債は¥9となる）

負の数を引くことは対応する正の数を加えることと等価である。

5 − (−2) = 5 + 2 = 7

（純資産¥5を持っていて負債を¥2減らしたら、新たな純資産は¥7となる）

別の例

−8 − (−3) = −5

（負債が¥8あって負債を¥3減らしたら、まだ¥5の負債が残る）

乗法

負の数に正の数を掛けると、積は負となり、2つの負の数を掛けると、積は正となる。

−2 × 3 = −6

−4 × −3 = 12

これを理解する方法の1つは、正の数による乗法を加法の繰り返しとみなすことである。3 × 2 は各グループが2を含む3つのグループと考える。したがって、3 × 2 = 2 + 2 + 2 = 6 であり、当然 −2 × 3 = (−2) + (−2) + (−2) = −6 である。

負の数による乗法も加法の繰り返しとみなすことができる。たとえば、3 × −2は各グループが−2を含む3つのグループと考えられる。

3 × −2 = (−2) + (−2) + (−2) = −6

これは乗法の交換法則を満たすことに注意

3 × −2 = −2 × 3 = −6

「負の数による乗法」と同じ解釈を負の数に対しても適用すれば、以下のようになる。

しかし形式的な視点からは、2つの負の数の乗法は積の和に対する分配法則によって直接得られる。

除法

除法は乗法に似ている。被除数と除数の符号が異なるなら、商は負となる。

8 / −2 = −4

−10 / 2 = −5

両方の数が同じ符号を持つなら、商は（両方が負であっても）正となる。

−12 / −3 = 4

負の整数と負でない整数の形式的な構成

有理数の場合と同様、整数を自然数の順序対 (a, b) （これは整数 a − b を表していると考えることができる）を下に述べるようにして同一視したものとして定義することによって自然数の集合Nを整数の集合Zに拡張できる。これらの順序対に対する加法と乗法の拡張は以下の規則による。

(a, b) + (c, d) = (a + c, b + d)

(a, b) × (c, d) = (a × c + b × d, a × d + b × c)

ここで以下の規則により、これらの順序対に同値関係 ~ を定義する。

(a, b) ~ (c, d) となるのは a + d = b + c なる場合、およびこの場合に限る

この同値関係は上記の加法と乗法の定義と矛盾せず、ZをN²の ~ による商集合として定義できる。すなわち2つの順序対 (a, b) と (c, d) が上記の意味で同値であるとき同一視する。

さらに以下の通り全順序をZに定義できる。

(a, b) ≤ (c, d) となるのは a + d ≤ b + c となる場合、およびこの場合に限る

これにより加法の零元が (a, a) の形式で、(a, b) の加法の逆元が (b, a) の形式で、乗法の単位元が (a + 1, a) の形式で導かれ、減法の定義が以下のように導かれる。

(a, b) − (c, d) = (a + d, b + c).

負の数の起源

長い間、問題に対する負の解は「誤り」であると考えられていた。これは負の数を実世界で見つけることができなかったためである（たとえば、負の数のリンゴを持つことはできない）。その抽象概念は早ければ紀元前100年 – 紀元前50年には認識されていた。中国の『九章算術』には図の面積を求める方法が含まれている。赤い算木で正の係数を、黒い算木で負の係数を示し、負の数がかかわる連立方程式を解くことができた。紀元後7世紀ごろに書かれた古代インドの『バクシャーリー写本』^[1]は"+"を負符号として使い、負の数による計算を行っていた。これらが現在知られている最古の負の数の使用である。

プトレマイオス朝エジプトではディオファントスが3世紀に『算術』で 4x + 20 = 0 （解は負となる）と等価な方程式に言及し、この方程式はばかげていると言っており、古代地中海世界に負の数の概念がなかったことを示している。

7世紀の間に、負の数はインドで負債を表すために使われていた。インドの数学者ブラーマグプタは『ブラーフマスプタ・シッダーンタ』（628年）において、今日も使われている一般化された形式の解の公式を作るために、負の数を使うことについて論じている。彼は二次方程式の負の解を発見し、負の数とゼロがかかわる演算に関する規則も与えている。彼は正の数を「財産」、ゼロを「0 (cipher)」、負の数を「借金」と呼んだ^[2][3]。12世紀のインドで、バースカラも二次方程式に負の根を与えていたが、問題の文脈では不適切なものとして負の根を拒絶している。

8世紀以降、イスラム世界はブラーマグプタの著書のアラビア語訳から負の数を学び、紀元1000年ごろまでには、アラブの数学者は負債に負の数を使うことを理解していた。

負の数の知識は、最終的にアラビア語とインド語の著書のラテン語訳を通してヨーロッパに到達した。

しかし、ヨーロッパの数学者はそのほとんどが、17世紀まで負の数の概念に抵抗を見せた。ただしフィボナッチは、『算盤の書』（1202年）の第13章で負の数を負債と解釈し、後には『精華』で損失と解釈して金融問題に負の解を認めた。同時に、中国人は右端のゼロでない桁に斜線を引くことによって負の数を表した。ヨーロッパ人の著書で負の数が使われたのは、15世紀中のシュケによるものが最初であった。彼は負の数を指数として使ったが、「馬鹿げた数」であると呼んだ。

イギリスの数学者フランシス・マセレス[2]は1759年、負の数は存在しないという結論に達した^[4]。

負の数は現代まで十分に理解されていなかった。つい18世紀まで、スイスの数学者レオンハルト・オイラーは負の数が無限大より大きいと信じており（この見解はジョン・ウォリスと共通である）、方程式が返すあらゆる負の解を意味がないものとして無視することが普通だった^[5]。負の数が無限大より大きいという論拠は、 の商と、x が正の側から x = 0 の点に近づき、交差した時何が起きるかの考察によって生じている。

関連項目

• 負の二進数と負でない二進数
• ゼロの発見
• -0

脚注と参考文献

1. ^ Hayashi, Takao (2005), "Indian Mathematics", in Flood, Gavin, The Blackwell Companion to Hinduism, Oxford: Basil Blackwell, 616 pages, pp. 360-375, ISBN 9781405132510.
2. ^ Colva Roney-Dougal, Lecturer in Pure Mathematics at the University of St Andrews, stated this on the BBC Radio 4 "In Our Time", on Negative Numbers, 9 March 2006.
3. ^ Knowledge Transfer and Perceptions of the Passage of Time, ICEE-2002 Keynote Address by Colin Adamson-Macedo. [1]
4. ^ Maseres, Francis, 1731–1824. A dissertation on the use of the negative sign in algebra, 1758.
5. ^ Alberto A. Martinez, Negative Math: How Mathematical Rules Can Be Positively Bent, Princeton University Press, 2006; おもに1600年代から1900年代前半にかけての、負の数に関する論争の歴史。

外部リンク

• BBC Radio 4 series "In Our Time", on Negative Numbers, March 9, 2006（英語）
• Endless Examples & Exercises: Operations With Signed Integers（英語）
• Math Forum: Ask Dr. Math FAQ: Negative Times a Negative（英語）