大学学部レベル質問スレ 9単位目

レス数が1000を超えています。これ以上書き込みはできません。
1132人目の素数さん2017/12/14(木) 12:28:05.91ID:EpQbxawT
大学で習う数学に関する質問を扱うスレ

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

関連スレ
分からない問題はここに書いてね478
http://rio2016.5ch.net/test/read.cgi/math/1511604229/

※前スレ
大学学部レベル質問スレ 8単位目
http://rio2016.5ch.net/test/read.cgi/math/1500294768/

2132人目の素数さん2017/12/14(木) 18:56:10.39ID:t9T3shyE
グラフ理論で距離の対称性を証明したいのですが、教えてください

任意のu,v∈Vについて、
d(u,v)≦d(v,u)
d(u,v)≧d(v,u)
を証明すれば、対称性を示せると思うのですがどのようにして示したら良いのでしょうか

また、距離空間では距離の定義であると書いてあったりしますが、グラフ理論において対称性は定義なのですか、、、?
もしそうであれば、話が本末転倒なのですが、、

3132人目の素数さん2017/12/15(金) 00:10:54.16ID:6zoZuPZ4
無向グラフなら、u-v道からv-u道をつくれることを示せばいいのでは

4132人目の素数さん2017/12/15(金) 00:50:05.80ID:cZs7QxiV
うるせえ黙れ

5132人目の素数さん2017/12/15(金) 08:20:53.57ID:FGBge3KV
なぜ位相空間というものを考えるのですか?
群は対称性を表す基本概念だから考察する理由はなんとなく分かるのですが。
やわらかい幾何?なぜそういうものを考える必要性があるんでしょう?

6132人目の素数さん2017/12/15(金) 09:12:49.83ID:qTOYLN18
定義域Dで定義された2変数の連続関数f(x,y)を考えましょう
これが最大値や最小値を持つかどうかを調べたいとします
1変数の場合には、閉区間であれば最大値や最小値を持つという最大値の定理がありました
同様にして2変数の場合も、閉区間のようにDが端っこを含む場合はfは最大値や最小値を持つということが予想できます

しかし、端っこを含むとはなんでしょうか?また、それはどのようにして証明できるものなのでしょうか

位相の考え方を使うと、1変数と2変数、どちらの場合も、コンパクト性は連続写像によって保存される、という一般論として記述できるのです

端っこを含む含まない、といった曖昧なイメージも表現することができるのです
また、距離の概念のない集合があったとしても、位相を入れることにより、端っこの有無などというものがちゃんと定義できるんです

結局、位相は便利なんですね、色々と

7132人目の素数さん2017/12/15(金) 09:31:56.52ID:3wSnJrQS
>>5
位相幾何と位相空間論をごっちゃにしてると嵌るぞ

8132人目の素数さん2017/12/15(金) 11:20:46.30ID:/fSk4cIi
勉強したくないだけだろ

9132人目の素数さん2017/12/15(金) 12:36:33.38ID:FGBge3KV
>>6
1変数2変数という話がでてきてますが、実数の直積R^nの部分集合程度なら抽象的な位相空間論など持ち出さなくても
開集合と閉集合やコンパクト性は定義できますよね。
私の質問はなぜそういった概念を抽象化する必要があるのか、なのです。
抽象化することによって得られるメリットが知りたいのです。
R^nの部分集合でかけるもの以外の位相空間が
わかりやすいもので言うとどのようなものの役に立っているんでしょうか。

10132人目の素数さん2017/12/15(金) 14:19:47.52ID:VanRWVB/
不要だと思えば勉強しなければいいだろ

11132人目の素数さん2017/12/15(金) 14:59:25.50ID:FGBge3KV
学部で勉強するくらいの内容だから不要でない可能性が高いが、
その価値や理由を知っておくことくらいは重要じゃないのか?
というかそもそも説明する気もない方には聞いていない。

12132人目の素数さん2017/12/15(金) 16:49:33.57ID:L3O8Imih
>>9
一見異なるものを同じように扱うため

13132人目の素数さん2017/12/15(金) 17:23:54.72ID:wsZajEBH
ルベーグ積分とか多様体で使うから

14132人目の素数さん2017/12/15(金) 18:09:13.20ID:de4Krvdq
>どのようなものの役に立っているんでしょうか。

15132人目の素数さん2017/12/15(金) 19:35:21.94ID:Juf//3gw
代数幾何

16132人目の素数さん2017/12/15(金) 19:58:15.58ID:dHUjytYJ
つべこべ言わずに勉強しろ

17132人目の素数さん2017/12/15(金) 21:59:14.38ID:glCGnr//
数学史的に位相空間論って多様体や代数幾何を扱うために必要だからでてきて研究されてきたの?

18132人目の素数さん2017/12/16(土) 11:04:04.32ID:YLFrUwwC
確率論の問題を教えてください

N={1,2,...}とする.θを正の定数,p≧1とする.確率空間(Ω,Ϝ,Ρ)上で定義された確率変数
X_1,X_2,X_3,...,N_1,N_2,N_3,...
は独立であるとし,各j∈Nに対してX_jの分布は確率密度関数
1/θexp(-γ/θ) (x>0)
を持ち,N_k(k∈N)は
P[N_k=y]=2^(-y) (y∈N)
を満たすとする.
n∈Nとする.t>0の関数
F_n(t)=Π[k=1,n]
{Π[j=1,N_k]1/texp(-X_j/t)}
を最大にするtの値をT_nで表す.n→∞のときT_nが概収束かつLp収束することを示せ.

19132人目の素数さん2017/12/16(土) 11:44:22.46ID:jAZr2gc4
読めるように書け

20132人目の素数さん2017/12/16(土) 13:55:38.00ID:gBDkCXst
>>13 >>15
結局、位相空間論って多様体論などで使うからやっているだけで、それだけではありがたみは説明できないものなのですか?
実をいうと既に勉強済みなんですが、脳無しの物理屋にそんなのやって何がおもしろいんだと言われて良い説明が思い浮かばないので聞いてます。
あいつらは理論を抽象化するということをしないから、ただ一般化しましたじゃ喜びは伝えられないし、
理論の一般化や抽象化は具体的な問題を解くために行われるものだと聞いたことがあります。
あと高校数学で言えばベクトル理論は内積を使うと仕事量の計算に役立つとか
微積分学は高速道路の曲率が連続になるように計算するのに使えるとか
ありがたみが素人でもわかる説明ができるけど、
位相空間論でそういう素人でもありがたみが分かるような説明の仕方とかないものでしょうか。

21132人目の素数さん2017/12/16(土) 14:44:47.61ID:1gDMckgM
穴の数でも数えたら?

22132人目の素数さん2017/12/16(土) 16:29:31.58ID:XJlhTf0s
後出しワロタ

23132人目の素数さん2017/12/16(土) 17:02:09.41ID:0L1PMtyi
>>20
結局、ベクトルは内積を使うためにやっているだけで、抽象ベクトル空間だけではありがたみは説明できないものなんですか?

24132人目の素数さん2017/12/16(土) 19:59:34.36ID:C8ivSxaU
それなら物理(理論物理)の本でも見ればいいだろうが

25132人目の素数さん2017/12/16(土) 23:58:24.15ID:gBDkCXst
>>21
穴の数って数えて正直なにがおもしろいんでしょう。分類理論で役立つのはわかりますが。

>>23
なんで一例を挙げただけなのに「ベクトルは内積を使うためにやっている「だけ」」という話になってしまうのかというつっこみは置いておいて、
扱いたいベクトル空間はそもそも数ベクトル空間だけじゃなく、関数空間とかもそうですからね。
量子力学でやる波動関数の空間は関数空間ですし。

>>24
理論物理と一言でいってもいろいろ分野があるのですが、どの分野の本でしょうか?

26132人目の素数さん2017/12/17(日) 02:10:05.73ID:36WVMVCZ
ヒルベルト空間にも内積入ってますよね
抽象ベクトル空間の理論それだけではありがたみは説明できないものなのですか?

27132人目の素数さん2017/12/17(日) 13:04:58.60ID:3fYgt7+i
オマエ自身が感じてないなら説明できるわけがない
説明できる相手は同じ事を感じる人だけ
無意識に感じてることを自覚させる説明のみ
視覚聴覚など他の感覚でも同じ事よ

28132人目の素数さん2017/12/17(日) 13:45:42.36ID:MH+h05GH
数の収束だけでなく、関数の収束を考える必要が出てくる。
関数は無限次元なので、R^nでは不十分で距離空間とかが必要となる

29132人目の素数さん2017/12/25(月) 13:48:01.43ID:ZM8iAp+j
関係Rと関係Sの合成って一般的にはS○Rって書きますよね
なんで純粋にR○Sとしないのですか?

30132人目の素数さん2017/12/25(月) 14:31:41.26ID:48ocxvwa
どっちでもいいよ

31132人目の素数さん2017/12/25(月) 14:35:04.60
左に係っていくほうが感覚にあってる

32132人目の素数さん2017/12/25(月) 15:22:02.00ID:jJGThiYv

33132人目の素数さん2017/12/26(火) 00:42:04.40ID:5+kOkN0j
>>29
俺はS⚪︎Rだな

34132人目の素数さん2017/12/26(火) 00:43:02.99ID:5+kOkN0j
ああ逆だR⚪︎S

35132人目の素数さん2017/12/26(火) 13:09:31.99ID:8L4wMsz6
関係の合成って何?

36132人目の素数さん2017/12/26(火) 13:31:31.09ID:bh2BICch
関数の合成の拡張
aRbScとなるときをaRScと定義

37132人目の素数さん2017/12/28(木) 13:49:03.77ID:4F0poT1V
サンクス

38132人目の素数さん2017/12/28(木) 19:13:14.65ID:9JqD9Y4D
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1322828288
誰かこの質問に答えてくれ。知恵袋ですでに別の人が質問してたけど回答になっていなくて未解決になってる。
>>
多様体についての質問です。
局所座標とはなんですか。ただしここで考える多様体は、Rn(n次元数空間のこと)に含まれているとします。(もっといえばk次元Cr級多様体です)
「k次元Cr級多様体の一点pにおいて、fをpのまわりの局所係数とするとき、xi=ui○f-1とおいて(x1,x2,・・・,xk)をpのまわりの局所座標という」と書かれています。(f-1はfインバースのことです)この合成の意味がよく分かりません。

39132人目の素数さん2017/12/28(木) 21:47:54.41ID:iTm/2Gdh
多様体入門を読め

40132人目の素数さん2017/12/28(木) 22:56:27.75ID:9JqD9Y4D
なるほど、松島多様体の方が丁寧でわかりやすいんですね、ありがとうございます

41132人目の素数さん2017/12/28(木) 23:18:00.38ID:jLK0DLiR
どう考えても松本

42132人目の素数さん2017/12/29(金) 01:57:31.35ID:20Ih2bUf
丁寧さでいったら多様体の基礎じゃないの
冗長って意見もあるが

43132人目の素数さん2017/12/29(金) 02:45:38.78ID:8RBnSvQo
同じ本を持ってる奴にしか意味の分からん質問をする馬鹿

44132人目の素数さん2017/12/29(金) 09:49:17.65ID:72/hpupO
>>38
R^n(の開集合)を多様体に(適当に連続変形して)貼ってるだけの話に見えるが……?

45132人目の素数さん2017/12/30(土) 12:31:56.51ID:sG/Ud4El
それ以外に無いわな

46132人目の素数さん2017/12/30(土) 15:30:12.99ID:F+ZRXO9K
「座標」というとユークリッド平面の「グローバルな」座標しか考えられないので、「局所」とはなんぞや、ということなのかな?

47132人目の素数さん2017/12/31(日) 12:59:31.40ID:NB9CPmR7
座の標なんて言うと寄席の座布団を連想する

48132人目の素数さん2018/01/05(金) 13:57:48.60ID:0kl09vxE
数学はいい、ボケ防止に

49132人目の素数さん2018/01/05(金) 15:01:23.62ID:mfLRrd4G
なりません

50132人目の素数さん2018/01/05(金) 16:59:19.48ID:g1A44liS
複素関数の不定積分が分かりません。留数は使いません。
1/(z^2+1) (2<|z|<4 負の実軸を除く)

51132人目の素数さん2018/01/06(土) 13:16:47.07ID:cewu7xlp
arctanをlog使って書けば良い

52132人目の素数さん2018/01/06(土) 18:01:26.56ID:q194DY3+
2の(1)と(2)がわからないです。
とりあえず(2)はp>2のときは1になるってわかったんですが、p<2のときがわかりません。
(1)においては何をやったらいいのかもわからないです。
お願いしますm(._.)m
https://i.imgur.com/kmT7Sok.jpg

53132人目の素数さん2018/01/07(日) 12:55:43.34ID:eryLnfLH
貼った物を見るなんて危険な事はしない

54132人目の素数さん2018/01/08(月) 02:25:23.54ID:IvbGmuEE
おまえのPCはWindows95か?

55132人目の素数さん2018/01/08(月) 11:44:09.84ID:VyLQExig
そういう危険しか知らんと酷い目に遭うぞ

56132人目の素数さん2018/01/14(日) 14:13:41.19ID:NN537nIK
むかし複素積分とか留数定理とかわけの分からん計算散々やらされた想い出
出来なくて単位落とした人らは留年したり大学を去って行った
就職した職種が違ったからかしらんが結局一生使わなかった
あれは本来は何のためだったのだろうか
分かるおっさん居る?

57132人目の素数さん2018/01/14(日) 15:11:02.47ID:qS1Hl2O9
雑談スレへ

58132人目の素数さん2018/01/15(月) 01:15:04.79ID:KdIP1Ead
>>56
何の為って複素積分を計算する為だよ?

59132人目の素数さん2018/01/15(月) 16:16:09.53ID:qyGI9hPN
そもそも何でその進路を選んだんだ?

60132人目の素数さん2018/01/15(月) 16:56:58.49ID:MTdi0m0V
>>56をみて「プログラムは思った通りには動かない、書いた通りに動くのだ」って言葉を思い出した

61132人目の素数さん2018/01/15(月) 18:37:02.22ID:tBb4tN/L
>>59
どの分野に進むにせよ2年までの教養でそういう基礎数学などの演習をやらざるを得ないからな
大学によっては入学時に電子だの電気だの通信だのと分けられてるみたいだけど
土建屋に行くか車屋さんに行くか通信事業に行くか電力会社に行くかすら進路未定の学生たちが2年次までは同じクラスで学び
複素積分や代数みたいなこれ何のために勉強するのみたいな面白くもない高校の続きな演習問題をひたすらやって
そして少なからずの学生がドロップアウトして辞めていってたw
尤も結局はそのどれでもない文転に近い方向に行ったが

62132人目の素数さん2018/01/15(月) 18:55:18.19ID:xL75mTSI
>>61
それって、あんたらが本当に行くべきだったのは
少しでも進路の選択肢を増やす可能性を探るための大学じゃなく
将来の業務に関係あることだけ教えてくれる職業訓練校だった
ってだけのことでは?

63132人目の素数さん2018/01/15(月) 19:26:48.73ID:tBb4tN/L
>>62
それ、、
やりたいことを大学1年の一学期始めに同級生に打ち明けたらそいつから言われた言葉と奇しくも同じだw
そうなのかなあ
高校生までは何やりたいかなんて医師や弁護士みたいな専門職目指す以外は想像もつかないからなあ

64132人目の素数さん2018/01/15(月) 19:30:39.69ID:+LdtL3o5
複素回線

65132人目の素数さん2018/01/15(月) 19:30:56.85ID:aQs2s/kN
この国の大学では職業訓練はできない
この国の企業も大学にそれを求めてない

66132人目の素数さん2018/01/15(月) 19:39:26.62ID:Ll+CxOcA
私大「せやろか?」

67132人目の素数さん2018/01/15(月) 19:53:27.96ID:zUGicjrY
>>65
いや、即戦力求めてる
メーカー訪問で「××の設計は出来る?じゃあ○○は?」って訊かれたの
そんなもの卒検でもその専門ズバリの研究室(学内で一つだけ)でないとやってないわw
しかもうちはそこですらそんな実業的ことやらない

68132人目の素数さん2018/01/15(月) 20:15:36.27ID:KdIP1Ead
>>67
>いや、即戦力求めてる
全然求められてないがなw

69132人目の素数さん2018/01/15(月) 20:16:39.94ID:zUGicjrY
>>68
普通の大学では設計とかやるの?

70132人目の素数さん2018/01/15(月) 20:39:15.89ID:aQs2s/kN
>>67
そうね
だから企業が即戦力を求める場合は大卒以外の人材をあたるのです

71132人目の素数さん2018/01/15(月) 20:56:58.74ID:RBnMYRfD
馬鹿の妄想話、いつから企業の人事がこのスレにいるようになった(笑)

72132人目の素数さん2018/01/15(月) 21:50:17.40ID:aQs2s/kN
居ちゃいかんのかね?

73132人目の素数さん2018/01/16(火) 15:26:02.34ID:cSlSNMMB
即戦力なんて求めてんのかね?

74132人目の素数さん2018/01/16(火) 19:49:03.13ID:uRp69yMD
出会って2秒で即戦力

75132人目の素数さん2018/01/16(火) 23:28:40.53ID:qI3EjyOX
就職率を売りにしてる就職予備校もとい大学とかあるやん

76132人目の素数さん2018/01/16(火) 23:29:32.52ID:qI3EjyOX
あとワードとエクセルくらいは使えんといかんでしょ

77132人目の素数さん2018/01/17(水) 13:53:58.94ID:8xDD0Hki
使い捨て力じゃねーの?

78132人目の素数さん2018/01/17(水) 22:00:01.68ID:EO7VHN63
>>75
就職率と即戦力には実は相関はない

79132人目の素数さん2018/01/18(木) 17:34:48.96ID:wnSoR4FX
関数と数に同じ記号を使うのが気に食わないんだが
x=x(t)みたいなの

80132人目の素数さん2018/01/18(木) 17:41:51.85ID:n0XnDLOK
x=x(t)を「xとx(t)は等しい」と読むからおかしくなる
それは「関数xの独立変数をtで表す」と読むんだよ

81132人目の素数さん2018/01/18(木) 19:39:30.48ID:xQqUSETI
>>79
同じほうが記号増えなくていいよ

82132人目の素数さん2018/01/18(木) 19:51:24.91ID:siE9kQwG
河東泰之氏と油井亀美也氏はどっちの方が頭が良いのでしょうか?

83132人目の素数さん2018/01/19(金) 04:26:19.11ID:kNFXQa6F
複素数の範囲で双曲線関数
w=cosh(z)=(e^(z)+ e^(-z))/2
の逆関数を求める際、zについてといて
z=ln(w+√(w^2-1))
となると思うんですが複素数をlnのなかに入れるなら正にする必要はないので
z=ln(w±√(w^2-1))
とならないのはなぜでしょうか?

84132人目の素数さん2018/01/19(金) 12:34:52.65ID:TJDKZWuM
ユークリッド空間 R^n の部分集合 M で

M^af が M^f の真部分集合となる例を挙げよ。
M^iff が M^f の真部分集合となる例を挙げよ。

ただし、

M^i は M の内部
M^a は M の閉包
M^f は M の境界

とする。

85132人目の素数さん2018/01/19(金) 12:35:19.61ID:TJDKZWuM
ユークリッド空間 R^n の部分集合 M で

M^af が M^f の真部分集合となる例を挙げよ。
M^if が M^f の真部分集合となる例を挙げよ。

ただし、

M^i は M の内部
M^a は M の閉包
M^f は M の境界

とする。

86132人目の素数さん2018/01/19(金) 13:54:03.78ID:kw2Zb+n4
有理点全部の集合と一点だけの集合

87132人目の素数さん2018/01/19(金) 14:50:24.50ID:TJDKZWuM
>>86

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

88132人目の素数さん2018/01/19(金) 14:54:53.00ID:TJDKZWuM
M ⊂ N ⇒ M^f ⊂ N^f

が成り立たないというは意外じゃないですか?

より広い集合の境界はより広い

ような気がしませんか?

89132人目の素数さん2018/01/19(金) 15:32:48.63ID:K29Y+eUT
>>83
> z=ln(w+√(w^2-1))
> となると思うんですが
ならないでしょというか
なるでしょというか
√を1価にするか2価にするかの違いよ

90132人目の素数さん2018/01/19(金) 15:39:09.09ID:hHDLcllb
>>83
+と−のどちらも解となりうる
両方を選んだら多価関数となるが、一価関数が求められている場合は主値としていずれかを選ぶ

91132人目の素数さん2018/01/19(金) 18:58:02.63ID:TJDKZWuM
↓ M が「普通の」集合のときには、

M^af = M^f

になるような気がするのですが、どうですか?


ユークリッド空間 R^n の部分集合 M で

M^af が M^f の真部分集合となる例を挙げよ。
M^if が M^f の真部分集合となる例を挙げよ。

ただし、

M^i は M の内部
M^a は M の閉包
M^f は M の境界

とする。

92132人目の素数さん2018/01/19(金) 18:58:59.38ID:TJDKZWuM
↓ M が「普通の」集合のときには、

M^af = M^f

になるような気がするのですが、どうですか?


ユークリッド空間 R^n の部分集合 M で

M^af ⊂ M^f が成り立つ。

ただし、

M^i は M の内部
M^a は M の閉包
M^f は M の境界

とする。

93132人目の素数さん2018/01/19(金) 18:59:39.98ID:TJDKZWuM
↓ M が「普通の」集合のときには、

M^af = M^f

になるような気がするのですが、どうですか?


M をユークリッド空間 R^n の部分集合とする。このとき、

M^af ⊂ M^f が成り立つ。

ただし、

M^i は M の内部
M^a は M の閉包
M^f は M の境界

とする。

94132人目の素数さん2018/01/19(金) 19:21:44.92ID:CZx8W75b
境界は閉包から内部を除いたものですからどんな集合においても成り立ちますね

95132人目の素数さん2018/01/19(金) 22:25:51.21ID:pmir6Gh5
>>88
実数直線Rで,通常の位相,
M=(0, 1)
N=(0, 2)
とするとき,
M^f=?
N^f=?
って考えてみれば?

96132人目の素数さん2018/01/19(金) 22:35:08.63ID:0LyVXeRR
質問です。
ベクトル空間の公理なのですが、どの公理もほかの7つの公理から証明できないことを証明したい(7つは真で結論が偽と解釈できるストラクチャーが存在することから、健全性定理より導出図が存在しないことになり、証明できないことが証明できる)
のですが、そのことが載っているpdf や本はありますでしょうか?

