open2ch.net
携帯で見る

数学@おーぷん2ちゃんねる

ローカルルールの議論・経過についてはwiki
おーぷん初心者はよくある質問と回答を見てね
板一覧 | ヘッドライン | ランキング | 履歴

設定
レス順 | 作成順   
1: 数学板に活気を取り戻すぞ (7) 2: 杉浦解析入門・解析演習を頑張って読むスレ (6) 3: 素因数分解とは (11) 4: 【超難問】1+1=? (13) 5: 渋谷のギャル100人に聞いた選択公理と同値な命題 (1) 6: 数学にはまったきっかけを教えてくれ (12) 7: 微分不可能な点が表れる最小のバストサイズは? (2) 8: 素数解明したんだが (3) 9: ワイの数学勉強スレ (6) 10:数強求む (3) 11:極限「lim[n→1-0](n)」の結果と、nそのものの値がどうなっているかを教えて下さい(Open2ch) (59) 12:機械学習をがんばって学ぶ為のスレッド (95) 13:1+1=2をお前らが考える最も難しい方法で証明しろ (6) 14:数検1級って独学で可能? (48) 15:中学の数学です (4) 16:全ての素数の積が4π^2である事の証明 (5) 17:二ヶ月更新のないスレに書き込んで見る (4) 18:参考書青チャート数学1A完璧にしたから質問受け付けるよ。 (3) 19:合格る確率のステージ3まで終わったから質問受け付けるよ (3) 20:にしんすう (7) 21:三角関数加法定理 (7) 22:これってどうすればいいのか教えてください (5) 23:大学理系レベルの数学を教えたり教えられたり (6) 24:誰かこの答えを教えてくれないか (3) 25:岩波講座現代数学シリーズほしいのだけれど (2) 26:標準模型が修正されればYang-Millsの問題は解決しますかね? (1) 27:数学のやる気の出し方を教えてくれ (12) 28:のんびり算数・数学パズルその2 (55) 29:この謎理論を論破してくれ (9) 30:20世紀最高の数学の定理といえば? (4) 31:雑談はここに書け! (79) 32:代数学に自信ニキきてくれ (7) 33:数学の問題ほか質問スレ (203) 34:このスレが目についたら何か書き残して行け (349) 35:2倍していくスレ (79) 36:この問題ぜってえとけねえ (3) 37:のんびり算数・数学パズル (1000) 38:命題と条件の問題がわかりませぇん(´д`) (5) 39:お前ら覚悟しろよ (2) 40:位相幾何学 (5) 41:1秒生きるのに必要なお金はいくらですか? (5) 42:かっこいい無限級数を集めるスレ (16) 43:バナー応募スレin数学板 (27) 44:暇な時はグラフ貼ってく (314) 45:Twitterで話題のこの問題にかっこいい解答を与えて欲しい。 (9) 46:【マンデルブロ】数学関連の動画を細々と集めるスレ【シェルピンスキ】 (27) 47:◆この板の自治雑談質問相談投票スレ立て依頼総合★1 (8) 48:テスト(Test & Links)記念書き込みもOK! (15) 49:数学って案外凄いよな (7) 50:数学関連の面白いサイトを紹介するスレ (21) 51:数学が分からない俺に数学を教えてくれ (35) 52:お前ら証明の最後ってなんてかいてるの? (30) 53:パズルスレが上がらない (5) 54:確立で面白い事ない? (21) 55:確率・統計 (44) 56:教えてください (9) 57:数学の本を挙げるスレ (24) 58:この問題解いてください! (16) 59:数学って才能なのか? (5) 60:自分で作った問題が解けない助けて!! (8) 61:相談したいことがあるんですが (20) 62:巨大オセロやろうぜwww (7) 63:世界一難しいサムナンプレ解こうぜwww (19) 64:この問題解ける? (42) 65:数学科の定期試験って証明問題ばっかなの? (5) 66:数検一級と数検準一級グランプリ金賞 (5) 67:誰かこの問題解けない? (11) 68:数字と演算子だけで会話するスレ (19) 69:絵文字を開発するスレ (20) 70:P(n)=2n^2+2n+1(n=1,2,3www)でさ (22) 71:公式を適当に書いてけ (10) 72:セクシー素数って知ってる? (4) 73:ゲーム理論をやる人のスレ (4) 74:【悲報】俺(16)、三角不等式がわからない (4) 75:king様を崇め奉るスレ (7) 76:topology【トポロジー,セルカン】川崎和男vs.森口尚史【iPS,山中】 (10) 77:引用2で京大教授に30代でなりたい人のためのスレ (5) 78:数学パズルを出し合うスレ (9) 79:アニメーション表示も可能な関数グラフ作成ソフト (3) 80:【妄想】美少女設定でおもしろそうなのはin数学板【爆発】 (2) 81:1+1=田  1+1=田 (3) 82:三大基地外今井弘一また過去の残党に虐められる (7) 83:【代数学】体論スレ (4) 84:ギャンブル必勝の数学理論 (6) 85:皆でリーマン予想を解いてくスレ (2) 86:超平面について (6) 87:勝良研究室 不思議で奥が深い『無限』の数学と作用素環論の研究 (2) 88:詭弁論理学 (2) 89:★★★伝説の数学者、増田哲也★★★ (2) 90:ポアンカレ予想を詳しく解説してくれ (4) 91:1+1=3億 (9) 92:★霊魂の類を定義する。★ (16) 93:【リジェクト】名大数学COE教授【虚偽申請】 (4) 94:(software)Apple特許JobspatentUSPTO (5)  
スレッド一覧   過去ログ   ごみ箱(仮)

【1:7】数学板に活気を取り戻すぞ
1名無しさん@おーぷん:2016/11/14(月)00:12:53 ID:RPc
人がおらんことには始まらんから、これを見た人はとりあえずレスしてクレメンス



2名無しさん@おーぷん:2016/11/17(木)17:18:28 ID:GX1
ヽ(・∀・)ノイエーイ♪
記念カキコだお~♪(*´∇`*)

