板検索:
大学学部レベル質問スレ 8単位目 (911)
まとめビュー
1
132人目の素数さん[]   投稿日:2017/07/17 21:32:48  ID:Lm/u9+QC.net
大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

関連スレ
分からない問題はここに書いてね428 [無断転載禁止]©2ch.net
分からない問題はここに書いてね428

※前スレ
大学学部レベル質問スレ 7単位目
大学以上質問スレッド [無断転載禁止]©2ch.net
大学以上質問スレッド


2
[sage]   投稿日:2017/07/17 21:37:15  ID:PMZXT70X.net(3)
★★★忖度と処世術に汚染された日本人:権威主義的な支配と損したくない人達★★★
  〜〜〜芳雄氏が言う『研究者としての基本的態度』とは一体何だろうか〜〜〜

佐藤幹夫:自分自身の素朴な疑問に真剣に耳を傾ける。⇒不滅の金字塔を打ち立てる。
糞父芳雄:人間関係を駆使し他人を操り根回しを行う。⇒ハリボテお教授として君臨。

隠蔽の財務省、嘘吐きの文科省、そして問答無用に屈服させる官邸。コレでも先進国?

(佐藤師がしてたのは本物の研究だ。だが)芳雄氏がしてたのはケケケ、ケンキュウ。
外見を繕って偉そう見せさえすれば何でもヨロシ。ほんで教授になりさえすれば研究の
中身なんて何でもヨロシ。そもそも論文なんてモンは、外国の権威ある雑誌に掲載され
さえすれば、その中身のギロンなんて何でもヨロシ。そやし適当に書いてしまえ〜〜〜
中身がダメだと知ってて、ソレでもSTAP論文を外国に投稿して受理される。発覚したら
適当に言い逃れる醜い態度。オツムのダメな大学院生に「虚偽の良品ラベル」を貼って
世間に出荷するハリボテ大学は詐欺行為そのもの。世間に媚びを売って客商売に徹し、
『売れさえすれば学生の脳の質なんて何でもヨロシ』と居直る大学。そしてブランド名
だけを見て仕入れる世間。●●は一流大学やさかい、きっと優秀なエリートやろwww

中身を何も説明しないで、問答無用に上から押し付ける。ソレをイチャモンで騒いで、
そして邪魔して潰そうとする周囲の下々。大学教員も国会議事堂も、そして馬鹿板人の
遣ってる事も皆同じだ。日本人はバカ民族であり、今は外国にもちゃんとバレてるので
海外からも軽蔑されるだけであり、そのうちにどの国からも信用されなくなるだろう。

近視眼的で打算的な人生観を息子に押し付ける父親と、大脳に栄養が足りてない連中が
跋扈する永田町や霞が関に支配される国に住む不幸、一体どうしてくれるというのか。

☆☆☆数学徒が馬鹿板をしたらダメ。さもないと国家議事堂みたいになります。☆☆☆


コメント1件

3
132人目の素数さん[]   投稿日:2017/07/17 22:14:32  ID:q1i/oV98.net
削除依頼を出しました

4
[sage]   投稿日:2017/07/17 22:16:19  ID:PMZXT70X.net(3)

5
132人目の素数さん[sage]   投稿日:2017/07/17 22:20:58  ID:YazfkW6k.net
>2
どうした急に、猫に成りすまして

6
[sage]   投稿日:2017/07/17 22:22:51  ID:PMZXT70X.net(3)
▼▼▼馬鹿板からは身を引き、日々学問に真剣に取り組む姿勢こそが人の道である。▼▼▼


7
132人目の素数さん[sage]   投稿日:2017/07/18 00:40:35  ID:nxXH/WD4.net
前スレ?(大学以上質問スレッド)の920です
922で頂いた返答について
956で尋ねたことの前半、 : の意味は半直積だということがわかった。後半はおいといて、先に位数72の証明を作ってみようと思う。

有難う

8
[sage]   投稿日:2017/07/18 00:58:37  ID:XDLEa4Hz.net(38)
♪♪♪もう良い子は寝る時間です。そやし馬鹿板は止めて、また明日にしましょう。♪♪♪

ケケケ¥

9
[sage]   投稿日:2017/07/18 05:43:25  ID:XDLEa4Hz.net(38)

10
[sage]   投稿日:2017/07/18 05:43:43  ID:XDLEa4Hz.net(38)

11
[sage]   投稿日:2017/07/18 05:44:01  ID:XDLEa4Hz.net(38)

12
[sage]   投稿日:2017/07/18 05:44:18  ID:XDLEa4Hz.net(38)

13
[sage]   投稿日:2017/07/18 05:44:35  ID:XDLEa4Hz.net(38)

14
[sage]   投稿日:2017/07/18 05:44:51  ID:XDLEa4Hz.net(38)

15
[sage]   投稿日:2017/07/18 05:45:06  ID:XDLEa4Hz.net(38)

16
[sage]   投稿日:2017/07/18 05:45:22  ID:XDLEa4Hz.net(38)

17
[sage]   投稿日:2017/07/18 05:45:43  ID:XDLEa4Hz.net(38)

18
[sage]   投稿日:2017/07/18 05:45:59  ID:XDLEa4Hz.net(38)

19
132人目の素数さん[]   投稿日:2017/07/18 07:01:24  ID:mxSmfTFe.net(3)
f:R→R が連続である時、a∈Rに収束するどんな数列{a_n}に対してもlimf(a_n)=f(a)が成り立つ。(εδの同値条件として得られる)
また、任意の実数は有理数列の極限として表せるので2つの連続写像f,gが一致することを示す時全ての実数に対して値が等しいかは調べる必要がない。
全ての有理数に対して像が一致する事さえ言えば写像の一致は示せる
コメント1件

20
132人目の素数さん[]   投稿日:2017/07/18 07:01:45  ID:mxSmfTFe.net(3)
>19
これって突っ込みどころありますかね?
コメント1件

21
[sage]   投稿日:2017/07/18 07:13:06  ID:XDLEa4Hz.net(38)
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■


22
132人目の素数さん[sage]   投稿日:2017/07/18 08:06:43  ID:m2YmjarS.net
>20
ない

23
[sage]   投稿日:2017/07/18 08:18:52  ID:XDLEa4Hz.net(38)
▲▲▲数学徒は馬鹿板をしない生活を送り、豊かな数学的知性を育むべきである。▲▲▲


24
132人目の素数さん[]   投稿日:2017/07/18 10:08:01  ID:mgk0EwJD.net
前スレ<<973
点列連続の問題できました
ありがとうございました

25
[sage]   投稿日:2017/07/18 10:15:38  ID:XDLEa4Hz.net(38)
▲▲▲数学徒は馬鹿板をしない生活を送り、豊かな数学的知性を育むべきである。▲▲▲


26
[sage]   投稿日:2017/07/18 13:21:04  ID:XDLEa4Hz.net(38)

27
[sage]   投稿日:2017/07/18 13:21:24  ID:XDLEa4Hz.net(38)

28
[sage]   投稿日:2017/07/18 13:21:43  ID:XDLEa4Hz.net(38)

29
[sage]   投稿日:2017/07/18 13:22:03  ID:XDLEa4Hz.net(38)

30
[sage]   投稿日:2017/07/18 13:22:22  ID:XDLEa4Hz.net(38)

31
[sage]   投稿日:2017/07/18 13:22:42  ID:XDLEa4Hz.net(38)

32
[sage]   投稿日:2017/07/18 13:23:00  ID:XDLEa4Hz.net(38)

33
[sage]   投稿日:2017/07/18 13:23:25  ID:XDLEa4Hz.net(38)

34
[sage]   投稿日:2017/07/18 13:23:47  ID:XDLEa4Hz.net(38)

35
[sage]   投稿日:2017/07/18 13:24:08  ID:XDLEa4Hz.net(38)

36
132人目の素数さん[sage]   投稿日:2017/07/18 15:09:30  ID:MLlRs4c9.net
苗は猫に背乗り

37
132人目の素数さん[]   投稿日:2017/07/18 16:01:19  ID:mxSmfTFe.net(3)
f:X→Y が連続 ⇔任意のコンパクト集合C⊂Xに対してf(C)がコンパクト集合となる。

は成り立たないのでしょうか??
⇒は示せたのですが、逆向きが示せません
コメント1件

38
[sage]   投稿日:2017/07/18 16:19:00  ID:XDLEa4Hz.net(38)
▲▲▲数学徒は馬鹿板をしない生活を送り、豊かな数学的知性を育むべきである。▲▲▲


39
132人目の素数さん[sage]   投稿日:2017/07/18 16:56:51  ID:Bt0Fqn3h.net(2)

40
[sage]   投稿日:2017/07/18 17:23:47  ID:XDLEa4Hz.net(38)

41
132人目の素数さん[sage]   投稿日:2017/07/18 17:41:09  ID:Bt0Fqn3h.net(2)
連報、実は中国籍だったとさ

戸籍謄本の一部を公開 「台湾籍有していないと分かる資料」と強調

42
[sage]   投稿日:2017/07/18 17:43:09  ID:XDLEa4Hz.net(38)
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■


43
[sage]   投稿日:2017/07/18 18:43:58  ID:XDLEa4Hz.net(38)

44
[sage]   投稿日:2017/07/18 18:44:17  ID:XDLEa4Hz.net(38)

45
[sage]   投稿日:2017/07/18 18:44:36  ID:XDLEa4Hz.net(38)

46
[sage]   投稿日:2017/07/18 18:44:56  ID:XDLEa4Hz.net(38)

47
[sage]   投稿日:2017/07/18 18:45:15  ID:XDLEa4Hz.net(38)

48
[sage]   投稿日:2017/07/18 18:45:34  ID:XDLEa4Hz.net(38)

49
[sage]   投稿日:2017/07/18 18:45:55  ID:XDLEa4Hz.net(38)

50
[sage]   投稿日:2017/07/18 18:46:15  ID:XDLEa4Hz.net(38)

51
[sage]   投稿日:2017/07/18 18:46:33  ID:XDLEa4Hz.net(38)

52
[sage]   投稿日:2017/07/18 18:46:55  ID:XDLEa4Hz.net(38)

53
132人目の素数さん[]   投稿日:2017/07/18 18:48:12  ID:LyTaKLEa.net
>37
dirichlet関数とかが反例になりませんか?
実数から実数への写像と考えて、実数にはユークリッド位相を入れて考えれば

54
132人目の素数さん[sage]   投稿日:2017/07/18 19:01:07  ID:uP/N4rPc.net
階段関数が反例

55
[sage]   投稿日:2017/07/18 19:04:27  ID:XDLEa4Hz.net(38)
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■


56
132人目の素数さん[sage]   投稿日:2017/07/18 21:15:30  ID:5tVs9a+H.net(2)
馬鹿描には分からない政治

新設認めぬ「石破4条件」は獣医師会の政界工作の「成果」だった! 民主党政権でも献金攻勢

57
132人目の素数さん[sage]   投稿日:2017/07/18 21:20:36  ID:5tVs9a+H.net(2)
元愛媛県知事は10年来獣医学部新設を要望してきた

加戸守行前愛媛県知事「国会は何を議論しているんだ? このバカ野郎!」「役人の矜持はどこへ行った?」

58
[sage]   投稿日:2017/07/19 00:54:44  ID:ydE/00hB.net(21)

59
[sage]   投稿日:2017/07/19 00:55:02  ID:ydE/00hB.net(21)

60
[sage]   投稿日:2017/07/19 00:55:21  ID:ydE/00hB.net(21)

61
[sage]   投稿日:2017/07/19 00:55:39  ID:ydE/00hB.net(21)

62
[sage]   投稿日:2017/07/19 00:55:55  ID:ydE/00hB.net(21)

63
[sage]   投稿日:2017/07/19 00:56:14  ID:ydE/00hB.net(21)

64
[sage]   投稿日:2017/07/19 00:56:30  ID:ydE/00hB.net(21)

65
[sage]   投稿日:2017/07/19 00:57:01  ID:ydE/00hB.net(21)

66
[sage]   投稿日:2017/07/19 00:57:19  ID:ydE/00hB.net(21)

67
[sage]   投稿日:2017/07/19 00:57:39  ID:ydE/00hB.net(21)

68
132人目の素数さん[sage]   投稿日:2017/07/19 02:01:03  ID:yQNC8L1q.net
【ひろき】上田泰己8【カッシーナ】 [無断転載禁止]©2ch.net・
【ひろき】上田泰己8【カッシーナ】 /生物板

817 名前:名無しゲノムのクローンさん :2017/05/22(月) 23:45:30.78 ID:8/RLXOTfd
中国人の東大女子大生が自殺した時に、元彼上田と新彼Bの三角関係が原因と聞いた。
家族が自殺偽造疑って後日週刊誌に記事が出ていたことがあった。
かなり前の週刊誌だったから覚えてる人いないよな。

週刊文春2007年6/9号 162ページから165ページ 全文
「美人東大院生怪死」 才色兼備の東大院生が何故自殺したのか
両親が涙の訴え「娘は殺された!」
警察は「自殺」と断定。疑問を抱いた両親が調べた「遺体の謎」「パソコンの秘密」
【ひろき】上田泰己9【カッシーナ】 /生物板-47

69
[sage]   投稿日:2017/07/19 02:34:32  ID:ydE/00hB.net(21)
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■


70
[sage]   投稿日:2017/07/19 06:39:54  ID:ydE/00hB.net(21)

71
[sage]   投稿日:2017/07/19 06:40:14  ID:ydE/00hB.net(21)

72
[sage]   投稿日:2017/07/19 06:40:32  ID:ydE/00hB.net(21)

73
[sage]   投稿日:2017/07/19 06:40:54  ID:ydE/00hB.net(21)

74
[sage]   投稿日:2017/07/19 06:41:16  ID:ydE/00hB.net(21)

75
[sage]   投稿日:2017/07/19 06:41:35  ID:ydE/00hB.net(21)

76
[sage]   投稿日:2017/07/19 06:41:55  ID:ydE/00hB.net(21)

77
[sage]   投稿日:2017/07/19 06:42:19  ID:ydE/00hB.net(21)

78
[sage]   投稿日:2017/07/19 06:42:39  ID:ydE/00hB.net(21)

79
[sage]   投稿日:2017/07/19 06:42:57  ID:ydE/00hB.net(21)

80
132人目の素数さん[sage]   投稿日:2017/07/21 02:41:48  ID:LhBRa+dU.net(2)
位相と集合についての質問です
Xを位相空間、AをXの部分空間、BをAの部分集合とするとき
 (BのAにおける閉包)=A∩(BのXにおける閉包)
となることを証明したいのですが、

(左辺)
=∩{A∩F | FはXの閉集合で、B⊂A∩F}
=A∩(∩{F | FはXの閉集合で、B⊂F})
=A∩(BのXにおける閉包)

とするのは、正しいでしょうか。
∩の右に集合族を書いているのは、
その集合族に属する集合すべての共通部分をとっています。

81
132人目の素数さん[sage]   投稿日:2017/07/21 02:59:01  ID:FZfYPqH0.net
正しい
コメント1件

82
132人目の素数さん[]   投稿日:2017/07/21 14:12:50  ID:qF+4WnJN.net
http://i.imgur.com/VBnmuMc.jpg
収束か発散か教えてください

83
132人目の素数さん[sage]   投稿日:2017/07/21 14:33:25  ID:StoSckhh.net
三択です

1.収束する
2.発散する
3.どちらともいえない
コメント1件

84
132人目の素数さん[]   投稿日:2017/07/21 14:59:16  ID:6hjBfkOf.net
2017にすると面白いと勘違いするセンス
そこが大きなヒント

85
[sage]   投稿日:2017/07/21 15:27:46  ID:9Y4dp9MH.net(13)
★★★忖度と処世術に汚染された日本人:権威主義的な支配と損したくない人達★★★
  〜〜〜芳雄氏が言う『研究者としての基本的態度』とは一体何だろうか〜〜〜

佐藤幹夫:自分自身の素朴な疑問に真剣に耳を傾ける。⇒不滅の金字塔を打ち立てる。
糞父芳雄:人間関係を駆使し他人を操り根回しを行う。⇒ハリボテお教授として君臨。

隠蔽の財務省、嘘吐きの文科省、そして問答無用に屈服させる官邸。コレでも先進国?

(佐藤師がしてたのは本物の研究だ。だが)芳雄氏がしてたのはケケケ、ケンキュウ。
外見を繕って偉そう見せさえすれば何でもヨロシ。ほんで教授になりさえすれば研究の
中身なんて何でもヨロシ。そもそも論文なんてモンは、外国の権威ある雑誌に掲載され
さえすれば、その中身のギロンなんて何でもヨロシ。そやし適当に書いてしまえ〜〜〜
中身がダメだと知ってて、ソレでもSTAP論文を外国に投稿して受理される。発覚したら
適当に言い逃れる醜い態度。オツムのダメな大学院生に「虚偽の良品ラベル」を貼って
世間に出荷するハリボテ大学は詐欺行為そのもの。世間に媚びを売って客商売に徹し、
『売れさえすれば学生の脳の質なんて何でもヨロシ』と居直る大学。そしてブランド名
だけを見て仕入れる世間。●●は一流大学やさかい、きっと優秀なエリートやろwww

中身を何も説明しないで、問答無用に上から押し付ける。ソレをイチャモンで騒いで、
そして邪魔して潰そうとする周囲の下々。大学教員も国会議事堂も、そして馬鹿板人の
遣ってる事も皆同じだ。日本人はバカ民族であり、今は外国にもちゃんとバレてるので
海外からも軽蔑されるだけであり、そのうちにどの国からも信用されなくなるだろう。

近視眼的で打算的な人生観を息子に押し付ける父親と、大脳に栄養が足りてない連中が
跋扈する永田町や霞が関に支配される国に住む不幸、一体どうしてくれるというのか。

■■■馬鹿板をスルと稲田朋美みたいな嘘吐きになります。そやし止めなさい。■■■


コメント1件

86
132人目の素数さん[]   投稿日:2017/07/21 16:26:07  ID:ixX6Uti5.net
イジメの加害者はイジメをしたことをすぐ忘れてしまう
それどころかイジメをしたという自覚すらない場合も多い
しかし被害者は心身を深く傷付けられていて
苛められたことをいつまでも覚えている

「そんな昔の話水に流せよ小さい奴だな」とか
「いじめられた本人が悪い」とか言うのは
自分がイジメた被害者への責任すら感じない加害者による『二次イジメ』だ

87
132人目の素数さん[sage]   投稿日:2017/07/21 16:31:41  ID:mqL7bWKs.net(2)
>85
いつから猫と兄弟になったの?

88
[sage]   投稿日:2017/07/21 16:35:42  ID:9Y4dp9MH.net(13)
〒〒〒馬鹿板は悪い習慣であり、この行為は脳を悪くする。そやし足を洗いなさい。〒〒〒


89
[sage]   投稿日:2017/07/21 18:01:34  ID:9Y4dp9MH.net(13)

90
[sage]   投稿日:2017/07/21 18:01:54  ID:9Y4dp9MH.net(13)

91
[sage]   投稿日:2017/07/21 18:02:11  ID:9Y4dp9MH.net(13)

92
[sage]   投稿日:2017/07/21 18:02:28  ID:9Y4dp9MH.net(13)

93
[sage]   投稿日:2017/07/21 18:02:44  ID:9Y4dp9MH.net(13)

94
[sage]   投稿日:2017/07/21 18:03:01  ID:9Y4dp9MH.net(13)

95
[sage]   投稿日:2017/07/21 18:03:21  ID:9Y4dp9MH.net(13)

96
[sage]   投稿日:2017/07/21 18:03:40  ID:9Y4dp9MH.net(13)

97
[sage]   投稿日:2017/07/21 18:04:02  ID:9Y4dp9MH.net(13)

98
[sage]   投稿日:2017/07/21 18:04:22  ID:9Y4dp9MH.net(13)

99
[sage]   投稿日:2017/07/21 19:53:22  ID:mqL7bWKs.net(2)
$

100
[sage]   投稿日:2017/07/21 20:26:05  ID:9Y4dp9MH.net(13)

101
132人目の素数さん[sage]   投稿日:2017/07/21 23:47:42  ID:LhBRa+dU.net(2)
>81
ありがとうございます。

102
[sage]   投稿日:2017/07/22 02:29:54  ID:UuLyqCEB.net(13)

103
132人目の素数さん[sage]   投稿日:2017/07/22 12:50:06  ID:voRatSGz.net
URLをclickする奴は危険な目に遭う

104
[sage]   投稿日:2017/07/22 13:45:35  ID:UuLyqCEB.net(13)
〒〒〒馬鹿板は悪い習慣であり、この行為は脳を悪くする。そやし足を洗いなさい。〒〒〒


105
[sage]   投稿日:2017/07/22 20:19:05  ID:UuLyqCEB.net(13)