97132人目の素数さん2018/01/19(金) 22:45:57.51ID:8n3JDHqn
M^f=fMf^(-1)
(1,2)^s3 ==>[(1,2),(1,3),(2,3)]
s2^s3 ==> Group((2,3),Group([1,2],Group(1,3)

98朝鮮進駐軍の悪行を忘れるな2018/01/20(土) 02:07:06.83ID:h6GwK7RJ
>「エビデンス? ねーよそんなもん」!
教科書検定問題や売春婦問題(KY珊瑚事件は意図的な捏造)など裏取りをしない記事が世間を騒がし日本の国益を大いに損うことが山ほどあるが、今回高橋純子という政治部次長経験者の論説委員が記事の裏取りを否定したのである。
クオリティペーパーを自称する朝日新聞に取っては自殺行為という他はない。
報道機関としての朝日新聞は死んだ。この発言をもって自殺したのである。

99132人目の素数さん2018/01/20(土) 09:51:06.52ID:6mjFkITx
>>89
>>90
±にした場合も間違いではないと言うことで安心しました
https://i.imgur.com/ol7gVZe.jpg
と言うことはこの問題の答えは間違いと言うことですかね?(はじめのカンマまでが問題、そのあとが答えです)
これは双曲線関数ではなく三角関数の逆関数を使って解いてあるのですがルートの前をプラスでしか考えてないみたいです
ルート前を±にするならπ/2 +2nπ,3π/2 +2nπという見知った答えが出てくると思うのですが

100132人目の素数さん2018/01/20(土) 09:57:52.48ID:Xj+UNc/d
>>96
>ほかの7つの公理
てなに?

101132人目の素数さん2018/01/20(土) 10:11:51.88ID:fdRXR8NV
束論はなぜ廃れたのでしょうか?

102132人目の素数さん2018/01/20(土) 13:21:41.37ID:qEQu5+sW
>>96
ベクトル空間くらいなら自力でモデル作れるだろ
けっこう面白い物が作れるから試してみな

103132人目の素数さん2018/01/20(土) 14:46:54.03ID:bEiI/N73
(2)(x+y)+z=x+(y+z) (∀x,y,z∈V)
(3)∃0∈V s.t. x+0=0+x (∀x∈V)
(4)∀x∈V ; ∃x'∈V s.t. x+x'=x'+x=0
(5)k(x+y)=kx+ky (∀x,y∈V, ∀k∈ℝ)
(6)(k+l)x=kx+lx(∀x∈V, ∀k,l∈ℝ)
(7)(kl)x=k(lx) (∀x∈V, ∀k,l∈ℝ)
(8)1x=x (∀x∈ℝ)
が成り立つとき、次が成り立つことを示せるので違いました
(1)x+y=y+x (∀x,y∈V)

104132人目の素数さん2018/01/20(土) 15:45:10.60ID:H0s4O5em
>>102
公理1個ずつにそれだけ成り立たないモデル作るの?

105132人目の素数さん2018/01/21(日) 13:00:50.58ID:oVWOmvon
8つだけだから

106132人目の素数さん2018/01/21(日) 20:44:49.54ID:/7UyrHTa
学部レベルではなく,教養教育レベルなのですが…
スレが見つからなかったので質問させてください…

線形代数学,行列の符号判定問題についてです
A=[ 1 2 3 1 ; 2 5 4 2 ; 2 4 5 1 ; 1 2 1 -1 ] (;は改行を表します)となる4次正方行列の符号判定です

主対小行列式を用いて解く問題なのですが,
|A_1|=1
|A_2|=1
|A_3|=-1
|A_4|=0となり,定理を用いると不定符号となります.

しかし,問の解答には「半正値」と表記されております
私は誤植だと思うのですが,もし,私の解法にミスがありましたらご教授願います!

長文失礼致しました.

107132人目の素数さん2018/01/21(日) 22:12:22.17ID:G6fH7YE4
>>106
固有値計算してごらんな

108132人目の素数さん2018/01/21(日) 22:31:16.73ID:/7UyrHTa
>>107
返答ありがとうございます.
言葉足らずでした.
問題の趣旨として,固有値は用いないで解く,とのことなので
主対角小行列式による解法の正誤を教えていただきたいです…

109132人目の素数さん2018/01/21(日) 22:35:02.47ID:IQEt8+GI
いや、固有値計算した結果見たら誤植かどうかわかるだろw

110132人目の素数さん2018/01/21(日) 22:37:45.35ID:/7UyrHTa
>>109
確認いただきたいのは,誤植か否かではなく,解法の正誤です

111132人目の素数さん2018/01/21(日) 23:29:01.37ID:G6fH7YE4
>>110
正誤なら真の回答と比較するでしょ?
真の回答は固有値で分かるわけで

112132人目の素数さん2018/01/21(日) 23:29:51.50ID:G6fH7YE4
人に聞くより先ず確認できることを確認してからだよ

113132人目の素数さん2018/01/21(日) 23:30:54.08ID:G6fH7YE4
だって解法として正しいかどうかは結局それを確認することなんだから
その作業を他人にやらせる前に自分で確認してから質問でしょうに

114132人目の素数さん2018/01/21(日) 23:38:04.55ID:/7UyrHTa
>>111-113
色々言葉足らずでした
論点がずれてしまっているようですが…
固有値の確認は出来ています
誤植云々は正直どうでもよく,お聞きしたかったのは
|A_1|=1
|A_2|=1
|A_3|=-1
|A_4|=0
が果たして合っているのか,またそれは(定理によって)不定符号であるのかを確認していただきたかったのです.

自己解決いたしました.
拙い質問で誠に申し訳ございませんでした.以後気をつけます.
ご対応,ありがとうございました.

115132人目の素数さん2018/01/21(日) 23:41:18.94ID:xXFyQU5T
|A_1|=1
|A_2|=1
|A_3|=-1
|A_4|=0
が何を計算したのかわからない

116132人目の素数さん2018/01/22(月) 13:28:54.46ID:ncbr+h4o
lim (x → 0) 1/(1-e^(-x)) - 1/x = 1/2

上記の式の等式の導き方が分かりません
lim (x → 0) (e^x-1)/x = 1 を使うことは察しがつくのですが
どう変形すれば良いのやら。誰か助けて

ちなみに、サイエンス社から出版されている野本/岸の解析演習の
p138の問題5.2 1.(9)の解説にある数式です

117132人目の素数さん2018/01/22(月) 14:15:56.08ID:xgC+7UNe
>>116
ロピタルでいいんじゃね

118132人目の素数さん2018/01/22(月) 14:17:31.83ID:cPYarJrC
かっこわるw

119132人目の素数さん2018/01/22(月) 14:30:57.00ID:vRHzEvsP
e^(-x) をテイラー展開すれ

120132人目の素数さん2018/01/22(月) 14:43:11.80ID:ncbr+h4o
なるほど。ロピタルは分からなかったけど、テイラー展開でいけた
参考書にまだテイラーが出てきてないから問題集のその部分だけ飛ばして先に進んでたわ
皆、ありがとう

121132人目の素数さん2018/01/25(木) 02:55:46.25ID:3WNGzr1Q
ロピタルは頭使わなくていいぞ
ロピタルよりテイラーのほうが汎用的であるという意見はわかるけど
ロピタルは考えなくていいから楽よ

122132人目の素数さん2018/01/25(木) 03:45:53.65ID:d+8wCxFT
何も考えずにロピタルを使うと失敗する問題が出されるから結局テイラーのがいい

123132人目の素数さん2018/01/25(木) 06:47:49.89ID:P3Q0KePR
すみません質問です。
線形代数の商空間が分かりません…Wikipediaとかを見ると「各要素を0に潰して云々」と書いてあるのですが、何が言いたいのかよく分かりません。
何か理解するコツなどありますでしょうか…

124132人目の素数さん2018/01/25(木) 09:20:05.54ID:X2zeiExL
>>123
同値関係、同値類そして同値類の代表元、同値類の集合に定められる演算、
これらを把握しないと「潰す」の意味は掴めないと思うよ。

125132人目の素数さん2018/01/25(木) 09:33:06.59ID:Kklk1SBR
雪江代数を独学で読んでいるのですが分からないところがあるので質問させてもらいます

2巻の局所環の話なのですが、局所環(A,m),(B,n)でφ(m)⊂nとなるような準同型φ:A→Bを考えたとき、1∉φ^(-1)(n)なのでφ^(-1)(n)=mとなると書いてあります
これはなぜでしょうか?
そもそもなぜ準同型の逆写像を考えられるのかわかりません

ご教授お願いします

126132人目の素数さん2018/01/25(木) 09:46:40.09ID:X2zeiExL
>>125
この文脈での記号φ^(-1)(n)は逆写像ではなく、
nの逆像と呼ばれる 集合 {x∈A| φ(x)∈n} のこと。

それが分かったものとして、 1?φ^(-1)(n) なので φ^(-1)(n) は真のイデアルとなり
更に φ(m)⊂n から m⊂φ^(-1)(n) 、そして
m が極大イデアルであるので φ^(-1)(n)=m となります。

127132人目の素数さん2018/01/25(木) 09:50:37.42ID:Kklk1SBR
>>126
明快な説明ありがとうございます
理解できました

128132人目の素数さん2018/01/25(木) 09:57:13.59ID:4dXuSK1x
>>122
ロピタルは何度微分するか結局分からない
テイラー展開だと一発

129132人目の素数さん2018/01/25(木) 10:40:41.60ID:UfGqOWJ7
テイラーの定理だろ

130132人目の素数さん2018/01/25(木) 20:17:31.18ID:hW3iR487
>>121
マジだ。勉強範囲がやっとロピタルに追いついたんで、そのやり方で解いてみたら
二回微分で簡単に1/2が出てきた。ありがとう

131132人目の素数さん2018/01/26(金) 11:37:18.83ID:WWlQq7Zx
>>121
テイラー展開全然頭使わんやん

132132人目の素数さん2018/01/27(土) 22:55:20.99ID:BSU0W5xa
>>128
何次までテイラー展開すればいいのかは事前には判らない。
それが何回ロピタルするかと同じことだから、結局
チラシ裏の計算を答案に残すか否かの違いでしかない。
気持ち的には、テイラーが好きだけどね。
ロピタルは、教えこまれた公式臭が酷いから。

133132人目の素数さん2018/01/27(土) 23:06:54.76ID:Mtp4B3bf
>>132
違いが出るところまでよ
テイラー展開はするモノじゃなくて
書き出すだけ
何も考えなくてイイ
微分は実にめんどくさい
やってみて初めてもう一度必要か分かる
何度やっても無駄かも知れないしな

134132人目の素数さん2018/01/28(日) 13:11:07.70ID:1PUXSubO
コンパクトサポートな関数は一様連続
がわかりません
コンパクトである条件をどこで使っているのかがわかるような解説をいただけると嬉しいです
よろしくお願いします

135132人目の素数さん2018/01/28(日) 13:27:15.14ID:1CBHslSB
εδ論法でδの下界を求める所に使う
δ近傍での被覆でコンパクトなら有限個で済むから最小値が求まる

136132人目の素数さん2018/01/28(日) 14:17:23.50ID:LuhdxxI3
連続性は不要(笑)

137132人目の素数さん2018/01/28(日) 18:56:58.06ID:DjaWrs5I
一般論でわからなければ具体例を考えてみればいい
R^nのとき有界閉集合(=コンパクト)上の連続関数は一様連続、これに有界性や閉であるという条件を落とせば連続であっても一様連続ではない関数は簡単に作れる

138132人目の素数さん2018/01/29(月) 16:53:53.71ID:tFz/OlTS
「座標」の定義って何なのでしょうか?

デカルト座標や極座標等々ありますがこれらを数学的にどう定義すればよいか分かりません。
座標、基底、ベクトル空間、ユークリッド空間、アフィン空間このへんのキーワードがゴチャゴチャして整理できません。曖昧な質問で申し訳ないですがどなたかよろしくお願いします。
参考文献の紹介だけでもけっこうです。

139132人目の素数さん2018/01/29(月) 19:13:17.91ID:BZ/BRTjp
>>138
Wikipediaで間に合わんかいな?

140132人目の素数さん2018/01/29(月) 20:16:23.30ID:T+6k6pEO
束論は役に立ちますか?

141132人目の素数さん2018/01/29(月) 22:22:18.62ID:iUIUoC+4
>>138
まずベクトル空間をひとつ決めて、そこに基底を定義すれば各ベクトルは成分表示できる。
このとき位置ベクトルを導入して、位置ベクトルと空間内の点を同一視すれば、位置ベクトルの成分を空間内の点の座標として定義できるのではないかと!
基底の定義の仕方によってデカルト座標も極座標も定義できるのではないかと!

142132人目の素数さん2018/01/30(火) 00:52:40.65ID:hJ/ouRPB
事実上局所ユークリッドから全部構築するような形になるんじゃないの?。

143132人目の素数さん2018/01/30(火) 03:29:13.27ID:hJ/ouRPB
ランダムウォークの方をまず公理的に使ってすべてを定義した方が量子的な将来的な空間像に現代で出来る最善のやり方な気もするなあ。
基点と基点にたまたま戻ってきたことだけしか検知できない存在から創めて。

144132人目の素数さん2018/01/30(火) 13:00:44.85ID:UVY2Jfgo
>>138
点に対応する値の組で充分やろ

145132人目の素数さん2018/01/30(火) 14:12:49.32ID:NSV5n+Hi
タプルから構成するのもいいね。
グロタンディーク構成が同値類で割ったタプルなのをにちゃんで聞いたのを理解して感動したのを思い出す。

146132人目の素数さん2018/01/30(火) 20:40:34.03ID:tDXdTeaU
>>142
R^n(C^n)からの全単射(連続・微分可能・高階連続微分可能・解析・正則など)

147132人目の素数さん2018/01/31(水) 18:44:04.03ID:swOW5q0h
>>139
>>141
>>144
ありがとうございました!納得できました。

148132人目の素数さん2018/02/01(木) 01:37:34.85ID:CTBMqxGr
集合の定義ってなんなん
いろいろさかのぼっていくと何でも数学の擁護って結局集合に行きつくんだけど
集合って言葉調べてもものの集まりとしか書いてないんだよね

やっぱそれ以上は数学も厳密にはできないんか

149132人目の素数さん2018/02/01(木) 06:38:07.86ID:WR9FrH1F
集合の公理を満たすクラスのことです

150132人目の素数さん2018/02/01(木) 07:25:38.89ID:i+lRRNQY
プログラミングかな?

151132人目の素数さん2018/02/01(木) 08:40:10.17ID:vdVGAXEb
ラッセルのパラドックスの集合は、集合だから矛盾が起きるのであってクラスだと考えれば問題ない概念です

152132人目の素数さん2018/02/01(木) 09:39:22.30ID:X9VGKjeF
今年はラッセル車が大活躍

153132人目の素数さん2018/02/01(木) 13:27:06.00ID:977eWiaS
>>148
すべては無定義述語に行き着く

154132人目の素数さん2018/02/01(木) 20:27:16.38ID:KI6HKux8
H^{1}(S^{2}) ~= 0 を示すにはどうしたらよいでしょうか.

坪井俊・著「幾何学III」を独学しているのですが,p.64

(定理) k >= 1 で,H^p(S^{k}) ~= 0, for p = 1, ..., k - 2, H^{k}(S^{k}) ~= R が成り立つ.

マイヤービエトリス系列を使って数学帰納法で示す証明がありますが,アンカーケースとして
H^{1}(S^{2}) ~= 0 を別途示す必要があるように思われます.あるいは証明を誤解していて
帰納法の中で示せるのかもしれません.

自己解決できなて先に進めなくなっているので,ヒントでも教えていただけますとうれしいです.
教科書での証明のアウトラインとどこで詰まっているかを次以降のレスで書き出してみます.

(記号)
S^k: k次元球面, M1: S^k - 北極, M2: S^k - 南極, M12 = M1 && M2
H^p(M): M上のp次ドラムコホモロジ
Δ*: H^p(M12) -> H^{p+1}(S^k) : 連結準同型写像

155(承前)2018/02/01(木) 20:27:58.01ID:KI6HKux8
(アンカーケース, k = 1の場合の仮定)
(1) H0(S1) ~= R
(2) H0(M1) (+) H0(M2) ~= R (+) R
(3) H0(M12) ~= R
(4) H1(M1) ~= R

(1)-(3)は0次閉形式は連結成分上で定数をとる関数であることよる.
(4)は H1(M1) ni α -> ∫α in R という同型写像を直接構成することでわかる.

156(承前)2018/02/01(木) 20:29:01.00ID:KI6HKux8
(再帰 k >= 2として)
以下を仮定
(5) H^p(S^{k-1}) ~= 0, for p = 1, ..., k - 2
(6) H^{k-1}(S^{k-1}) ~= R

このときマイヤービエトリス完全系列
H^{k-1}(S^{k}) -> H^{k-1}(M1) (+) H^{k-1}(M2) -> H^{k-1}(M12) -Δ*-> H^k(S^k) -> 0

H^{k-1}(S^{k}) (10) -> 0 (7) (+) 0 (7) -> R (8) -----> H^k(S^k) (9) -> 0
と同型である.

ここで M12 ~= [0,1] x S^{k-1} なので,H^{k-1}([0,1] x S^{k-1}) ~= H^{k-1}(S^{k-1}) ~= R
より(8)を, M1 ~= (k-1)次円盤とポアンカレの補題より (7) を得ている.

したがって,(9) H^k(S^k) ~= R, (10) H^{k-1}(S^{k}) ~=0, [さらに低次へ系列を巻き戻して]
(11) H^p(S^{k}) ~=0, for p = 1, ...., k - 1.

これで (5),(6)で k <- k + 1としたものが成立することが示された.

157(承前,最後)2018/02/01(木) 20:29:52.63ID:KI6HKux8
(私の理解と疑問)
(9) について.
完全系列であることより im(Δ*) ~= ker(->0) = H^k(S^k).
また,dom(Δ*) ~= H^{k-1}(M12) ~=R よりも im(Δ*) の方がランクは小さいか等しい
よって,H^k(S^k) ~= 0 または H^k(S^k) ~= R.

いっぽう,S^k のk次完全形式 ω=dηの積分は 0 (ストークスの定理).
したがって,2つのS^kのk次(閉)形式α,α'が同じコホモロジー類に族する場合,その積分値
は一致し,積分値が異なる場合は別のコホモロジー類に属する.
S^kのk次(閉)形式でその積分が0でない実数値をとるものを2つ以上つくれるので,
H^k(S^k) ~= 0 はありえない.よって H^k(S^k) ~= R である.

(10)について
H^{k-2}(M12) ~= H^{k-2}(S^{k-1}) ~= 0 ((5)でp = k - 2の場合) より
系列をさらにさかのぼって,
H^{k-2}(M12) -Δ*-> H^{k-1}(S^{k})

0 -Δ*-> H^{k-1}(S^{k})
と同型.(9)と同様にランクを考えると,H^{k-1}(S^{k}) ~= 0.

しかし,こう考えて再帰を辿ると,これとは違う方法で
H^1(S^2) ~= 0
を示さなければならなくなる.これはどうすればよいか?

158132人目の素数さん2018/02/01(木) 21:52:49.55ID:gmA8OMZU
>>151
ん?
クラスは自分を含まないからイイってこと?
クラスの集まりを考えたりしてもいいんだけど
クラスのクラスのクラスのクラス・・・で矛盾が起こらないのね?

159132人目の素数さん2018/02/01(木) 21:55:26.25ID:gmA8OMZU
>>148
「モノの集まり」というしかないね
究極には数学の概念は無定義/天与とならざるを得ない
それが皆の(数学者の)直観に合致していれば受け入れられるってこと

160132人目の素数さん2018/02/01(木) 22:02:16.68ID:gmA8OMZU
>>155
S^n=D1^n∪D2^n
S^(n-1)=D1^n∩D2^n

161132人目の素数さん2018/02/01(木) 22:09:01.07ID:gmA8OMZU
ドラムでないなら単体分割で終い

162132人目の素数さん2018/02/01(木) 22:27:23.41ID:gmA8OMZU
H0Sn=Z(n>0)orZ+Z(n=0)
HmDn=Z(m=0)or0(m>0)
HmS0=Z+Z(m=0)or0(m>0)
0->H0Sn->H0Dn+H0Dn->H0Sn-1->H1Sn->H1Dn+H1Dn->H1Sn-1->H2Sn->
n=1
0->Z->Z+Z->Z+Z->H1S1->0->0->H2S1->0->0->H3S1->0->0
HmS1=Z(m=0,1)or0(m>1)
n>1
0->Z->Z+Z->Z->H1Sn->0->H1Sn-1->H2Sn->0->H2Sn-1->H3Sn->0->
H1Sn=0
Hm-1Sn-1=HmSn(m>1)

163132人目の素数さん2018/02/02(金) 01:51:25.78ID:EbILmDwh
>>160 >>161
ありがとうございます.鮮やかですね.しかし,完全系列を0やZで置き換えるところまでは理解できましたが,
その結果から H1Sn=0 を推論する論理がわかりません.
# 教科書でも類似の推論が使われている箇所がありますが「この系列が完全だから」としか書かれていません.

164132人目の素数さん2018/02/02(金) 02:46:41.79ID:bpO5KMeW
ドラムじゃなくて特異ホモロジーは計算したことないの?

165132人目の素数さん2018/02/02(金) 11:02:55.73ID:EbILmDwh
はい.ないです.この本の2章の「ドラム・コホモロジー」で初めてホモロジーという用語を知りました.
3章「微分形式の積分」で特異ホモロジーを扱うことになっていますが,先にこっちを読んで
戻ってきた方がよかったりしますか?

166132人目の素数さん2018/02/02(金) 14:04:08.15ID:qNa0b/Hk
{a} ⊂ A ⊂ {a, b} ⇒ A = {a} または A = {a, b}

これを証明するとすると、どうやって証明するんですか?

167132人目の素数さん2018/02/02(金) 14:57:23.87ID:WUQrLhNQ
(1) A = {a, ...}
(2) A = {} または A = {a}, A = {b}, A = {a,b} のいずれか.

(1),(2)をともに満たすのは A = {a} または A = {a,b} に限られる.

168132人目の素数さん2018/02/02(金) 18:13:40.50ID:QWsxNF5e
デデキント整域Aにおける素イデアル分解の証明のところの質問なのですが
任意の分数イデアルⓑに対して共通分母d∈Aを取ってくると
ⓑ=(dⓑ)・(Ad)^(−1)
の等式がわかりません(⊂はわかりました)
イデアルと元の区別のためにⓑを使いました読みにくかったらすみません
ちなみにサミュエルの63ページです(数の代数的理論)
わかる方いらっしゃいましたらよろしくお願いします

169132人目の素数さん2018/02/02(金) 18:39:16.34ID:OVWaS59F
db=dA・b なんだから当たり前

170132人目の素数さん2018/02/02(金) 23:48:57.54ID:QWsxNF5e
そうだそうだそうですねありがとうございます

171132人目の素数さん2018/02/03(土) 00:28:13.11ID:1SQv0bX4
>>165
ドラムなら>>162でZをRにして終い

172132人目の素数さん2018/02/03(土) 13:46:04.15ID:bDdnJSsJ
>>166
結論が「…または…」の場合は片方を否定した場合で考えれば良い
たとえば、(A≠{a})∧({a}⊂A⊂{a,b})⇒A={a,b} を証明する
A={a}⇔(a∈A)∧(∀x∈A[x=a]) だから A≠{a}⇔(a∉A)∨(∃x∈A[x≠a])
従って
(A≠{a})∧({a}⊂A⊂{a,b})⇒(a∈A)∧(∃x∈A[x≠a])∧(A⊂{a,b})
⇒(a∈A)∧(b∈A)∧(A⊂{a,b})⇒A={a,b}
となる

173132人目の素数さん2018/02/03(土) 15:49:55.56ID:vHQhC2Iw
>>167
>>172

ありがとうございます。

174132人目の素数さん2018/02/03(土) 15:50:48.14ID:vHQhC2Iw
{(A ∪ B) - (A ∩ B)} ∪ {(B ∪ C) - (B ∩ C)}

=

(A ∪ B ∪ C) - (A ∩ B ∩ C)

を示してください。

{(A ∪ B) - (A ∩ B)} ∪ {(B ∪ C) - (B ∩ C)}



(A ∪ B ∪ C) - (A ∩ B ∩ C)

を簡単に示すことはできますか?(場合分けをできるだけ少なくするなど) 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

175132人目の素数さん2018/02/03(土) 16:56:09.26ID:TSEB3dIY
0<β<α を満たす任意の α, β について
u∈H^α ⇒ {(‖u‖_α)^(β/α)}{(‖u‖)^(1-β/α)}
を示せ。(H^αはハーディ空間)

をどなたかお願いします...
ヘルダーの不等式を使うのはなんとなくわかるんですけど...

176132人目の素数さん2018/02/03(土) 18:52:56.11ID:qEUwhi6H
>>174
いったん積和か和積かにするのが確実
{(A∪B)−(A∩B)}∪{(B∪C)−(B∩C)}
={(A∪B)∩¬(A∩B)}∪{(B∪C)∩¬(B∩C)}
={(A∪B)∩(¬A∪¬B)}∪{(B∪C)∩(¬B∪¬C)}
={(A∪B)∪(B∪C)}∩{(A∪B)∪(¬B∪¬C)}∩{(¬A∪¬B)∪(B∪C)}∩{(¬A∪¬B)∪(¬B∪¬C)}
={A∪(B∪B)∪C}∩{A∪(B∪¬B)∪¬C}∩{¬A∪(¬B∪B)∪C}∩{¬A∪(¬B∪¬B)∪¬C}
={A∪B∪C}∩{T}∩{T}∩{¬A∪¬B∪¬C}
={A∪B∪C}∩{¬A∪¬B∪¬C}
={A∪B∪C}∩¬{A∩B∩C}
={A∪B∪C}−{A∩B∩C}

177132人目の素数さん2018/02/03(土) 19:18:36.01ID:vHQhC2Iw
>>176

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

178132人目の素数さん2018/02/03(土) 20:19:19.47ID:42/dPXd1
幾何学の開集合、閉集合の判定についての問題です。
現在、ユークリッド位相の開集合、閉集合の判定について学んでいますが、いまいち理解できてません

例えば
ユークリッド位相をもつ実数直線Rに対して、
(1)(0,1)U(3,4)
(2)[0,1]
(3){1/2n+1 n€N}
(4)NU{√3}
(5){0,1,2}
(6)[0,1]U(2,3)
(7)(0,1)U[2,3]
(8)Z
(9)Q
(10)R-{0,1}
(11){n+√2 n€Z}
それぞれRの開集合か閉集合か判定し、閉集合でないと判定したものに対して、その閉包を求めよ。
また、(0,1)が(1)の開集合か閉集合か判定しろ。

という問題で、開区間同士の和集合は開集合になる といった解法だけで過ごしてきた結果、それ以外が出てきたときに解けなくなりました。
開集合や閉集合の判定、閉包の求め方を教えてください。

179132人目の素数さん2018/02/03(土) 20:28:54.16ID:4/nSYX4X
>>178
各店の適当な解禁棒を含むのが開集合
保守都合が会なのが閉鎖
それで大方ガタック

180132人目の素数さん2018/02/03(土) 21:15:03.66ID:y4OwCID0
>>178
(3)0は触点(0を含む開集合と(3)の集合は必ず交わる)
(3)∪{0}が閉包
閉包と自分自身が一致しないから閉集合でない
内部は空集合で自分自身と一致しないから開集合でない

(4)...∩[0,1]∩[1,√3]∩[√3,2]...だから閉集合

(5)1点集合は閉集合
閉集合の有限和は閉集合

(6)(7)閉包[0,1]∪[2,3]
閉でも開でもない

(8)...[-1,0]∩[0,1]∩[1,2]...だから閉集合

(9)任意の点は触点
閉包はR
自身と閉包が一致しないから閉集合でない
内部は空集合で自分自身と一致しないから開集合でない

(10)1点集合の有限和{0,1}は閉集合
閉集合の補集合は開集合

(11)... [-1+√2,√2]∩[√2,1+√2]∩...
閉集合

181132人目の素数さん2018/02/04(日) 10:40:02.86ID:t17OFjjP
A, B, A', B' を有限集合とする。

A ⊂ A'
B ⊂ B'
#A' = #A + 1
#B' = #B + 1
A は B' の真部分集合
B は A' の真部分集合
A ∪ B ⊂ A' ∩ B'

とする。

このとき、

A = B または A' = B' が成り立つことを示せ。

182132人目の素数さん2018/02/04(日) 10:44:39.33ID:t17OFjjP
訂正します:


A, B, A', B' を有限集合とする。

A ⊂ A'
B ⊂ B'
#A' = #A + 1
#B' = #B + 1
A は B' の真部分集合
B は A' の真部分集合

とする。

このとき、

A = B または A' = B' が成り立つことを示せ。

183132人目の素数さん2018/02/04(日) 12:46:52.46ID:e/Db4a5+
>>178
教科書読まずに問題やるタイプか
定義くらいは読んどけよ

184132人目の素数さん2018/02/04(日) 15:51:06.64ID:0RvjzxRw
>>180
ありがとうございます!!
めちゃめちゃわかりやすかったです

185132人目の素数さん2018/02/04(日) 15:52:14.34ID:0RvjzxRw
>>183
大学の数学の教科書、読んでも理解できないんです泣 なんとなくイメージが取りにくいというか、、

186132人目の素数さん2018/02/04(日) 16:05:34.77ID:3ZQFoRO2
実数直線R上に次のような部分集合族をあたえる
{O€R l x€O x2乗€O}

(1)この位相に関して、Rの3つの部分集合{1},(0,1),(0,2)がRの開集合か否か判定し、開集合でないと判定にしたものについてその理由を簡潔に述べよ。
(2)この位相に関して、Rの空でない有限部分集合で開集合になふのは全部で5つ。その全てを上げよ。
(3)この位相に関して、(-1/2,1/2)の兵法を求めよ。


178のような問題は解けるようになったのですが、上記のような条件が出された際の問題が解けないです。
どのようにしたら解けますか?

187132人目の素数さん2018/02/04(日) 16:50:40.57ID:R6bGkuaa
{1},(0,1)は開集合
(0,2)は開集合でも閉集合でもない
定義よりある元の2乗もその集合に入っていれば開集合となるから

{0}{1}{0,1}{1,-1}{0,1,-1}

触点を求める
xが0,1,-1以外の時、xを含む最小の開集合は{x,x^2,x^4,...}とかける
これに(-1/2,1/2)内の値が含まれるxが触点となる
(-1,1)

188132人目の素数さん2018/02/04(日) 16:54:43.36ID:cDd6f2yP
>>185
開集合をイメージできたら終いよ
開集合は各点の適当な開近傍を含むという定義
各点でどうなってるかいちいち見てやるだけ
閉は開の補集合あるいは点列の極限を全て含むことを確かめたら終い

189132人目の素数さん2018/02/04(日) 17:38:42.90ID:t17OFjjP
自然数の定義は、

0 := φ
n + 1 := n + {n}

みたいに定義します。

このとき、自然数 m, n に対し、

m ⊂ n と m + 1 ⊂ n + 1 は同値であることを示せ。

190132人目の素数さん2018/02/04(日) 17:46:13.24ID:t17OFjjP
その解答が、以下です。

m ⊂ n とする。

1. より、 m + 1 ⊂ n + 1 でなかったとすると m ⊂ n ⊂ n + 1 ⊂ m + 1(かつ n + 1 ≠ m + 1)
である。よって m = n となり矛盾である。 m + 1 ⊂ n + 1 とする。 2. より、
m ∈ m + 1 ⊂ n + 1 ⊂ P(n) だから m ⊂ n である。

1. とは「自然数全体の集合 N の順序 ⊂ は、全順序である」ことです。
2. とは「自然数 n に対し、 N ∩ P(n) = n + 1」であることです。

191132人目の素数さん2018/02/04(日) 17:57:12.07ID:t17OFjjP
自然数全体の集合 N の順序 ⊂ は、全順序であることは明らかではないでしょうか?

0 := φ
1 = 0 ∪ {0} = φ ∪ {φ}
2 = 1 ∪ {1} = φ ∪ {φ} ∪ {φ ∪ {φ}}
3 = φ ∪ {φ} ∪ {φ ∪ {φ}} ∪ {φ ∪ {φ} ∪ {φ ∪ {φ}}}


なので、明らかです。

192132人目の素数さん2018/02/04(日) 17:59:04.22ID:t17OFjjP
0 := φ
1 = 0 ∪ {0} = φ ∪ {φ}
2 = 1 ∪ {1} = φ ∪ {φ} ∪ {φ ∪ {φ}}
3 = φ ∪ {φ} ∪ {φ ∪ {φ}} ∪ {φ ∪ {φ} ∪ {φ ∪ {φ}}}


のようにして自然数は作られていきます。

ですので、 m, n を自然数とするとき、

より早く作られた自然数はより遅く作られた自然数に含まれるのは自明です。

193132人目の素数さん2018/02/04(日) 18:00:50.21ID:t17OFjjP
自明であるといって済まさない。
かといって、公理から自然数の理論を説明しているわけでもない。

非常に中途半端で害悪さえあるといえる書き方ではないでしょうか?

194132人目の素数さん2018/02/04(日) 18:17:40.20ID:C514lGEj
君は自然数に数学的帰納法が適用できることをいつ知ったの?

195132人目の素数さん2018/02/04(日) 18:50:35.00ID:0RvjzxRw
>>187
ありがとうございます!!

196132人目の素数さん2018/02/04(日) 18:56:53.67ID:0RvjzxRw
>>188
開近傍 っていうのは、ある位相空間Xとその要素xに対して、要素xを含むXの開集合を意味する
って教科書に書いてるんですけど、具体例がないのでイメージできないです。

例えば186の問題の(1)なら、開近傍はどのように取れるのですか?

197132人目の素数さん2018/02/04(日) 18:59:49.00ID:lTUjJJgC
その本の題名は?

198132人目の素数さん2018/02/04(日) 19:07:25.43ID:CxVck6NH
>>196
それはダメ

199132人目の素数さん2018/02/04(日) 19:08:57.20ID:c7dB8M3T
とりあえずR^nで考えとけ

200132人目の素数さん2018/02/04(日) 19:09:44.89ID:c7dB8M3T
>>198
それはダメって何がダメなの?

201132人目の素数さん2018/02/04(日) 19:16:29.64ID:GEcTCU5a
>>194
大学一年で杉浦の解析入門の一巻を読んだ時に、その証明が鮮やかに書かれていて笑った
でも、あの本の序章のピークはそこだったなあ

202132人目の素数さん2018/02/04(日) 19:19:19.47ID:R6bGkuaa
>>196
近傍てのは周りのこと
ある点の近傍が開集合になってるとき、開近傍という
Rで考えれば、(-1,1)は0の開近傍
[-1,1]は0の近傍だけど開近傍じゃない

203132人目の素数さん2018/02/04(日) 19:51:07.70ID:0RvjzxRw
>>197 大学の教授が作ってコピーしてるやつなので、本になってないです泣

204132人目の素数さん2018/02/04(日) 20:00:02.60ID:t17OFjjP
斎藤毅著『集合と位相』を読んでいます。

「包含写像 φ → Y は、空集合から Y へのただ1つの写像である。」

と書いてあります。

これはなぜなのでしょうか?

205132人目の素数さん2018/02/04(日) 20:06:06.65ID:t17OFjjP
空集合から Y への写像がただ一つ存在するというのは分かりますが、
それがなぜ包含写像になるのでしょうか?

206132人目の素数さん2018/02/04(日) 20:14:31.64ID:JDVsewEQ
>>186
⊂ とか ∈ という記号は打てないの?

207132人目の素数さん2018/02/04(日) 20:35:12.74ID:FK7Q3Dkd
>>203
捨てなさい

208132人目の素数さん2018/02/04(日) 20:50:33.22ID:0RvjzxRw
{O€R l ∀x€O ∃ε>0 [x,x+ε)€O}

(1)Rの3つの部分集合[0,1) (0,1] (0,1)がそれぞれRの開集合か判定し、理由を述べよ

(2)Rの5つの部分集合[0,1) (0,1) {n/(n+1) l n€N} N Q の閉包をそれぞれ求め、理由も述べよ


みなさんのおかげで、なんとなく開集合がわかってきました
自分の理解の確認をしたいので、これの答え教えてください!

209132人目の素数さん2018/02/04(日) 20:57:07.95ID:CxVck6NH
>>200
イメージ持つのが特殊

210132人目の素数さん2018/02/04(日) 20:58:12.11ID:0RvjzxRw
>>208
私は、
(1) [0,1)、(0,1]は近傍をとろうとしたら、0と1があって邪魔で取れないので、(0.1)だけが開集合である
という感じで解きました!
答えがないので、正解がどうかわからないです

211132人目の素数さん2018/02/04(日) 20:58:59.90ID:CxVck6NH
分かって聞いてるのに答えるって無様ね

212132人目の素数さん2018/02/04(日) 20:59:05.60ID:0RvjzxRw
>>209
イメージって持たないほうがいいんですか?

213132人目の素数さん2018/02/04(日) 21:14:47.64ID:e/Db4a5+
>>185
定義を知らずに読むとそうなる
定義を読んだら自分で例を作って理解しとけ
自分で例を多く作ればイメージが出来る
これが出来なきゃ数学はできんから問題やるだけムダ

214132人目の素数さん2018/02/04(日) 22:10:17.02ID:b+9WtU9T
物理的な対応物がない求積に邁進する数3ベースの受験数学って素敵やん?

215132人目の素数さん2018/02/05(月) 14:04:51.69ID:gs2rJa9P
斎藤毅著『集合と位相』を読んでいます。

「包含写像 φ → Y は、空集合から Y へのただ1つの写像である。」

と書いてあります。

これはなぜなのでしょうか?

空集合から Y への写像がただ一つ存在するというのは分かりますが、
それがなぜ包含写像になるのでしょうか?

216132人目の素数さん2018/02/05(月) 14:54:05.72ID:8fWYTgRW
空集合はPの部分集合だから

217132人目の素数さん2018/02/05(月) 14:54:23.00ID:8fWYTgRW
Yの

218132人目の素数さん2018/02/05(月) 19:21:16.59ID:Z3C4WHQd
問. 半群S(可換でなくても)において (ab)^m = a^m b^m が m=2, 3 で成立するならば、すべての mについて成立することを証明せよ。
(ヒント: m=2, n, n+1, n+2 のとき成立するならば m=n+3 のときにも成立することを示せ)
田村孝行, 半群論 (共立講座 現代の数学) p.4 より

半群ってのは群の公理のうち [単元の存在][逆元の存在] が抜けてるやつの事です。
ヒントに沿うどころか m=5 ですらお手上げでした。どうか証明をお願いします。
m=4 の場合
(ab)^4 = abab abab = aabb aabb
= aa aa bb bb = a^4 b^4

219132人目の素数さん2018/02/05(月) 19:25:04.27ID:Z3C4WHQd
追記: 文脈上 a, b ∈ S は特別な a, b じゃなくて一般的な要素を表してると思います。

220132人目の素数さん2018/02/05(月) 21:20:27.96ID:hVMqE3T+
(ab)^(n+3)
= aba (ba)^n bab = aba b^n a^n bab [m=n]
= (ab)^2 b^(n-1) a^(n-1) (ab)^2 = a^2 b^2 b^(n-1) a^(n-1) a^2 b^2 [m=2]
= a^2 b^(n+1) a^(n+1) b^2 = a^2 (ba)^(n+1) b^2 [m=n+1]
= a (ab)^(n+2) b = a a^(n+2) b^(n+2) b [m=n+2]
= a^(n+3) b^(n+3)
一種のパズルだね

221132人目の素数さん2018/02/05(月) 21:49:36.42ID:Z3C4WHQd
>>220
しゅ、しゅごい... 完全に理解できました。ありがとうございます。

ちょうど試行錯誤で m=5 が出来てたとこだったのでついでに貼っておきます。
(ab)^5
= abab[ab ab ab] = abab[aaa bbb] (∵m=3)
= ababa[aabb]b = ababa[abab]b (∵m=2)
= ab[a ba a ba]bb = ab[aa baba]bb (∵m=2)
= [a ba a ba] babb= [aa baba] babb (∵m=2)
= a[ab ab ab ab]b = a[aaaa bbbbb]b (∵m=4)
= a^5 b^5

222132人目の素数さん2018/02/07(水) 12:50:20.51ID:acmo0URs
行列X, A について
A = X^(-1) A X
が成り立つことを
これをただの微分方程式に当てはめると
X を dx 微分とすると
a = ∫ a dx
ってことになるの?

223132人目の素数さん2018/02/07(水) 13:41:11.99ID:sBKEfqjj
何の関係もない

224132人目の素数さん2018/02/07(水) 17:48:27.58ID:cblN/v6j
a=(d/dx)∫adx なら、どうよ?

225132人目の素数さん2018/02/07(水) 19:29:52.84ID:IXE90lwy
そもそも行列に関数や作用素を代入して意味があると思うのか
しかもこの場合同じ行列(空間の元)に作用素と微分形式という全く異なるものを代入してるし

226132人目の素数さん2018/02/07(水) 22:52:38.28ID:cblN/v6j
作用素 X,A について A = X^(-1) A X が成り立つことを、
線型作用素 X,A にあてはめた場合と
微分作用素 X,A にあてはめた場合を比較したと考えたら
どうよ?

227132人目の素数さん2018/02/07(水) 23:03:29.79ID:RLIi/erX
行列や作用素で A = X^(-1) A X は恒等式じゃなかろうに

228132人目の素数さん2018/02/08(木) 08:31:42.30ID:+maJgh+U
>>225
単に次元(ランク)が違うだけでしょ

229132人目の素数さん2018/02/08(木) 08:37:10.24ID:+maJgh+U
>>227
そりゃ恒等じゃないでしょ
相似行列ってことでしょ
微積だと相似微積方程式みたいな?

230132人目の素数さん2018/02/08(木) 12:33:45.53ID:ZwgC3tqP
「実数x,aについてa=x^(-1)axが成り立つことを
これをただの関数方程式に当てはめると
a=hag(hはgの右逆写像、aは定値関数)
ってことになるの?」


もう一度聞くが、こんなことに意味があると本当に思っているのか?
んで「次元(ランク)が違うだけ」の意味も分からん
後はどうでもいいけど、∫adxはaという関数に積分作用素が掛かってるんだから比較するとしたらA=X^(-1)AXじゃなくてA= X^(-1)XAじゃね?

231132人目の素数さん2018/02/08(木) 12:48:30.83ID:2wLsAeAb
関数空間を無限次元ベクトル空間だと考えて、微分積分を線形写像と考えれば、微分積分は行列で表すことができるかと思います

232132人目の素数さん2018/02/08(木) 16:51:11.92ID:3EnDWcyF
N=2(n−1乗)×(2(n乗)-1)
2(n乗)-1 が素数のとき、NのN以外の約数の和を求めよ

これどうやったらええか分からないです。これの前の問題でNの約数の個数を求める問題があって、それは2n個と出せたのですが、、、、、

233132人目の素数さん2018/02/08(木) 23:02:15.32ID:CbA+2eQz
>>232
これは「大学学部レベル」ではないぞ
1,2,2^2, と、1×(2(n乗)-1),2×(2(n乗)-1),(2^2)×(2(n乗)-1)
という二つの有限等比数列の和からNを引くだけ

234132人目の素数さん2018/02/08(木) 23:04:29.14ID:KjVcfdlC
>>230
>後はどうでもいいけど、∫adxはaという関数に積分作用素が掛かってるんだから比較するとしたらA=X^(-1)AXじゃなくてA= X^(-1)XAじゃね?
だね

235132人目の素数さん2018/02/11(日) 14:13:56.35ID:ZnNSfrVn
「よりみち33」が言っていることがよく分かりません。
解説をお願いします。


問題2.3.3

f : X → Y を写像とする。次の条件 (1) と (2) は同値であることを示せ。

(1) f は可逆である。
(2) 任意の集合 Z に対し、写像 f^* : Map(Y, Z) → Map(X, Z) は可逆である。

よりみち33

問題2.3.3 より、集合は、その集合から他の集合への写像が決まれば、
決まってしまうものと考えられる。このことを使って、集合を他の集合への
写像を使って特徴づけることを、普遍性(universality)による特徴づけという。

236132人目の素数さん2018/02/11(日) 14:22:17.86ID:ZnNSfrVn
f^* : Map(Y, Z) → Map(X, Z) は、

Map(Y, Z) ∋ g → g 〇 f ∈ Map(X, Z)

という写像です。

237132人目の素数さん2018/02/11(日) 14:32:24.49ID:ZnNSfrVn
>>235



問題2.3.3 より、集合(X や Y)は、その集合(X や Y)から他の集合(Z)への写像が決まれば、
決まってしまうものと考えられる。

という意味ですか?

238132人目の素数さん2018/02/11(日) 22:08:44.90ID:OZyzokkP
まあそれでもいいんじゃない?

239132人目の素数さん2018/02/12(月) 00:54:09.39ID:tiW/EINP
(∂u/∂t)+5(∂u/∂x)=0 (x>0,t>0)

u(x,0)=0 (x≧0)

u(0,t)=(t^2)*(e^t) (t≧0)


の条件下でu(x,t)を求める問題が分かりません…
学部二年生です

240132人目の素数さん2018/02/12(月) 01:45:38.03ID:VRyX6XJ/
(1/25) (5t - x)^2 exp(t - x/5)

241132人目の素数さん2018/02/12(月) 02:25:17.57ID:z/TwUHDV
>>240
ありがとうございます!
導出もお願いします…

242132人目の素数さん2018/02/12(月) 02:33:22.64ID:z/TwUHDV
連投すみません
>>240
tが0のときxに関係なくuが0になりますかこれ

243132人目の素数さん2018/02/12(月) 07:42:53.11ID:BX0xHGrQ
xyに線形変換
y=x-5t
ux=ux+uy
ut=-5uy
ut+5ux=5ux=0
u=fy=f(x-5t)
NG

244132人目の素数さん2018/02/12(月) 11:37:33.10ID:yW8ddm1n
斎藤毅著『集合と位相』を読んでいます。

「X を集合とし、 (X_i) i ∈ I を X の部分集合の族とする。
X の元の族 (x_i) i ∈ I が、任意の i ∈ I に対し、 x_i ∈ X_i をみたすとき、
(x_i) i ∈ I は (X_i) i ∈ I の元の族であるという。

Π X_i = {(x_i) i ∈ I ∈ Map(I, X) | ∀i ∈ I x_i ∈ X_i}

は、 (X_i) i ∈ I の元の族全体のなす集合ということになる。これを、
集合族 (X_i) i ∈ I の積とよぶ。」

と書いてあります。

その後、選択公理のところで、

「(X_i) i ∈ I を集合族とし、任意の i ∈ I に対し X_i ≠ φ であるとする。
このとき、積 Π X_i も空集合でない。」

という箇所があります。

選択公理のところでは、 (X_i) i ∈ I は X の部分集合の族とは仮定されていません。
「積」が定義されているのは、 (X_i) i ∈ I が X の部分集合の族のときだけです。

これはごまかしではないでしょうか?

245132人目の素数さん2018/02/12(月) 11:39:04.82ID:yW8ddm1n
(X_i) i ∈ I は ∪ X_i の部分集合の族と考えるということでしょうか?

246132人目の素数さん2018/02/12(月) 11:44:30.10ID:dJ6x5l8V
分かってる事を何故聞く

247132人目の素数さん2018/02/12(月) 11:46:35.51ID:yW8ddm1n
斎藤毅著『集合と位相』を読んでいます。

「I が有限集合のときは、選択公理を仮定しなくても、任意の i ∈ I に対し
X_i ≠ φ ならば、 Π X_i ≠ φ である。これは、 I の元の個数が 2 以下
なら明らかであり、」

と書いてあります。

「I の元の個数が 2 以下なら明らか」と書いていますが、なぜ、
I の元の個数が 3 以上のときには明らかではないのでしょうか?

なぜ「2以下」と書いたのでしょうか?

248132人目の素数さん2018/02/12(月) 11:57:24.23ID:IoO/5qAd
積はまず2個で定義するから

249132人目の素数さん2018/02/12(月) 12:05:11.06ID:yW8ddm1n
>>248

でも斎藤毅さんの本では、まず I = φ のときに積を定義しています。

250132人目の素数さん2018/02/12(月) 12:13:42.50ID:IoO/5qAd
>>249
げソーナンスか

251132人目の素数さん2018/02/12(月) 12:14:59.14ID:IoO/5qAd
でも3以上で定義に使うのは本質的には2個の場合だからでしょうね

252132人目の素数さん2018/02/12(月) 22:04:38.28ID:dJ6x5l8V
ただの自慢

253132人目の素数さん2018/02/13(火) 10:34:37.30ID:Tp8iF5+x
斎藤毅著『線形代数の世界』を読んでいます。

n ≧ 0 を自然数とすると、
K^n = {(a_1, …, a_n) | a_1, …, a_n ∈ K} はベクトル空間になる。

という内容が書いてあります。

(a_1, …, a_n) と書いた以上、 n ≧ 1 でなければならないのではないでしょうか?


n = 0 の場合は、 K^0 は空写像からなる線形空間ということでしょうか?

254132人目の素数さん2018/02/13(火) 10:40:50.02ID:Tp8iF5+x
空写像の和なんて定義できるんですか?

255132人目の素数さん2018/02/13(火) 11:12:48.17ID:cZFEnVOE
>>253
I=φで積を定義してるんでしょ?
K^0もそれで定義するから何が含まれるかあなたは知っているのでしょ?

256132人目の素数さん2018/02/13(火) 11:41:25.43ID:fGBsGkZV
知ってて質問する奴は荒らし

257132人目の素数さん2018/02/13(火) 11:42:27.41ID:Tp8iF5+x
K^0 = {0} の2番目に出てくる 0 は空写像のことですか?
空写像の和など定義できるのでしょうか?

K^0 = {0} は単なる定義でしょうか?

258132人目の素数さん2018/02/13(火) 12:52:57.54ID:Tp8iF5+x
K^n というのは {i ∈ N | 1 ≦ i かつ i ≦ n} から K への写像の集合ですよね?


ベクトル a : {i ∈ N | 1 ≦ i かつ i ≦ n} → K
ベクトル b : {i ∈ N | 1 ≦ i かつ i ≦ n} → K

に対して、その和は以下で定義される。

(a + b)(i) := a(i) + b(i)

n ≧ 1 ならば問題ありませんが、 n = 0 のときには、

a + b が定義できませんよね?

259132人目の素数さん2018/02/13(火) 12:55:31.09ID:Tp8iF5+x
空写像 + 空写像 = 空写像
任意の K の元 c に対し、 c * 空写像 = 空写像

と定義すれば、 K^0 = {空写像} はベクトル空間になる。

ということですよね?

260132人目の素数さん2018/02/13(火) 12:58:59.59ID:Tp8iF5+x
n ≧ 1 のときの K^n における加法やスカラー倍の定義を
n = 0 の場合には適用できませんよね?

261132人目の素数さん2018/02/13(火) 13:00:14.61ID:Tp8iF5+x
いずれにしても、斎藤毅さんの『線形代数の世界』には問題がありますね。

そもそも空写像について説明していません。

262132人目の素数さん2018/02/13(火) 13:16:30.74ID:MXJR0i+Q
>>258
その定義だと確かに3個以上を別にする必要ないような
まあそれはそれとして
その定義のベクトルは
v,w:I->K
であり
Δ:I->I×I
p:K×K->K

Δi=(i,i)
p(a,b)=a+b
としたとき
ベクトルの和は
p(v×w)Δ
のことです
I=φ
でも問題なく定義されるでしょ?

263132人目の素数さん2018/02/13(火) 13:27:10.51ID:1ulUXabW
空写像の奴ここで相手されててよかったね

264132人目の素数さん2018/02/13(火) 13:52:56.54ID:Tp8iF5+x
>>262

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

265132人目の素数さん2018/02/13(火) 13:56:14.98ID:Tp8iF5+x
log : {x ∈ R | x > 0} → R を対数関数とする。

このとき、

log(-1) = 1

は命題でしょうか?

log は正の実数に対して定義されているので、 log(-1) というのはナンセンスです。

だから、

log(-1) = 1

の真偽は問題にできないと思います。だから命題ではないように思います。

266132人目の素数さん2018/02/13(火) 14:06:16.67ID:MXJR0i+Q
スカラー倍は
μ:K×K->K

μ(a,b)=ab
と定義して
a:I->K×I

a(i)=(a,i)
と定義して
μ(1×v)a
で定義するから
I=φでもなんの問題もない

267132人目の素数さん2018/02/13(火) 16:48:57.24ID:MXJR0i+Q
>>249
写像を定義するのに積集合は使わずに素朴な定義でやってるの?

268132人目の素数さん2018/02/13(火) 16:56:44.03ID:7tA+sR8l
その人、数日前には空写像なんてものは存在しないと言ってた人だからね
厳密さに拘りまくって数学者に駄目出ししてやるぜ、ってなつもりなんだろうけど、それが錯覚だと気付いてない

269132人目の素数さん2018/02/13(火) 18:58:34.92ID:fGBsGkZV
理解力が無いと言葉尻しか追えないんさ

270132人目の素数さん2018/02/13(火) 19:08:25.42ID:1A8A8lrB
基礎論厨乙

271132人目の素数さん2018/02/13(火) 20:11:07.50ID:Tp8iF5+x
>>267

f = (Γ, X, Y) を写像と定義しています。

272132人目の素数さん2018/02/13(火) 20:25:54.70ID:Tp8iF5+x
https://imgur.com/sDQN178.jpg
https://imgur.com/KuG4vDI.jpg

↑2枚目の画像の赤線で囲ったところはおかしいですよね。

「A ならば B」は真である

が正しいですよね。

273132人目の素数さん2018/02/13(火) 20:27:08.61ID:Tp8iF5+x
N=A ならば N=B

と書いてありますが、ナンセンスですよね。

N=A ならば B

が正しいですよね。

274132人目の素数さん2018/02/13(火) 20:28:00.58ID:cZFEnVOE
>>271
Γってたぶん``graph''からだろうから
(x,y),(x,z)∈Γ->y=z
が成り立つX×Yの部分集合のこと?なら積集合が写像より前に定義されているんだよね
なら
K^0,K^1,K^2の定義が{0},K,K×Kと同一視(同等)できることを見た上で
K^(n+1)とK×K^nが同一視(同等)できることを帰納的に証明するのかしら

275132人目の素数さん2018/02/13(火) 21:02:23.87ID:sOFKqBoa
AならばB が真 ⇔ Aが真 ならば Bが真

276132人目の素数さん2018/02/13(火) 21:14:18.97ID:Tp8iF5+x
A → B が真 ⇔ Aが偽 または Bが真

ではないでしょうか?

277132人目の素数さん2018/02/13(火) 23:19:10.00ID:1Bw+/4SO
>>276
N|=AならばN|=B
↑の「ならば」というのは、メタの意味で、数学で通常定義される「ならば」と同じです
すなわち、あなたの解釈で合っていますが、本が間違っているわけではありません

278132人目の素数さん2018/02/14(水) 00:52:51.53ID:bHiayHdL
文脈がわからんからどうしょうもない

279132人目の素数さん2018/02/14(水) 01:20:29.28ID:bGPS4XC6
文脈も何も、数学で「ならば」といったら意味は一つしかないですよ

280132人目の素数さん2018/02/14(水) 01:46:27.52ID:TXT4lmT9
>>265
-1はR+の要素ではないので
(-1,1)はR+×Rの要素ではない
つまり
log(-1)=1
は偽の命題です

281132人目の素数さん2018/02/14(水) 01:51:01.23ID:bHiayHdL
じゃあその意味を言ってみて?

282132人目の素数さん2018/02/14(水) 01:51:58.84ID:TXT4lmT9
考えにくければ
i∈R
が偽の命題だという認識を持つと良いでしょう
写像も只の集合なのですから
集合の要素であるかどうか
定義域や値域に入っていようが居まいが
真偽が定まります

283132人目の素数さん2018/02/14(水) 01:53:22.96ID:TXT4lmT9
>>281
私にですね?
その上に書いたではありませんか
(-1,1)∈log
が偽であるということです

284132人目の素数さん2018/02/14(水) 01:53:25.91ID:bHiayHdL
>>281>>279へのレス

285132人目の素数さん2018/02/14(水) 01:54:50.43ID:TXT4lmT9
>>284
すんません

286132人目の素数さん2018/02/14(水) 01:54:59.47ID:bGPS4XC6

287132人目の素数さん2018/02/14(水) 03:34:56.83ID:bHiayHdL
>>286
それ、述語論理での話だろ?

288132人目の素数さん2018/02/14(水) 03:49:27.24ID:bGPS4XC6
>>287
数学でならばと言ったら、述語論理のこの意味しかあり得ません

あなたは何だと思ってたんですか?
この意味ではないと思っていたような雰囲気ですね

289132人目の素数さん2018/02/14(水) 03:59:03.17ID:bHiayHdL
>>287

正しくはA→B⇔ Aの否定∨B. 

290132人目の素数さん2018/02/14(水) 04:02:43.21ID:bGPS4XC6
>>289
そういう話ですか?
あなたのそれは、あくまで統語的な定義ですよね
今は意味論的な話をしているわけで、>>276でも問題ないかと思います
N-構造における論理式の解釈の話ですから

291132人目の素数さん2018/02/14(水) 04:31:33.06ID:bHiayHdL
>>288 >>290
実無限を導入するかしないかで変わってくる。

292132人目の素数さん2018/02/14(水) 06:38:38.10ID:bGPS4XC6
>>291
自分の知っている言葉を並べるだけでは、わかっていることになりませんよ?

今関係ないですよね、そんなこと

293132人目の素数さん2018/02/14(水) 06:39:34.85ID:Xxkf7kQB
余計関係ないけど、深夜の1時からここに貼り付いてるとか、ニート?

294132人目の素数さん2018/02/14(水) 11:13:26.05ID:e0Deyxfc
>>280

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

295132人目の素数さん2018/02/14(水) 12:41:46.54ID:PtKZbQJ0
条件が偽だとどんな結論を持ってきてもその命題は真になるということが大発見であって笑
それを使えば数学の不完全な部分が指摘できる笑というひとが書き込みを続けているみたいだな。マルチで。

296132人目の素数さん2018/02/14(水) 12:46:13.16ID:0z60+WrJ
実無限を導入するかしないかで変わってくるんですか?笑

297132人目の素数さん2018/02/14(水) 12:55:19.98ID:e0Deyxfc
Π_{i ∈ I} X_i := {(x_i)_{i ∈ I} ∈Map(I, X) | ∀i ∈ I x_i ∈ X_i}

I = φ のとき、

Π_{i ∈ I} X_i := {(x_i)_{i ∈ I} ∈Map(I, X) | ∀i ∈ I x_i ∈ X_i}

はどう考えればいいのでしょうか? 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

298132人目の素数さん2018/02/14(水) 13:00:25.90ID:e0Deyxfc
x ∈ φ ⇒ log(x) > 0

は命題ですか?

299132人目の素数さん2018/02/14(水) 13:02:04.05ID:ceL8D3FF
繰り返しても答は変わらん

300132人目の素数さん2018/02/14(水) 13:02:49.64ID:e0Deyxfc
log : {x ∈ R | x > 0} → R を対数関数とする。

このとき、

log(-1) > 0

は命題でしょうか?

301132人目の素数さん2018/02/14(水) 13:07:48.98ID:LvtT7aSm
このスレは浄化中です。書き込みをお控えください。

302132人目の素数さん2018/02/14(水) 13:10:30.70ID:e0Deyxfc
log = (Γ, R+, R)

とする。

log(x) > 0

を論理記号で書くと以下でOKですか?

∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' ((x, y') ∈ Γ)) ⇒ y = y') ∧ y > 0)