MCMC法よりも
ギブス・サンプリングが好き
同時確率まんこクセーよ

3名無しさん@おーぷん:2016/11/20(日)21:59:33 ID:UTk
スレ主さえも消えた…
次にカキコする奇特な人は
好きな異性の名前を書き込むように

5名無しさん@おーぷん:2016/11/24(木)08:51:42 ID:S8D
ワイは中条あやみ(*´∇`*)

6名無しさん@おーぷん:2017/06/17(土)22:45:38 ID:KcY
久し振りにカキコしたべお(´・ω・`)

7名無しさん@おーぷん:2018/09/24(月)23:16:49 ID:ees
記念カキコ

名前: mail:

【2:6】杉浦解析入門・解析演習を頑張って読むスレ
1名無しさん@おーぷん:2018/08/30(木)00:25:17 ID:Gzz
誤植とか解釈シェアしたいです



2名無しさん@おーぷん:2018/08/30(木)00:28:28 ID:Gzz
特に解析演習は変なとこ多いと思うんですよ

3名無しさん@おーぷん:2018/08/30(木)00:30:12 ID:Gzz
解析演習p6
右極限の定義
x<aで定義

x>aで~では?

4名無しさん@おーぷん:2018/08/30(木)00:31:50 ID:Gzz
解析演習p6
左極限の特別な場合として~

右極限~では?

5名無しさん@おーぷん:2018/08/30(木)00:32:56 ID:Gzz
解析演習p17
-R<a<Rって何?

6名無しさん@おーぷん:2018/08/30(木)00:34:31 ID:Gzz
解析入門Ⅰの連続の公理は解析演習の実数の公理に対応しているので注意

名前: mail:

【3:11】素因数分解とは
1名無しさん@おーぷん:2017/10/13(金)19:16:01 ID:S5M
自然数の対数であり、自然数上の無限次元ベクトルである。その本質は掛け算を足し算に変換する事。
12 = 2^2 + 3^1 + 5^0 + 7^0 + ...
なので
log(12) = (2,1,0,0,0... )

このベクトルを自然数から整数に変え、-1を素因数に追加すると 0 を除く有理数の対数となる。
例えば、
12/35 = (-1)^0 + 2^2 + 3^1 + 5^-1 + 7^-1 + 11^0 + 13^0 ...
なので
log( 12/35) = (0,2,1,-1,-1,0,0... )
log(-12/35) = (1,2,1,-1,-1,0,0... )