106
[sage]   投稿日:2017/07/22 20:19:22  ID:UuLyqCEB.net(13)

107
[sage]   投稿日:2017/07/22 20:19:38  ID:UuLyqCEB.net(13)

108
[sage]   投稿日:2017/07/22 20:19:54  ID:UuLyqCEB.net(13)

109
[sage]   投稿日:2017/07/22 20:20:09  ID:UuLyqCEB.net(13)

110
[sage]   投稿日:2017/07/22 20:20:33  ID:UuLyqCEB.net(13)

111
[sage]   投稿日:2017/07/22 20:20:50  ID:UuLyqCEB.net(13)

112
[sage]   投稿日:2017/07/22 20:21:14  ID:UuLyqCEB.net(13)

113
[sage]   投稿日:2017/07/22 20:21:30  ID:UuLyqCEB.net(13)

114
[sage]   投稿日:2017/07/22 20:21:46  ID:UuLyqCEB.net(13)

115
[sage]   投稿日:2017/07/22 21:47:30  ID:BE32Dj2e.net
$

116
[sage]   投稿日:2017/07/22 22:33:49  ID:UuLyqCEB.net(13)

117
132人目の素数さん[sage]   投稿日:2017/07/23 05:58:41  ID:LK6Dwg09.net
>83
1に収束

118
[sage]   投稿日:2017/07/23 08:00:17  ID:r8UcZ6ry.net

119
132人目の素数さん[]   投稿日:2017/07/26 20:56:01  ID:MVBbK+eR.net
http://i.imgur.com/4oraLeV.jpg
これわかる人いませんか?
行列の問題です
コメント1件

120
[sage]   投稿日:2017/07/26 21:21:20  ID:e+L8tFA6.net
〒〒〒馬鹿板は悪い習慣であり、この行為は脳を悪くする。そやし足を洗いなさい。〒〒〒


121
[sage]   投稿日:2017/07/27 05:14:48  ID:XASjtuXu.net(10)

122
[sage]   投稿日:2017/07/27 05:15:07  ID:XASjtuXu.net(10)

123
[sage]   投稿日:2017/07/27 05:15:23  ID:XASjtuXu.net(10)

124
[sage]   投稿日:2017/07/27 05:15:40  ID:XASjtuXu.net(10)

125
[sage]   投稿日:2017/07/27 05:15:55  ID:XASjtuXu.net(10)

126
[sage]   投稿日:2017/07/27 05:16:11  ID:XASjtuXu.net(10)

127
[sage]   投稿日:2017/07/27 05:16:26  ID:XASjtuXu.net(10)

128
[sage]   投稿日:2017/07/27 05:16:43  ID:XASjtuXu.net(10)

129
[sage]   投稿日:2017/07/27 05:16:59  ID:XASjtuXu.net(10)

130
[sage]   投稿日:2017/07/27 05:17:17  ID:XASjtuXu.net(10)

131
132人目の素数さん[sage]   投稿日:2017/08/02 10:18:03  ID:zUxtVZXr.net
>119
(a+b+c)(ab+bc+ca)=abc

132
132人目の素数さん[sage]   投稿日:2017/08/02 21:32:54  ID:4cGCtOsR.net
これは大学レベルだな

133
132人目の素数さん[sage]   投稿日:2017/08/06 19:21:47  ID:IHpQh9ix.net
複素数ってただR^2に演算導入しただけな気がするんですが
なんであんなに神格化されているのですか
コメント2件

134
132人目の素数さん[]   投稿日:2017/08/06 19:53:30  ID:Yz98zcu8.net(2)
(A∪B)∩A=A
の証明はどのように書けばいいんでしょう

論理式に直して同値変形するとか包含を両側から示すとかですかね?
コメント2件

135
132人目の素数さん[sage]   投稿日:2017/08/06 20:07:25  ID:9B/5K+bJ.net(2)
X:ある元がAに含まれる
Y:ある元がBに含まれる
として
(X∨Y)∧X≡X
これがトートロジーであることは真理値表なりなんなりで示せる
コメント1件

136
132人目の素数さん[]   投稿日:2017/08/06 20:21:38  ID:Yz98zcu8.net(2)
>135
もう少し詳しくお願いします...

これ分配法則使った方がいいですか?
両側から示すのが正攻法ですかね?

137
132人目の素数さん[sage]   投稿日:2017/08/06 20:26:54  ID:9B/5K+bJ.net(2)
分配法則使っても
(左辺)=(A∩A)∪(B∩A)=A∪(A∩B)
で進展なくない?

他はベン図を描くとか

138
[sage]   投稿日:2017/08/06 22:04:37  ID:+CYdGQny.net(10)

139
[sage]   投稿日:2017/08/06 22:04:52  ID:+CYdGQny.net(10)

140
[sage]   投稿日:2017/08/06 22:05:08  ID:+CYdGQny.net(10)

141
[sage]   投稿日:2017/08/06 22:05:24  ID:+CYdGQny.net(10)

142
[sage]   投稿日:2017/08/06 22:05:40  ID:+CYdGQny.net(10)

143
[sage]   投稿日:2017/08/06 22:05:56  ID:+CYdGQny.net(10)

144
[sage]   投稿日:2017/08/06 22:06:11  ID:+CYdGQny.net(10)

145
[sage]   投稿日:2017/08/06 22:06:29  ID:+CYdGQny.net(10)

146
[sage]   投稿日:2017/08/06 22:06:46  ID:+CYdGQny.net(10)

147
[sage]   投稿日:2017/08/06 22:07:04  ID:+CYdGQny.net(10)

148
132人目の素数さん[sage]   投稿日:2017/08/07 15:01:38  ID:Az3ASsiY.net(2)
>133
R^2に演算導入したら、あまりにも便利だったので、神格化というか、重用されている。

149
132人目の素数さん[sage]   投稿日:2017/08/07 15:04:13  ID:Az3ASsiY.net(2)
>134
吸収律は、ブール束というか
一般に束の定義の一部(公理)なので、
他の公式から導くことはできない。
コメント1件

150
132人目の素数さん[sage]   投稿日:2017/08/07 16:02:05  ID:1cqpYixj.net
>133
代数的閉体だから

151
132人目の素数さん[sage]   投稿日:2017/08/07 16:06:32  ID:4MMSjg8F.net
>149
頭大丈夫か
コメント1件

152
132人目の素数さん[]   投稿日:2017/08/08 12:50:58  ID:clrkpnku.net(4)
この問題を解き方の方針がいまいちわかりません……

特性関数から分布収束を導こうと思ったのですが、うまくいきませんでした。

どなたかわかる方がいたら教えてください

http://i.imgur.com/3NdaKaz.jpg

153
[sage]   投稿日:2017/08/08 13:11:41  ID:9qCDT2yP.net(14)
★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★


154
132人目の素数さん[sage]   投稿日:2017/08/08 14:04:19  ID:dZT0OTNP.net
>151
まあ、そうだな。

公理なので、他の公式から導くことはできない…×
他の公式から導くことはできないから、公理にしてある…○
コメント1件

155
[sage]   投稿日:2017/08/08 14:11:03  ID:9qCDT2yP.net(14)
★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★


156
[sage]   投稿日:2017/08/08 15:12:18  ID:9qCDT2yP.net(14)

157
[sage]   投稿日:2017/08/08 15:12:36  ID:9qCDT2yP.net(14)

158
[sage]   投稿日:2017/08/08 15:12:51  ID:9qCDT2yP.net(14)

159
[sage]   投稿日:2017/08/08 15:13:08  ID:9qCDT2yP.net(14)

160
[sage]   投稿日:2017/08/08 15:13:24  ID:9qCDT2yP.net(14)

161
[sage]   投稿日:2017/08/08 15:13:41  ID:9qCDT2yP.net(14)

162
[sage]   投稿日:2017/08/08 15:13:57  ID:9qCDT2yP.net(14)

163
[sage]   投稿日:2017/08/08 15:14:14  ID:9qCDT2yP.net(14)

164
[sage]   投稿日:2017/08/08 15:14:31  ID:9qCDT2yP.net(14)

165
[sage]   投稿日:2017/08/08 15:14:50  ID:9qCDT2yP.net(14)

166
132人目の素数さん[]   投稿日:2017/08/08 16:34:58  ID:WIivF6es.net(2)

167
[sage]   投稿日:2017/08/08 17:34:38  ID:9qCDT2yP.net(14)

168
132人目の素数さん[]   投稿日:2017/08/08 19:13:32  ID:fgRwNG9/.net
>134
それでいいよ

169
[sage]   投稿日:2017/08/08 19:14:59  ID:9qCDT2yP.net(14)

170
132人目の素数さん[]   投稿日:2017/08/08 22:45:24  ID:clrkpnku.net(4)
ある集合に群構造を入れたら何か嬉しい事とかありますか??
まだ私が群やってる途中というのもあるかもですが、例えば位相に少し条件加えて群構造入れてみたのですがむむむ…って感じです笑

群構造を入れるとどういう議論が可能になるのですか?同型とかの議論が出来るのは大きなメリットですが…

171
132人目の素数さん[]   投稿日:2017/08/08 23:09:39  ID:WIivF6es.net(2)
そらやっぱり作用だろ
それより位相群、リー群、代数群でググると幸せになれるよ

172
132人目の素数さん[]   投稿日:2017/08/08 23:12:27  ID:clrkpnku.net(4)
群論だけだとあまり大きな恩恵があるかって言うとそこまで嬉しくなくて
特に初等的な範囲では群はそれ以降の議論を楽に進める意味の方が大きいのですか?
表現論とか入ると色々と出来るみたいだけど
後同型はそれ自体が価値じゃないですよね...
コメント1件

173
132人目の素数さん[]   投稿日:2017/08/08 23:13:42  ID:clrkpnku.net(4)
やっぱり議論の見通しを良くするってのが1番のメリットになっちゃうのですかね?

174
132人目の素数さん[sage]   投稿日:2017/08/08 23:58:52  ID:Sfyj75Ny.net
w.p.r.って何の略

175
132人目の素数さん[sage]   投稿日:2017/08/08 23:59:10  ID:FXwrI7t2.net
n次正方行列A, BがAB=3B, BA=2Bを満たすようなA, Bの組を一組あげよ(ただしB≠Oとする)

ってどういうこと
力技で{(a,b)(c,d)}{(e,f),(g,h)}=…っておくはずはないよな?
コメント1件

176
[sage]   投稿日:2017/08/09 01:21:02  ID:WvFggA1P.net(21)

177
[sage]   投稿日:2017/08/09 01:21:20  ID:WvFggA1P.net(21)

178
[sage]   投稿日:2017/08/09 01:21:36  ID:WvFggA1P.net(21)

179
[sage]   投稿日:2017/08/09 01:21:52  ID:WvFggA1P.net(21)

180
[sage]   投稿日:2017/08/09 01:22:08  ID:WvFggA1P.net(21)

181
[sage]   投稿日:2017/08/09 01:22:25  ID:WvFggA1P.net(21)

182
[sage]   投稿日:2017/08/09 01:22:41  ID:WvFggA1P.net(21)

183
[sage]   投稿日:2017/08/09 01:22:58  ID:WvFggA1P.net(21)

184
[sage]   投稿日:2017/08/09 01:23:13  ID:WvFggA1P.net(21)

185
[sage]   投稿日:2017/08/09 01:23:30  ID:WvFggA1P.net(21)

186
132人目の素数さん[sage]   投稿日:2017/08/09 01:42:03  ID:9u9V0SIM.net(2)
>172
同型には憧れがあるけどな。

>175
BAB=B(AB)=3B^2, BAB=(BA)B=2B^2 より、B^2=O が必要。
B≠O, B^2=O の例として、B を
第1行n列成分のみが1、他の成分は0としてみる。このとき、
AB=3B は A の第1列が(第1行は3、他の成分は0)であることを、
BA=2B は A の第n行が(第n列は2、他の成分は0)であることを
意味している。n≧2 なら、そのような A は作れる。

187
132人目の素数さん[sage]   投稿日:2017/08/09 01:44:13  ID:9u9V0SIM.net(2)
>166
ブール代数を、どうやって定義しようというんだ?
コメント1件

188
[sage]   投稿日:2017/08/09 02:13:10  ID:WvFggA1P.net(21)
★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★


189
[sage]   投稿日:2017/08/09 10:30:02  ID:WvFggA1P.net(21)

190
[sage]   投稿日:2017/08/09 10:30:18  ID:WvFggA1P.net(21)

191
[sage]   投稿日:2017/08/09 10:30:34  ID:WvFggA1P.net(21)

192
[sage]   投稿日:2017/08/09 10:30:52  ID:WvFggA1P.net(21)

193
[sage]   投稿日:2017/08/09 10:31:08  ID:WvFggA1P.net(21)

194
[sage]   投稿日:2017/08/09 10:31:25  ID:WvFggA1P.net(21)

195
[sage]   投稿日:2017/08/09 10:31:42  ID:WvFggA1P.net(21)

196
[sage]   投稿日:2017/08/09 10:31:59  ID:WvFggA1P.net(21)

197
[sage]   投稿日:2017/08/09 10:32:16  ID:WvFggA1P.net(21)

198
[sage]   投稿日:2017/08/09 10:32:34  ID:WvFggA1P.net(21)

199
132人目の素数さん[]   投稿日:2017/08/10 15:22:36  ID:VJDQ2fXc.net
>187
定義を満たすことの証明でしょ?

200
132人目の素数さん[]   投稿日:2017/08/10 15:28:59  ID:5h49lxh9.net(3)
∃y,x^2+2y^2<a^2をカッコで括ることができるのはなぜですか?
http://i.imgur.com/uMPDJjJ.jpg
コメント1件

201
[sage]   投稿日:2017/08/10 16:03:44  ID:JHmEReZW.net(30)

202
[sage]   投稿日:2017/08/10 16:04:00  ID:JHmEReZW.net(30)

203
[sage]   投稿日:2017/08/10 16:04:16  ID:JHmEReZW.net(30)

204
[sage]   投稿日:2017/08/10 16:04:33  ID:JHmEReZW.net(30)

205
[sage]   投稿日:2017/08/10 16:04:49  ID:JHmEReZW.net(30)

206
[sage]   投稿日:2017/08/10 16:05:04  ID:JHmEReZW.net(30)

207
[sage]   投稿日:2017/08/10 16:05:20  ID:JHmEReZW.net(30)

208
[sage]   投稿日:2017/08/10 16:05:35  ID:JHmEReZW.net(30)

209
[sage]   投稿日:2017/08/10 16:05:50  ID:JHmEReZW.net(30)

210
[sage]   投稿日:2017/08/10 16:06:07  ID:JHmEReZW.net(30)

211
[sage]   投稿日:2017/08/10 16:14:40  ID:FQmbKa59.net(2)
中曽根元帥の娘婿の兄は正義だ

212
[sage]   投稿日:2017/08/10 16:23:29  ID:JHmEReZW.net(30)

213
132人目の素数さん[sage]   投稿日:2017/08/10 17:11:18  ID:6oTXWQ85.net
>200
全称記号と存在記号は右にあるやつからかかる
コメント1件

214
132人目の素数さん[]   投稿日:2017/08/10 17:14:01  ID:5h49lxh9.net(3)
>213
ありがとうございます!()ない方が略記なのですよね_(:3」z)_
そういえばなんで高校生用だと一々全ての量化する変数に量化記号付けてるんでしょう...ポーランド記法でもあるまいに
コメント2件

215
[sage]   投稿日:2017/08/10 17:16:54  ID:JHmEReZW.net(30)

216
[sage]   投稿日:2017/08/10 17:19:16  ID:FQmbKa59.net(2)
$

217
[sage]   投稿日:2017/08/10 19:06:13  ID:JHmEReZW.net(30)

218
[sage]   投稿日:2017/08/10 19:06:31  ID:JHmEReZW.net(30)

219
[sage]   投稿日:2017/08/10 19:06:50  ID:JHmEReZW.net(30)

220
[sage]   投稿日:2017/08/10 19:07:09  ID:JHmEReZW.net(30)

221
[sage]   投稿日:2017/08/10 19:07:28  ID:JHmEReZW.net(30)

222
[sage]   投稿日:2017/08/10 19:07:48  ID:JHmEReZW.net(30)

223
[sage]   投稿日:2017/08/10 19:08:05  ID:JHmEReZW.net(30)

224
[sage]   投稿日:2017/08/10 19:08:24  ID:JHmEReZW.net(30)

225
132人目の素数さん[]   投稿日:2017/08/10 20:10:55  ID:4rLcGUTU.net
>214
全部に付けておけば紛れがないだろ
高校生用なら誤解されない書き方のほうが正解だ
ところでそれほんとに高校生用の本なのか?
ふつうの高校生に論理記号を使わせるほうがどうかしてると思うが
書名教えて
コメント1件

226
132人目の素数さん[]   投稿日:2017/08/10 20:14:32  ID:5h49lxh9.net(3)
>225
これは長岡先生の論理学です

227
[sage]   投稿日:2017/08/10 21:58:31  ID:JHmEReZW.net(30)

228
[sage]   投稿日:2017/08/10 21:58:49  ID:JHmEReZW.net(30)

229
[sage]   投稿日:2017/08/10 21:59:05  ID:JHmEReZW.net(30)

230
[sage]   投稿日:2017/08/10 21:59:22  ID:JHmEReZW.net(30)

231
[sage]   投稿日:2017/08/10 21:59:38  ID:JHmEReZW.net(30)

232
[sage]   投稿日:2017/08/10 21:59:55  ID:JHmEReZW.net(30)

233
[sage]   投稿日:2017/08/10 22:00:11  ID:JHmEReZW.net(30)

234
[sage]   投稿日:2017/08/10 22:00:25  ID:JHmEReZW.net(30)

235
[sage]   投稿日:2017/08/10 22:00:44  ID:JHmEReZW.net(30)

236
[sage]   投稿日:2017/08/10 22:01:02  ID:JHmEReZW.net(30)

237
132人目の素数さん[]   投稿日:2017/08/11 09:16:16  ID:9d/kMSrK.net
>214
帰納法の証明とかで論理式を厳密に定義するときは論理記号ごとに()つけて定義するよ
その上で結合順を決めて略記する
量化記号の結合度は高いことにするから()つけないと直後にしか掛からないってことになるのは否定¬と同じ
その例のように直後に1つしか命題がないときは()付けなくても問題ないけど
関数記号と同様()が常に付くとしておいた方が混乱は少ないかもね

238
[sage]   投稿日:2017/08/11 09:29:42  ID:ToUPXODc.net
★★★馬鹿板は悪い習慣であり、大脳が劣化します。なので早く止めましょう。★★★


239
[sage]   投稿日:2017/08/12 05:25:16  ID:Ay3s6hqd.net(10)

240
[sage]   投稿日:2017/08/12 05:25:33  ID:Ay3s6hqd.net(10)

241
[sage]   投稿日:2017/08/12 05:25:48  ID:Ay3s6hqd.net(10)

242
[sage]   投稿日:2017/08/12 05:26:04  ID:Ay3s6hqd.net(10)

243
[sage]   投稿日:2017/08/12 05:26:19  ID:Ay3s6hqd.net(10)

244
[sage]   投稿日:2017/08/12 05:26:34  ID:Ay3s6hqd.net(10)

245
[sage]   投稿日:2017/08/12 05:26:56  ID:Ay3s6hqd.net(10)

246
[sage]   投稿日:2017/08/12 05:27:11  ID:Ay3s6hqd.net(10)

247
[sage]   投稿日:2017/08/12 05:27:26  ID:Ay3s6hqd.net(10)

248
[sage]   投稿日:2017/08/12 05:27:43  ID:Ay3s6hqd.net(10)

249
132人目の素数さん[]   投稿日:2017/08/15 14:02:45  ID:CbWLpmUn.net(2)
耳栓をしたら世界が変わってワロタ

250
[sage]   投稿日:2017/08/15 15:11:46  ID:eWiOROST.net(2)

251
132人目の素数さん[]   投稿日:2017/08/15 15:22:18  ID:CbWLpmUn.net(2)
耳栓をしたら世界が変わってワロタ

252
[sage]   投稿日:2017/08/15 15:29:34  ID:eWiOROST.net(2)

253
[age]   投稿日:2017/08/16 17:25:15  ID:m/p1jbfo.net

254
[age]   投稿日:2017/08/17 03:51:12  ID:fMnxz+o0.net

255
[age]   投稿日:2017/08/18 05:30:11  ID:EJ+CeIow.net(2)

256
132人目の素数さん[]   投稿日:2017/08/18 19:09:33  ID:Fb1XE6yF.net
直線や円のベクトル方程式って定義なんですか?
コメント1件

257
[sage]   投稿日:2017/08/18 20:34:25  ID:EJ+CeIow.net(2)

