![](http://www.crossroad.jp/bbs/icon/pen1_01.gif) | 2010/01/14(Thu) 13:47:46 編集(投稿者)
> この定義に何か名前はあるのでしょうか?
一般的な名前はないと思います. (級数による定義といえば, 数学の知識を持つ人には通じるでしょう.)
> また、この定義はどのようにして導出されるのですか?
「定義」なので導出されるものではありません. 定義とはルールのこと. 例えば「二辺の長さが等しい三角形を二等辺三角形と呼ぶ.」という定義(ルール)も何かから導出されるわけではないですよね.
ただし は高校までですでに, 実数から実数への写像として定義されています. そこで, 級数による定義がちゃんとその拡張になっていることを確認しといた方がいいでしょう. (前に書いたとおり, 級数の定義がちゃんと「定義になっていること」も確認しなければなりませんが, それについては後で書きます. )
一旦ちゃんと今まで使ってきた の拡張になっていることが確認できたら, 高校までの定義は忘れて, 級数の定義を一番の出発点にしていいわけですね. (もちろん, 高校までの定義をはじめから忘れて, はじめから級数の定義を採用してもいいですが, その場合は高校までに習った の性質を一から確認する必要があります. まあ多くの性質は から への写像と思っても成り立つので, どちらにせよ確認する必要はあるのですが. )
高校までの定義の拡張になっていることをどう確認するのか書こうと思ったのですが, やはり級数の定義がちゃんと定義になっていることの確認の方が先にやるべきことですし, 長くなりそうなので自分で考えてもらうことにします. (機会があれば書きます.)
>>で定義されます. 全て複素数体 から への写像で, well-definedです. (つまり右辺の級数は各点 で(絶対)収束するということ.) >>この確認は必要ですが, 省略します. > > この辺りの説明が理解が追いつかず、よくわからないのですが、 > もう少し詳しくお願いします。
だけ詳しく説明します. ( も同様なので.)
という写像を
![](http://www.crossroad.jp/cgi-bin/mimetex.cgi?2$%20%5cexp%20(x)=%5csum_{n=0}^{%5cinfty}%5cfrac{x^n}{n!}%20%5c%20%5c%20(x%5cin%20%5cmathbb{C})%20)
で定義すると言ったわけですが, がちゃんと各 で となっているかどうかは確認する必要があります. つまり,
![](http://www.crossroad.jp/cgi-bin/mimetex.cgi?2$%20%5csum_{n=0}^{%5cinfty}%5cfrac{x^n}{n!}%20%5cin%20%5cmathbb{C}%20)
となること, この級数が収束すること, を確認しないといけないのです. 例えば, 写像 を
![](http://www.crossroad.jp/cgi-bin/mimetex.cgi?2$%20f(x)=%5csum_{n=0}^{%5cinfty}%20x^n%20%5c%20%5c%20(x%5cin%20%5cmathbb{R})%20)
で定める. と定義(らしきものを)しても, は から への写像になっていませんよね. たとえば が存在しないので. つまり, 上の の定義らしきものは, 実は定義になっていないということです. このように定義らしいものが実は定義になっていないことを, 「well-definedでない.」と表現します. 逆にちゃんと定義になっていれば「well-definedである.」と言います.
さて, がwell-definedであることを調べましょう. つまり任意の に対し,
![](http://www.crossroad.jp/cgi-bin/mimetex.cgi?2$%20%5csum_{n=0}^{%5cinfty}%5cfrac{x^n}{n!}%20)
が収束することを示しましょう. これはダランベールの収束判定法を使えば簡単です.
各 に対して で, これは で に収束します. これより級数が収束することが分かりました. (ダランベールの判定法は解析の本やネット上にあるはず. 分からなければ調べてください.) より正確には絶対収束することが分かりましたので, 和をとる順序などは適当に変えていいことも知りました.
これでちゃんと がwell-definedであることは示せました. (もちろん, まだ連続性や微分可能性などについては全く分かっていませんが. )
> それと、 と は、どのように定義されているのでしょうか?
について和を取っていますが, が偶数の場合と奇数の場合に分けて和を取りなおしただけです. 定義も何もありません.
|