303132人目の素数さん2018/02/14(水) 13:12:51.10ID:e0Deyxfc
log = (Γ, R+, R)

とする。

log(x) > 0

を論理記号で書くと以下でOKですか?

∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' (y' ∈ R ∧ (x, y') ∈ Γ) ⇒ y = y') ∧ y > 0)

304132人目の素数さん2018/02/14(水) 13:18:08.42ID:e0Deyxfc
log = (Γ, R+, R)

とする。

∀x (x ∈ φ ⇒ ∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' (y' ∈ R ∧ (x, y') ∈ Γ) ⇒ y = y') ∧ y > 0)

305132人目の素数さん2018/02/14(水) 14:55:24.41ID:Jd0FTcmG
アスペのエネルギーはどこから来るのでしょうか?

306132人目の素数さん2018/02/14(水) 15:56:32.15ID:ErIN8CM9
>>300
一般的な述語論理において、関数とは任意の対象において定義されなければなりません
従って、そのような定義域を定めることは、通常の述語論理の範囲外ということになります
多ソート述語論理などでは、このような定義域の設定を行えるようですが私は詳しくはわかりません

307132人目の素数さん2018/02/14(水) 19:01:39.46ID:aL0v3Mz0
>>297
まずXiはどのように定義されましたか
それはあるXにおいての
ξ:I->2^X
のことでしたね
てすから
ΠXi={f:I->X|fi∈Xi}
とは
ε⊂X×2^X