258
[age]   投稿日:2017/08/19 02:34:46  ID:LB3Hl+jp.net(2)

259
132人目の素数さん[sage]   投稿日:2017/08/19 13:11:43  ID:S2KN1vCg.net
>256
本の方針次第

260
[sage]   投稿日:2017/08/19 14:38:20  ID:LB3Hl+jp.net(2)

261
132人目の素数さん[]   投稿日:2017/08/24 06:28:56  ID:7voKinig.net
耳栓をしたら世界が変わってワロタ

262
[sage]   投稿日:2017/08/24 07:35:43  ID:kEDrltmW.net

263
[sage]   投稿日:2017/08/25 10:51:30  ID:TrbQa07i.net(33)

264
[sage]   投稿日:2017/08/25 10:51:47  ID:TrbQa07i.net(33)

265
[sage]   投稿日:2017/08/25 10:52:03  ID:TrbQa07i.net(33)

266
[sage]   投稿日:2017/08/25 10:52:37  ID:TrbQa07i.net(33)

267
[sage]   投稿日:2017/08/25 10:52:53  ID:TrbQa07i.net(33)

268
[sage]   投稿日:2017/08/25 10:53:10  ID:TrbQa07i.net(33)

269
[sage]   投稿日:2017/08/25 10:53:26  ID:TrbQa07i.net(33)

270
[sage]   投稿日:2017/08/25 10:53:44  ID:TrbQa07i.net(33)

271
[sage]   投稿日:2017/08/25 10:54:02  ID:TrbQa07i.net(33)

272
132人目の素数さん[]   投稿日:2017/08/25 12:53:42  ID:0w23soD0.net(2)
耳栓をしたら世界が変わってワロタ

273
[sage]   投稿日:2017/08/25 13:10:22  ID:TrbQa07i.net(33)

274
132人目の素数さん[sage]   投稿日:2017/08/25 13:20:37  ID:dZH6T18u.net(2)
馬鹿は繰り返す

275
[sage]   投稿日:2017/08/25 13:25:57  ID:TrbQa07i.net(33)

276
132人目の素数さん[sage]   投稿日:2017/08/25 14:35:45  ID:UBnfwZG6.net
YouTubeで稼げるジャンルは〇〇動画です。YouTube講座
https://www.youtube.com/watch?v=_Nps8xb5czQ
最新トップYoutuberの年収は10億円、1億円の時代はもう古い
http://www.himatubushisp.com/entry/2017/05/10/224945
Youtuberヒカルが月収を明らかに!!おはよう朝日です出演
https://www.youtube.com/watch?v=RLZGrqQnnZc
第1回案件王ランキング!YouTuberで1番稼いでるのは誰だ!
https://www.youtube.com/watch?v=asF2wQ2xhjY&;t=61s
ユーチューバーの儲けのカラクリを徹底検証!
https://www.youtube.com/watch?v=FUSb4erJSXE&;t=504s
【給料公開】チャンネル登録者4万人突破記念!YouTuberの月収公開!
https://www.youtube.com/watch?v=Y7DAQ0RKilM&;t=326s
誰も言わないなら俺がYouTuberのギャラ相場を教えます
https://www.youtube.com/watch?v=E4q-vaQh2EQ&;t=118s

最高月収5000万円だとさ。年収じゃなくて「月収」な
おまえらもyoutubeに動画投稿したほうがいい
手っ取り早く視聴数稼ぐには有名ユーチューバーへの物申す系動画がオススメ
しばたーやよりひとやkunやぽんちやモンスタージョンなどを真似すればいい

277
[sage]   投稿日:2017/08/25 14:52:52  ID:TrbQa07i.net(33)

278
[sage]   投稿日:2017/08/25 14:53:08  ID:TrbQa07i.net(33)

279
[sage]   投稿日:2017/08/25 14:53:23  ID:TrbQa07i.net(33)

280
[sage]   投稿日:2017/08/25 14:53:40  ID:TrbQa07i.net(33)

281
[sage]   投稿日:2017/08/25 14:53:56  ID:TrbQa07i.net(33)

282
[sage]   投稿日:2017/08/25 14:54:32  ID:TrbQa07i.net(33)

283
[sage]   投稿日:2017/08/25 14:54:48  ID:TrbQa07i.net(33)

284
[sage]   投稿日:2017/08/25 14:55:04  ID:TrbQa07i.net(33)

285
[sage]   投稿日:2017/08/25 14:55:20  ID:TrbQa07i.net(33)

286
[sage]   投稿日:2017/08/25 14:55:42  ID:TrbQa07i.net(33)

287
132人目の素数さん[]   投稿日:2017/08/25 16:24:42  ID:0w23soD0.net(2)
耳栓をしたら世界が変わってワロタ

288
[sage]   投稿日:2017/08/25 16:27:51  ID:TrbQa07i.net(33)

289
132人目の素数さん[sage]   投稿日:2017/08/25 16:39:51  ID:QKrJqBEU.net
こいつID:0w23soD0は一体何を喜んでるんだ?
コメント1件

290
[sage]   投稿日:2017/08/25 17:45:51  ID:TrbQa07i.net(33)

291
132人目の素数さん[sage]   投稿日:2017/08/25 21:30:57  ID:RUjWGGtB.net
雪江代数2巻17ページの15行目のところなのですがℤ代数とみなせるとなぜ単なる環の場合を含むのでしょうか?

http://i.imgur.com/F9kcFrsh.jpg
http://i.imgur.com/mhl8IZEh.jpg
コメント1件

292
132人目の素数さん[sage]   投稿日:2017/08/25 22:22:32  ID:dZH6T18u.net(2)
>289
「ワロタ」と言う奴が笑った試しはない
とにかく必死なんだろ

293
[sage]   投稿日:2017/08/25 23:39:17  ID:TrbQa07i.net(33)

294
[sage]   投稿日:2017/08/25 23:39:34  ID:TrbQa07i.net(33)

295
[sage]   投稿日:2017/08/25 23:39:50  ID:TrbQa07i.net(33)

296
[sage]   投稿日:2017/08/25 23:40:06  ID:TrbQa07i.net(33)

297
[sage]   投稿日:2017/08/25 23:40:24  ID:TrbQa07i.net(33)

298
[sage]   投稿日:2017/08/25 23:40:40  ID:TrbQa07i.net(33)

299
[sage]   投稿日:2017/08/25 23:40:56  ID:TrbQa07i.net(33)

300
[sage]   投稿日:2017/08/25 23:41:14  ID:TrbQa07i.net(33)

301
[sage]   投稿日:2017/08/25 23:41:30  ID:TrbQa07i.net(33)

302
[sage]   投稿日:2017/08/25 23:41:46  ID:TrbQa07i.net(33)

303
132人目の素数さん[sage]   投稿日:2017/08/26 01:04:50  ID:dmurRqnz.net
>291

ただの環はZ代数とみなせるので、当該命題におけるk代数のkをZの場合としてみることで
ただの環についても命題が成り立つ、といっている。
コメント1件

304
[sage]   投稿日:2017/08/26 02:38:40  ID:Nv7xuP/c.net(14)

305
132人目の素数さん[sage]   投稿日:2017/08/26 04:08:23  ID:sbUn4iQJ.net
>303
ありがとうございます!

306
[sage]   投稿日:2017/08/26 04:31:13  ID:Nv7xuP/c.net(14)

307
[sage]   投稿日:2017/08/26 04:31:31  ID:Nv7xuP/c.net(14)

308
[sage]   投稿日:2017/08/26 04:31:48  ID:Nv7xuP/c.net(14)

309
132人目の素数さん[sage]   投稿日:2017/08/26 04:32:01  ID:sVIBLNYu.net
π:E→Mがベクトル束のときEと双対ベクトル束TM*とのテンソル積の切断全体がE値微分形式全体と一致することがよくわかりません
E値微分形式を任意にとったとき、どのように考えればそれが上のような切断であるとみなせるのでしょうか
コメント2件

310
[sage]   投稿日:2017/08/26 04:32:04  ID:Nv7xuP/c.net(14)

311
[sage]   投稿日:2017/08/26 04:32:19  ID:Nv7xuP/c.net(14)

312
[sage]   投稿日:2017/08/26 04:32:34  ID:Nv7xuP/c.net(14)

313
[sage]   投稿日:2017/08/26 04:32:51  ID:Nv7xuP/c.net(14)

314
[sage]   投稿日:2017/08/26 04:33:08  ID:Nv7xuP/c.net(14)

315
[sage]   投稿日:2017/08/26 04:33:25  ID:Nv7xuP/c.net(14)

316
[sage]   投稿日:2017/08/26 04:33:55  ID:Nv7xuP/c.net(14)

317
[sage]   投稿日:2017/08/26 04:34:12  ID:Nv7xuP/c.net(14)

318
[sage]   投稿日:2017/08/26 04:34:29  ID:Nv7xuP/c.net(14)

319
[sage]   投稿日:2017/08/26 04:34:45  ID:Nv7xuP/c.net(14)

320
132人目の素数さん[]   投稿日:2017/08/26 06:51:32  ID:CeZn2wfG.net
耳栓をしたら世界が変わってワロタ

321
132人目の素数さん[sage]   投稿日:2017/08/26 13:12:46  ID:+GLVkiiu.net
>309
外積も取らずに微分形式になるわけがなかろう

322
132人目の素数さん[sage]   投稿日:2017/08/26 14:02:24  ID:pIdRxINz.net
1次微分形式のことだろ常識的に考えて

323
132人目の素数さん[sage]   投稿日:2017/08/27 00:02:03  ID:qWvEXwyF.net
このスレの住人のレベル考えたらベクトル束とかわかるわけないだろ(笑)

324
132人目の素数さん[sage]   投稿日:2017/08/27 00:47:21  ID:pWcEG6sW.net
べくとるたば、完全に理解した

325
132人目の素数さん[]   投稿日:2017/08/27 01:32:58  ID:c8iNVPbI.net(2)
べくとるつか、かもしれん

326
132人目の素数さん[sage]   投稿日:2017/08/27 03:13:19  ID:nNuoO5EV.net
1
∫x^2 dx = [(1/3) x^3]0→1 = (1/3)1^3-(1/3)0^3=1/3
0
で面積が求まるのはなんでしょうか?
引く意味って何ですか?
何で原始関数に始点と終点の値を入れて引くのでしょうか?

327
132人目の素数さん[sage]   投稿日:2017/08/27 03:23:14  ID:k1o43S1y.net
>309
各点p∈Mのファイバー毎に普通のベクトル空間の同型
Hom( TM_p, E_p ) 〜 TM_p^* と E_p のテンソル積
を考えればいい
コメント1件

328
[sage]   投稿日:2017/08/27 04:53:51  ID:1CP0LksB.net(21)

329
[sage]   投稿日:2017/08/27 04:54:06  ID:1CP0LksB.net(21)

330
[sage]   投稿日:2017/08/27 04:54:22  ID:1CP0LksB.net(21)

331
[sage]   投稿日:2017/08/27 04:54:38  ID:1CP0LksB.net(21)

332
[sage]   投稿日:2017/08/27 04:54:55  ID:1CP0LksB.net(21)

333
[sage]   投稿日:2017/08/27 04:55:12  ID:1CP0LksB.net(21)

334
[sage]   投稿日:2017/08/27 04:55:29  ID:1CP0LksB.net(21)

335
[sage]   投稿日:2017/08/27 04:55:46  ID:1CP0LksB.net(21)

336
[sage]   投稿日:2017/08/27 04:56:06  ID:1CP0LksB.net(21)

337
[sage]   投稿日:2017/08/27 04:56:24  ID:1CP0LksB.net(21)

338
132人目の素数さん[sage]   投稿日:2017/08/27 07:37:47  ID:NKqICDLP.net
束がbandleなのかlatticeなのかくらい
書いてくれないと、何の話題かわからない。
コメント1件

339
[sage]   投稿日:2017/08/27 08:12:48  ID:1CP0LksB.net(21)

340
132人目の素数さん[sage]   投稿日:2017/08/27 12:35:45  ID:LS4ppCdo.net
>327
マジでありがとう

341
[sage]   投稿日:2017/08/27 13:24:16  ID:1CP0LksB.net(21)

342
[sage]   投稿日:2017/08/27 16:31:09  ID:1CP0LksB.net(21)

343
[sage]   投稿日:2017/08/27 16:31:28  ID:1CP0LksB.net(21)

344
[sage]   投稿日:2017/08/27 16:31:45  ID:1CP0LksB.net(21)

345
[sage]   投稿日:2017/08/27 16:32:02  ID:1CP0LksB.net(21)

346
[sage]   投稿日:2017/08/27 16:32:19  ID:1CP0LksB.net(21)

347
[sage]   投稿日:2017/08/27 16:32:35  ID:1CP0LksB.net(21)

348
[sage]   投稿日:2017/08/27 16:32:53  ID:1CP0LksB.net(21)

349
[sage]   投稿日:2017/08/27 16:33:12  ID:1CP0LksB.net(21)

350
[sage]   投稿日:2017/08/27 16:33:29  ID:1CP0LksB.net(21)

351
132人目の素数さん[sage]   投稿日:2017/08/27 21:54:40  ID:wOA8XrTP.net
>338
分からないのは単にお前が無知だからだろ
失せろ

352
132人目の素数さん[sage]   投稿日:2017/08/27 22:28:40  ID:Ik1iXtGP.net
bundleじゃなかった?

353
132人目の素数さん[]   投稿日:2017/08/27 23:07:11  ID:c8iNVPbI.net(2)
いや、ただのネタだろ……

354
[sage]   投稿日:2017/08/28 00:40:22  ID:p9719kiw.net(10)

355
[sage]   投稿日:2017/08/28 00:40:36  ID:p9719kiw.net(10)

356
[sage]   投稿日:2017/08/28 00:40:51  ID:p9719kiw.net(10)

357
[sage]   投稿日:2017/08/28 00:41:06  ID:p9719kiw.net(10)

358
[sage]   投稿日:2017/08/28 00:41:21  ID:p9719kiw.net(10)

359
[sage]   投稿日:2017/08/28 00:41:36  ID:p9719kiw.net(10)

360
[sage]   投稿日:2017/08/28 00:41:49  ID:p9719kiw.net(10)

361
[sage]   投稿日:2017/08/28 00:42:25  ID:p9719kiw.net(10)

362
[sage]   投稿日:2017/08/28 00:42:39  ID:p9719kiw.net(10)

363
[sage]   投稿日:2017/08/28 00:43:09  ID:p9719kiw.net(10)

364
132人目の素数さん[]   投稿日:2017/08/29 12:28:48  ID:yMOLApph.net
耳栓をしたら世界が変わってワロタ

365
132人目の素数さん[sage]   投稿日:2017/08/29 12:45:26  ID:0rD77I+U.net
惨めな奴

366
[sage]   投稿日:2017/08/29 12:49:54  ID:TbkIY/Vo.net(10)

367
[sage]   投稿日:2017/08/29 13:23:12  ID:TbkIY/Vo.net(10)

368
[sage]   投稿日:2017/08/29 13:23:28  ID:TbkIY/Vo.net(10)

369
[sage]   投稿日:2017/08/29 13:23:45  ID:TbkIY/Vo.net(10)

370
[sage]   投稿日:2017/08/29 13:24:03  ID:TbkIY/Vo.net(10)

371
[sage]   投稿日:2017/08/29 13:24:20  ID:TbkIY/Vo.net(10)

372
[sage]   投稿日:2017/08/29 13:24:37  ID:TbkIY/Vo.net(10)

373
[sage]   投稿日:2017/08/29 13:24:54  ID:TbkIY/Vo.net(10)

374
[sage]   投稿日:2017/08/29 13:25:10  ID:TbkIY/Vo.net(10)

375
[sage]   投稿日:2017/08/29 13:25:26  ID:TbkIY/Vo.net(10)

376
132人目の素数さん[sage]   投稿日:2017/08/30 01:14:55  ID:i+sQ/cNu.net(2)
ベクトル解析で
3次元リーマン多様体のベクトル場Xに対して
rotX = (*d(X♯))♭
がベクトル場の回転を表すのはなぜなのか教えてください

一応記号の意味は以下になります
 ♯リーマン計量によるTMとT*Mの同一視
 d 外微分
 * ホッジスター
 ♭

377
132人目の素数さん[sage]   投稿日:2017/08/30 01:21:30  ID:i+sQ/cNu.net(2)
誤爆です無視してください

378
[sage]   投稿日:2017/08/30 03:41:06  ID:xZ8twSlP.net(21)

379
[sage]   投稿日:2017/08/30 03:41:30  ID:xZ8twSlP.net(21)

380
[sage]   投稿日:2017/08/30 03:41:52  ID:xZ8twSlP.net(21)

381
[sage]   投稿日:2017/08/30 03:42:11  ID:xZ8twSlP.net(21)

382
[sage]   投稿日:2017/08/30 03:42:29  ID:xZ8twSlP.net(21)

383
[sage]   投稿日:2017/08/30 03:42:49  ID:xZ8twSlP.net(21)

384
[sage]   投稿日:2017/08/30 03:43:10  ID:xZ8twSlP.net(21)

385
[sage]   投稿日:2017/08/30 03:43:31  ID:xZ8twSlP.net(21)

386
[sage]   投稿日:2017/08/30 03:43:52  ID:xZ8twSlP.net(21)


387
[sage]   投稿日:2017/08/30 03:44:12  ID:xZ8twSlP.net(21)

388
132人目の素数さん[]   投稿日:2017/08/30 13:35:10  ID:Gs2pOMIR.net(2)
耳栓をしたら世界が変わってワロタ

389
[sage]   投稿日:2017/08/30 14:29:41  ID:xZ8twSlP.net(21)

390
132人目の素数さん[]   投稿日:2017/08/30 14:38:01  ID:Gs2pOMIR.net(2)
耳栓をしたら世界が変わってワロタ

391
[sage]   投稿日:2017/08/30 14:44:06  ID:xZ8twSlP.net(21)

392
[sage]   投稿日:2017/08/30 21:07:19  ID:xZ8twSlP.net(21)

393
[sage]   投稿日:2017/08/30 21:07:36  ID:xZ8twSlP.net(21)

394
[sage]   投稿日:2017/08/30 21:07:51  ID:xZ8twSlP.net(21)

395
[sage]   投稿日:2017/08/30 21:08:09  ID:xZ8twSlP.net(21)

396
[sage]   投稿日:2017/08/30 21:08:25  ID:xZ8twSlP.net(21)

397
[sage]   投稿日:2017/08/30 21:08:41  ID:xZ8twSlP.net(21)

398
[sage]   投稿日:2017/08/30 21:08:56  ID:xZ8twSlP.net(21)

399
[sage]   投稿日:2017/08/30 21:09:14  ID:xZ8twSlP.net(21)

400
[sage]   投稿日:2017/08/30 21:09:30  ID:xZ8twSlP.net(21)

401
132人目の素数さん[]   投稿日:2017/08/31 08:11:17  ID:0miVNrvU.net
耳栓をしたら世界が変わってワロタ

402
132人目の素数さん[sage]   投稿日:2017/08/31 12:31:00  ID:MiVf/vmG.net
惨めな奴

403
[sage]   投稿日:2017/09/01 10:55:31  ID:7A4+w7Rv.net(10)

404
[sage]   投稿日:2017/09/01 13:06:00  ID:7A4+w7Rv.net(10)

405
[sage]   投稿日:2017/09/01 13:06:20  ID:7A4+w7Rv.net(10)

406
[sage]   投稿日:2017/09/01 13:06:37  ID:7A4+w7Rv.net(10)

407
[sage]   投稿日:2017/09/01 13:06:54  ID:7A4+w7Rv.net(10)

408
[sage]   投稿日:2017/09/01 13:07:12  ID:7A4+w7Rv.net(10)

409
[sage]   投稿日:2017/09/01 13:07:28  ID:7A4+w7Rv.net(10)

410
[sage]   投稿日:2017/09/01 13:07:47  ID:7A4+w7Rv.net(10)

411
[sage]   投稿日:2017/09/01 13:08:04  ID:7A4+w7Rv.net(10)

412
[sage]   投稿日:2017/09/01 13:08:22  ID:7A4+w7Rv.net(10)

413
132人目の素数さん[sage]   投稿日:2017/09/01 20:23:52  ID:mZ60UPnK.net
レス番飛びすぎ

414
132人目の素数さん[]   投稿日:2017/09/02 06:47:34  ID:3V8qFOPU.net(3)
耳栓をしたら世界が変わってワロタ

415
[sage]   投稿日:2017/09/02 06:57:27  ID:z17/uuYO.net(11)

416
[sage]   投稿日:2017/09/02 09:21:35  ID:z17/uuYO.net(11)

417
[sage]   投稿日:2017/09/02 09:21:53  ID:z17/uuYO.net(11)

