[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
529(2): 2021/06/20(日)14:23 ID:1GSywnPR(6/14) AAS
>>524
補足
・あるいは、記号∀を使うのもありか
・0<1<2<...<ω := ∀∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
こうすれば、”n<ω”を生かしつつ、nは全ての自然数を走ることになる
(余談だが、∀は、一般には"all"を意味すると言われるが、"any"と解しても、意味は同じ。
なお、英文法としては、普通は"all"は複数扱い、"any"は単数扱い。但し、all+物質名詞など不可算名詞では単数扱いになる(^^ )
530(1): 2021/06/20(日)14:27 ID:1GSywnPR(7/14) AAS
>>529 タイポ訂正
・0<1<2<...<ω := ∀∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
↓
・0<1<2<...<ω := ∀n∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
分かると思うが(^^;
まあ、普通は
0<1<2<...<ω
で、簡便に済ますよね
∀n∈N 0<1<2<...<n<ω
とか
省3
537(1): 2021/06/20(日)15:39 ID:aiCb8/PE(38/66) AAS
>>529-530
>あるいは、記号∀を使うのもありか
>0<1<2<...<ω := ∀n∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
↑上記は君のいう(嘘)極限の無限列
「0<1<2<...<ω := lim n→∞ 0<1<2<...<n<ω
(ここに、lim n→∞で nは全ての自然数を走る )」
ではなく、私のいう、任意長の有限列
「0<1<2<...<ω := 0<1<2<...<n<ω
(nは任意の自然数 )」
ですが、分からんか? 万年3歳児の1こと、ID:1GSywnPRクン
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 5.133s*