ε={(x,A)|x∈A⊂X}
と定義したとき
ΠXi={f:I->X|∃g:I->ε(g=(f×ξ)Δ)}
と定義されるのです
I=φ
のときは
まずξやfは空集合の包含写像0しかあり得ず
空集合の包含写像をgとして条件成立しますので
ΠXi={0}
です

308132人目の素数さん2018/02/14(水) 19:08:14.18ID:aL0v3Mz0
>>298
>はR×Rの
部分集合ですね?
logx>y
とは
∃z((x,z)∈log∧(z,y)∈>)
ということですので
log-1>1
は偽の命題です

309132人目の素数さん2018/02/14(水) 19:09:08.90ID:aL0v3Mz0
上記は>>300

310132人目の素数さん2018/02/14(水) 19:10:34.40ID:aL0v3Mz0
>>298
そのようなxが
存在しませんので
真の命題です

311132人目の素数さん2018/02/14(水) 19:11:47.75ID:aL0v3Mz0
>>302
NGです

312132人目の素数さん2018/02/14(水) 21:23:42.92ID:ceL8D3FF
相手にするのは無駄だと思うがね

313132人目の素数さん2018/02/14(水) 22:50:53.14ID:L6neC2d1
a

314132人目の素数さん2018/02/15(木) 03:40:23.68ID:rV8TFwlJ
>>292
なにもわかっちゃいないなぁ

315132人目の素数さん2018/02/15(木) 03:46:22.56ID:j7rjButq
何かが分かっているみたいで偉いですね

316132人目の素数さん2018/02/15(木) 04:12:53.21ID:ZMKbd0Oc
τ関数って導入して何がしたいのかよくわからないんですが、
明確な目的ってあるんですか?

317132人目の素数さん2018/02/15(木) 09:32:57.94ID:uTQOp3AN
>>314
実無限が関係あるとするならば、直感主義的な量化の話になるかと思いますけど、そんなこと関係ないですよね
今は古典論理の話なんですから

318132人目の素数さん2018/02/15(木) 09:36:55.25ID:uTQOp3AN
古典論理ならば実無限を前提としているので関係あるっちゃあるんですかね
まあ、とにかく量化が絡まなければ実無限云々が関係ないということは確かなわけですから同じことですね

319132人目の素数さん2018/02/15(木) 10:36:47.20ID:4QK2LXHp
>>307

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

Δ : I ∋ i → (i, i) ∈ I × I
f×ξ : I × I ∋ (i, i) → (f(i), ξ(i)) ∈ X × 2^X
(f×ξ) 〇 Δ : I ∋ i → (f(i), ξ(i)) ∈ X × 2^X

Π X_i = {f : I → X | ((f×ξ) 〇 Δ)(I) ⊂ ε}

ということですね。

320132人目の素数さん2018/02/15(木) 10:46:57.38ID:4QK2LXHp
>>307

I = φ のとき、空集合の包含写像 0 ∈ Π X_i = {f : I → X | ∃g : I → ε (g = (f × ξ) 〇 Δ)}

(0 × ξ) 〇 Δ = 0 の左辺はどう考えればいいのでしょうか?

Δ : φ ∋ i → (i, i) ∈ φ × φ は 0
0 ×ξ : φ = φ × φ ∋ (i, i) → (f(i), ξ(i)) ∈ X × 2^X も 0

なんかよくわからないのですが。

321132人目の素数さん2018/02/15(木) 11:13:02.99ID:gCnkTTzV
>>320
0です

322132人目の素数さん2018/02/15(木) 13:23:04.68ID:In1Lg45w
定義を使えん奴に結果だけ言っても無駄じゃないか

323132人目の素数さん2018/02/15(木) 14:01:09.02ID:4QK2LXHp
Π X_i = {f : φ → X | ∃g : φ → ε (g = (f × ξ) 〇 Δ)} = {0}

を確かめるにはどうすればいいのですか?

f : φ → X
の候補は 0 だけです。

よって、

Π X_i = {f : φ → X | ∃g : φ → ε (g = (f × ξ) 〇 Δ)} ⊂ {0}

です。

Π X_i = {f : φ → X | ∃g : φ → ε (g = (f × ξ) 〇 Δ)} ⊃ {0}

を確かめるには、

∃g : φ → ε (g = (0 × ξ) 〇 Δ) が真であることを確かめればOKです。

∃g : φ → ε
の候補は 0 だけです。

なので、

0 = (0 × ξ) 〇 Δ

が真であることを確かめればOKです。

324132人目の素数さん2018/02/15(木) 14:04:58.07ID:4QK2LXHp
(0 × ξ) 〇 Δ の定義域は φ だから
(0 × ξ) 〇 Δ = 0

ということでいいのでしょうか?

(0 × ξ) 〇 Δ がどんなものなのかは一切考えずに定義域が φ だから
ということでそれは 0 であると言っていいのでしょうか?

325132人目の素数さん2018/02/15(木) 18:24:02.00ID:gCnkTTzV
>>324
>(0 × ξ) 〇 Δ がどんなものなのかは一切考えずに
結局それでいいんだけど
ちゃんと考えてよ
元に依らない写像の合成の定義は?

326132人目の素数さん2018/02/15(木) 18:37:28.56ID:rV8TFwlJ
>>318
A→B、この言明はAが真であって、Bが偽であるとき、そのときに限って偽である。

327132人目の素数さん2018/02/15(木) 18:47:38.03ID:MPR2t3A3
>>326
で?
それと実無限に何の関係があるんですか?

328132人目の素数さん2018/02/15(木) 19:45:26.48ID:rV8TFwlJ
>>327
集合論を何の批判もなしに用いるのが実無限。述語論理とはそういうもの。

329132人目の素数さん2018/02/15(木) 21:37:54.69ID:bTbX+hyf
>>328
メタと対象の区別がつかない人にはそう見えますね

で、それと>>326は何の関係があるんですか?

330132人目の素数さん2018/02/15(木) 22:25:04.78ID:/4/K+H0+
>>316
ラマヌジャンのτ関数のこと?L関数 
Σ_n=1 to ∞(τ(n)/(n^s))
=Π_p:素数 (1 - τ(p)/(p^s) + 1/(p^(2s-11)))^(-1)
というように、オイラー積にp:素数の2s乗の項が出てくるのは
数学史上 τ関数のL関数が初めてで
(ゼータ関数を無限積展開してもp^sまでしか出てこないよね)、
これがいろんなL関数をいろんな角度から分析しようという流れの一因に
なったのは間違いないと思う
専攻してたわけじゃないから詳しくは知らないが

331132人目の素数さん2018/02/15(木) 23:44:43.37ID:rV8TFwlJ
>>329
分からない人だな。A→BはAの否定∨Bと等値であることしか言えないのは述語論理の中だけだ。

332132人目の素数さん2018/02/16(金) 00:08:03.19ID:DNjgGs93
>>331
古典論理の間違えですよね?
述語論理とは、ある、や、全て、を表現する論理全般を指す用語です
ならば、は述語論理ではなく命題論理の範疇です
直感主義論理では、A→Bと¬A∨Bは同じではありません

って、もしかして、ならば、は必ず変数含まれてないとダメとか思ってたりしますか?
つまり、変数の概念のない命題論理では扱えないものだと思ってますか?

いよいよ、あなたのレベルの低さがどの程度なのかわからなくなってきましたね
知ったかぶりもそれくらいにしときましょうよ
今ならごめんなさいで許してあげますよ

333132人目の素数さん2018/02/16(金) 00:27:36.90ID:giEIN2Cz
空手踊りってどんな踊りですか?

334132人目の素数さん2018/02/16(金) 01:07:49.20ID:MAbnZfAt
Constantin Carathéodory

335DJ学術 2018/02/16(金) 08:43:02.79ID:yN3n4O8g
低レベルの自覚か。玄孫なんて考えると 下仕えレベルの低さと、
玄孫のハイレベルな出来栄えが気にかかる。記号がよくわからないから、記号の説明もつけといてね。速読すればいいわけだったけど。記号 サイン もこだわってくれてどうも。

336132人目の素数さん2018/02/16(金) 09:05:30.68ID:Dex7qXuX
黒板に「空手踊り」と書いて滑らせた伊藤先生(楽)

337DJ学術 2018/02/16(金) 09:33:54.75ID:yN3n4O8g
踊念仏の方が暴力かどうか。

338132人目の素数さん2018/02/16(金) 10:10:36.21ID:SUV+XMr7
>>332
......。

339132人目の素数さん2018/02/16(金) 10:11:21.72ID:+13GJtfl
>>338
私の話についていけなくなりましたか?
早く認めたらどうです?

340DJ学術 2018/02/16(金) 11:12:26.98ID:yN3n4O8g
レベル 高 高邁 女性 レベル 低 下僕 男子。

341132人目の素数さん2018/02/16(金) 14:06:55.25ID:s/7VVjZ5
>>325

0 = (0 × ξ) 〇 Δ

(0 × ξ) 〇 Δ のグラフ Γ_(0 × ξ) 〇 Δ は、

Γ_(0 × ξ) 〇 Δ = {(x, z) | (x, z) ∈ φ × (X × 2^X) ∧ ∃y ∈ φ × φ ( (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )}

(x, z) ∈ φ × (X × 2^X) となるような x は存在しないので、

Γ_(0 × ξ) 〇 Δ = φ

である。

よって、

0 = (0 × ξ) 〇 Δ

が成り立つ。



∃y ∈ φ × φ ( (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )

すなわち、

∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )

についてですが、存在しない x を使っていますが、こういうのはありなんでしょうか?

342132人目の素数さん2018/02/16(金) 14:10:27.11ID:s/7VVjZ5
あ、ありっぽいですね。

∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )



x, z についての条件ですね。

343132人目の素数さん2018/02/16(金) 14:27:27.99ID:s/7VVjZ5
∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )

は、

∃y (y ∈ φ ∧ (x, y) ∈ φ ∧ (y, z) ∈ φ )

で、

∃y (y ∈ φ)
∃y ((x, y) ∈ φ)
∃y ((y, z) ∈ φ )

はすべて偽ですね。

344132人目の素数さん2018/02/16(金) 14:34:56.35ID:s/7VVjZ5
Γ_(0 × ξ) 〇 Δ

=

