[過去ログ] 現代数学の系譜 古典ガロア理論を読む35 [無断転載禁止]©2ch.net (667レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
594
(3): 2017/07/09(日)11:10 ID:lCOjTm2Z(2/13) AAS
>>590
実数列 s=(s_1, s_2, s_3 ,…),s'=(s'_1, s'_2, s'_3 ,…)∈R^N について
n ≧n_0 のとき s_n=s'_n となるような正整数 n_0 が2個以上あったとしよう。
そのような正整数 n_0 を n_0, n_1 n_0>n_1 としよう。その上で、
n ≧n__1 のとき s_n=s'_n とすると、n ≧n_0 のとき s_n=s'_n となることは、n_0>n_1 から直ちにいえる。
だが、n ≧n_0 のとき s_n=s'_n を仮定したからといって、これから n ≧n__1 のとき s_n=s'_n が成り立つことは必ずしもいえない。
つまり、必ずしも、n ≧n_0 のとき s_n=s'_n なることと、n ≧n_1 のとき s_n=s'_n なることとが同値になるとは限らない。
その一方で、n ≧n_0 のとき s_n=s'_n となるような正整数 n_0 の存在性や最小性は保証されている。
だから、実数列 s=(s_1, s_2, s_3 ,…),s'=(s'_1, s'_2, s'_3 ,…)∈R^N について
或る正整数 n_0 が存在して n≧n_0 のとき s_n=s'_n となるとき s〜s' と書くことで同値関係〜を定義する際には、「或る」ではなく、
「最小の」正整数 n_0 が存在して n≧n_0 のとき s_n=s'_n となるとき s〜s' と書いて定義しないと意味がない。
1-
あと 73 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.026s