[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)

純粋・応用数学・数学隣接分野（含むガロア理論）20 http://rio2016.5ch.net/test/read.cgi/math/1745503590/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

763: １３２人目の素数さん [] 2025/06/30(月) 14:40:55.90 ID:TO/1l50i 自然数の無限列ｓ∈N^Nを考える ｓ中の項のうち最小値は存在するか？ 存在する場合、これを求めるプログラムは書けるか？ http://rio2016.5ch.net/test/read.cgi/math/1745503590/763

765: １３２人目の素数さん [] 2025/06/30(月) 15:27:26.51 ID:hP9iLhqs >>763 もちろん存在する。 N上の通常の大小関係を>と書くと、(N,>)は整列集合だから、空でない任意の部分集合は>についての最小元を持つ。 さて、f:N→N を f(n)=s_n で定義する。 X:={f(n)∈N|n∈N}はNの空でない部分集合だから>についての最小元を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1745503590/765

775: １３２人目の素数さん [sage] 2025/06/30(月) 17:47:12.39 ID:hsbuhpMs >>763 Nには最小限0が存在し s∈N^N は下に有界な無限列ではあるが、 一般に無限列sの第n項 s_n 全体の最小限 max_{n∈N}(s_n) が何かは 無限回プログラムのアルゴリズムを繰り返しても分かるとは限らないから、 無限列ｓ中の項のうち最小値が存在しても、これを求めるプログラムが書けない反例がある 反例：第n項 s_n が定義されていないような無限列 s∈N^N http://rio2016.5ch.net/test/read.cgi/math/1745503590/775

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.032s