はじめに:
質問文を書いている途中で質問タイトルとは本質的に異なる、よりミクロな疑問(質問中、括弧内に記述された疑問)が生じました。
本来であれば、そのミクロな疑問に対する質問のみを書くべきかと存じますが、その疑問の具体例として質問タイトルの質問を残しております。
回答は、どちらか一方、または双方のどちらでも構いません。
お手すきの際にご回答いただければ幸いです。
よろしくお願いします。
集合、論理記号、種々の記号、自然数、実数は定義されているものとします。
実数全体の集合を R、自然数全体の集合を N:={1, 2, 3, ...}とする。
-----数列の定義-----
関数 a:N→R を無限数列(または単に数列)と呼び、「数列 (a_n)」と記す。
また、任意の n∈N に対し、a(n) を a_n と書き、数列 (a_n) の第n項と呼ぶ。
任意の n∈N に対し、a_n が計算可能な式を一般項という。
一般項のことを a_n と書くこともある。
-----極限の定義-----
数列 (a_n) に対し、
∃α∈R, ∀ε>0, ∃m∈N, ∀n∈N, (n ≧ m ⇒ |a_n - α| < ε)
を満たすとき、数列 (a_n) はαに収束すると言う。
このようなαは存在するなら唯一つで、このαを数列 (a_n) の極限値と呼び、このとき
lim [n→∞] a_n = α
と表記する。
以上のように数列と極限を定義した上で...
lim [n→∞] 1 / (n - 1) = 0 ...... ①
これに違和感を持ちませんか?
これを示すためには、(上記定義に従えば)
∃数列 (a_n) s.t. lim [n→∞] a_n = 0 かつ ∀n∈N, a(n) = 1 / (n - 1)
を示す必要があります。
右辺の 1 / (n - 1) は、n = 1 で定義されない計算式(文字式?数式?記号?右辺のヤツが何者かもよく分かってない)です。
したがって(??根拠不十分)、関数 a も n = 1 で定義出来ませんから、定義域を N とすることができず、関数 a は数列になりえません。
なので、上記の数列、極限の定義のみでは、①の記号が現状、未定義になっています。
したがって、いわゆる "数列の極限" と呼ばれるものは、数列に対して定義されているのではなくて、数列らしきものに定義されているのではないかと考えています。
-----擬数列の定義-----
S:Nの無限部分集合として、-----数列の定義----- において、N を S で置き換えた定義。
こうしておいて、擬数列に対して極限を定義すれば丸く収まるように思うのですが。
みなさんの考えを聞かせて下さい。
(考えれば考えるほど、もっと基本的なレベルでよく分からなくなってきました。)
(支離滅裂ですみません。)
(a_n = n に対し、a_n と n の違い(左は n に値を入れてもすぐに計算できないけど、右はすぐできる)、一般項の定義が曖昧、ただの記号の並び「n^2+n」と、∀n∈Nをとったあとの「n^2+n」。文字 a とそれに1を代入した結果である記号「1」(数字と呼ぶ?)の違いが、ひとまず分かっていないのかもしれません。これ、なんていう分野の問題ですか…?(数理論理学?))
No.5ベストアンサー
- 回答日時:
訂正します
関数
{1/(n-1), n=2,3,4,…}
=
{1,1/2,1/3,…}
=
数列
{1/n, n=1,2,3,…}
だから
{1/(n-1), n=2,3,4,…}
と
{1/n, n=1,2,3,…}
は
「数列」としては同じものなのです
だけれども
定義域が異なるので
異なる関数なのです
異なる関数を同じ「数列」としてはいけないのです
だから
{1/(n-1), n=2,3,4,…}
は
数列ではなく関数なのです
だから
関数{1/(n-1), n=2,3,4,…}→数列{1/n, n=1,2,3,…}とすべき
関数{1/(n-1), n=3,4,5,…}→数列{1/(n+1), n=1,2,3,…}とすべき
関数{1/(n-1), n=4,5,6,…}→数列{1/(n+2), n=1,2,3,…}とすべき
なのです
「数列」を比較する場合と同様に
「関数」を比較する場合も
定義域を一致させる必要があるので
いずれにしても
1/(n-1)という表現は使えません
{1/(n-1),n=2,3,4,…}
ではなく
{1/max(n-1,1),n=1,2,3,…}
と
すべきです
No.4
- 回答日時:
関数
{1/(n-1), n=2,3,4,…}
=
{1,1/2,1/3,…}
=
数列
{1/n, n=1,2,3,…}
だから
{1/(n-1), n=2,3,4,…}
と
{1/n, n=1,2,3,…}
は
「数列」としては同じものなのです
だけれども
定義域が異なるので
異なる関数なのです
異なる関数を同じ「数列」としてはいけないのです
だから
{1/(n-1), n=2,3,4,…}
は
数列ではなく関数なのです
だから
関数{1/(n-1), n=2,3,4,…}→数列{1/n, n=1,2,3,…}とすべき
関数{1/(n-1), n=3,4,5,…}→数列{1/(n+1), n=1,2,3,…}とすべき
関数{1/(n-1), n=4,5,6,…}→数列{1/(n+2), n=1,2,3,…}とすべき
なのです
どうしても1/(n-1)という表現を使うのであれば
数列ではなく
関数と呼んで定義域を定義すればよいのです
数列の極限ではなく
関数の極限といえばよいのです
その場合ですと、例えば、
数列 (a_n) が、2以上の自然数 n について
0 ≦ a_n ≦ 1/(n-1)
を満たすとき、lim [n → ∞] a_n = 0 を示せ。
といった問題の場合、
lim [n → ∞] 0 = 0
と
任意の数列 (a_n), (b_n), (c_n) と n_0∈N, c∈R に対し、
∀n∈N, n ≧ n_0 ⇒ a_n ≦ b_n ≦ c_n
かつ lim [n → ∞] a_n = lim [n → ∞] b_n = c
ならば lim [n → ∞] c_n = c
(はさみうちの定理)
が使える状況下では、普通、はさみうちの定理から示すと思いますが、関数の極限と捉えてしまうと、はさみうちの定理が使えなくなってしまうのではないでしょうか。
No.3
- 回答日時:
の
数列の定義では
S を自然数全体の集合 N またはその n における切片 {0, 1, 2, …, n} とするとき、
S から実数(あるいは複素数)への関数 a を数列(すうれつ、英: sequence)と呼び、
順序付けられた数の並びとして
a0, a1, a2, …, an, …
のように記す.
と書いてある通り
数列の定義域は0か1のどちらかから始まるのです
1/(n-1), n = 2,3,4,…
は
数列ではありません関数です
数列と呼ぶ必要もありません
No.2
- 回答日時:
極限とは関係のない話題かなあ。
別に、「数列」の添字が 1,2,3,... でなきゃいけないなんてシバリはないじゃん?
1/(n-1), n = 2,3,4,... だって
1/(n-1), n = 3,4,5,... だって
1/(n-1), n = 4,5,6,... だって、どれも「数列」。
特に a_n, n = 0,1,2,... を数列と呼ぶことはよくある。
「数列 a_n」というときに添字の範囲を明示しないことが、よくない。
高校あたりの教科書が、そういうおかしな習慣をすりこんでしまうんだと思う。
「関数 f(x)」というときに x の範囲を勝手に全実数だと思い込んでしまう
人が多いのと、状況はよく似ているのかもしれない。
すなわち、数列の定義域は、k∈N を用いて、{n∈N | n ≧ k} ではないか
というご意見ですね。
こちらであれば確かに、極限は問題ないですね。
数列の定義域がこのような集合で定義されるような、参考文献等ございますか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『数は実在するのか』 6 2023/06/04 15:15
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 回答の意味について 3 2023/07/06 14:14
- Excel(エクセル) エクセルのセルの書式設定・ユーザー定義の条件設定について 1 2022/08/17 21:56
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- Visual Basic(VBA) Excel のユーザー定義関数でソルバーが動作しない 1 2022/09/05 19:51
- C言語・C++・C# C言語初心者 ポインタについて、お助けください、、 2 2023/03/15 23:50
- JavaScript 助けてください‼︎ javascriptで質問があります。 配列を定義して、 29342、45342 3 2022/06/26 22:06
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
- 数学 正規数の定義で分からないことがあります。 正規数の定義について専門書において 「xがr進正規であると 1 2023/07/17 20:50
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
無限から無限を引いたら何にな...
-
皆さん定義を教えてください 「...
-
1未満と1以下の違い
-
ACCESS VBAでインポート定義の場所
-
eの0乗は1ってどういう原理です...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
ACCESS IIF関数 複数条件の設...
-
なぜ、直角三角形ではないのにs...
-
Excelファイルの「数式」タブ→...
-
0^1(0の1乗)はいくつでしょ...
-
-2は2の倍数ですか?
-
日本語 ことば ひとまわり ふた...
-
「互いに素」の定義…「1と2は互...
-
正方行列ではない行列にも行列...
-
e<3の証明を教えてください。
-
2変数関数の極値について
-
なぜ小数は自然数ではないので...
-
ノルム空間
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報