さらに、有理数の複素数にできないか?
それは
( cos(θ) + sin(θ)i ) * 正の有理数絶対値 = ( cos(θ) + sin(θ)i ) * 2^a + 3^b + 5^c ...
という形にOK、次のようになる
log(-12/35) = (π , 2,1,-1,-1,0,0... )
log(12i/35) = (π/2 , 2,1,-1,-1,0,0... )

しかし、先頭要素θが整数でないのが気に入らない。
また 0 も何とか含められないか?
0^0 は自然数なら1と定義しても差し支えない、そういう事にすれば、乗算(ベクトル加算)は問題無い、が除算(ベクトル減算)の挙動が気に入らない。

などという事を考えていたアマチュア数学マニアなのですが
このベクトルの要素をすべて整数にして気持ちよくできないかな?



2名無しさん@おーぷん:2017/10/17(火)01:24:05 ID:Eku
まず、ベクトル空間を成しているわけではないのでベクトル呼びはやめた方がいい
数学的な言葉で書けばこんな感じかな

整数環ZはUFDであり、また素元の集合を"(正の)素数の集合"として(大小関係による順序を込めて)canonicalに取ることができる.
よって、次のbijectiveな対応が存在.
Z\{0}∋±2^a[1]•3^a[2]•5^a[3]•…→(±1,{a[n]})∈{±1}×{seqs of natural numbers of which all but a finite members are zero}
整数列に拡張すれば、Q\{0}との間に類似の対応をつくることができる.


有理数の複素数というのはQ[√-1]のこと?
アナロジーを考えるならば、Q[√-1]はZ[√-1](これもUFD)の商体なので、Z[√-1]における素元分解をまず考えるべき
SpecZ[√-1]はSpecZよりも複雑だが、おそらく問題なく比較的自然な順序を入れられるので、同じようなことは出来なくはないと思われる

3名無しさん@おーぷん:2017/10/17(火)01:33:51 ID:Eku
ちなみにX=SpecZ[√-1]とSpecZの関係は
・p≡3 mod 4 ⇒(p)∈X
・p≡1 mod 4 ⇒∃a,b∈Z s.t. p=a^2+b^2,(a±b√-1)∈X
という感じで少し膨らむ
あとunitは{±1}から{±1,±√-1}に増える
よって
±1及び2,3,5,7,11,13,...
で分解する代わりに
±1,±i及び1+i,3,1+2i,1-2i,7,11,2+3i,2-3i,... (i=√-1)
で分解してやれば一意に分解できる

例えば
12+9i=i•3(1-2i)^2→(i,{0,1,0,2,0,0,0,...})
といった感じ

4名無しさん@おーぷん:2017/10/17(火)01:36:36 ID:Eku
計算ミス
12+9i=-i•3(1+2i)^2→(-i,{0,1,2,0,0,0,…})

5名無しさん@おーぷん:2017/10/17(火)01:56:35 ID:Eku
0を入れたいという話を忘れてた


上で与えた対応はZの積と数列の和を対応させていたもの
0はZの乗法に関して特異的な元であり、それを加えると言うことは数列の側にも同じように特異的な元を加える必要があるということ

解決法は2つ

1つ目は、0の行き先として∞という元を用意すること(∞はいかなる元と和を取っても∞になる、と約束)
Z→{±1}×{seqs} ∪ {∞}
すると、
Z∋0=1×0→(1,{0,0,0,...})+∞=∞
となりうまく演算が保存される

2つ目は、0を無視すること
Z\{0}は逆元を持たないので群にはならず、数学的にはモノイドと呼ばれる対象
すると上の対応はモノイドに関する準同型と思うことができる
ちなみにQ\{0}は群になり、これはQの乗法群と呼ばれたりする
このとき上の対応は群準同型になっている

6名無しさん@おーぷん:2017/10/25(水)00:35:58 ID:ZAN
素数ってすごいの?

7名無しさん@おーぷん:2017/10/25(水)07:12:44 ID:oJM
分析的理解しかできないから同じ形のものを探してくるのが苦手なんだよ

8名無しさん@おーぷん:2018/04/10(火)12:34:04 ID:6Nf
>>6
凄いとかじゃなくて
数列の中で不定期に現れるものでパターンが解かっていないんだよ

9名無しさん@おーぷん:2018/06/14(木)10:22:32 ID:k4e
>>1 です。
レスが付きそうにないくらい過疎っていたので、諦めていたらレスがついていたwww
ID:Ekuさん、ありがとうございます。