{(x, z) | (x, z) ∈ φ × (X × 2^X) ∧ ∃y ∈ φ × φ ( (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )}

=

{(x, z) | (x, z) ∈ φ ∧ ∃y (y ∈ φ) ∧ ∃y ((x, y) ∈ φ) ∧ ∃y ((y, z) ∈ φ)}

345132人目の素数さん2018/02/16(金) 14:52:25.53ID:vemhcT8l
いい感じです
Γf={(x,y)∈X×Y|y=f(x)}
Γg={(y,z)∈Y×Z|z=g(y)}
としたとき
(X×Γg)∩(Γf×Z)⊂X×Y×Z

π:X×Y×Z-> X×Z
で落とした像が
Γgf=π ((X×Γg)∩(Γf×Z))
となります
X=φ
のときは
f=0
Γf=φ
(X×Γg)∩(Γf×Z)=φ
より
Γgf=φ
gf=0
となりますので
空集合からの写像は必ず存在ししかも0しかないわけですので考えやすいのです
このことを空集合はinitialだとも言います

346DJ学術 2018/02/16(金) 14:53:52.27ID:yN3n4O8g
空 般若心経の 観自在菩薩でもお経がダメだよな。新作書かないと。

347132人目の素数さん2018/02/16(金) 15:58:24.07ID:SUV+XMr7
>>339
......。

348132人目の素数さん2018/02/16(金) 16:20:06.02ID:OqyJhrcN
>>347
それ以外言えなくなっちゃったんですね
どれほど知能が低いのでしょうか

349132人目の素数さん2018/02/16(金) 19:19:32.14ID:SUV+XMr7
>>348
もう少し述語論理がどういうものかを勉強したほうがいい。

350132人目の素数さん2018/02/16(金) 19:20:23.23ID:kjqo/yNq
>>349
あなたが、ということですよね?

351132人目の素数さん2018/02/16(金) 19:22:07.07ID:kjqo/yNq
ならば、の話なのに「述語論理」と言ってる時点で程度が知れるんですよw

352132人目の素数さん2018/02/16(金) 19:32:09.17ID:SUV+XMr7
>>351
今でのレスの流れ無視してるの?

353132人目の素数さん2018/02/16(金) 19:33:44.14ID:SUV+XMr7
>>351
今までのレスの流れ無視してるの?

354132人目の素数さん2018/02/16(金) 19:35:06.03ID:kjqo/yNq
>>353
あなたが無視してるということですね?

355132人目の素数さん2018/02/16(金) 19:40:53.13ID:SUV+XMr7
>>354
稚拙なトリックだな。

356132人目の素数さん2018/02/16(金) 19:44:54.26ID:kjqo/yNq
>>355
ではあなたの意見をお願いします
もう一度

357132人目の素数さん2018/02/16(金) 19:53:24.05ID:GObStmCW
「......。」などと、その場しのぎの無意味なレスしてる人が
「レスの流れ無視してるの?」「稚拙なトリックだな。」だってさwww

358132人目の素数さん2018/02/16(金) 19:56:50.10ID:08rffEXm
劣等感婆の相手して何が面白い?

359132人目の素数さん2018/02/16(金) 20:26:49.72ID:SUV+XMr7
>>358
>劣等感婆の相手して何が面白い?
述語論理を「ある、や、全て、を表現する論理全般」としている理由を知りたくてね。

360132人目の素数さん2018/02/16(金) 20:41:55.64ID:08rffEXm
荒らしはスルーしろ、他の人の迷惑だ。勉強したければ自分でやれ

361132人目の素数さん2018/02/16(金) 21:07:16.99ID:SUV+XMr7
>>360
>荒らしはスルーしろ、他の人の迷惑だ。勉強したければ自分でやれ
は?もしかしてお前もそう信じているのか?

362132人目の素数さん2018/02/16(金) 21:19:30.72ID:jloDVB38
>>359
古典論理における述語論理しか知らないからわからないんでしょうねー

363132人目の素数さん2018/02/16(金) 21:40:41.59ID:GObStmCW
>>361
少なくともこの件に関してはアホはおまえだけだぞ

364132人目の素数さん2018/02/16(金) 22:03:45.06ID:SUV+XMr7
>>363
バカはすっこんどれや?

365132人目の素数さん2018/02/16(金) 22:10:02.48ID:SUV+XMr7
>>362
......。

366132人目の素数さん2018/02/16(金) 22:27:26.04ID:SUV+XMr7
>>362
述語論理では言明は主語と述語に分解されているんだよ。

367132人目の素数さん2018/02/16(金) 22:44:51.97ID:tdTwAGJw
述語論理って有限の立場って言えるのかな
∀xP(x)=P(x1)∧P(x2)∧P(x3)∧…
でしょ?もちろんx1x2x3…xnのように有限で済まないから全称記号を使うんだけど
P(x)のxとして考えうるものって原理的にはすべての数学概念だし
実質的にもどんな多くの無限でもあり得るところを
実際書き出すことが出来ないのを``有限の立場''って言って良いものか

368132人目の素数さん2018/02/16(金) 22:47:05.40ID:tdTwAGJw
それに疑問持ったのは
実数の濃度がアレフ2だってことで
実数にはアレフ1の部分集合があるってことだけど
具体的に``これがそれ''って書き出せないんだよな
それでも述語論理でその集合を使うことに問題はないとされるわけだけど
ホントにそれでいいの?

369132人目の素数さん2018/02/16(金) 23:20:25.40ID:ZehYIO33
>>366
すみません、数理論理のちゃんとした言葉で話していただけますか?
曖昧なことしか知らないなら、やめてくださいね

>>367
実際に書き出すことは不可能でも、書き出す手順が具体的に記述できるならば、それは有限の立場だと言えます
もっと抽象化すれば、自然数との対応が取れれば良いのです

370132人目の素数さん2018/02/16(金) 23:24:51.78ID:rKq6lZd1
>>368
立場の問題になるでしょうね
ストイックに行くならば、そのような集合は扱わないということになるでしょう
対象となる集合はどれだけ大きくても構わない、として、証明を記述する際においてのみ有限の立場を取る、とすれば実数を扱うことができかつ有限の立場を取ることもできるでしょうね

371132人目の素数さん2018/02/16(金) 23:27:16.98ID:rKq6lZd1
まあ元はと言えば有限の立場とは証明論に関しての用語ですから、対象の集合が有限かどうかには関係ないのでしょうけど

372DJ学術 2018/02/17(土) 08:11:53.83ID:5j7H1MVc
あの集合問題難しかったか?唖然とするほど時間がかかったものが大かたが。

373132人目の素数さん2018/02/17(土) 08:12:10.93ID:5j7H1MVc
多かったがね。

374132人目の素数さん2018/02/17(土) 11:55:21.88ID:9MwPpx69
>>367
無限個の互いに異なる対象を構成することは不可能。

375132人目の素数さん2018/02/17(土) 13:49:44.51ID:30JSXDJH
>>374
自然数は有限個なんですかねw

376132人目の素数さん2018/02/17(土) 13:52:53.05ID:12Brn5VS
>>374
>>369 が正答してんだから馬鹿言うんじゃねーよ

377132人目の素数さん2018/02/17(土) 14:50:23.47ID:9MwPpx69
>>375 >>376
数学的帰納法の必要性を論じろ。

378132人目の素数さん2018/02/17(土) 15:00:10.44ID:lVgegKOL
>>377
メタな意味では数学的帰納法は認められていますから、自然数論を形式化したいならば、数学的帰納法も形式化しておく必要があります

379132人目の素数さん2018/02/17(土) 15:04:47.58ID:2G8ttfru
日本人は全員ゴミ

380132人目の素数さん2018/02/17(土) 15:37:43.86ID:9MwPpx69
>>378
可能無限て知ってるか?

381132人目の素数さん2018/02/17(土) 16:15:42.86ID:9MwPpx69
そもそも事の発端は>>272で、「等値である」ことの定義が命題論理と述語論理では違ってくるから
前後の文脈による、と言っているのを理解して欲しい。

382132人目の素数さん2018/02/17(土) 16:45:01.21ID:5XhgLvmG
>>380
知ってます

>>381
>>272のならばは、命題論理でも述語論理でもないメタな意味での記述です
知ったかぶりはいい加減にしましょうよ、もう

383132人目の素数さん2018/02/17(土) 16:58:33.21ID:5XhgLvmG
それに命題論理と述語論理で違ってくるということはないですからね

384132人目の素数さん2018/02/17(土) 18:03:44.67ID:9MwPpx69
>>383
知ったかぶりをしているのはオマエw

385132人目の素数さん2018/02/17(土) 18:48:47.86ID:7u6zK2+e
>>384
メタの概念がわからない人に言われたくはないですねー

386132人目の素数さん2018/02/17(土) 19:37:53.90ID:bATgAwzO
めためただー

387132人目の素数さん2018/02/18(日) 17:55:57.74ID:mJ26vB4R
>>384
おまいさん、多勢に無勢だな

388132人目の素数さん2018/02/19(月) 15:24:41.94ID:8n0E54WH
X ∩ 2^X ≠ φ となるような X の例を挙げよ。

389132人目の素数さん2018/02/19(月) 15:29:18.08ID:fngSh02B
φ

390132人目の素数さん2018/02/19(月) 16:24:53.18ID:sUgpud4p
{{}}

391132人目の素数さん2018/02/19(月) 16:35:41.37ID:ecDxjMH2
NULL

392132人目の素数さん2018/02/19(月) 16:46:14.04ID:8n0E54WH
>>390

X = { { } }
2^X = { { }, { { } } }

X ∩ 2^X = { { } } ≠ { }

確かに例になっていますね。

もっと「普通の」集合 X で例はないでしょうか?

明らかに X が有限集合のときには

X ∩ 2^X = φ

ですから、 X は無限集合になるかと思いますが。

393132人目の素数さん2018/02/19(月) 16:46:57.18ID:8n0E54WH
あ、訂正します。

X = { { } }

は有限集合ですね。

394132人目の素数さん2018/02/19(月) 16:50:17.96ID:8n0E54WH
なぜ

>>388

の質問をしたかというと、斎藤毅著『集合と位相』に、以下の記述があったからです:

「X ∩ 2^X ≠ φ のときは、 X の部分集合 A が、 X の元であることもありうる。
この場合には、記号 f(A) の意味は A を X の部分集合と考えるか X の元と
考えるかで違うので、気をつける必要がある。」

↑こんな風に書くということは、そういう X が数学において頻繁に現れるということ
ですよね?めったに現れないならば、こんなことを注意する必要はないはずだから
です。

395132人目の素数さん2018/02/19(月) 17:03:55.15ID:ecDxjMH2
「disる」ってどういう意味ですか?

396132人目の素数さん2018/02/19(月) 17:10:48.30ID:fngSh02B
>>394
≠ではなく=だと思ってました

そんなの当たり前ですよね
2^XにはX自身が含まれるんですから

397132人目の素数さん2018/02/19(月) 17:14:50.88ID:sUgpud4p
>>392
2^X の要素はすべて集合ですから、
X ∩ 2^X ≠ φ ならば、X は少なくとも1つの集合を要素に持ちます
「普通の」集合とは何を指しているかわかりませんが、集合論で集合を集合の要素にすることは珍しくありません

398132人目の素数さん2018/02/19(月) 17:18:00.02ID:8n0E54WH
>>397

普通の数学で自然に登場するそのような X の例を挙げてください。

399132人目の素数さん2018/02/19(月) 17:34:18.82ID:U7ztHSUF
厳密教徒を気取ってるくせに都合よく普通の数学とか文脈から判断などと言い出す奴は信用できん

400132人目の素数さん2018/02/19(月) 17:41:04.39ID:sUgpud4p
>>398
あなたが集合論をまるで理解していないことがわかりました
これ以上の説明は無意味と考えます

401132人目の素数さん2018/02/19(月) 17:47:20.95ID:U7ztHSUF
一応話に付き合ってやると、
普通の数学では代数的・位相的構造にだけ注目して、それをどうやって構成したかを意図的に忘れるようにしているので、
X ∩ 2^X ≠ φであるかどうかを気にせずに済んでいるだけ
実際はX ∩ 2^X ≠ φであることは特別なことではない
X=

402132人目の素数さん2018/02/19(月) 17:51:12.33ID:U7ztHSUF
一応話に付き合ってやると、
普通の数学では代数的・位相的構造にだけ注目して、それをどうやって構成したかを意図的に忘れるようにしているので、
X ∩ 2^X ≠ φであるかどうかを気にせずに済んでいるだけ
実際はX ∩ 2^X ≠ φであることは特別なことではない
例えばX=ω(最も標準的な自然数全体のモデル)が該当する
{0,1,2,…n}=n+1∈X ∩ 2^X

403132人目の素数さん2018/02/19(月) 18:14:13.89ID:8n0E54WH
>>402

2^ω ∋{0, 1, 2, …, n} = n + 1 ∈ ω

ということですね。

ところで、

「記号 f(A) の意味は A を X の部分集合と考えるか X の元と考えるかで違うので、気をつける必要がある。」

と書いていますが、 X ∩ 2^X ≠ φ であるような状況では、誰でも、言われなくても自然に気をつけるのでは
ないでしょうか?

この注意が必要であるとは思えません。

404132人目の素数さん2018/02/19(月) 18:20:33.85ID:8n0E54WH
斎藤毅さんの『集合と位相』を読んでいる読者の大半は、

「X ∩ 2^X ≠ φ のときは」などとさらっと書かれているのを見たとき、
そんな X は存在するのだろうか?と思うのではないでしょうか?

斎藤毅さんの『集合と位相』の演習問題は非常に簡単なものが多いです。
そんな本に「X ∩ 2^X ≠ φ のときは」などとさらっと書くのはバランスが
悪いのではないでしょうか?

405132人目の素数さん2018/02/19(月) 18:25:27.05ID:8n0E54WH
そして、具体的に注意しなければならない例を挙げていないのは、ひどいとしか
言いようがないですね。

406132人目の素数さん2018/02/19(月) 18:28:54.55ID:8n0E54WH
誰か、これは気をつけなければいけない例だというものを挙げられる人はいますか?

いないのではないでしょうか?

もし、いないとするとこの必要のない注意は単なる斎藤毅さんの自己満足ですね。

407132人目の素数さん2018/02/19(月) 18:31:25.19ID:I/0hw+L4
>>403
n={0,1,.,.n-1}って構成だとn∩2^n=n-1よ

408132人目の素数さん2018/02/19(月) 18:31:31.43ID:8n0E54WH
「X ∩ 2^X ≠ φ のときは、 X の部分集合 A が、 X の元であることもありうる。
この場合には、記号 f(A) の意味は A を X の部分集合と考えるか X の元と
考えるかで違うので、気をつける必要がある。」

と書いていますが、本当は、

「X ∩ 2^X ≠ φ のときは、 X の部分集合 A が、 X の元であることもありうる。
この場合には、記号 f(A) の意味は A を X の部分集合と考えるか X の元と
考えるかで違う。ちょっと面白い話でしょ?」

ということではないでしょうか? 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

409132人目の素数さん2018/02/19(月) 19:07:01.00ID:8n0E54WH
n ∩2^n = n

じゃないですか?

410132人目の素数さん2018/02/19(月) 19:07:17.09ID:8n0E54WH
>>407

n ∩2^n = n

じゃないですか?

411132人目の素数さん2018/02/19(月) 19:15:23.01ID:U7ztHSUF
>>410
違う

412132人目の素数さん2018/02/19(月) 19:15:39.49ID:8n0E54WH
X ∩ 2^X ≠ φ

∀n ∈ N - {0} に対して、

n ∩ 2^n = n ≠ φ

ですね。

413132人目の素数さん2018/02/19(月) 19:42:01.05ID:8n0E54WH
0 ∩ 2^0 = φ ∩ 2^φ = φ ∩ { φ } = φ = 0
1 ∩ 2^1 = { φ } ∩ { φ, { φ } } = { φ } = 1

414132人目の素数さん2018/02/19(月) 23:44:03.65ID:VF4EpRLf
n={0,1,...,n-1}
2^n={φ,{0},...,{n-1},....,{0,1,...,n-2},....,{0,1,...,n-1}}={0,1,....,n}⊃n+1⊃n

415132人目の素数さん2018/02/20(火) 20:58:29.91ID:Gzgxp2u7
斎藤毅著『集合と位相』を読んでいます。

f : X → Y
∀i ∈ I(A_i ⊂ X)

とする。

f(∪_{i ∈ I} A_i) = ∪_{i ∈ I} f(A_i)

を証明せよ。

斎藤毅さんは以下のように証明しています。

非常に奇妙な証明ではないでしょうか?
こんな解答を書く人は稀ではないでしょうか?
こんな奇妙な証明を書いた意図は何でしょうか?



「y ∈ Y に対し、 y ∈ f(∪ A_i) は、 f^(-1)(y) ∩ ∪ A_i ≠ φ
と同値である。 f^(-1)(y) ∩ ∪ A_i = ∪ (f^(-1)(y) ∩ A_i) だから、これは、
f^(-1)(y) ∩ A_i ≠ φ となる i ∈ I が存在することと同値であり、 y ∈ f(A_i)
となる i ∈ I が存在することとも同値である。これはさらに y ∈ ∪_{i ∈ I} f(A_i)
と同値だから、 f(∪_{i ∈ I} A_i) = ∪_{i ∈ I} f(A_i) が示された。」

416132人目の素数さん2018/02/20(火) 20:58:45.69ID:Gzgxp2u7
普通この問題の解答は以下の解答になると思います:


y ∈ f(∪_{i ∈ I} A_i)



∃x(x ∈ ∪_{i ∈ I} A_i ∧ f(x) = y)



∃x, ∃i(x ∈ A_i ∧ f(x) = y)



∃i, ∃x(x ∈ A_i ∧ f(x) = y)



∃i(y ∈ f(A_i))



y ∈ ∪_{i ∈ I} f(A_i)

417132人目の素数さん2018/02/20(火) 22:13:28.69ID:nXzkbh+j
>>415
その証明もふつー

418132人目の素数さん2018/02/21(水) 13:16:24.67ID:1ldTuTjf
教科書disって劣等感を慰めたい奴なんぞ放っとけ

419132人目の素数さん2018/02/21(水) 13:35:20.06ID:m2jGqPyW
田中一之・鈴木登志雄著『数学のロジックと集合論』を読んでいます。

「R ⊂ X × Y とする。 A ⊂ X に対して、

R | A = { (x, y) : ∃x ∈ A (x, y) ∈ R }

を( R の) A への制限(restriction)とよぶ。」

などと書かれていますが、ナンセンスですよね。

正しくは、

R | A = { (x, y) : x ∈ A ∧ (x, y) ∈ R }

ですよね。

420132人目の素数さん2018/02/21(水) 15:40:32.33ID:m2jGqPyW
前原昭二著『記号論理入門』を読んでいます。

第1章ですが、クリアじゃないですね。

「命題関数 F(x) を < x は F である> と読むとすれば、 F( ) は <…は F である>という部分に相当します。」

意味不明です。

421132人目の素数さん2018/02/21(水) 21:30:01.65ID:JFIkQrIb
>>420
己の読解力の無さを著者に転嫁するのはやめよう

422132人目の素数さん2018/02/21(水) 22:44:31.45ID:hoKmaCHK
>>420
>「命題関数 F(x) を < x は F である> と読むとすれば、 F( ) は <…は F である>という部分に相当します。」
その通りよ

423132人目の素数さん2018/02/21(水) 23:29:54.28ID:m2jGqPyW
>>421-422

「F である」の F とは一体何でしょうか?

F(x) が 「x は正の実数である」の場合 F は何になるのでしょうか?

<…は F である>

は、おそらく

<…は正の実数である>

になるということが言いたいのだとは推測しますが、前原さんの説明は
全く意味不明です。

F とは何でしょうか?

424132人目の素数さん2018/02/22(木) 00:07:11.50ID:LJV54JTr
命題関数以前に「命題p」という表現を見たことないのかな
命題関数p(x)は「xは命題pを満たす」「命題pを満たすx」と読むのが普通だし教科書に書かれてるというか、まさにその本に書かれてある通りなんだが

425132人目の素数さん2018/02/22(木) 00:19:26.08ID:QCFKMNbm
>>424
条件もしくは述語Pを満たす、はまだわかりますが、命題Pを満たす、はありえない表現です

述語と命題の区別もつかないような人が数理論理を語るべきではありません

426132人目の素数さん2018/02/22(木) 00:46:32.92ID:06eZ+pg5
>>425
対象によって変わる命題が述語だって言いたいのが>>424だろう
別にふつーのことよ

427132人目の素数さん2018/02/22(木) 00:47:10.87ID:06eZ+pg5
>>423
>になるということが言いたいのだとは推測しますが、前原さんの説明は
>全く意味不明です。
推察できればいいでしょ
説明はごくふつー

428132人目の素数さん2018/02/22(木) 00:59:52.20ID:QCFKMNbm
>>426
そうだとしても、命題pを満たす、という言い方はしません

429132人目の素数さん2018/02/22(木) 03:03:42.00ID:8W6QQLeC
命題関数とは、代入する項によって異なる命題が作られることを指して「関数」と呼ばれるわけで。
そうして出来た命題の真偽や証明可能性については何も言ってない。
命題を満たすという表現はどう考えても命題と述語を混同してるわな。

430132人目の素数さん2018/02/22(木) 04:01:44.45ID:nMkfsYfT
深夜に何やってんだこいつら

431132人目の素数さん2018/02/22(木) 04:06:50.16ID:8W6QQLeC
半端な知識で反論を試みる馬鹿の晒しあげ

432132人目の素数さん2018/02/22(木) 09:20:05.89ID:06eZ+pg5
>>428
割とするけどな

433132人目の素数さん2018/02/22(木) 11:22:11.33ID:QCFKMNbm
>>432
レベルの低い人たちはするのかもしれませんね

434132人目の素数さん2018/02/22(木) 11:22:43.53ID:06eZ+pg5
>>433
イヤ普通に

435132人目の素数さん2018/02/22(木) 11:24:36.47ID:QCFKMNbm
>>434
だから、レベルの低い人の普通なんでしょうね

436132人目の素数さん2018/02/22(木) 11:26:43.58ID:06eZ+pg5
何で普通にかって言うと
P(x)でP()のことを云々するより
P(x)の成立するxについて話するのがほとんどだから
つまり
xはP(x)を成立させる特定のxをイメージ
λx. P(x)は命題関数だけどP(x)は命題ってイメージ

437132人目の素数さん2018/02/22(木) 11:27:43.21ID:06eZ+pg5
それがごく普通の感覚よ

438132人目の素数さん2018/02/22(木) 11:27:44.55ID:QCFKMNbm
ラムダ計算の記号が出てくる時点で、厳密な数理論理を学んだことのないプログラム屋さんということがバレてしまいましたから説得力がありませんね

439132人目の素数さん2018/02/22(木) 11:28:12.61ID:06eZ+pg5
あらあら
反論も出来なくなりましたか

440132人目の素数さん2018/02/22(木) 11:29:07.72ID:06eZ+pg5
>>438
おやおやw

441132人目の素数さん2018/02/22(木) 11:29:17.63ID:QCFKMNbm
レベルの低い人のイメージなんて知りませんからねー

442132人目の素数さん2018/02/22(木) 11:29:37.99ID:QCFKMNbm
草が生えて来ましたね
図星というところなんでしょう

443132人目の素数さん2018/02/22(木) 12:37:33.50ID:jmJdo4Sa
前原昭二著『記号論理入門』を読んでいます。

第2章ですが、この章もクリアではないですね。

定義がちゃんと書いてありません。

例に頼りすぎています。

444132人目の素数さん2018/02/22(木) 12:57:09.80ID:awvj7YxO
disるしか慰めが無い奴は別スレ立てろよ

445132人目の素数さん2018/02/22(木) 14:35:42.84ID:9Az9KCLW
一つの変数を持つ述語によって対象の性質を表せる。

446132人目の素数さん2018/02/22(木) 22:15:18.78ID:8IEdD/eb
>>435
君のハイレベルな学歴を是非伺っておきたい
証拠つきで

447132人目の素数さん2018/02/22(木) 22:31:29.36ID:cVKYosRR
>>446
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

私はこれがわかります

448132人目の素数さん2018/02/23(金) 00:49:29.86ID:8dT76ic4
>>447
もう止めたら?

449132人目の素数さん2018/02/23(金) 00:54:18.70ID:W/yIqHm3
超難問入試問題「初日の出を2回見るには?」灘中受験生「ピコーン💡」 [452713382]
http://leia.5ch.net/test/read.cgi/poverty/1519308757/

450132人目の素数さん2018/02/23(金) 11:24:16.60ID:+V6W+U5Q
前原昭二著『記号論理入門』を読んでいます。

証明図に書く

[ ]

という記号の定義は何ですか?

前原さんは、この場合は、こういう意味というような説明しかしていません。

451132人目の素数さん2018/02/23(金) 11:48:14.85ID:Xeww/rOc
>>450
どのように用いられていますか?
まあ特に意味はないんだと思いますけど

452132人目の素数さん2018/02/23(金) 11:49:59.01ID:+V6W+U5Q
>>451

[ ]

という記号は一般的ではないということですか?

453132人目の素数さん2018/02/23(金) 11:51:13.15ID:Xeww/rOc
>>452
じゃないですかね多分

454132人目の素数さん2018/02/23(金) 11:53:00.38ID:+V6W+U5Q
→ 導入:

[A]
B
--------------
A → B

みたいな感じで使われています。

∨ 除去:

A ∨ B C C
----------------------------
C

の二つ並んだ C の上にも [A] [B] と書かれています。

455132人目の素数さん2018/02/23(金) 11:54:15.62ID:Xeww/rOc
撤回しますね
仮定をまとめているのではないでしょうか?

456132人目の素数さん2018/02/23(金) 11:57:21.42ID:+V6W+U5Q
→ 導入:

[A]
B
--------------
A → B

[A] と書きましたのは、 B を導く演繹に用いられている仮定のうちの A という仮定は、 A → B を
導く演繹に対して除いて考えよ、ということであります。


と書いてあります。

457132人目の素数さん2018/02/23(金) 11:59:04.82ID:+V6W+U5Q
B が成り立てば A の真偽にかかわらず
A → B が成り立つということでしょうか?

458132人目の素数さん2018/02/23(金) 12:00:21.46ID:+V6W+U5Q
前原昭二著『記号論理入門』は説明が数学的じゃないので分かりにくいです。

小野寛晰著『情報科学における論理』のほうがいいですかね?

459132人目の素数さん2018/02/23(金) 12:06:49.15ID:Xeww/rOc
>>457
とりあえずその説明は無視して、A,Bは仮定である、と考えれば良いかと思います
Cが成り立つのであれば、仮定Aを用いてA→Cを導いても良い
A∨B⊂Cという推論が成り立つのてあれば、A,Bを仮定すればCを導いても良い

私もその本ちょっとだけ読んだ気がするんですけど、難しくてよくわからなかった記憶がありますね

460132人目の素数さん2018/02/23(金) 12:12:20.50ID:+V6W+U5Q
>>459

ありがとうございます。

前原さんの本はやめて、小野寛晰さんの本を読もうと思います。

461132人目の素数さん2018/02/23(金) 17:08:29.56ID:rb9HBDnc
>>459
この形式の証明図の変形を記述する記法です
仮定を結論の前提に組み入れることを表してる

462132人目の素数さん2018/02/23(金) 17:13:45.75ID:jpZcZ0GN
推論論理式を線で区切って上下に書く方法は珍しくない
上に前提を置き、下に結論を置く。推論規則にしたがって前提を加えたり消去したり、結果、すべての前提が消去されたとき、下に残った結論は前提なしに真といえる

論理和∨の消去則によって A├C と B├C から (A∨B)├C を導くことができるが、
この過程は前提 A と前提 B の代わりに前提 A∨B をもって結論 C を導くことなので、前提 A∨B を線の上に置き、それまで線の上方にあった前提 A と前提 B を消去して線の下に結論 C を置く

含意→導入則は A├B から ├(A→B) を導く
前提 A とその結論 B から、前提なしに結論 A→B を導くのだからそれまであった前提 A は消去してよい

463132人目の素数さん2018/02/23(金) 17:51:41.79ID:b0HOGmDv
>>462
推論法則は「式AとA→Bが真ならばBも真」という事をお忘れなく。

464132人目の素数さん2018/02/23(金) 18:08:10.40ID:mDigUmBl
>>461
>>462
仮定をカギ括弧で囲むことについての質問ですよ

465132人目の素数さん2018/02/23(金) 18:21:50.52ID:jpZcZ0GN
>>463
推論規則の操作は、命題や述語の真偽値を仮定せずに推論を進めるもの。「Aが真」ではなくあくまで「A」
真理値を仮定しないところから「直感主義論理」のような一見すると直感に反するような論理学も出てくる

A, A→B├B で表される推論規則は含意→消去則といい、AとA→Bの2つの前提からBを結論とできるというもの

466132人目の素数さん2018/02/23(金) 18:24:31.82ID:r/ClFmM6
├ をシークエントの意味で使ったり、推論規則の意味で使ったり忙しい人ですね

467132人目の素数さん2018/02/23(金) 18:40:15.40ID:b0HOGmDv
まず、「真の式」というのがあってですね。

468132人目の素数さん2018/02/23(金) 18:42:38.24ID:r/ClFmM6
前原さんの本では真なるゼクエンツ、でしたっけ

469132人目の素数さん2018/02/23(金) 19:14:12.71ID:b0HOGmDv
最初の真なる式(公理)├新しい真なる式   です。

470132人目の素数さん2018/02/23(金) 19:14:32.20ID:jpZcZ0GN
>>464
書き方はなんでもいいのよ
板書では横線で消し込んだりしてましたからね

>[A] と書きましたのは、 B を導く演繹に用いられている仮定のうちの A という仮定は、 A → B を
>導く演繹に対して除いて考えよ、ということであります。

この文を素直に読めば、「A → B を導いたときに除くべき仮定が A である」と言っているのは明らかじゃないですかね

471132人目の素数さん2018/02/23(金) 19:16:22.03ID:r/ClFmM6
>>469
なんですかそれは

>>470
なんか日本語としておかしくないですか
私よくわからないんですけど

472132人目の素数さん2018/02/23(金) 19:50:31.88ID:rb9HBDnc
>>463
だから証明図の変形に関する記法だってばさ

473132人目の素数さん2018/02/23(金) 19:51:31.61ID:r/ClFmM6
>>472
>>470とかは仮定を除くとか書いてますけど?

474132人目の素数さん2018/02/23(金) 21:08:42.03ID:b0HOGmDv
済まん、>>469は間違い。正しくは、

最初の真なる式(公理) から 新しい真なる式が証明される

475132人目の素数さん2018/02/23(金) 21:23:39.13ID:IcPKumxF
真なる式ってなんですか?

476132人目の素数さん2018/02/23(金) 21:49:22.57ID:+V6W+U5Q
小野寛晰著『情報科学における論理』を読んでいます。

「基本的な命題を記号化、形式化したものとして命題変数を定義する。
ここで「基本的な命題」という言葉の意味は、複文に対する単文の
ようにこれ以上分解することのできない文の最小単位ということである。」

などと書かれています。

これ以上分解することができない文の最小単位というのが分かりません。

なんかいきなりいい加減な感じの書きっぷりで戸惑っています。

477132人目の素数さん2018/02/23(金) 21:53:40.35ID:Q+xb50pv
あれこれ考えてても実例がないと理解しにくいんじゃない?
演習問題でもやってみるといい

たとえば(¬P∨¬Q)→¬(P∧Q)の証明
使う規則は以下。横位置ずれてたらスマン

[A][B]
 C  C  A∨B
──────────∨消去
        C

A∧B
───∧消去
 A

A∧B
───∧消去
 B

[A]
 B
─── →導入
A→B

[B]
 A ¬A
───── 背理法
¬B

478132人目の素数さん2018/02/23(金) 21:59:00.60ID:IcPKumxF
>>476
あくまでイメージですからそんなもんなのかーというくらいで流してしまって構わないでしょう

479132人目の素数さん2018/02/23(金) 22:03:31.52ID:b0HOGmDv
>>475
まず真なる式が定義される(公理)。これらから新しい真なる式を得る法則が定義される(推論法則)。それらが与えられて「真なる式」が定義される。

480132人目の素数さん2018/02/23(金) 22:05:22.98ID:IcPKumxF
>>479
気持ちとしてそうだという程度の話で厳密な話ではないと考えて良いですか?

481132人目の素数さん2018/02/23(金) 22:33:17.55ID:b0HOGmDv
>>480
恒真式。

482132人目の素数さん2018/02/23(金) 23:12:53.96ID:2n0NIqfd
>>481
公理は恒真式なんですか?

483132人目の素数さん2018/02/23(金) 23:24:10.91ID:b0HOGmDv
>>482
そうです。

484132人目の素数さん2018/02/23(金) 23:39:12.52ID:mY/8hM0q
>>473

それで結論がA->Bに変わるでしょ

485132人目の素数さん2018/02/23(金) 23:44:06.89ID:2n0NIqfd
>>483
公理とはA→Aのことですか?

>>484
>>461
>仮定を結論の前提に組み入れることを表してる
これはなんですか?

486132人目の素数さん2018/02/24(土) 00:25:26.92ID:UVztTtT6
空集合からあらゆる集合や順序数を定義するとかいう狂気の沙汰

487132人目の素数さん2018/02/24(土) 00:37:06.26ID:FCienE5g
命題論理の公理系



A→(B→A)
(A→(B→C))→((A→B)→(A→C))
A∧B→A
A∧B→B
(A→B)→((A→C)→(A→B∧C))
A→A∨B
B→A∨B
(A→C)→((B→C)→(A∨B→C))
(A→B)→(¬B→¬A)
A→¬¬A
¬¬A→A

488132人目の素数さん2018/02/24(土) 00:42:29.62ID:yQh6iBR2
LKしか知らないんでよくわからないですね
ヒルベルトの流儀なんでしょうか

489132人目の素数さん2018/02/24(土) 01:12:09.38ID:FCienE5g
>>488
>ヒルベルトの流儀なんでしょうか
まぁ無矛盾である事が証明されていますのでね。

490132人目の素数さん2018/02/24(土) 01:19:12.60ID:F29oWHS2
劣等感って無断アップロードで開示されたことないの?
開示請求してみていい?

491132人目の素数さん2018/02/24(土) 08:32:04.00ID:FQ4rrzCS
>>485
>これはなんですか?
前原さんの本に詳しく書かれてますよ

492132人目の素数さん2018/02/24(土) 09:44:53.92ID:fxdx/FBi
>>477
ありがとうございました。

>>478
流すことにします。ありがとうございました。

493132人目の素数さん2018/02/24(土) 10:23:43.96ID:fxdx/FBi
斎藤毅著『集合と位相』を読んでいます。

「S ⊂ X が R に関する完全代表系ならば、商写像の制限 q | S : S → X / R
によって S と X / R を同一視することができる。しかし、包含写像 S → X は
X への写像であるのに対し、商写像 q : X → X / R は X からの写像だから、
完全代表系で商集合を代用するのは、よい方法とはいえない。 」

と書かれています。

何が言いたいのか分からないので、解説をお願いします。

494132人目の素数さん2018/02/24(土) 11:26:15.41ID:FQ4rrzCS
位相位相

495132人目の素数さん2018/02/24(土) 13:06:23.65ID:x9j7BYiR
まともな質問ねぇなー

496132人目の素数さん2018/02/24(土) 13:17:59.60ID:FQ4rrzCS
>>479
この流儀だと公理はなくてそれを担うのが推論規則
推論規則を2つにして後全部公理化してもいいけど
全部推論規則にした方が対称性もあって美しい感じ

497132人目の素数さん2018/02/24(土) 13:22:59.45ID:FQ4rrzCS
>>488
>ヒルベルトの流儀
¬と→しかなくて公理は3つだけよ

498132人目の素数さん2018/02/24(土) 13:28:38.26ID:FQ4rrzCS
論理演算が↑だけって体系もあるけどめんどくさいだけ

499132人目の素数さん2018/02/24(土) 13:47:10.24ID:fxdx/FBi
斎藤毅著『集合と位相』を読んでいます。

「x, y ∈ R^2 に対し x - y ∈ Z^2 で定まる R^2 の同値関係 R による商集合を、 R^2 / Z^2 で表わす。
R^4 の部分集合 T^2 を、 T^2 = {(x, y, u, v) ∈ R^4 | x^2 + y^2 = u^2 + v^2 = 1} で定める。
写像 f : R^2 → R^4 を、 f(s, t) = (cos(2*π*s), sin(2*π*s), cos(2*π*t), sin(2*π*t))
で定める。 f の標準分解は可逆写像 R^2 / Z^2 → T^2 を定めることを示せ。」

f の標準分解は可逆写像 R^2 / Z^2 → T^2 を定めることは明らかだと思いますが、
解答はどのようになるのでしょうか?

以下の解答ではダメですか?

f(R^2) = T^2

f が定める同値関係は明らかに、 R と等しい。

よって、 f の標準分解は、

R^2 → R^2 / Z^2 → T^2 → R^4

となる。

500132人目の素数さん2018/02/24(土) 13:48:53.88ID:yQh6iBR2
>>491
仮定を除くのか追加するのかどっちなんですか?

501132人目の素数さん2018/02/24(土) 13:50:30.04ID:fxdx/FBi
斎藤毅さんの解答を見ました。

正しいことは分かるのですが、なぜそのような解答なのかが分かりません。
非常に回りくどい感じがします。

502132人目の素数さん2018/02/24(土) 13:56:12.98ID:fxdx/FBi
斎藤毅さんの解答は、時に、正しいことは分かるが意味不明なことがあります。

自分が知っている一般的な方法論を、ある特定の問題に適用するとこうなる
という解答を書いているから正しいことは分かるが意味不明ということになる
のではないかと推測します。

503132人目の素数さん2018/02/24(土) 13:59:02.95ID:fxdx/FBi
デザインパターンを知らない人があるプログラムを見て、正しく動くことは分かるが、
なぜそう書いたのかが分からない

という場合に似ていると思います。

そのような解答はいかがなものでしょうか?

504132人目の素数さん2018/02/24(土) 16:32:19.70ID:5SpQ+pDc
微分幾何学得意な人教えてくれ

リーマン計量gを局所的に成分で表示するとき、開集合U上の正規直交枠をとることから始めればU上で標準的な表示ができる(つまりテンソルgの成分がクロネッカーのδで書ける)けど、
まず座標からスタートしたらその座標方向の微分作用素がU上で正規直交になるようには必ずしも出来ないからU上でgを標準的に表示することが出来ず、正規座標を取ることにより一点でのみそういう表示ができる

っていう認識だけど合ってますか?

505132人目の素数さん2018/02/24(土) 19:47:57.35ID:FQ4rrzCS
>>500
ちゃんと読んでないね
仮定を削除して前提に加える

506132人目の素数さん2018/02/24(土) 19:51:09.41ID:FQ4rrzCS
>>503
>そのような解答はいかがなものでしょうか?
それが当たり前になるように勉強するよろし

507132人目の素数さん2018/02/24(土) 20:07:40.19ID:yQh6iBR2
>>505
前提とはなんですか?

508132人目の素数さん2018/02/24(土) 21:49:32.11ID:FCienE5g
>>496

509132人目の素数さん2018/02/25(日) 03:03:18.14ID:YREtOwBj
すべての対称性を行列表現すると
A・A^(-1) = I
A・A^(-1) = - I
X A^(n) X^(-1) = I
X A^(n) X^(-1) = - I
どれかに当てはまればおk?

510132人目の素数さん2018/02/25(日) 07:50:22.75ID:+BB9RYsh
対称性って?

511132人目の素数さん2018/02/25(日) 07:54:13.30ID:5LIiAh4T
「対称性」の意味するものがわからないけど、とりあえず対称行列くらいはリストに入れよう

512132人目の素数さん2018/02/25(日) 08:33:34.84ID:YREtOwBj
もとの図形と区別がつかないように移動を行う操作を対称操作という。

513132人目の素数さん2018/02/25(日) 08:46:15.01ID:YREtOwBj
>>506
知とは対称性または可換性を得るためのツール
相手に対称性を推定させるためのツールではない
それは自己愛のツール
ディープマイニングは大量のデータから対称性を得るツール

514132人目の素数さん2018/02/25(日) 08:49:14.80ID:YREtOwBj
対称操作をA、図形をBとすると
A^(n) B = B
になるでいいの?

515132人目の素数さん2018/02/25(日) 09:03:35.04ID:YREtOwBj
アスペは対称性が大好きだし、自分も対称
自己愛は非対称性が大好きだし、自分も非対称
更に面白いことは、両者の間にはどうも作用が起こるらしいこと
つまり異なる対称性の相互で物理的な力が働くらしいことである

516132人目の素数さん2018/02/25(日) 09:09:41.42ID:YREtOwBj
可換であれば
AB=BA
B^(-1)AB = A

A^(n)B = BA^(n)
B^(-1)A^(n)B = A^(n) = A
は、可換かつ対称であることになるの?

517132人目の素数さん2018/02/25(日) 09:26:42.00ID:YREtOwBj
nが一定であれば、その対称性が維持される
nが変わると対称性が変わる
この世の中はいろんなnの集合体
どうなってるのかはマルチフラクタル解析でわかる
nが違うから量子力学を人間の世界には当てはめられない
スケール普遍性が成り立っていないのに無視するイミフな科学者多すぎ
系に存在する次元数はその系の自己裁定能力を示している
それは対称性の分布と関係があるかもしれない

518132人目の素数さん2018/02/25(日) 09:31:07.71ID:YREtOwBj
暗号なら分かりやすいだろう
計算量の対称性の問題

519132人目の素数さん2018/02/25(日) 10:15:38.56ID:+BB9RYsh
全然分からんが?

520132人目の素数さん2018/02/25(日) 11:30:12.20ID:HnQSZUoU
おい、それより誰か>>504教えてくれよ

521132人目の素数さん2018/02/25(日) 12:22:26.23ID:XZ8Bg2E1
>>477
こうかな
∧除去を使って
P∧Q
----
P
背理法を使って仮定P∧Qを消去
[P∧Q]
P   ¬P
--------
¬(P∧Q)
同様にして
[P∧Q]
Q   ¬Q
-------
¬(P∧Q)
∨除去で仮定¬Pと¬Qを消去
[¬P]   [¬Q]
¬(P∧Q) ¬(P∧Q) ¬P∨¬Q
----------------------------
¬(P∧Q)
→追加で仮定¬P∨¬Qを消去
[¬P∨¬Q]
¬(P∧Q)
--------
(¬P∨¬Q)→¬(P∧Q)

522132人目の素数さん2018/02/25(日) 14:46:57.18ID:mKrlEhCu
>>504
前半は開集合Uが平坦という前提が必要だね
それ以外は合ってる

523132人目の素数さん2018/02/25(日) 15:29:40.19ID:HnQSZUoU
>>522
Uが平坦っていうのはgから定まるリーマン曲率がU上恒等的に0ってことですか?
別にそうでなくても接続とか考える以前にU上でグラムシュミットの直交化で正規直交フレーム得てそれで表示すればいいと思ったのだけど
これと同じ感じで(小林昭七の曲面論)
https://i.imgur.com/5YXitHt.jpg

まあ開集合って言ったけど必要に応じて十分小さくして単連結領域として良いというこで

524132人目の素数さん2018/02/25(日) 18:26:37.51ID:mKrlEhCu
最初から平坦に定義するとしか聞こえないな

525132人目の素数さん2018/02/25(日) 18:34:52.88ID:HyQ6xQcU
>>524
あなたの中ではR^3の中の任意の曲面は平坦なのですか?

526132人目の素数さん2018/02/26(月) 00:45:13.58ID:rQnj4Jil
ガロア理論の質問です
Let L/K be a Galois extension with Galois group Gal(L/K).
Let R⊂ L be a subring such that r(R) = R for all σ∈Gal(L/K).
Then the minimal polynomial (over K) of any element of R has coefficients in R∩K.

PROOF. Let a ∈ R. Let H := {σ ∈ Gal(L/K) | σ(a) = a}. The element a
has s := #(Gal(L/K)/H) distinct conjugates in L, say a i , . . . , a s .

と続いていくのですが、なぜaの相異なる共役の数が上で定義したsになるのかがわかりません

ガロアの基本定理の中間体に関する部分をK(a)に適用させればいいのかと考えています
具体的には
Gal(K(a)/K)≅Gal(L/K)/{K(a)において動かないようなK準同型}
     =Gal(L/K)/{σ(a)=aなるK準同型}
これを使うには「K(a)/K がガロア拡大」を言う必要があると思うのですが、そこがわかりません

方針があっているか、また最後の「。。。」についてわかる方教えてください
よろしくお願いします

527132人目の素数さん2018/02/26(月) 02:49:37.77ID:PoEMYTri
群作用における固定化部分群と軌道の基本的な関係
ガロア理論以前の話

528132人目の素数さん2018/02/26(月) 10:44:15.28ID:rQnj4Jil
>>527
解決しました
的確な指摘ありがとうございました
ちなみにですが、僕の書いた方針でうまくいくのでしょうか?
作用を考えた方が圧倒的にシンプルですが

529132人目の素数さん2018/02/26(月) 12:29:00.00ID:nzMPkneE
>>524
では質問を変えます
R^3内の球面S^2を考え、そこから北極を取り除いた曲面をMとする
立体射影を考えれば、この球面はR^2を定義域としてパラメータ付けできる
この曲面MからR^3への包含写像を考え、その写像によりR^3のユークリッド計量を引き戻し、Mに計量gを定める
Mにgより定まるLevi-Chivita接続∇を入れる
さて、このMは単連結領域R^2と微分同相なのでM上の正規直交枠を取れるわけだが、このMの∇に関する曲率は0であるか?
もちろん、答えは0ではない

530132人目の素数さん2018/02/26(月) 12:36:46.62ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

自然数に関する定理2.2の証明で分からないところがあります。

A ∩ N(m) が有限集合であることはどうやって証明するのでしょうか?



「m ∈ N に対して N(m) = {n ∈ N | n < m} と置く。集合 A から N(m) の
上への一対一写像(全単射(附録1))が存在するとき、 A は m 個の元を
持つという。ある m ∈ N に対し m 個の元を持つ集合を総称して有限集合という。

(2.4)
N の任意の有限部分集合 A ≠ φ は、最小限 min A を持つ。

定理2.2
N の空でない任意の部分集合 A は、最小元 min A を持つ。

証明
m ∈ A を取る。 A ∩ N(m) = φ ならば、 m = min A である。
A ∩ N(m) ≠ φ ならば、(2.4)により min (A ∩ N(m)) = n があり、 n = min A である。」

531132人目の素数さん2018/02/26(月) 12:38:13.91ID:nzMPkneE
>>529
(注意)
Mの計量gをR^2への微分同相写像による引き戻しで定めればMは平坦なのだが、今はR^3への包含写像による引き戻しを考えている
この場合Mの曲率は球面の曲率と一致する

532132人目の素数さん2018/02/26(月) 12:46:44.31ID:4v7yqOEj
違う構造を2つ与えただけやんか

533132人目の素数さん2018/02/26(月) 12:53:40.61ID:nzMPkneE
>>532
最初の質問>>504を読んでくれ
リーマン計量は初めから与えられている
>>522が言う「Uが平坦」という条件は、最初に与えられたリーマン計量のリーマン接続について平坦でないといけないということを意味する(でないと意味不明)
>>529の例は平坦でなくても正規直交枠取れるよねってこと

534132人目の素数さん2018/02/26(月) 13:00:37.94ID:nzMPkneE
>>533
もし>>522が言うことが、U上でのみ別の計量を考えそれについてUが平坦だと言いたいのであってもそれも意味不明
任意の座標近傍はユークリッド空間の開集合と微分同相なのだから、そのユークリッド計量を引き戻して局所的な計量を定めればそりゃ平坦になる
つまり全く意味のない主張になる

535132人目の素数さん2018/02/26(月) 13:02:59.73ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

この本では、まず、実数を定義する公理が17個与えられています。

自然数は、 「R のすべての継承的部分集合に含まれる実数」として定義されています。

なぜ、 1 を有限回足した結果の実数を自然数と定義していないのでしょうか?

536132人目の素数さん2018/02/26(月) 13:07:46.50ID:nzMPkneE
よく読みもせず他人に突っかかると>>532のようにトンチンカンな発言を恥ずかしげもなくすることになる
注意しよう

537132人目の素数さん2018/02/26(月) 13:10:28.13ID:pZlUMfE5
>>530

N(m) の部分集合が有限集合であることを証明してください。

538132人目の素数さん2018/02/26(月) 13:11:48.58ID:pZlUMfE5
数学的帰納法ですかね?

539132人目の素数さん2018/02/26(月) 13:13:49.49ID:nzMPkneE
うるせえマルチ消えろゴミ

540132人目の素数さん2018/02/26(月) 13:22:29.84ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

問題について質問です。

以下の問題のロ)の仮定が分かりません。
n ∈ A のとき、 m は A の最小数ですから、 n ≧ m は当然成り立つはずです。
なぜ、ロ)を

