自然数

このタグでブログを書く

言葉の解説

ネットで話題

自然数

(サイエンス)

【しぜんすう】

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

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

公理化

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

等式の公理
$\forall n\neg(sn=0).$
$\forall m\forall n(sm=sn\Rightarrow m=n).$
$\forall n(n+0=n).$
$\forall m\forall n(m+sn=s(m+n)).$
$\forall m(m\times 0=0).$
$\forall m\forall n(m\times sn=(m\times n)+m).$
$P(0)\wedge\forall n(P(n)\Rightarrow P(sn))\Rightarrow \forall nP(n).$

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

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

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

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

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

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

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

ネットで話題

468ブックマーク【ループ系昔話】 n地蔵（nは0を除く自然数） | オモコロ

omocoro.jp

356ブックマーク「1001の素数じゃないのかよ具合はそんじょそこらの自然数では太刀打ちできない」「７は野放しにしちゃいけない」「２とか５は独占欲が強い」 - Togetterまとめ

togetter.com

212ブックマーク円周率と素数と自然数の素晴らしき関係 | ぴよひこむ円周率はπである。3.14159265… 素敵な数だ。ちなみに上の文章は3.14159265…の文字数で書かれている。素敵だ。円周率1000000桁表素数とは、「1」とその数以外に正の約数を持たない「1」でない数のことである。素数って素敵。唯一無二だ。この前なんか、素数の本を買ってしまった。そのぐらいのオーラが素数にはあ...

piyohi.com

159ブックマークセンター試験に「自然数」が参戦 ! ! - Togetter

togetter.com

120ブックマークそれでも自然数の積は可換である - 吾輩は馬鹿である

sokalian.hatenadiary.org

79ブックマーク a/(b+c)+b/(c+a)+c/(a+b)=4の自然数解(a,b,c)を求める - Qiita

qiita.com

64ブックマーク「木構造と自然数の重複あり集合は等価だよね」というはなし - EchizenBlog-Zwei

echizen-tm.hatenadiary.org

62ブックマーク「こっくりさん、x^4+y^4+z^4=w^4+に自然数解が存在するか証明して」　理系vsこっくりさんの漫画がホラーと教養にあふれる

nlab.itmedia.co.jp

58ブックマークなぜゼータ関数の自然数の和は無限大に発散しないのか

xseek-qm.net

関連ブログ

完全無欠で荒唐無稽な夢•昨年

レーリーの定理とビーティ数列の可視化