自分でも、この後色々考えてみました。結局どうにも上手くいかなくて、ガウス整数と円分体のwiki記事を見てしまいました。Orz
目標としていたのは、ガウス整数をそのまま有理数に変える形でした。

ところで、ベクトルでは無いとはどういう事なんだろう?
wikiのベクトル空間のページを見てみると、ベクトル空間の公理について
加法→が要素ごとの和、つまり乗法、スカラー乗法はべきになるけれど
加法の結合律
加法の可換律
加法単位元の存在
加法逆元の存在
加法に対するスカラー乗法の分配律
体の加法に対するスカラー乗法の分配律
体の乗法とスカラー乗法の両立条件
スカラー乗法の単位元の存在
これらすべて満たしているので、ベクトル空間になっていると思うんですが・・・

# 色々考えてみて分かったこと。
0を含める事は実は掛け算(ベクトル上の足し算)をしている間は、特に問題は発生しない。
問題は、足し算(ベクトルをばらして普通の数に作り替え足し算したのち、もうぺん素因数分解する)と問題が発生するんだ。
あくまでも加法と乗法の混合計算に問題があるのであってどちらか単独であれば、加法と乗法ともにゼロを混入しても問題なく計算可能だったとは。
0除算禁止の秘密が一つ分かっで楽しかったです。

10名無しさん@おーぷん:2018/06/14(木)10:32:48 ID:k4e
今回結局、答えに辿り着けなかった理由は、複素数のノルム(絶対値)の概念が重要な事に気づけるかどうかだったんだと思う。
これが分からないと、複素数の因数分解概念に辿り着けくなる。
距離が実数になったから頭から除外してしまったんだな、平方根取らなきゃいいじゃないかって話を除外してしまった・・・
次に何か新しいネタを研究する時は、ここを意識していきたいと思う所存。

11名無しさん@おーぷん:2018/06/14(木)10:44:38 ID:k4e
せっかく面白い事実を発見したので・・・
次のお題は、0で割ってしまった筈なのになぜか形式的に変形してもうまくいくケースの分析と状況の整理かな。
はてさて、どの辺りから攻めてみよう・・・

名前: mail:

【4:13】【超難問】1+1=?
1名無しさん@おーぷん:2017/03/05(日)16:47:15 ID:OKJ
答えは?



4名無しさん@おーぷん:2017/06/16(金)18:47:27 ID:RAF
(´・ω・`) 田んぼの田

5名無しさん@おーぷん:2017/07/11(火)16:39:38 ID:6q6
標数による

6名無しさん@おーぷん:2017/08/12(土)04:33:09 ID:jTj
1+1

7名無しさん@おーぷん:2017/09/14(木)18:24:34 ID:Ehe
0(F2)

8名無しさん@おーぷん:2017/12/23(土)22:31:03 ID:Lk1
45293867-45293865

9名無しさん@おーぷん:2018/02/24(土)13:25:29 ID:rC7
足し算とか掛け算とか引き算とか割り算とかって数学でいう函数ですか?
いくつかの入力値に対して出力値が一つに定まるので。

10名無しさん@おーぷん:2018/02/24(土)13:27:49 ID:rC7
例えば初等数学では
1 + 1 = の答えが2であったり3であったり-2であったりすることはないですよね?
2だと定まる。

11名無しさん@おーぷん:2018/04/10(火)12:31:29 ID:6Nf
>>3

12名無しさん@おーぷん:2018/04/19(木)13:44:27 ID:HHy
まず1と+と=の定義をしなければ議論は始まらない

13名無しさん@おーぷん:2018/09/12(水)01:24:24 ID:3J2
ペアノの公理による順序の定義で1+1とか1+1+1ってのが出てきたからそれらに2とか3の符号を与えた

名前: mail:

【5:1】渋谷のギャル100人に聞いた選択公理と同値な命題
1名無しさん@おーぷん:2018/02/22(木)23:08:58 ID:CEy
1位Zornの補題
2位任意の線形空間なは基底が存在
3位整列可能定理



名前: mail:

【6:12】数学にはまったきっかけを教えてくれ
1名無しさん@おーぷん:2017/06/12(月)02:44:31 ID:YDn
スレタイ通り
自分は小学校の百マス計算にはまって



3名無しさん@おーぷん:2017/06/13(火)13:23:09 ID:3VC
地番が素数

4名無しさん@おーぷん:2017/06/16(金)18:44:06 ID:RAF
金融工学で必要になったから(´・ω・`)