418
[sage]   投稿日:2017/09/02 09:22:09  ID:z17/uuYO.net(11)

419
[sage]   投稿日:2017/09/02 09:22:27  ID:z17/uuYO.net(11)

420
[sage]   投稿日:2017/09/02 09:22:44  ID:z17/uuYO.net(11)

421
[sage]   投稿日:2017/09/02 09:23:02  ID:z17/uuYO.net(11)

422
[sage]   投稿日:2017/09/02 09:23:18  ID:z17/uuYO.net(11)

423
[sage]   投稿日:2017/09/02 09:23:37  ID:z17/uuYO.net(11)

424
[sage]   投稿日:2017/09/02 09:23:55  ID:z17/uuYO.net(11)

425
132人目の素数さん[]   投稿日:2017/09/02 11:52:51  ID:3V8qFOPU.net(3)
耳栓をしたら世界が変わってワロタ

426
[sage]   投稿日:2017/09/02 12:34:42  ID:z17/uuYO.net(11)

427
132人目の素数さん[]   投稿日:2017/09/02 12:42:37  ID:3V8qFOPU.net(3)
耳栓をしたら世界が変わってワロタ

428
132人目の素数さん[sage]   投稿日:2017/09/02 13:06:37  ID:VuHmNbWo.net
惨めな奴

429
132人目の素数さん[]   投稿日:2017/09/05 06:06:36  ID:PCfG056b.net
耳栓をしたら世界が変わってワロタ

430
132人目の素数さん[sage]   投稿日:2017/09/09 01:25:21  ID:v5SNxUIT.net
G=(Z/630Z)^* の部分群 H で指数(G:H)が3であるものの個数を求めよ。
(R^*は環Rの乗法群)
本の答えには8個と書いてあるが、自分でやったらどうも4個になるようなので見てほしい。

以下自分のやったの
(Z/630Z)^*
≡(Z/2Z)^*×(Z/3^2Z)^*×(Z/5Z)^*×(Z/7Z)^*
≡{0}×(Z/6Z)×(Z/4Z)×(Z/6Z)
≡(Z/2Z)^2×(Z/4Z)×(Z/3Z)^2
(≡は群の同型)

ここで(Gの演算を+で書き) 3G:={3g|g∈G} を考えると G⊃H⊃3G が成り立つ。
(∵ |G/H|=3 より g∈G ⇒ 3g+H=3(g+H)=0+H ⇒ 3g∈H )
部分群の対応定理より、
求める個数は
G/3G の部分群 J で指数(G/3G:J)が3であるものの個数に等しい。

3G≡(Z/2Z)^2×(Z/4Z)×{0}^2,
G/3G≡(Z/3Z)^2

(Z/3Z)^2 の指数3の部分群は4個。

431
132人目の素数さん[]   投稿日:2017/09/09 12:24:53  ID:G2DuD1v6.net
耳栓をしたら世界が変わってワロタ

432
132人目の素数さん[sage]   投稿日:2017/09/09 12:37:50  ID:H1Y1Tf19.net
惨めな奴

433
[sage]   投稿日:2017/09/09 13:46:05  ID:RUcvU26A.net(10)

434
[sage]   投稿日:2017/09/09 13:46:21  ID:RUcvU26A.net(10)

435
[sage]   投稿日:2017/09/09 13:46:37  ID:RUcvU26A.net(10)

436
[sage]   投稿日:2017/09/09 13:46:54  ID:RUcvU26A.net(10)

437
[sage]   投稿日:2017/09/09 13:47:11  ID:RUcvU26A.net(10)

438
[sage]   投稿日:2017/09/09 13:47:28  ID:RUcvU26A.net(10)

439
[sage]   投稿日:2017/09/09 13:47:44  ID:RUcvU26A.net(10)

440
[sage]   投稿日:2017/09/09 13:48:00  ID:RUcvU26A.net(10)

441
[sage]   投稿日:2017/09/09 13:48:14  ID:RUcvU26A.net(10)

442
[sage]   投稿日:2017/09/09 13:48:37  ID:RUcvU26A.net(10)

443
132人目の素数さん[]   投稿日:2017/09/10 06:44:11  ID:tt7dT1ES.net(2)
耳栓をしたら世界が変わってワロタ

444
132人目の素数さん[sage]   投稿日:2017/09/10 11:12:31  ID:sjygYWr9.net
惨めな奴

445
132人目の素数さん[]   投稿日:2017/09/10 12:41:37  ID:tt7dT1ES.net(2)
耳栓をしたら世界が変わってワロタ

446
132人目の素数さん[]   投稿日:2017/09/13 11:56:02  ID:i1anpb+k.net
Σ[n=1 to ∞] (15n^2 - 30πn^4 + 8π^2 n^6)*e^(-πn^2) = ?

447
132人目の素数さん[]   投稿日:2017/09/13 14:13:31  ID:HyiuMNX2.net
耳栓をしたら世界が変わってワロタ

448
132人目の素数さん[]   投稿日:2017/09/13 16:53:59  ID:6V9fEUmO.net
環Rの反転環R^oは右R-加群になるんでしょうか?このときRとR^oは右R-加群として同型ですか?
コメント1件

449
132人目の素数さん[]   投稿日:2017/09/13 20:35:57  ID:kLTfB0Ba.net(2)
cosx=iとなる複素数xはどう求めたらいいですか?
コメント1件

450
132人目の素数さん[]   投稿日:2017/09/13 20:49:16  ID:2L/JWqdx.net
好きな体位て求めればいいと思うよ
コメント1件

451
132人目の素数さん[]   投稿日:2017/09/13 20:55:17  ID:kLTfB0Ba.net(2)
>450
正常位より騎乗位よりバックが好きデス

452
132人目の素数さん[sage]   投稿日:2017/09/13 23:22:43  ID:J2eQGraM.net
>449
(exp(ix)+exp(-ix))/2 = i

z = exp(ix) とおくと
(z + 1/z)/2 = i
z^2 - 2iz + 1 = 0

解の公式より
z = i ± (i^2 - 1)^(1/2) = (1 ± √2)i
ix = log((1±√2)i) = ±log((1+√2)i)
x = ±i*log((1+√2)i)
コメント1件

453
132人目の素数さん[sage]   投稿日:2017/09/14 00:22:55  ID:R+5JlVrV.net
>448
R自身やR^oには自然に左R-加群となるR作用も自然に右R-加群となるR作用もどちらも入るので
具体的にどんなR作用を考えるのか明記する必要がある

a∈R^oに左からr∈R(をR^oの元とみなしたもの)を掛ける作用を考えればR^oは右R-加群になる
これはb∈Rに右からr∈Rを掛ける作用による右R-加群RとR同型になる

454
132人目の素数さん[]   投稿日:2017/09/14 11:40:16  ID:RnvZcoOa.net
チェビシェフの第1種多項式が絶対値最大値の最小値
を与えることの証明が分かりません。誰かお願いします。n時の多項式f(x)閉区間-1,1がfn(cosθ)=g(cosnθ) をみたすときn次の多項式一般に対して|f(x)|が絶対値最大値の最小値を与えることを出来るだけ簡単に証明してください。

455
132人目の素数さん[sage]   投稿日:2017/09/14 13:18:27  ID:Wgh+OeUG.net
「見れば分かる」でいいんじゃねーの

456
132人目の素数さん[sage]   投稿日:2017/09/14 13:54:43  ID:UmLB2r4C.net
マルチ消えろゴミ

457
132人目の素数さん[]   投稿日:2017/09/14 15:42:09  ID:JI2gOL26.net
>452
ありがとうございます

458
132人目の素数さん[]   投稿日:2017/09/17 17:12:14  ID:gMyUTi3U.net(4)
Kleinberg & Tardosの本に以下のような内容の記述があります。
でも、 n > 1 のとき、 H が universal になることは決してないですよね。
u = v のとき、常に、 h(u) = h(v) なので、問題の確率は 1 ですから。



--------------------------------------------------
U を要素数の非常に多い有限集合とする。

H を U から {0, 1, ..., n-1} へのすべての写像の集合のある部分集合とする。

u, v ∈ U に対して、ランダムに選んだ h ∈ H が h(u) = h(v) を満たす確率がたかだか 1/n であるとき、
H は universal であるという。

459
132人目の素数さん[]   投稿日:2017/09/17 17:30:52  ID:gMyUTi3U.net(4)
S を #S ≦ n であるような任意の U の部分集合とする。
u を U の任意の要素とする。
X を ランダムな選択 h ∈ H に対して、値 #{s ∈ S | h(s) = h(u)} をとるようなランダム変数とする。

このとき、

E[X] ≦ 1

である。

証明:

s ∈ S に対し、
h(s) = h(u) であるならば、 1
h(s) ≠ h(u) であるならば、 0
となるようなランダム変数を X_s とする。

仮定により、 H は universal であるから、
E[X_s] = Pr[Xs = 1] ≦ 1/n

X = Σ X_s だから期待値の線形性により、

E[X] = ΣE[X_s] ≦ #S * (1/n) ≦ 1

460
132人目の素数さん[]   投稿日:2017/09/17 17:33:47  ID:gMyUTi3U.net(4)
この証明は、

u ∈ S であるとき、破綻しますよね。
コメント1件

461
132人目の素数さん[]   投稿日:2017/09/17 17:38:40  ID:gMyUTi3U.net(4)
Kleinbergはネヴァンリンナ賞を受賞した人だそうですが、大丈夫な人なのでしょうか?
コメント1件

462
132人目の素数さん[]   投稿日:2017/09/17 18:30:05  ID:C8Mn3e26.net
dy/dxを分数とは認めないのに、線素を認めてるのはなんで?
微小なdyとdxの分数でdy/dxでいいじゃん
コメント1件

463
132人目の素数さん[sage]   投稿日:2017/09/17 21:39:51  ID:8MYGYGol.net
微分係数と線素は定義からして違うものだから「なんで?」と聞かれても困る
記号が同じで変換法則もほぼ同じだから物理数学が勝手に混用してるだけじゃないか?
「微小な〜」とか言い出したら数学的にはもう完全にアウト

ただ一次元の場合に限ればdy/dxを1次微分形式dyとdxの商だと考えても特に問題ない
微分幾何では線素も1次元部分多様体の1次微分形式とみなせるし
コメント1件

464
132人目の素数さん[sage]   投稿日:2017/09/18 08:31:01  ID:veZ8kvGP.net
>461
こんなとこで活動してたのwww

アナタこそ大丈夫な人なのでしょうか?
wwwwww

465
132人目の素数さん[]   投稿日:2017/09/20 14:45:02  ID:x7SQqSgr.net
なんでウィキペディアのロピタルの定理の主張で、g' (x)≠0が必要なのでしょうか?
x→cの時f' (x)/g' (x)の極限が存在するならば、g' (x)はcの近くでg' (x)≠0であるから、
余計な記述ではないのでしょうか?

466
132人目の素数さん[sage]   投稿日:2017/09/20 18:57:59  ID:NbnISnil.net
その条件が必要な理由もウィキペディアに書いてあるんだが

467
132人目の素数さん[sage]   投稿日:2017/09/20 20:10:46  ID:U3pcfkjY.net
反例あるやろ

468
132人目の素数さん[sage]   投稿日:2017/09/21 23:31:06  ID:gK+9wMMe.net
G:群
G⊃G_1⊃G_2⊃{e},
G⊃H⊃{e},
H_1=H∩G_1, H_2=H∩G_2
G_2 が G_1 の正規部分群だとすると
H_2 も H_1 の正規部分群。

このとき
H_1/H_2 を G_1/G_2 の部分群とみなす方法があるらしいが、それはどういうものですか?

469
132人目の素数さん[sage]   投稿日:2017/09/21 23:51:30  ID:d0g646rP.net
準同型定理で部分群との同型がつくれるね
コメント1件

470
132人目の素数さん[sage]   投稿日:2017/09/22 00:41:52  ID:QWgL+Vrg.net(2)
>469
準同型定理を知らないわけではないけど
どう使うかわからない

471
132人目の素数さん[sage]   投稿日:2017/09/22 01:06:01  ID:16HG/Zgp.net
各部分集合が部分群ってことでいいならH_1からG_1/G_2への自然な準同型の核はH_2でそ
こんなことするまでもないんだと思うが

472
132人目の素数さん[sage]   投稿日:2017/09/22 02:15:03  ID:QWgL+Vrg.net(2)
π:H_1→G_1/G_2, π(x)=xG_2
ですね
よくわかりました

473
132人目の素数さん[]   投稿日:2017/09/22 02:29:47  ID:IbaffgK4.net
>460
本に頼らず自分で証明するつもりでやれ。
それでも怪しいと思ったら原論文に当たれ。
それでも怪しいと思ったら反例を考えろ。
反例が作れたら論文になる。

474
132人目の素数さん[sage]   投稿日:2017/09/22 08:36:58  ID:5tuvNf/u.net
初歩の基本事項に今更
反例が見つかると思うのは
単なるトンデモだけどな。

475
132人目の素数さん[sage]   投稿日:2017/09/22 20:16:09  ID:NCQx+foM.net
天莫空勾践 時非無范蠡

476
132人目の素数さん[sage]   投稿日:2017/09/24 08:59:47  ID:fMcJe3pk.net(2)
大懐かしい
後醍醐天皇か

477
132人目の素数さん[sage]   投稿日:2017/09/24 09:38:40  ID:sb7Y96Ud.net
応仁の乱

478
132人目の素数さん[sage]   投稿日:2017/09/24 10:06:27  ID:fMcJe3pk.net(2)
うんにゃ
元弘の乱だぞえ

479
132人目の素数さん[sage]   投稿日:2017/09/24 10:06:44  ID:N4qenZps.net
x→∞
lim(cosx/cosx)=1

480
132人目の素数さん[sage]   投稿日:2017/09/24 11:57:22  ID:ep6FryBM.net
時に反例無きにしもあらず

481
132人目の素数さん[sage]   投稿日:2017/09/24 13:01:08  ID:qJhQDncb.net
>462
>463
答えてる方もなんだかなあという感じ。
まあ微分商は普通の分数「ではない」。
コメント1件

482
132人目の素数さん[sage]   投稿日:2017/09/24 13:32:00  ID:hINKYO0/.net(4)
>481
なぜですか?

483
132人目の素数さん[sage]   投稿日:2017/09/24 13:46:52  ID:lfGDn663.net
定義どおり
コメント1件

484
132人目の素数さん[sage]   投稿日:2017/09/24 13:56:24  ID:hINKYO0/.net(4)
>483
微分形式の定義は無視するんですか?
コメント1件

485
132人目の素数さん[]   投稿日:2017/09/24 14:06:58  ID:VDLQy+kP.net
そんなことより本当に活きが良いべーコン見てよ
http://i.imgur.com/9DgXUqo.gif

486
132人目の素数さん[sage]   投稿日:2017/09/24 20:42:02  ID:HG5LfekD.net
まあライプニッツ則が使えるってだけで普通の分数とはみなさない方がいいと思うよ。

487
132人目の素数さん[sage]   投稿日:2017/09/24 21:01:15  ID:PTWkW1pL.net
普通じゃない分数ってなんだよ

488
132人目の素数さん[sage]   投稿日:2017/09/24 21:02:51  ID:SeR0bwDU.net
ここまで頭悪いのは相手にしなくていい

489
132人目の素数さん[sage]   投稿日:2017/09/24 21:21:21  ID:hINKYO0/.net(4)
ある分数が普通であるとはどういうことですか?

490
132人目の素数さん[]   投稿日:2017/09/24 22:40:26  ID:HhZR2vz9.net
いつもの分数ということです

491
132人目の素数さん[sage]   投稿日:2017/09/24 22:46:15  ID:hINKYO0/.net(4)
いつもの分数とはどういうことでしょうか

492
132人目の素数さん[sage]   投稿日:2017/09/24 23:24:14  ID:JigSynkR.net
整数環の商体の元

493
132人目の素数さん[sage]   投稿日:2017/09/24 23:35:07  ID:tyPeLRKi.net
そういう意味であれば、確かにdy/dxは普通の分数とは言えませんね

494
132人目の素数さん[sage]   投稿日:2017/09/25 01:48:06  ID:cBlHDq7e.net
「くじ引きが無作為である」という帰無仮説のもとで宝くじに当選する確率はとても低い(0.05未満)。
宝くじに当選者がでたということはp<0.05のことが起こったので「くじ引きが無作為」という帰無仮説は棄却される。
正しい?

495
132人目の素数さん[sage]   投稿日:2017/09/25 13:02:48  ID:NKFaEY3h.net(2)
>484
なんで無視すると思ったんだ?

496
132人目の素数さん[sage]   投稿日:2017/09/25 13:04:57  ID:lluPnfGs.net
微分形式ならdy=f'dxですから、dxで割ればdy/dx=f'ですよね
割り算になってます
コメント1件

497
132人目の素数さん[]   投稿日:2017/09/25 14:21:15  ID:+TTrDoJn.net
>496
なんで割れるの?
コメント1件

498
132人目の素数さん[sage]   投稿日:2017/09/25 15:16:52  ID:ZPNgoGK3.net(2)
代数色強く認識したいのであれば一般の加群、テンソル代数、微分形式として勉強した方がいいと思うよ。余接空間に住んでる対象物を扱いたいなら。

499
132人目の素数さん[sage]   投稿日:2017/09/25 18:14:08  ID:6jRhjcJ5.net(2)
>497
なぜ割れないんですか?

500
132人目の素数さん[]   投稿日:2017/09/25 20:17:50  ID:EKHprbOo.net
定義されてないから

501
132人目の素数さん[sage]   投稿日:2017/09/25 20:30:26  ID:6jRhjcJ5.net(2)
微分形式じゃなくてdyを関数の微分と考えたらどうですか?

502
132人目の素数さん[sage]   投稿日:2017/09/25 20:36:39  ID:gAILGP1p.net(2)
定義されてないからって普通に定義すりゃ割れるだろ
もちろん座標系には依存するけど

503
132人目の素数さん[sage]   投稿日:2017/09/25 21:34:34  ID:odEl0oBH.net(2)
連鎖律があるから座標系に依存しないで定義できるよ

1次元空間上の1次微分形式ωとθに対してθ≠0の領域上でω=ξθなる関数ξが一意に決まるので
ωとθの商 ω/θ=ξ が定義される

例えば座標xの外微分dxと関数y=f(x)の外微分dyとの間にはdy=f'(x)dxの関係があるからdy/dx=f'(x)となる
別の座標tをとると dy/dt = (dy/dx)/(dt/dx) = dy/dx ・ dx/dt などの式も普通に成り立つ
コメント4件

504
132人目の素数さん[sage]   投稿日:2017/09/25 21:39:57  ID:odEl0oBH.net(2)
ただこれは微分形式を微分形式で割ったら普通の関数になるという程度のもので
体として閉じてないので個人的には分数とは呼びたくないなあ

505
132人目の素数さん[sage]   投稿日:2017/09/25 21:51:27  ID:NKFaEY3h.net(2)
微分形式の分数なんぞ定義して何かの役に立つんか?

506
132人目の素数さん[sage]   投稿日:2017/09/25 22:00:10  ID:ZPNgoGK3.net(2)
ライプニッツ則で変数変換がはかどる。

507
132人目の素数さん[sage]   投稿日:2017/09/25 22:02:41  ID:gAILGP1p.net(2)
>503
ああ、せやな

508
132人目の素数さん[sage]   投稿日:2017/09/26 10:08:31  ID:uaXzEXYE.net
>何かの役に立つんか?
この業界では愚問だなw

>503は別に1次元の場合に限った話ではなくて
n次元空間上のn次微分系形式の比がただの関数になることはどの微分多様体の本にも書いてる基本事項で
>503が成り立つことで多様体上の積分が定義できてポアンカレ双対やホッジ作用素など微分幾何の各種定理に繋がっていく
コメント2件

509
132人目の素数さん[sage]   投稿日:2017/09/26 11:16:51  ID:WCpl8ngE.net
軟化なんていうかトム形式。

510
132人目の素数さん[sage]   投稿日:2017/09/26 13:43:53  ID:ON5sdvmP.net
>508
数学の範囲で役に立つかという意味だ

511
132人目の素数さん[]   投稿日:2017/09/26 19:08:38  ID:4rMtMmjy.net(2)
>503
そりゃベクトル商ってやつで
多次元への拡張は結局のところ
dfをdx_iの線型結合で表すってだけの代物で
わざわざ割り算などいらんよ

512
132人目の素数さん[]   投稿日:2017/09/26 19:12:21  ID:4rMtMmjy.net(2)
>508
なんで外積のトップのとこだけ言うん?
dfの話1次だろうがよ

513
132人目の素数さん[sage]   投稿日:2017/09/28 13:14:02  ID:iaC+gXkQ.net
引っ込みが付かないとああなるね

