[過去ログ] 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*