Path: news.ccsf.jp!norn-news!netnews.mcu.or.jp!mmcatv.co.jp!jpix!newsfeed2.kddnet.ad.jp!newsfeed2.kddnet.ad.jp!news.glorb.com!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: "Kyoko Yoshida" Newsgroups: fj.sci.math Subject: =?iso-2022-jp?B?UmU6IBskQiZGGyhCKDEtcix4KT0tckJfcih4KSAod2hlcmUgeA==?= =?iso-2022-jp?B?GyRCIjobKEJDKRskQiRIJkYbKEJfe2Ftb2ROfSgxLXIpPS0xL3IgTl57?= =?iso-2022-jp?B?ci0xfUJfcihhL04pGyRCJHI8KCQ7GyhC?= Date: Mon, 13 Aug 2012 16:17:13 -0400 Organization: A noiseless patient Spider Lines: 61 Message-ID: References: <120718204911.M0432229@ras1.kit.ac.jp><120723202914.M0305178@ras1.kit.ac.jp><120724173120.M0831344@ras1.kit.ac.jp><120725210809.M0417169@ras1.kit.ac.jp><120730212739.M0425421@ras2.kit.ac.jp> <120807182041.M0130823@ras2.kit.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset="iso-2022-jp"; reply-type=original Content-Transfer-Encoding: 7bit Injection-Date: Mon, 13 Aug 2012 20:17:10 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="a63809e3cf40f83091bcd60e92173884"; logging-data="4145"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18Oq7nQV2JmNEv2pUAB/Y7nH2XFdLR2kjE=" X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-Antivirus-Status: Clean X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-Antivirus: avast! (VPS 120813-0, 2012/08/13), Outbound message Cancel-Lock: sha1:VeQe58X6C+/gREW1jY9svX/7fZI= X-Priority: 3 X-MSMail-Priority: Normal Xref: news.ccsf.jp fj.sci.math:3596 ご回答誠に有難うございます。 >> http://www.geocities.jp/sayori_765195/theorem3_18__00.pdf >> となりましたが2ページ目の >> http://www.geocities.jp/sayori_765195/prop207_975__00.jpg >> の[5]を言う為に > 必要なのは「高々１位の極を持つ」ことです. > 「１位の極をもつ」ことは必要ありません. > 実際, x の値によっては極にならないこともあります. http://www.geocities.jp/sayori_765195/prop207_975__01.jpg よく考えるとProp207.974を使えばよいだけの話でした。 ところで http://www.geocities.jp/sayori_765195/prop200_35__00.jpg では1> http://www.geocities.jp/sayori_765195/prop207_973__00.jpg >> を示さねばならないのですがこれはどうすれば言えますでしょうか? > Bernoulli polynomial は 0 < x < 1 に必ず零点を持ちますから, > そんなことは言えません. http://www.geocities.jp/sayori_765195/prop192_1217__01.jpg からそうでした。 >> http://www.geocities.jp/sayori_765195/theorem3_18__41.jpg >> http://www.geocities.jp/sayori_765195/theorem3_18__42.jpg >> でOKなのですね。 > 証明で, 途中から無限和が有限和に化けていますから, > 全然駄目です. これは失礼致しました。 > 極をもたらす部分以外の部分の無限和を > 無限和として書いた上で, その和が正則関数であるから, > と議論しないでは, 意味がないと, 何度も申し上げています. http://www.geocities.jp/sayori_765195/theorem3_18__43.pdf という具合に訂正しました。これなら如何でしょうか? >> http://www.geocities.jp/sayori_765195/prop3_15__92.jpg >> http://www.geocities.jp/sayori_765195/prop3_15__93.jpg >> なら大丈夫でしょうか? > 言葉は足りませんが, 数式としてそうです. どのような言葉が足りませんでしょうか? >> http://www.geocities.jp/sayori_765195/prop3_15__94.jpg > 結論はそういうことになります. 了解です。 >> http://www.geocities.jp/sayori_765195/prop205_28__05.jpg >> という命題をそのまま使ったのですがそのようなやり方ではいけないでしょうか? > z = z_0 で n 位の零点を持つ関数 f(z) と > z = z_0 で n 位の極を持つ関数 g(z) との > 積 h(z) = f(z) g(z) は z = z_0 で正則になりますが, > だからといって, その正則関数の値 h(z_0) を > f(z_0) g(z_0) と書いて良いわけではありません. これはそうでした。∃d/dz(f(z)g(z))|_{z=z_0}は有り得るにしても∃f(z)g(z)|_{z=z_0}は保障されてませんね。