Hatena Blog Tags
はてなブログ トップ
自然数
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

自然数

(サイエンス)
【しぜんすう】

natural number
{0,1,2,...}といった無限に続く数のこと。順序を表す数。有限の大きさを測る量。0を含めない流儀もある。
自然数全体からなる集合は可算無限集合である。

定義を明確に示すために非負整数、正の整数などと呼び分ける場合もある。

公理化

自然数は一階述語論理の公理系として次のように形式化される。項は2変数関数記号 +,\times、1変数関数記号 s、定数記号 0 からなり、述語記号は等式のみを持つ。例えば大小関係は m\leq n\Leftrightarrow \exists r(m+r=n) と定義できる。公理は次の8種類からなる。数学的帰納法の公理図式(8)が無限個の公理を代表していることに注意して欲しい。

  1. 等式の公理
  2. \forall n\neg(sn=0).
  3. \forall m\forall n(sm=sn\Rightarrow m=n).
  4. \forall n(n+0=n).
  5. \forall m\forall n(m+sn=s(m+n)).
  6. \forall m(m\times 0=0).
  7. \forall m\forall n(m\times sn=(m\times n)+m).
  8. P(0)\wedge\forall n(P(n)\Rightarrow P(sn))\Rightarrow \forall nP(n).

この体系はペアノ算術とよばれる。ペアノ算術より少し弱い公理系としてロビンソン算術がある。

集合論における自然数の構成

集合論では自然数を集合として構成する。具体的には 0:=\emptyset、s(n)=n\cup \{n\} のように帰納的に構成される。加算や乗算はペアノ算術の公理に倣って原始帰納により定義される：

  1. m+n=\begin{cases} &m& &\text{if $n=0$}& \\ &m+r& &\text{if $n=s(r)$}& \end{cases}
  2. m\times n=\begin{cases} &0& &\text{if $n=0$}& \\ &(m\times r)+m& &\text{if $n=s(r)$}& \end{cases}

関連キーワード

リスト::数学関連

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
魔方陣の数学•4日前

【自然数の集合Nは相愛数によって均等二分割されうるということ】

自然数というのはわたしにとってはもっとも馴染み深いものです。指を折って数え上げることができる数、そのように言うこともできるでしょう。さて、今回はこの自然数の集合に属する1～∞の数たちが驚くべき相愛数構造を有しているという事実についてお話ししたいと思います。まずは以下のような正方格子を用意します。

#相愛数#自然数#二面街群

ネットで話題

もっと見る
462ブックマーク【ループ系昔話】 n地蔵（nは0を除く自然数） | オモコロomocoro.jp
350ブックマーク「1001の素数じゃないのかよ具合はそんじょそこらの自然数では太刀打ちできない」「７は野放しにしちゃいけない」「２とか５は独占欲が強い」 - Togetterまとめtogetter.com
212ブックマーク円周率と素数と自然数の素晴らしき関係 | ぴよひこむ円周率はπである。3.14159265… 素敵な数だ。 ちなみに上の文章は3.14159265…の文字数で書かれている。 素敵だ。 円周率1000000桁表 素数とは、「1」とその数以外に正の約数を持たない「1」でない数のことである。 素数って素敵。唯一無二だ。 この前なんか、素数の本を買ってしまった。 そのぐらいのオーラが素数にはあ...piyohi.com
157ブックマークセンター試験に「自然数」が参戦 ! !posfie.com
117ブックマークそれでも自然数の積は可換である - 吾輩は馬鹿であるsokalian.hatenadiary.org
81ブックマークa/(b+c)+b/(c+a)+c/(a+b)=4の自然数解(a,b,c)を求める - Qiitaqiita.com
64ブックマーク「木構造と自然数の重複あり集合は等価だよね」というはなし - EchizenBlog-Zweiechizen-tm.hatenadiary.org
62ブックマーク「こっくりさん、x^4+y^4+z^4=w^4+に自然数解が存在するか証明して」　理系vsこっくりさんの漫画がホラーと教養にあふれるnlab.itmedia.co.jp
61ブックマークなぜゼータ関数の自然数の和は無限大に発散しないのかxseek-qm.net

関連ブログ

徒然なる儘に・・・💕•10日前

連続薔薇薔薇紛争【殺人】事件、◎予言×預言

2022年2月22日 午前2時22分22秒 2022年2月22日午前2時22分22秒は、「スーパー猫の日」として知られる2022年2月22日の午前2時22分22秒のことです。この日は、「2」の数字が連続することから、特に猫の日として話題になりました。将棋の武富礼衣女流初段がこの瞬間に22歳になったことをツイートしたり、アメリカの病院で「奇跡の赤ちゃん」が誕生したりと、様々な出来事が重なった日でもあります。また、東京都心では22時22分に気温が2.2℃を記録するなど、数字の並びが注目を集めました。 生誕者は、 生誕者に対して、 薔薇薔薇連続殺人事件を発生❓ 何故なら、私の生誕年月日は、 薔薇薔薇…

#薔薇薔薇#自然数#小松製作所#コマツ#コマツ川崎OB会
徒然なる儘に・・・💕•1ヶ月前

基督教というより・・・Jesusの世界が実現するためには来世以外、無理だよね・・・

中国 キリスト教 蜂起 中国でキリスト教を背景とした蜂起としては、太平天国の乱（1850年～1864年）と義和団の乱（1899年～1901年）が挙げられます。太平天国の乱は、キリスト教の影響を受けた洪秀全が率いる拝上帝会が中心となって起こした反乱で、清朝に抵抗し太平天国を建国しました。一方、義和団の乱は、キリスト教布教への反発から始まった反乱で、八カ国連合軍との北清事変へと発展しました。 太平天国の乱 背景: 清朝末期、科挙に落第した知識人の洪秀全が、キリスト教の影響を受けて拝上帝会を創設。 蜂起: 1850年末に蜂起し、南京を占領して天京とし、太平天国を建国する。 思想: 拝上帝会のキリスト…