ロ) n ∈ A ⇒ n + 1 ∈ A

と書かなかったのでしょうか?


N ∋ m ≧ 1 とする。
A ⊂ N が、

イ) m は A の最小数、

ロ) n ∈ A, n ≧ m ⇒ n + 1 ∈ A

をみたすとき、

A = {n ∈ N | n ≧ m} であることを証明せよ。

541132人目の素数さん2018/02/26(月) 13:42:34.63ID:Zfs+LW47
ペンローズタイルは素数と関係しますか?
繰り返さないのですから、円周率みたいなものでしょうか?

542132人目の素数さん2018/02/26(月) 14:05:45.36ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

問題について質問です。

「n が自然数ならば n < k < n + 1 となる自然数 k は存在しないことを証明せよ。」

ヒントとして、「A = { 0 } ∪ { n ∈ N | n ≧ 1 } は継承的」と書かれています。

意味不明です。解答をお願いします。

543132人目の素数さん2018/02/26(月) 14:09:46.36ID:pZlUMfE5

544132人目の素数さん2018/02/26(月) 19:47:13.83ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

lim n = +∞



lim 2^n = +∞

が同値だという記述があります。

これはなぜですか?

545132人目の素数さん2018/02/26(月) 20:31:44.57ID:pZlUMfE5
杉浦光夫さんは、以下のように書いていますが、
どうやって示すのでしょうか?


(n)_{n ∈ N} は単調増加列だから

lim 2^n = +∞

から

lim n = +∞

が導かれる。

546132人目の素数さん2018/02/26(月) 20:37:49.56ID:sZqqC4tq
2^nが自然数ということも思いつかないのか?

547132人目の素数さん2018/02/26(月) 20:56:12.02ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

自然数の定義はありますが、自然数のいろいろと重要な性質を
書いていませんね。

たとえば、

n ∈ N ⇒ n ≧ 0

ということを書いていないにもかかわらず、使っています。

{x ∈ R | x ≧ 0} が継承的であることから

n ∈ N ⇒ n ≧ 0

であることが分かりますが、やはりこのような基本的な性質は列挙すべきであった
のではないでしょうか?

548132人目の素数さん2018/02/26(月) 20:57:35.25ID:sZqqC4tq
は?
2^nを定義した時点でそれが自然数ということは当然了解されているはずだろう

549132人目の素数さん2018/02/26(月) 21:51:36.91ID:pZlUMfE5
>>546

あ、勘違いしていました。

任意の実数 M に対して、

n ≧ n0 ⇒ 2^n > M

となるような n0 が存在する。

2^n0 ∈ N

であり、

n ≧ 2^n0 ⇒ n ≧ 2^n0 > M

よって、

lim n = +∞

ということですね。

550132人目の素数さん2018/02/26(月) 21:57:23.71ID:pZlUMfE5
>>535

田中一之・鈴木登志雄著『数学のロジックと集合論』に理由が書いてありました。

「1 を自然数回足した結果の実数を自然数という」

という定義は、循環論法になってしまうためダメなんですね。

551132人目の素数さん2018/02/26(月) 22:32:09.20ID:i3taSSAL
>>550
それは少々おかしな議論ですね

「1 を自然数回足した結果の実数を自然数という」

最初の自然数は、メタな記述です
それに対して、後の自然数は対象を指しています
数理論理的にはこうなるでしょうね
メタな記述すら認めないとなれば、数学において何も記述することなどできないでしょう

552132人目の素数さん2018/02/26(月) 23:07:59.07ID:sZqqC4tq
>>551
その方法で定義した自然数モドキは数学的帰納法を満たすことを証明できない

553132人目の素数さん2018/02/26(月) 23:19:46.18ID:i3taSSAL
>>552
証明する必要なんてないですよね
メタに明らかです

554132人目の素数さん2018/02/26(月) 23:20:23.85ID:pZlUMfE5
杉浦光夫著『解析入門1』を読んでいます。

実数の十進小数展開についてですが、杉浦さんの記述はおかしくないですか?


定理3.9

任意の実数 x に対し、

a_n = [x] + x_1 / 10 + x_2 / 10^2 + … + x_n / 10^n,
0 ≦ x_i ≦ 9,
x_i ∈ N

の形の有理数列 (a_n)_{n ∈ N} で x に収束するものが存在する。



このような実数 x を、

x = [x]. . x_1 x_2 x_3 …

で表わす。


x が負の実数のとき、例えば、 -π のとき、

x = -4.8584

などと表示しないですよね。

555132人目の素数さん2018/02/26(月) 23:27:44.65ID:pZlUMfE5
>>554

任意の実数ではなく、0 以上の実数について10進小数展開を定義し、

x が負の実数のときには、 -x の10進小数展開をまず求め、
その先頭にマイナス記号をつけたものが x の10進小数表示ですよね。

556132人目の素数さん2018/02/26(月) 23:28:50.29ID:sZqqC4tq
>>553
中途半端な知識でテキトー言わないように

「Nの任意の部分集合」をメタレベルで表現できないので、
「理論内部の自然数が完全な形の数学的帰納法を満たすこと」はメタレベルの自然数からは明らかでない

557132人目の素数さん2018/02/26(月) 23:46:26.69ID:xdJ7cy9i
>>556
メタに明らかだから公理に付け加えればいいですね
言葉が足りませんでした


>>556
>「Nの任意の部分集合」をメタレベルで表現できないので、

Nの任意の部分集合、はメタな表現だと思いますけど?

558132人目の素数さん2018/02/26(月) 23:47:08.64ID:sZqqC4tq
>>557
根本的にやり直せ

559132人目の素数さん2018/02/26(月) 23:49:20.69ID:sZqqC4tq
おまえ、先日は述語論理で実無限がどうのと言ってた奴だろ
劣等感婆を煽るつもりが逆に恥かかされて、今と同じ状況

560132人目の素数さん2018/02/26(月) 23:53:43.54ID:xdJ7cy9i
>>559
私はその人に集られてた側ですけど?

日本語で書かれている以上、形式的言語で書かれた形式的記述ではないんですから、明らかにメタですよね

561132人目の素数さん2018/02/26(月) 23:57:57.96ID:R9jBckXx
集る=たかる?

562132人目の素数さん2018/02/26(月) 23:59:24.13ID:sZqqC4tq
これは酷い

563132人目の素数さん2018/02/26(月) 23:59:43.47ID:xdJ7cy9i
>>562
メタってなんだかわかりますか?

564132人目の素数さん2018/02/27(火) 00:14:25.73ID:6QNrQUgr
>>563
あのなあ…
「Nの任意の部分集合」と言ったら
∀x(x⊂N→ … )
という論理式のことに決まってるだろ

おまえの自然数モドキ達をnで表すとしても
∀n(n⊂N→ … )
という論理式を表すための言語がないし、
(有限個の文字による)自然数モドキの定義がない、したがって「自然数モドキ全体の集合」を定義することもできず、
新たに言語を追加しても意味がない

565132人目の素数さん2018/02/27(火) 00:19:19.36ID:U+k5jpWl
>>564
何を言っているのか理解できませんね

私は、あなたがペアノの公理とかは認めないという立場なのかと思ったわけです
ペアノ算術において、自然数とは0およびsuc(*)で定義されていますね

あなたはこれを認めないんですか?認めるんですか?
まずそこからお願いします

566132人目の素数さん2018/02/27(火) 00:20:14.76ID:6QNrQUgr
それと、>>557の「メタに明らかだから公理に付け加えればいい」というやつな

それを公理に付け加えるということは、自然数に関する全ての真なる命題を公理に付け加えるのと同じなので、あまりにも馬鹿げてる

567132人目の素数さん2018/02/27(火) 00:23:50.13ID:6QNrQUgr
もう少し詳しく書いた方がいいかな


それと、>>557の「メタに明らかだから公理に付け加えればいい」というやつな

それを公理に付け加えるということは、
「メタレベルで真と考えられる自然数に関する全ての命題」を
形式的体系の公理に付け加えるのと同じなので、あまりにも馬鹿げてる

568132人目の素数さん2018/02/27(火) 00:25:37.67ID:U+k5jpWl
>>567
数学的帰納法を仮定しない自然数論の例を教えてください
私は知りません

569132人目の素数さん2018/02/27(火) 00:36:25.55ID:6QNrQUgr
>>568
おまえは「メタレベルの数学的帰納法」と「理論内部でこれから証明されるべき数学的帰納法」の区別が付いてない
自然数モドキは元々理論内部の言語にないので、
自然数モドキに関する数学的帰納法を理論内部の公理に追加しようとするなら、
まず自然数モドキ全体の集合が定義されなければならない
さあ、有限個の文字数で定義してみなさい

570132人目の素数さん2018/02/27(火) 00:39:57.07ID:U+k5jpWl
>>569
意味不明です
これに答えてください
たとえば、ペアノ算術において定義される自然数は理論内部の言語に含まれてるんですか?

571132人目の素数さん2018/02/27(火) 00:49:55.82ID:6QNrQUgr
俺の言いたいこと、つまりおまえの問題点は>>567>>569に全て書いてある
>>570の質問もそうだが、どのレベルのペアノ算術なのか区別できていないのも全く同じ問題

572132人目の素数さん2018/02/27(火) 00:52:14.89ID:U+k5jpWl
>>571
数学的帰納法が証明されるべきもの、としているのが理解できないんですよ
証明なんてできませんから、普通の自然数論では
あなたの言ってることも全体的によくわからないですね
自然数が言語に含まれないってどういうことですか?

573132人目の素数さん2018/02/27(火) 01:03:10.22ID:6QNrQUgr
もうこれで最後にするぞ
理論内部の数学的帰納法は単なる論理式の一つだ
杉浦の解析入門にあるように、集合論では証明可能な論理式
理論内部の自然数はある特定の集合Nの元のことだ
そのため∀x(x⊂N→ … )という論理式で任意の自然数について語ることができる
自然数モドキではこれができない