514
132人目の素数さん[sage]   投稿日:2017/09/28 15:32:06  ID:XvK6kOu0.net
へ?

515
132人目の素数さん[]   投稿日:2017/09/28 21:12:31  ID:uF6Eb+AY.net
ほ?

516
132人目の素数さん[sage]   投稿日:2017/09/30 13:17:39  ID:Dk4p/S4E.net

517
132人目の素数さん[sage]   投稿日:2017/09/30 15:40:12  ID:+yKMOX7X.net

518
132人目の素数さん[sage]   投稿日:2017/10/01 13:03:44  ID:pOES/IbP.net

519
132人目の素数さん[sage]   投稿日:2017/10/03 01:00:43  ID:ss3RJEfB.net
数学科の連中は数式でシコっているというのは本当ですか?

520
132人目の素数さん[sage]   投稿日:2017/10/03 01:05:59  ID:PmCavwN2.net
自分を基準にしちゃいけませんよ、アナタ、分かってます?

521
132人目の素数さん[sage]   投稿日:2017/10/03 09:49:28  ID:I4C7JaAX.net
相撲部なんて、土俵でシコってますよ。

522
132人目の素数さん[sage]   投稿日:2017/10/03 09:55:57  ID:YE4Bg/7F.net(3)
リングで環論。

523
132人目の素数さん[sage]   投稿日:2017/10/03 10:50:53  ID:7CadQgCb.net
呪いのビデオ

524
132人目の素数さん[sage]   投稿日:2017/10/03 11:00:54  ID:YE4Bg/7F.net(3)
ゴングで格闘。

525
132人目の素数さん[sage]   投稿日:2017/10/03 11:01:47  ID:YE4Bg/7F.net(3)
場の理論の決戦場。
バトルフィールド。

526
132人目の素数さん[sage]   投稿日:2017/10/03 14:04:31  ID:D95BfHcN.net
おもろい

527
132人目の素数さん[sage]   投稿日:2017/10/04 11:12:07  ID:ExmUup4E.net(2)
松島与三「多様体入門」 の 逆関数の定理証明(旧版 p18-21) について教えてください。
φはQ(0; r) 上で1:1 の写像って時点で 逆関数 φ^{-1} の存在は保証されているのに、
なんで、φ^{-1}: s ∈ Q(0; r/2) → p ∈ Q(0; r)
を具体的に(極限操作で)構成する必要があるんでしょうか?
C^r 級を示すのだって、 φ(Q(0; r)) ⊃ Q(0; r/2) なんて条件いらなくないですか?

528
132人目の素数さん[sage]   投稿日:2017/10/04 13:41:35  ID:/zJIohP0.net(2)
本もってねーから記号の意味が分からん
コメント1件

529
132人目の素数さん[]   投稿日:2017/10/04 14:27:47  ID:DglZq4kI.net
境界お省きたいから
コメント1件

530
132人目の素数さん[sage]   投稿日:2017/10/04 16:06:10  ID:ExmUup4E.net(2)
>528
[逆関数の定理]
φは R^n → R^n の C^k 級連続写像 (k≧1, 簡単のため φ(0) = 0 としてます)
ヤコビアン det(∂φi/∂xj) ≠ 0 (at x=0) の時、十分小さい近傍を取れば逆関数が存在し C^k 級である。
Q(0; r): 中心0, 幅r の超立方体で境界を含まない。
Q^{–}: Qの閉包、つまり境界を含む
本の証明では まず Q^{–}(0, r) 上で 1 : 1 なのを示してます。

>529
Q^{–}(0, r) 上で 1 : 1 なら 当然 Q(0, r) 上 で 1 : 1 。
しかし、この時点では φ( Q(0, r) ) が開集合である保証はない。
何とかして φ: 開集合 → 開集合 の構図に持っていきたいという事でしょうか。
それなら納得できます。

531
132人目の素数さん[sage]   投稿日:2017/10/04 22:18:30  ID:/zJIohP0.net(2)
特定の構成法を使うのは、その方法だとC^rを示せるから
φ(Q(0; r)) ⊃ Q(0; r/2) の条件は縮小拡大を正規化して計算の手間を省くため
コメント1件

532
132人目の素数さん[sage]   投稿日:2017/10/05 10:51:13  ID:LIIMFJFt.net
>531
いやいや "開" 集合間の写像に持っていくためって事で合ってるでしょう。(つまり「境界を省きたいから」)
逆写像がC^r級 なのを示すのにその辺りは使ってませんよ。
1:1 連続写像なので、 実は「Q(0; r) 上で φ は 開写像」なんですが、それを保証するのが [領域不変の定理]
だから [領域不変の定理] を認めるなら、Q(0; r/2) (開集合)上で逆関数を具体的に構成する必要なんてないです。
とはいえそっちの定理の証明にはホモロジー代数とかハイレベルな内容(未着手なので詳細は知らない)を含むので、避けるのは当然かなと。

533
132人目の素数さん[sage]   投稿日:2017/10/05 11:10:35  ID:njaouzAb.net
誤植が大杉

534
132人目の素数さん[]   投稿日:2017/10/06 21:55:19  ID:j+W/kn2O.net
「可算選択公理」って「証明」できないんですか?アタリマエとして「認める」しかないんですか?

535
132人目の素数さん[sage]   投稿日:2017/10/07 00:54:52  ID:NGXdrdFG.net(3)
認めたくなけりゃ認めんでもいいさ
コメント1件

536
132人目の素数さん[sage]   投稿日:2017/10/07 03:46:22  ID:qkYG9k08.net
線形代数がよく分かんないのですが僕が悪いんですか?

537
132人目の素数さん[sage]   投稿日:2017/10/07 03:49:31  ID:VaLUqoP/.net
そや

538
132人目の素数さん[sage]   投稿日:2017/10/07 13:14:12  ID:NGXdrdFG.net(3)
悪いも良いも無い
単に勉強しない結果

539
132人目の素数さん[sage]   投稿日:2017/10/07 13:47:30  ID:GSLIc0TI.net
納得できなさを突き詰め続けると新しい理論に化けるかもね。

540
132人目の素数さん[sage]   投稿日:2017/10/07 14:52:53  ID:qdhD/Xn1.net
それを車輪の再発明という

541
132人目の素数さん[sage]   投稿日:2017/10/07 21:31:34  ID:NGXdrdFG.net(3)
ただの逃避

542
132人目の素数さん[sage]   投稿日:2017/10/08 01:55:53  ID:plWIUVyf.net
毛の薄い頭皮

543
534[sage]   投稿日:2017/10/08 09:30:38  ID:9CGp1SJV.net(2)
>535
認めなきゃ数学の議論にならないと思うので認めはしますが,
もっと根源的(?)公理(実数の連続性とか)から証明できないのかなあ…と思って

544
534[sage]   投稿日:2017/10/08 09:32:20  ID:9CGp1SJV.net(2)
(一般の)選択公理でなくて「可算選択公理」ですが無理なもんは無理ですかね

545
132人目の素数さん[]   投稿日:2017/10/08 10:19:39  ID:thqfNAAA.net
可算だろうが非可算だろうが、無限個の集合に対する公理がなければ無理だろう

546
132人目の素数さん[sage]   投稿日:2017/10/08 11:24:46  ID:gZfMPWj6.net(2)
証明できない事が証明されてる
コメント1件

547
132人目の素数さん[sage]   投稿日:2017/10/08 11:37:46  ID:jERVOI3Y.net(6)
証明できないことを証明するとき、つまりメタレベルでどんな公理を採用するかは問題にされないのが不思議
ヘンテコな数学的公理の下でメタ議論すればZFから選択公理を導ける可能性はあるんじゃないの?
コメント1件

548
132人目の素数さん[]   投稿日:2017/10/08 11:54:14  ID:62Wk3QBs.net(9)

549
132人目の素数さん[sage]   投稿日:2017/10/08 12:15:54  ID:jERVOI3Y.net(6)
>548
極端な話、メタ公理系が矛盾していれば選択公理を導けてしまう
そしてもちろん、メタ公理系が無矛盾かどうかを予め知る方法はない
コメント1件

550
132人目の素数さん[sage]   投稿日:2017/10/08 12:21:28  ID:jERVOI3Y.net(6)
不完全性定理は非常に弱いメタ公理系の下で証明できるので、これは疑っても仕様がない
しかし、選択公理が証明できないことの証明ではメタ公理系として集合論を採用したので、実は別の選択肢もあった気がしてならない

551
132人目の素数さん[]   投稿日:2017/10/08 12:37:02  ID:62Wk3QBs.net(9)
>549
実際書いてミロや
誰も妥当と思わなければ認められないわけ
コメント1件

552
132人目の素数さん[sage]   投稿日:2017/10/08 12:41:14  ID:jERVOI3Y.net(6)
>551
結局そういうことだよね
「数学は自由だ」という標語があるけど、メタ議論するときは選択の余地なくZFを唯一の真理であるかのように扱う
その自覚すらなくZFに縛られてる人も多いんじゃないかな
コメント1件

553
[sage]   投稿日:2017/10/08 12:45:47  ID:jERVOI3Y.net(6)
たとえば>546だけど、証明できない事が”どんな仮定の下で”証明されているのか、一度でも気に懸けたことはあった?
コメント2件

554
132人目の素数さん[]   投稿日:2017/10/08 12:58:00  ID:62Wk3QBs.net(9)
>552
ZFはほぼ納得できるからな
要素が同じなら同じ
空集合アリ
和集合アリ
ベキ集合アリ
無限集合(自然数)アリ
置き換えてもイイよ
無限降下はダメよ
こんだけだし

555
132人目の素数さん[]   投稿日:2017/10/08 12:59:32  ID:62Wk3QBs.net(9)
>553
メタ数学はあんまり細かいこと言わないで“普通に”数学だよ
メタ数学の対象になるのが細かい公理的集合論とか諸々
コメント1件

556
132人目の素数さん[]   投稿日:2017/10/08 15:46:57  ID:ReGcmx6C.net
楕円関数の本ちらちら読んでたら無限積Π_(i=1)^∞がでてきたんですが、無限積ってなんですか?
無限級数Σ_(i=1)^∞は部分和の数列の極限値で定義されてて、極限の定義もちゃんと習うけど、
無限積の定義は部分積(?)の数列の極限値だと思えばいいんですか?
パラメータとかいろいろ入っててよくわからないし、発散する場合とか考えなくてもいいんでしょうか。
コメント1件

557
132人目の素数さん[]   投稿日:2017/10/08 15:58:41  ID:ReEgmcvz.net
そんな基本事項は教科書嫁

558
132人目の素数さん[sage]   投稿日:2017/10/08 16:45:39  ID:jERVOI3Y.net(6)
>555
メタ数学が対象とする形式的数学は「証明という行為」を理想化したものだから、
飽くまでも理想化された対象にだけ言及するなら、そういう数学理論だと思っていいんだろうね
数理物理が数学理論であるのと同じ意味で

でもメタ数学は形式化されていない生の数学における証明可能性まで主張する(代数幾何でモデル理論を用いたり)
人間が証明を行っているこの宇宙で、まるでZFの公理が成立すると暗に仮定しているかのようだ
ZFは納得がいく、多くの人に支持されている等の根拠では済まされない、重大な間違いの可能性を残してると思う
「ZFは宇宙の真理であり、人間の行為もそれに従う」
ここまで言い切ってしまえば、これはこれで一貫した理論になるけども

559
132人目の素数さん[]   投稿日:2017/10/08 17:45:03  ID:EPCGZi6J.net(2)
a, b を

a ≧ b ≧ 0

を満たす整数とする。


a, b の最大公約数をユークリッドの互除法で求める際、
余りを計算する回数を R(a, b) と書くことにする。

(F_n) は フィボナッチ数列 0, 1, 1, 2, 3, …, とする。

n を F_n ≧ a ≧ b ≧ 0 を満たす整数とするとき、

R(a, b) ≦ n

が成り立つことを示せ。
コメント1件

560
132人目の素数さん[]   投稿日:2017/10/08 18:38:02  ID:62Wk3QBs.net(9)
>556
>無限積の定義は部分積(?)の数列の極限値
これ

561
132人目の素数さん[sage]   投稿日:2017/10/08 19:02:59  ID:gZfMPWj6.net(2)
>553
オマエじゃあるまいし

562
132人目の素数さん[sage]   投稿日:2017/10/08 19:28:48  ID:O6YLUJqP.net
>559
a = r[0] = q* b + r[2] ≧ b + r[2]
b = r[1] = q'*r[2] + r[3] ≧ r[2] + r[3]
...
r[R-3] ≧ r[R-2] + r[R-1]
r[R-2] ≧ r[R-1] + r[R]
r[R-1] ≧ r[R] + 0
逆に辿って、
r[R-1] ≧ 1 + 0 = Fib[1]
r[R-2] ≧ Fib[1] + 1 = Fib[2]
r[R-3] ≧ Fib[2] + Fib[1] = Fib[3]
.... r[0] ≧ Fib[R]
Fib[n] ≧ a ≧ Fib[R]
よって n ≧ R
コメント1件

563
534[sage]   投稿日:2017/10/08 20:13:50  ID:GwE5tPoI.net(2)
ZFとかの公理系の話は内田、松坂のような入門書には全然書いていないと思うんですが、なんかおすすめの本はありますか?

選択公理が「証明できない」ことの証明が書いてある本とか
コメント1件

564
132人目の素数さん[]   投稿日:2017/10/08 20:15:59  ID:62Wk3QBs.net(9)
>563
強制法を説明している本
コメント1件

565
132人目の素数さん[]   投稿日:2017/10/08 20:27:32  ID:EPCGZi6J.net(2)
>562

ありがとうございました。

566
132人目の素数さん[]   投稿日:2017/10/08 21:02:05  ID:GwE5tPoI.net(2)
>564
具体的に著者名や書名をお願いいたす
コメント1件

567
132人目の素数さん[]   投稿日:2017/10/08 21:27:10  ID:62Wk3QBs.net(9)

568
132人目の素数さん[]   投稿日:2017/10/08 21:49:16  ID:Fknf2OBi.net
>567
中古しかないし
その中古がボッタクリプライスですね…

569
132人目の素数さん[]   投稿日:2017/10/08 22:23:47  ID:62Wk3QBs.net(9)
いい本ですよ

強制法を理解しないと始まらないので
何か類書でもなんでもいいから
コメント1件

570
132人目の素数さん[sage]   投稿日:2017/10/08 22:38:53  ID:Vt2Srw9I.net
>569
でしたら類書でいいものは何かありますか?
コメント1件

571
132人目の素数さん[]   投稿日:2017/10/08 22:56:02  ID:62Wk3QBs.net(9)
>570
すまんしらん

572
132人目の素数さん[sage]   投稿日:2017/10/08 23:11:59  ID:mD3UoXUa.net(2)
離散数学なんだけど
これってどう証明すればいいの?
数学っぽく解こうとしたけど言葉でしか説明できない

https://i.imgur.com/BNf9mM0.jpg
コメント2件

573
132人目の素数さん[sage]   投稿日:2017/10/08 23:14:10  ID:Ny9wx+R+.net(2)
冪集合の定義はどのようになってるんですか?
コメント1件

574
132人目の素数さん[sage]   投稿日:2017/10/08 23:20:38  ID:mD3UoXUa.net(2)
>573
教科書見返したけどよく分からん
https://i.imgur.com/et2QBQD.jpg
コメント1件

575
132人目の素数さん[sage]   投稿日:2017/10/08 23:32:35  ID:Ny9wx+R+.net(2)
素朴な直感的な言葉で定義されているわけですね
なら自明、でいいんじゃないですか?

576
132人目の素数さん[sage]   投稿日:2017/10/09 00:26:55  ID:Kt44Cz1i.net
P(A)={x|x⊂A}

577
132人目の素数さん[sage]   投稿日:2017/10/09 00:30:00  ID:JxNtmseV.net
べき集合: P(A) := { x | x ⊂ A } 定義より明らか。

それでは身も蓋もないので、背後には次のような構造があると考えるとよいかもです。
2変数述語: Pred(x,y) := x ⊂ y ----(a)
べき集合: P(A) := { x | Pred(x, A) } ---(b)
X ⊂ A ⇄ X ∈ P(A)
1. (→) X ⊂ A → (a)より Pred(X, A) → (b)より X ∈ P(A)
2. (←) X ∈ P(A) → (b)より Pred(X, A) → (a)より X ⊂ A
コメント1件

578
132人目の素数さん[]   投稿日:2017/10/09 02:01:32  ID:pWnqu3Rx.net
>572
しょもない問題じゃの
定義から自明なのに

579
132人目の素数さん[]   投稿日:2017/10/09 09:54:09  ID:Wbtd0Hoy.net
おら、似た問題で、自明って書いたら、0点もらえた。

580
132人目の素数さん[]   投稿日:2017/10/09 10:09:41  ID:ds5G+LM5.net
部分集合とべき集合の定義をオウム返ししろ、という問題?

581
132人目の素数さん[sage]   投稿日:2017/10/10 00:44:34  ID:8LIkDhsj.net
>572
べき集合をどう定義したかによる
コメント1件

582
132人目の素数さん[]   投稿日:2017/10/10 01:18:07  ID:IqN7kRQU.net
>581
>574,577

583
132人目の素数さん[sage]   投稿日:2017/10/10 07:37:58  ID:b+AZraNZ.net
>577って、すごく馬鹿っぽいですよね(笑)
述語知ったばかりや高校生みたい

584
132人目の素数さん[sage]   投稿日:2017/10/10 19:25:52  ID:L+r5Ulkh.net
なるほど

585
132人目の素数さん[]   投稿日:2017/10/13 17:38:09  ID:2dHgFmKw.net
>566
Jech:Set theory
コメント1件

586
132人目の素数さん[sage]   投稿日:2017/10/13 23:58:35  ID:i1j4mUu6.net
>585
高いですな…
図書室にあるかしら

587
[sage]   投稿日:2017/10/23 21:51:39  ID:Dl6USvMt.net(10)

588
[sage]   投稿日:2017/10/23 21:52:02  ID:Dl6USvMt.net(10)

589
[sage]   投稿日:2017/10/23 21:52:22  ID:Dl6USvMt.net(10)

590
[sage]   投稿日:2017/10/23 21:52:42  ID:Dl6USvMt.net(10)

591
[sage]   投稿日:2017/10/23 21:53:05  ID:Dl6USvMt.net(10)

592
[sage]   投稿日:2017/10/23 21:53:24  ID:Dl6USvMt.net(10)

593
[sage]   投稿日:2017/10/23 21:53:43  ID:Dl6USvMt.net(10)

594
[sage]   投稿日:2017/10/23 21:54:04  ID:Dl6USvMt.net(10)

595
[sage]   投稿日:2017/10/23 21:54:22  ID:Dl6USvMt.net(10)

596
[sage]   投稿日:2017/10/23 21:54:45  ID:Dl6USvMt.net(10)

597
132人目の素数さん[sage]   投稿日:2017/10/24 12:51:15  ID:TeheAXjr.net
ゴミがまた湧いた

598
132人目の素数さん[sage]   投稿日:2017/10/25 23:31:09  ID:W5kkRkTn.net
大学三年のものなのですが卒研でなにを研究すればいいですかね?正直この二年間あまり勉強してこなかったのでまあまあやばいです。何かおすすめの単元(?)ありますか?現在はしかたなく位相幾何学の本読んでます。

599
132人目の素数さん[]   投稿日:2017/10/25 23:40:15  ID:C7rSPLJt.net
学部なら卒研と言っても本当に研究するわけじゃなく、セミナーで勉強したことをまとめる程度のものでしょ
好きな分野でおk
コメント1件

600
132人目の素数さん[]   投稿日:2017/10/26 01:08:08  ID:PF4kg/Zy.net
>599
だから数学科はバカにされるんだよな
他学科は一応研究できるから
コメント1件

601
132人目の素数さん[sage]   投稿日:2017/10/26 01:58:24  ID:m/zmzqgB.net
プッ、研究やて〜

602
132人目の素数さん[sage]   投稿日:2017/10/26 05:37:00  ID:NdN8H4m9.net
本の感想文で卒業できる?文系かな?
ちな化学系

603
132人目の素数さん[sage]   投稿日:2017/10/26 08:20:03  ID:xsQktbO+.net
担任に相談しろよ

604
132人目の素数さん[sage]   投稿日:2017/10/26 09:01:26  ID:/7XMhxMa.net(3)
一年間セミナーしただけで卒業できたな〜
新規の結果が出せるわけがないから論文はいらないらしいのだけど、
他学科は論文を書いてたんだろうかと思うと
劣等感に苛まれるぜ

605
132人目の素数さん[sage]   投稿日:2017/10/26 09:06:44  ID:/7XMhxMa.net(3)
こんなこと言っていてケケケケンキュウ荒らしが現れませんように
南無阿弥陀仏 南無阿弥陀仏

