[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 73 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
729: 132人目の素数さん [] 2025/08/17(日) 11:51:33.94 ID:ri9WPA52 正当かできると言いつつ一つも例挙げれないじゃん 正当化できるできる詐欺かよw http://rio2016.5ch.net/test/read.cgi/math/1753000052/729
730: 132人目の素数さん [] 2025/08/17(日) 11:54:31.22 ID:ri9WPA52 間違いを認めたくないからって詐欺はやめようねオチコボレ君 http://rio2016.5ch.net/test/read.cgi/math/1753000052/730
731: 132人目の素数さん [] 2025/08/17(日) 13:28:56.40 ID:33yZ2vv2 人工知能なら学習して賢くなる仕組みが備わってるけど 人工無能はパターンマッチングのルールに従って コピペ・回答を繰り返すのみ http://rio2016.5ch.net/test/read.cgi/math/1753000052/731
732: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 14:46:27.11 ID:TyT53DUJ >>728 >>無限回の繰返し演算について現代数学の理論で十分正当化できる ・君には、C^∞ 級 無限回微分可能と C^ω 級 解析函数と この差 理解できないだろう ・下記の佐々木浩宣 千葉大「至るところ実解析的ではない無限回微分可能な関数」を百回音読してね ・なお、超関数で シュワルツのは C^∞ 級、佐藤hyperfunctionは C^ω 級 だと言われる (^^ (参考) https://manabitimes.jp/math/1144 高校数学の美しい物語 C1級関数,Cn級関数などの意味と具体例 2021/03/07 一般化 〜高階微分へ〜 ・何回でも微分可能な関数を C^∞ 級,無限回微分可能などと言います。 ・C^ω 級というクラスもあります。べき級数展開可能(テイラー展開できる)という意味です。 C^ω 級なら C^∞ 級ですが,逆は成立しません。無限回微分可能でもテイラー展開できない (剰余項 →0 とならない)場合があるからです。→テイラーの定理とテイラー展開〜例と証明 https://www.math.s.chiba-u.ac.jp/~sasaki/ 佐々木浩宣 千葉大 数学・情報数理学科 https://www.math.s.chiba-u.ac.jp/~sasaki/011_C_infinity_not_C_omega.pdf 至るところ実解析的ではない無限回微分可能な関数 2013 参考文献[1]松島,多様体入門,裳華房 https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86 微分 高階微分 何回でも微分可能な関数は無限回微分可能である(または C ∞ 級である)という https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E5%8F%AF%E8%83%BD%E9%96%A2%E6%95%B0 微分可能関数 微分可能性のクラス 連続的微分可能関数は、C1-級であると言われる。関数に一階および二階の導関数が存在し、それらが両方とも連続であるとき、その関数は C2-級にであると言われる。より一般的に、k-階までの導関数 f'(x), f″(x), ... , f(k)(x) が存在し、すべて連続であるなら、その関数は Ck-級であると言われる。すべての正の整数 n に対して導関数 f(n) が存在するなら、その関数は滑らか、あるいは、C∞-級であると言われる 複素解析における微分可能性 複素解析において、ある点の近傍で複素微分可能な関数はすべて正則と呼ばれる。そのような関数は必ず無限回微分可能であり、実は解析的である https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E9%96%A2%E6%95%B0 正則関数 概要 正則な複素関数は、その導関数も正則である。すなわち微分操作を無制限に繰り返してよい[6] 正則函数が解析的であること:複素解析における正則関数は何回でも微分可能であり、したがって冪級数に展開できる https://ja.wikipedia.org/wiki/%E8%B6%85%E9%96%A2%E6%95%B0 超関数 1940年代末にはシュワルツがこれらを超関数の理論としてまとめた 1958年に佐藤幹夫が層コホモロジーの理論を応用して、シュワルツらとは別の見地に立った超関数論を組み立てた 名称 「超関数」という言葉自体は日本でつくられた数学用語である 英語文献において、一般の超関数を指すときは generalized function(一般化された関数)という シュワルツの超関数は "distribution" と呼ばれ、佐藤の超関数は "hyperfunction"(超関数)と呼ばれる http://rio2016.5ch.net/test/read.cgi/math/1753000052/732
733: 132人目の素数さん [] 2025/08/17(日) 15:47:39.25 ID:ri9WPA52 >>732 >・君には、C^∞ 級 無限回微分可能と C^ω 級 解析函数と > この差 理解できないだろう は? 理解できないも何も >C^ω 級なら C^∞ 級ですが,逆は成立しません。無限回微分可能でもテイラー展開できない >(剰余項 →0 とならない)場合があるからです。 と書かれてる通りじゃんw で、君は >無限回微分可能 という言葉の語感から「無限回微分ができる」と連想ゲームしちゃったのね? それ勝手読みだよ。実際、 >・何回でも微分可能な関数を C^∞ 級,無限回微分可能などと言います。 の通り、何回でも微分可能な関数と定義されている。何回でも可能=任意有限回可能≠無限回可能。分かるかい? はい、またまた大惨敗のオチコボレ君。 だから言ったろ? 反例探しは無駄だと。そんなことする暇あったら論理のひとつも勉強しなよ。君、論理ちんぷんかんぷんなんだから。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/733
734: 132人目の素数さん [] 2025/08/17(日) 16:14:50.02 ID:ri9WPA52 f(x)=e^(-x) が無限回微分できると仮定し、無限回微分した関数をg(x)と書く。 f(x)=e^(-x) を偶数回微分した関数はいずれもf(x)、奇数回微分した関数はいずれも-f(x)。 よってg(x)はf(x)か-f(x)のいずれかであるが、どちらであっても自然数に偶数または奇数の最大値が存在することとなり矛盾。 よって仮定は偽。 f(x)=e^(-x) は何回でも微分できるため定義により無限回微分可能であるが上記の通り無限回微分することはできない。 この反例で分かる通り、無限回微分可能という語は文字通り無限回微分できることを意味していない。 よってオチコボレ君の連想ゲームは間違い。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/734
735: 132人目の素数さん [] 2025/08/17(日) 16:30:44.55 ID:ri9WPA52 この例から分かる通り、任意有限回微分できる≠無限回微分できる。 そして無限回微分可能という語は任意有限回微分できることと定義されている。 よって無限回微分可能という語の存在は「無限回の操作は well-defined でない」の反例とはならない。 はい、オチコボレ君の反例探しの旅はまたまた徒労に終わりましたとさ 論理的に存在しないものを探し続けるのはバカのすることだよ、オチコボレ君 http://rio2016.5ch.net/test/read.cgi/math/1753000052/735
736: 132人目の素数さん [] 2025/08/17(日) 16:55:52.69 ID:ri9WPA52 列極限、無限級数、無限乗積、無限合併/交叉、σ集合体、確率過程、無限回微分可能 オチコボレ君が無限回の操作の例として出してきたものは悉く間違いでした。 勝手読み&独善理解するから落ちこぼれるんだよ。分かったかい?オチコボレ君 http://rio2016.5ch.net/test/read.cgi/math/1753000052/736
737: 132人目の素数さん [] 2025/08/17(日) 17:06:13.54 ID:ZRSLeudn 「無限回微分可能」というのは、正確には「任意有限回微分可能」 解析関数も、「無限回」微分可能なわけではない これ豆な 知らん高卒は大学1年の一般教養の微分積分で落第 http://rio2016.5ch.net/test/read.cgi/math/1753000052/737
738: 132人目の素数さん [] 2025/08/17(日) 17:10:00.78 ID:ZRSLeudn 現代数学の理論はどれ一つとして、無限回の繰返し演算なんて実行してないが ついでにいうと、最小の無限順序数ωに対して、ωー1は存在しない これ、数学分かってる人は知ってるが、数学分からん高卒は理解できない(笑) http://rio2016.5ch.net/test/read.cgi/math/1753000052/738
739: 132人目の素数さん [] 2025/08/17(日) 17:16:57.10 ID:TyT53DUJ 望月IUTは、圏論を使う 圏論を知らない 基礎論の人が 推論規則 ウンヌンカンヌン それって お笑いだよ 下記の 荒武 永史 『圏論的論理学の拡がり』などを 百回音読してねw ;p) https://researchmap.jp/hisashi-aratake/ 荒武 永史 アラタケ ヒサシ (Hisashi Aratake) 講演・口頭発表等 圏論的一階述語論理(1) 荒武永史 ロジックウィンタースクール2023 2023年2月20日 招待有り 圏論的一階述語論理(2) 荒武永史 ロジックウィンタースクール2023 2023年2月21日 招待有り 高階直観主義論理とトポス 荒武永史 ロジックウィンタースクール2023 2023年2月22日 招待有り 圏論的論理学の拡がり 荒武永史 ロジックウィンタースクール2023 2023年2月23日 招待有り https://researchmap.jp/hisashi-aratake/presentations/41535386/attachment_file.pdf 圏論的論理学の拡がり 荒武永史 京都大学数理解析研究所 2023 年2 月23 日 Logic Winter School 2023 Contents 1 トポスにおける数学 2 トポスと集合論 3 理論の双圏と分類トポス P5 トポスにおける数学 トポスを“集合の宇宙”と見なして内部論理で数学を展開する ▶ 高階論理(型付き!)で表現できる範囲という制限はつく ▶ 排中律や選択公理は成り立つとは限らない 構成的数学と相性がいいが、非可述的な操作(分離公理, 冪など)も許される http://rio2016.5ch.net/test/read.cgi/math/1753000052/739
740: 132人目の素数さん [sage] 2025/08/17(日) 17:49:36.87 ID:ikoXWBgs 圏論を知らない基礎論屋がいるわけないやろが どこまでなんにもしらんのじゃゴミ http://rio2016.5ch.net/test/read.cgi/math/1753000052/740
741: 132人目の素数さん [sage] 2025/08/17(日) 17:54:34.44 ID:ikoXWBgs そもそも数学などまともに勉強したことなど一ミリもないゴミの分際で言いたい放題の無礼な言い草 百回よめとか自分は教科書すらもってない分際でどの口で言うとんじゃゴミ http://rio2016.5ch.net/test/read.cgi/math/1753000052/741
742: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 17:56:57.37 ID:TyT53DUJ >>733-738 >f(x)=e^(-x) が無限回微分できると仮定し、無限回微分した関数をg(x)と書く。 ふっふ、ほっほ そういう雑な思考をしているから 数学科のオチコボレさんになる それは、下記の chiebukuro 無限級数 ”1-1+1-1+1,,,,,,,,,, ”の話と類似であって そのような 無限級数があるからと 全ての無限級数を否定するのは オチコボレのみ https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14298410794 chiebukuro.yahoo 1252701449さん 2024/5/22 無限級数のついて質問です。 1-1+1-1+1,,,,,,,,,, はなぜ発散なのですか? 1になったり0や−1になるからですか? (引用終り) 別に g(x)=e^(x) を取る。これは 指数関数だ https://ja.wikipedia.org/wiki/%E6%8C%87%E6%95%B0%E9%96%A2%E6%95%B0 無限回微分により テーラー展開 e^(x)=Σ n=0〜∞ 1/n! x^n を得る https://ja.wikipedia.org/wiki/%E3%83%86%E3%82%A4%E3%83%A9%E3%83%BC%E5%B1%95%E9%96%8B このテーラー展開 は、無限級数である(項は無限でなければならない(有限ではありませんwww))■ まあ、オチコボレは テレンスタオの“big picture”、謎の数学者氏「絵を描くように」、ポアンカレ&渕野昌 のいう 数学的直観 が欠落している 君は勉強不足だよw ;p) (参考) https://rio2016.5ch.net/test/read.cgi/math/1748354585/7-9 テレンスタオ! https://terrytao.wordpress.com/career-advice/ Career advice (このサイトに、いろんなアドバイスがあり、参考になる。下記は、その一つです) https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/ By Terence Tao There’s more to mathematics than rigour and proofs July 2016 (1) 3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond. (google訳) 3. 「ポスト厳密」段階。以下略す つづく http://rio2016.5ch.net/test/read.cgi/math/1753000052/742
743: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 17:57:32.93 ID:TyT53DUJ つづき 謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)w これでしょうね ;p) (参考)<いまリンク切れだが> https://youtu.be/q-3IWEyfFQg?t=11https://youtu.be/q-3IWEyfFQg?t=1 数学に向かない人の数学書の読み方。数学者はこうやって読む 謎の数学者 2022/06/07 コメント @gary8593 2 年前 「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。 特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。 https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9 Henri Poincaré https://en.wikipedia.org/wiki/The_Value_of_Science The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902). (google訳) 直感と論理 最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。 論理は確実性しか与えず、証明の手段である。直感は発明の手段である。 <数学と厳密> あなたのまったく逆を、渕野先生が書いている ”厳密性を数学と取りちがえるという勘違い” https://www.amazon.co.jp/dp/4480095470 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013 「数学的直観と数学の基礎付け 訳者による解説とあとがき」 P314 (抜粋) 数学の基礎付けの研究は,数学が厳密でありさえすればよい, という価値観を確立しようとしているものではない. これは自明のことのようにも思えるが,厳密性を数学と取りちがえるという勘違いは, たとえば数学教育などで蔓延している可能性もあるので, ここに明言しておく必要があるように思える 多くの数学の研究者にとっては,数学は,記号列として記述された「死んだ」数学ではなく, 思考のプロセスとしての脳髄の生理現象そのものであろう したがって,数学はその意味での実存として数学者の生の隣り合わせにあるもの,と意識されることになるだろう そのような「生きた」「実存としての」(existentialな)数学で問題になるのは, アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので, これは, ときには,意識的に厳密には間違っている議論すら含んでいたり, 寓話的であったりすることですらあるような, かなり得体の知れないものである (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753000052/743
744: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 18:01:46.94 ID:TyT53DUJ >>740-741 口先おとこ*)の基礎論くんか? ( *)口裂け女のもじりw) 圏論の論文を arXiveに投稿しておくれw ;p) それを読んで 君のいうことの検証をするからwww https://ja.wikipedia.org/wiki/%E5%8F%A3%E8%A3%82%E3%81%91%E5%A5%B3 口裂け女 http://rio2016.5ch.net/test/read.cgi/math/1753000052/744
745: 132人目の素数さん [sage] 2025/08/17(日) 18:02:24.83 ID:ikoXWBgs なぁゴミ、お前人生で一回でも件名に何かに夢中になって人生かけて勉強したことあるんか?自分の人生かけて打ち込んだ仕事があるんか? なんにもないんやろ?だからそうやって懸命に生きてる人間を小ばかにして楽しめるんやろ?お前狂ってるわ。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/745
746: 132人目の素数さん [] 2025/08/17(日) 18:18:18.52 ID:ri9WPA52 >>742 >全ての無限級数を否定するのは オチコボレのみ いつ誰が無限級数を否定したの? また勝手読みかい? http://rio2016.5ch.net/test/read.cgi/math/1753000052/746
747: 132人目の素数さん [] 2025/08/17(日) 18:21:21.10 ID:ri9WPA52 >>742 >>f(x)=e^(-x) が無限回微分できると仮定し、無限回微分した関数をg(x)と書く。 >そういう雑な思考をしているから 数学科のオチコボレさんになる 仮定するのは雑なんだ じゃあ学界に論文出しなよ 背理法は雑だから使えないと http://rio2016.5ch.net/test/read.cgi/math/1753000052/747
748: 132人目の素数さん [] 2025/08/17(日) 18:25:19.27 ID:ri9WPA52 >>742 >このテーラー展開 は、無限級数である(項は無限でなければならない(有限ではありませんwww))■ 無限級数は無限項の和ではありません。有限項の和の列の極限です。 って何回言わせんの? 言葉が通じないの? また言語障害? http://rio2016.5ch.net/test/read.cgi/math/1753000052/748
749: 132人目の素数さん [] 2025/08/17(日) 18:35:53.38 ID:ri9WPA52 >>742 >まあ、オチコボレは テレンスタオの“big picture”、謎の数学者氏「絵を描くように」、ポアンカレ&渕野昌 のいう 数学的直観 >が欠落している 君は勉強不足だよw ;p) 「無限回微分可能という語は実は無限回微分可能ではなく任意有限回微分可能を意味する。」について大間違いしたのごまかそうとして鼻息荒いね君 勉強不足で間違ったの認めるの? シレっとごまかさないでね http://rio2016.5ch.net/test/read.cgi/math/1753000052/749
750: 132人目の素数さん [] 2025/08/17(日) 18:41:13.49 ID:ri9WPA52 >>742 で、君、発狂してぎゃーぎゃー喚くのは勝手だけど、結局、無限回の操作の例を一つも示せなかったんだけど、それはどうなの? 間違いと認めるの? ごまかさないでね http://rio2016.5ch.net/test/read.cgi/math/1753000052/750
751: 132人目の素数さん [] 2025/08/17(日) 18:46:56.10 ID:ri9WPA52 >>743 >これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)w これでしょうね ;p) ん? 自己紹介ですか? だって間違ってる(てかいつも間違いだらけ)のは君だよね? 逆に君が私の間違いを指摘できたことはただの一回も無いんだが? http://rio2016.5ch.net/test/read.cgi/math/1753000052/751
752: 132人目の素数さん [] 2025/08/17(日) 18:52:09.85 ID:ri9WPA52 >まあ、オチコボレは テレンスタオの“big picture”、謎の数学者氏「絵を描くように」、ポアンカレ&渕野昌 のいう 数学的直観 >が欠落している 君は勉強不足だよw ;p) 口を開けば間違いだらけのオチコボレがなんか言ってますね http://rio2016.5ch.net/test/read.cgi/math/1753000052/752
753: 132人目の素数さん [] 2025/08/17(日) 18:55:23.24 ID:ri9WPA52 >>744 >それを読んで 君のいうことの検証をするからwww 集合積∩も分からないパープリンに何が検証できると? http://rio2016.5ch.net/test/read.cgi/math/1753000052/753
754: 132人目の素数さん [] 2025/08/17(日) 18:57:54.67 ID:33yZ2vv2 >>742 >By Terence Tao >There’s more to mathematics than rigour and proofs July 2016 (1) >3.The “post-rigorous” stage, in which one has grown comfortable >with all the rigorous foundations of one’s chosen field, (以下略) 「数学には厳密性と証明以上のものがある」というタオのポストの コピペなわけだが、タオはバカが勘違いしないようにはっきり 「“post-rigorous”ステージとは、自分が選んだ分野の厳格な 基礎すべてに慣れてきた段階です」って書き始めてるわな 人工無能はパターンマッチングのコピペだけで内容は読んでないからな http://rio2016.5ch.net/test/read.cgi/math/1753000052/754
755: 132人目の素数さん [] 2025/08/17(日) 19:01:25.18 ID:ri9WPA52 オチコボレ君、発狂すんのは勝手だけど、「無限回の操作は well-defined でない」を認めるのかちゃんと答えてね シレっとごまかさないでね 君いつもごまかすじゃん http://rio2016.5ch.net/test/read.cgi/math/1753000052/755
756: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 19:54:18.42 ID:TyT53DUJ >>739 追加 https://www.math.mi.i.nagoya-u.ac.jp/~kihara/ Takayuki Kihara, Associate Professor (Curriculum Vitae) Department of Mathematical Informatics Graduate School of Informatics Nagoya University, Japan https://www.math.mi.i.nagoya-u.ac.jp/~kihara/wakate2019.html 数学基礎論若手の会 2019 講演リストおよびスライド 荒武 永史 (京都大学): トポス理論と圏論的論理学への誘い https://www.math.mi.i.nagoya-u.ac.jp/~kihara/workshop/wakate/aratake.pdf トポス理論と圏論的論理学への誘い 荒武永史 京都大学大学院理学研究科 2019 年12月6日 数学基礎論若手の会2019in岡崎 Contents Toposes as Mathematical Universes 圏論的論理学と分類トポス 1 トポス理論入門:Grothendieckトポスと初等トポス ・Grothendieck トポス ・初等トポス 2 Toposes as Mathematical Universes ・トポスにおける一階論理の解釈 ・Kripke-Joyal 意味論とSheaf Semantics 3 圏論的論理学と分類トポス ・函手的意味論 ・一階理論の分類トポス ロジック的な視点からは、トポスには主に2つの側面がある ▶ Toposes as Mathematical Universes ▶ “トポスの中で”数学的構造を考えられる ▶ 集合論や型理論の圏論的解釈を与えられる ▶ Toposes as Theories ▶ 理論とトポスが“対応する”(理論の分類トポス) ▶ 理論のモデルは分類トポスからの函手と見なせる 同じトポスを様々な視点から調べられるのが最大の特徴! http://rio2016.5ch.net/test/read.cgi/math/1753000052/756
757: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 20:09:13.67 ID:TyT53DUJ >>747-748 >>このテーラー展開 は、無限級数である(項は無限でなければならない(有限ではありませんwww))■ >無限級数は無限項の和ではありません。有限項の和の列の極限です。 ふっふ、ほっほ 背理法を使っているのは、おれだよ オレオレオレ!w さて >>742より 指数関数 g(x)=e^(x)のテーラー展開 e^(x)=Σ n=0〜∞ 1/n! x^n もし、これが有限和だとすると 複素指数函数公式 https://ja.wikipedia.org/wiki/%E8%A4%87%E7%B4%A0%E6%8C%87%E6%95%B0%E5%87%BD%E6%95%B0 z = x + yi(x, y は実数)(i は虚数単位)に対して、 exp(x+iy)=e^x(cos y + isin y) [2][3] が成立しなくなる それはまずいよねw ;p) よって 背理法により 指数関数 g(x)=e^(x)のテーラー展開 は 無限項の和■ww ;p) http://rio2016.5ch.net/test/read.cgi/math/1753000052/757
758: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/17(日) 20:19:36.02 ID:TyT53DUJ >>747-748 補足 >>このテーラー展開 は、無限級数である(項は無限でなければならない(有限ではありませんwww))■ >無限級数は無限項の和ではありません。有限項の和の列の極限です。 こいつ ”無限級数は無限項の和”を、必死で否定しようとしているよ そんな考えだから 数学科でオチコボレになるんじゃね? ”無限級数は有限項の和ではない”だろ■w ;p) http://rio2016.5ch.net/test/read.cgi/math/1753000052/758
759: 132人目の素数さん [] 2025/08/17(日) 20:38:52.62 ID:ri9WPA52 >>757 >テーラー展開 は無限項の和■ww ;p) はい、大間違いです。 テイラー展開は無限級数であり、無限級数は有限部分和列の極限であって無限項の和ではない。 無限級数は無限項の和とか言ってたら高校生に笑われるぞw てか既に何度も教えてあげてるんだけど、君、言葉が通じないの? 言語障害は病気だから病院行けよ https://ja.wikipedia.org/wiki/%E3%83%86%E3%82%A4%E3%83%A9%E3%83%BC%E5%B1%95%E9%96%8B 数学においてテイラー級数(テイラーきゅうすう、英: Taylor series)は、関数のある一点での導関数の値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開(テイラーてんかい)という。 https://ja.wikipedia.org/wiki/%E7%B7%8F%E5%92%8C 有限和の場合を拡張して、可算無限個の元の列 x1,x2, … に対しても総和を定義することができる。これを特に無限和 (infinite sum)、無限級数 (infinite series) あるいは単に級数(きゅうすう、series)と呼ぶ。総和と同様に、部分和をとる操作を行う。しかし、この操作は、元が有限個である場合と違って有限回で終了しない。ここで、部分和 si の極限を級数の値とする(ただし、チェザロ和などのように値の算出法が異なる総和法も存在する)。部分和の列 si が収束または発散することを以って、級数は収束 (converge) あるいは発散 (diverge) するという。与えられた列から作られる級数が収束するとき、その級数の値をもとの列の和と呼ぶ。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/759
760: 132人目の素数さん [] 2025/08/17(日) 20:48:07.14 ID:ri9WPA52 >>758 >こいつ >”無限級数は無限項の和”を、必死で否定しようとしているよ そりゃ否定するやろ、間違いなんだから >そんな考えだから 数学科でオチコボレになるんじゃね? >”無限級数は有限項の和ではない”だろ■w ;p) 誰が有限項の和と言った? 言葉が通じないの? 言語障害? 何度も何度も何度も何度も言ってるが、無限級数は有限部分和列の極限。無限項の和でも有限項の和でもない。 だから病院行けと言っとるのに頑固だね君も。言語障害は病院行かなきゃ治らんぞ。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/760
761: 132人目の素数さん [] 2025/08/17(日) 20:52:05.91 ID:ri9WPA52 オチコボレ君さあ、君、高校生に笑われるようなことを繰り返し言ってるんだけど自覚あるかい? まあ自覚無いからアホ晒し続けるんだろうけどなw http://rio2016.5ch.net/test/read.cgi/math/1753000052/761
762: 132人目の素数さん [] 2025/08/17(日) 20:55:59.58 ID:ri9WPA52 オチコボレ君、近所に高校生おらんの? 教えてもらえよ 無限級数って何ですか?って 有限部分和列の極限って教えてくれるぞ 無限項の和とか言ったら笑われるぞ http://rio2016.5ch.net/test/read.cgi/math/1753000052/762
763: 132人目の素数さん [] 2025/08/17(日) 21:02:11.76 ID:ri9WPA52 てかさ 仮に無限項の和だとしたら、ある項から先がすべて0であるような特殊な無限級数以外、どこまで足しても値が確定しないのに、どうやって計算すんだよw 根本的にバカだね君 そりゃ落ちこぼれるわ http://rio2016.5ch.net/test/read.cgi/math/1753000052/763
764: 132人目の素数さん [] 2025/08/17(日) 21:14:23.24 ID:ri9WPA52 今日も口を開けば間違いだらけのオチコボレ君 いいかげん数学板から去れば? 居ても無駄だよ 言語障害を治さないと数学どうこう以前だから http://rio2016.5ch.net/test/read.cgi/math/1753000052/764
765: 132人目の素数さん [sage] 2025/08/17(日) 21:18:18.50 ID:g6zMoUaF >>744 お前人間として必要な機能が完全に壊れてるわ http://rio2016.5ch.net/test/read.cgi/math/1753000052/765
766: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/18(月) 00:01:40.96 ID:8aDEijVq 日本語数学の地の文はまだレベルが低い人が多いな。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/766
767: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/18(月) 11:50:01.36 ID:8aDEijVq スレ主さんのように手早く読めるほうが美文。ほかは筋が通らず苦戦の跡が見られる。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/767
768: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/18(月) 11:51:41.78 ID:8aDEijVq 日本語で数学の戦略を練る意味を考えた方が良い。役に立つものであるに越したことはない。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/768
769: 132人目の素数さん [sage] 2025/08/18(月) 14:02:35.51 ID:Dtpskvro こいつらもう戻れないんだろうなと思うと爆笑する っていうかこいつらが税金抜いてんのがなあ、、 http://rio2016.5ch.net/test/read.cgi/math/1753000052/769
770: 132人目の素数さん [sage] 2025/08/18(月) 14:02:45.43 ID:Dtpskvro 私費でやれよ http://rio2016.5ch.net/test/read.cgi/math/1753000052/770
771: 132人目の素数さん [sage] 2025/08/18(月) 14:45:06.80 ID:NRTT2lqv IUTも万博も民間ロケットも税金使う必要無し http://rio2016.5ch.net/test/read.cgi/math/1753000052/771
772: 132人目の素数さん [] 2025/08/18(月) 15:11:07.29 ID:kpyn+6QM 「相乗の公理」というのが過ごそう http://rio2016.5ch.net/test/read.cgi/math/1753000052/772
773: 132人目の素数さん [] 2025/08/18(月) 17:28:18.84 ID:UkND8yRN >>767-768 死狂幻調教大師S.A.D.@月と六ベンツ さん ありがとうございます 今後ともよろしくお願いいたします >>769-772 みなさま、ご苦労様です ところで、下記のように 話は IUTを包含した もっと大きな Arithmetic & Homotopic Galois Theory IRN フランスと日本の共同の研究 Seminars of the Network に発展していることを 認識願いますね 要するに お金はフランスからも出ていますよ (参考) https://ahgt.math.cnrs.fr/activities/ Arithmetic & Homotopic Galois Theory IRN Seminars of the Network ・RIMS Number Theory / Arithmetic Geometry Seminar (local) 日 ・Lille Arithmetic and Topology Seminars 仏 ・Osaka Number theory Seminar 日 ・TIT Arithmetic and Geometry Seminar 日 ・Sorbonne-X ``Variétés Rationnelles'' Seminar 仏 ・Sorbonne Paris Nord ``Géométrie Arithmétique et Motivique'' Seminar 仏 ・ENS DMA ``Raconte-moi...'' Algebra and Geometry Seminar 仏 http://rio2016.5ch.net/test/read.cgi/math/1753000052/773
774: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/18(月) 17:55:26.23 ID:UkND8yRN >>765 >お前人間として必要な機能が完全に壊れてるわ ヒキコモリの基礎論くんに マジレスするのも 大人げないが まあ 日本では 言論の自由は 君にもあり ですからw ;p) >>763 >仮に無限項の和だとしたら、ある項から先がすべて0であるような特殊な無限級数以外、どこまで足しても値が確定しないのに、どうやって計算すんだよw 妄想出まくりじゃんw 君みたいな チンケな考えは リーマンはしていなかったんじゃね?w というのは、下記のリーマンゼータ関数は ζ(s):=?n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ で、リーマンは きっと 無限項の和 だと 素直に考えていたんじゃないかね?ww ;p) 下記の リーマンゼータ関数 を 百回音読してねw なお、君のいう 無限級数で収束を考えることと 無限級数が無限項の和であることは 矛盾しない というか、もし 有限項の和であるならば 収束とか 問題にならないよww (参考) https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E3%82%BC%E3%83%BC%E3%82%BF%E9%96%A2%E6%95%B0 リーマンゼータ関数 リーマンゼータ関数は、s を複素数、n を自然数とするとき、 ζ(s):=?n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ で定義される関数 ζ のことをいう。上記の級数は s の実部が 1 より真に大きい複素数のとき,すなわち Re s > 1 のときに収束する(なお s = 1 のとき調和級数となり発散する)が、解析接続によって s = 1 を一位の極とし、それ以外のすべての複素数において正則な有理型関数となる。 解析接続 ゼータ関数の表示と関数等式 ゼータ関数と素数計数関数 この公式は、リーマンの素数公式、あるいは明示公式 (explicit formula) などと呼ばれている ゼータ関数の零点の分布に関する未解決問題であるリーマン予想は、素数公式の近似精度に関連している。この予想は純粋数学における最も重要な未解決問題であると考える数学者は多い http://rio2016.5ch.net/test/read.cgi/math/1753000052/774
775: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/18(月) 17:59:55.93 ID:UkND8yRN >>774 文字化け訂正 (2か所) ζ(s):=馬=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ ↓ ζ(s):=Σ n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ ζ(s):=馬=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ ↓ ζ(s):=Σ n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯ http://rio2016.5ch.net/test/read.cgi/math/1753000052/775
776: 132人目の素数さん [] 2025/08/18(月) 18:28:41.05 ID:NRTT2lqv >>774 >無限級数で収束を考えることと 無限級数が無限項の和であることは 矛盾しない 収束を考える考えないではなく、有限部分和の極限と定義されている。 矛盾するしない以前に、そもそも無限項の和なるものは存在しない。 >というか、もし 有限項の和であるならば 収束とか 問題にならないよww 有限項の和? 誰が言ったの? 幻聴? 昨日も聞いたんだけど、君、言葉が通じないの? 言語障害? 幻聴+言語障害って重症じゃん君、さっさと精神病院行かないと 数学板でデタラメほざいてる場合じゃないよ http://rio2016.5ch.net/test/read.cgi/math/1753000052/776
777: 132人目の素数さん [] 2025/08/18(月) 18:31:19.38 ID:NRTT2lqv 訂正 × 有限部分和の極限 〇 有限部分和列の極限 http://rio2016.5ch.net/test/read.cgi/math/1753000052/777
778: 132人目の素数さん [] 2025/08/18(月) 18:37:21.80 ID:NRTT2lqv >>774 君、>>759が読めないの? 「部分和 si の極限を級数の値とする」と書かれていて「無限項の和を級数の値とする」とは書かれてないよ。 言語障害だから読めない? 病院へGO http://rio2016.5ch.net/test/read.cgi/math/1753000052/778
779: 132人目の素数さん [] 2025/08/18(月) 18:39:03.75 ID:NRTT2lqv やれやれ 幻聴と言語障害持ち相手にしても拉致開かんな さっさと精神病院入院して欲しい http://rio2016.5ch.net/test/read.cgi/math/1753000052/779
780: 132人目の素数さん [] 2025/08/18(月) 19:58:39.39 ID:J7bpNK4+ >>773 名乗り忘れてますよwww >IUTを包含した 書いてないものが見えるのはビョーキですよwww http://rio2016.5ch.net/test/read.cgi/math/1753000052/780
781: 132人目の素数さん [sage] 2025/08/18(月) 20:41:45.23 ID:NRTT2lqv 彼の評判 ・人間として必要な機能が完全に壊れてる ・幻聴と言語障害持ち ・書いてないものが見えるビョーキ http://rio2016.5ch.net/test/read.cgi/math/1753000052/781
782: 132人目の素数さん [] 2025/08/18(月) 21:21:32.74 ID:x1BypRaJ 山下真由子とは 山下真由子(やました まゆこ)は、1995年生まれの日本の数学者です。 主な研究分野は微分幾何学、トポロジー、数理物理学で、非可換幾何学を専門としています。 彼女は、東京大学工学部計数工学科を中退後、東京大学大学院数理科学研究科で学び、2022年に博士号(数理科学)を取得しました。京都大学数理解析研究所の助教や准教授を務めた後、2025年4月からはカナダのペリメーター理論物理学研究所の研究教員として勤務しています。 受賞歴には、第54回国際数学オリンピック銀メダル(2013年)、日本数学会賞建部賢弘奨励賞(2021年)、第1回マリア・スクウォドフスカ=キュリー賞最優秀賞(2022年)、ゲッティンゲン科学アカデミーよりダニー・ハイネマン賞(2024年)などがあります。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/782
783: 132人目の素数さん [] 2025/08/18(月) 23:08:20.63 ID:/vImjCrG 無限項の和はもともと定義されているものでないので 何らかの妥当な定義が無いと話噛み合わないよ 「素朴な」無限和のイメージは別に持ってて構わんけど 数学にするためにはチャンとした定義が無いとね http://rio2016.5ch.net/test/read.cgi/math/1753000052/783
784: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/18(月) 23:38:27.02 ID:YmDNmTO3 >>776 >矛盾するしない以前に、そもそも無限項の和なるものは存在しない。 ここは、中高一貫校生も来る可能性があるから 赤ペン先生をしておくよw ;p) 数学科オチコボレの視野狭窄 狭いんだよ、君の思考は 勉強不足だよ 21世紀 現代数学では 無限項の和は存在する 君の頭は、古代ギリシャ 君は、ゼノンかアリストテレスかい?w オイラーは、無限級数の天才手品師であり、その名人だったという 彼は、無限級数を扱って その収束は直観で分っていたらしいと だれかが書いていたね 高木 近世数学史談 17.ベルリン留学生に アーベルの無限級数論の話がある クレルレ誌第1巻のアーベルの級数論が画期的だと 高木はいう 収斂円(|x|=1)における級数動作が余蘊なく研究し尽くされているという ”連続関数を項とする級数の和は連続であろうなどと上滑っている時代では空谷の跫音というべきである”などと記す (なお、高木は”「発散級数は和を有しない」とはコーシーの標語である”と特筆している。 逆に言えば、”発散しない無限級数は和を有する” つまりは この場合 無限項の和は存在すると解して良い) 類似の話が下記の”集合論の歴史”で、カントールのフーリエ級数の研究から 彼の無限集合論が考え出されたという 当然 これは無限項のフーリエ級数だよ(項が有限ならば それほどおかしなことは おきない) かように、現代数学では 無限項の和を扱うことは 日常茶飯事なのだ もちろん、有限項の和の極限と一致することは妨げないが それに拘泥するのは 視野狭窄というものさ まあ、数学科オチコボレには 理解できないかな 君は、勉強不足だよw ;p) (参考) https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E8%AB%96 集合論 集合論の歴史 ゲオルク・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された 彼はやがて有理数や代数的数のなす集合が可算であるという結果を得て、・・・ http://rio2016.5ch.net/test/read.cgi/math/1753000052/784
785: 132人目の素数さん [] 2025/08/18(月) 23:57:47.64 ID:NRTT2lqv >>784 君、>>759が読めないの? 「部分和 si の極限を級数の値とする」と書かれていて「無限項の和を級数の値とする」とは書かれてないよ。 言語障害だから読めない? 病院へGO http://rio2016.5ch.net/test/read.cgi/math/1753000052/785
786: 132人目の素数さん [] 2025/08/18(月) 23:59:57.98 ID:NRTT2lqv >>784 だから言ってんじゃん 幻視、幻聴、言語障害は精神病院行けって 数学板で嘘デタラメほざいてる場合じゃないって http://rio2016.5ch.net/test/read.cgi/math/1753000052/786
787: 132人目の素数さん [] 2025/08/19(火) 00:03:14.86 ID:0Rl6AIyy >>784 君、人からこう見られてる自覚ある? 少しは自覚持った方が良いと思うよ ・人間として必要な機能が完全に壊れてる ・幻聴と言語障害持ち ・書いてないものが見えるビョーキ http://rio2016.5ch.net/test/read.cgi/math/1753000052/787
788: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 07:31:51.19 ID:6rG8V9j8 >>784 補足 >(なお、高木は”「発散級数は和を有しない」とはコーシーの標語である”と特筆している。 コーシーの後の世に、有理型関数で ミッタク=レフラーの定理 などが考えられた 正則関数が 無限級数展開を持つことを認めると 有理型関数においては 無限級数が無限大に発散する→極 と解することができて 発散級数に意味を与えることができる。現代数学では、そういうケースは山ほどあります (^^ https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%83%E3%82%BF%E3%82%AF%EF%BC%9D%E3%83%AC%E3%83%95%E3%83%A9%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 ミッタク=レフラーの定理 複素解析において、ミッタク=レフラーの定理(Mittag-Leffler's theorem)とは、前もって与えられた極を持つ有理型関数の存在に関する定理である。一方、ワイエルシュトラスの因数分解定理は、前もって与えられた零点を持つ正則関数の存在を主張する定理であり、本定理と対をなす。この定理の名称は、ヨースタ・ミッタク=レフラー (Gösta Mittag-Leffler) に因んでいる。 https://en.wikipedia.org/wiki/Meromorphic_function Meromorphic function (google訳) 有理型関数 複素解析で、複素平面の開部分集合D上の有理型関数とは、関数の極となる孤立点 の集合を除くD全体にわたって正則な関数のことである。この用語はギリシャ語のmeros ( μέρος )に由来し、「部分」を意味する D上のすべての有理型関数は、D上で定義された 2 つの正則関数(分母が定数 0 ではない)間の比として表すことができます。つまり、任意の極は分母のゼロと一致する必要があります。 ヒューリスティックな記述 直感的に言えば、有理型関数とは、2つの行儀のよい(正則な)関数の比です つづく http://rio2016.5ch.net/test/read.cgi/math/1753000052/788
789: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 07:32:30.37 ID:6rG8V9j8 ついでに https://tetobourbaki.hatenablog.com/entry/2016/12/14/110319 記号の世界ゟ loveブルバキ 20161214 「正則関数」という用語を使うの止めたい 一般に「正則関数」は「holomorphic function」の訳であると考えている人が多いです。しかし、こう考えると明らかな誤訳です。「正則関数」は「holomorphic function」の訳ではありません このことは高木貞治の『解析概論』に書いてあります。もう少し言うと、regular analytic function つまり「正則な解析関数」が正確な訳ですが、『解析概論』で単に正則関数と呼ぶと書いてあります。僕は、この高木先生の訳を何も考えず使っている人が多いのだと考えています。高木先生は regular analytic function だと考えているので全く問題はないのですが、holomolphic の訳だと考えている人がほとんどなのが問題なのです 私の考える対案 それでは、どのような用語にすればいいかを考えてみます。 まず、岩波基礎講座では holomorphic は「整型」、meromorphicは「有理型」が使われていますね。「正則関数」よりはずいぶん良い訳です。morpheに対応して、共に「型」の言葉が使われていることも非常に良いです。ただ、「有理型」が他の言葉にできないかとは考えたくなります。 僕は、用語の作り方、特に、翻訳語については中国語に従えばたいてい問題ないと考えています。中国語では、holomorphic は「全純」、meromorphicは「亜純」という用語を採用しており、上で述べた私の解釈と同じであることが分かります。岩波のようにmorpheの対応はないものの、さすが中国という感がありますね。 僕の結論としては、「整型関数」を採用し「有理型関数」を他の用語にする、もしくは、中国の訳を使うあたりで良いかなと思います。二つの良いところをとって、「整型関数」と「亜整型関数」でもそんなに悪くないと思います (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753000052/789
790: 132人目の素数さん [] 2025/08/19(火) 08:11:36.03 ID:0Rl6AIyy >>788 「無限級数は無限項の和ではなく有限部分和列の極限」に対する何の反論にもなってなくて草 >発散級数に意味を与えることができる どんな意味か具体的に述べよ http://rio2016.5ch.net/test/read.cgi/math/1753000052/790
791: 132人目の素数さん [] 2025/08/19(火) 08:11:46.23 ID:4LF+N/nt >オイラーは、無限級数の天才手品師であり、その名人だったという >彼は、無限級数を扱って その収束は直観で分っていたらしいと だれかが書いていたね そうですね 無限級数は有限和の極限ですね オイラーどころか、はるか以前から 条件収束級数を考えてきてるわけで 数学者が無限級数を極限として捉えてきたのは当然でしょう 無限項の和とか言っている御仁は以下のような 無限級数をどのように正当化するのでしょうか? (当人のレベルでは質問の意味すら分からないと思います) ニュートン=メルカトル級数 Σ_[n=0]^∞ (-1)^n/(n+1) = 1-1/2+1/3-1/4+1/5-… = log 2 ライプニッツの公式 Σ_[n=0]^∞ (-1)^n/(2n+1) = 1-1/3+1/5-1/7+1/9-… = π/4 http://rio2016.5ch.net/test/read.cgi/math/1753000052/791
792: 132人目の素数さん [] 2025/08/19(火) 08:18:31.48 ID:0Rl6AIyy >>788-789 君さあ、大量コピペでごまかすのやめない? いくらコピペしても君の嘘デタラメな持論が正しくなることはないんだから 一方>>759は最小限のコピペで君の持論が嘘デタラメであることを反論の余地無く示している コピペってのはこうやるんだよ 分かったかい? コピペ小僧君 http://rio2016.5ch.net/test/read.cgi/math/1753000052/792
793: 132人目の素数さん [sage] 2025/08/19(火) 09:03:02.20 ID:wEZZRo6q >>688 >”無限回の演算”について、例えば 極限 として定義すれば 良いだけのこと >「数学において無限回の操作の繰り返しは許されない」は 古代ギリシャ時代の話だ >これに対する反例は、21世紀 現代数学ではいくらでもある >単に一つの反例が 極限と解釈する方法だし 高卒◆yH25M02vWFhP 極限の定義が理解できず 大学1年の一般教養の微分積分を落第 それ以来トンデモ数学街道 驀進中 >>690 >極限の定義に無限回の操作の繰り返しは使ってません。 >実際 lim[n→∞]an=α は 論理式 >∀ε∈{r∈R|r>0}.∃n0∈N.∀n∈N(n≧n0→|α-an|<ε) >で定義されており、どこにも無限回の操作の繰り返しは出てきません。 高卒◆yH25M02vWFhP 述語論理によるε-Nの壁が乗り越えられず http://rio2016.5ch.net/test/read.cgi/math/1753000052/793
794: 132人目の素数さん [sage] 2025/08/19(火) 09:03:31.54 ID:wEZZRo6q >>748 >無限級数は無限項の和ではありません。有限項の和の列の極限です。 >>757 >ふっふ、ほっほ >背理法を使っているのは、おれだよ オレオレオレ!w >指数関数 g(x)=e^(x)のテーラー展開 >e^(x)=Σ n=0〜∞ 1/n! x^n >が有限和だとすると >複素指数函数公式 >z = x + yi(x, y は実数)(i は虚数単位)に対して、 >exp(x+iy)=e^x(cos y + isin y) [2][3] >が成立しなくなる >それはまずいよね >よって背理法により >指数関数 g(x)=e^(x)のテーラー展開 >は無限項の和 高卒◆yH25M02vWFhP は背理法も正しく使えず 指数関数 g(x)=e^(x)のテーラー展開は 有限和か有限和でないかのいずれかである は正しいが 有限和か無限和のいずれかである は誤り(笑) >>758 >こいつ >”無限級数は無限項の和”を、必死で否定しようとしているよ >そんな考えだから 数学科でオチコボレになるんじゃね? >”無限級数は有限項の和ではない”だろ 大学1年の一般教養の微分積分を 落第した落ちこぼれは、高卒◆yH25M02vWFhP だろ 有限和でない⇒無限項の和 は、いえない ナイーブな素人はウソを平気で盲信するから 大学数学が初歩から全く理解できない >>759 >無限級数は有限部分和列の極限であって無限項の和ではない。 高卒◆yH25M02vWFhP は 実数の定義も 数列の極限の定義も 関数の連続性の定義も 全然理解できんから 大学1年の一般教養の微分積分を落第 高校の論理からやり直せ http://rio2016.5ch.net/test/read.cgi/math/1753000052/794
795: 132人目の素数さん [sage] 2025/08/19(火) 09:09:44.40 ID:wEZZRo6q >>774 >リーマンゼータ関数ζ(s):=Σ n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯で >リーマンは きっと 無限項の和 だと 素直に考えていたんじゃないかね? 高卒◆yH25M02vWFhP リーマンを自分と同レベルのオチコボレだと愚弄する(笑) 絶対収束しない級数は順序交換によって任意の値に収束させることができる と示したのは外ならぬリーマンなんだがね これだけでリーマンが級数を無限項の和 だと 素直に考えていなかったことが明らか こんな初歩すら知らん高卒◆yH25M02vWFhPが 大学1年の一般教養の微分積分で落第するのは当然 http://rio2016.5ch.net/test/read.cgi/math/1753000052/795
796: 132人目の素数さん [sage] 2025/08/19(火) 09:20:59.05 ID:QWfEcpY0 >>784 >ここは、中高一貫校生も来る可能性があるから赤ペン先生をしておくよ 大学1年の一般教養の微分積分で落第した高卒◆yH25M02vWFhPに赤ペン先生は無理だろ(笑) >数学科オチコボレの視野狭窄 >狭いんだよ、君の思考は 一般教養数学オチコボレの盲目 ないんだよ 君には思考ってものが >勉強不足だよ >21世紀 現代数学では 無限項の和は存在する 不勉強だよ 19世紀以降の現代数学では無限項の和なんて考えない >オイラーは、無限級数の天才手品師であり、その名人だったという >彼は、無限級数を扱って その収束は直観で分っていたらしい >と だれかが書いていたね 直観ではダメなんだよ 天才だけでなく工学部の平凡な学生でも理解できないとね(笑) それがε-Nによる極限の定義 こんなもの理解するのに何の天才も必要としない ついでにいうと極限の定義だけでは 極限があらかじめ分かってる必要があるが それは無理筋 コーシー列は極限が分かってなくても 極限が存在するとわかる そしてそこから逆に 「実数を有理コーシー列の同値類で定義すりゃいいじゃん」 とカントールは閃いた これが大学の実数論よ まあ、高卒◆yH25M02vWFhPにはチンプンカンプンだろうがね だからいってるだろう、述語論理から勉強しろって 言葉と思考法が分からん奴が数学書読んでも 定理の論理式もその証明の推論も理解できないから http://rio2016.5ch.net/test/read.cgi/math/1753000052/796
797: 132人目の素数さん [sage] 2025/08/19(火) 09:30:37.47 ID:iqfU8/Ct >>791 >無限項の和とか言っている御仁は以下のような >無限級数をどのように正当化するのでしょうか? >(当人のレベルでは質問の意味すら分からないと思います) >ニュートン=メルカトル級数 >Σ_[n=0]^∞ (-1)^n/(n+1) = 1-1/2+1/3-1/4+1/5-… = log 2 >ライプニッツの公式 >Σ_[n=0]^∞ (-1)^n/(2n+1) = 1-1/3+1/5-1/7+1/9-… = π/4 >>795で述べたが、 実は上記の数列は絶対収束しないので、順序を入れ替えることで、 それぞれlog 2やπ/4以外の任意の値に収束させることができる (いっとくが、有限個の入れ替えでは変化しないので、 当然無限個いっぺんに入れ替える) もし単純に無限個の和だというなら、どう入れ替えようが値は変わらないだろう しかしそうならないのだから、無限個の和ではないということは明らかである 極限の定義に基づいて考えることが大学数学の基本 これを蔑ろにする高卒◆yH25M02vWFhPが、 大学1年の一般教養の微分積分で落第するのは当然のこと こんな奴を技術者としてやとった会社は 不良製品を製造して破産するだろ(笑) http://rio2016.5ch.net/test/read.cgi/math/1753000052/797
798: 132人目の素数さん [sage] 2025/08/19(火) 09:36:14.58 ID:kuRldLGK >>788 >発散級数に意味を与えることができる。 高卒◆yH25M02vWFhPは、極限の定義も理解してないのに 勝手に解析接続を魔法の技と思い込んで、 発散する級数も解析接続で値が求まるとか 訳の分からん誤解をしているのだろう 大学1年の微分積分も分からん奴に 大学2年の複素解析は分からんよ 多変数の微分もベクトル解析もグリーンの定理も分からんのだろ? 意味ないわ 述語論理から勉強しろ 式が読めないヤツに数学書は読めない http://rio2016.5ch.net/test/read.cgi/math/1753000052/798
799: 132人目の素数さん [sage] 2025/08/19(火) 09:41:32.80 ID:LH7elq1b >>789 >ゟ 江戸時代の古文書にこの文字が大量にあらわれるので調べたら、「より」の合字だそうだ http://rio2016.5ch.net/test/read.cgi/math/1753000052/799
800: 132人目の素数さん [sage] 2025/08/19(火) 09:43:43.40 ID:LH7elq1b >>792 高卒◆yH25M02vWFhPは、漫然とコピペしてる時点で、AIにも負けてる 完全に統失患者のワードサラダ状態 http://rio2016.5ch.net/test/read.cgi/math/1753000052/800
801: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 14:08:28.01 ID:6UaSw7YM ホイヨ https://mathlog.info/articles/x4lObSnn03Hwffg1Gff7 (元)浪人生 大学数学基礎 ディリクレ積分類似の積分と級数の一致について 250817 予想 1以上の自然数kに対して、 ∫ -∞〜+∞ {(sin x)/x}^k dx= Σ n=-∞〜+∞ {(sin x)/x}^k が成り立つ。 上の予想は K=1,2,3,4,5,6 までしか成り立たず、 K >6では 左辺は依然(有理数)πの形になる一方で、 右辺はπのべき乗の線形結合となります。 参考文献に乗せた論文では、類似のsinc の積で表される総和と積分との一致についてより詳しく研究されているので、ぜひ読んでみてください。 参考文献 [1]Baillie, R., Borwein, D., & Borwein, J. M. , Surprising Sinc Sums and Integrals., The American Mathematical Monthly, 2007 https://en.wikipedia.org/wiki/Sinc_function Sinc function https://ja.wikipedia.org/wiki/Sinc%E9%96%A2%E6%95%B0 sinc関数 https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%AA%E3%82%AF%E3%83%AC%E7%A9%8D%E5%88%86 ディリクレ積分 ∫ 0〜+∞ {(sin x)/x} dx これは π/2 に収束することが知られている。これは絶対収束ではなく、ルベーグ積分では可積分でない。ディリクレ積分の名は数学者ペーター・グスタフ・ディリクレから取られている。 この項では、この事実を複素積分に立脚して証明する。 https://en.wikipedia.org/wiki/Dirichlet_integral In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real number line. ∫ 0〜+∞ {(sin x)/x} dx = π/2 This integral is not absolutely convergent, meaning |(sin x)/x| has an infinite Lebesgue or Riemann improper integral over the positive real line, so the sinc function is not Lebesgue integrable over the positive real line. The sinc function is, however, integrable in the sense of the improper Riemann integral or the generalized Riemann or Henstock–Kurzweil integral.[1][2] This can be seen by using Dirichlet's test for improper integrals. http://rio2016.5ch.net/test/read.cgi/math/1753000052/801
802: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 14:43:53.51 ID:6UaSw7YM >>790-800 ふっふ、ほっほ オチコボレさんとその仲間か? >>798 ID:kuRldLGK は、ヒキコモリ 基礎論研究の基礎論くんかw ;p) これは分かるな それはともかく、ニュートンの微積の前の時代 ジョン・ウォリスが、無限演算を熱心に研究したそうな 無限大を表す記号 ∞ を 導入したのも彼だという(下記) 彼は、連分数についても論じているそうな ところで、2 の正の平方根 √2 は、当然無限連分数になるべきだよ なぜならば、有限連分数ならば √2 は 有理数になり 矛盾(∵ √2は 無理数) で? √2 が、無限連分数になることを 否定したいのか? 現代数学は、ジョン・ウォリス以降の多数の数学者の無限に対する研究を 包含し発展した そして いま 21世紀に至る その営みの中で、数学的な無限操作について 21世紀の数学において 十分消化吸収され 認められていることは多いよ 無限連分数展開も その一つだ (参考) https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%B3%E3%83%BB%E3%82%A6%E3%82%A9%E3%83%AA%E3%82%B9 ジョン・ウォリス(John Wallis、1616年11月23日 - 1703年10月28日) イングランドの数学者で、微分積分学への貢献で知られている 主な業績 ウォリス積 無限大を表す記号 ∞ 積分法 この著作では連分数についても論じている。 https://ja.wikipedia.org/wiki/%E9%80%A3%E5%88%86%E6%95%B0 連分数 以下は二次無理数であるため、循環する連分数展開を持つ。 2 の正の平方根 √2=[1;2¯]=[1;2,2,2,…] http://rio2016.5ch.net/test/read.cgi/math/1753000052/802
803: 132人目の素数さん [] 2025/08/19(火) 15:18:18.51 ID:0Rl6AIyy >>801 それが何? >>802 >√2 が、無限連分数になることを 否定したいのか? 誰がそんなこと言ったの? また幻聴? 君、無限連分数は無限回の割り算と思ってるでしょ。 はい、大間違いです。 下記の通り、無限連分数は有限部分連分数の列の極限です。 https://ja.wikipedia.org/wiki/%E9%80%A3%E5%88%86%E6%95%B0 また、極限の概念により、分数を無限に連ねたものも考えられる。 [a0;a1,a2,a3,…]=lim[n→∞][a0;a1,a2,a3,…,an] あらら、無限級数、無限乗積に続いてまた同じような間違いやらかしちゃったね 赤っ恥だね >現代数学は、ジョン・ウォリス以降の多数の数学者の無限に対する研究を 包含し発展した >そして いま 21世紀に至る >その営みの中で、数学的な無限操作について 21世紀の数学において 十分消化吸収され 認められていることは多いよ >無限連分数展開も その一つだ なんか達観したようなことほざいてるけど、初歩の初歩から間違ってるから。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/803
804: 132人目の素数さん [] 2025/08/19(火) 15:26:12.76 ID:0Rl6AIyy 無限級数は有限部分和の列の極限。無限乗積も無限連分数も同様。 高校生でも知ってる初歩の初歩すら分かってないオチコボレが、現代数学がー 多数の数学者の研究がー 21世紀の数学がー とかほざいても無意味だから。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/804
805: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 15:39:55.67 ID:6UaSw7YM >>791 (引用開始) オイラーどころか、はるか以前から 条件収束級数を考えてきてるわけで 数学者が無限級数を極限として捉えてきたのは当然でしょう 無限項の和とか言っている御仁は以下のような 無限級数をどのように正当化するのでしょうか? (当人のレベルでは質問の意味すら分からないと思います) (引用終り) ご苦労様です 条件収束級数 vs 絶対収束級数 (下記の高校数学の美しい物語) ね。高校での話を思い出しました さて、いまの議論は、数学では無限の操作は許されないかどうかということだった で、オチコボレさんたちは、数学では”無限の操作は終わらないから 許されない”wという 一方私は、多分 ウォリスやニュートン、リーマンの時代までは、結構 無限の操作を許容していたし カントールも 無限の操作を許容していたろう と思いますよ 一方で、ラッセルパラドックスなどで 無限操作を無批判に許容するとまずいとなって 出来るだけ抑制すべきという時代が 20世紀中ころまであった その後、また数学の発展があって(超準解析とかね) 21世紀の数学では、無限大や無限小を含めて けっこう無限操作を許す範囲が広がっている 上記の条件収束級数の話においては、下記の高校数学の美しい物語にあるとおりですよ 話は逆で 絶対収束する場合は、無限級数を 無限項の和 と考えてもいい かまわない場合があるってことですね (「無限級数が絶対収束すると,有限和のときに可能な様々な操作が自由に行える」下記) 高校での数学の話を思い出しましたよ (^^ (参考) https://manabitimes.jp/math/1116 高校数学の美しい物語 絶対収束と条件収束の意味と具体例 2022/10/01 無限級数の絶対収束と条件収束について整理しました。絶対収束なら収束することの証明,絶対収束するとなぜ嬉しいのかを解説します。 注:絶対収束・条件収束は「数列」に対する議論です。一方,各点収束・一様収束は「関数列」に対する議論です。→各点収束と一様収束の違いと具体例 目次 絶対収束,条件収束の定義 具体例 絶対収束すれば収束 絶対収束だとなぜ嬉しいのか 絶対収束だとなぜ嬉しいのか 無限級数が絶対収束すると,有限和のときに可能な様々な操作が自由に行える。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/805
806: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 15:49:18.81 ID:6UaSw7YM >>803 (引用開始) 下記の通り、無限連分数は有限部分連分数の列の極限です。 https://ja.wikipedia.org/wiki/%E9%80%A3%E5%88%86%E6%95%B0 また、極限の概念により、分数を無限に連ねたものも考えられる。 (引用終り) ふっふ、ほっほ ;p) 無限連分数が、分数の無限操作であることと それが、収束したり 極限を持つこととは 両立していますよwww ;p) http://rio2016.5ch.net/test/read.cgi/math/1753000052/806
807: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/19(火) 16:08:41.71 ID:6UaSw7YM >>805 追加 下記のディラックのデルタ関数 も、最初は 1点 x=a ∈Rで正の無限大の値を取り、デルタ関数を積分すると 積分値が1になる関数として導入された 下記にあるように、それは通常の関数では無かったが 便利な存在だった そして、シュワルツ超関数 δとして正当化された シュワルツさんは 超関数の理論でフィールズ賞 ゲット 数学の無限操作も同じこと 無限操作を含めて 数学として その概念を拡張することで ”無限”を認める数学の範囲は 徐々に広がっていますw ;p) (参考) https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E3%81%AE%E3%83%87%E3%83%AB%E3%82%BF%E9%96%A2%E6%95%B0 ディラックのデルタ関数 シュワルツ超関数 δ のことである デルタ関数は古典的な意味での関数ではないシュワルツ超関数(英: distribution)の最初の例になっている。 概要 点 x = 0 においてのみ不連続であることを認めても、デルタ関数の特徴付けに用いられている積分が、通常の関数の(広義)リーマン積分やルベーグ積分として理解されるならば、このような関数の積分は恒等的に 0 に等しい関数を積分するのと同じであり積分値は 0 になる。したがって、このような条件を満たすような通常の関数は存在しない。 しかし、通常の意味ではまったく関数ではないデルタ関数は、適当な枠組みの下では意味を持ち、例えばデルタ分布はヘヴィサイドの階段関数の弱微分(超関数の意味での微分)を与えている。 Sinc関数による近似 Sinc関数から変数変換とスケーリングによって得られる関数族 佐藤超関数としての定義 佐藤超関数の流儀では、ディラックのデルタ関数は複素領域から実軸への抽象的境界値 略 と定義される。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/807
808: 132人目の素数さん [sage] 2025/08/19(火) 16:29:22.30 ID:lCs39xn9 >>801 >ホイヨ モンゴル語?(笑) http://rio2016.5ch.net/test/read.cgi/math/1753000052/808
809: 132人目の素数さん [sage] 2025/08/19(火) 16:35:55.55 ID:lCs39xn9 >>802 >2 の正の平方根 √2 は、当然無限連分数になるべきだよ 2 の正の平方根 √2 は、当然有限連分数ではあらわせない そして、有限連分数の無限列で、任意のε>0について、ある自然数nが存在して n番目以降の項の二乗と2の差がε>0以内に収まるようにできるものが存在する いわゆる無限連分数は、このような無限列として正当化し得る これが正しい しかしホイヨーとか叫ぶばかりのモンゴル人には理解できないらしい ナイーブに無限が存在するとか妄想する高卒素人は大学の数学では単位がとれない http://rio2016.5ch.net/test/read.cgi/math/1753000052/809
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 193 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s