レーリーの定理とは物理学者の発見（証明はしていない）による自然数の分類に関わる法則だ。 αとβという正の無理数があり、下式を満たすとしよう。２つの集合AとBを以下のように定義する。[ ]はガウス記号でありますね。 A＝｛[α n]｝; n=1,2,3,...... B＝｛[α n]｝; n=1,2,3,...... その時、A∩B＝∅ であり、A∪B={1,2,3,4,5,.........} ２つの集合に自然数を重なること無く分解できるわけです。たとえば、とするとAとBにｎ＝１から３０まで順番に入れて計算すれば、 {1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 15,…

#レーリーの定理#ビーティ数列#自然数#集合

完全無欠で荒唐無稽な夢•昨年

自然数の虚数乗の和が実数になることはあるか？

数秘術的に自然数の演算アクロバットをひねくりまわす癖があるヒトならば、考えたことがあるであろう級数和をもて遊んでみよう。お題のとおりの自然数の虚数乗の和だ。初項だけの時を除けば、一般的には複素数になる。１は何乗しても１だからだ。ｎをどんどん大きくして、どこかで実数になることがあるだろうか？あいにくとそうならない宿命だが、惜しい場所がある。せっかく計算したのだから、その場所をレポートしておきたい。下のグラフがｎが１万までの複素平面での全体像だ。縦軸が虚数軸、横軸が実軸だ。もう少し手前のｎ=100までのプロットを示す。実軸の－３５あたりで交差しているようだ。n=51前後で実数に接近する…

#複素数#級数#自然数#数値計算#娯楽数学#数秘術

完全無欠で荒唐無稽な夢•2 年前

163 という自然数について

知る人ぞ知るマーティン・ガードナーの1975年のエイプリル・フールにExp[π √163]が、自然数であるというのがある。M.ガードナーは数学パズルと科学啓蒙家である。自分などはその影響下にまだあるのだが、どういう意味かを明らかにするために具体的な値を示しておく。 262537412640768743.99999999999925007259719818568888........... なんと、小数点以下に９が12個連続する。この数がモンスター群でも重要な役割を果たすのは、『シンメトリーとモンスター』を参照されたい。この１６３の発端は二次体の代数的整数論にあったようだ。実はヘーグナー数…

#有限群論#１６３#ガードナー#整数論#二次体#自然数

香料ゐっすゐの夢•2 年前

数の比較～無限の彼方へ～

本記事では、数の比較ということで自然数及びその拡張概念に関する大きさの比較を示します。注意事項本記事は、上記に示したYouTube動画「Beyond Infinity Number Comparison」のネタバレ記事です。大きな自然数は、無量大数やグーゴルなどのような一部の例外を除いた大多数が概数です。本記事を表示する環境や機種によっては、1016やa0のような冪や添え字が正確に表示されない場合があります*1。又、注釈記号にカーソルを重ねた際に表示される脚注では冪や添え字が正確に表示されません。冪や添え字は右側のものが優先されます。例えば432やxanはそれぞれ4(32)(=49=…

#自然数#巨大数#無限大

中高生にも分かる数学•6 年前

数をたくさん足すとどうなるだろう？｜無限級数の収束/発散

【対象年次:中学一年～】みなさんこんにちは！中高生にも分かる数学のお時間です。今回は「数をたくさん足していくとどうなるのか？」という疑問を解決するために、「無限級数」についてお話ししたいと思います。 "無限"の意味は大丈夫だと思いますが、"級数"の意味はちょっと分からない人もいるかもしれませんね。級数とは「ある規則を持った数を並べたとき、それら一つ一つの足し算で作られた数」と言うことができます。かなりかみ砕いて言ってますが分かりにくければ以下のような例を見てください。例: 自然数を並べるこれらを足し合わせる ↑これが級数です。なんかふわっとした説明ですね汗まあ、厳密な数学をやる…

#自然数#逆数和

犀•19 時間前

6/29

雑記個人サイトピクシブの問題を受けて、完全移行はしないまでも個人サイトみたいなものがあるといいかもネと思ったので色々調べ始めた。せっかくならホームページ制作ツール頼りじゃなくてイチからサイトを作りたいと思っているけど、色々なんもわからんので道のりは遠い。全身法最近忙しくあまりジムに行けないので「全身法週3」とかでググって（候補に「全身法週(1~7の自然数)」が並ぶので壮観）セットを組んでみたが、その途端に忙しくなくなったので2日連続でやってみたところ、全身筋肉痛で大変なことになっている。週5とかで行けるなら分割のほうがいい気がする。全身筋肉痛はつらいので。

ちょぴん先生の数学部屋•昨日

平成の阪大理系後期数学 -1991年-

このシリーズでは、大阪大学の後期の数学の問題を解いていきます。 18回目の今回は1991年です。 (1992年、1993年については問題が入手できていないので、出来次第解きます）

BANANA MEMO•一昨日

AtCoder Regular Contest 143 の B 問題で出会った面白い等式

問題はこちら。 atcoder.jp 概要としてはこんな感じ。以上以下の自然数を、のマス目に1つずつ書く。行列の値をと表すとき、すべてのが以下を満たすような書き込み方が何通りあるか答えよ。または制約はです。大きい数になるので、で割ったものを出力してください。本問題の解答については公式解説にゆずるとして、この問題では、部分問題として、逆に条件を満たさないようなが１つ存在する場合の、行と列に書き込む数の組み合わせを求める問題を解くことになります。解説では以下の式で計算しています。お気持ちとしてはこんな感じ。とりあえず、以上以下の自然数を個集めてきて下…

中野太郎の神様日記　絶対位置自由の最高創造神中野うつけ太郎信長のブログです　もちろん神様にはどんどんさからって馬鹿にしても構いませんvさグレートワン　存在以上のニュータイプで超人にブログ　一兆円稼げるノウハウブログ、風俗嬢、ホスト、キャバ嬢、スナック嬢、バーのマスター寄っといで、あと他の人も　ノーベル賞三部門確実作家　アーベル賞も　機関紙ブログ　21世紀シホンミンシュゲリオン　資本主義の明日を考える会　アフリカ解放戦線　代表　作家中野うつけ太郎信長　異次元ミクロ経済学　天下布文•3 日前

柳生本文

さて僕は宇宙戦艦ヤマトに夢中になり、戦争物語に憧れ高校生の頃太宰治に衝撃を受けて作家を目指し地獄ものという文学作品に夢中になりましたが地獄や戦争物に平和や天国というハッピーエンドがなくしかも戦争や地獄に見えるものが戦争でも地獄でもない究極のハッピーエンドを描きたい。例えば殺人事件や犯罪を完璧に防ぐ完全無欠の名探偵です。僕はミステリーも読んでましたが、ミステリーは基本大嫌いでした。それはことごとく名探偵と呼ばれる連中が犯罪や殺人一切防げずに本当に意味でハッピーエンドが一切ありません。これから私は一切の存在、世界、全体、全部、全数列、全言語、全情報、全物質、全観念、全身物質、全知性、全社会、全価…

柳生結界

私は思ったこの世には部分理論、全体理論、完全理論、超越理論がある。この正しく超越した馬鹿で無限的に阿呆な認識の元に、合気を目的に部分合気、全体合気、完全合気、超越合気、別名馬鹿合気、無限的な阿呆合気に至る道が道であり正義であるーこの完全な目標の元に超越戦略、完全戦略、全体戦略、部分戦略を達成した。おそらくこの世界の神ヤハウェやブッタ、孫子、ロスチャイルド、ガンジー、イエス、マホメットの全てがまず超越に至らなかった存在ヤハウェは無意識では超越ではあるが意識では完全以上にはなれず、また教育という面ではこれらの存在は一切完全理論を達成できず、この世は全体存在ではあるものの、完全存在ではなく存在神ヤハ…

mmayu252’s diary•3 日前

柳生学校

柳生新陰流

学問のコンパクト的完成今日学問は理想郷的完全秩序を過ごせるほど完成している。もちろんそれは部分システムとしての端的な達成であり、順列的に組み合わせて微調整する必要があるし理論があっても実行はまた別問題であるが。まず全体概念である。全体は全部、全体、数、存在、ヤハウェ、仏、世界などと呼ばれ、その姿は複素数の球形分割球の曼荼羅にすべきである。自然数、整数、分数、少数、無限少数、無限、無限濃度の外、超越、部分、全体、完成、完全、虚数、実数、有理数、無理数、といった道具を分割球形にイメージして動かす。逆転させたり回転させる。読書するときは必ずこの曼荼羅に概念を整理する。つまり速読、繰り返し読み、記…

永野裕之のBlog•4 日前

【監修】『世界でいちばん素敵な数学の教室』（三才ブックス）

7/5に監修をさせて頂いた『世界でいちばん素敵な数学の教室』（三才ブックス社）が出ます。出版社の内容紹介「はじめに」より本書のおもな内容「おわりに」よりサンプルページ謝辞出版社の内容紹介以下は出版社がつけてくれた内容紹介です。美しい写真とシンプルなQ＆Aで伝えるビジュアル図鑑「世界でいちばん素敵な教室」シリーズ第35弾！計算が苦手な人でも大丈夫！身の回りにある「数」「図形」「数式」の不思議に迫ります。「はじめに」よりよく「数学は美しい」と言われます。ただ、数学があまり得意でない方からすると、「美しい」という形容詞は数学にはそぐわないように思われるかもしれません。数学と…

truegeniuscreatorのブログ•4 日前

新しい数学の発見（無限大）

ネット上で、∞×２＝∞という記述を見つけたが、これは明らかな誤解に基づいている。この様な誤解が生じる原因は、自然数と整数の厳密な区別ができていないことにある。多くの人は自然数は１から１つずつ増えていく数、整数とは自然数に０と自然数に-をつけた数を加えたものという理解をしている。結論としては間違っていないのだが、根本的な理解ができていない。自然数とは本来リンゴなどの個数を数えるために生まれた絶対的数値概念であるのに対し、整数とは０を基準点に１多いものを+１、１少ないものを-１とする相対的数値概念なのである。このことが理解できれば、最大数を∞と考えた時点では最大数は∞であり、∞×２はいくつになるの…

QmQの日記•4 日前

中国の音律と調律② 三分損益の数理と六十律

このツイートをきっかけに、中国の音律について調べ始めたのだった。古代ギリシャのヘルメスさん on Twitter: "@gejiqmq たしか藪内清が書いていたはずなのですが，ちょっと見つからないので，コチラを⬇ 管も弦にあわせていたように記憶しています． https://t.co/vT1zK2bI2v" / Twitter ヘルメスさんが取り上げている、京房の六十律を理解するには、音律の数理に踏み込まなければならない。三分損益とは中国の音律の基本的な構造は二つある。一つはオクターブの概念で、管の長さを半分にするとオクターブ高い音が現れる。もう一つが三分損益で、これは、管の長さの三等分を…

回帰熱！現代和算研究•5 日前

はてなアンテナページが更新されました

現代和算数学研究アンテナが更新されました■−2022/06/25 09:30:28 Recent Problems - Project Euler https://projecteuler.net/recent130■−2022/06/25 09:22:46 ☆オリジナルの高校数学の問題を掲載していきます☆ http://mm2445.blog.fc2.com/105位 16位■−2022/06/25 05:22:15 数学Wikia「新しいページ」 http://ja.math.wikia.com/wiki/%E7%89%B9%E5%88%A5:%E6%96%B0%E3%81%97%E3%8…

ほしづくよのドラゴンクエストX日記•6 日前

調理職人における「焼くチカラ」の数値の法則を見抜いたので、計算式を作りました。（加筆修正あり）

０．はじめに職人の数値の計算式のコンプリートを目指し、調理にも挑戦することにしました。１．『魔人本』と常識からわかること『魔人本』256ページの表を見るに、最初の基準値nが12～18の7種類の自然数であることは明白でした。さらにそれの基準値が、半熟封じの使用の有無x・全体の焼き加減を変化させる特技y・マスの性質zによって変化することも明白でした。 xは、通常が1、「半熟封じ」中が0.5で～す。 yは、普段が1、「弱火焼き」中が0.5、「強火焼き」中が1.5で～す。 zは、中央の「強」マスが1、その上下左右の「中」マスが0.5、四隅の「弱」マスが0.25、「火力上昇」状態のマスが2で～す…

完全無欠で荒唐無稽な夢•6 日前

フェルマー大定理にちょっと類似な事象の準初等的証明

20世紀後半にワイルズにより解決されたフェルマー大定理は nを2より大きな自然数とするとき，方程式X^n+Y^n=Z^nは0とは異なる整数解をもたない．というものだ。ここでは、その複素数版の制約事項付きの証明を考える。証明といっても疎かかつ準初等的な流れなので、真面目にとられないようにお願いしたい。 X,Y,Zを複素整数としよう。つまり、実数成分も虚数部も整数だ。これがｎは２より大きな素数では成立しないことを、きわめて限定的なケースで証明したい。両辺をZで除して、このようなZ1、Z2の式にして、Z1、Z2が実部も虚数部も有理数となる解にならないことを示しても同値であろう。で、ここか…

ただのメモ•6 日前

ベルトラン＝チェビシェフの定理

ベルトラン・チェビシェフの定理なるものがある。ここを出発点に記事を書いてみる。始めましょうかベルトラン＝チェビシェフの定理のwiki 任意の自然数nに対して、n<p<=2nを満たす素数pが存在する証明の概略背理法超ざっくりした説明だったので、これについて知りたいと思った。よって、こちらの文献を見る。補題1 自然数n>＝4で、2nCnが4^n/nより大きい 2nCnの下限を決めていく補題2 自然数nで、2nCnが2^{2n-1}より小さいまたは等しい 2nCnの上限を決めていく補題3 自然数n n以下の素数の積Pn 補題2利用補題4 補題3利用補題5 n!を素因数分解した…

回帰熱！現代和算研究•6 日前

はてなアンテナページが更新されました

現代和算数学研究アンテナが更新されました■−2022/06/24 08:56:40 Recent Problems - Project Euler https://projecteuler.net/recent90■−2022/06/24 08:28:55 ますいしいのブログ http://ameblo.jp/mathisii/2022年京都府立大学・生命環境数学[１] 2022年京都府立大学・生命環境数学[１] おはようございます。ますいしいです今朝も曇り今日も曇りのち晴れの予報で雨の心配はないようですが、最高気温３２℃と真夏の気温ですこの先が思いやられますそれでは、本日…

公理化

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

関連キーワード

関連ブログ

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

ネットで話題

関連ブログ

レーリーの定理とビーティ数列の可視化

自然数の虚数乗の和が実数になることはあるか？

163 という自然数について

数の比較～無限の彼方へ～

数をたくさん足すとどうなるだろう？｜無限級数の収束/発散

6/29

平成の阪大理系後期数学 -1991年-

AtCoder Regular Contest 143 の B 問題で出会った面白い等式

柳生本文

柳生結界

柳生学校

柳生新陰流

【監修】『世界でいちばん素敵な数学の教室』（三才ブックス）

新しい数学の発見（無限大）

中国の音律と調律② 三分損益の数理と六十律

はてなアンテナ ページが更新されました

調理職人における「焼くチカラ」の数値の法則を見抜いたので、計算式を作りました。（加筆修正あり）

フェルマー大定理にちょっと類似な事象の準初等的証明

ベルトラン＝チェビシェフの定理

はてなアンテナ ページが更新されました

はてなアンテナページが更新されました

はてなアンテナページが更新されました