606
132人目の素数さん[sage]   投稿日:2017/10/26 11:30:17  ID:GEfWtCa1.net
数学科で論文いらないって不思議だな
ネタくらいあるのに

607
132人目の素数さん[sage]   投稿日:2017/10/26 12:52:02  ID:wZNPNUzF.net
さすがに何のまとめにもならんような感想文じゃ弾くしかないし
そんなんしかいないF欄は卒論なし(さすがにゼミは形だけでも必須だろうけど教授の匙加減でどうとでもできる

学部二年でハーツホーン読了してて当然とか言い出す河東レベルに達してるならともかく
傾向や一般論で言えば、普通レベルの学部生が数学科の学部で講義する範囲で
何か新しいものを多少なりと含む本来的な意味の論文なんて書こうと思っても
いくらネタがあると言っても知れてるから
ってわけで教科書やサーベイのサマリ程度のものでお茶を濁すわけでしょ

新しい成果を入れようとしても、頑張って探せば既知か、未知だけど非常につまらないとか、
役立たずだけど応用数学ならまあ許されるかそれでもゴミ扱いかもしれないなとか
そんな感じにしかならんのではないかと思う

608
132人目の素数さん[sage]   投稿日:2017/10/26 12:55:26  ID:ltuBrsCv.net
学部4年なんか研究の準備をするための準備だろ
それでどうやって研究しろと

609
132人目の素数さん[sage]   投稿日:2017/10/26 22:19:52  ID:/7XMhxMa.net(3)
自分の行ってない他大学の事情にはさっぱりなのだけど、
早稲田の学部はゼミごとに卒論書いてるらしく、pdfが転がってる
2004年度 位数が30以下の群の分類とか

610
132人目の素数さん[]   投稿日:2017/10/26 23:10:36  ID:yCzK/0dl.net
wikiのコピペで卒論なんて十分でしょ

611
132人目の素数さん[sage]   投稿日:2017/10/27 11:41:51  ID:glNVNIws.net
卒論に役立つなんて期待されてんの?

612
132人目の素数さん[sage]   投稿日:2017/10/27 13:26:45  ID:G2UTASzC.net(3)
期待されてない卒論なんて課す意味がない。
本末転倒

613
132人目の素数さん[sage]   投稿日:2017/10/27 13:29:44  ID:65PyqAWV.net(3)
他の理系と違い、数学科卒業生は社会に出てから論文を読むことも書くこともしないからな
研究の作法を学ぶ意味もないというわけだ
コメント1件

614
132人目の素数さん[sage]   投稿日:2017/10/27 13:33:51  ID:G2UTASzC.net(3)
>600
そのかわり
研究以前の「教科書を理解したことを証明する、ふつうの単位」の取得が
数学科は他学科よりはるかに難しい

東大以外は知らんけど

615
132人目の素数さん[sage]   投稿日:2017/10/27 13:54:14  ID:65PyqAWV.net(3)
卒業研究という名の単なるセミナー
卒業研究の単位を落とす人なんているんだろうか
毎回出席さえしていれば指導教官だってまさか落とすわけにもいくまい

616
132人目の素数さん[sage]   投稿日:2017/10/27 13:56:54  ID:G2UTASzC.net(3)
そう、だから卒業研究もあんまり意味がない

一学期で1章しか進まないセミナーなんてザラ

617
132人目の素数さん[sage]   投稿日:2017/10/27 17:58:25  ID:X4ncyNgs.net(2)
数学科に卒論が無いことを馬鹿にする人は
例えば工学系・実験系で前年の人に引き続いて同じ実験のデータ取って蓄積しましたって卒論なら
どう評価するんだろうね
コメント1件

618
132人目の素数さん[]   投稿日:2017/10/27 19:33:18  ID:PUAhng5t.net
エーー話じゃないいか。

619
132人目の素数さん[sage]   投稿日:2017/10/27 19:42:25  ID:65PyqAWV.net(3)
数学科には有りがちだけど、どこかズレてるよね
知力をひけらかすことが研究の目的ではないぞ

620
132人目の素数さん[sage]   投稿日:2017/10/27 20:25:16  ID:HtVSH9SF.net(2)
>617
何も産み出さない数学科の無限倍マシじゃん

621
132人目の素数さん[sage]   投稿日:2017/10/27 20:26:23  ID:OQK0glzP.net
それを生み出したというのかい(笑)
コメント1件

622
132人目の素数さん[sage]   投稿日:2017/10/27 20:32:18  ID:HtVSH9SF.net(2)
>621
実験なんて追試&データの蓄積がナンボだぞ
コメント1件

623
132人目の素数さん[sage]   投稿日:2017/10/27 20:50:32  ID:X4ncyNgs.net(2)
でも数学で何度同じ手順繰り返しても同じものしか出てこないよ?

624
132人目の素数さん[sage]   投稿日:2017/10/27 20:54:36  ID:P72mEPTN.net
>622
教授の立派な奴隷になってくれ

625
132人目の素数さん[sage]   投稿日:2017/10/28 01:22:28  ID:9310mtB2.net
>613
なわけあるか、オレは仕事で必要だったぞ
卒業時には楽したと思ったが、この時は損したと思ったね

626
132人目の素数さん[sage]   投稿日:2017/10/28 09:04:44  ID:6NuobTeH.net
実験系が複素解析なら数学はリジッド解析
局所的な議論をその周辺まで伸ばすには工夫がいる

627
132人目の素数さん[]   投稿日:2017/10/28 17:38:37  ID:dVnNrIca.net(18)
すみません質問です。
三平方の定理の現代的証明(或いは公理としての取り込み方)って
ありますでしょうか?
wikiで見るとオイラーの公式から証明できるとあるのですが
少なくとも小平先生「解析入門」の本を見る限り三角関数の厳密な構成にも
残念ながら三平方の定理はア・プリオリに既知として認めてしまっているような
気もするのですが
コメント1件

628
132人目の素数さん[]   投稿日:2017/10/28 17:43:04  ID:vV1IVZpm.net
三平方の定理の成り立たない空間もあるぜよ。まぁ、小売でしょ。

629
132人目の素数さん[sage]   投稿日:2017/10/28 17:57:31  ID:dS5Zf127.net(4)
>三平方の定理はア・プリオリに既知として認めてしまっている
正しいが、おそらく貴方の考えているような意味合いではない
実数の組からなる集合に対し、三平方の定理が成り立つように距離の概念を導入し、現代的にはそれをユークリッド空間と呼んでいる
三平方の定理が成り立たない距離の概念もあり得るが、それはまた別の話
コメント2件

630
132人目の素数さん[]   投稿日:2017/10/28 18:00:22  ID:jWurCcgF.net(6)
>627
>wikiで見るとオイラーの公式から証明できるとあるのですが
この証明胡散臭いな

631
132人目の素数さん[sage]   投稿日:2017/10/28 18:18:55  ID:6kh2mb1S.net
ex) マンハッタン距離

632
132人目の素数さん[]   投稿日:2017/10/28 19:47:40  ID:dVnNrIca.net(18)
>629
ちょっと問題そのものにお答えくださってない(トートロジーや循環論法に
なってしまわれてる)気がしてしまうのですが、つまり、
ユークリッド空間に話を限定しても
そのユークリッド空間上においてであろうがあなたの仰る『抽象的な距離』は
単なる通常の距離の模倣から生まれた単純な関係式を満たすモノにしか過ぎませんので
(通常の距離以外にも)いくらでで異なる定義を与える事は可能でしょうが、
じゃあ現代数学において
円や角度はどう視覚的に理解したらいいんですか?
円が【ああなるああいう形】になる空間を複素平面の定義にしてしまうんですか?
現代数学においては円の形が【ああなるああいう形】になる事を意識する必要性が
ないのでしょうか??
コメント2件

633
132人目の素数さん[sage]   投稿日:2017/10/28 19:56:17  ID:dS5Zf127.net(4)
>632
態度悪いな
答える気も失せるわ

634
132人目の素数さん[sage]   投稿日:2017/10/28 20:00:33  ID:w9q+vqpR.net(36)
>632
歴史的発見の順序と論理の組み立て方は区別する必要があります
我々の直観その通りに論理を進める必要はないですし、そんなことはできないのです

数学では公理を出発点としますが、その正当性は何者にも保証されませんし、正しいか正しくないかという議論の対象にもならないのです

>(通常の距離以外にも)いくらでで異なる定義を与える事は可能でしょうが、
これは、数理論理の言葉で言えば、一つの公理系に対して異なるモデルを考える、ということに相当しますが、とにかくいくらでも前提を変えれば、結論はどのようにも変わるわけです
前提が間違ってる間違っていない、という問題ではなく、前提を変えれば異なる結論が得られる、というだけなのです

しかし、我々の直観に沿うものと沿わないものが確かにあるでしょう
でも、その直観とのズレ、は数学に持ち込むべきものではありません
逆に、我々の直観に沿うものが正しいか、というわけでもないです
そして、その我々の直観に沿う、という正当性も、数学内では解決できるものでもありませんし、解決すべきものでもないんです
コメント1件

635
132人目の素数さん[]   投稿日:2017/10/28 20:05:34  ID:dVnNrIca.net(18)
>629
小平先生「解析入門」の流れを見ますと

ア:c(θ)^2+S(θ)^2=1を満たす収束する無限級数を構成
イ:e(θ)=c(θ)+iS(θ)が回転を表すと期待される関係式e(θ+φ)=e(θ)e(φ)を 
 満たす事を証明
ウ:複素平面(←ここがア・プリオリに与えられすぎててちょっとよく分からない)上に
 おける原点O、(1,0)A、(c(θ)、S(θ))Bの3点において
 0A^2+AB^2=1(アで証明した等式による)=OB^2(イで証明した事により
0Bは0Aを回転したモノと考えるため)


によって三平方の定理が示されている気がします。
ただ少し引っかかったのは更にそこから円弧の長さを定義する時に
三平方の定理を内密に使用している事がちょっと気になります。
もう三平方の定理は既に証明された(角度を厳密に定義し終えた)ので
円弧の証明にはもう使っていいのかな?
因みに小平先生「解析入門」では三平方の定理とのロジックの流れには
1mmも直接触れていませんので、三平方の定理の構成或いは証明の
どこからを認めてどこからを厳密に構成し得たかは読者に完全に委ねられています
コメント4件

636
132人目の素数さん[]   投稿日:2017/10/28 20:09:30  ID:dVnNrIca.net(18)
>634

>円や角度はどう視覚的に理解したらいいんですか?

恐縮ですがあなた様の回答は私の上の疑問になんら答えて下さっていないように
感じます。あなた様はおそらく単なる抽象的な位相空間における距離の公理の
もっともらしさについてしか言及していないと思われます。
抽象的な距離の定義が、距離と呼ぶにふさわしい事は自明ですので
そのあなた様の説明もトリビアルかと思われます
コメント1件

637
132人目の素数さん[sage]   投稿日:2017/10/28 20:12:16  ID:w9q+vqpR.net(36)
>636
我々の通常認識している空間がユークリッド空間であると認れば良いのです
コメント1件

638
132人目の素数さん[]   投稿日:2017/10/28 20:14:23  ID:dVnNrIca.net(18)
>635 自己レス ウの訂正
点BからOAに下ろした垂線の足をCとすると
0C^2+BC^2=1(アで証明した等式による)=OB^2(イで証明した事により
0Bは0A=1を回転したモノと考えるため)

「垂線の足」とか言い出したらもう何を認めて何を前提として
何を厳密に構成したのかが混乱してきます・・・
コメント1件

639
132人目の素数さん[]   投稿日:2017/10/28 20:15:48  ID:dVnNrIca.net(18)
>637
その何を既知(ア・プリオリ)と認めて
どこからを何を厳密に構成したのかを
ハッキリさせたいのです
コメント2件

640
132人目の素数さん[sage]   投稿日:2017/10/28 20:17:03  ID:w9q+vqpR.net(36)
>639
そんなことはできないのです
上に書きましたね
我々の直観と数学をリンクさせる時点で、アポステリオリな要素を含まざるを得ないのですよ
コメント1件

641
132人目の素数さん[sage]   投稿日:2017/10/28 20:18:43  ID:w9q+vqpR.net(36)
>639
ユークリッド空間の公理は完全にアプリオリです
我々の空間がユークリッド空間として扱える、というのがアポステリオリです
コメント1件

642
132人目の素数さん[sage]   投稿日:2017/10/28 20:19:04  ID:dS5Zf127.net(4)
だから「三平方の定理が成り立つ距離」が答えだっての
馬鹿丁寧な言葉遣いする前に自分への返答ぐらいはよく読め
コメント1件

643
132人目の素数さん[]   投稿日:2017/10/28 20:21:45  ID:dVnNrIca.net(18)
>640
>アポステリオリな要素を含まざるを得ないのですよ

日本語は理解できますか?
私はア・プリオリを一切排除してみたいなど一言も言ってません。
どこからがア・プリオリでどこからが厳密に構成し得たものかを知りたいと
言ったのですが

日本語と解析の初歩をちゃんと理解した人にだけお答え下さい
位相空間の抽象的な距離の定義だけを知ってるだけの人の事ではないです。
解析の初歩で特に小平先生の本の
私が>635,>638←で書いた流れの【中身】をフォローして下される方に
回答を宜しくお願いいたしますm(_ _)m
コメント1件

644
132人目の素数さん[sage]   投稿日:2017/10/28 20:22:54  ID:w9q+vqpR.net(36)
>643
今どこにいますか?
あなたを殺したいので、住所を教えてください
コメント1件

645
132人目の素数さん[sage]   投稿日:2017/10/28 20:23:52  ID:w9q+vqpR.net(36)
ID:dVnNrIcaさんの住所がわかりません
よろしくお願いします
コメント1件

646
132人目の素数さん[]   投稿日:2017/10/28 20:24:47  ID:dVnNrIca.net(18)
>642
>円や角度はどう視覚的に理解したらいいんですか?

(1)これに答えて下さってない、という私の指摘をあなたがスルーしておられるので
あなた側が会話のはしごを外して会話を放棄しています
(2)>635←で書いた流れの【中身】についてあなたは何も読めてませんので
あなたの回答は不要です、知恵袋なら質問者側が削除せざるを得ない回答です
コメント2件

647
132人目の素数さん[sage]   投稿日:2017/10/28 20:25:31  ID:w9q+vqpR.net(36)
>646
すみません、私の質問をスルーしないでいただけますか?
住所を教えてください

648
132人目の素数さん[]   投稿日:2017/10/28 20:25:59  ID:dVnNrIca.net(18)
>644,>645
日本語が出来る方のみ回答をよろしくお願いします
お馬鹿でもできる薄い雑談は雑談スレへご移動願いますm(_ _)m
コメント6件

649
132人目の素数さん[sage]   投稿日:2017/10/28 20:26:23  ID:w9q+vqpR.net(36)
>648
すみません、どうしてもあなたを殺したいんです
住所がわからないと殺せません
よろしくお願いします

650
132人目の素数さん[sage]   投稿日:2017/10/28 20:26:41  ID:w9q+vqpR.net(36)
>648
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

651
132人目の素数さん[sage]   投稿日:2017/10/28 20:26:51  ID:w9q+vqpR.net(36)
>648
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

652
132人目の素数さん[sage]   投稿日:2017/10/28 20:27:34  ID:w9q+vqpR.net(36)
>648
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

653
132人目の素数さん[sage]   投稿日:2017/10/28 20:27:55  ID:w9q+vqpR.net(36)
>648
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

わからないんですか?

654
132人目の素数さん[sage]   投稿日:2017/10/28 20:28:16  ID:w9q+vqpR.net(36)
>648
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

わからないんですね(笑)

655
132人目の素数さん[sage]   投稿日:2017/10/28 20:29:31  ID:dS5Zf127.net(4)
>646
馬鹿も休み休み言え
人の話を聞かずに迷走してる奴に合わせてどうするというのだ

656
132人目の素数さん[sage]   投稿日:2017/10/28 20:29:31  ID:w9q+vqpR.net(36)
質問者の特徴

・本当になにも解けないボンクラ高校生
・ぐぐればわかる程度の大学数学の内容をよく理解せずに書いてるウンコ脳
・話題についてこれない馬鹿が孤独を紛らわすために同じ質問を繰り返すだけの廃人

657
132人目の素数さん[sage]   投稿日:2017/10/28 20:31:04  ID:w9q+vqpR.net(36)
しっかしゴミクズ質問ばっかでつまんねえなぁ。
本当に「実際は解けてない連中ばっか」状態になったこと一度もねえじゃんw
もっと骨のある質問してこい、脳みそウンコまみれの底辺層ども。

658
132人目の素数さん[sage]   投稿日:2017/10/28 20:31:23  ID:w9q+vqpR.net(36)
受験数学は全然できなくて無問題
あんなのは所詮公式と解法パターンの丸暗記競争だから
ルービックキューブと一緒でやり方知ってりゃ10秒で解法が組み上がる
大学行ったら数学や物理は勿論、化学だって高校数学なんか全く役に立たないよ
そうはいっても国公立の理系は少なくともセンター数学を受けないと入れない
国立、特に下位駅弁からは同レベルの理系単科私大等と比べて突出した才能が出ない一因でもある
俺も文系からの理系学部進学組みだけど高校で理系だった奴は暗記重視で本質を理解している奴はいなかった印象がある
何でも覚えようとしちゃうのね。理解しようとしないで
今でも私大なら理系学部で入試に数学を課してない所があるはず(理由は前述のとおり)
但し記述式の国語があるから地頭勝負になるけどね
数学や理科といった暗記科目で挽回の効く東大理系前期なんかよりある意味難関

659
132人目の素数さん[sage]   投稿日:2017/10/28 20:31:42  ID:w9q+vqpR.net(36)
理系思考の残念な点

・なんでも数字に置き換えて簡略化するから、複雑な物事を考える力がない
・論理性に頼りすぎてきたからアバウトな考え方ができない
・できるだけ小さく狭いミクロでものを考えるので、マクロで考える事ができる文系ほど論理的思考が 得意でない
・裏切りの少ない数学や論理性を信仰してきたから思い込みが激しく騙されやすい
・上記の理由から頭が固い
・上記の理由や世間から外れたところにいる時間が長いせいで常識、常識的な事を知らない
・上記の理由やそれによるプライドが凄いせいで成長しない、成長が遅い
・文盲だったり視野が狭いせいで、自分の何を指摘されてるのか理解できない

660
132人目の素数さん[sage]   投稿日:2017/10/28 20:31:59  ID:w9q+vqpR.net(36)
理系も内心では理解してるからな、実際に社会を動かすのは文系だと

立法や行政を担うのは殆どが文系だし
民間で技術職は現場のトップが精々だが文系のエリートなら経営に携われる
理系が何か開発してもそれを商業化して利益を得るのは文系

結局理系ってのは文系のエリート層の肥やしになるだけの存在
それがわかってはいるけど認めたくないから文系の下位層を見て文系全体を貶し自尊心を保つ
コメント1件

661
132人目の素数さん[]   投稿日:2017/10/28 20:32:17  ID:dVnNrIca.net(18)
>641
アプリオリとアポステリオリの違いはここでは些細ですね
何を証明せずに何を証明し得たかをハッキリさせたいだけです

引き続き、会話(日本語)ができる方の回答をよろしくお願いしますm(_ _)m
コメント1件

662
132人目の素数さん[sage]   投稿日:2017/10/28 20:32:24  ID:w9q+vqpR.net(36)
もっと頭いい奴いないの?
質問者のレベルが低すぎて回答する気が起きない。
まぬけな豚がブヒブヒ喚いても人間様は気にも留めないでしょ?
だから、質問豚のみんな、早く人間になってね!

663
132人目の素数さん[sage]   投稿日:2017/10/28 20:32:48  ID:w9q+vqpR.net(36)
>661
すみません、あなたの住所を教えていただけますか?
コメント1件

664
132人目の素数さん[sage]   投稿日:2017/10/28 20:33:07  ID:w9q+vqpR.net(36)
今日も「解いた側」の圧勝かぁ・・・。
毎日毎日、ラクラク解ける問題ばかりだから常勝なんだよね・・・。
たまには、解けない解けないっと悩んで負けてみたい、それが今の切実な悩み。

665
132人目の素数さん[sage]   投稿日:2017/10/28 20:33:32  ID:w9q+vqpR.net(36)
しっかしゴミクズ質問ばっかでつまんねえなぁ。
本当に「実際は解けてない連中ばっか」状態になったこと一度もねえじゃんw
もっと骨のある質問してこい、脳みそウンコまみれの底辺層ども。

666
132人目の素数さん[sage]   投稿日:2017/10/28 20:33:56  ID:w9q+vqpR.net(36)
もっと頭いい奴いないの?
質問者のレベルが低すぎて回答する気が起きない。
まぬけな豚がブヒブヒ喚いても人間様は気にも留めないでしょ?
だから、質問豚のみんな、早く人間になってね!