#Jesus#理想社会#夢#来世#割り算の余り#牌は、長方形が面#πは割り切れない#自然数#整数#無理数
サイエンスと哲学のブログ•8ヶ月前

自然界には整数の方が珍しい数だと思います。

確かに、自然界で観察される量や現象の多くは、整数よりも非整数（小数や無理数など）の方が一般的なことが多いように感じられます。例えば、物理的な長さ、重さ、時間、速度などの測定値は、多くの場合、整数ではなく、分数や小数になります。円周率（π）や自然対数の底（e）など、数学的に重要な定数も無理数であり、整数では表現できません。自然界では、正確な整数よりも、連続的で変動する値の方が一般的に観測されるという意味で、「整数は珍しい」という感覚は非常に理解できます。整数の方が抽象的な数学の世界で特別な存在という捉え方もできますね。 （追記）自然界を理解するには整数では対抗できないと感じています。 自然界の複…

#数学#実数#自然数
完全無欠で荒唐無稽な夢•8ヶ月前

自然数の差分積からなる数列

群論（抽象代数）の勉強をしているとき、ある証明の一部で次式が使われているのが気になったので計算してみました。 ｎ以下の自然数組み合わせでゼロ以外の差分のすべての積と言い表されるのです。 ｎが15まででの計算結果であります。 1, -1, -4, 144, 82944, -1194393600, -619173642240000, 15728001190723584000000, 25569049282962188245401600000000, -3366980847587422591723894776791040000000000, -4433704164188294764915602259…

#実験数学#自然数#数論#数列
無駄と文化•2年前

自然数の集合が無限集合であることを証明する

6歳になる子供がいる。ある日、自転車に乗りながらこんな話をした、 👦「ねぇ、数字って数えていったらどこまで続くの？」 👨『いい質問だね、どう思う？』 👦「うーん、どこまでも続く？」 👨『そう、数字はどこまでも続くから 1, 2, 3, ... と数えていっても終わりはないんだよ』 本当だろうか？確かめてみよう。 目次 目次 自然数の集合 ℕ は無限集合であると定義されているか？ ペアノの公理の気持ちを理解する 自然数が無限にあることは自明か 次の数チェーンが途切れる 次の数チェーンが袋小路にはまる 次の数チェーンが元の場所に戻ってくる 自然数の集合 ℕ が無限集合であることを証明する まとめ …

#数学#自然数
ケイスケの音響学•2年前

音響学の基礎109　指数法則④

指数法則④ 今回は指数法則の拡張で少しだけ複雑になる。 今までは指数に正の整数（1,2,3,･･･）しか考えていなかったが、 今回から0や負の整数（-1,-2,-3,･･･）も考えていく。 左側四角内では、 文字の0乗、-1乗、-n乗について書かれている。 四角の下に から まで順に書かれているが、 意味がわかるだろうか？ 指数が小さくなるとaで割っていくイメージだ。 だから分数が出てくる。 これは数字でも同様に計算できる。 例１を解いてみよう。 指数法則②の四角内では、 式2と式5が見慣れない形だ。 次回はそれらを解説しよう。

#音響学#音響学の基礎#音響学入門#言語聴覚士#オンライン講師#オンライン家庭教師#指数法則#自然数#指数#累乗
浮動点から世界を見つめる•2年前

大人への問題：１＋３＝？ について

先日の記事「大人への問題：１＋３＝□ の空欄を埋めよ。（認知症テストではありません）」に、匿名さん（以下、Aさん）のコメントがありましたので、私の疑問について教えてください。また私の考えを少し述べたいと思います。（私は、数学に疎い文系人間ですので、分かりやすい説明をお願いします。私の理解に誤りがあれば直ちに訂正します）。 Aさんのコメントは、次の3点になろうかと思います。 数の基本的な概念全般（1+1=2、など）を公理としてよいなら証明は簡単である。 具体的な概念を数量というモデルに抽象化して扱う算術の埒外で話している。 算術におけるルールを勝手に相対化して懐疑視している。 １．数の基本的な概…

#ペアノの公理#自然数#無定義語#記号#原子命題#数字のピラミッド
完全無欠で荒唐無稽な夢•3年前

素数の相乗平均にかかわるある極限のゆくえ

自然数の相乗平均は定義から、 スターリングの近似式を代入するとおおよその大きさが知れるわけだ。 あとで比較する素数の相乗平均との兼ね合いでｎで除しておこう。 1/e=0.367879.. となる。これは一種の極限値といえる。 うえに見習って、次の素数積の相乗平均を考えたくなるのは人情というものだ。 この積については便利な近似式がないものだから、計算機馬鹿力に頼るしかない。 自然数の相乗平均との兼ね合いで、Prime nで割っておく。ｎ番目の素数の意味だ。 昼夜兼行でn=100000000までの数値計算結果を得た。 0.34820280303736749202 先程の自然数ケースの1/e=0.3…

#自然数#素数#相加平均#相乗平均#実験数学
数学帝國への逆襲　（西春自習質問教室のブログ）•4年前

スタンダード数学演習Ⅰ･Ⅱ･Ａ･Ｂ P26 88 解答

スタンダード数学演習Ⅰ･Ⅱ･Ａ･Ｂ P26 88 解答 スタンダード数学演習Ⅰ･Ⅱ･Ａ･Ｂ P26 88 解答 自然数。互いに素。学習院大の問題です。

#スタンダード数学演習Ⅰ･Ⅱ･Ａ･Ｂ#自然数#互いに素