整数
英語：integer
整数とは
整数とは、1、2、3、4、という数の連なり（自然数）と、0（ゼロ）、および負数（-1、-2、-3、-4、）を総称した言い方である。おおざっぱな解釈としては「小数でも分数でもない数」のことである。整数は、英語では integer と表現する。整数と正数の違い
数学における「せいすう」 には、「整数」の他に「正数」と表記される用語もある。整数と正数の違いは、正数は0よりも大きい数を指し、小数なども含むが、0と負数は含まない。一方、整数は小数などを含まない代わりに負数と0を含む。整数と正数は、個別に対比することは容易だが、一言で端的に言い切ることは容易でない。
整数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/25 09:06 UTC 版)
|
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。
|
整数の全体からなる集合は、一般に太字の 
自然数の全体 N は減法について閉じていないが、上ではそれを補完するものとして負整数を導入し、整数の全体 Z を構成した。それと本質的には変わらないが、よく知られる方法[3]としてここでは、減法を陽に持ち出さずに、自然数の加法と乗法のみから同値関係や商集合といった道具を使って、整数が厳密に構成できることを記しておく。なお、以下の構成では、自然数には 0 を含まないとする[note 2]。
まず、直積集合 N2 = N × N = {(a, b) | a, b は自然数} を考える[note 3]。N2 に同値関係 ∼ を
- (a, b) ∼ (c, d) ⇔ a + d = b + c
と定義することができる。ここで、N2 を同値関係 ∼ で類別した集合（商集合）N2/∼ を考える。これは、互いに同値なもの全体の集合（同値類）を元とするような集合であり、直観的には互いに同値であるようなものを同一視する操作である。(a, b) ∈ N2 の属する同値類を [a, b] ∈ N2/R と表すことにする。つまり、[a, b] は
- [a, b] = {(c, d) ∈ N2 | (a, b) ∼ (c, d)}
となる集合である。同値類を [a, b] のように表すとき、(a, b) をこの同値類の代表元と呼ぶ。代表元は同値なものでありさえすれば、他のものに取り替えることができる[note 3]。商集合 N2/∼ に加法 + と乗法 × を
- [a, b] + [c, d] = [a + c, b + d]
- [a, b] × [c, d] = [ac + bd, ad + bc]
と定義すると、これらは代表元の取り方によらずに、同値類同士の演算としてうまく定義されていることが確かめられる[note 3]。
このとき、[a, b] + [m, m] = [a + m, b + m] = [a, b] であるから、R = {(m, m) | m ∈ N} は N2/∼ の加法に関する単位元である。
また、自然数 m に対して [m + 1, 1] を対応させる写像は単射で、
- [m + 1, 1] + [n + 1, 1] = [m + n + 2, 2] = [(m + n) + 1, 1],
- [m + 1, 1] × [n + 1, 1] = [(m + 1)(n + 1) + 1, (m + 1) + (n + 1)] = [mn + 1, 1]
を満たす（準同型）から、 N は N2/∼ に演算まで込めて埋め込める [note 4]。
記号の濫用ではあるが、自然数 m を埋め込んだ先と同一視して m = [m + 1, 1] と書くことにし、これを（正の）整数 m と呼ぶ [note 5]。
同様の埋め込みは、自然数 m に対して [1, m + 1] を対応させることでも得られるが、和と積は
- [1, m + 1] + [1, n + 1] = [1, (m + n) + 1],
- [1, m + 1] × [1, n + 1] = [1 + (m + 1)(n + 1), (m + 1) + (n + 1)] = [mn + 1, 1]
となる。自然数 m に対し、新たな記号 −m を [1, m + 1] を表すものとして導入し、これを負整数 −m と呼ぶ [note 6]。
負整数同士の積が正整数になっていることが確認できる。
このとき、m + (−m) = [m + 1, 1] + [1, m + 1] = [m + 2, m + 2] = R だから、負整数 −m = [1, m + 1] は N2/∼ においてはちょうど、正整数 m = [m + 1, 1] の加法に関する逆元になっている [note 7]。
R をあらためて 0 と書くことにして、N2/∼ = {m, 0, −m | m ∈ N} を整数全体の集合と呼び、改めて Z と書くことにしよう。
このようにして整数の全体 Z が厳密に定義されたが、なお定義に従えば Z において結合法則や分配法則などの環の公理が満たされることが証明できる。
一般化
- 二次の整数
コンピュータにおける整数表現
コンピュータの内部では電気的な信号の有無を 1 と 0 に割り当て、2進法を用いて整数を表現するのが基本である。通常は、2 バイト（16 ビット）または 4 バイト（32 ビット）の範囲で表現できる範囲の数を扱う。負の値を扱う場合は、2の補数表現などが用いられる。通常は有限の範囲の整数しか扱うことができないが、処理速度を犠牲にして（記憶容量が許す限りの）任意長の整数を扱う方法もある。
事務処理などで金額などの桁数の大きな数や、利息計算などの10進表現による小数計算を正しく扱う必要がある場合には、二進化十進表現が用いられる。
脚注
注釈
- ^ 接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。
- ^ つまり、整数の構成に際して、自然数に 0 を含んでも含まなくてもどちらでも構わないことも注意する必要がある。
- ^ a b c かなり技巧的な作業のように見えるが、自然数を二つの自然数の差として (a, b) = a − b というつもりで書いてあるものとして読んで差し支えない。差が一定の自然数の組は無数にあるので、実際には [a, b] = a − b と考えるべきだが、そう考えることに整合性があることを確かめるのが、多少抽象的であるが、途中で同値関係で割ったり、同値類の間に演算を導入したりする部分である。
- ^ 0を自然数と認める場合、自然数 m に対して [m, 0] を対応させる写像が単射になる。
- [m, 0] + [n, 0] = [m + n, 0],
- [m, 0] × [n, 0] = [mn, 0]
- ^ 0を自然数と認める場合、m = [m, 0]と書く。
- ^ 0を自然数と認める場合、0でない自然数 m に対して [0, m] を対応させることで負の整数 −m が構成できる。このとき、
- [0, m] + [0, n] = [0, m + n],
- [0, m] × [0, n] = [mn, 0]
- ^ 0を自然数と認める場合、m + (−m) = [m, 0] + [0, m] = [m, m] = R となり、やはり負の整数 −m は N2/∼ において、正の整数 mの加法に関する逆元になっている
出典
- ^ 足立 (2013, pp. 18–19)
- ^ Earliest Uses of Symbols of Number Theory
- ^ エビングハウス他 (2004)
参考文献
- 足立恒雄『数の発明』岩波書店、2013年12月20日。ISBN 978-4-00-029619-9。
- 彌永昌吉『数の体系』 (下)、岩波書店〈岩波新書 黄版 43〉、1978年4月20日。 ISBN 978-4-00-420043-7。
- H.‐D.エビングハウス他 著、成木 勇夫 訳『数』 (上)（新装版）、丸善出版〈シュプリンガー数学リーディングス 6〉、2004年11月。 ISBN 978-4-621-06411-5。
- 高木貞治『数の概念』（改版）岩波書店、1970年9月19日。
ISBN 978-4-00-005153-8。
- 高木貞治『数の概念』講談社〈ブルーバックス B-2114〉、2019年10月20日。 ISBN 978-4-06-517067-0。
- 保江邦夫『数の論理 マイナスかけるマイナスはなぜプラスか？』講談社〈ブルーバックス B-1397〉、2002年12月。 ISBN 978-4-06-257397-9。
関連項目
外部リンク
| 典拠管理データベース: 国立図書館 |
|---|
整数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/15 09:34 UTC 版)
「J (プログラミング言語)」の記事における「整数」の解説
整数の表記は基本的には他の言語と同じである、しかしJでは負の数はU+002D - '"`UNIQ--templatestyles-00000004-QINU`"'hyphen-minusではなくU+005F _ low lineを用いる。さらにU+002D - を単体で使用すると「無限」として処理される。 式評価後の値5 - 6 _1（−1） _1 * _（−1 × ∞） __（∞）
※この「整数」の解説は、「J (プログラミング言語)」の解説の一部です。
「整数」を含む「J (プログラミング言語)」の記事については、「J (プログラミング言語)」の概要を参照ください。
整数
出典:『Wiktionary』 (2021/11/30 19:57 UTC 版)
名詞
発音(?)
翻訳
- アイスランド語: heiltölur (is)
- アラビア語: عَدَد صَحِيح (ar) 男性
- アルメニア語: ամբողջ թիվ (hy)
- イタリア語: intero (it) 男性, numero intero (it) 男性
- イド語: integro (io)
- インドネシア語: bilangan bulat (id)
- 英語: integer (en)
- エストニア語: täisarv (et)
- エスペラント: entjero (eo)
- オランダ語: geheel getal (nl) 中性
- カタルーニャ語: enter (ca)
- ギリシア語: ακέραιος αριθμός (el) 男性 (akéraios arithmós), ακέραιος (el) 男性
- シチリア語: nùmmuru rilativu (scn)
- ジャワ語: cacah wutuh (jv)
- スウェーデン語: heltal (sv) 中性
- スペイン語: entero (es)
- スロヴェニア語: celo število (sl)
- スンダ語: ᮝᮤᮜᮍᮔ᮪ ᮘᮥᮜᮩᮓ᮪ (su)
- セルビア・クロアチア語: cijeli broj (sh) 男性
- タガログ語: buumbilang (tl)
- タジク語: адади саҳеҳ (tg) (adad-i saheh)
- チェコ語: celé číslo (cs) 中性
- 中国語:
- 朝鮮語: 정수 (ko)
- デンマーク語: heltal (da) 中性, helt tal (da) 中性
- ドイツ語: ganze Zahl (de) 女性, Ganzzahl (de)
- トルコ語: tam sayı (tr), adedimürettep (tr)
- ノルウェー語:
- ノルウェー語（ニーノシュク）: heiltal (nn) 中性
- ノルウェー語（ブークモール）: heltall (nb) 中性
- ハンガリー語: egész szám (hu)
- フィンランド語: kokonaisluku (fi)
- フランス語: entier (fr) 男性, nombre entier (fr) 男性
- ブルガリア語: цяло число (bg) (cjálo čisló) 中性
- ベトナム語: số nguyên (vi)
- ヘブライ語: שלם (he) 男性, מספר שלם (he) 男性
- ペルシア語: عدد صحیح (fa) (adad-e sahih)
- ポーランド語: liczba całkowita (pl) 女性
- ポルトガル語: inteiro (pt) 男性
- マオリ語: tau tōpū (mi), tauoti (mi)
- マケドニア語: цел број (mk) (cel brój) 男性
- ルーマニア語: întreg (ro) 男性, număr întreg (ro) 中性
- ロシア語: це́лое число́ (ru) 中性, це́лое (ru) 中性
関連語
「整数」の例文・使い方・用例・文例
- 整数
- 整数論
- それが整数たし算筆算の作成エンジンを搭載しています
- すべての分数の無限集合はすべての整数の無限集合に対応させることができる.
- 整数に関して
- 1から25までの整数をどれかを思い浮かべてください
- １０，１００、１０００の最も近い整数で表現される
- 整数の、または、整数で示される
- 整数の商として表現されることができる
- 事実であるが、2つの整数の比率として表現できない
- 他の整数に因数分解できない整数の、他の整数に因数分解できない整数に関する、または、他の整数に因数分解できない整数である
- 内容が通常の状態（通常、連続的な整数を示している状態）を通過するレジスタ
- 与えられた整数以下のすべての整数と与えられた整数の積
- 整数による数の積
- 変数が逐次的により大きな整数の累乗を持つ項の合計
- 対数の表現の（正または負の）整数部分
- タンジェントが左側の負数から右側の整数に変わるカーブの点
- 整数論を専門としている数学者
- 整数論を確立したフランスの数学者
- イオンに対する電荷は、1から15まで整数で乗じられる一定電荷eと等しい
- >> 「整数」を含む用語の索引
- 整数のページへのリンク