574132人目の素数さん2018/02/27(火) 01:05:10.01ID:6QNrQUgr
訂正

そのため∀x(x⊂N→ … )という論理式でNの任意の部分集合について語ることができる

575132人目の素数さん2018/02/27(火) 01:05:37.84ID:U+k5jpWl
>>573
どのように証明するんですか?
このレスに回答がない場合、あなたは知ったかぶりをして逃げたのだと判断します

576132人目の素数さん2018/02/27(火) 01:10:42.79ID:U+k5jpWl
ウィキペディアに書いてありましたね

自然数 N の部分集合 A が空でないとき、A に属する最小の自然数が存在する。

これを「仮定」することにより、数学的帰納法を証明できる
確かに私の勉強不足は認めますが、これはあなたのいうメタに真な命題、と何が違うんですか?

577132人目の素数さん2018/02/27(火) 01:10:50.92ID:6QNrQUgr
>>575
集合論でωを最小の推移的集合と定義するときと同じ
杉浦ではRの特定の部分集合で定義してあるはず

578132人目の素数さん2018/02/27(火) 04:48:01.13ID:XYxUAcEX
お前らってウィキペディアしか読んでないんだろ。

579132人目の素数さん2018/02/27(火) 05:06:05.48ID:6QNrQUgr
>>576
全く見当違い
整列集合は関係ないし、実数体Rの存在以外に新たに何かを仮定する必要はない

0を含み、+1の操作で閉じたRの部分集合のうち、最小のものをNとすれば、これが数学的帰納法の原理を満たす
集合論で最小の推移的集合ωを考えるときと同じ
非負実数全体は0を含み、+1の操作で閉じているから、無限公理(推移的集合が少なくとも一つ存在する)に相当する条件は自明に成り立つ

580132人目の素数さん2018/02/27(火) 09:32:01.93ID:U+k5jpWl
>>579
実数はどうやって構成するんですか?

581132人目の素数さん2018/02/27(火) 09:39:49.01ID:U+k5jpWl
探したら出てきましたね
ペアノ算術以外の構成方法もあるんですね
わかりました

でもペアノ算術においては数学的帰納法を公理として付け加えるのが一般的です

582132人目の素数さん2018/02/27(火) 09:43:51.60ID:U+k5jpWl
>>579
殺す

583132人目の素数さん2018/02/27(火) 09:44:08.98ID:U+k5jpWl
>>579
殺す

584132人目の素数さん2018/02/27(火) 09:44:27.40ID:U+k5jpWl
>>579
殺す

585132人目の素数さん2018/02/27(火) 09:44:43.53ID:U+k5jpWl
>>579
殺す

586132人目の素数さん2018/02/27(火) 09:45:00.50ID:U+k5jpWl
>>579
殺す

587132人目の素数さん2018/02/27(火) 09:45:17.99ID:U+k5jpWl
>>579
殺す

588132人目の素数さん2018/02/27(火) 09:45:36.73ID:U+k5jpWl
>>579
殺す

589132人目の素数さん2018/02/27(火) 09:45:52.71ID:7iav+836
先にR定義するってのって本末転倒っぽいな

590132人目の素数さん2018/02/27(火) 09:45:55.48ID:U+k5jpWl
>>579
殺す

591132人目の素数さん2018/02/27(火) 09:46:13.38ID:U+k5jpWl
>>579
殺す

592132人目の素数さん2018/02/27(火) 09:46:31.44ID:U+k5jpWl
>>579
殺す

593132人目の素数さん2018/02/27(火) 09:46:48.41ID:U+k5jpWl
>>579
殺す

594132人目の素数さん2018/02/27(火) 09:47:04.99ID:U+k5jpWl
>>579
殺す

595132人目の素数さん2018/02/27(火) 09:47:20.87ID:U+k5jpWl
>>579
殺す

596132人目の素数さん2018/02/27(火) 09:47:38.81ID:U+k5jpWl
>>579
殺す

597132人目の素数さん2018/02/27(火) 09:47:42.07ID:Dhp+ZMA0
>>579
GJ

598132人目の素数さん2018/02/27(火) 09:47:56.88ID:U+k5jpWl
>>579
殺す

599132人目の素数さん2018/02/27(火) 09:48:14.45ID:U+k5jpWl
>>579
殺す

600132人目の素数さん2018/02/27(火) 09:48:32.34ID:U+k5jpWl
>>579
殺す

601132人目の素数さん2018/02/27(火) 09:48:49.73ID:U+k5jpWl
>>579
殺す

602132人目の素数さん2018/02/27(火) 09:49:06.14ID:U+k5jpWl
>>579
殺す

603132人目の素数さん2018/02/27(火) 09:49:21.53ID:U+k5jpWl
>>579
殺す

604132人目の素数さん2018/02/27(火) 09:49:39.28ID:U+k5jpWl
>>579
殺す

605132人目の素数さん2018/02/27(火) 09:49:56.01ID:U+k5jpWl
>>579
殺す

606132人目の素数さん2018/02/27(火) 09:50:14.78ID:U+k5jpWl
>>579
殺す

607132人目の素数さん2018/02/27(火) 09:50:31.83ID:U+k5jpWl
>>579
殺す

608132人目の素数さん2018/02/27(火) 09:50:50.68ID:U+k5jpWl
>>579
殺す

609132人目の素数さん2018/02/27(火) 09:51:07.60ID:U+k5jpWl
>>579
殺す

610132人目の素数さん2018/02/27(火) 09:51:24.37ID:U+k5jpWl
>>579
殺す

611132人目の素数さん2018/02/27(火) 09:51:42.28ID:U+k5jpWl
>>579
殺す

612132人目の素数さん2018/02/27(火) 09:51:59.20ID:U+k5jpWl
>>579
殺す

613132人目の素数さん2018/02/27(火) 09:52:16.54ID:U+k5jpWl
>>579
殺す

614132人目の素数さん2018/02/27(火) 09:52:34.21ID:U+k5jpWl
>>579
殺す

615132人目の素数さん2018/02/27(火) 09:52:49.25ID:U+k5jpWl
>>579
殺す

616132人目の素数さん2018/02/27(火) 09:53:14.26ID:vPlW0SbF
>>579
殺す

617132人目の素数さん2018/02/27(火) 09:53:31.36ID:vPlW0SbF
>>579
殺す

618132人目の素数さん2018/02/27(火) 09:53:48.60ID:vPlW0SbF
>>579
殺す

619132人目の素数さん2018/02/27(火) 09:54:05.57ID:vPlW0SbF
>>579
殺す

620132人目の素数さん2018/02/27(火) 09:54:21.85ID:vPlW0SbF
>>579
殺す

621132人目の素数さん2018/02/27(火) 09:54:40.05ID:vPlW0SbF
>>579
殺す

622132人目の素数さん2018/02/27(火) 09:54:57.19ID:vPlW0SbF
>>579
殺す

623132人目の素数さん2018/02/27(火) 09:55:14.36ID:vPlW0SbF
>>579
殺す

624132人目の素数さん2018/02/27(火) 09:55:30.39ID:vPlW0SbF
>>579
殺す

625132人目の素数さん2018/02/27(火) 09:55:46.33ID:vPlW0SbF
>>579
殺す

626132人目の素数さん2018/02/27(火) 09:56:02.93ID:vPlW0SbF
>>579
殺す

627132人目の素数さん2018/02/27(火) 09:56:20.11ID:vPlW0SbF
>>579
殺す

628132人目の素数さん2018/02/27(火) 09:56:36.20ID:vPlW0SbF
>>579
殺す

629132人目の素数さん2018/02/27(火) 09:56:52.44ID:vPlW0SbF
>>579
殺す

630132人目の素数さん2018/02/27(火) 09:57:09.57ID:vPlW0SbF
>>579
殺す

631132人目の素数さん2018/02/27(火) 09:57:25.77ID:vPlW0SbF
>>579
殺す

632132人目の素数さん2018/02/27(火) 09:57:43.44ID:vPlW0SbF
>>579
殺す

633132人目の素数さん2018/02/27(火) 09:58:01.71ID:vPlW0SbF
>>579
殺す

634132人目の素数さん2018/02/27(火) 09:58:14.45ID:U+k5jpWl
>>579
殺す

635132人目の素数さん2018/02/27(火) 09:58:18.04ID:vPlW0SbF
>>579
殺す

636132人目の素数さん2018/02/27(火) 09:58:37.32ID:vPlW0SbF
>>579
殺す

637132人目の素数さん2018/02/27(火) 09:58:38.60ID:U+k5jpWl
>>579
殺す

638132人目の素数さん2018/02/27(火) 09:58:54.53ID:vPlW0SbF
>>579
殺す

639132人目の素数さん2018/02/27(火) 09:59:11.21ID:vPlW0SbF
>>579
殺す

640132人目の素数さん2018/02/27(火) 09:59:22.68ID:U+k5jpWl
>>579
殺す

641132人目の素数さん2018/02/27(火) 09:59:28.03ID:vPlW0SbF
>>579
殺す

642132人目の素数さん2018/02/27(火) 09:59:44.41ID:vPlW0SbF
>>579
殺す

643132人目の素数さん2018/02/27(火) 10:00:01.44ID:vPlW0SbF
>>579
殺す

644132人目の素数さん2018/02/27(火) 10:00:18.29ID:vPlW0SbF
>>579
殺す

645132人目の素数さん2018/02/27(火) 10:00:20.73ID:U+k5jpWl
>>579
殺す

646132人目の素数さん2018/02/27(火) 10:00:35.77ID:vPlW0SbF
>>579
殺す

647132人目の素数さん2018/02/27(火) 10:00:52.56ID:vPlW0SbF
>>579
殺す

648132人目の素数さん2018/02/27(火) 10:01:09.71ID:vPlW0SbF
>>579
殺す

649132人目の素数さん2018/02/27(火) 10:01:26.87ID:vPlW0SbF
>>579
殺す

650132人目の素数さん2018/02/27(火) 10:01:42.85ID:vPlW0SbF
>>579
殺す

651132人目の素数さん2018/02/27(火) 10:02:01.26ID:vPlW0SbF
>>579
殺す

652132人目の素数さん2018/02/27(火) 10:02:17.42ID:vPlW0SbF
>>579
殺す

653132人目の素数さん2018/02/27(火) 10:02:33.91ID:vPlW0SbF
>>579
殺す

654132人目の素数さん2018/02/27(火) 10:02:49.92ID:vPlW0SbF
>>579
殺す

655132人目の素数さん2018/02/27(火) 10:03:06.16ID:vPlW0SbF
>>579
殺す

656132人目の素数さん2018/02/27(火) 10:03:23.17ID:vPlW0SbF
>>579
殺す

657132人目の素数さん2018/02/27(火) 10:03:40.34ID:vPlW0SbF
>>579
殺す

658132人目の素数さん2018/02/27(火) 10:03:57.10ID:vPlW0SbF
>>579
殺す

659132人目の素数さん2018/02/27(火) 10:04:13.34ID:vPlW0SbF
>>579
殺す

660132人目の素数さん2018/02/27(火) 10:04:29.68ID:vPlW0SbF
>>579
殺す

661132人目の素数さん2018/02/27(火) 10:04:45.65ID:vPlW0SbF
>>579
殺す

662132人目の素数さん2018/02/27(火) 10:05:02.66ID:vPlW0SbF
>>579
殺す

663132人目の素数さん2018/02/27(火) 10:05:18.63ID:vPlW0SbF
>>579
殺す

664132人目の素数さん2018/02/27(火) 10:05:35.79ID:vPlW0SbF
>>579
殺す

665132人目の素数さん2018/02/27(火) 10:05:54.18ID:vPlW0SbF
>>579
殺す

666132人目の素数さん2018/02/27(火) 10:06:12.22ID:vPlW0SbF
>>579
殺す

667132人目の素数さん2018/02/27(火) 10:06:28.60ID:vPlW0SbF
>>579
殺す

668132人目の素数さん2018/02/27(火) 10:06:46.04ID:vPlW0SbF
>>579
殺す

669132人目の素数さん2018/02/27(火) 10:07:04.55ID:vPlW0SbF
>>579
殺す

670132人目の素数さん2018/02/27(火) 10:07:21.99ID:vPlW0SbF
>>579
殺す

671132人目の素数さん2018/02/27(火) 10:07:40.48ID:vPlW0SbF
>>579
殺す

672132人目の素数さん2018/02/27(火) 10:07:56.20ID:vPlW0SbF
>>579
殺す

673132人目の素数さん2018/02/27(火) 10:08:13.74ID:vPlW0SbF
>>579
殺す

674132人目の素数さん2018/02/27(火) 10:08:31.59ID:vPlW0SbF
>>579
殺す

675132人目の素数さん2018/02/27(火) 10:08:48.34ID:vPlW0SbF
>>579
殺す

676132人目の素数さん2018/02/27(火) 10:09:04.94ID:vPlW0SbF
>>579
殺す

677132人目の素数さん2018/02/27(火) 10:09:21.05ID:vPlW0SbF
>>579
殺す

678132人目の素数さん2018/02/27(火) 10:09:38.18ID:vPlW0SbF
>>579
殺す

679132人目の素数さん2018/02/27(火) 10:09:57.81ID:vPlW0SbF
>>579
殺す

680132人目の素数さん2018/02/27(火) 10:10:14.91ID:vPlW0SbF
>>579
殺す

681132人目の素数さん2018/02/27(火) 10:10:31.55ID:vPlW0SbF
>>579
殺す

682132人目の素数さん2018/02/27(火) 10:10:47.56ID:vPlW0SbF
>>579
殺す

683132人目の素数さん2018/02/27(火) 10:11:03.75ID:vPlW0SbF
>>579
殺す

684132人目の素数さん2018/02/27(火) 10:11:20.06ID:U+k5jpWl
>>579
殺す

685132人目の素数さん2018/02/27(火) 10:11:36.10ID:U+k5jpWl
>>579
殺す

686132人目の素数さん2018/02/27(火) 10:11:52.86ID:U+k5jpWl
>>579
殺す

687132人目の素数さん2018/02/27(火) 10:12:08.51ID:U+k5jpWl
>>579
殺す

688132人目の素数さん2018/02/27(火) 10:12:25.24ID:U+k5jpWl
>>579
殺す

689132人目の素数さん2018/02/27(火) 10:12:41.98ID:U+k5jpWl
>>579
殺す

690132人目の素数さん2018/02/27(火) 10:12:58.73ID:U+k5jpWl
>>579
殺す

691132人目の素数さん2018/02/27(火) 10:13:14.37ID:U+k5jpWl
>>579
殺す

692132人目の素数さん2018/02/27(火) 10:13:30.18ID:U+k5jpWl
>>579
殺す

693132人目の素数さん2018/02/27(火) 10:13:47.97ID:U+k5jpWl
>>579
殺す

694132人目の素数さん2018/02/27(火) 10:14:04.77ID:U+k5jpWl
>>579
殺す

695132人目の素数さん2018/02/27(火) 10:14:20.50ID:U+k5jpWl
>>579
殺す

696132人目の素数さん2018/02/27(火) 10:14:36.90ID:U+k5jpWl
>>579
殺す

697132人目の素数さん2018/02/27(火) 10:14:52.74ID:U+k5jpWl
>>579
殺す

698132人目の素数さん2018/02/27(火) 10:15:09.44ID:U+k5jpWl
>>579
殺す

699132人目の素数さん2018/02/27(火) 10:15:24.34ID:U+k5jpWl
>>579
殺す

700132人目の素数さん2018/02/27(火) 10:15:39.69ID:U+k5jpWl
>>579
殺す

701132人目の素数さん2018/02/27(火) 10:15:51.64ID:vPlW0SbF
>>579
殺す

702132人目の素数さん2018/02/27(火) 10:16:07.77ID:vPlW0SbF
>>579
殺す

703132人目の素数さん2018/02/27(火) 10:16:24.25ID:vPlW0SbF
>>579
殺す

704132人目の素数さん2018/02/27(火) 10:16:42.71ID:vPlW0SbF
>>579
殺す

705132人目の素数さん2018/02/27(火) 10:16:59.29ID:vPlW0SbF
>>579
殺す

706132人目の素数さん2018/02/27(火) 10:17:15.49ID:vPlW0SbF
>>579
殺す

707132人目の素数さん2018/02/27(火) 10:17:31.23ID:vPlW0SbF
>>579
殺す

708132人目の素数さん2018/02/27(火) 10:17:48.29ID:vPlW0SbF
>>579
殺す

709132人目の素数さん2018/02/27(火) 10:18:04.60ID:vPlW0SbF
>>579
殺す

710132人目の素数さん2018/02/27(火) 10:18:22.21ID:vPlW0SbF
>>579
殺す

711132人目の素数さん2018/02/27(火) 10:18:40.69ID:vPlW0SbF
>>579
殺す

712132人目の素数さん2018/02/27(火) 10:18:57.21ID:vPlW0SbF
>>579
殺す

713132人目の素数さん2018/02/27(火) 10:19:15.27ID:vPlW0SbF
>>579
殺す

714132人目の素数さん2018/02/27(火) 10:19:34.41ID:vPlW0SbF
>>579
殺す

715132人目の素数さん2018/02/27(火) 10:19:51.59ID:vPlW0SbF
>>579
殺す

716132人目の素数さん2018/02/27(火) 10:20:08.45ID:vPlW0SbF
>>579
殺す

717132人目の素数さん2018/02/27(火) 10:20:25.75ID:vPlW0SbF
>>579
殺す

718132人目の素数さん2018/02/27(火) 10:20:42.34ID:U+k5jpWl
>>579
殺す

719132人目の素数さん2018/02/27(火) 10:20:59.71ID:U+k5jpWl
>>579
殺す

720132人目の素数さん2018/02/27(火) 10:21:17.89ID:U+k5jpWl
>>579
殺す

721132人目の素数さん2018/02/27(火) 10:21:35.90ID:U+k5jpWl
>>579
殺す

722132人目の素数さん2018/02/27(火) 10:21:53.09ID:U+k5jpWl
>>579
殺す

723132人目の素数さん2018/02/27(火) 10:22:08.44ID:U+k5jpWl
>>579
殺す

724132人目の素数さん2018/02/27(火) 10:22:26.52ID:U+k5jpWl
>>579
殺す

725132人目の素数さん2018/02/27(火) 10:22:43.60ID:U+k5jpWl
>>579
殺す

726132人目の素数さん2018/02/27(火) 10:22:58.70ID:U+k5jpWl
>>579
殺す

727132人目の素数さん2018/02/27(火) 10:23:15.49ID:U+k5jpWl
>>579
殺す

728132人目の素数さん2018/02/27(火) 10:23:31.23ID:U+k5jpWl
>>579
殺す

729132人目の素数さん2018/02/27(火) 10:23:49.55ID:U+k5jpWl
>>579
殺す

730132人目の素数さん2018/02/27(火) 10:24:07.52ID:U+k5jpWl
>>579
殺す

731132人目の素数さん2018/02/27(火) 10:24:25.06ID:U+k5jpWl
>>579
殺す

732132人目の素数さん2018/02/27(火) 10:24:41.07ID:U+k5jpWl
>>579
殺す

733132人目の素数さん2018/02/27(火) 10:24:57.78ID:U+k5jpWl
>>579
殺す

734132人目の素数さん2018/02/27(火) 10:25:13.26ID:U+k5jpWl
>>579
殺す

735132人目の素数さん2018/02/27(火) 10:25:31.85ID:U+k5jpWl
>>579
殺す

736132人目の素数さん2018/02/27(火) 10:25:49.65ID:U+k5jpWl
>>579
殺す

737132人目の素数さん2018/02/27(火) 10:26:04.98ID:U+k5jpWl
>>579
殺す

738132人目の素数さん2018/02/27(火) 10:26:21.03ID:U+k5jpWl
>>579
殺す

739132人目の素数さん2018/02/27(火) 10:26:37.98ID:U+k5jpWl
>>579
殺す

740132人目の素数さん2018/02/27(火) 10:26:54.54ID:U+k5jpWl
>>579
殺す

741132人目の素数さん2018/02/27(火) 10:27:11.93ID:U+k5jpWl
>>579
殺す

742132人目の素数さん2018/02/27(火) 10:27:30.49ID:U+k5jpWl
>>579
殺す

743132人目の素数さん2018/02/27(火) 10:27:49.02ID:U+k5jpWl
>>579
殺す

744132人目の素数さん2018/02/27(火) 10:28:07.43ID:U+k5jpWl
>>579
殺す

745132人目の素数さん2018/02/27(火) 10:28:25.57ID:U+k5jpWl
>>579
殺す

746132人目の素数さん2018/02/27(火) 10:28:43.78ID:U+k5jpWl
>>579
殺す

747132人目の素数さん2018/02/27(火) 10:29:00.63ID:U+k5jpWl
>>579
殺す

748132人目の素数さん2018/02/27(火) 10:29:19.74ID:U+k5jpWl
>>579
殺す

749132人目の素数さん2018/02/27(火) 10:29:36.63ID:U+k5jpWl
>>579
殺す

750132人目の素数さん2018/02/27(火) 10:29:54.25ID:U+k5jpWl
>>579
殺す

751132人目の素数さん2018/02/27(火) 10:30:11.04ID:U+k5jpWl
>>579
殺す

752132人目の素数さん2018/02/27(火) 10:30:27.92ID:U+k5jpWl
>>579
殺す

753132人目の素数さん2018/02/27(火) 10:30:47.70ID:U+k5jpWl
>>579
殺す

754132人目の素数さん2018/02/27(火) 10:31:05.64ID:U+k5jpWl
>>579
殺す

755132人目の素数さん2018/02/27(火) 10:31:25.41ID:U+k5jpWl
>>579
殺す

756132人目の素数さん2018/02/27(火) 10:31:41.85ID:U+k5jpWl
>>579
殺す

757132人目の素数さん2018/02/27(火) 10:31:43.02ID:pweKrEkM
劣等感婆が本気出したぞ(笑)

758132人目の素数さん2018/02/27(火) 10:31:57.70ID:U+k5jpWl
>>579
殺す

759132人目の素数さん2018/02/27(火) 10:32:13.78ID:U+k5jpWl
>>579
殺す

760132人目の素数さん2018/02/27(火) 10:32:30.55ID:U+k5jpWl
>>579
殺す

761132人目の素数さん2018/02/27(火) 10:32:48.30ID:U+k5jpWl
>>579
殺す

762132人目の素数さん2018/02/27(火) 10:33:04.59ID:U+k5jpWl
>>579
殺す

763132人目の素数さん2018/02/27(火) 10:33:21.19ID:U+k5jpWl
>>579
殺す

764132人目の素数さん2018/02/27(火) 10:33:37.87ID:U+k5jpWl
>>579
殺す

765132人目の素数さん2018/02/27(火) 10:33:53.40ID:U+k5jpWl
>>579
殺す

766132人目の素数さん2018/02/27(火) 10:34:10.15ID:U+k5jpWl
>>579
殺す

767132人目の素数さん2018/02/27(火) 10:34:25.85ID:U+k5jpWl
>>579
殺す

768132人目の素数さん2018/02/27(火) 10:34:41.95ID:U+k5jpWl
>>579
殺す

769132人目の素数さん2018/02/27(火) 10:34:58.92ID:U+k5jpWl
>>579
殺す

770132人目の素数さん2018/02/27(火) 10:35:14.94ID:U+k5jpWl
>>579
殺す

771132人目の素数さん2018/02/27(火) 10:35:31.23ID:U+k5jpWl
>>579
殺す

772132人目の素数さん2018/02/27(火) 10:35:49.45ID:U+k5jpWl
>>579
殺す

773132人目の素数さん2018/02/27(火) 10:36:07.75ID:PB/BHix/
今春から大学生になる者です。
この度、高木先生の「代数学講義」を頂いたのですがこの本に予備知識はどの程度必要ですか?

当方、高校卒業程度の知識しかもっていません。
行列に関しては課程に含められていないため、その方面の知識が皆無であることに留意してお願いいたします。

774132人目の素数さん2018/02/27(火) 10:36:07.75ID:U+k5jpWl
>>579
殺す

775132人目の素数さん2018/02/27(火) 10:36:25.02ID:U+k5jpWl
>>579
殺す

776132人目の素数さん2018/02/27(火) 10:36:42.76ID:U+k5jpWl
>>579
殺す

777132人目の素数さん2018/02/27(火) 10:36:57.87ID:U+k5jpWl
>>579
殺す

778132人目の素数さん2018/02/27(火) 10:37:15.14ID:U+k5jpWl
>>579
殺す

779132人目の素数さん2018/02/27(火) 10:37:31.99ID:U+k5jpWl
>>579
殺す

780132人目の素数さん2018/02/27(火) 10:37:47.49ID:U+k5jpWl
>>579
殺す

781132人目の素数さん2018/02/27(火) 10:38:05.70ID:U+k5jpWl
>>579
殺す

782132人目の素数さん2018/02/27(火) 10:38:22.51ID:U+k5jpWl
>>579
殺す

783132人目の素数さん2018/02/27(火) 10:38:41.23ID:U+k5jpWl
>>579
殺す

784132人目の素数さん2018/02/27(火) 10:38:57.99ID:U+k5jpWl
>>579
殺す

785132人目の素数さん2018/02/27(火) 10:39:15.14ID:U+k5jpWl
>>579
殺す

786132人目の素数さん2018/02/27(火) 10:39:31.82ID:U+k5jpWl
>>579
殺す

787132人目の素数さん2018/02/27(火) 10:39:47.49ID:U+k5jpWl
>>579
殺す

