[過去ﾛｸﾞ]
純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
純粋・応用数学・数学隣接分野（含むガロア理論）20 http://rio2016.5ch.net/test/read.cgi/math/1745503590/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
768: １３２人目の素数さん [] 2025/06/30(月) 17:38:00.43 ID:VC9XYnov >>765 おっしゃることについてはその通り で、プログラムは書けますか？ 仮に反例があるとすると、反例であることを示すプログラムは書けるんですよ。 列を頭から順々に辿っていって、任意の自然数ｉについて それより小さい値をもつ項を見つけてしめせばいい で、Ｎが整列集合だから、そんなことはありえないというわけで その場合、ｉが最低値以下だと反例を探すプログラムが延々と動き続けることになる 要するに最小値は存在するんだけれども、ここが最小値ですよと示すプログラムは書けない やだねー http://rio2016.5ch.net/test/read.cgi/math/1745503590/768
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s