5名無しさん@おーぷん:2017/07/07(金)11:32:41 ID:Zwj
>>4
レベル高いな

6名無しさん@おーぷん:2017/07/07(金)18:31:26 ID:huS
この数学記号なんて読むんや?


7名無しさん@おーぷん:2017/07/10(月)10:43:43 ID:nqi
>>6
ゼータにしか見えん

8名無しさん@おーぷん:2017/07/10(月)19:46:31 ID:lQT
>>6
>>7



9名無しさん@おーぷん:2017/07/11(火)14:14:11 ID:PGx
クシーはゼータより色っぽい

10名無しさん@おーぷん:2017/10/13(金)19:30:11 ID:S5M
小学校の時に丁寧に算数を教えてくれた先生がすげぇ美人だったから。

11名無しさん@おーぷん:2017/12/23(土)22:29:47 ID:Lk1
そろばん教室

12名無しさん@おーぷん:2018/04/03(火)01:16:58 ID:UJf
頭の中をぐるぐるして止まない抽象的な思考を言語化するにあたって数学という手段が一番これを表現するに最適だと考えたから、とマジレス

名前: mail:

【7:2】微分不可能な点が表れる最小のバストサイズは?
1名無しさん@おーぷん:2017/07/24(月)05:00:30 ID:UCn
ただし自明な微分不可能な点(乳首)は除く



2名無しさん@おーぷん:2017/12/23(土)22:28:12 ID:Lk1
洗濯板

名前: mail:

【8:3】素数解明したんだが
1名無しさん@おーぷん:2017/11/01(水)18:51:50 ID:vdi
https://imgur.com/a/fKVA9 https://imgur.com/a/3NaTw https://imgur.com/a/iaBW5 https://imgur.com/a/W1Uts https://imgur.com/a/X36Oe



2名無しさん@おーぷん:2017/11/21(火)18:37:51 ID:Yur
書けよ!

3名無しさん@おーぷん:2017/11/28(火)09:15:11 ID:Og2
論外

名前: mail:

【9:6】ワイの数学勉強スレ
1名無しさん@おーぷん:2017/08/11(金)20:25:57 ID:wN3
メモ帳にさせてもらうで



2名無しさん@おーぷん:2017/08/11(金)20:27:40 ID:wN3
二項定理を使って
不等式を作り
はさみうちを使う

3名無しさん@おーぷん:2017/08/11(金)20:44:32 ID:wN3


4名無しさん@おーぷん:2017/08/11(金)20:44:39 ID:wN3
おっと

5名無しさん@おーぷん:2017/08/15(火)13:05:10 ID:Ypp
!aku(1)

6名無しさん@おーぷん:2017/09/03(日)17:37:34 ID:kiC
勉強と同じで正解の個数を増やすことが重要なんだー
勉強に個性はなくても良いんだー

名前: mail:

【10:3】数強求む
1名無しさん@おーぷん:2017/06/17(土)23:49:50 ID:awN
e^iπ=-1
(e^iπ)^2=1
e^2iπ=1

log(e^2iπ)=log1
2iπ=0
i=0/2π=0

なぜでしょうか・・・



2名無しさん@おーぷん:2017/06/18(日)23:30:50 ID:nUZ
複素数空間上の単位円で考えて

re(e^i*0*π)=1
im(e^i*0*π)=0

re(e^i*0.5π)=0
im(e^i*0.5*π)=1

re(e^iπ)=-1
im(e^iπ)=0

3名無しさん@おーぷん:2017/07/10(月)19:49:04 ID:lQT
logはC上多価函数だから
つまり
logx=logy ⇒ x=y
とは限らない
適切に定義域を設定するかリーマン面を考えるなら別やけど

名前: mail:


新規スレッド作成
タイトル:
名前: mail:

スレッドをもっと見る(11~)
おーぷん2ちゃんねるの投稿は著作権を放棄しパブリックドメインとして公開しています。
まとめブログやウェブサイト上で自由に転載・創作を行えます。

おーぷん2ちゃんねるに関してのお問い合わせは こちらまで
2018 satoru.net