667
132人目の素数さん[sage]   投稿日:2017/10/28 20:34:06  ID:w9q+vqpR.net(36)
殺す

668
132人目の素数さん[sage]   投稿日:2017/10/28 20:34:25  ID:w9q+vqpR.net(36)
殺す

669
132人目の素数さん[sage]   投稿日:2017/10/28 20:34:42  ID:w9q+vqpR.net(36)
殺す

670
132人目の素数さん[sage]   投稿日:2017/10/28 20:34:59  ID:w9q+vqpR.net(36)
殺す

671
132人目の素数さん[sage]   投稿日:2017/10/28 20:35:15  ID:w9q+vqpR.net(36)
殺す

672
132人目の素数さん[sage]   投稿日:2017/10/28 20:35:32  ID:w9q+vqpR.net(36)
殺す

673
132人目の素数さん[sage]   投稿日:2017/10/28 20:35:50  ID:w9q+vqpR.net(36)
殺す

674
132人目の素数さん[]   投稿日:2017/10/28 20:36:01  ID:dVnNrIca.net(18)
>660
×実際に社会を動かすのは文系だと
○実際に日本の社会を動かすのは文系だと

>立法や行政を担うのは殆どが文系だし

彼らは代行業者に過ぎません

>民間で技術職は現場のトップが精々だが文系のエリートなら経営に携われる

欧米では報酬は何かを真に開発した人は社長よりも額が大きいです

675
132人目の素数さん[]   投稿日:2017/10/28 20:38:12  ID:dVnNrIca.net(18)
ID:w9q+vqpR
数学の話ができないばかりか雑談すら幼稚なので消えて下さい
スレを荒らさないで下さい

676
132人目の素数さん[sage]   投稿日:2017/10/28 20:39:35  ID:w9q+vqpR.net(36)
IPつきならいいのですがね。。

677
132人目の素数さん[]   投稿日:2017/10/28 20:40:16  ID:dVnNrIca.net(18)
>663
スレ違いの内容ですし嫌です

678
132人目の素数さん[]   投稿日:2017/10/28 20:45:59  ID:dVnNrIca.net(18)
次の小平先生「解析入門」の流れが
三平方の定理の
どこまでを厳密に証明し得てどこからが既知に使用してしまってるか
回答をよろしくお願いしますm(_ _)m

ア:c(θ)^2+S(θ)^2=1を満たす収束する無限級数を構成
イ:e(θ)=c(θ)+iS(θ)が回転を表すと期待される関係式e(θ+φ)=e(θ)e(φ)を 
 満たす事を証明
ウ:複素平面(←ここが荒く与えられすぎててちょっとよく分からない)上に
 おける原点O、A(1,0)、B(c(θ)、S(θ))
 点BからOAに下ろした垂線の足をCとすると
 0C^2+BC^2=1(アで証明した等式による)=OB^2(イで証明した事により
 0Bは0A=1を回転したモノと考えるため)

によって三平方の定理が示されている気がします。
ただ「垂線の足」とか言い出したらもう何を認めて何を前提として
何を厳密に構成したのかが混乱してきます・・・
因みに小平先生「解析入門」では三平方の定理とのロジックの流れの間の関係には
1mmも直接触れていませんので、三平方の定理の構成或いは証明の
どこからを認めてどこからを厳密に構成し得たかは読者に完全に委ねられています
コメント2件

679
132人目の素数さん[]   投稿日:2017/10/28 20:48:27  ID:dVnNrIca.net(18)
>678 自己レス 3行目訂正
×どこまでを厳密に証明し得てどこからが既知に使用してしまってるか
○ どこまでを厳密に証明し得てどこからが素朴に体得された感覚を
 内密に使用してしまってるか

680
132人目の素数さん[]   投稿日:2017/10/28 20:56:07  ID:dVnNrIca.net(18)
少なくとも
・「回転の軌跡よって得られる図形が円」
・複素平面の座標という定義に伴う「直角(垂線の足)」
これだけはその素朴な感覚を内密に使用してしまっている気がします
これだけを認めたら三平方の定理は現代数学の基礎から厳密な形で自然に
従っている気がします

681
132人目の素数さん[sage]   投稿日:2017/10/28 20:59:22  ID:w9q+vqpR.net(36)
e(θ+φ)=e(θ)e(φ)が回転を表すというのはなぜわかるんでしょうかね
殺す
コメント1件

682
132人目の素数さん[]   投稿日:2017/10/28 21:05:35  ID:dVnNrIca.net(18)
>681
そう期待されるからです、期待ですね、角度という概念を厳密に構成するからには
必ずその関係式は満たしておかなければいけないという期待です。
その関係式だけから、角度に関する素朴な立場からの2,3の関係式が
簡単に導出出来ます(回転によって2点の"距離的なモノ")が不変、など)

683
132人目の素数さん[sage]   投稿日:2017/10/28 21:06:58  ID:w9q+vqpR.net(36)
2,3の関係式とはどのようなものですか?
殺す
コメント1件

684
132人目の素数さん[]   投稿日:2017/10/28 21:10:46  ID:dVnNrIca.net(18)
>683
1)回転によって2点間の距離的なもの(以下これを距離と記す)が不変
2)回転の中心からの距離が不変
3)回転の合成がまた回転となりそれは角度と期待される或る実数の実数和になる
4)これらが関数として連続である

など

685
132人目の素数さん[sage]   投稿日:2017/10/28 21:12:24  ID:w9q+vqpR.net(36)
2点間の距離的なもの、とはどのようなことですか
殺す

686
132人目の素数さん[]   投稿日:2017/10/28 21:53:02  ID:jWurCcgF.net(6)
ID:w9q+vqpR
キモ
コメント1件

687
132人目の素数さん[sage]   投稿日:2017/10/28 22:01:53  ID:w9q+vqpR.net(36)
>686
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
コメント1件

688
132人目の素数さん[]   投稿日:2017/10/28 22:04:35  ID:jWurCcgF.net(6)
>635
>ウ:複素平面(←ここがア・プリオリに与えられすぎててちょっとよく分からない)上に
> おける原点O、(1,0)A、(c(θ)、S(θ))Bの3点において
> 0A^2+AB^2=1(アで証明した等式による)=OB^2(イで証明した事により
>0Bは0Aを回転したモノと考えるため)
wikipediaってこれ元にしてるかな
何か胡散臭いな

689
132人目の素数さん[]   投稿日:2017/10/28 22:28:51  ID:jWurCcgF.net(6)
>687
残念でしたね
コメント1件

690
132人目の素数さん[sage]   投稿日:2017/10/28 22:31:51  ID:w9q+vqpR.net(36)
>689
わからないんですか?
コメント1件

691
132人目の素数さん[]   投稿日:2017/10/28 22:47:33  ID:laxrzniU.net
ユークリッド空間で済む話がなんでこんなに揉めてるんだ
コメント1件

692
132人目の素数さん[]   投稿日:2017/10/28 22:59:56  ID:jWurCcgF.net(6)
>690
もうやめたら?

693
132人目の素数さん[]   投稿日:2017/10/28 23:00:30  ID:jWurCcgF.net(6)
>691
例の人がゴネてる

694
132人目の素数さん[]   投稿日:2017/10/29 00:49:51  ID:+pV82Ev5.net
三平方の定理の初等的証明にも「直角」は自明な事として認めてるぽい。
そもそも正方形の面積の求め方自体に「直角」が断りなく
自明な事として前提となってるぽい。
だから複素平面を与えられた以上「直角」だけは無批判に受け入れたら良さそうぽい。
「直角」を受け入れるだけで円の形も三平方の定理も三角関数の厳密な構成から
自然に導かれて更にその過程でゼロから定義された角度の概念におけるπ/2が
「直角」に一致している事を確認すればいいぽい。

695
132人目の素数さん[sage]   投稿日:2017/10/29 01:36:08  ID:dw5G8nFw.net
阿呆ダンスとかそっちの話に無理やりにでも持っていきたいの?

696
[sage]   投稿日:2017/10/29 06:24:19  ID:w8MLdeK9.net(20)

697
[sage]   投稿日:2017/10/29 06:24:40  ID:w8MLdeK9.net(20)

698
[sage]   投稿日:2017/10/29 06:25:02  ID:w8MLdeK9.net(20)

699
[sage]   投稿日:2017/10/29 06:25:20  ID:w8MLdeK9.net(20)

700
[sage]   投稿日:2017/10/29 06:25:45  ID:w8MLdeK9.net(20)

701
[sage]   投稿日:2017/10/29 06:26:04  ID:w8MLdeK9.net(20)

702
[sage]   投稿日:2017/10/29 06:26:24  ID:w8MLdeK9.net(20)

703
[sage]   投稿日:2017/10/29 06:26:45  ID:w8MLdeK9.net(20)

704
[sage]   投稿日:2017/10/29 06:27:08  ID:w8MLdeK9.net(20)

705
[sage]   投稿日:2017/10/29 06:27:34  ID:w8MLdeK9.net(20)

706
132人目の素数さん[sage]   投稿日:2017/10/29 12:38:08  ID:zikRmJsr.net
また惨めな奴が湧いたな

707
132人目の素数さん[]   投稿日:2017/10/29 13:15:47  ID:Lml5K2fu.net
>678
たとえ角の頂点が原子一個分だとしてもレンズで拡大するとカーブになってるから、ピタゴラス数は絶対ではない

708
132人目の素数さん[]   投稿日:2017/10/29 13:22:43  ID:rqMC9FUR.net
そんな素敵なレンズ欲しい。

709
[sage]   投稿日:2017/10/29 18:24:15  ID:w8MLdeK9.net(20)

710
[sage]   投稿日:2017/10/29 18:24:30  ID:w8MLdeK9.net(20)

711
[sage]   投稿日:2017/10/29 18:24:46  ID:w8MLdeK9.net(20)

712
[sage]   投稿日:2017/10/29 18:25:03  ID:w8MLdeK9.net(20)

713
[sage]   投稿日:2017/10/29 18:25:21  ID:w8MLdeK9.net(20)

714
[sage]   投稿日:2017/10/29 18:25:45  ID:w8MLdeK9.net(20)

715
[sage]   投稿日:2017/10/29 18:26:03  ID:w8MLdeK9.net(20)

716
[sage]   投稿日:2017/10/29 18:26:20  ID:w8MLdeK9.net(20)

717
[sage]   投稿日:2017/10/29 18:26:39  ID:w8MLdeK9.net(20)

718
[sage]   投稿日:2017/10/29 18:26:57  ID:w8MLdeK9.net(20)

