なんで定義から直ちに従わないものがあるの? (28レス)
なんで定義から直ちに従わないものがあるの? http://rio2016.5ch.net/test/read.cgi/math/1732456508/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
1: 132人目の素数さん [] 2024/11/24(日) 22:55:08.50 ID:n1mq9fzS たとえば、Sn = 1^(-2) + 2^(-2) + 3^(-2) + ... + n^(-2) の極限を求めることを考える Snの一般項が多項式とかで表せて、n→∞とすれば極限値が直ちに出てくるわけではない フーリエ級数とか、三角関数の無限積展開とか、別の道具が必要になる なぜだ? http://rio2016.5ch.net/test/read.cgi/math/1732456508/1
2: 132人目の素数さん [sage] 2024/11/24(日) 22:55:48.14 ID:jaWAOK+r 働けウンコ製造機 http://rio2016.5ch.net/test/read.cgi/math/1732456508/2
3: 132人目の素数さん [] 2024/11/24(日) 22:56:11.61 ID:n1mq9fzS 極限Snは存在して、そのすべての性質は確定しているはずなのに どうしてその確定しているはずの性質が定義から出てこないんだ? http://rio2016.5ch.net/test/read.cgi/math/1732456508/3
4: 132人目の素数さん [sage] 2024/11/24(日) 22:56:19.88 ID:jaWAOK+r 数学的帰納法は循環論法では? https://rio2016.5ch.net/test/read.cgi/math/1728545284/ http://rio2016.5ch.net/test/read.cgi/math/1732456508/4
5: 132人目の素数さん [sage] 2024/11/24(日) 22:56:31.18 ID:jaWAOK+r 数学的帰納法は循環論法では? https://rio2016.5ch.net/test/read.cgi/math/1728545284/ http://rio2016.5ch.net/test/read.cgi/math/1732456508/5
6: 132人目の素数さん [sage] 2024/11/24(日) 22:56:44.99 ID:jaWAOK+r 背理法と対偶って違うの? https://rio2016.5ch.net/test/read.cgi/math/1730979839/ http://rio2016.5ch.net/test/read.cgi/math/1732456508/6
7: 132人目の素数さん [sage] 2024/11/24(日) 22:57:01.95 ID:jaWAOK+r 抽象化って無意味では? https://rio2016.5ch.net/test/read.cgi/math/1732444301/ http://rio2016.5ch.net/test/read.cgi/math/1732456508/7
8: 132人目の素数さん [] 2024/11/24(日) 22:57:15.32 ID:CwHTVo74 それが収束することでさえ、積分使って示すしな http://rio2016.5ch.net/test/read.cgi/math/1732456508/8
9: 132人目の素数さん [] 2024/11/24(日) 22:59:06.89 ID:40qAQ4Te その点ミルナーとグロタンディークは天才 http://rio2016.5ch.net/test/read.cgi/math/1732456508/9
10: 132人目の素数さん [] 2024/11/24(日) 23:58:30.76 ID:4HlkJ8OP 群論の定理だって群作用や行列使うじゃん http://rio2016.5ch.net/test/read.cgi/math/1732456508/10
11: 132人目の素数さん [] 2024/11/25(月) 00:34:44.42 ID:NKkZGmZC 代数学の基本定理のくせに代数学で証明できない http://rio2016.5ch.net/test/read.cgi/math/1732456508/11
12: poem [] 2024/11/25(月) 06:13:50.52 ID:fV5e82dk 興味なので足跡 http://rio2016.5ch.net/test/read.cgi/math/1732456508/12
13: poem [] 2024/11/25(月) 06:16:11.68 ID:fV5e82dk 1の内容すら何言ってるのか難しいこと一切理解できないけど 簡単なことが出てきたら覚えるのに摘み取る意気込みですナウ http://rio2016.5ch.net/test/read.cgi/math/1732456508/13
14: poem [] 2024/11/25(月) 06:27:10.76 ID:fV5e82dk 素人だからわからないけど 因数分解…(x^2-9)→(x-3)(x+3) すらも1(他の数論の道具。因数分解の例ならよく問題に含めさせられる公理を覚えて問題の式形とジグソーパズルして何が使えるかを発見する)をやってるから数論全体全てに言えるレベルだと思うんだけど 興味視聴させてたもー http://rio2016.5ch.net/test/read.cgi/math/1732456508/14
15: 132人目の素数さん [sage] 2024/11/25(月) 10:36:57.83 ID:xCxo2vxh ? http://rio2016.5ch.net/test/read.cgi/math/1732456508/15
16: poem [] 2024/11/25(月) 12:57:01.81 ID:fV5e82dk >>15 因数分解のは関係ないか? 関係あるんじゃと思っただけ 関係無いのか。 http://rio2016.5ch.net/test/read.cgi/math/1732456508/16
17: 132人目の素数さん [] 2024/11/25(月) 18:11:55.37 ID:zt3qljQe >>11 代数で証明できるが http://rio2016.5ch.net/test/read.cgi/math/1732456508/17
18: 132人目の素数さん [] 2024/11/25(月) 21:00:40.82 ID:x5K1dtr7 >>17 証明してみて http://rio2016.5ch.net/test/read.cgi/math/1732456508/18
19: 132人目の素数さん [] 2024/11/26(火) 13:54:37.86 ID:eHD8NeVi >>17 証明書いてくれませんか? それか文献書いて下さい http://rio2016.5ch.net/test/read.cgi/math/1732456508/19
20: 132人目の素数さん [] 2024/11/27(水) 12:02:56.83 ID:B6khl3XV >>17 証明はまだですか? 証明が書いてある文献だけでもいいです http://rio2016.5ch.net/test/read.cgi/math/1732456508/20
21: 132人目の素数さん [sage] 2024/11/28(木) 10:43:22.34 ID:XCAq3thN >>1 >なんで定義から直ちに従わないものがあるの? >たとえば、Sn = 1^(-2) + 2^(-2) + 3^(-2) + ... + n^(-2) の極限を求めることを考える >Snの一般項が多項式とかで表せて、n→∞とすれば極限値が直ちに出てくるわけではない >フーリエ級数とか、三角関数の無限積展開とか、別の道具が必要になる >なぜだ? 横レスすまん 1)素朴な疑問で、疑問を持つことは悪くないが それ、下記 バーゼル問題で、オイラーの解法 で (π^2)/6であることは、既知とする 2)Snが”収束することの証明”は、比較的簡単らしい(下記) だから、S∞=ζ(2)と書いて放置しておいても良い。実数であることだけなら、それで終わり ζ(s)で、sが奇数の場合は、多くはこれ 3)ところが、それが(π^2)/6 という円周率πとの関連をつけようとすると オイラーの解法のように、「sin x のマクローリン展開」などが必要に フーリエ解析を用いた解法もあるらしい 4)戻ると 上記は素朴な疑問で、疑問を持つことは悪くない 昔、ゲオルク・カントールによるフーリエ級数の研究から、 「そもそも実数とは何か?」 という問題に踏み込んで、いまの集合論が出来上がったという 150年くらい前の話で 集合論が完成するのに100年くらい、多数の数学者が努力した 5) 素朴な疑問(大体は解決済み)を自力解決しようとするのは 悪くないが たいてい「車輪の再発明」ということだ だから、過去の数学事例を知るが優先される その上で、未解決問題(オープン問題)をやりたい人はやればいい (リーマン予想とか) 勉強が進めば分かってくる https://ja.wikipedia.org/wiki/%E8%BB%8A%E8%BC%AA%E3%81%AE%E5%86%8D%E7%99%BA%E6%98%8E 車輪の再発明 車輪の再発明(しゃりんのさいはつめい、英: reinventing the wheel)とは、「広く受け入れられ確立されている技術や解決法を(知らずに、または意図的に無視して)再び一から作ること」を指すための慣用句 https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%82%BC%E3%83%AB%E5%95%8F%E9%A1%8C バーゼル問題(バーゼルもんだい、英: Basel problem)は、級数の問題の一つで、平方数の逆数全ての和はいくつかという問題である。ヤコブ・ベルヌーイやレオンハルト・オイラーなどバーゼル出身の数学者がこの問題に取り組んだことからこの名前で呼ばれる。 概説 1644年にピエトロ・メンゴリ(イタリア語版、ドイツ語版)が「平方数の逆数全ての和は収束するか?仮に収束するとしてそれは幾らの数値に収束するか?」という問題を提起した。この問題は何人もの数学者が解決に挑み、中でもヤコブ・ベルヌーイは1689年にこの問題について取り組んだものの解決には至らなかった。 ベルヌーイに学んだレオンハルト・オイラーは、1735年にこの問題を平方数に限らず、自然数の偶数乗の逆数和について一般化した形式で解決した。ベルンハルト・リーマンはそのアイディアを取り入れることでゼータ関数を定義し、その性質を調べることに繋がった(1859年の論文「与えられた数より小さい素数の個数について」)。 収束することの証明 略す つづく http://rio2016.5ch.net/test/read.cgi/math/1732456508/21
22: 132人目の素数さん [sage] 2024/11/28(木) 10:43:52.42 ID:XCAq3thN つづき オイラーの解法 オイラーは、sin x のマクローリン展開を利用して解く方法を編み出した 求める級数の値は ?n=1〜∞ 1/n^2=(π^2)/6 である フーリエ解析を用いた解法 略す https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E8%AB%96 集合論 集合論の歴史 ゲオルク・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された。彼はやがて有理数や代数的数のなす集合が可算であるという結果を得て、それをリヒャルト・デーデキントとの書簡の中で伝えている。 そこでは実数についてもこれが成り立つかという問題に取り組んでいること、どうやらそうではないらしいことが述べられている。それからわずか数週間で、彼は実数が可算でないということについての証明を得る。その後、彼は数直線 R と平面 R2の間に全単射があるかという問題に取り組んで、3年にわたる研究の結果、それらの集合の間に全単射が存在することを示した。彼はその証明を伝えたデーデキントへの書簡の中で、有名な "Je le vois, mais je ne le crois pas"「私にはそれが見えるが、しかし信じることができない」という言葉を書き残している。 実数集合の持つ超越的な性格は同時代の数学者の一部のあいだに揺籃期の集合論そのものに対する拒否反応を巻き起こした。カントールの師レオポルト・クロネッカーによる否定はカントールに影響を与えることになった。 ツェルメロによって選択公理とその帰結としてすべての集合上に整列順序関係が入るということがはっきりさせられた。選択公理の意味するところやその妥当性についてはルベーグとボレル、ベールの間の議論などに代表されるように数学者たちによる活発な議論の的となった。 クルト・ゲーデル 一方で、カントールが頭を悩ませつづけた連続体仮説:「実数集合は自然数集合の次に大きい集合であるか?」は、クルト・ゲーデルとポール・コーエンの業績によってZFC公理系からは証明も反証もできないことがわかった。 数学にあたえた影響 集合論以前の数学は、数であるとか方程式であるとかあらかじめ与えられた数学的対象の性質を研究する、という性格が強いものだった。集合論以降は問題にしている数学的な現象をよく反映するような「構造」を積極的に記号論理によって定義し、その構造を持つ集合について何がいえるかを調べる、という考え方が優勢になった。とくに20世紀に入ってからの抽象代数学や位相空間論では様々な新しい数学的対象が集合の道具立てを用いて積極的に構成され、研究された。このパラダイムはブルバキによる『数学原論』においてその頂点に達したと見なされている。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1732456508/22
23: 132人目の素数さん [sage] 2024/11/28(木) 14:20:11.37 ID:THiNTAN/ >>21 >横レスすまん 悪いと全く思ってないのに謝罪してみせる傲慢馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1732456508/23
24: 132人目の素数さん [sage] 2024/11/28(木) 14:27:17.54 ID:THiNTAN/ >>21 意味なく番号つける馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1732456508/24
25: 132人目の素数さん [sage] 2024/11/28(木) 14:28:47.75 ID:THiNTAN/ >>21 >たいてい「車輪の再発明」 再発明もできず、任意の正方行列が逆行列をもつ、とドヤ顔で語る底辺高卒がいたな http://rio2016.5ch.net/test/read.cgi/math/1732456508/25
26: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2024/11/30(土) 18:22:23.90 ID:9Sqq12HI >>1 Q:『なんで定義から直ちに従わないものがあるの?』 A:定義から直ちに従う 数学なんて 皆無では?? 1)自然数 0,1,2,3,・・・ 定義から直ちに従うなら、整数論はイランw 2)微分 df(x)/dx、 積分 ∫f(x)dx 定義から直ちに従うなら、微分積分、微分方程式の教科書はイランww 3)ユークリッド平面幾何 定義から直ちに従うなら、原論やピタゴラスの定理証明はイランwww ;p) http://rio2016.5ch.net/test/read.cgi/math/1732456508/26
27: poem [] 2024/11/30(土) 23:33:33.72 ID:WdRa14jh ふむふむ ふむむ? くわしく ほりたい ねそれ! http://rio2016.5ch.net/test/read.cgi/math/1732456508/27
28: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2024/11/30(土) 23:54:40.76 ID:9Sqq12HI >>26-27 まあ、普通の話だが ;p) 1)数学は、言葉だと思いなさいよ 理系の言葉! 物理や化学や工学や経済や いろんなものを表す 2)例えば日本語 文法があって、語彙がある 3)文法があって、語彙があるだけでは 足りない 物語や小説がない 同様に 数学が言葉として、文法(公理)や語彙(定義) それだけでは、全く足りない 4)文法(公理)や語彙(定義)を使って作られるのが (なんとか)xx理論ってやつ その理論には、いろんな定理や 例題や 解かれた予想や 未解決問題があるのです 繰り返すが Q:『なんで定義から直ちに従わないものがあるの?』 A:定義から直ちに従う 数学なんて 皆無では?? ;p) http://rio2016.5ch.net/test/read.cgi/math/1732456508/28
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.334s*