22/04/28 21:13:06.70 oq75KvzG.net
大学で習う数学に関する質問を扱うスレ
・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
URLﾘﾝｸ(wolframalpha.com)<) ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー
関連スレ
分からない問題はここに書いてね478
ｽﾚﾘﾝｸ(math板)
※前スレ
大学学部レベル質問スレ 17単位目
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
22/04/28 21:19:23.90 oq75KvzG.net
分からない問題はここに書いてねスレは現行落ちてるようですが、
消すのもなんだったので、前スレ>>1に書いてたのをとりあえずそのまま書いてます
3:１３２人目の素数さん
22/04/28 21:53:16 37/SqDmQ.net
>>991
>排中律と矛盾律の区別すらつかんのかおまえら
排中律
P∨￢P
（君の言うところの）矛盾律
￢(P∧￢P)
古典論理ではどちらも真
特にドモルガンの法則で同値変形できる
直観主義論理では前者は真ではなく後者は真
開集合とその補集合の内包の合併集合は一般に全体集合でないけれども
開集合とその補集合の内包の共通部分の補集合の内包は必ず全体集合になるからね
4:１３２人目の素数さん
22/04/28 21:56:25 37/SqDmQ.net
同様に
排中律の否定￢(P∨￢P)は古典論理ではもちろん直観主義論理でも偽
開集合とその補集合の内包の合併集合の補集合の内包は空集合だからね
5:１３２人目の素数さん
22/04/28 23:37:
6:51 ID:XL8AiXBD.net
7:１３２人目の素数さん
22/04/29 06:44:36.78 mJMIOEKH.net
((A→B)∧(￢A→B))→Bは直観主義論理でも成り立つのかどうか、考えたけどわからなかった
8:１３２人目の素数さん
22/04/29 07:26:43.82 vvTdXbVu.net
((A→B)∧(￢A→B))→B
=￢((￢A∨B)∧(￢￢A∨B))∨B
=￢((￢A∧￢￢A)∨B)∨B
=￢(￢(A∨￢A)∨B)∨B
=￢B∨B
成立するとは言えません
9:１３２人目の素数さん
22/04/29 09:41:42.56 vvTdXbVu.net
>>5
現実を受け入れましょう
10:１３２人目の素数さん
22/04/29 10:08:18.16 kSLeq71v.net
>>5
マルチポスト
11:１３２人目の素数さん
22/04/29 13:01:00.16 y+mU0iwN.net
アホ死ね！アホ死ね！アホ死ね！
12:１３２人目の素数さん
22/04/29 14:02:48.47 J8ImCyMJ.net
>>9
先の１か所では全く回答が得られなかったので
>>8
当然既知の問題だろうと思うのですがどこにも答えがみつかりません。
もしわかれば教えてください。
13:１３２人目の素数さん
22/04/29 14:04:41.33 +oeK6kIJ.net
>>11
>当然既知の問題だろうと思うのですが
問題にしている人を見たことありません
14:１３２人目の素数さん
22/04/29 14:14:06.46 J8ImCyMJ.net
>>12
答えは自明だということでしょうか？
疑問が問題として成立していないということでしょうか？
それとも超難問ということでしょうか？（それはないと思いますが）
どこかで話題にされていることだと思うのですが。
15:１３２人目の素数さん
22/04/29 14:16:21.62 +oeK6kIJ.net
>>13
1点で交わることが証明できるので証明されたわけです
その「意味」を考えるのは「意味」があるのかどうか
16:１３２人目の素数さん
22/04/29 14:16:49.07 24Hbnuef.net
3本の直線が1点で交わるような点を五心って呼んでるだけだろ
17:１３２人目の素数さん
22/04/29 14:19:31.75 +oeK6kIJ.net
もちろん「意味」を考えようとするのは「無意味」ではないかもしれません
面白い解釈・説明を思いついたら教えてください
18:１３２人目の素数さん
22/04/29 14:20:23.28 +oeK6kIJ.net
でもこのスレでなくて
より適切なスレがあるかも
19:１３２人目の素数さん
22/04/29 21:02:05.07 J8ImCyMJ.net
>>16
「意味」というより、むしろ「形式」に関する不思議さという感じです。
>>17
そうですね。たしかに迷ったのですが。
数学基礎論？あるいは？
でも、そんなに珍しい問いとも思えないのですが
20:１３２人目の素数さん
22/04/29 21:40:22 vvTdXbVu.net
>>18
>「意味」というより、むしろ「形式」に関する不思議さという感じです。
形式とは？
21:１３２人目の素数さん
22/04/29 21:41:04 vvTdXbVu.net
>>18
>でも、そんなに珍しい問いとも思えないのですが
１＋１＝２になるのは不思議ですと言っているように見えますよ
22:１３２人目の素数さん
22/04/30 00:19:13.00 q4MfboGi.net
>>15で終わってる話だとは思うが
>>5はEncyclopedia of Triangle Centersでも眺めとけば
分野的には総合幾何学 (synthetic geometry) だろうが現代的にはドマイナーだろ
（>>18は一体どっから基礎論出てきた？
23:１３２人目の素数さん
22/04/30 12:00:08 JrpS5AMt.net
△ABCで点の名前を取り替えても引かれる直線は同じだから
3直線の交点は一般には3点あるけど
点の名前を入れ替えても変わらないから実は1点
こういうことを言わせたかったのか
24:１３２人目の素数さん
22/04/30 12:11:23.46 /9DIEapR.net
999 返信：１３２人目の素数さん[sage] 投稿日：2022/04/28(木) 21:40:27.83 ID:+gaZyQqp [1/2]
>>996
だからAさんが計算したらJordanの標準形がXになりました
Bさんが計算したらYになりました
そんな事が起こるのかでしょ？
もちろん答えは起こらない、なぜか、で紹介されてる話が
XとYが同じ行列Aと相似ならXとYも相似にならざるをえず、その場合任意の整数kに対してrank(X^k)とrank(Y^k)は一致しないといけないでしょ？
ありがとうございます。
齋藤正彦著『線型代数演習』の一意性の説明を見て、分かりました。
25:１３２人目の素数さん
22/04/30 12:12:24.67 JrpS5AMt.net
たぶんそういう攻め方では示せないと思うけれど
期待しているのはそういう「原理」？
26:１３２人目の素数さん
22/04/30 13:17:45.14 YWfy5BEL.net
>>24
そうそう
27:１３２人目の素数さん
22/04/30 15:34:21 IP1jGD2r.net
>>25
簡単な証明が欲しいと泣いても仕方ありませんよ
28:１３２人目の素数さん
22/04/30 20:47:34.44 /9DIEapR.net
齋藤正彦著『齋藤正彦 線型代数学』
以下の命題が当然成り立つと書かれています。
証明してください。
-----------------------------------------------
T を有限次元ベクトル空間 V 上の線形変換とする。
α を T の固有値とする。
m を α の重複度とする。
W(α) を α に属する広義固有空間とする。
dim W(α) ≦ m
が成り立つ。
29:１３２人目の素数さん
22/04/30 20:55:06.53 /9DIEapR.net
>>27
あ、分かりました。
30:１３２人目の素数さん
22/04/30 20:58:58.78 /9DIEapR.net
>>27
あ、やっぱり分かりません。
証明してください。
31:１３２人目の素数さん
22/04/30 21:12:55.96 vz0MgWS9.net
jordan分解したら当たり前
つまりそもそも質問する時にjordan分解使っていいのかを明示しとかんと質問にならん
32:１３２人目の素数さん
22/04/30 21:14:13.86 /9DIEapR.net
>>30
Jordan分解というのはそれ以前に出てきていませんので、使ってはいけません。
33:１３２人目の素数さん
22/04/30 21:32:34.78 /9DIEapR.net
>>27
齋藤正彦さんが、この命題が成り立つのは「当然」と書いているのは、有限次元のベクトル空間が広義固有空間の直和に分解できるという定理の証明の中でです。
T を有限次元ベクトル空間 V 上の線形変換とする。 T の異なる固有値の全部を β_1, …, β_p, それらの重複度を m_1, …, m_p とする。
V = W(β_1) (+) W(β_2) (+) … (+) W(β_p)
が成り立つ。
齋藤さんは、 dim W(β_i) ≧ m_i のほうは証明しています。
そして、 W(β_1) + W(β_2) + … + W(β_p) が直和であることも証明しています。
ちょっと思ったのですが、有限次元のベクトル空間が広義固有空間の直和に分解できるという定理を証明するためには、
dim W(β_i) = m_i であることを証明する必要はなく、 dim W(β_i) ≧ m_i が証明できさえすれば充分ですよね？
dim [W(β_1) (+) W(β_2) (+) … (+) W(β_p)] = dim W(β_1) + dim W(β_2) + … + dim W(β_p) ≧ m_1 + m_2 + … + m_p = n
から、 dim [W(β_1) (+) W(β_2) (+) … (+) W(β_p)] = n が分かりますし、結果的に、 dim W(β_i) = m_i となることも分かります。
34:１３２人目の素数さん
22/04/30 21:46:41.65 vz0MgWS9.net
>>32
> 齋藤さんは、 dim W(β_i) ≧ m_i のほうは証明しています。
>
> そして、 W(β_1) + W(β_2) + … + W(β_p) が直和であることも証明しています。
この２つ証明しててまだ分からないならその本にで出せるレベルにないよ
35:１３２人目の素数さん
22/04/30 22:03:23.86 /9DIEapR.net
dim W(β_i) = m_i
が成り立つことは
>>33
に書いた通り、分かります。
分からないのは、齋藤正彦さんが dim W(β_i) ≦ m_i が成り立つのは「当然」と書いたことです。
36:１３２人目の素数さん
22/04/30 22:04:45.64 /9DIEapR.net
訂正します：
dim W(β_i) = m_i
が成り立つことは
>>32
に書いた通り、分かります。
分からないのは、齋藤正彦さんが dim W(β_i) ≦ m_i が成り立つのは「当然」と書いたことです。
37:１３２人目の素数さん
22/04/30 22:04:55.09 vz0MgWS9.net
その２つ証明できてれば“当然”
アホか
38:１３２人目の素数さん
22/04/30 22:08:37.29 /9DIEapR.net
齋藤正彦さんの本には、このような意味不明な記述が沢山あります。
完成度が佐武一郎さんの本に比べてずっと低いと思います。
39:１３２人目の素数さん
22/04/30 22:14:30.38 /9DIEapR.net
>>36
齋藤正彦さんの有限次元のベクトル空間が広義固有空間の直和に分解できるという定理の証明の流れを書きます。
それを読めば、齋藤正彦さんが「当然」と書いたことが奇妙であることが分かると思います。
(1) V_p = W(β_1) + W(β_2) + … + W(β_p) が直和であることを証明している。
(2) V = V_p であることを示せば良いと書き、そのためには dim W(β_i) = m_i を示せばよいと書いている。
(3) dim W(β_i) ≧ m_i を証明し、逆の不等式は当然だから、 dim W(β_i) = m_i が成り立つと書いている。
もし、この証明が上のように書かれていなくて、以下のようだったなら、何も奇妙なところはなかったことになります：
(1) V_p = W(β_1) + W(β_2) + … + W(β_p) が直和であることを証明する。
(2) V = V_p であることを示せば良い。そのためには dim W(β_i) ≧ m_i を示せばよい。
(3) dim W(β_i) ≧ m_i を証明する。
40:１３２人目の素数さん
22/04/30 22:15:52.39 /9DIEapR.net
>>38
そして、結果的に
dim W(β_i) = m_i
が成り立つことも分かるということになります。
41:１３２人目の素数さん
22/04/30 22:17:24.09 vz0MgWS9.net
だからそんな事書かなくてもそのレベルの本が読めるレベルの人間なら当たり前だって言ってるんだよバーカ
42:１３２人目の素数さん
22/04/30 22:19:58.91 /9DIEapR.net
>>40
では証明してください。
以下の証明以外の証明をお願いします。
dim [W(β_1) (+) W(β_2) (+) … (+) W(β_p)] = dim W(β_1) + dim W(β_2) + … + dim W(β_p) ≧ m_1 + m_2 + … + m_p = n
∴ dim [W(β_1) (+) W(β_2) (+) … (+) W(β_p)] = n
∴ dim W(β_i) = m_i
43:１３２人目の素数さん
22/04/30 22:22:59.73 /9DIEapR.net
結論としては、
(1) V_p = W(β_1) + W(β_2) + … + W(β_p) が直和であることを証明する。
(2) V = V_p であることを示せば良い。そのためには dim W(β_i) ≧ m_i を示せばよい。
(3) dim W(β_i) ≧ m_i を証明する。
と証明を書くべきところを、齋藤正彦さんはきちんと書けなかったということになります。
44:１３２人目の素数さん
22/04/30 22:37:28.34 aB6840TE.net
>>42
確かにお前の言う通りだ
>>40はどうしようもねーな
明らかで済んだら教科書は要らない
45:１３２人目の素数さん
22/04/30 22:41:33.57 vz0MgWS9.net
V = ⊕W(βᵢ)であるからn = ΣdimW(βᵢ)
miが多重度の全体だから n = Σmi
dimW(βᵢ)≧mi
∴ dimW(βᵢ)=mi (∀i)
バーカ
46:１３２人目の素数さん
22/04/30 23:39:04.63 JrpS5AMt.net
>>38
>(1) V_p = W(β_1) + W(β_2) + … + W(β_p) が直和であることを証明している。
>(2) V = V_p であることを示せば良いと書き、そのためには dim W(β_i) = m_i を示せばよいと書いている。
>(3) dim W(β_i) ≧ m_i を証明し、逆の不等式は当然だから、 dim W(β_i) = m_i が成り立つと書いている。
この流れで自然ですよ
>(1) V_p = W(β_1) + W(β_2) + … + W(β_p) が直和であることを証明する。
>(2) V = V_p であることを示せば良い。そのためには dim W(β_i) ≧ m_i を示せばよい。
>(3) dim W(β_i) ≧ m_i を証明する。
こちらでも結構ですよ
47:１３２人目の素数さん
22/04/30 23:41:20.47 JrpS5AMt.net
>>43
>明らかで済んだら教科書は要らない
まあここは明かで十分ですかね
48:１３２人目の素数さん
22/05/02 14:00:23.88 MlfB1dB5.net
統失です。
球面は、正方形の角の軌跡の集合なのでしょうか？
いろんな角度で正方形を回転させる。
49:１３２人目の素数さん
22/05/02 14:05:01.31 zy1+Ye+n.net
正四面体の角の中面の長さの軌跡と考える方が一般的です
50:１３２人目の素数さん
22/05/02 14:53:02 2kUu3ZDv.net
『数学セミナー2022年03月号』の「圏論入門の足掛かり」に、
C を圏としたとき、 C における２つの射 f, g : X → Y とそのイコライザーとその普遍性を表した図式が可換だと書かれています。
f, g : X → Y という図式を考えると、一般に f ≠ g なので、この部分で可換であるという条件が満たされないように思うのですが、どうなんでしょうか？
可換の定義が厳密に書いてないため、判断できません。
51:１３２人目の素数さん
22/05/02 15:48:44.48 pGRJEqRO.net
e:Z→Xがf,gのequalizer
:⇔
(1) 図式
Z→X
↓ ↓
X→Y
が可換(ただしZ→Xはどちらもe、X→Yは片方fでもう一方がg
(2) 略
の図式の話やろ？
f,gが等しくなくても可換になることなんて山のようにあるでしょ？
52:１３２人目の素数さん
22/05/02 16:02:03 oGW0u+cE.net
イコライザーの図式で可換と言っているのは、普遍性を満たす3つの対象の図式であって、
全体の図式(X→→Yを含む)は可換ではない
確かに初学者には、はっきり書いたほうが分かりやすいかもしれない
53:１３２人目の素数さん
22/05/02 16:34:36 2kUu3ZDv.net
>>50-51
ありがとうございます。
54:１３２人目の素数さん
22/05/02 16:39:17 bafKYVlf.net
>>51
なに言ってんのか分からない
55:１３２人目の素数さん
22/05/02 16:42:21.07
56:oGW0u+cE.net
57:１３２人目の素数さん
22/05/02 18:37:31 bafKYVlf.net
>>54
ん？X→Yの2つの射のところのこと？
この図全体の図式が可換というのは
図のどの部分を抜き出しても可換図式であるという意図？
ID:2kUu3ZDv もそのように解釈してるのかな？
イコライザーに関しては
>>50の(1)が可換なときウィキペの三角が可換となるuが存在するわけで
可換というとこの2ヶ所つまり>>50の説明が普通だと思う>>49
ウィキペのような書き方も良くあるけど
Y←X
↑
X
のプルバックがイコライザという書き方にした方がいい
>>51で言っているのはそれ？
58:１３２人目の素数さん
22/05/02 19:15:43 2kUu3ZDv.net
>>55
そうです。
図式を、対象を点、射を辺とする有向グラフと考えたときに、有向パスで結ばれた2点を任意にとるとその2点を結ぶ任意のパスに対応する射の合成がすべて
等しいとき可換図式というのかと思っていました。
X → Y には2つの射 f, g があるので、可換図式であるためには、 f = g でなくてはならないのかと思っていました。
59:１３２人目の素数さん
22/05/02 20:10:39.93 exYQqzLc.net
まぁでもwikiに載ってる図式が可換と書いてあったらf=gになってしまう気はするけどな
wikiのレベルなんてそんなもん
60:１３２人目の素数さん
22/05/02 20:14:51.62 Bm4ClGqt.net
>>56
グラフ理論の定義が上手くいくか自分は分からないが、考え方はそれで合ってる
61:１３２人目の素数さん
22/05/02 20:27:54.96 2kUu3ZDv.net
『数学セミナー2022年03月号』の「ガウスの数論から現代数学へ（II）」（栗原将人）
「また、種の理論が相互法則だけで組み尽くせない力を持っていることも、わかっていただけると思う。高瀬正仁氏は[3]155ページで「ガウスの目には、
ガウス以前の素数の形状問題は特別な形で表現された平方剰余の理論のように映じたでしょう」と述べているが、これらの表はそうではないことを
語っていると思われる。」
脚注には、以下のように書かれています。
「[2]212ページには「ガウスの目には、素数の形状問題は平方剰余の理論の一区域のように見えたのではないかと思います」と同じ主張が述べられている。」
以下の文献を上の文章を書くためだけに引用しています。
[2] 高瀬正仁『ガウスの数論、わたしのガウス』筑摩書房（2011年）
[3] 高瀬正仁『ガウスに学ぶ初等整数論』東京図書（2017年）
62:１３２人目の素数さん
22/05/02 21:45:35.88 kqmCXTIx.net
>>56
>射の合成がすべて
>等しいとき可換図式というのかと思っていました。
可換な三角や四角は中に○矢印書くのが可換図式
63:１３２人目の素数さん
22/05/02 21:48:56.88 kqmCXTIx.net
>>57
イコライザの説明では良くある図ではある
ソースとターゲット同じ射f,gが（2点間の有向グラフとして）可換てのは
その通りf=gだよね
そういう無意味なことまで杓子定規に考えるのはよろしくなかろう
64:１３２人目の素数さん
22/05/02 21:57:28.83 Bm4ClGqt.net
自分も>>51で終わったものを何故そこまでややこしくしたのか不思議でならなかったな
65:１３２人目の素数さん
22/05/02 22:02:05.18 Bm4ClGqt.net
ちなみにイコライザーのwikipediaは一応きちんと「可換にする(eq○u=mを満たす)」と書いてある
読んでないが、引用を見る限り数学セミナーの書き方が混乱を招くものだったのかもしれない
66:１３２人目の素数さん
22/05/02 22:46:34 Sh/7oPin.net
正確に数式も併記しとけばいいんだよ
てかそもそも数式の方がメインで図式は参考図というのが基本
ましてや“辞書”として使える文章なら感覚的な捉えやすさと正確さの天秤は基本正確さの方を優先すべき
読者の感覚的理解も磨く事を目的ともする教科書とはそこが違う
67:１３２人目の素数さん
22/05/03 11:38:44.38 +4d/bR9f.net
正規形でないODEで重要なものってありますか？
68:１３２人目の素数さん
22/05/04 09:18:03 b/UIKiTD.net
>>65
「正規形」の定義を教えてください
69:１３２人目の素数さん
22/05/04 10:02:20 kBPIAUHG.net
>>66
連立一階常微分方程式です。
70:１３２人目の素数さん
22/05/04 10:19:09.98 +hrWGuHu.net
>>65
「重要」の定義も
71:１３２人目の素数さん
22/05/04 11:19:39 BHpsp0O5.net
>>68
ばぁ〜か🤪
うんこ食って寝ろ
72:１３２人目の素数さん
22/05/04 16:02:12.27 wllA7GIa.net
T を T(x_1, x_2, x_3, …, x_n) = (x_1, 2*x_2, 3*x_3, …, n*x_n) で定義される C^n 上の線形変換とする。
T の不変部分空間をすべて決定せよ。
73:１３２人目の素数さん
22/05/04 16:45:51 s1jxb931.net
>>69
おまODE知らんのだろ
重要性って人によって全然違うんだが？
74:１３２人目の素数さん
22/05/04 17:19:39.64 otQ4pULI.net
むしろ５ｃｈで微分方程式の知識を持ってる奴ほとんどいない
75:１３２人目の素数さん
22/05/04 17:39:02.15 Du/dc1cR.net
>>72
y''=1/xy
を解け。
76:１３２人目の素数さん
22/05/04 19:31:12.34 otQ4pULI.net
やだ
77:１３２人目の素数さん
22/05/04 21:23:45 +hrWGuHu.net
>>74
やだやだゆうやつがやだ
78:１３２人目の素数さん
22/05/04 21:51:37 8ikhgo9W.net
（ ´∀｀） ＜ 矢田屋だ
↑
矢田
79:１３２人目の素数さん
22/05/06 10:01:12.48 6xrbKvNl.net
2×2行列A、Bがいずれも逆行列を持たず、A+Bは逆行列をもち、さらに、AB=BAならば、AB=0であることを証明せよ。
この問題への以下の回答がよくわからないので
解説して下さい、よろしくお願いします
Tacosan
A は 2つの独立な固有ベクトル x, y をもち, これらはどちらも B の固有ベクトルでもある. で条件から Ax = By
= 0 としてよいので AB = O.
URLﾘﾝｸ(oshiete.goo.ne.jp)
80:１３２人目の素数さん
22/05/06 11:56:11.70 6B9UxDz1.net
AもBも固有ベクトル分解を持たないならいずれのJordan cellは[[0,1],[0,0]]と相似で特に冪零になる
すると
(A+B)(A-B)=A²-B²=O
からA=Bになってしまうので矛盾
よってAに関する固有ベクトル分解V = Fx⊕Fyを持つとしてよい
A,Bが可換だからこれはBに関する固有ベクトル分解にもなっている
実際x,yに対する固有値をl,mとして
ABx = BAx = lBx
∴BxはAの固有値lに対する固有ベクトル
∴Bx = ux (∃u)
同様にBy = vy
さらに仮定からkとl、uとvのいずれかが０だがk=u=0なら(A+B)x=0となって仮定に反する
∴k=0, v=0 or l=0, u=0
前者のとき
ABx = BAx = 0、ABy= 0
でAB=０
後者も同様
81:１３２人目の素数さん
22/05/06 13:29:04.64 tpgbdYLZ.net
78が77に書いてある内容なの？
82:１３２人目の素数さん
22/05/06 14:00:40.73 J2V25/dU.net
>>76
評価
83:１３２人目の素数さん
22/05/06 22:58:27 E32NkoOD.net
>>77
A，Bがいずれも逆行列を持たないのでいずれも0を固有値に持つ
つまりAx=0，By＝0となるx≠0、y≠0がある
これらが両方の固有ベクトルであるかどうかはどうでもよくて
もしx，ｙが一次従属(つまり平行)ならば(A+B)x=0となってA+Bが逆行列を持つことと矛盾するからｘ，ｙは一次独立
なのでABx=BAx=0とABy=0よりAB=O
84:１３２人目の素数さん
22/05/07 10:12:42.10 AmqezNRt.net
>>77が回答として適当かといわれると微妙なところだな
あまり分かってない人が書いてそう
85:１３２人目の素数さん
22/05/07 10:19:24.81 Tocm4SRv.net
一行目からなんかすごいこと言ってるし
86:１３２人目の素数さん
22/05/08 00:08:03.49 xPQo1NTZ.net
微分形式がわかりません
わかりやすく教えて下さい
よろしくおねがいします！
87:１３２人目の素数さん
22/05/08 16:08:43.59 Os1Q4ACv.net
証明について質問です
↓で『定理5.6.56』と、これの群論による証明があります
URLﾘﾝｸ(pisan-dub.jp)
これを群論によらない形で証明できないでしょうか？ （背理法とか？）
-----
定理は以下の式についてのものです。
X^n≡a (mod p) （p：素数）
①この式が解を持つとき、解の個数はd個。
d=(n, p-1) （d：GCD(最大公約数)）
②この式が解を持つ必要十分条件は、以下を満たすこと。
a^((p-1)/d)≡1 (mod p)
-----
特に上記の①について証明を知りたいです
（元の記述から①②の順番を入れ替えています）
よろしくお願いします
88:１３２人目の素数さん
22/05/08 17:17:56 SPrfFCn+.net
>>85
なぜ群論を避けたいの？
もちろんガウスは群論無しで証明したけれどかなりまわりくどいよ
89:１３２人目の素数さん
22/05/08 17:48:00.71 SPrfFCn+.net
z/pzが体であることを認めれば書けないことはないくらいの分量になるが、群論が嫌なのに体論を使うのもおかしいしな。
90:１３２人目の素数さん
22/05/08 18:03:23.43 Or033kxl.net
有理数より無理数のほうが圧倒的に多いようですが
対角線論法では、有理数の数え上げでは取りこぼすような数が少なくとも１つは存在する
という結論となっており、有理数より無理数のほうが圧倒的に多いという考えに至りません。
どうすれば有理数より無理数のほうが圧倒的に多いということを実感できるでしょうか？
91:１３２人目の素数さん
22/05/08 18:10:11.70 EXHQXD/I.net
偶数と自然数の濃度は同じです
同様に、10000000000000000の倍数と自然数の濃度も同じ
有理数と自然数の濃度も同じですね
これらの数はどんなに頑張っても1個余ることすらもないのに、無理数だと1個余ってしまうのです
めちゃくちゃ多いような気がしませんか？
92:１３２人目の素数さん
22/05/08 18:13:18.51 SPrfFCn+.net
測度論を勉強する
93:１３２人目の素数さん
22/05/08 18:18:36.18 6JZ1zf26.net
Qは可算なのにR＼Qは非可算
Q～Nは例えばN×Nでも可算なので有理数を有理数個集めても無理数には全然足りない
94:１３２人目の素数さん
22/05/08 18:26:22 SPrfFCn+.net
それを言ったら、2つの素数で書ける自然数はN×N個だが自然数全体の中での密度はごく僅かだ。
実数濃度と可算濃度の違いは非構成的な概念を持ち出さないと実感できないと思う。
95:１３２人目の素数さん
22/05/08 18:51:26.04 WmfJGbb+.net
V を有限次元複素ベクトル空間とし、 T を V 上の線形変換とする。
T が対角化可能であるための必要十分条件は
V = Ker (T - λ*I) (+) Im (T - λ*I)
が任意の λ ∈ C に対して成り立つことであることを示せ。
96:１３２人目の素数さん
22/05/08 18:54:06.77 Os1Q4ACv.net
>>86
>なぜ群論を避けたいの
すいません。
これは私が群論を理解出来ていないためです。
群論の初心者向けテキストなどを尋ねて、証明は参照しているサイトを見るべきでしたかね？
97:１３２人目の素数さん
22/05/08 18:58:12.62 SPrfFCn+.net
>>94
有限体は原始根を持つことさえ認めれば、>>85の質問は道具無しで証明できる
98:１３２人目の素数さん
22/05/08 19:03:37.88 Os1Q4ACv.net
>>95
群論の考え方と原始根について理解できれば、もうそれだけで終わると言うことですかね。
ご対応ありがとうございました。
勉強します。
99:１３２人目の素数さん
22/05/11 11:48:11.15 96G/XLjv.net
U を C 上のベクトル空間とする。
U ∋ x → ||x|| ∈ [0, +∞) をノルムとする。
||x|| = √(<x, x>) を満たすような U 上の内積が存在するための必要十分条件は、
||u + v||^2 + ||u - v||^2 = 2 * (||u||^2 + ||v||^2) が任意の u, v ∈ U に対して成り立つ
ことであることを示せ。
100:１３２人目の素数さん
22/05/11 12:18:10.10 3N7aA2Er.net
>>97
中線定理？
101:１３２人目の素数さん
22/05/11 12:21:04.31 XjslyBJg.net
(x,y) := ( ||x||²+||y||²-||x-y||² )/2
102:１３２人目の素数さん
22/05/12 21:06:40.73 hcVULNQE.net
I(n)=d^n/dx^n, [A,B]=AB-BAと定義して
[I(n), x]=n・I(n-1)
となるらしいんですが証明ってできますか？
103:１３２人目の素数さん
22/05/12 21:47:54.18 VVdfMwmd.net
>>100
ライプニッツの法則
104:１３２人目の素数さん
22/05/12 21:52:14.08 I1e7nnfK.net
>>100
ライプニッツルール
[ln,x]f=ln(xf)-xlnf=(nl(n-1)f+xlnf)-xlnf=nl(n-1)f
105:１３２人目の素数さん
22/05/12 21:59:56.21 gMi0d0ut.net
>>100
Leibniz rule
URLﾘﾝｸ(ja.m.wikipedia.org)
[I(n),x]f
= I(n)(xf) - xI(n)f
= C[n,0] xI(n)f + C[n,1] 'I(n-1)f - xI(n)f (∵x'' = 0 )
= n I(n-1)f
106:１３２人目の素数さん
22/05/12 22:32:09.24 hcVULNQE.net
なるほどxの2階以上の微分は0だから項が消えるんですね
ありがとうございました
107:１３２人目の素数さん
22/05/13 19:15:14.65 DXZMOfN+.net
任意のベクトル空間に基底が存在するという定理の証明が載っている本を松坂和夫著『集合・位相入門』以外で教えてください。
108:１３２人目の素数さん
22/05/13 19:28:07.29 DXZMOfN+.net
任意のベクトル空間に基底が存在するという定理の証明が載っている本を松坂和夫著『集合・位相入門』、『解析入門』以外で教えてください。
109:１３２人目の素数さん
22/05/13 19:47:00.25 DXZMOfN+.net
Zornの補題の証明も同時に載っている本でお願いします。
110:１３２人目の素数さん
22/05/13 20:31:01.00 vvMs26DA.net
Zornの補題の証明
URLﾘﾝｸ(www.math.pku.edu.cn)
基底の存在の証明
URLﾘﾝｸ(www.math.ucla.edu)'s%20Lemma.pdf
111:１３２人目の素数さん
22/05/13 21:48:23.03 DXZMOfN+.net
>>108
Zornの補題の証明
URLﾘﾝｸ(www.math.pku.edu.cn)
の最初の箇所について質問です。
以下はあっていますか？
A を X の全順序部分集合とする。
仮定により、 A には上界 b が存在する。
b ∈ A ならば、 b は X の極大元ではないから、 b < c となるような c ∈ X が存在する。
任意の a ∈ A に対して、 a ≦ b < c だから、 a < c が成り立つから c は A の上界である。
c ∈ A ならば、 c ≦ b < c となり矛盾するから、 c ∈ X - A である。
ゆえに、 {c ∈ X - A | c は A の上界である} は空集合�
112:ﾅはない。 選出公理により、任意の X の空でない全順序部分集合 A に対して、 A の上界 g(A) ∈ X - A を選出できる。
113:１３２人目の素数さん
22/05/13 21:50:16.88 DXZMOfN+.net
訂正します：
>>108
Zornの補題の証明
URLﾘﾝｸ(www.math.pku.edu.cn)
の最初の箇所について質問です。
以下はあっていますか？
A を X の全順序部分集合とする。
仮定により、 A には上界 b が存在する。
b ∈ A ならば、 b は X の極大元ではないから、 b < c となるような c ∈ X が存在する。
任意の a ∈ A に対して、 a ≦ b < c だから、 a < c が成り立つから c は A の上界である。
c ∈ A ならば、 c ≦ b < c となり矛盾するから、 c ∈ X - A である。
ゆえに、 {c ∈ X - A | c は A の上界である} は空集合ではない。
選出公理により、任意の X 全順序部分集合 A に対して、 A の上界 g(A) ∈ X - A を選出できる。
114:１３２人目の素数さん
22/05/13 21:59:27.28 vvMs26DA.net
>>109
教えてもらって礼も言わないんだな。
例の頭のおかしい人か。
115:１３２人目の素数さん
22/05/14 00:53:01.33 svau5T56.net
微分形式がわかりません
高校生の僕にもわかるように教えて下さい
116:１３２人目の素数さん
22/05/14 01:11:45.23 5q/uGXBy.net
座標(x,y)と任意定数cを含む方程式
F(x,y,c)=0…(4)
両辺を微分して
∂F/∂x+∂F/∂y・y'=0…(5)
(4)と(5)から文字cを消去すればx,y,y'を含む方程式
f(x,y,y')=0
が得られる
とあったのですがなぜcを消去できるのですか？
117:１３２人目の素数さん
22/05/14 07:15:59.80 BsolXhbA.net
>>113
F(x,y,c)=0を変形して（解いて）f(x,y)=cにしたら両辺微分してf_x+f_yy'=0になるよ
118:１３２人目の素数さん
22/05/14 09:40:07.08 O51bJjbV.net
>>114
Fに何の条件も付けず、
「F(x,y,c)=0を変形して（解いて）f(x,y)=cに」出来るの？
119:１３２人目の素数さん
22/05/14 12:25:31.77 XI6WBYfZ.net
陰関数定理の条件満たしていなければもちろんできないですけど、実用的には代替の場合は解けますよね
ある点だけでは解けなくても、その他大勢の場合は解けるという場合も多々あるかと思います
120:１３２人目の素数さん
22/05/14 12:33:19.79 BsolXhbA.net
>>115
できる場合はってことだけど？
121:１３２人目の素数さん
22/05/14 12:53:39.22 BsolXhbA.net
あるいはF(x,y,c)=0は(x,y,c)∈R^3において（一般には）2次元の曲面を意味していてcを(x,y)の陰関数と考えたのがf(x,y)=cと
具体的にf(x,y)が求まるかどうかはF(x,y,c)に依存する話だけど
陰関数を考えるのは自由だしね
122:１３２人目の素数さん
22/05/14 14:53:12.98 Q13+IRsT.net
あるいはF(x,y,c)=0からF_xdx+F_ydy+F_cdc=0でcが(x,y)に関して定数dc=0としたらF_xdx+F_ydy=0からF_x(x,y,c)+F_y(x,y,c)y'=0
これは(x,y,y',c)∈R^4の中でF(x,y,c)=0かつF_x(x,y,c)+F_y(x,y,c)y'=0の（一般には）2次元の曲面Sを表していて
cを固定する毎に(x,y,y')∈R^3の中の（一般には）1次元の曲線なのでc∈Rの全体で(x,y,y')∈R^3の中の（一般には）2次元の曲面
つまりSをR^4→R^3:(x,y,y',c)→(x,y,y')によって射影したものとなるけど
123:１３２人目の素数さん
22/05/14 19:20:27.01 5q/uGXBy.net
んー、知識がないのでよく分かりませんでしたすみません😣💦
もう少し勉強します
答えてくださりありがとうございました
124:１３２人目の素数さん
22/05/14 22:10:12.29 BsolXhbA.net
>>120
f(x,y)=0がxy平面上の(一般には)曲線を表すこと
曲線上の点の座標x,yの間にはこの条件式で表せる一定の関係があること
関数f(x)=yもやはりx,yの間にfで表せる一定の関係があることを意味するという意味では同じであること
違いはxに対して
yの値をf(x)によって直接表せるか
f(x,y)=0を満たすyと間接的に決まるか
前者を陽関数後者を陰関数
f(x,y)=0はx,yの関係なのでxに対してyと考える代わりにyに対してxと考えても良い
同様に
f(x)=yもx,yの関係としてyに対してxと考えて逆関数と呼ぶ
少し拡張して
F(x,y,z)=0はxyz空間内の(一般には)曲面を表し
この曲面上の点のx,y,z座標にはこの条件で表せる一定の関係がある
f(x,y)=zもx,y,zの間にこの等式で表せる一定の関係があることは同じということ
125:１３２人目の素数さん
22/05/15 11:15:36.55 ypbJpKxb.net
>>120
(中略)
SをR^4→R^3で射影した(一般には)2次元の曲面も同じSで表せば
(x,y,z)∈Sであることをf(x,y,z)=0という関係が成立すると捉えることが出来ると
一般に具体的なfが得られるとは限らないけれど
たとえば(x,y,z)∈R^3とSと距離d(x,y,z)を想定して(x,y,z)∈Sをd(x,y,z)=0と
126:１３２人目の素数さん
22/05/15 21:31:15.88 QNo78cdY.net
aは実定数、εは正定数、Tは対称作用素とし、
(a-ε,a+ε)⊂ρ(T)のとき、||(a-T)^(-1)||<1/ε となることを示せ、
という問題は示せますか？
127:１３２人目の素数さん
22/05/16 15:11:51 eBPtGkdT.net
複素変数zの関数w=f(z)が領域Dで正則であるとき、Dの任意の点zで、独立変数zの増分Δzにともなうwの増分をΔwとすれば
Δw=f'(z)Δz+ρ(z,Δz)Δzが成り立つ(ρ(z,Δz)→0 (Δz→0))
このΔw=の式がなぜ成り立つか教えてください
128:１３２人目の素数さん
22/05/16 15:17:00.54 wn8nzgyC.net
それが0に収束するのが微分可能の定義やん
129:１３２人目の素数さん
22/05/16 15:38:39.85 eBPtGkdT.net
>>125
Δz→0にすれば微分の定義式になるのは分かるのですが
Δw=f'(z)Δz+ρ(z,Δz)Δz
がΔz→0以外でどうして成り立つかが知りたいです
ちんぷんかんぷんなこと言ってたらすみません！
130:１３２人目の素数さん
22/05/16 15:55:56.43 LfrQnfV3.net
>>124
丁寧にかくなら
Δw = f(z+Δz) - f(z)
p(z,Δz) = (f(z+Δz) - f(z))/Δz - f'(z)
と定めれはこのとき
> Δw=f'(z)Δz+ρ(z,Δz)Δz
が成り立っていて、そして
(ρ(z,Δz)→0 (Δz→0))
にもなるって言ってるんだよ
ここまで丁寧に書いてくれる教科書はもう出てこないよ
この程度の行間は自分で埋めんとダメ
131:１３２人目の素数さん
22/05/16 16:07:05.19 eBPtGkdT.net
>>127
はー
p(z,Δz) = (f(z+Δz) - f(z))/Δz - f'(z)
ですかなるほど
先が思いやられます…
答えくださった方々ありがとうございます
132:１３２人目の素数さん
22/05/16 20:28:46.69 G2jAktwR.net
ビブンケイシキガーさんはこのようなことすら理解できないのでしょうね
かわいそうな方達です
133:１３２人目の素数さん
22/05/16 21:02:06.23 Hy3YN9ps.net
どんだけ劣等感強いんだこいつｗｗｗｗｗ
134:１３２人目の素数さん
22/05/18 21:09:29.73 OB38FyAa.net
ルベーグ積分の定義において、被積分関数が可測という条件はどこで使われているのですか？
つまり、以下の(☆)がなくてもルベーグ積分は定義されると思うのですが、なぜ必要なのでしょうか？
以下、ルベーグ積分の定義
予備定義:
(X, M, μ)測度空間
sを可測単関数とする、すなわち
s = ∑[A∈I] α_A χ_A
ここでIはMの有限部分集合で、Iに属するどの2つの可測集合も共通部分を持たないとする。
α_Aは非負整数、χ_AはAの特性関数（ふなわち、x∈Aなら1、さもなくば0）
このとき、E∈Mに対して、sのE上のルベーグ積分を
∫_E s dμ := Σ[A∈I] α_A μ(A∩E)
で定義する。
定義:
(X, M, μ)を測度空間
「f: X → Rを可測関数」 ………… (☆) とする。
E∈Mに対して、fのE上のルベーグ積分を
∫_E f dμ := sup[s] ∫_E s dμ
で定義する。
ただし、sはEのすべての点xでs(x)≦f(x)となる、可測単関数全体を動く。
135:１３２人目の素数さん
22/05/18 21:10:44.61 OB38FyAa.net
ああ、関数は全部非負です
136:１３２人目の素数さん
22/05/18 21:14:00.12 OB38FyAa.net
α_Aは非負整数じゃなくて、非負実数です
137:１３２人目の素数さん
22/05/18 22:24:55.69 W1DwPwl7.net
>>131
どの文献にあった定義ですか？
138:１３２人目の素数さん
22/05/19 00:51:02 hWmN3n4I.net
>>131
定義出来たとして、積分の線形性とか示せるように思えないが。
139:１３２人目の素数さん
22/05/19 04:04:30.37 oxyGuqNU.net
単調収束定理を示すのに必要
(a, ∞]のfによる逆像が可測集合という議論が証明中に出てくる
140:１３２人目の素数さん
22/05/19 04:05:21.96 oxyGuqNU.net
可測性の仮定を入れないと、重要な定理のほとんどは示せないと思う
141:１３２人目の素数さん
22/05/19 04:07:42.00 MePhHF7c.net
直接数学に関係ないし完全に数学素人の質問なんだけど適切な板とスレが見つからなかったからここで質問させてほしい。
戸田山和久の『科学哲学の冒
142:険』のなかで、あらゆる科学的説明の共通点（条件？）として「反事実的依存関係」が挙げられてるんだけど、その意味するところはある科学上の仮説「PならばQ」の科学的な正しさは「PのときにQ」ということだけでなく「PでないときにはQでない」も成り立ってないといけないらしい。（反事実条件法） 他方で論理学の条件文の説明では、命題「PならばQ」の真偽に関して、前提Pが偽で結論Qが真の場合でも命題「PならばQ」は真であると説明されてるんだよね。 これって戸田山の言ってることと論理学の理屈が矛盾してない？ 論理学の方はごく一般的な命題論理の説明だけど。 正直おれが論理学と科学（哲学）の関係をよく理解してないだけなんだろうけど、どうしても気になってしまう。
143:１３２人目の素数さん
22/05/19 06:29:31.43 bzDA9ULu.net
Gを群とする
Gの位数とは、Gの濃度のことである
別にこの定義をするのに、Gが群である必要ないが、それと同じようなものだろう
144:１３２人目の素数さん
22/05/19 06:43:44.46 irjf/OKk.net
>>138
>科学上の仮説「PならばQ」の科学的な正しさは「PのときにQ」ということだけでなく「PでないときにはQでない」も成り立ってないといけないらしい
「ならば」をどう解釈するか
「科学上の仮説」とかいう概念における
その人の定義が普通と違うってことでは？
勝手にやらせておけばイイと思うよ
145:１３２人目の素数さん
22/05/19 06:47:56.79 irjf/OKk.net
なんなら
「科学上の仮説」の場合は「PなばらQ」とでも呼べばいい
そうすれば「なばら」と「ならば」は字面の上でも違うから
意味が違って矛盾してるって悩まなくて良くなる
146:１３２人目の素数さん
22/05/19 07:15:03.70 Am6ABFt6.net
>>131
fが或る非可測集合の定義関数である場合、その定義はその集合の内測度を与える。
もちろん加法性はない。
147:１３２人目の素数さん
22/05/19 12:39:15.27 UcZIJYO0.net
>>138
日常生活での言葉遣いと論理学の言葉遣いが違うってのと同じような話
昼飯はラーメンまたはカレーを食うって言って両方食ったら変人だと思われるように
科学だとなにか予言できないような仮説は無意味だから
結論が予言できるような形の主張しか取り扱わないってだけ
148:１３２人目の素数さん
22/05/19 22:56:45.35 MePhHF7c.net
>>143
本当に基礎的なとこから整理したんだけどこういう理解でいいのかな？
論理学の世界では↓
ニワトリならば卵を産む。ニワトリである、だから卵を産む。（妥当な演繹）
ニワトリならば卵を産む。ニワトリでない、しかし卵を産む。（裏は必ずしも真ならず）
このとき論理学では最初の命題「ニワトリならば卵を産む」は“形式上”偽にならない。
一方、科学的説明（現実の世界）の特徴は↓
「ニワトリならば卵を産む」という仮説の正しさは論理的形式が担保するものじゃないため、ニワトリでないのに卵を産む生物が実際に見つかってしまった場合その仮説は否定されてしまう。
これ、書いてて虚しくなるくらい当たり前なことなんだけど、単純にこれだけの話なのかな。
そうすると形式論理って一体どういう意味があるのか素人の俺にはよくわからない…
149:１３２人目の素数さん
22/05/19 23:02:40.39 wuA22kz/.net
過不足なく説明されている必要があるかどうかって話じゃないの？
150:１３２人目の素数さん
22/05/19 23:35:43.67 irjf/OKk.net
>>144
>このとき
このときって？
上に書かれてる2つの事柄がどちらも真であるとき？
>“形式上”偽にならない
形式上とは？
偽にならないってそもそも真であるときを考えてたんじゃないの？>「ニワトリならば卵を産む」という仮説の正しさは論理的形式が担保するものじゃないため、ニワトリでないのに卵を産む生物が実際に見つかってしまった場合その仮説は否定されてしまう。
なんで否定しなくちゃいけないの？
ニワトリでなくて卵を産むモノを排除しているようには読めないんだけど
まあいずれにせよどうでもいい話だな
勝手に考えて悩んでたらいいのではないかな
151:１３２人目の素数さん
22/05/19 23:43:55.89 irjf/OKk.net
けっきょくその「ならば」は「iff」の意味で使っているってだけではないかな <
152:br> それならば明確にそう書くべきではないかならば 通常の意味合いと異なる用語の使用ならば不親切だと思うね
153:１３２人目の素数さん
22/05/20 00:00:19.77 ybkx/Z2m.net
>>146
このときってのは、「ニワトリでない（前件が偽）、しかし卵を産む（後件が真）」を指してる。形式上って書いたのは一般的な論理学で採用されてる二値原理（すべての命題は真か偽のいずれか）をもとにした条件法上、前件が偽で後件が真のとき元の命題は偽にならない（真になる）っていう原則のことを指してる。
否定のところだけど、まさにその部分と論理学の関係がわからなくて質問したわけよ。
戸田山は「科学的説明すべてに共通してるのは反事実的依存関係（反事実条件法）」だと明確に書いてる。
『科学哲学の冒険』p244
154:１３２人目の素数さん
22/05/20 05:20:22.01 GqaaZfZr.net
>>148
>このときってのは、「ニワトリでない（前件が偽）、しかし卵を産む（後件が真）」を指してる
「ニワトリでない」は偽と確定しないし「卵を産む」も真とは鍵らない
「ニワトリではないが卵を産む」とは
「「ニワトリではない」が真であるとき「卵を産む」が真である」という命題のことで
「「ニワトリではない」が偽であるかまたは「卵を産む」が真である」と同値
>否定のところだけど、まさにその部分と論理学の関係がわからなくて質問したわけよ。
このときというのが「ニワトリではないが卵を産む」が真であるという意味だとして
君は「ニワトリは卵を産む」もそもそも真であるとしているのでしょ？
それともこちらは真かどうか分からないと考えていて
「ニワトリではないが卵を産む」が真であることが「ニワトリは卵を産む」が偽であることを導くのではないかと疑問に思っているということ？
いずれにせよ
「ニワトリではないが卵を産む」が真であっても
「ニワトリは卵を産む」の真義には関係ない
なぜなら
後者が真であるとは
「ニワトリである」が偽であるかまたは「卵を産む」が真であるということ
「卵を産む」が真であれば両者とも真だし
「卵を産む」が偽であれば前者が真のとき後者は偽なのでね
>戸田山は「科学的説明すべてに共通してるのは反事実的依存関係（反事実条件法）」だと明確に書いてる。
勝手に言わせておけば？
「ならば」で悩むなら「科学的説明」の場合は「ならば」を「iff」（念のためだけど「if and only if」のことね）の意味で使うとその人は主張していると考えたら？
いずれにせよその主張は正しいと思えないけど別にどうでもいい
155:１３２人目の素数さん
22/05/20 05:41:47.12 GqaaZfZr.net
ついでに書くと
日本語では主語を省略することが多いし
量化子も明確に書かないのが普通（こちらは他の言語でもそう）
「ニワトリは卵を産む」はそれらの意味で曖昧
生物xがニワトリであることをP(x)
生物xが卵を産むことをQ(x)
として
「ニワトリは卵を産む」とは「P(x)→Q(x)がすべての生物について真である」
つまり
「∀x:生物(￢P(x)∨Q(x))」が真だってこと
156:１３２人目の素数さん
22/05/21 00:54:54.61 UeYbwFhj.net
>>149
ニワトリみたいな具体的な例を出したら逆に伝わりにくくなった気がする。
もう一度整理して疑問を書くわ。
論理学的には、ある命題「Pならば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が真で、¬Pならば¬Qも真になるときと、PならばQが真で、¬Pならば¬Qが偽のときとの違いがよくわからないってことになるわ。
自然言語で例えて説明してくれたら助かる。
157:１３２人目の素数さん
22/05/21 01:29:27.65 UeYbwFhj.net
素人だからレベルの低い質問してることは重々承知なんだけどどうしても気になってしまう
158:１３２人目の素数さん
22/05/21 04:58:03.07 DyqXYBYq.net
もう著者に直接ききなよ
159:１３２人目の素数さん
22/05/21 05:54:31 Pr1/8Sjv.net
>>151
あのね
その人が勝手に言っていることを解釈する手助けを求めているって自分でも分かってるだろうけど
意味ないことを他人に考えさせようとしてるってことだよ
手助けとしては随分前から書いているように
・その人の考えはどうでもいい（おかしくても正しくても別にどうでもイイってこと）
・その人の「ならば」は「iff」の意味に解釈したら？
これだけ
>そうするとおれの疑問は、PならばQが真で、￢Pならば￢Qも真になるときと、PならばQが真で、￢Pならば￢Qが偽のときとの違いがよくわからないってことになるわ。
PQ=真真・真偽・偽真・偽偽
P→Q=￢P∨Q=真・偽・真・真
￢P→￢Q=P∨￢Q=真・真・偽・真
P→Qが真で￢P→￢Qが真なのはPQの真偽が一致しているとき（これがiffね）
P→Qが真で￢P→￢Qが偽なのはPQの真偽が逆であるとき
>自然言語で例えて説明してくれたら助かる。
めんどくさい
160:１３２人目の素数さん
22/05/21 05:58:13 Pr1/8Sjv.net
>>154
>P→Qが真で￢P→￢Qが偽なのはPQの真偽が逆であるとき
違った
Pが偽でQが真の時だけ
161:１３２人目の素数さん
22/05/21 08:14:19 4/dL5yKq.net
「階段行列」って言葉は元になった英語の専門用語はあるんですか？
162:１３２人目の素数さん
22/05/21 13:46:58.62 vMuRbv5I.net
URLﾘﾝｸ(en.m.wikipedia.org)
163:１３２人目の素数さん
22/05/21 18:25:34.43 UeYbwFhj.net
>>154
同値として解釈するということね
スレチなのにしつこく質問して申し訳なかった
回答ありがとう
164:１３２人目の素数さん
22/05/22 16:12:56.23 i2b+uo6e.net
科学的説明に限らず日常の条件のほとんどは裏も含んでると思うよ
60点以上なら合格
には
60点未満なら不合格
の意味も含まれている
165:１３２人目の素数さん
22/05/22 17:42:20.04 068Pg5W/.net
>>159
プロスポーツの「明日勝てば優勝」は「明日勝てなかったら優勝できない」を意味しない
166:１３２人目の素数さん
22/05/22 18:46:41.37 O2VT7Flu.net
スポーツは科学ではないということだ
167:１３２人目の素数さん
22/05/22 19:24:19.29 wDKW2spO.net
>>159
それは建前･･･でね
168:１３２人目の素数さん
22/05/22 19:46:56.84 068Pg5W/.net
>>161
「明日雨が降ったら花見は中止」は「明日晴れたら必ず花見をする」を意味しない
169:１３２人目の素数さん
22/05/22 21:56:44.74 I3pHT75R.net
>>163
それは意味してる
意味してなきゃ中止って言葉使わない
170:１３２人目の素数さん
22/05/22 22:00:16.35 068Pg5W/.net
>>164
それは頭悪いぞ
大地震があっても中止だろ
171:１３２人目の素数さん
22/05/22 23:04:02.35 fyEUnEGM.net
天候の話で地震を持ち出すのは頭が悪いからなの？
そんなん確実なことが何一つ言えなくなるわ
172:１３２人目の素数さん
22/05/22 23:13:46 YB0b7+yR.net
t分布に従う事象。
173:１３２人目の素数さん
22/05/23 05:22:08.30 IGwAoT6e.net
>>166
日常の話だよ？天気に限定する必要ある？
174:１３２人目の素数さん
22/05/23 06:00:32.96 PcnuWTCp.net
なるほどこれが学部レベルの質問ですか
175:１３２人目の素数さん
22/05/23 06:12:04.33 IGwAoT6e.net
>>164と>>166は何がおかしいかというと
何かになるための条件をすべて枚挙できることなどごく限られた事象でしかないのに、「裏も言える」なんて簡単に考えている点
176:１３２人目の素数さん
22/05/23 06:26:41.52 3SPmHOq2.net
>>170
それ言い出したら表も言えるかどうか分からんようになるが？
177:１３２人目の素数さん
22/05/23 06:56:39.03 IGwAoT6e.net
>>171
戸田山はそこまで主張しているように思える。
私は戸田山の主張はおかしいと思う。
178:１３２人目の素数さん
22/05/24 07:43:53.81 kSKnLqqI.net
行けたら行く
179:１３２人目の素数さん
22/05/24 12:36:45.25 kikZAvtQ.net
>>161
スポーツは科学ではないという命題には
スポーツでないものは科学であるということも含んでいる！
180:１３２人目の素数さん
22/05/24 17:24:49.15 smOjadws.net
ヒルベルト流ならぬ戸田山流
181:１３２人目の素数さん
22/05/24 20:31:40 CuQTUJu7.net
>>138
1+1=0ならば明日は日が昇る は仮説として正しくないから排除って話では？
182:１３２人目の素数さん
22/05/25 08:59:42.77 hRqez3S3.net
>>176
そもそも明日日が上るとは限らないのては？
183:１３２人目の素数さん
22/05/25 10:03:50.72 Xw4HkM3
184:/.net
185:１３２人目の素数さん
22/05/25 18:20:44.35 prrGxe18.net
ポアソン分布が参考書読んでもよく分かりません。
簡単に説明してもらえないでしょうか？
186:１３２人目の素数さん
22/05/25 19:03:02.20 UeyUaLnB.net
二項分布で成功確率pと試行回数nとの積が一定の下でpを0に近づけたもの
187:１３２人目の素数さん
22/05/25 19:51:52.04 YTcx5TUW.net
>>180
>成功確率pと試行回数nとの積が一定の下で
npは平均
すなわちその事象が平均何回起こるかを固定して
試行回数すなわちその事象が起こりえる機会を無限に増やした極限
188:１３２人目の素数さん
22/05/25 19:55:14.42 YTcx5TUW.net
p→0はイメージしにくいからn→∞の方が良くない？
189:１３２人目の素数さん
22/05/26 14:17:15.78 41PCNX0p.net
(1+x^2)^aをweightに持つ直交多項式を探してるんですが、ご存知の方いますか？
(1+x)^aならJacobiでいいんですけど。
190:１３２人目の素数さん
22/05/26 14:23:13.59 6bzT+Nka.net
>>920
3点取られても同点で後攻、4点取られたら逆転される
ヒットアンドロールでもフリーズしたりうまく隠れたら1点か2点に抑える可能性はあった
191:１３２人目の素数さん
22/05/26 14:23:31.36 6bzT+Nka.net
>>184
すれ違いでした
192:１３２人目の素数さん
22/05/26 15:04:19.51 PV2MRVLr.net
>>183
区間は？
193:１３２人目の素数さん
22/05/26 15:47:30.04 41PCNX0p.net
>>186
失礼しました
[-∞, ∞]です。
194:１３２人目の素数さん
22/05/26 15:48:41.85 41PCNX0p.net
訂正
(-∞, ∞)です。
195:１３２人目の素数さん
22/05/26 16:05:21.31 PV2MRVLr.net
>>183
その区間だと多項式ではめっちゃ小さい空間しかはれないのでは？
∫[-∞,∞] Pm(x)Pn(x)/(1+x^2)^a dx
が内積とするとn次式がL^2に入るのはn^2<2a+1のときでヒルベルト空間のほんのちょっとにしかならない
196:１３２人目の素数さん
22/05/26 16:26:29.65 41PCNX0p.net
>>189
なるほど。たしかにそうですね。
問題を勘違いしてるかもしれないです。
指摘ありがとうございます
197:１３２人目の素数さん
22/05/27 13:07:28.59 LFUyaxJt.net
>>181
なるほど
ありがとうございます
198:１３２人目の素数さん
22/05/27 21:10:36.27 sj0+OOtS.net
たまに使用するt検定ですが、その式の証明を高校数学レベルから理解したいのですが、
なかなか、高校数学レベルで理解できるような証明が載っているページが見つかりません、
あれば教えてください、本でもよいです。
199:１３２人目の素数さん
22/05/28 01:22:49.69 FfsR3PI5.net
>>192
>その式の証明を
その式とは？
200:１３２人目の素数さん
22/05/29 02:15:38.92 XfHRDDXZ.net
可換環Rのイデアル I1，･･･，Ir（r≧2）について、
環準同型φ：R→R/I1×･･･×R/Ir が全射であることを仮定すると、
i ≠jのとき、Ii＋Ij＝Rが成立することを示せ.
という問題で次のように考えたのですが合っていますかね？
φが全射なので
x+Ii=1+Ii、x+Ij=1+1+Ij
となるx∈Rが存在
x=1+xi、x=1+1+xj (xi∈Ii、xj∈Ij)
1+xi=1+1+xj
xi-xj=1
よって1∈Ii+IjでIi＋Ij＝R
201:１３２人目の素数さん
22/05/29 02:37:42.73 PhcQXkS0.net
あってるけどやや無駄
x ≡ 1 ( mod Ii)
x ≡ 0 ( mod Ij ) ( ←≡2はあまり意味ない)
でいい
1-x∈Ii、x∈Ijなので
1 = (1 - x) + x ∈ Ii + Ij
202:１３２人目の素数さん
22/05/29 09:14:21.04 2r+XP8WY.net
あ、そういえば
203:１３２人目の素数さん
22/05/29 18:28:55.22 wJLTXUFU.net
V, W を体 K 上のベクトル空間とする。
体 K 上のベクトル空間 U_0 と V ? W から U への双線形写像 f の組で以下の性質を満たすものが存在する。
U を K 上のベクトル空間と�
204:ｵ、 g を V ? W から U への双線形写像とすると、 U_0 から U への線形写像 G で、 G ・ f = g を満たすものが一意的に存在する。 ここまではいいのですが、 ↑の U_0 と f の組 (U_0, f) が本質的に一つしか存在しないということも書いてあります。 T_0 と h の組 (T_0, h) も (U_0, f) と同じ性質を持つとします。 なぜ、これらを同一視できるのでしょうか？
205:１３２人目の素数さん
22/05/29 18:29:38.59 wJLTXUFU.net
V, W を体 K 上のベクトル空間とする。
体 K 上のベクトル空間 U_0 と V ? W から U への双線形写像 f の組で以下の性質を満たすものが存在する。
U を K 上のベクトル空間とし、 g を V ? W から U への双線形写像とすると、
U_0 から U への線形写像 G で、 G ・ f = g を満たすものが一意的に存在する。
ここまではいいのですが、
↑の U_0 と f の組 (U_0, f) が本質的に一つしか存在しないということも書いてあります。
T_0 と h の組 (T_0, h) も (U_0, f) と同じ性質を持つとします。
なぜ、これらを同一視できるのでしょうか？
206:１３２人目の素数さん
22/05/29 18:30:44.64 wJLTXUFU.net
V, W を体 K 上のベクトル空間とする。
体 K 上のベクトル空間 U_0 と V × W から U への双線形写像 f の組で以下の性質を満たすものが存在する。
U を K 上のベクトル空間とし、 g を V × W から U への双線形写像とすると、
U_0 から U への線形写像 G で、 G ・ f = g を満たすものが一意的に存在する。
ここまではいいのですが、
↑の U_0 と f の組 (U_0, f) が本質的に一つしか存在しないということも書いてあります。
T_0 と h の組 (T_0, h) も (U_0, f) と同じ性質を持つとします。
なぜ、これらを同一視できるのでしょうか？
207:１３２人目の素数さん
22/05/29 18:31:23.51 wJLTXUFU.net
訂正します：
V, W を体 K 上のベクトル空間とする。
体 K 上のベクトル空間 U_0 と V × W から U_0 への双線形写像 f の組で以下の性質を満たすものが存在する。
U を K 上のベクトル空間とし、 g を V × W から U への双線形写像とすると、
U_0 から U への線形写像 G で、 G ・ f = g を満たすものが一意的に存在する。
ここまではいいのですが、
↑の U_0 と f の組 (U_0, f) が本質的に一つしか存在しないということも書いてあります。
T_0 と h の組 (T_0, h) も (U_0, f) と同じ性質を持つとします。
なぜ、これらを同一視できるのでしょうか？
208:１３２人目の素数さん
22/05/29 19:14:06.97 wJLTXUFU.net
あ、分かりました。
209:１３２人目の素数さん
22/05/31 17:14:52.06 CxEJ7fea.net
URLﾘﾝｸ(pbs.twimg.com)
これどうやって証明できますか？
210:１３２人目の素数さん
22/05/31 18:26:28 ETK56POA.net
ぱっと見楕円関数絡み
211:１３２人目の素数さん
22/05/31 18:46:18 9pZbMVxh.net
Bruce C. Berndt "Ramanujan's Notebooks Part II" p.261
212:１３２人目の素数さん
22/05/31 22:36:15.96 CxEJ7fea.net
ラマヌジャン案件か・・・
213:１３２人目の素数さん
22/06/01 12:15:11.57 LaJpzWDH.net
複素平面上のzを原点を中心に反時計回りに120度回転した点をz1 , 240度回転した点をz2とする.
任意のzに対してf(z)+f(z1)+f(z2)=0を満たす正則関数の非自明な例を挙げてください
214:１３２人目の素数さん
22/06/01 17:01:55.92 bE5ip8Y1.net
齋藤正彦著『線型代数入門』
p.234 「実係数の多項式は、実数の範囲内で、一次式および二次式の積に分解される。」
この命題の証明に不備がありますね。
α を f(x) の虚根としたとき、
(x - α)^m * (x - conj(α))^n (m ≠ n) となる可能性がありますが、はじめからその可能性を考えていません。
そういうことが起こらないことも証明しなければならないのに。
215:１３２人目の素数さん
22/06/01 17:04:40.24 bE5ip8Y1.net
訂正します：
齋藤正彦著『線型代数入門』
p.234 「実係数の多項式は、実数の範囲内で、一次式および二次式の積に分解される。」
この命題の証明に不備がありますね。
α を f(x) の虚根としたとき、
(x - α)^m | f(x) が成り立ち、 (x - α)^(m+1) | f(x) が成り立たない。
(x - conj(α))^n | f(x) が成り立ち、 (x - conj(α))^(n+1) | f(x) が成り立たない。
m ≠ n である。
このような可能性がありますが、はじめからその可能性を考えていません。
そういうことが起こらないことも証明しなければならないのに。
216:１３２人目の素数さん
22/06/01 17:20:52.69 bE5ip8Y1.net
h(x) = (x - α) * (x - conj(α)) とおいて、
f(x) を h(x) で割ります。
f(x) = h(x) * g(x) + a * x + b
a, b は実数です。
a * α + b =0
a * conj(α) + b = 0
もしも、 a ≠ 0 ならば、 α = conj(α) となって矛盾。
よって、 a = b = 0
217:１３２人目の素数さん
22/06/01 17:36:33.61 +InONbvc.net
>>206
f(z)=g(z)-g(z exp(2πi/3)), g(z)は任意の正則関数
218:１３２人目の素数さん
22/06/01 22:21:21.99 JyKgXTYA.net
>>209
は？
219:１３２人目の素数さん
22/06/01 22:28:49.76 gCfFlVL8.net
ま
自明だからね
220:１３２人目の素数さん
22/06/01 22:54:21.53 bE5ip8Y1.net
因数定理から、
f(x) = (x - α) * (x - conj(α)) * g_1(x)
を満たす複素多項式 g_1(x) が存在する。
g_1(x) は実は実多項式であるが、実多項式であることは本当に自明なことであろうか？
221:１３２人目の素数さん
22/06/01 22:55:17.85 bE5ip8Y1.net
実多項式 × 実でない複素多項式 = 実多項式
が成り立たないことは明らかといえば明らかかもしれません↓
実でない複素多項式の実でない係数のうち最低次(= k とする）の係数を a とする。
実多項式 × 実でない複素多項式 の k 次の係数は明らかに実でない複素数。
222:１３２人目の素数さん
22/06/01 22:59:52.16 bE5ip8Y1.net
h(x) = (x - α) * (x - conj(α)) とおいて、
f(x) を h(x) を実数の範囲内で割ります。
f(x) = h(x) * g(x) + a * x + b
h(x), g(x) は実多項式です。
a, b は実数です。
a * α + b =0
a * conj(α) + b = 0
もしも、 a ≠ 0 ならば、 α = conj(α) となって矛盾。
よって、 a = b = 0
よって、 f(x) = h(x) * g(x) が実数の範囲内で成り立つ。
α が g(x) の根ならば、上と同様にして、
g(x) = h(x) * g_2(x) と実数の範囲内で書ける。
これを繰り返せば、
f(x) = h(x)^n * g_k(x), （α は g_k(x) の根ではない）
と書ける。
もちろん、 conj(α) も g_k(x) の根ではない。
以上から、以下の可能性を排除できた。
(x - α)^m | f(x) が成り立ち、 (x - α)^(m+1) | f(x) が成り立たない。
(x - conj(α))^n | f(x) が成り立ち、 (x - conj(α))^(n+1) | f(x) が成り立たない。
m ≠ n である。
223:１３２人目の素数さん
22/06/01 23:04:08.34 bE5ip8Y1.net
齋藤正彦さんは、 f(x) の根 α が n 重根ならば、 conj(α) も n 重根であることを証明することなしに認めたということですね。
224:１３２人目の素数さん
22/06/01 23:13:20.39 A2jjx+Ao.net
>>208
f(x)は実係数多項式なので
(x - α)^n | f(x) ⇔(x - conj(α))^n | f(x)
となり自明
225:１３２人目の素数さん
22/06/01 23:14:50.87 bE5ip8Y1.net
>>271
f(x)は実係数多項式なので
(x - α)^n | f(x) ⇔(x - conj(α))^n | f(x)
これを証明してください。
226:１３２人目の素数さん
22/06/01 23:52:28.78 bE5ip8Y1.net
>>217
あ、分かりました。
227:１３２人目の素数さん
22/06/01 23:56:55.31 A2jjx+Ao.net
斎藤正彦にごめんなさいは？
228:１３２人目の素数さん
22/06/02 00:02:09.38 LAeU8LUx.net
f(x) = f(conj(conj(x))) = conj(f(conj(x)))
から
f(x)は実係数多項式なので
(x - α)^n | f(x) ⇔(x - conj(α))^n | f(x)
は明らかですね。
229:１３２人目の素数さん
22/06/02 00:04:27.93 LAeU8LUx.net
>>220
いや、齋藤さんは
>>221
のような考察なしに、ただ成り立つに違いないと思いこんでいただけだと推測します。
230:１３２人目の素数さん
22/06/02 00:14:09.47 /twmlc/F.net
>>222
推測で謝らないとか馬鹿か？
231:１３２人目の素数さん
22/06/02 00:22:33.34 GnbQTlle.net
>>221が「考察」か……正に馬鹿の考え休むに似たりという言葉がぴったり
232:１３２人目の素数さん
22/06/02 03:01:58.47 3gKNBofh.net
てか
実係数の方程式P(x)=0がx=αを解に持てばx=α̅も解である
は高校の教科書ですら定理として紹介されとるやろ
233:１３２人目の素数さん
22/06/02 07:36:23.34 LAeU8LUx.net
>>225
そして問題になるのが、それらの重複度が一致するか否かということです。
234:１３２人目の素数さん
22/06/02 07:43:33.02 4aq5yLCN.net
>>226
まだわかってないのかバーカ
235:１３２人目の素数さん
22/06/02 07:44:23.90 LAeU8LUx.net
佐武一郎さんの本も見てみました。
f(x) = (x-α) * (x - conj(α)) * f_1(x) と分解できる。
f_1(x) に対して同様の操作をくり返せばよい。
という説明です。
f(x) = (x-α) * (x - conj(α)) * f_1(x) と複素多項式の範囲内で分解できる。
f_1(x) に対して f(x) に対するのと同様の操作を適用するには、 f_1(x) が実多項式であることを示す必要があります。
佐武さんはこのことを自明と考えたのでしょうか？
実多項式 = 実多項式 × 複素多項式
と分解されることがないのはそんなに自明なことでしょうか？
236:１３２人目の素数さん
22/06/02 07:46:14.72 4aq5yLCN.net
p(x)が実係数で(x-α)(x-α̅)で割った商も実係数になる事がもう高校の教科書に載ってる、というより高校の教科書では実係数の多項式しか扱うことすらないわバーカ
237:１３２人目の素数さん
22/06/02 07:49:42 LAeU8LUx.net
実多項式 = 実多項式 × 複素多項式
これはいかにも成り立たないように見える等式です。
無反省に成り立たないと思う人が多いはずです。
ですが、証明が必要なのではないでしょうか？
もしかしたら、うまく右辺の複素係数の項がすべて消えてしまうかもしれません。
証明は以下のようにできます：
実でない複素多項式 a_0 + a_1*x + … + a_n * x^n の実でない係数のうちインデックスが最小のものを a_k とします。
実多項式 × 実でない複素多項式 の k 次の係数は実でない複素数なります。
これは右辺が実多項式であることに矛盾します。
238:１３２人目の素数さん
22/06/02 07:51:24 LAeU8LUx.net
訂正します：
実多項式 = 実多項式 × 複素多項式
これはいかにも成り立たないように見える等式です。
無反省に成り立たないと思う人が多いはずです。
ですが、証明が必要なのではないでしょうか？
もしかしたら、うまく右辺の複素係数の項がすべて消えてしまうかもしれません。
証明は以下のようにできます：
実でない複素多項式 a_0 + a_1*x + … + a_n * x^n の実でない係数のうちインデックスが最小のものを a_k とします。
実多項式 × 実でない複素多項式 の k 次の係数は実でない複素数になります。
これは左辺が実多項式であることに矛盾します。
239:１３２人目の素数さん
22/06/02 07:53:32 LAeU8LUx.net
>>229
高校の教科書ではどのように証明しているのでしょうか？
240:１３２人目の素数さん
22/06/02 07:53:40 4aq5yLCN.net
>>230
だから本来そんなもん高校数学の時点で
「なんでA(x) = B(x)Q(x) + R(x)のQ(x)とかR(x)となる実係数の整式がとれるんだろう？」
と思ってなかったアンポンタンだからだよ能無し君
241:１３２人目の素数さん
22/06/02 07:54:56 /twmlc/F.net
>>226
だからそれが>>217
242:１３２人目の素数さん
22/06/02 08:04:35 /twmlc/F.net
>>230
多項式g(x)に対し、各項の係数をその複素共役にしたものをconj(g)(x)と書くと
conj(g)(conjx)=conj(g(x))なのと
実係数多項式f(x)に対してconj(f)(x)=f(x)であることからわかる
243:１３２人目の素数さん
22/06/02 08:16:46 LAeU8LUx.net
>>235
高校の教科書でもそのような証明をしているのでしょうか？
244:１３２人目の素数さん
22/06/02 08:22:58 /twmlc/F.net
それは知らない
本題ではない
245:１３２人目の素数さん
22/06/02 11:25:04 /twmlc/F.net
>>235
私もちゃんとわかってなかった。重複度についてはこれでは駄目だな。
conj(fg)=conj(f)conj(g)がわかればよくて、これは自明。
246:１３２人目の素数さん
22/06/02 13:37:13.35 WC8ht8Qo.net
重複度なんか関係ないだろ
247:１３２人目の素数さん
22/06/02 14:54:17.70 jQsNMpUz.net
>>222
これは恥ずかしい言い訳だな（笑）
いつもこの調子だろこの馬鹿は
248:１３２人目の素数さん
22/06/02 21:14:29.89 PfjoXJSN.net
URLﾘﾝｸ(oshiete.goo.ne.jp)
この質問に対する回答者の主張が全体的によく分からないんですけど、
AなのはBだけである
という予想については、Bの要素でAとなるものが存在することが必須である、というのが大学数学では一般的なのでしょうか？
具体的な問題への質問ではないのですが、教えて下さい
よろしくお願いします
249:１３２人目の素数さん
22/06/02 21:51:44.36 /twmlc/F.net
ma-kun....love....という質問者がおかしな人みたいだな
250:１３２人目の素数さん
22/06/02 21:53:29.28 /twmlc/F.net
「回答へのお礼」を見たら完全に狂人だった
251:１３２人目の素数さん
22/06/02 22:02:15.06 uYvG3wTi.net
BlockedOldMan という回答者の方がおかしいな
252:１３２人目の素数さん
22/06/02 22:08:46.03 PfjoXJSN.net
すみません、理由もお願いします
253:１３２人目の素数さん
22/06/02 22:57:36.53 PdD/i1lw.net
>>244
>BlockedOldMan という回答者の方がおかしいな
そっかな
別におかしく思わなかったが
質問者の人は質問したいことをこねくりすぎて無用な文章付けすぎかなとは思った
254:１３２人目の素数さん
22/06/02 23:00:32.58 PdD/i1lw.net
>>245
回答者の主張を忖度無しに知りたいなら直接本人に聞いたらどうかな
その質問と回答とは面倒くさくてどうでも良いけど
>>241
>AなのはBだけである
>という予想については、Bの要素でAとなるものが存在することが必須である、というのが大学数学では一般的なのでしょうか？
君がこれだけ質問したのなら答えたくなる人も多かったはず
255:１３２人目の素数さん
22/06/02 23:01:58.44 3GduhLro.net
これはどう見ても回答者がおかしいだろ
256:１３２人目の素数さん
22/06/02 23:10:38.78 y5qBYrnK.net
ふと気になったことがあるのですが教えて下さい
例えば
AなのはBだけである
という予想があったとします
このときこの予想には、Bの要素でAとなるものが存在することが必須である、というのが大学数学では一般的なのでしょうか？
具体的な問題への質問ではないのですが、よろしくお願いします
257:１３２人目の素数さん
22/06/02 23:19:47.18 /twmlc/F.net
そもそもAとなる事があるかないか解っていないこともあるが、その場合はまず「Aとなる事があり得る」という予想が立てられる。
258:１３２人目の素数さん
22/06/02 23:26:17.23 U4L/+60k.net
↑
ハア？ww
何言ってんだコイツwwwww
259:１３２人目の素数さん
22/06/02 23:32:07.96 fKOqvty6.net
>リーマンゼータなら、実軸 と 実部=1/2 上に
>実際に零点を持つため、どちらの「だけ」でも
>文の意味は違わないのですが。
回答者の理屈が謎すぎる。
260:１３２人目の素数さん
22/06/02 23:35:26.94 /twmlc/F.net
何を言ってるかと言うと、Aとなることがなければ「AなのはBだけである」という命題は真だけどBの要素でAとなるものはない、ということ。
261:１３２人目の素数さん
22/06/02 23:53:17.77 /twmlc/F.net
2^n+1が素数なのはnが2の巾乗の時だけである(これは正しい)
したがって「nが33以上のとき2^n+1が素数なのはnが2の巾乗の時だけである」も正しい
しかしnが6以上のとき2^(2^n)+1の形の素数が存在するかどうかは未解決である
262:１３２人目の素数さん
22/06/03 01:12:24 4jOZ8hqh.net
そもそも非自明零点無限にあるんだからRHが正しければre=1/2上に無限に零点あるわな
263:１３２人目の素数さん
22/06/03 05:21:10.64 eh04e4rm.net
>>254続き
予想として提出するならば
「nが33以上のとき2^n+1が素数なのはnが2の巾乗の時だけである」という形ではなく
「nが33以上のとき2^n+1の形の素数が存在する」
または(こちらが普通)「nが6以上のとき2^(2^n)+1の形の素数が存在する」という形になる
264:１３２人目の素数さん
22/06/03 07:27:41.45 C4qtS3Tw.net
質問者が言ってるのは
2^(2^n)+1の形の素数が存在するのはn<10^100だけである
みたいな予想じゃない？
そして回答者が言ってる
n<10^100に2^(2^n)+1の形の素数が存在する
とか、それによって だけ の意味が変わるとかは
私にも理解出来ない
265:１３２人目の素数さん
22/06/03 18:25:29 IU/y62w/.net
直観主義論理では帰納法が成立しないと書いてる人がいたのですが、帰納法は成立しますよね？
266:１３２人目の素数さん
22/06/03 21:23:01.07 IrQnsvNK.net
((P → R) ∧ (Q → R)) → (﹁R →﹁ P ∧﹁ Q)
この論理式の証明図を誰か書いてくれませんか？
267:１３２人目の素数さん
22/06/03 21:47:42.44 TVg9Gppq.net
>>258
なんで？
268:１３２人目の素数さん
22/06/03 21:57:17.64 TVg9Gppq.net
>>259
最後の一つ前が
￢R→￢P∧￢Q
てことはその一つ前が
￢P∧￢Q
てことはその一つ前が
￢Pと￢Q
てことはその一つ前がどちらも人
その仮定はそれぞれがPとQ
Pから人を出すには
P→RのMPと￢Rを使えば良い
Qからも同様
もうわかりましたね？
269:１３２人目の素数さん
22/06/03 22:16:16.81 k5M3T03B.net
1，((P → R) ∧ (Q → R)) ・・・・仮定
2，﹁R・・・・・・・・・・・・・仮定
3，P・・・・・・・・・・・・・・仮定
4，P → R・・・・・・・・・・・・1より∧除去
5，R・・・・・・・・・・・・・・3，4より→除去
6、矛盾・・・・・・・・・・・・・2と5より
7，¬P・・・・・・・・・・・・・3と6より¬導入
8，Q・・・・・・・・・・・・・・仮定
9，Q → R・・・・・・・・・・・・1より∧除去
10，R・・・・・・・・・・・・・・8と9より→除去
11，矛盾・・・・・・・・・・・・10と2より
12，¬Q・・・・・・・・・・・・・8と11より¬導入
13，﹁ P ∧﹁ Q・・・・・・・・・・7と12より∧導入
14，﹁R→（﹁ P ∧﹁ Q）・・・・・2と13より→導入
15，((P → R) ∧ (Q → R))→(﹁R→(﹁ P ∧﹁ Q))・・・1と14より→導入
270:１３２人目の素数さん
22/06/03 23:07:56.98 lGR4JKZh.net
6の矛盾も11の矛盾もnot Rのやつですか？
271:１３２人目の素数さん
22/06/03 23:11:02.45 lGR4JKZh.net
ごめんなさい自分でも何言ってるか分からなかった
272:１３２人目の素数さん
22/06/03 23:19:39.13 d5fRiSJT.net
>>262
()がつく仮定の番号が分からないのですが何でしょうか
273:１３２人目の素数さん
22/06/03 23:27:00.79 iEs4o4/V.net
((P → R) ∧ (Q → R))が仮定1
﹁ Rが仮定2
Pが仮定3
Qが仮定4
で合ってますか？
274:１３２人目の素数さん
22/06/03 23:33:34.80 IU/y62w/.net
>>260
なんで？というのはつまり必ずしも成立しないという意味ですか？
成立するという言葉がまずかったのかな
直観主義論理は排中律を受け入れないだけで、帰納法を受け入れないわけではないと理解してるのですが、これは間違ってますか？
275:１３２人目の素数さん
22/06/04 03:51:33.06 RI91PHM7.net
>>267
俺の知ってる帰納法の証明だと排中律ていうか背理法使ってるけどな
帰納法
P(1)∧∀n∈N(P(n)→P(n+1))→∀n∈N(P(n))
276:１３２人目の素数さん
22/06/04 04:02:17.59 ULi2R9Rk.net
変数 x1, x2,x3, ... すべて0以上の整数とする。
今、 zの目標値を
・ z_target = z_t = 1240
とする。
また、 zの実効値 z_effective = z_eff を以下のように変数x の組であらわす。
・ z_eff = A*x1 + B*x2 + C*x3.......
・z_eff は z_t よりも大きくなければならない。
・また、そのうちでもっとも小さいzの値をzの実効上の最適値とする。
Q.1 z_eff = 120*x1 + 180*x2
この時、実効上の最適値 z_eff の値と その時の (x1,x2) を求めよ。
Q.2 z_eff = 120*x1 + 180*x2 + 211*x3
この時、実効上の最適値 z_eff の値と その時の (x1,x2,x3) を求めよ。
補足: Q.1 は高校レベル？ の1変数の操作にして解けると思うけど
Q2 は多分、高校レベルじゃ無理ぽ！？
277:１３２人目の素数さん
22/06/04 04:20:25.24 RI91PHM7.net
証明
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
278:１３２人目の素数さん
22/06/04 07:16:10.75 j+0F4bbH.net
>>270
言われてみるとたしかに…
自然数全体の集合Nに関する命題P(n)について、帰納法は全てP(n)か¬P(n)かを言ってることになりますね…
Curry-Howar
279:d同型対応の文献で、直観主義一階述語論理を帰納法が成立するよう拡張する部分の説明を勘違いしました つまり帰納法が成立するのはあくまで拡張であって、本来の直観主義論理ではないということですか
280:１３２人目の素数さん
22/06/04 07:38:12.77 cX/jTGyz.net
>>270
これは何？
これは帰納法の証明？
帰納法って証明できるん？
281:１３２人目の素数さん
22/06/04 08:12:01 GOI5W0c/.net
完全に構成的なら限定算術なんて分野は存在しなくなるよな
282:１３２人目の素数さん
22/06/04 10:20:30.97 RI91PHM7.net
>>272
対偶法
(￢Q→￢P)→(P→Q)
証明
P∧￢Q∧(￢Q→￢P)→P∧￢P→人
P∧(￢Q→￢P)→￢￢Q→Q
(￢Q→￢P)→(P→Q)
283:１３２人目の素数さん
22/06/04 10:28:25.80 RI91PHM7.net
>>271
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
P(1)∧∀n∈N(P(n)→P(n+1))→￢∃n∈N(￢P(n))→∀n∈N(￢￢P(n))
（DNE）→∀n∈N(P(n))
と思ったのだが
無限の証明を許す無限論理だと
P(1)∧(P(1)→P(2))∧(P(2)→P(3))∧…∧(P(n)→P(n+1))∧…→P(1)∧P(2)∧P(3)∧…∧P(n)∧…
でいいのかも？
284:１３２人目の素数さん
22/06/04 10:29:35.08 RI91PHM7.net
>>271
>本来の直観主義論理ではない
ブラウワーはおそるらく無限に長い証明は駄目って宣うんじゃなかろかなあ
285:１３２人目の素数さん
22/06/04 10:32:41.47 RI91PHM7.net
あと
>>275
>￢∃n∈N(￢P(n))→∀n∈N(￢￢P(n))
のところ
￢(P∨Q)→￢P∧￢Q
からきてるけど
もしかしたらたしかこれも排中律必要だったとかも？
286:１３２人目の素数さん
22/06/04 10:37:21.63 RI91PHM7.net
>>277
>￢(P∨Q)→￢P∧￢Q
P∧￢(P∨Q)→(P∨Q)∧￢(P∨Q)→人
￢(P∨Q)→￢P
Q∧￢(P∨Q)→(P∨Q)∧￢(P∨Q)→人
￢(P∨Q)→￢Q
￢(P∨Q)→￢P∧￢Q
ここはいらんかったわ
287:１３２人目の素数さん
22/06/04 10:39:21.14 KVkX7y8y.net
>>274
イヤ、じゃなくて>>270は帰納法を“証明”してるの？
288:１３２人目の素数さん
22/06/04 10:59:30.01 RI91PHM7.net
>>279
>>275
分からなかったらイイヤ
289:１３２人目の素数さん
22/06/04 11:23:02.20 bupIrhY3.net
”ペアノの公理”なんだから証明できないやろ？
290:１３２人目の素数さん
22/06/04 11:30:24.96 RI91PHM7.net
>>281
ZFで先にNを作っておいてそれが公理を満たすって流れなのでは？
291:１３２人目の素数さん
22/06/04 12:05:14.89 zUPP7e2C.net
リーマンの再配列定理(条件収束数列は和交換で任意の値に収束させられる)がありますが
リーマンゼータにでてくる、収束しない級数も任意の値に収束させられるとおもうのですが違いますか? 解析接続でつかう関数を別にすれば
リーマンゼータは物理でも使われますが、
リーマンゼータがたまたま良く研究されてたので、物理で使われたのか、リーマンゼータで計算した値が正しいからこれなんですか?
1+2+3+4+… - Wikipedia
一見するとこの級数が意味のある値を持つことは全くないように思われるが、これに数学的に意味のある値を結びつける方法があり、そうして得られた値は複素解析や、物理学における場の量子論、特に弦理論などの分野において応用がある。
様々な総和法を用いることで、上記のごとき発散級数にさえ有限な数値を割り当てることができ、特にゼータ関数正規化やラマヌジャン総和法では-1/12 を値として割り当てる。
292:１３２人目の素数さん
22/06/04 12:48:44 kfulOg92.net
>>282
ZFの中で自然数作ってそれがペアノ算術の公理満たすって話はならそりゃそうだけど、それならそれで>>270は証明になってないのでは？
293:１３２人目の素数さん
22/06/04 13:01:50.58 RI91PHM7.net
>>284
NがP(1)∧∀n∈N(P(n)→P(n+1))→∀n∈N(P(n))を満たすことを示すには
必然的に
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
を示すことになるんじゃないの？
でそこではDNE使うと思うので直観主義論理じゃだめじゃないかってことだ
294:けど
295:１３２人目の素数さん
22/06/04 13:11:00.23 RI91PHM7.net
ZFで作ったN={0,1,2,…}だと
部分集合（B）に最小値（∩B）が存在することと
0以外のnに前者（n=m∪{m}）が存在することが証明できて
それが
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
を示すことになるて流れで
296:１３２人目の素数さん
22/06/04 13:12:14.25 kfulOg92.net
>>285
イヤ、公理的集合論の中でのωの定義はa≦bを
a≦b :⇔ a=b or a∈b
で定義して
aが順序数:⇔(a,≦)がwell ordered set
と定義してωの定義は最小の無限順序数として定義する
このωぎペアノの公理を満たすのはφが
φ(0)∧φ(x)→φ(x+1)
を満たす述語のとき
w' = { x∈ω | φ(x) }
とすればω'は順序数かつ無限集合であるからωの最小性よりω=ω'
なんじゃないの？
297:１３２人目の素数さん
22/06/04 13:13:15.34 RI91PHM7.net
ああこちらのNはN={1,2,3,…}
ZFのNと0が入る入らないが違う
298:１３２人目の素数さん
22/06/04 14:44:14.47 j+0F4bbH.net
>>287
>w' = { x∈ω | φ(x) }
>とすればω'は順序数かつ無限集合であるからωの最小性よりω=ω'
調べてみるとこれは、
ω'がωより小さければωの最小性に矛盾する、よってω=ω'
という最小性を使った背理法が帰納法に紛れ込んでいると
言われているようです
299:１３２人目の素数さん
22/06/04 14:52:48.21 lN5GxstC.net
>>289
イヤ
ωの定義が
0∈ω、x∈ω→x+1∈ω、∀ω'(0∈ω'、x∈ω'→x+1∈ω')→ ω⊂ω')
でここ背理法関係ありません
300:１３２人目の素数さん
22/06/04 15:19:39 j+0F4bbH.net
>>290
すみません、>>289は注意しないと背理法が紛れ込むという文脈のようでした
基礎知識足りてないのでもう黙っときます…
301:１３２人目の素数さん
22/06/04 18:32:07.46 36zoZw+O.net
>>270
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(¬P(n))→人
302:１３２人目の素数さん
22/06/04 18:38:28.86 36zoZw+O.net
>>270
P(1)∧∃n∈N(¬P(n))→∃n∈N(P(n)∧¬P(n+1))
が論理だけで証明できますか？
だったら帰納法は公理として必要ないですね
303:１３２人目の素数さん
22/06/04 18:44:36.61 36zoZw+O.net
>>267
古典論理でも数学的帰納法は証明できません
一方直観主義論理で数学的帰納法を公理として
追加しても排中律は証明できません
304:１３２人目の素数さん
22/06/04 18:57:42.02 GOI5W0c/.net
>>294
最初の方は当たり前
論理学で自然数論が展開できたらおかしい
305:１３２人目の素数さん
22/06/04 19:20:28.90 Pmn+9eta.net
背理法って、設定した仮定から帰結された結論が誤っていれば、
設定した仮定が誤っている、という論法のようだけど
誤った仮定から正しい結論を導くことも可能ではないでしょうか？
306:１３２人目の素数さん
22/06/04 19:37:28.18 RI91PHM7.net
>>294,295
>>287で良いんじゃ無いの？
307:１３２人目の素数さん
22/06/04 19:38:45.37 RI91PHM7.net
>>296
論理式で書いて
背理法を書くと
(￢P→人)→P
308:１３２人目の素数さん
22/06/04 19:46:42.71 GOI5W0c/.net
>>297
それは集合論からペアノ数論が展開できるという話