788132人目の素数さん2018/02/27(火) 10:40:05.71ID:U+k5jpWl
>>579
殺す

789132人目の素数さん2018/02/27(火) 10:40:23.52ID:U+k5jpWl
>>579
殺す

790132人目の素数さん2018/02/27(火) 10:40:42.90ID:U+k5jpWl
>>579
殺す

791132人目の素数さん2018/02/27(火) 10:40:59.42ID:U+k5jpWl
>>579
殺す

792132人目の素数さん2018/02/27(火) 10:41:17.10ID:U+k5jpWl
>>579
殺す

793132人目の素数さん2018/02/27(火) 10:41:33.98ID:U+k5jpWl
>>579
殺す

794132人目の素数さん2018/02/27(火) 10:41:51.09ID:U+k5jpWl
>>579
殺す

795132人目の素数さん2018/02/27(火) 10:42:07.76ID:U+k5jpWl
>>579
殺す

796132人目の素数さん2018/02/27(火) 10:42:23.45ID:U+k5jpWl
>>579
殺す

797132人目の素数さん2018/02/27(火) 10:42:39.66ID:U+k5jpWl
>>579
殺す

798132人目の素数さん2018/02/27(火) 10:42:56.03ID:U+k5jpWl
>>579
殺す

799132人目の素数さん2018/02/27(火) 10:43:11.72ID:U+k5jpWl
>>579
殺す

800132人目の素数さん2018/02/27(火) 10:43:28.73ID:U+k5jpWl
>>579
殺す

801132人目の素数さん2018/02/27(火) 10:43:46.03ID:U+k5jpWl
>>579
殺す

802132人目の素数さん2018/02/27(火) 10:44:02.30ID:U+k5jpWl
>>579
殺す

803132人目の素数さん2018/02/27(火) 10:44:19.28ID:U+k5jpWl
>>579
殺す

804132人目の素数さん2018/02/27(火) 10:44:36.35ID:U+k5jpWl
>>579
殺す

805132人目の素数さん2018/02/27(火) 10:44:52.67ID:U+k5jpWl
>>579
殺す

806132人目の素数さん2018/02/27(火) 10:45:08.53ID:U+k5jpWl
>>579
殺す

807132人目の素数さん2018/02/27(火) 10:45:25.26ID:U+k5jpWl
>>579
殺す

808132人目の素数さん2018/02/27(火) 10:45:41.58ID:U+k5jpWl
>>579
殺す

809132人目の素数さん2018/02/27(火) 10:46:03.64ID:U+k5jpWl
>>579
殺す

810132人目の素数さん2018/02/27(火) 10:46:20.18ID:U+k5jpWl
>>579
殺す

811132人目の素数さん2018/02/27(火) 10:46:36.66ID:U+k5jpWl
>>579
殺す

812132人目の素数さん2018/02/27(火) 10:46:53.28ID:U+k5jpWl
>>579
殺す

813132人目の素数さん2018/02/27(火) 10:47:08.75ID:U+k5jpWl
>>579
殺す

814132人目の素数さん2018/02/27(火) 10:47:24.77ID:U+k5jpWl
>>579
殺す

815132人目の素数さん2018/02/27(火) 10:47:42.64ID:U+k5jpWl
>>579
殺す

816132人目の素数さん2018/02/27(火) 10:47:58.56ID:U+k5jpWl
>>579
殺す

817132人目の素数さん2018/02/27(火) 10:48:18.17ID:U+k5jpWl
>>579
殺す

818132人目の素数さん2018/02/27(火) 10:48:29.52ID:pweKrEkM
頑張れ劣等感婆()

819132人目の素数さん2018/02/27(火) 10:48:34.97ID:U+k5jpWl
>>579
殺す

820132人目の素数さん2018/02/27(火) 10:48:52.51ID:U+k5jpWl
>>579
殺す

821132人目の素数さん2018/02/27(火) 10:49:09.13ID:U+k5jpWl
>>579
殺す

822132人目の素数さん2018/02/27(火) 10:49:25.76ID:U+k5jpWl
>>579
殺す

823132人目の素数さん2018/02/27(火) 10:49:43.48ID:U+k5jpWl
>>579
殺す

824132人目の素数さん2018/02/27(火) 10:50:00.58ID:U+k5jpWl
>>579
殺す

825132人目の素数さん2018/02/27(火) 10:50:17.33ID:U+k5jpWl
>>579
殺す

826132人目の素数さん2018/02/27(火) 10:50:35.34ID:U+k5jpWl
>>579
殺す

827132人目の素数さん2018/02/27(火) 10:50:53.72ID:U+k5jpWl
>>579
殺す

828132人目の素数さん2018/02/27(火) 10:51:10.34ID:U+k5jpWl
>>579
殺す

829132人目の素数さん2018/02/27(火) 10:51:27.43ID:U+k5jpWl
>>579
殺す

830132人目の素数さん2018/02/27(火) 10:51:44.43ID:U+k5jpWl
>>579
殺す

831132人目の素数さん2018/02/27(火) 10:52:01.65ID:U+k5jpWl
>>579
殺す

832132人目の素数さん2018/02/27(火) 10:52:18.53ID:U+k5jpWl
>>579
殺す

833132人目の素数さん2018/02/27(火) 10:52:36.07ID:U+k5jpWl
>>579
殺す

834132人目の素数さん2018/02/27(火) 10:52:53.80ID:U+k5jpWl
>>579
殺す

835132人目の素数さん2018/02/27(火) 10:53:10.47ID:U+k5jpWl
>>579
殺す

836132人目の素数さん2018/02/27(火) 10:53:31.02ID:U+k5jpWl
>>579
殺す

837132人目の素数さん2018/02/27(火) 10:53:47.35ID:U+k5jpWl
>>579
殺す

838132人目の素数さん2018/02/27(火) 10:54:03.98ID:U+k5jpWl
>>579
殺す

839132人目の素数さん2018/02/27(火) 10:54:20.81ID:U+k5jpWl
>>579
殺す

840132人目の素数さん2018/02/27(火) 10:54:36.60ID:U+k5jpWl
>>579
殺す

841132人目の素数さん2018/02/27(火) 10:54:53.35ID:U+k5jpWl
>>579
殺す

842132人目の素数さん2018/02/27(火) 10:55:11.13ID:U+k5jpWl
>>579
殺す

843132人目の素数さん2018/02/27(火) 10:55:31.09ID:U+k5jpWl
>>579
殺す

844132人目の素数さん2018/02/27(火) 10:55:50.12ID:U+k5jpWl
>>579
殺す

845132人目の素数さん2018/02/27(火) 10:56:11.11ID:U+k5jpWl
>>579
殺す

846132人目の素数さん2018/02/27(火) 10:56:29.15ID:U+k5jpWl
>>579
殺す

847132人目の素数さん2018/02/27(火) 10:56:45.91ID:U+k5jpWl
>>579
殺す

848132人目の素数さん2018/02/27(火) 10:57:03.56ID:U+k5jpWl
>>579
殺す

849132人目の素数さん2018/02/27(火) 10:57:21.11ID:U+k5jpWl
>>579
殺す

850132人目の素数さん2018/02/27(火) 10:57:41.24ID:U+k5jpWl
>>579
殺す

851132人目の素数さん2018/02/27(火) 10:58:01.40ID:U+k5jpWl
>>579
殺す

852132人目の素数さん2018/02/27(火) 10:58:22.84ID:U+k5jpWl
>>579
殺す

853132人目の素数さん2018/02/27(火) 10:58:39.32ID:U+k5jpWl
>>579
殺す

854132人目の素数さん2018/02/27(火) 10:58:58.45ID:U+k5jpWl
>>579
殺す

855132人目の素数さん2018/02/27(火) 10:59:15.21ID:U+k5jpWl
>>579
殺す

856132人目の素数さん2018/02/27(火) 10:59:32.70ID:U+k5jpWl
>>579
殺す

857132人目の素数さん2018/02/27(火) 10:59:50.48ID:U+k5jpWl
>>579
殺す

858132人目の素数さん2018/02/27(火) 11:00:10.01ID:U+k5jpWl
>>579
殺す

859132人目の素数さん2018/02/27(火) 11:00:29.58ID:U+k5jpWl
>>579
殺す

860132人目の素数さん2018/02/27(火) 11:00:47.97ID:U+k5jpWl
>>579
殺す

861132人目の素数さん2018/02/27(火) 11:01:05.38ID:U+k5jpWl
>>579
殺す

862132人目の素数さん2018/02/27(火) 11:01:22.35ID:U+k5jpWl
>>579
殺す

863132人目の素数さん2018/02/27(火) 11:01:39.43ID:U+k5jpWl
>>579
殺す

864132人目の素数さん2018/02/27(火) 11:01:57.34ID:U+k5jpWl
>>579
殺す

865132人目の素数さん2018/02/27(火) 11:02:14.33ID:U+k5jpWl
>>579
殺す

866132人目の素数さん2018/02/27(火) 11:02:31.89ID:U+k5jpWl
>>579
殺す

867132人目の素数さん2018/02/27(火) 11:02:50.97ID:U+k5jpWl
>>579
殺す

868132人目の素数さん2018/02/27(火) 11:03:07.77ID:U+k5jpWl
>>579
殺す

869132人目の素数さん2018/02/27(火) 11:03:25.89ID:U+k5jpWl
>>579
殺す

870132人目の素数さん2018/02/27(火) 11:03:43.86ID:U+k5jpWl
>>579
殺す

871132人目の素数さん2018/02/27(火) 11:04:03.57ID:U+k5jpWl
>>579
殺す

872132人目の素数さん2018/02/27(火) 11:04:20.52ID:U+k5jpWl
>>579
殺す

873132人目の素数さん2018/02/27(火) 11:04:39.43ID:U+k5jpWl
>>579
殺す

874132人目の素数さん2018/02/27(火) 11:04:56.74ID:U+k5jpWl
>>579
殺す

875132人目の素数さん2018/02/27(火) 11:05:18.95ID:U+k5jpWl
>>579
殺す

876132人目の素数さん2018/02/27(火) 11:05:36.28ID:U+k5jpWl
>>579
殺す

877132人目の素数さん2018/02/27(火) 11:05:53.15ID:U+k5jpWl
>>579
殺す

878132人目の素数さん2018/02/27(火) 11:06:09.66ID:U+k5jpWl
>>579
殺す

879132人目の素数さん2018/02/27(火) 11:06:26.63ID:U+k5jpWl
>>579
殺す

880132人目の素数さん2018/02/27(火) 11:06:44.44ID:U+k5jpWl
>>579
殺す

881132人目の素数さん2018/02/27(火) 11:07:02.49ID:U+k5jpWl
>>579
殺す

882132人目の素数さん2018/02/27(火) 11:07:18.55ID:U+k5jpWl
>>579
殺す

883132人目の素数さん2018/02/27(火) 11:07:35.17ID:U+k5jpWl
>>579
殺す

884132人目の素数さん2018/02/27(火) 11:07:53.55ID:U+k5jpWl
>>579
殺す

885132人目の素数さん2018/02/27(火) 11:08:10.89ID:U+k5jpWl
>>579
殺す

886132人目の素数さん2018/02/27(火) 11:08:29.56ID:U+k5jpWl
>>579
殺す

887132人目の素数さん2018/02/27(火) 11:08:45.86ID:U+k5jpWl
>>579
殺す

888132人目の素数さん2018/02/27(火) 11:09:02.98ID:U+k5jpWl
>>579
殺す

889132人目の素数さん2018/02/27(火) 11:09:20.01ID:U+k5jpWl
>>579
殺す

890132人目の素数さん2018/02/27(火) 11:09:37.17ID:U+k5jpWl
>>579
殺す

891132人目の素数さん2018/02/27(火) 11:09:53.34ID:U+k5jpWl
>>579
殺す

892132人目の素数さん2018/02/27(火) 11:10:09.40ID:U+k5jpWl
>>579
殺す

893132人目の素数さん2018/02/27(火) 11:10:26.31ID:U+k5jpWl
>>579
殺す

894132人目の素数さん2018/02/27(火) 11:10:44.18ID:U+k5jpWl
>>579
殺す

895132人目の素数さん2018/02/27(火) 11:11:02.22ID:U+k5jpWl
>>579
殺す

896132人目の素数さん2018/02/27(火) 11:11:19.37ID:U+k5jpWl
>>579
殺す

897132人目の素数さん2018/02/27(火) 11:11:37.07ID:U+k5jpWl
>>579
殺す

898132人目の素数さん2018/02/27(火) 11:11:55.50ID:U+k5jpWl
>>579
殺す

899132人目の素数さん2018/02/27(火) 11:12:13.33ID:U+k5jpWl
>>579
殺す

900132人目の素数さん2018/02/27(火) 11:12:29.22ID:U+k5jpWl
>>579
殺す

901132人目の素数さん2018/02/27(火) 11:12:46.98ID:U+k5jpWl
>>579
殺す

902132人目の素数さん2018/02/27(火) 11:13:03.74ID:U+k5jpWl
>>579
殺す

903132人目の素数さん2018/02/27(火) 11:13:21.00ID:U+k5jpWl
>>579
殺す

904132人目の素数さん2018/02/27(火) 11:13:37.70ID:U+k5jpWl
>>579
殺す

905132人目の素数さん2018/02/27(火) 11:13:53.63ID:U+k5jpWl
>>579
殺す

906132人目の素数さん2018/02/27(火) 11:14:08.38ID:U+k5jpWl
>>579
殺す

907132人目の素数さん2018/02/27(火) 11:14:25.03ID:U+k5jpWl
>>579
殺す

908132人目の素数さん2018/02/27(火) 11:14:42.75ID:U+k5jpWl
>>579
殺す

909132人目の素数さん2018/02/27(火) 11:14:59.24ID:U+k5jpWl
>>579
殺す

910132人目の素数さん2018/02/27(火) 11:15:17.70ID:U+k5jpWl
>>579
殺す

911132人目の素数さん2018/02/27(火) 11:15:36.36ID:U+k5jpWl
>>579
殺す

912132人目の素数さん2018/02/27(火) 11:15:51.99ID:U+k5jpWl
>>579
殺す

913132人目の素数さん2018/02/27(火) 11:16:09.02ID:U+k5jpWl
>>579
殺す

914132人目の素数さん2018/02/27(火) 11:16:28.70ID:U+k5jpWl
>>579
殺す

915132人目の素数さん2018/02/27(火) 11:16:47.60ID:U+k5jpWl
>>579
殺す

916132人目の素数さん2018/02/27(火) 11:17:03.55ID:U+k5jpWl
>>579
殺す

917132人目の素数さん2018/02/27(火) 11:17:18.10ID:7iav+836
>>773
読んでみて分からなくなったら調べたら良いんじゃないの?

918132人目の素数さん2018/02/27(火) 11:17:19.16ID:U+k5jpWl
>>579
殺す

919132人目の素数さん2018/02/27(火) 11:17:37.94ID:U+k5jpWl
>>579
殺す

920132人目の素数さん2018/02/27(火) 11:17:53.80ID:U+k5jpWl
>>579
殺す

921132人目の素数さん2018/02/27(火) 11:18:12.27ID:U+k5jpWl
>>579
殺す

922132人目の素数さん2018/02/27(火) 11:18:30.46ID:U+k5jpWl
>>579
殺す

923132人目の素数さん2018/02/27(火) 11:18:47.58ID:U+k5jpWl
>>579
殺す

924132人目の素数さん2018/02/27(火) 11:19:04.34ID:U+k5jpWl
>>579
殺す

925132人目の素数さん2018/02/27(火) 11:19:21.90ID:U+k5jpWl
>>579
殺す

926132人目の素数さん2018/02/27(火) 11:19:40.05ID:U+k5jpWl
>>579
殺す

927132人目の素数さん2018/02/27(火) 11:19:58.70ID:U+k5jpWl
>>579
殺す

928132人目の素数さん2018/02/27(火) 11:20:16.61ID:U+k5jpWl
>>579
殺す

929132人目の素数さん2018/02/27(火) 11:20:32.84ID:U+k5jpWl
>>579
殺す

930132人目の素数さん2018/02/27(火) 11:20:48.86ID:U+k5jpWl
>>579
殺す

931132人目の素数さん2018/02/27(火) 11:21:07.09ID:U+k5jpWl
>>579
殺す

932132人目の素数さん2018/02/27(火) 11:21:25.08ID:U+k5jpWl
>>579
殺す

933132人目の素数さん2018/02/27(火) 11:21:44.57ID:U+k5jpWl
>>579
殺す

934132人目の素数さん2018/02/27(火) 11:22:02.82ID:U+k5jpWl
>>579
殺す

935132人目の素数さん2018/02/27(火) 11:22:20.52ID:U+k5jpWl
>>579
殺す

936132人目の素数さん2018/02/27(火) 11:22:36.86ID:U+k5jpWl
>>579
殺す

937132人目の素数さん2018/02/27(火) 11:22:53.79ID:U+k5jpWl
>>579
殺す

938132人目の素数さん2018/02/27(火) 11:23:10.42ID:U+k5jpWl
>>579
殺す

939132人目の素数さん2018/02/27(火) 11:23:32.76ID:U+k5jpWl
>>579
殺す

940132人目の素数さん2018/02/27(火) 11:23:54.91ID:U+k5jpWl
>>579
殺す

941132人目の素数さん2018/02/27(火) 11:24:16.23ID:U+k5jpWl
>>579
殺す

942132人目の素数さん2018/02/27(火) 11:24:35.00ID:U+k5jpWl
>>579
殺す

943132人目の素数さん2018/02/27(火) 11:24:50.54ID:U+k5jpWl
>>579
殺す

944132人目の素数さん2018/02/27(火) 11:25:07.71ID:U+k5jpWl
>>579
殺す

945132人目の素数さん2018/02/27(火) 11:25:23.83ID:U+k5jpWl
>>579
殺す

946132人目の素数さん2018/02/27(火) 11:25:45.46ID:U+k5jpWl
>>579
殺す

947132人目の素数さん2018/02/27(火) 11:26:01.72ID:U+k5jpWl
>>579
殺す

948132人目の素数さん2018/02/27(火) 11:26:20.15ID:U+k5jpWl
>>579
殺す

949132人目の素数さん2018/02/27(火) 11:26:36.44ID:U+k5jpWl
>>579
殺す

950132人目の素数さん2018/02/27(火) 11:26:51.52ID:U+k5jpWl
>>579
殺す

951132人目の素数さん2018/02/27(火) 11:27:08.97ID:U+k5jpWl
>>579
殺す

952132人目の素数さん2018/02/27(火) 11:27:28.55ID:U+k5jpWl
>>579
殺す

953132人目の素数さん2018/02/27(火) 11:27:48.23ID:U+k5jpWl
>>579
殺す

954132人目の素数さん2018/02/27(火) 11:28:18.02ID:U+k5jpWl
>>579
殺す

955132人目の素数さん2018/02/27(火) 11:28:35.97ID:U+k5jpWl
>>579
殺す

956132人目の素数さん2018/02/27(火) 11:28:51.98ID:U+k5jpWl
>>579
殺す

957132人目の素数さん2018/02/27(火) 11:29:09.34ID:U+k5jpWl
>>579
殺す

958132人目の素数さん2018/02/27(火) 11:29:32.03ID:U+k5jpWl
>>579
殺す

959132人目の素数さん2018/02/27(火) 11:29:50.98ID:U+k5jpWl
>>579
殺す

960132人目の素数さん2018/02/27(火) 11:30:09.13ID:U+k5jpWl
>>579
殺す

961132人目の素数さん2018/02/27(火) 11:30:25.41ID:U+k5jpWl
>>579
殺す

962132人目の素数さん2018/02/27(火) 11:30:42.64ID:U+k5jpWl
>>579
殺す

963132人目の素数さん2018/02/27(火) 11:31:02.00ID:U+k5jpWl
>>579
殺す

964132人目の素数さん2018/02/27(火) 11:31:20.77ID:U+k5jpWl
>>579
殺す

965132人目の素数さん2018/02/27(火) 11:31:38.41ID:U+k5jpWl
>>579
殺す

966132人目の素数さん2018/02/27(火) 11:31:56.07ID:U+k5jpWl
>>579
殺す

967132人目の素数さん2018/02/27(火) 11:32:12.58ID:U+k5jpWl
>>579
殺す

968132人目の素数さん2018/02/27(火) 11:32:30.62ID:U+k5jpWl
>>579
殺す

969132人目の素数さん2018/02/27(火) 11:32:47.94ID:U+k5jpWl
>>579
殺す

970132人目の素数さん2018/02/27(火) 11:33:06.38ID:U+k5jpWl
>>579
殺す

971132人目の素数さん2018/02/27(火) 11:33:23.09ID:U+k5jpWl
>>579
殺す

972132人目の素数さん2018/02/27(火) 11:33:41.58ID:U+k5jpWl
>>579
殺す

973132人目の素数さん2018/02/27(火) 11:33:58.09ID:U+k5jpWl
>>579
殺す

974132人目の素数さん2018/02/27(火) 11:34:14.68ID:U+k5jpWl
>>579
殺す

975132人目の素数さん2018/02/27(火) 11:34:32.36ID:U+k5jpWl
>>579
殺す

976132人目の素数さん2018/02/27(火) 11:34:50.28ID:U+k5jpWl
>>579
殺す

977132人目の素数さん2018/02/27(火) 11:35:08.83ID:U+k5jpWl
>>579
殺す

978132人目の素数さん2018/02/27(火) 11:35:28.91ID:U+k5jpWl
>>579
殺す

979132人目の素数さん2018/02/27(火) 11:35:46.96ID:U+k5jpWl
>>579
殺す

980132人目の素数さん2018/02/27(火) 11:36:05.66ID:U+k5jpWl
>>579
殺す

981132人目の素数さん2018/02/27(火) 11:36:40.79ID:RPBwz3i2
多様体の導入部分の説明で
「球面は一つの座標系で空間のすべての点を表示できません。」
みたいな記述を目にするのですが、地球上の任意の地点は経度緯度で表わせるのでひとつの座標系で事足りるように思えるのですがどこが間違ってるのでしょうか?

よろしくお願いします。

982132人目の素数さん2018/02/27(火) 11:55:19.03ID:mY5W4rgE
>>981
南極点の経度は?

983132人目の素数さん2018/02/27(火) 11:55:37.32ID:7iav+836
>>981
1対1にってことでしょうな

984132人目の素数さん2018/02/27(火) 12:01:16.85ID:RPBwz3i2
>>982
>>983
なーるほどたしかに北極南極を考慮すゆと1対1で表現できませんな
ありがとうございました!

985132人目の素数さん2018/02/27(火) 12:09:31.30ID:WxOww4zp
>>980
もう終わりか?(笑)

986132人目の素数さん2018/02/27(火) 12:14:15.21ID:DmXXziai
何このスレ怖い

987132人目の素数さん2018/02/27(火) 12:17:48.54ID:PB/BHix/
>>917
そうします。ありがとうございました。

988132人目の素数さん2018/02/27(火) 12:59:25.49ID:6QNrQUgr
>>581
0点
メタレベルと対象レベルの区別が付いていない
知識不足なんてかわいい失敗ではなく、おまえのは完全にトンデモの所業

989132人目の素数さん2018/02/27(火) 13:08:06.98ID:U+k5jpWl
>>988
ペアノ算術も学んでみましょうねー
私が勉強不足だったように、あなたもペアノ算術は知らないようですね

990132人目の素数さん2018/02/27(火) 13:14:16.27ID:6QNrQUgr
何度言ってもおまえは理解しないが、おまえが定義したつもりになっているものは自然数ではなく、自然数モドキ
>>550-551で定義した自然数モドキには理論内部で量化子を適用できないので、数学的帰納法の原理を記述することすらできない

991132人目の素数さん2018/02/27(火) 13:19:11.42ID:6QNrQUgr
余談だが、ω無矛盾な一階の算術ならこの方法でも数学的帰納法は表現できる
もちろん今は解析学を視野に入れているのでこの限りではない
非可算個ある自然数の集合を網羅しなければ、完全な形の数学的帰納法とは呼べない
おまえの誤解は不完全性定理のトンデモ解釈に典型的な症例と同根なのかもしれない

992132人目の素数さん2018/02/27(火) 13:22:08.01ID:U+k5jpWl
>>990
ペアノ算術知らないんですか?

993132人目の素数さん2018/02/27(火) 13:24:10.45ID:yByEFCby
それだけが自慢か

994132人目の素数さん2018/02/27(火) 13:24:56.66ID:6QNrQUgr
もう少し正確に書くと

余談だが、ω無矛盾な一階の算術なら量化子を使わずに数学的帰納法は表現できる

995132人目の素数さん2018/02/27(火) 13:27:10.97ID:U+k5jpWl
>>994
ペアノ算術を知らないようですね

996132人目の素数さん2018/02/27(火) 13:27:52.48ID:6Azy1V0O
劣等感婆よ地獄に落ちろ

997132人目の素数さん2018/02/27(火) 13:28:20.91ID:6Azy1V0O
劣等感婆よ地獄に落ちろ

998132人目の素数さん2018/02/27(火) 13:28:46.04ID:6Azy1V0O
劣等感婆よ地獄に落ちろ

999132人目の素数さん2018/02/27(火) 13:29:16.41ID:6Azy1V0O
劣等感婆よ地獄に落ちろ

1000132人目の素数さん2018/02/27(火) 13:29:45.46ID:6Azy1V0O
劣等感婆よ地獄に落ちろ

10011001Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 75日 1時間 1分 40秒

10021002Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php

レス数が1000を超えています。これ以上書き込みはできません。