719
132人目の素数さん[sage]   投稿日:2017/10/30 00:46:03  ID:vvoG1vi2.net(2)
統計学の質問です
exponential family form (指数分布族?)が、
f(y|θ)=exp((yθ-b(θ)/α(Ψ) + c(y,Ψ))
6行目
とありますがググってよく出る定義
f(x;θ)=h(x)exp(η(θ)T(x)-A(θ))
とだいぶ形が違うような気がしますがこれらは同じものなのでしょうか
そもそも指数分布族が何かもよくわかっておらず、有名な分布が指数分布族の一般形に書き直せて、色々と便利な特性を持っている、という認識で良いのでしょうか、

720
132人目の素数さん[sage]   投稿日:2017/10/30 00:47:58  ID:vvoG1vi2.net(2)
すみません、画像貼り忘れました
https://i.imgur.com/30qv7Fq.jpg

721
132人目の素数さん[]   投稿日:2017/10/30 10:16:38  ID:8liUOvan.net
記号が違うから別物

722
[sage]   投稿日:2017/10/31 08:18:55  ID:yRKxpE8Y.net(10)

723
[sage]   投稿日:2017/10/31 08:19:13  ID:yRKxpE8Y.net(10)

724
[sage]   投稿日:2017/10/31 08:19:30  ID:yRKxpE8Y.net(10)

725
[sage]   投稿日:2017/10/31 08:19:48  ID:yRKxpE8Y.net(10)

726
[sage]   投稿日:2017/10/31 08:20:05  ID:yRKxpE8Y.net(10)

727
[sage]   投稿日:2017/10/31 08:20:24  ID:yRKxpE8Y.net(10)

728
[sage]   投稿日:2017/10/31 08:20:43  ID:yRKxpE8Y.net(10)

729
[sage]   投稿日:2017/10/31 08:21:07  ID:yRKxpE8Y.net(10)

730
[sage]   投稿日:2017/10/31 08:21:25  ID:yRKxpE8Y.net(10)

731
[sage]   投稿日:2017/10/31 08:21:43  ID:yRKxpE8Y.net(10)

732
132人目の素数さん[sage]   投稿日:2017/10/31 14:11:14  ID:71x57Ho/.net
惨めな奴

733
132人目の素数さん[sage]   投稿日:2017/11/01 01:12:25  ID:XKLc5O24.net(2)
教育的な質問なんだが合成関数の○ってなんなんだ?積で用いられる・とはどう違うんだ?
コメント1件

734
132人目の素数さん[sage]   投稿日:2017/11/01 01:23:22  ID:8j3k6GU7.net(2)
>733
二つの実数値関数 a と b の合成なら b(a(x)) x は実数を動く変数 なんて書かれるが
この関数を (b〇a)(x) と書こうが (b・a)(x)と書こうが、はたまた (b*a)(x)と書こうが
そんなことは著者次第。
定義を確認し、その資料(本) の中だけの記号と思え。
コメント1件

735
132人目の素数さん[sage]   投稿日:2017/11/01 01:43:52  ID:EKlSnLWz.net
合成関数は関数の重ね掛けみたいなもんだから掛け算の記号を使いたいけど
黒丸は普通の掛け算でもたまに使うから白丸にしたってだけ
コメント1件

736
132人目の素数さん[sage]   投稿日:2017/11/01 02:12:39  ID:8j3k6GU7.net(2)
ついでにおいらもきいておこ。
括弧 ( ) の記法と、演算、合成の記述のなかでの ( ) の解釈についての定義はどこでされているの?
メタな話だろうとは思うけど。
コメント1件

737
132人目の素数さん[sage]   投稿日:2017/11/01 02:24:31  ID:XKLc5O24.net(2)
>734
>735
ありがとうございます

738
132人目の素数さん[sage]   投稿日:2017/11/01 03:22:16  ID:Zg2RXdK0.net
次の方

739
132人目の素数さん[]   投稿日:2017/11/01 06:36:51  ID:ixoveejx.net
>736
元々は関数はfxって書いていたらしいから
g(fx)=(gf)x
みたいな感じ?
けど積と区別しにくいのでf(x)と書くようになったとか
ニュアンスで分かれということ

740
[sage]   投稿日:2017/11/01 07:34:54  ID:cSPyhj3J.net(30)

741
[sage]   投稿日:2017/11/01 07:35:12  ID:cSPyhj3J.net(30)

742
[sage]   投稿日:2017/11/01 07:35:28  ID:cSPyhj3J.net(30)

743
[sage]   投稿日:2017/11/01 07:35:48  ID:cSPyhj3J.net(30)

744
[sage]   投稿日:2017/11/01 07:36:07  ID:cSPyhj3J.net(30)

745
[sage]   投稿日:2017/11/01 07:36:24  ID:cSPyhj3J.net(30)

746
[sage]   投稿日:2017/11/01 07:36:42  ID:cSPyhj3J.net(30)

747
[sage]   投稿日:2017/11/01 07:37:01  ID:cSPyhj3J.net(30)

748
[sage]   投稿日:2017/11/01 07:37:20  ID:cSPyhj3J.net(30)

749
[sage]   投稿日:2017/11/01 07:37:38  ID:cSPyhj3J.net(30)

750
132人目の素数さん[sage]   投稿日:2017/11/01 11:05:41  ID:4eYtUN1Z.net
f○gはエフまるジーって呼ぶんだぜ

751
132人目の素数さん[]   投稿日:2017/11/01 11:19:54  ID:uNaz/Y1J.net
さっちゃんはね

752
132人目の素数さん[]   投稿日:2017/11/01 11:40:02  ID:iwy8lOGH.net
としこというんが、ほんとはね

753
[sage]   投稿日:2017/11/01 12:23:25  ID:cSPyhj3J.net(30)

754
[sage]   投稿日:2017/11/01 12:23:41  ID:cSPyhj3J.net(30)

755
[sage]   投稿日:2017/11/01 12:24:03  ID:cSPyhj3J.net(30)


756
[sage]   投稿日:2017/11/01 12:24:20  ID:cSPyhj3J.net(30)

757
[sage]   投稿日:2017/11/01 12:24:37  ID:cSPyhj3J.net(30)

758
[sage]   投稿日:2017/11/01 12:24:53  ID:cSPyhj3J.net(30)

759
[sage]   投稿日:2017/11/01 12:25:11  ID:cSPyhj3J.net(30)

760
[sage]   投稿日:2017/11/01 12:25:27  ID:cSPyhj3J.net(30)

761
[sage]   投稿日:2017/11/01 12:25:44  ID:cSPyhj3J.net(30)

762
[sage]   投稿日:2017/11/01 12:26:02  ID:cSPyhj3J.net(30)

763
132人目の素数さん[sage]   投稿日:2017/11/01 12:28:31  ID:PPzoO934.net
惨めな奴

764
132人目の素数さん[sage]   投稿日:2017/11/01 18:31:19  ID:cAIwuqBU.net
直観主義論理でも {x | ¬ x ∈ x} の存在から矛盾を導くことはできます。

やってみましょう。

R = {x | ¬ x ∈ x} とおく。 すなわち、
(*) x ∈ R ⇔ ¬ x ∈ x 
である。 特に、x = R の場合を考えると、
(**) R ∈ R ⇔ ¬ R ∈ R
まず、R ∈ R と仮定すると (**) より ¬ R ∈ R が得られ、
仮定と矛盾する。 R ∈ R を仮定して矛盾が導かれたので、
¬ R ∈ R が成り立つ。
これに (**) を適用すると、R ∈ R が得られる。
R ∈ R と ¬ R ∈ R がともに成り立つので、矛盾する。

縮約規則がない論理では
{x | ¬ x ∈ x} の存在から
矛盾を導くことができない。
コメント1件

765
[sage]   投稿日:2017/11/01 22:25:42  ID:cSPyhj3J.net(30)

766
[sage]   投稿日:2017/11/01 22:26:00  ID:cSPyhj3J.net(30)

767
[sage]   投稿日:2017/11/01 22:26:17  ID:cSPyhj3J.net(30)

768
[sage]   投稿日:2017/11/01 22:26:35  ID:cSPyhj3J.net(30)

769
[sage]   投稿日:2017/11/01 22:26:52  ID:cSPyhj3J.net(30)

770
[sage]   投稿日:2017/11/01 22:27:09  ID:cSPyhj3J.net(30)

771
[sage]   投稿日:2017/11/01 22:27:27  ID:cSPyhj3J.net(30)

772
[sage]   投稿日:2017/11/01 22:27:44  ID:cSPyhj3J.net(30)

773
[sage]   投稿日:2017/11/01 22:28:02  ID:cSPyhj3J.net(30)

774
[sage]   投稿日:2017/11/01 22:28:20  ID:cSPyhj3J.net(30)

775
132人目の素数さん[sage]   投稿日:2017/11/02 11:22:23  ID:swN/GnGJ.net
惨めな奴

776
[sage]   投稿日:2017/11/03 16:19:44  ID:fn4ojm6A.net(10)

777
[sage]   投稿日:2017/11/03 16:20:05  ID:fn4ojm6A.net(10)

778
[sage]   投稿日:2017/11/03 16:20:22  ID:fn4ojm6A.net(10)


779
[sage]   投稿日:2017/11/03 16:20:41  ID:fn4ojm6A.net(10)

780
[sage]   投稿日:2017/11/03 16:20:59  ID:fn4ojm6A.net(10)

781
[sage]   投稿日:2017/11/03 16:21:16  ID:fn4ojm6A.net(10)

782
[sage]   投稿日:2017/11/03 16:21:32  ID:fn4ojm6A.net(10)

783
[sage]   投稿日:2017/11/03 16:21:49  ID:fn4ojm6A.net(10)

784
[sage]   投稿日:2017/11/03 16:22:07  ID:fn4ojm6A.net(10)

785
[sage]   投稿日:2017/11/03 16:22:27  ID:fn4ojm6A.net(10)

786
132人目の素数さん[]   投稿日:2017/11/03 21:50:50  ID:bNV/YL/F.net
>764
じみめなやつ

787
132人目の素数さん[sage]   投稿日:2017/11/04 11:34:51  ID:QS066o32.net(2)
派手目な奴はいないか

788
[sage]   投稿日:2017/11/04 13:08:49  ID:ayXvmvB0.net(10)

789
[sage]   投稿日:2017/11/04 13:09:05  ID:ayXvmvB0.net(10)

790
[sage]   投稿日:2017/11/04 13:09:22  ID:ayXvmvB0.net(10)

791
[sage]   投稿日:2017/11/04 13:09:38  ID:ayXvmvB0.net(10)

792
[sage]   投稿日:2017/11/04 13:10:00  ID:ayXvmvB0.net(10)

793
[sage]   投稿日:2017/11/04 13:10:16  ID:ayXvmvB0.net(10)

794
[sage]   投稿日:2017/11/04 13:10:32  ID:ayXvmvB0.net(10)

795
[sage]   投稿日:2017/11/04 13:10:48  ID:ayXvmvB0.net(10)

796
[sage]   投稿日:2017/11/04 13:11:05  ID:ayXvmvB0.net(10)

797
[sage]   投稿日:2017/11/04 13:11:25  ID:ayXvmvB0.net(10)

798
132人目の素数さん[sage]   投稿日:2017/11/04 20:03:35  ID:QS066o32.net(2)
惨めな奴

799
132人目の素数さん[]   投稿日:2017/11/05 16:46:14  ID:+DTTDbQg.net(2)
ウルフラムアルファでエグザクトソリューションが出なくて、いくらネット調べても近似解しか見つからない微分方程式ってまだ解析解出てないってことだよね?

800
132人目の素数さん[]   投稿日:2017/11/05 17:06:40  ID:z4nCSBHU.net
そもそも解析解がない方程式だってあるよ
というよりそれが大半だよ

801
132人目の素数さん[]   投稿日:2017/11/05 17:44:03  ID:+DTTDbQg.net(2)
それは分かってるけど、もしそんな方程式が解けたなら素敵なのかなって聞きたかった

802
132人目の素数さん[]   投稿日:2017/11/05 19:14:26  ID:YFZfTpu8.net
そんなの簡単だよ。方程式の解に新しい記号と名前をつけて、厳密解と呼べばいいんだよ。
コメント1件

803
132人目の素数さん[sage]   投稿日:2017/11/05 19:47:56  ID:654x7Fq4.net
解ける(初等的な関数での解を見つける)

804
[sage]   投稿日:2017/11/06 13:01:55  ID:StBgmS4d.net(10)

805
[sage]   投稿日:2017/11/06 13:02:12  ID:StBgmS4d.net(10)

806
[sage]   投稿日:2017/11/06 13:02:29  ID:StBgmS4d.net(10)

807
[sage]   投稿日:2017/11/06 13:02:46  ID:StBgmS4d.net(10)

808
[sage]   投稿日:2017/11/06 13:03:03  ID:StBgmS4d.net(10)

809
[sage]   投稿日:2017/11/06 13:03:21  ID:StBgmS4d.net(10)

810
[sage]   投稿日:2017/11/06 13:03:39  ID:StBgmS4d.net(10)

811
[sage]   投稿日:2017/11/06 13:03:57  ID:StBgmS4d.net(10)

812
[sage]   投稿日:2017/11/06 13:04:17  ID:StBgmS4d.net(10)

813
[sage]   投稿日:2017/11/06 13:04:35  ID:StBgmS4d.net(10)

814
132人目の素数さん[sage]   投稿日:2017/11/06 19:45:58  ID:0DZubHvh.net
惨めな奴

815
[sage]   投稿日:2017/11/07 20:51:22  ID:qfDf0bUe.net(10)

816
[sage]   投稿日:2017/11/07 20:51:46  ID:qfDf0bUe.net(10)

817
[sage]   投稿日:2017/11/07 20:52:03  ID:qfDf0bUe.net(10)

818
[sage]   投稿日:2017/11/07 20:52:20  ID:qfDf0bUe.net(10)

819
[sage]   投稿日:2017/11/07 20:52:36  ID:qfDf0bUe.net(10)

820
[sage]   投稿日:2017/11/07 20:52:52  ID:qfDf0bUe.net(10)

821
[sage]   投稿日:2017/11/07 20:53:09  ID:qfDf0bUe.net(10)


822
[sage]   投稿日:2017/11/07 20:53:25  ID:qfDf0bUe.net(10)

823
[sage]   投稿日:2017/11/07 20:53:41  ID:qfDf0bUe.net(10)

824
[sage]   投稿日:2017/11/07 20:53:58  ID:qfDf0bUe.net(10)

825
132人目の素数さん[sage]   投稿日:2017/11/08 12:57:07  ID:5ejE5iPD.net
惨めな奴

826
132人目の素数さん[]   投稿日:2017/11/08 18:17:04  ID:iXb4Tr2q.net
>802
厳密の意味を調べて来い禿

827
132人目の素数さん[sage]   投稿日:2017/11/08 20:44:09  ID:wrQscTLW.net
エルミート多項式やラゲール陪多項式を使った解は厳密解っていっていいの?
ちな化学系

828
132人目の素数さん[]   投稿日:2017/11/08 20:56:54  ID:bQVPkjGX.net
違います。
コメント1件

829
132人目の素数さん[sage]   投稿日:2017/11/08 22:44:45  ID:F3RbURfc.net
>828
わからないんですね(笑)
コメント1件

830
132人目の素数さん[]   投稿日:2017/11/08 23:41:31  ID:KYal/F5W.net
>829
可哀想

831
[sage]   投稿日:2017/11/09 08:33:02  ID:9ddzKhaE.net(10)

832
[sage]   投稿日:2017/11/09 08:33:20  ID:9ddzKhaE.net(10)

833
[sage]   投稿日:2017/11/09 08:33:38  ID:9ddzKhaE.net(10)

834
[sage]   投稿日:2017/11/09 08:33:54  ID:9ddzKhaE.net(10)

835
[sage]   投稿日:2017/11/09 08:34:09  ID:9ddzKhaE.net(10)

836
[sage]   投稿日:2017/11/09 08:34:26  ID:9ddzKhaE.net(10)

837
[sage]   投稿日:2017/11/09 08:34:42  ID:9ddzKhaE.net(10)

838
[sage]   投稿日:2017/11/09 08:34:57  ID:9ddzKhaE.net(10)

839
[sage]   投稿日:2017/11/09 08:35:15  ID:9ddzKhaE.net(10)

840
[sage]   投稿日:2017/11/09 08:35:48  ID:9ddzKhaE.net(10)

841
132人目の素数さん[sage]   投稿日:2017/11/09 13:25:00  ID:FBxIhJ9Y.net
惨めな奴

842
132人目の素数さん[sage]   投稿日:2017/11/10 16:15:48  ID:QjNpnwPL.net
「任意の(0 2)テンソルCに対して
C^αβ = A^αB^β
となるテンソルA, Bが存在する」

って言えるでしょうか?

ちなみに逆の
「A、Bを任意の反変ベクトルとするとき
C^αβ = A^αB^β
で構成されるCは(0 2)テンソルである」

は成り立たつのが分かってます

よろしくお願いします

843
[sage]   投稿日:2017/11/10 19:18:33  ID:f5tI1p7u.net(20)

844
[sage]   投稿日:2017/11/10 19:18:53  ID:f5tI1p7u.net(20)

845
[sage]   投稿日:2017/11/10 19:19:11  ID:f5tI1p7u.net(20)

846
[sage]   投稿日:2017/11/10 19:19:31  ID:f5tI1p7u.net(20)

847
[sage]   投稿日:2017/11/10 19:19:53  ID:f5tI1p7u.net(20)

848
[sage]   投稿日:2017/11/10 19:20:11  ID:f5tI1p7u.net(20)

849
[sage]   投稿日:2017/11/10 19:20:35  ID:f5tI1p7u.net(20)

850
[sage]   投稿日:2017/11/10 19:20:54  ID:f5tI1p7u.net(20)

851
[sage]   投稿日:2017/11/10 19:21:12  ID:f5tI1p7u.net(20)

852
[sage]   投稿日:2017/11/10 19:21:30  ID:f5tI1p7u.net(20)

853
132人目の素数さん[]   投稿日:2017/11/10 19:31:39  ID:PEs00RSo.net(4)
わからない問題投稿のところにも書いたのですが、こっちの方が適当かと思ったのでこちらでも質問します。


ガロア理論のとこです。正規拡大の定義で、

L/Kが正規
:⇔任意のK準同型σについてσ(L)=L

となっているのですが、実際はσ(L)⊂Lだけわかればよいと言われました
逆の包含はなぜ調べなくてよいのでしょうか
コメント1件

854
132人目の素数さん[sage]   投稿日:2017/11/10 20:02:44  ID:wj4BRrpp.net
位相空間論つまんねえ

855
132人目の素数さん[sage]   投稿日:2017/11/10 20:58:56  ID:dcKgBEk9.net
>853
「任意のK準同型σについてσ(L)⊂L」・・・☆ が示せれば
☆より「任意のK準同型σについてL⊂σ(L)」が示せるから。
示し方は自分で考えてみな。
ごく初歩的な代数だよ。
コメント1件

856
132人目の素数さん[]   投稿日:2017/11/10 21:31:11  ID:PEs00RSo.net(4)
>855
α∈L、σ∈K準同型 をとると
α∈KならOK
α∈L∩(Kじゃない)ならσ(α)=:β∈σ(L)⊂L
で、βはKの元じゃない(βはαの最小多項式のある根であるから)
これを{αの最小多項式の根}ですべてやればσ(γ)=αなるγがある

こんな感じですかね、、、
要するに
σ:L→σ(L)が全射って言うのが必要な気がしてきました、、
コメント1件

857
132人目の素数さん[]   投稿日:2017/11/10 21:33:18  ID:PEs00RSo.net(4)
>856
あ、うそ
単射

858
132人目の素数さん[sage]   投稿日:2017/11/10 21:46:55  ID:a9JQ0bgw.net
体からの任意の環準同型は著しい特徴あるだろ
コメント1件

859
132人目の素数さん[]   投稿日:2017/11/10 21:50:19  ID:PEs00RSo.net(4)
>858
はいありました思い出しました、、
みなさんありがとうございました

860
[sage]   投稿日:2017/11/10 22:32:48  ID:f5tI1p7u.net(20)

861
[sage]   投稿日:2017/11/10 22:33:06  ID:f5tI1p7u.net(20)

862
[sage]   投稿日:2017/11/10 22:33:24  ID:f5tI1p7u.net(20)

863
[sage]   投稿日:2017/11/10 22:33:42  ID:f5tI1p7u.net(20)

864
[sage]   投稿日:2017/11/10 22:33:59  ID:f5tI1p7u.net(20)

865
[sage]   投稿日:2017/11/10 22:34:16  ID:f5tI1p7u.net(20)

866
[sage]   投稿日:2017/11/10 22:34:35  ID:f5tI1p7u.net(20)

867
[sage]   投稿日:2017/11/10 22:34:50  ID:f5tI1p7u.net(20)

868
[sage]   投稿日:2017/11/10 22:35:14  ID:f5tI1p7u.net(20)

869
[sage]   投稿日:2017/11/10 22:35:34  ID:f5tI1p7u.net(20)

870
132人目の素数さん[sage]   投稿日:2017/11/11 14:10:11  ID:1yWDMyzv.net
惨めな奴

871
[sage]   投稿日:2017/11/12 20:42:28  ID:AbMINYSr.net(10)

872
[sage]   投稿日:2017/11/12 20:42:43  ID:AbMINYSr.net(10)

873
[sage]   投稿日:2017/11/12 20:42:59  ID:AbMINYSr.net(10)

874
[sage]   投稿日:2017/11/12 20:43:20  ID:AbMINYSr.net(10)

875
[sage]   投稿日:2017/11/12 20:43:38  ID:AbMINYSr.net(10)

876
[sage]   投稿日:2017/11/12 20:43:56  ID:AbMINYSr.net(10)

877
[sage]   投稿日:2017/11/12 20:44:12  ID:AbMINYSr.net(10)

878
[sage]   投稿日:2017/11/12 20:44:30  ID:AbMINYSr.net(10)

879
[sage]   投稿日:2017/11/12 20:44:46  ID:AbMINYSr.net(10)

880
[sage]   投稿日:2017/11/12 20:45:03  ID:AbMINYSr.net(10)

881
132人目の素数さん[sage]   投稿日:2017/11/13 12:51:37  ID:cXs4L4In.net
惨めな奴

882
[sage]   投稿日:2017/11/13 18:10:32  ID:tP2A7oah.net(10)

883
[sage]   投稿日:2017/11/13 18:10:48  ID:tP2A7oah.net(10)

884
[sage]   投稿日:2017/11/13 18:11:04  ID:tP2A7oah.net(10)

885
[sage]   投稿日:2017/11/13 18:11:22  ID:tP2A7oah.net(10)

886
[sage]   投稿日:2017/11/13 18:11:38  ID:tP2A7oah.net(10)

887
[sage]   投稿日:2017/11/13 18:11:55  ID:tP2A7oah.net(10)

888
[sage]   投稿日:2017/11/13 18:12:11  ID:tP2A7oah.net(10)

889
[sage]   投稿日:2017/11/13 18:12:43  ID:tP2A7oah.net(10)

890
[sage]   投稿日:2017/11/13 18:13:02  ID:tP2A7oah.net(10)

891
[sage]   投稿日:2017/11/13 18:13:24  ID:tP2A7oah.net(10)

892
132人目の素数さん[sage]   投稿日:2017/11/15 13:18:34  ID:8vSvkmEq.net
惨めな奴

893
132人目の素数さん[sage]   投稿日:2017/11/18 14:03:35  ID:nBitERqd.net
雪江の代数二巻まで読めばガロアのはマスター出来ますか?

894
132人目の素数さん[sage]   投稿日:2017/11/19 12:33:50  ID:k9CVD+lD.net
論理に矛盾を組み入れると無限ループを作ることができるみたいなです
問題は、逆も真なのかどうか?
無限ループなら論理が破綻しているのかどうか?

895
132人目の素数さん[sage]   投稿日:2017/11/19 12:43:53  ID:a7tQJqCj.net(2)
無限ループとはどのようなことですか?

896
132人目の素数さん[sage]   投稿日:2017/11/19 15:48:41  ID:sBoNvyiG.net
循環論法は、矛盾するんじゃなく
何も結論しないだけだよ。

897
132人目の素数さん[]   投稿日:2017/11/19 17:35:48  ID:jPkMH2Ik.net
for( n=0; n>0; n++ ){ print “アホーー” }

898
132人目の素数さん[sage]   投稿日:2017/11/19 18:09:01  ID:a7tQJqCj.net(2)
セミコロンがないですね

899
132人目の素数さん[]   投稿日:2017/11/19 18:28:21  ID:1qHHV2xH.net
A A |- A∧A
A∧A |- A A

900
132人目の素数さん[sage]   投稿日:2017/11/19 18:42:01  ID:Xk++FkCm.net
\texttt{fuck you}

901
[sage]   投稿日:2017/11/19 19:36:08  ID:1TUhKzn4.net(10)

902
[sage]   投稿日:2017/11/19 19:36:24  ID:1TUhKzn4.net(10)

903
[sage]   投稿日:2017/11/19 19:36:42  ID:1TUhKzn4.net(10)

904
[sage]   投稿日:2017/11/19 19:37:00  ID:1TUhKzn4.net(10)

905
[sage]   投稿日:2017/11/19 19:37:18  ID:1TUhKzn4.net(10)

906
[sage]   投稿日:2017/11/19 19:37:36  ID:1TUhKzn4.net(10)

907
[sage]   投稿日:2017/11/19 19:37:55  ID:1TUhKzn4.net(10)

908
[sage]   投稿日:2017/11/19 19:38:14  ID:1TUhKzn4.net(10)

909
[sage]   投稿日:2017/11/19 19:38:33  ID:1TUhKzn4.net(10)

910
[sage]   投稿日:2017/11/19 19:38:52  ID:1TUhKzn4.net(10)

911
132人目の素数さん[sage]   投稿日:2017/11/20 11:32:08  ID:sfjSwBkk.net
惨めな奴
更新情報
・スレッド一覧ページで過去ログのタイトル検索・一覧表示ができるようになりました(2016/1/20)
NGワード登録
登録する
スレッド内検索

数学板 タイトル検索

このスレッドが人気です(実況系)
月曜から夜ふかし★3 (908)NTV実況
激レアさんを連れてきた。★4 (880)テレ朝実況
恋神アプリ<ブレイクマンデー24> (216)フジ実況
NEWS23★1 (941)TBS実況
THE NEWS α (636)フジ実況
報道ステ─ション★4 (922)テレ朝実況
なかい君の学スイッチ 〜若者に再ブレイク!バブルブームを学ぶSP〜 (774)TBS実況
もしかしてズレてる?【元モー娘。市井紗耶香&鬼嫁?おかもとまり&バツ3マリア】★2 (850)フジ実況
このスレッドが人気です(ニュース系)
【昭和】昭和歌謡が熱い!「春一番」「シルエット・ロマンス」…10〜20代も夢中に 「歌詞の力が圧倒的」★4 (378)ニュー速+
【昭和】昭和歌謡が熱い!「春一番」「シルエット・ロマンス」…10〜20代も夢中に 「歌詞の力が圧倒的」★3 (1001)ニュー速+
【昭和】昭和歌謡が熱い!「春一番」「シルエット・ロマンス」…10〜20代も夢中に 「歌詞の力が圧倒的」★2 (1001)ニュー速+
【佐賀】「ハゲ」とからかった男子生徒に殴る蹴るの体罰 唐津市の中学校の男性教諭(52)を戒告の懲戒処分 (349)ニュー速+
【関西弁】関西人もびっくり!東京人が関西弁に感じる困惑、恐怖、そして憧れ 魔法の言葉「知らんけど」で全部リセット (976)ニュー速+
【芸能】ダウンタウンが第2位!? 「今一番面白いお笑いコンビ」ランキング! (658)音楽・芸能ニュース
【調査】 貧富による学力差は 「小4から拡大傾向」★2 (1002)ニュー速+
【昭和】昭和歌謡が熱い!「春一番」「シルエット・ロマンス」…10〜20代も夢中に 「歌詞の力が圧倒的」 (1003)ニュー速+
数学板の人気スレ
分からない問題はここに書いてね437 (576)
【専門書】数学の本第74巻【啓蒙書】 (71)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (428)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835)
【専門書】数学の本第73巻【啓蒙書】 (1001)
Inter-universal geometry と ABC予想 21 (296)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 (704)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 (795)
7777で10作れる奴いんの? (206)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む41 (716)
キチガイ関数一覧表できたよー(R→R編) (159)
現代数学の系譜 古典ガロア理論を読む38 (772)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む40 (686)
大学学部レベル質問スレ 8単位目 (911)
現代数学の系譜 古典ガロア理論を読む39 (564)
フェルマーの最終定理証明したったwwww (150)
現代数学の系譜 古典ガロア理論を読む37 (681)
【数学検定】数学検定(数検)総合スレッド Part.10 (1086)
【1教科】山口大学理学部数理科学科【偏差値52.5】 (107)
現代数学の系譜 古典ガロア理論を読む36 (679)
耳栓をしたら世界が変わってワロタ (615)
驚愕!難問のリーマン予想が完璧に証明された! ? (50)
面白い問題おしえて〜な 二十四問目 (535)
0は自然数か? (394)
不等式への招待 第9章 (321)
数学ができないやつにありがちなこと (106)
現代数学の系譜11 ガロア理論を読む34 (686)
現代数学の系譜11 ガロア理論を読む33 (713)
このサイトについて
このサイトは2ちゃんねるからデータを取得し、表示するサービスです。
画像のインライン表示機能について
画像のURLの後ろにある[画像をインライン表示]をクリックすると、URLの下に表示します。
表示される画像は横幅100pxに縮小されていて、クリックすると原寸で表示します。
このサイトの特徴
1)スレッド内検索ができます
2)レス(「>>1」など)のポップアップができます
3)不適切な言葉を含む投稿を表示しません
4)ページ内で画像を直接表示できます
5)2ch他スレッドへのリンクはタイトル・板名つきでリンクします
6)すっきりとしたデザインで表示します
7)最新スレや前スレをチェック・一覧表示します
8)NGワード機能の搭載でイヤな言葉が目に入りません
9)荒らしを自動チェックします
10)スレッド内・同一IDの書き込みだけ表示できます
11)レスの返事をレスされた発言の下に表示する「まとめビュー」が利用できます
12)シリーズ化したスレッドの一覧を表示します
13)最新のスレッドがある場合はお知らせします
削除について
こちらをご覧ください
機能要望について
現在機能要望受付中です。
問い合わせについて
こちらのページからどうぞ
広告


首都圏の方、ソフトバンク光オススメですよ


このサイトは2ch.scからデータを取得・表示しています。削除などについてはこちらをご覧ください。 アクセスモード:差分取得 - 正常取得 - 439件 - 取得完了