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

1 名前：１３２人目の素数さん [2021/11/21(日) 08:00:44.31 ID:4j6fBnFe.net] 大学で習う数学に関する質問を扱うスレ ・質問する前に教科書や参考書を読むなりググるなりして ・ただの計算は wolframalpha.com ・数式の表記法は mathmathmath.dote ra.net ・質問のマルチポストは非推奨 ・煽り、荒らしはスルー 関連スレ 分からない問題はここに書いてね478 rio2016.5ch.net/test/read.cgi/math/1511604229/ ※前スレ 大学学部レベル質問スレ 16単位目 https://rio2016.5ch.net/test/read.cgi/math/1619727449/ 858 名前：１３２人目の素数さん [2022/04/14(木) 08:03:01.88 ID:4rat+pCv.net] あ、成り立つ理由が分かりました。 ですが、自明とまではいえないと思います。 859 名前：１３２人目の素数さん [2022/04/14(木) 08:53:53.49 ID:4rat+pCv.net] f(x) の各項のうち辞書式順序に関して最大の項を a*x_1^{i_1}*…*x_n^{i_n} とする。 g(x) の各項のうち辞書式順序に関して最大の項を b*x_1^{j_1}*…*x_n^{j_n} とする。 f(x) * g(x) の各項のうち辞書式順序に関して最大の項は a*b*x_1^{i_1+j_1}*…*x_n^{i_n+j_n} になる。 ゆえに、 f(x) * g(x) ≠ 0 である。 860 名前：１３２人目の素数さん [2022/04/14(木) 09:22:45 ID:4rat+pCv.net] 訂正します： f(x) の次数最大の各項のうち辞書式順序に関して最大の項を a*x_1^{i_1}*…*x_n^{i_n} とする。 g(x) の次数最大の各項のうち辞書式順序に関して最大の項を b*x_1^{j_1}*…*x_n^{j_n} とする。 f(x) * g(x) の次数最大の各項のうち辞書式順序に関して最大の項は a*b*x_1^{i_1+j_1}*…*x_n^{i_n+j_n} になる。 ゆえに、 f(x) * g(x) ≠ 0 である。 861 名前：１３２人目の素数さん [2022/04/14(木) 09:26:13 ID:zI/25SNd.net] Aは整域ならA[x](一変数)も整域←自明 帰納的にA[x_1,…x_n]も整域←自明 >>828の主張←自明 862 名前：１３２人目の素数さん [2022/04/14(木) 09:34:44 ID:4rat+pCv.net] >>833 あ、訂正の必要はなかったですね。 >>834 あ、そうですね。 863 名前：１３２人目の素数さん [2022/04/14(木) 10:01:37.27 ID:4rat+pCv.net] 松坂和夫著『代数系入門』 石田信著『代数学入門』 環について本当にベーシックなことしか書いていないですね。 こんなんでいいんですかね？ 864 名前：１３２人目の素数さん [2022/04/14(木) 10:47:51 ID:8l8MzYwb.net] >>824 森毅の本の説明が分かりやすい でも分かりやすいのはそこだけ 865 名前：１３２人目の素数さん [2022/04/14(木) 10:56:07.90 ID:4rat+pCv.net] >>824 松坂和夫著『代数系入門』のpp.193-194の説明が自然だと思います。 866 名前：１３２人目の素数さん [2022/04/14(木) 11:02:09.98 ID:4rat+pCv.net] 線形写像 f の表現行列を A 線形写像 g の表現行列を B とする。 線形写像の合成 f ・ g の表現行列を A * B と定義したいということだと思います。 そうすると結合法則や分配法則などが成り立ちます。 867 名前：１３２人目の素数さん [2022/04/14(木) 11:12:39.08 ID:zI/25SNd.net] >>824 高校生なら連立一次方程式を行列の形で書き直して、変数変換したらどうなるか考えてみたら？ 868 名前：１３２人目の素数さん [2022/04/14(木) 11:16:08.57 ID:4rat+pCv.net] >>840 B*(A*x) = C*x となるような行列 C を B*A と定義するということですね。 869 名前：１３２人目の素数さん mailto:sage [2022/04/14(木) 11:46:01.11 ID:f0j2UYsy.net] >>839 こんなお� 870 名前：oカな事ばっかり考えてるからいつまで経っても圏論的センスが身につかない そしてそれが身についてこない事が勉強が次の段階に進まない理由だとわからん能無し [] [ここ壊れてます] 871 名前：１３２人目の素数さん mailto:sage [2022/04/14(木) 13:09:35.04 ID:GFjlvlg2.net] だって手帳持ちの真性キチガイだし 872 名前：１３２人目の素数さん [2022/04/14(木) 13:31:15.82 ID:zI/25SNd.net] >>841 そんな理解してる謎アピールは要らないです 873 名前：１３２人目の素数さん [2022/04/14(木) 13:50:18.77 ID:8DUAJbGC.net] >>826 h_1n_1=h_2n_2 h_1n_1n_2^{-1}=h_2 n_1n_2^{-1}=h_1^{-1}h_2 だからn_1n_2はHの元 874 名前：１３２人目の素数さん [2022/04/14(木) 14:05:36.04 ID:kc6aDZcl.net] >>845 そこからn_1はHの元またはn_2はHの元は言える？ 875 名前：１３２人目の素数さん [2022/04/14(木) 14:35:21.02 ID:4rat+pCv.net] 前にもかきましたが、松坂和夫著『代数系入門』では、普通、既約元とよばれるものを 素元とよんでいます。 そして、PID上では、任意のゼロでも単元でもない元が、素元の積に一意的に分解されることを 証明しています。 要するに、普通の言葉で言えば、PID上では、任意のゼロでも単元でもない元が、既約元の積に一意的に分解されることを 証明しているわけです。 PID上では素元は既約元であり、既約元は素元です。 このことを悪用したのが『代数系入門』ですね。 876 名前：１３２人目の素数さん [2022/04/14(木) 14:37:22.41 ID:4rat+pCv.net] 他の代数学の本を読まない読者にとっては、非常に有害ですよね。 877 名前：１３２人目の素数さん [2022/04/14(木) 16:15:16.29 ID:4rat+pCv.net] 同レベルの本である石田信著『代数学入門』では、きちんと素元と既約元を別々に定義しています。 なぜ松坂和夫さんがあんなことをしたのか理解に苦しみます。 878 名前：１３２人目の素数さん [2022/04/14(木) 17:25:18.44 ID:4rat+pCv.net] あ、UFDの定義ですけど、素元に分解されるという定義と既約元に分解されるという定義があるんですね。 879 名前：１３２人目の素数さん [2022/04/15(金) 10:52:01.37 ID:OUlSMVpT.net] 小平邦彦著『解析入門』 定理4.7(1) f(x) を開区間 (a, b) で連続な x の関数とする。 広義積分 ∫_{a}^{b} f(x) dx が収束するならば、点 c, a < c < b, を一つ選んで F(x) = ∫_{c}^{x} f(x) dx とおいたとき、 F(x) は閉区間 [a, b] で連続、開区間 (a, b) では微分可能で F'(x) = f(x) である。 -------------------------------------------------------------------------------------------------------- まず微分可能のほうは有名な定理そのものです。 そして、連続のほうは、例えば、 ∫_{c}^{x} f(x) dx が x = b で連続になるように広義積分を定義している ので明らかです。 わざわざ証明まで書いていますが、定理のステートメント自体不要だと思います。 880 名前：１３２人目の素数さん [2022/04/15(金) 11:00:20.85 ID:OUlSMVpT.net] おそらく日本語の本の中で、小平邦彦さんの本が広義積分について一番詳しく書いてあると思いますが、あっていますか？ 881 名前：１３２人目の素数さん [2022/04/15(金) 13:52:08.24 ID:OUlSMVpT.net] 小平邦彦著『解析入門』 広義積分について色々書いています。 例えば、以下の広義積分など使われることは一度でもあるのでしょうか？ 関数 f(x) がすべての点 t, t > a に対して (a, t) で高々有限個の点を除いて連続で 広義積分 ∫_{a}^{t} f(x) dx が収束しているとき、極限 lim_{t → +∞} ∫_{a}^{t} f(x) dx が存在するならば、広義積分 ∫_{a}^{+∞} f(x) dx を ∫_{a}^{+∞} f(x) dx = lim_{t → +∞} ∫_{a}^{t} f(x) dx と定義し、広義積分 ∫_{a}^{+∞} f(x) dx は収束するという。 882 名前：１３２人目の素数さん [2022/04/15(金) 13:52:59.62 ID:OUlSMVpT.net] これなど理論のための理論ではないでしょうか？ 883 名前：１３２人目の素数さん [2022/04/15(金) 14:15:35.90 ID:tLRzmP2n.net] >>854 顧みられない質問があるのと同じよ 884 名前：１３２人目の素数さん mailto:sage [2022/04/15(金) 14:29:35.04 ID:u6Ija5cW.net] >>853 統失のアホは、累積分布関数とか見たことないんか？ 885 名前：１３２人目の素数さん [2022/04/15(金) 19:17:34.23 ID:OUlSMVpT.net] 点 b が第二種不連続点の場合に、広義積分 ∫_{a}^{b} f(x) dx が存在する例、存在しない例ってありますか？ 886 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 07:16:13.36 ID:kdp3FkZ+.net] 1と0からなる数列a=(a[1],a[2],a[3],...)全体からなる集合Xは連続濃度ですが その中でa[n]=a[n+m]=a[n+2m],a[n+1]=a[n+m+1]=a[n+2m+1],...,a[n+m-1]=a[n+2m-1]=a[n+3m-1] 887 名前：となるような部分 つまり同じ部分を3回繰り返すような数列(たとえばa=(0,0,1,0,1,0,1,1...)みたいな)をXから取り除いたX'を考えます X'は空集合じゃなければ無限集合になりそうですが実際濃度はどうなるんでしょうか [] [ここ壊れてます] 888 名前：１３２人目の素数さん [2022/04/16(土) 07:48:50.57 ID:d6AgvgDx.net] >>857 簡単に見つかりました。 https://www.wolframalpha.com/input?i2d=true&i=Integrate%5Bsin%5C%2840%29Divide%5B1%2Cx%5D%5C%2841%29%2C%7Bx%2C0%2CDivide%5B1%2Cpi%5D%7D%5D&lang=ja 889 名前：１３２人目の素数さん [2022/04/16(土) 07:52:15.86 ID:d6AgvgDx.net] こんな関数でも収束するんですね。 https://www.wolframalpha.com/input?i2d=true&i=Integrate%5BDivide%5B%EF%BC%91%2CPower%5B%EF%BD%98%2C%EF%BC%91%5D%5Dsin%5C%2840%29Divide%5B1%2Cx%5D%5C%2841%29%2C%7Bx%2C0%2CDivide%5B1%2Cpi%5D%7D%5D&lang=ja 890 名前：１３２人目の素数さん [2022/04/16(土) 07:53:40.42 ID:d6AgvgDx.net] やっと発散しました。 https://www.wolframalpha.com/input?i2d=true&i=Integrate%5BDivide%5B%EF%BC%91%2CPower%5B%EF%BD%98%2C2%5D%5Dsin%5C%2840%29Divide%5B1%2Cx%5D%5C%2841%29%2C%7Bx%2C0%2CDivide%5B1%2Cpi%5D%7D%5D&lang=ja 891 名前：１３２人目の素数さん [2022/04/16(土) 08:12:38.43 ID:Zc1rPk1g.net] >>858 非可算個あるみたいです https://mathoverflow.net/questions/61615/are-there-uncountably-many-cube-free-infinite-binary-words 892 名前：１３２人目の素数さん [2022/04/16(土) 09:45:19.49 ID:+uUNq8bS.net] むしろ物理とかだと積分って広義積分がデフォルトみたいなところがありますよね 積分範囲が∞になってないと面倒だなって思いますね 893 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 10:00:41 ID:sj4+BJCN.net] 統失は、物理板にも来ててアホ晒してるわ 894 名前：１３２人目の素数さん [2022/04/16(土) 14:19:04.22 ID:Iu6Z0Ct6.net] 質問です。 距離空間の直積距離空間と 距離空間からできる距離位相空間の直積空間は同じものになりますか？ 895 名前：１３２人目の素数さん [2022/04/16(土) 17:26:12.57 ID:Zc1rPk1g.net] 有限個の直積なら自明 896 名前：１３２人目の素数さん [2022/04/16(土) 18:24:00 ID:FzTxMFsC.net] そして非可算個の直積だとそもそも距離づけ不可能 897 名前：１３２人目の素数さん [2022/04/16(土) 19:25:01.32 ID:d6AgvgDx.net] 池田岳著『テンソル代数と表現論』が届きました。 これから読み始めようと思います。 898 名前：１３２人目の素数さん [2022/04/16(土) 19:27:46.45 ID:IB0OBOos.net] これ↓コピペして使っていいよ 池田岳さんは大丈夫な人なのでしょうか？ 899 名前：１３２人目の素数さん [2022/04/16(土) 19:28:46.90 ID:IB0OBOos.net] スレとあんまり関係ないけどIDが結構かっこいい 900 名前：１３２人目の素数さん [2022/04/17(日) 14:53:34.62 ID:WHuG1b+m.net] 池田岳著『テンソル代数と表現論』 カバーと帯の配色が綺麗ですね。 901 名前：１３２人目の素数さん [2022/04/17(日) 16:51:17.32 ID:WHuG1b+m.net] 池田岳著『テンソル代数と表現論』 第１章の途中まで読みましたが、よくまとまっていて、読みやすいと思います。 902 名前：１３２人目の素数さん [2022/04/18(月) 00:33:40.37 ID:HsfpgeqQ.net] ↓コピペでどうぞ 池田さんは一体どんな数学的センスの持ち主なのでしょうか？ 903 名前：１３２人目の素数さん [2022/04/18(月) 11:51:56.32 ID:KcHBreVd.net] 質問です。 K=C(複素数)上のベクトル空間をVc、KをR(実数)に制限したベクトル空間をVrとします。 dimVc=dimVr は成り立ちますか？ 成り立たないから反例を成り立つなら証明を教えて下さい。 904 名前：１３２人目の素数さん [2022/04/18(月) 11:55:58.40 ID:BGO5j9mA.net] C 上のベクトル空間 C は1次元ベクトル空間 R 上のベクトル空間 C は2次元ベクトル空間 905 名前：１３２人目の素数さん [2022/04/18(月) 12:01:25.44 ID:KcHBreVd.net] >>875 了解ですw さすが早いですね…。 906 名前：１３２人目の素数さん [2022/04/18(月) 12:56:10.28 ID:BGO5j9mA.net] 池田岳著『テンソル代数と表現論』 「〜がしたがう。」という非常に奇妙な日本語を多用しています。 907 名前：１３２人目の素数さん [2022/04/18(月) 13:02:13.65 ID:BGO5j9mA.net] 池田岳著『テンソル代数と表現論』 ジョルダン分解の話を読み終われば、第1章を無事読み終えることになります。 第1章は非常に分かりやすいです。 908 名前：１３２人目の素数さん [2022/04/18(月) 22:55:36.39 ID:9Ip71OTU.net] >>876 というか 例を自分で考えてみたらこれはすぐ思いつかねばならないのに 909 名前：１３２人目の素数さん [2022/04/19(火) 11:49:58.52 ID:TCoFcnyb.net] 池田岳著『テンソル代数と表現論』 第1章を読み終わりました。非常に分かりやすかったです。 910 名前：１３２人目の素数さん [2022/04/19(火) 18:27:17.57 ID:mKgyKMR0.net] Kが可換体� 911 名前：ﾅf(x)∈Kが既約ならKの任意の有限次ガロア拡大におけるf(x)の既約因子は全て同じ次数である事を示せ という問題が分かりません。教えていただけないでしょうか。 [] [ここ壊れてます] 912 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 18:50:32.81 ID:fNfHllwS.net] >>881 L/Kをガロア拡大、M/Lをf(x)の完全分解体とする g(x),h(x)をf(x)ほL(x)での規約因子とするときg(x), h(x)はGal(M/K)の作用で移り合う、(∵ g(x)の根α、h(x)の根をβとするときg(x),h(x)はα、βの最小多項式でα、βはGal(L/zk)の作用で共役) よって主張が成り立つ 913 名前：１３２人目の素数さん [2022/04/19(火) 19:10:40.73 ID:mKgyKMR0.net] >>882 これでf(x)のL上の全ての既約因子の次数が等しいことが言えたんですか？ 914 名前：１３２人目の素数さん [2022/04/19(火) 19:11:42.66 ID:mKgyKMR0.net] Gal(M/K)の作用で移り合うって部分がわからないです 915 名前：１３２人目の素数さん [2022/04/19(火) 19:14:49.37 ID:XMPzBtyf.net] >>883 人に教えて貰っといて何その偉そうな態度 916 名前：１３２人目の素数さん [2022/04/19(火) 19:17:49.21 ID:mKgyKMR0.net] すいません。 917 名前：１３２人目の素数さん [2022/04/19(火) 19:21:40.85 ID:mKgyKMR0.net] >>885 α、βはGal(L/zk)の作用で共役 の部分がわからないです。zkとはなんなのでしょうか。 またどんな作用であるのでしょうか 918 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 20:03:30.87 ID:rE9xLsQH.net] >>887 zはタイプミス 各係数にGal(M/K)を作用させる 919 名前：１３２人目の素数さん [2022/04/19(火) 20:51:47.42 ID:Re5udWBt.net] >>882 これって g(x),h(x)が移り合うある作用σ∈Gal(M/K)が存在するって事ですよね Gal(M/K)の全ての元に対してg(x),h(x)は移り合うわけではないですよね 920 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 20:56:21.15 ID:gnosbtOT.net] >>889 ないよ だから書いてるやん g(x)の根がα、h(x)の根がβ、σがα→βのときg(x)→h(x) 921 名前：１３２人目の素数さん [2022/04/19(火) 22:01:22.10 ID:Re5udWBt.net] >>890 うまくg(x)の根とh(x)の根が対応する様に延長したという認識で大丈夫でしょうか 922 名前：１３２人目の素数さん [2022/04/19(火) 22:19:12.85 ID:XMPzBtyf.net] >>891 ガロア拡大の定義をもう一度復習してみることを勧める 923 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 22:32:16.89 ID:dEFn3hsU.net] せやな ここまで書いてもらって行間埋められないレベルだと多分その本にで出していいレベルにないやろな 924 名前：１３２人目の素数さん [2022/04/19(火) 23:52:17.02 ID:Re5udWBt.net] やっとわかった g(x)の根がα、h(x)の根がβ、σがα→βのときg(x)→h(x) を示す事ができた。むしろこれが証明できれば明らか。 これは自明では無いですよね。もしかして常識？ 925 名前：１３２人目の素数さん mailto:sage [2022/04/20(水) 00:38:54 ID:dgcoUtFo.net] 常識ではないやろ 頻出のテクニックかもしれんが というか知らなくても>>881の問題見てどうするべと2、3分考えてフットひらめかないとダメやろ 4回になって研究室のゼミとか始まって論文とか読み始めたらこの程度の問題はできて当然とばかりにビュンビュン行間飛ばしてくるからな 926 名前：１３２人目の素数さん mailto:sage [2022/04/20(水) 18:25:31.07 ID:TRdJ37K5.net] 微積分や線形代数の教科書は大丈夫でない人が書いているということがわかったのでこれからはもっとちゃんとした人だという噂の人たちが書いた本を読むことにします 手始めにアンドレ・ヴェイユとかジャン-ピエール・セールという人などの本を探して読むことにします 整数論入門や楕円関数の本があるそうなので私にも読めると思います 927 名前：１３２人目の素数さん mailto:sage [2022/04/20(水) 19:40:19 ID:WB7kMI0k.net] 実際、Amazonすらなかった時代と違って、外国語が読めない以外の理由で今和書を読む理由はない EGAみたいな一部の本以外の、セールなどの古書でないとより良い 928 名前：１３２人目の素数さん mailto:sage [2022/04/20(水) 19:58:58.32 ID:KIZDLrdx.net] >>869コピペしたらいいのに >>873とか 929 名前：１３２人目の素数さん [2022/04/20(水) 20:08:59.48 ID:/IpzeaaI.net] 斎藤� 930 名前：B著『線形代数の世界』 行列表示を使えば、線型空間と線形写像についての問題を、ベクトルと行列についての 問題に帰着させて解くことができる。例えば、 y = f(x) をみたす x ∈ V を求めるには、 対応する連立1次方程式 b = A*a を解けば、その解 a = (a_1, … ,a_n) ∈ K^n に 対応する x = a_1*x_1 + … + a_n*x_n ∈ V が求められる。 ↑のことをちゃんと証明するとすると、以下のように証明しなければなりませんよね？ y ↔ b とする。 f(x) = y に解 x が存在すれば、 x ↔ a とすると、 b = A*a である。 y ↔ b とする。 a が b = A*a をみたすとする。 x ↔ a とする。 y' = f(x) とおく。 y' ↔ b' とすると、 b' = A*a が成り立つ。 b' = A*a = b であるから、 y' = y である。 ∴ y = f(x) が成り立つ。 [] [ここ壊れてます] 931 名前：１３２人目の素数さん mailto:sage [2022/04/22(金) 22:49:31.55 ID:e0MLUOTa.net] 「群G, G'が同型であれば、群の演算にのみ依存する性質Pに関して、P(G)=P(G')である。」的な話はよくあるけど、「群の演算にのみ依存する」の辺りって数理論理学的にはどう厳密に定式化されるの？ 932 名前：１３２人目の素数さん [2022/04/23(土) 19:16:59.20 ID:b/pvmdyR.net] 池田岳著『テンソル代数と表現論』 第2章をもう少しで読み終わります。 この章も非常に分かりやすいです。 933 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 00:42:58.16 ID:s7toxtS0.net] 三次方程式の解の公式をガロア理論的観点で見てみるという『環と体とガロア理論』に書いてある話に関して質問です 具体的には、 ・体Kを標数0で、かつ、1でない1の三乗根を含む体とする ・f(x)は既約で、f(x)のガロア群はσ_3 (3次の置換群) ・体K上の多項式f(x) = x^3 + a_1 x^2 + a_2 x + a_3の根をα_1, α_2、α_3とし、L = k(α_1, α_2、α_3)とする という設定で、 ガロア群と体の拡大の対応 L--{1}⊂σ_3 |　　| M--<(123)>⊂σ_3 |　　| K--σ_3 と、解の公式との関係を考えるという話に関してです。 KをMに拡大する部分は、 「f(x)の判別式をDとするとD^(1/2)は<(123)>⊂σ_3では不変で、(12)では不変でないので、M=K(D^(1/2))である」 ということが書いてあり、 MをLに拡大する部分は 「三次方程式の解の公式の形を見るとLはMに三乗根を添加したものであることが分かる」 ということが書いてあります。 KをMに拡大する部分は、 a_1,a_2,a_3の四則演算とべき根で表せて、かつ、σ_3のある元に関して不変でなく、かつ、<(123)>⊂σ_3では不変である、という元をKに添加すればいいんだなということで、 ガロア群を考えることで、解の公式を知らないという前提でもどのように体を拡大すればいいかの参考になる情報が得られていて、なるほどな、と思った一方で MをLに拡大する部分はそういう記載はなかったので、少しもやっとしています。 KをMに拡大する部分と同じ感じで、MをLに拡大する部分について、Mに何を添加すればLになるのかを、解の公式を知らない前提で、ガロア群との対応を用いて考えることはできますか？ 934 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 01:02:53.70 ID:s7toxtS0.net] >>902 同じ話でもう一つ質問です f(x)をM上の多項式と思うと、ガロア群が<(123)>なのでf(x)はM上可約だと思うのですが、これは合ってますか？ f(x) = (x - α_1)(x- α_2)(x-α_3)ですが、α_1, α_2、α_3はいずれも三乗根を含んでいるのでMに含まれず、f(x)はM上既約のようにも思えてしまうのですが 935 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 01:49:28 ID:eZpJNZW1.net] >>902 3解をα、β、γ、1の原始三乗根をζとし、λ=α+βζ+γ/ζ とおけば L = M( λ ) 実際σをσ(α)=β、σ(β)=γ、σ(γ)=αであるGal(L/M)の元とすると σ(λ) = λζからλはL＼Mの元でLはM上λで生成される 一般にこのようなλはGal(L/M)が巡回群のときα+σ(α)+σ^2(α)+...で作ることができる そのM上の最小多項式は今の場合 x^3 - λ^3=0 となる 解の公式に仕立てるにはこのλ^3がMの生成元である判別式の平方根(α-β)(β-γ)(γ-α)で表示してやれば良い 実際 λ^3 =α^3+β^3+γ^3 + 6αβγ 　+ 3ζ(α^2β + β^2γ + γ^2α ) 　+ 3/ζ(αβ^2 + βγ^2 + γα^2 ) =α^3+β^3+γ^3 + 6αβγ 　+ 3(ζ+1/ζ)(α^2β + β^2γ + γ^2α + αβ^2 + βγ^2 + γα^2 ) 　- 3(ζ-1/ζ)(α^2β + β^2γ + γ^2α - αβ^2 - βγ^2 - γα^2 ) で前半2行は対称式なのでKの元、最後の一行は交代式なのでMの元なのでλ^3もf(x)の係数と±√Δで表示する事ができる 936 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 01:57:18.48 ID:eZpJNZW1.net] >>903 合ってる Mの候補としては M=K(α), K(β)、K(γ)どれをとっても同じ 例えばK(α)をとればf(x)=x^3+px^2+qx+rとして f(x) = (x-α)(x^2+(p+α)x+ q+pα+α^2) と因数分解される 937 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 07:04:50.10 ID:P5W6dpFx.net] 菓子Aの重さと菓子Bの重さはそれぞれ独立で正規分布(10,5)と(30,10)に従う 菓子Aを4つ、菓子Bを4つ、箱に詰めた時の平均と分散はいくつか？ よろしくお願いします 938 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 07:25:34.47 ID:6T57fZCC.net] https://k-san.link/normal-reproductive/ 939 名前：１３２人目の素数さん [2022/04/24(日) 07:41:37.68 ID:BRWood23.net] >>907 ありがとうございます 4つずつ取っても (μ1+μ2,σ1^2+σ2^2) と言うことですか？ (4μ1+4μ2,16σ1^2+16σ2^2) かと思っていました 940 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 07:50:39 ID:ed0WovFy.net] >>908 そのページ見てそう思うならそうなんやろ 941 名前：１３２人目の素数さん [2022/04/24(日) 08:05:40 ID:rN44uxC+.net] >>909 文系なのに会社の関係で統計勉強し始めた さっぱりわからん 助けてください 942 名前：１３２人目の素数さん [2022/04/24(日) 10:10:05.70 ID:ut1WHkIF.net] Aから取り出した重さx1, x2 Bから取り出した重さy1, y2 E[x1+x2+y1+y2]=E[x1]+E[x2]+E[y1]+E[y2] =10+10+30+30 V[x1+x2+y1+y2]=V[x1]+V[x2]+V[y1]+V[y2] =5+5+10+10 (独立だから) 943 名前：１３２人目の素数さん [2022/04/24(日) 10:31:24.33 ID:Akyn0GPL.net] >>911 ありがとう！ ありがとう！ ありがとうございます！ 今後も勉強がんばります。 944 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 12:13:46.10 ID:s7toxtS0.net] >>904 詳しい説明ありがとうございます、とてもスッキリしました！ >>905 >Mの候補としては >M=K(α), K(β)、K(γ)どれをとっても同じ ここが分かりませんでした M=K(D^(1/2))であり、また、ガロア群の部分群と中間体は一対一に対応するので、候補が複数あるというのはおかしいのでは？という気がするのですが。 （M=K(α), K(β)、K(γ)のどれとみなすこともできる、という意味だとすると、Mがαもβもγも含んでいることになるので、M=Lになり、やはりおかしいように思います） 945 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 13:31:06.50 ID:DZQ3BFjO.net] >>913 ”Kにf(x)の根をひとつ添加して得られる体”は同型なものが３つできる “同型である”と“同じ”とは違う、ここの違いを混同してはいけない ”Kにf(x)の根をひとつ添加して得られる体”はこの場合K(α), K(β), K(γ)の３つあってコレらは同型ではあるけどf(x)の分解体Lをひとつ固定して考えたとき“同型な異なる３つの体”として出てくる それぞれ位数2の部分群<(1,2)>, <(1,3)>, <(2,3)>に対応する体として出てくる 946 名前：１３２人目の素数さん [2022/04/24(日) 13:42:53.02 ID:hUk4tLE9.net] >>914 Mは<(123)>に対応してるですが 947 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 14:30:30 ID:t2KAYlcf.net] すみません、>>903については勘違いでした >>903は誤って 三次方程式f（x）が可約↔ガロア群がz/3z と思っていて出てきた疑問だった 948 名前：のですが、正しくは、f（x）の係数を用いて作られる別の多項式g（x）について g（x）が可約↔ガロア群がz/3z でした なので、 >f(x)をM上の多項式と思うと、ガロア群が<(123)>なのでf(x)はM上可約 というのは間違いでした [] [ここ壊れてます] 949 名前：１３２人目の素数さん [2022/04/24(日) 15:32:04 ID:RMn+K5ZE.net] 佐武一郎著『線型代数学（新装版）』の pp.155-157 例3 冪零行列の標準形 佐武一郎著『線型代数学（旧装版）』の pp.148-150 例2 冪零行列の標準形 について質問があります。 冪零行列が基底を変えることにより、標準形に変形できるところまでは分かりました。 最後の標準形の一意性のところが分かりません。 「N に相似な標準形があれば、その中に現れる（§§）の形の i 次行列の個数は明らかに r_i - r_{i+1} = 2*m_i - m_{i-1} - m_{i+1} = rank N^{i-1} + rank N^{i+1} - 2*rank N^{i} である。従ってそれは N によって一意的に定まる。」 と書いてあります。 なぜ標準形は一意的なのでしょうか？ 950 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 17:37:27.64 ID:TnO6EH3c.net] >>916 そもそも可約(reducible)と可解(solvable)がごっちゃになってないか？ 951 名前：１３２人目の素数さん [2022/04/25(月) 18:31:28.83 ID:ddodmtQl.net] 直観主義論理を勉強しようとしてるのですが、排中律が成立しない命題の具体例というのはあるのでしょうか？ よく挙げられる、α^βが有理数となるような無理数α, βが存在することの証明では、 √2^√2が有理数であればα=β=√2となってα^βは有理数となり、 √2^√2が無理数であればα=√2^√2, β=√2とおけばα^β=√2^(√2×√2)=√2^2=2となって有理数となり、 √2^√2が有理数か無理数かわからずとも証明できてしまうことを問題視しているようですが、 実際には√2^√2は無理数なので「√2^√2は有理数(または無理数)である」という命題は排中律が成立しない命題の具体例にはなっていません 直観主義論理はあくまで排中律を使わない構成的な証明を良しとして排中律を公理から除いているだけで、実際に排中律が成立しない命題を想定しているわけではないのでしょうか？ 952 名前：１３２人目の素数さん mailto:sage [2022/04/25(月) 19:14:10.68 ID:IPkQMB4N.net] >>919 単に直観主義ということなら、例えば爆発律や二重否定を証明できないことが証明されてる 953 名前：１３２人目の素数さん mailto:sage [2022/04/25(月) 19:20:23.01 ID:IPkQMB4N.net] >>920 間違えた 爆発律は証明できるわ 954 名前：１３２人目の素数さん mailto:sage [2022/04/25(月) 19:24:24.87 ID:IPkQMB4N.net] >>921 二重否定も間違いだったわ 二重否定の導入は証明できるけど、二重否定の除去は証明できないことが証明されてる 955 名前：１３２人目の素数さん [2022/04/25(月) 23:51:14 ID:jWSIJ68l.net] >>922 二重否定除去は排中律と同値で、排中律は他の公理から導けないので証明できないという話ですよね？ もう少し調べてみたらわかったのですが、どうも無限に関する命題で排中律が成立しないと想定しているみたいですね 956 名前：１３２人目の素数さん [2022/04/26(火) 01:15:56.34 ID:Ikaggb7R.net] >>923 >どうも無限に関する命題で排中律が成立しないと想定している そんなの想定してるかね 排中律が成立しないってのはただ成立しないってだけ それを使わない証明しか認めないってことだよ 排中律が成立しない例云々より 排中律はそもそも成立していないので 君が気にするべきは 排中律なしには証明できない命題にはどんなものがあるかだろう たとえば二重否定の除去は排中律なしには証明できないことが照明されて入るものの それは一般の話であって 排中律なしに三重否定から否定を２つ取り除くことは排中律なしに可能 ではどんな命題が排中律なしには証明できないかといえば まさに一般の排中律が証明できない つまりPを命題変数としてP∨¬Pは証明できない 一方¬P∨¬¬Pは排中律なしに証明できる （一般に古典論理で証明できる論理式のすべての命題変数を二重否定に置き換えた論理式は排中律なしに証明できるので¬¬P∨¬¬¬Pは排中律なしに証明できて 三重否定から否定を２つ取り除くのも排中律なしにできるから¬P∨¬¬Pは排中律なしに証明できる） 957 名前：１３２人目の素数さん [2022/04/26(火) 02:12:21.85 ID:L20ICerH.net] >>924 そもそもは、構成的証明を掲げてる直観主義が、排中律が成立しない命題の具体例を構成しないで済ますなんてことするのだろうか？という疑問がありました 以下、自分が調べた文献(主にWiki 958 名前：pediaですが)について載せます https://ja.m.wikipedia.org/wiki/%E6%8E%92%E4%B8%AD%E5%BE%8B 古典数学では、「非構成的」あるいは「間接的」な存在証明があるが、直観主義者はそれを受け入れない。例えば、「P(n) が成り立つような n がある」ことを証明するとき、古典数学では全ての n について P(n) が成り立たないと仮定することで矛盾が生じることを示す。古典論理でも直観論理でも、帰謬法により「全ての n について P(n) が成り立たないということはない」ことが示される。古典論理はその結果を「P(n) が成り立つ n が存在する」に変換することを許すが、直観論理では総体として無限な自然数の集合が完全であって、P(n) となるような n が存在するということは言えない。なぜなら、直観主義では自然数が全体として完全であるとは考えないからである。[4] (Kleene 1952:49-50) 一般に、直観主義では有限な集合に関して排中律の適用を許すが、無限集合（例えば、自然数）に対しては許さない。したがって、「無限集合 D に関する全ての命題 P について、P であるかまたは P でないかのどちらかである」(Kleene 1952:48) という言い方は、直観主義では絶対できない。 Wikipediaの他にネットで公開されている大学の講義資料に、直観主義論理上の集合論であるCZF集合論は無限公理を持ち、無限集合を構成することは可能だが、無限集合に関し排中律は成立しない、という記述を見ました [] [ここ壊れてます] 959 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 02:33:24.30 ID:XA1ICaw0.net] 直観主義も別に構成的証明に拘ってる訳ではないけどな メタでは排中律も使うし 960 名前：１３２人目の素数さん [2022/04/26(火) 07:19:31.28 ID:Ikaggb7R.net] >>925 >大学の講義資料 URLみせて 961 名前：１３２人目の素数さん [2022/04/26(火) 12:19:40 ID:LZiNX85w.net] アホしかいねぇｗｗｗ 962 名前：１３２人目の素数さん [2022/04/26(火) 13:05:00 ID:+NmTJpA/.net] 足助太郎著『線型代数学』 馬鹿丁寧な本ですね。 963 名前：１３２人目の素数さん [2022/04/26(火) 13:31:12.33 ID:+NmTJpA/.net] 書きすぎと言われそうな本ですね。 964 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 13:48:56 ID:dpro7H9A.net] 池田岳先生は大丈夫やった？ 965 名前：１３２人目の素数さん [2022/04/26(火) 19:09:08.70 ID:L20ICerH.net] >>927 https://researchmap.jp/multidatabases/multidatabase_contents/detail/229222/25e68a32570612cc8bd2a4ff3d34f949 pdfの29ページで構成的集合論CZFに触れていて、30ページの注釈*4で「無限集合に関し排中律が成立しない」という記述があります 966 名前：１３２人目の素数さん [2022/04/26(火) 20:27:55.18 ID:L20ICerH.net] >>932補足 直観主義論理が想定する排中律が成立しない命題について、 まず自分の手元にあった共立出版 カラー図解数学事典(dtv-Atlas Mathematik)を見てみたのですが、 以下のように記載されていました 普通に行う無限の実際的解釈では、総体として理解可能な有限集合同様、自然数の集合とその性質について語ることができる。 それに反し無限の可能的な解釈では、有限回手順での段階的構築によって到達できることしか認識できない。 (中略) しかし、高階述語論理の不完全性により、自然数に関する真の命題で、特定の規則に従った有限回の手順では導出されないものが存在する。 ゆえに上記の後者による無限の解釈(注:無限の可能的な解釈)では、その命題が主張する自然数の性質はその肯定・否定のどちらとも認識されえない。 とすればしかし、さかのぼって排中律を無限集合に適用することを、したがって論理の2値原理をも退けねばならない。 直観主義論理は、このような全く異なった基礎の上に構築された論理体系を提示する。 それを数学に適用した場合、すべての非構成的存在証明と背理法による間接証明は失われる。 さらに、構成的に到達可能な� 967 名前：g組みを超えるような公理的手法は一切拒絶することになる。 (以下略) [] [ここ壊れてます] 968 名前：１３２人目の素数さん [2022/04/26(火) 20:28:13.98 ID:lPRNo7OA.net] >>925 「構成的証明を掲げてる直観主義が、排中律が成立しない命題の具体例を構成しないで済ますなんてことするのだろうか？という疑問」 ここがわからない 推論規則と命題を混同していないか？ 969 名前：１３２人目の素数さん [2022/04/26(火) 20:29:38.35 ID:L20ICerH.net] >>933続き これだけでは自分にはよくわかりませんでした そこで>>932の著者の先生をネット上で知っていたので、何かしらこの件に触れている資料等はないか調べてみました するとtogetterにて以下のような記載がありました(抜粋) https://togetter.com/li/409585 (前略)日本でも「直観主義＝実無限の否定」と信じる人が多い。けれど、それは間違っていると思う。構成的数学の枠組みとなる直観主義論理上の集合論（CZFとか）は無限公理を含んでいるし、無限公理は実無限の存在を仮定してるというのはムリのない主張ではないか。 CZFの無限公理より、任意の自然数n に対しnを表現する数値\bar{n} \in \oemga となることは証明でき、つまり集合ωが全ての数値を含む無限集合なこと自体は証明可能で二値原理が働かないのは他の元についてですが、これでは不足でしょうか。 「任意の自然数n に対しnを表現する数値\bar{n} \in \oemga となること」を実無限の存在の仮定とは誰も言わないでしょう．\forall x \in \omega (Fx) という形の文に対して一般に二値原理が成り立つかどうかという問題です． これらを手掛かりに調べたところ>>932の資料を見つけました カラー図解数学事典の「無限の実際的解釈」がいわゆる実無限、「無限の可能的な解釈」が可能無限のことであるとわかりました まとめると、「直観主義＝実無限の否定＝自然数全体は集合Nのように扱えない体系」と信じてる人が多いけれども間違いで、 直観主義論理上の集合論CZFは無限公理を持ち、自然数全体の集合Nのような無限集合を定義できるが、無限集合に関し排中律が成立しない、 ということのようです 結論として直観主義は、自然数は上に非有界であるとだけ考えるべきで、集合Nのようにその全体を対象として(？)扱うことはできないと想定しており 直観主義論理では無限集合に関する命題で排中律が成立しないと想定しているようです 970 名前：１３２人目の素数さん [2022/04/26(火) 20:30:41.36 ID:L20ICerH.net] >>935続き ただし、>>932の先生の過去の発言に 「直観主義の立場では、排中律は無限集合を参照した途端に意味をなさなくなる」って間違いだよね というのがありました 気になったのでさらに調べてみると、 この先生は過去に、構成的な素朴集合論における自然数全体の集合は確定的な境界を持たないことを証明したらしく、 また、非古典論理上の素朴集合論では、無限集合(典型的には自然数全体の集合ω)の境界線が確定的でなく、無限と有限の間の中間的な対象が存在することが示せる、 という発言をされていました 厳密には一概に、直観主義論理では無限集合に関する命題で排中律が成立しないとは言えないようです 971 名前：１３２人目の素数さん [2022/04/26(火) 20:39:01 ID:lPRNo7OA.net] >>936 > 直観主義では「実無限」を定義できないと言う誤解もある といった端から > この点は、「実無限」という言葉の定義の問題である などとあからさまな論理的詐術を働くような学者は信頼に値しない 972 名前：１３２人目の素数さん [2022/04/26(火) 20:53:29.29 ID:L20ICerH.net] >>937 それは自分のここでの抜粋のせいですり替えが起こってるように感じるだけだと思います 恐らくですが>>935のtogetterの議論以前は実無限の定義を、 無限を表す名辞「自然数全体の集合」が指示する対象 ω が存在する、 としていたので、実無限は定義できると考えていたのが、 togetterの議論以降は実無限の定義には、 ∀x ∈ Ω (Fx) という形の文に対して一般に二値原理が成り立つ ＝無限集合に関し排中律が成立する、 もあり得ると考えるようになったので、実無限の言葉の定義による問題と記述したのだと思います 973 名前：１３２人目の素数さん [2022/04/26(火) 21:10:37.32 ID:LZiNX85w.net] 馬鹿の長文　休むに似たり 974 名前：１３２人目の素数さん [2022/04/26(火) 21:10:40.95 ID:lPRNo7OA.net] >>938 いえ、あなたが教えてくれた 975 名前：１３２人目の素数さん [2022/04/26(火) 21:12:08.57 ID:lPRNo7OA.net] いえ、あなたから教えて貰った>>932のリンク先を読んでの感想です。 976 名前：１３２人目の素数さん [2022/04/26(火) 21:13:14 ] [ここ壊れてます] 977 名前：.92 ID:L20ICerH.net mailto: >>934 自分自身は独学してるだけの素人ですので、混同していると思います その発言は、実際に論理的に証明すべきという意味ではなく、 >>919のように√2^√2が有理数か無理数かわからずとも証明できてしまうことを問題視しているように見えるのに、 もしそれを問題視するべきなのかをよく議論せずにいるのだとしたらお粗末な話だと思ったという程度の意味です 混乱するような発言をしてしまって申し訳ないです [] [ここ壊れてます] 978 名前：１３２人目の素数さん [2022/04/26(火) 21:16:52.73 ID:lPRNo7OA.net] >>942 「素人」と言いながら既成の学問を「お粗末」と言い出す 化けの皮が剥げた 979 名前：１３２人目の素数さん [2022/04/26(火) 21:21:23.24 ID:L20ICerH.net] >>943 『もし』それを問題視するべきなのかをよく議論せずにいるのだとしたらお粗末な話だけど 実際はそんなことはないだろうから、何かあるはずだと思ったということです 980 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 21:24:48.47 ID:3Hhic58i.net] ネットの当てにならん情報ばっかり見てるからやろ 教科書買って読むしかないやろ 981 名前：１３２人目の素数さん [2022/04/26(火) 21:25:50.72 ID:5w1+8reC.net] すいません。急に失礼します。 ちょっと趣味で地図を使ったスマホアプリ作っていて詰まったので教えてください ある長さが与えられたときに、その長さがちょうど入るズームレベルを求めたいんですが、 その計算式が分かりますでしょうか 地図タイルについてはここに仕組みが書いてあって、 https://www.trail-note.net/tech/tile/ ズームレベルが0のとき、地球全体（幅・高さ共に40075017m)が入る正方形と考えます それと、スマホの画面の高さと幅のPixelはプログラムから取得できます アプリは縦画面固定で動作させるので、 つまり、ズームレベル0のときスマホの画面の高さのPixel数が地球の高さ40075017m に一致します ここから、たとえば日本列島は大体3000000mとして、これ全体が入るズームレベルを求めるにはどういう計算をしたら良いでしょうか。 ちなみにズームレベルは整数でなく、少数で求めたいです。よろしくお願いします 982 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 21:27:41.45 ID:XA1ICaw0.net] あ、この人の言ってる「排中律が成立しない命題」ってもしかして ⊢P∨¬P が成り立たない命題Pのことか とりあえず色々知識足りてないみたいだし、標準的な数理論理学の入門書を一冊読んでから質問した直観主義論理に触れた方がよさげ 983 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 21:58:15.00 ID:TOJuKQIF.net] >>946 そのリンク先を見ると“メルカトル図法”とあるけどおそらくメルカトル図法ではない、メルカトル図法だとy軸方向に無限に伸びる 多分ミラー図法のようななんらかの方法で極が無限に飛ばないように調整してるはずだけどその調整をどうしてるのかのデータがないとわからない 984 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 22:01:09.41 ID:TOJuKQIF.net] >>946 その“地図タイルデータ”は地図タイルデータザーバなりなんなりからもらってくるんでしょ？ その地図タイルデータのマニュアルに地球上の地表面をどう正方形にマップしてるのかのデータは公費されてないの？ 985 名前：１３２人目の素数さん [2022/04/26(火) 22:07:15.04 ID:+NmTJpA/.net] 佐武一郎著『線型代数学（新装版）』の pp.155-157 例3 冪零行列の標準形 佐武一郎著『線型代数学（旧装版）』の pp.148-150 例2 冪零行列の標準形 について質問があります。 冪零行列が基底を変えることにより、標準形に変形できるところまでは分かりました。 最後の標準形の一意性のところが分かりません。 「N に相似な標準形があれば、その中に現れる（§§）の形の i 次行列の個数は明らかに r_i - r_{i+1} = 2*m_i - m_{i-1} - m_{i+1} = rank N^{i-1} + rank N^{i+1} - 2*rank N^{i} である。従ってそれは N によって一意的に定まる。」 と書いてあります。 なぜ標準形は一意的なのでしょうか？ 986 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 22:09:42.30 ID:fEGMVdYE.net] >>947 横からだけど、こういうのって M |=P∨¬P みたいなモデルMを見つける以外にできるん？ シーケント計算のカット除去みたいなのを駆使して証明の候補を除外して行ってできたりするもんなん？ 987 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 22:15:34.10 ID:6HpwdAqE.net] >>950 標準形とはジョルダンの標準形？ 988 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 22:27:31.92 ID:GEuvZE+U.net] >>946 そのページから辿れるリンクに計算式は書いてあった しかしそもそも何がやりたいん？ 少なくとも 989 名前：グーグルの地図データザーバは ・ズームレベル, ・欲しいデータの(中央？左端？)のピクセルx座標、 ・欲しいデータの(中央？上端？)のピクセルy座標、 で地図データをもらってくる仕様のようだ zoom levelに整数でない値は指定できないみたいだけど？ 引数のx座標, y座標を指定するとそのピクセル座標256個分のデータがもらえるらしい もらえるデータがピクセル座標x0≦x≦x0+255、y0≦y≦y0+255だとして(ここ資料にない)もちろん日本の最北端、最南端、最東端、最西端がもらえるデータの端っこに合うようになってるとは限らない、そうしたいならデータ大きめにもらっといていらない分切るしかないんじゃないの？ [] [ここ壊れてます] 990 名前：１３２人目の素数さん [2022/04/26(火) 22:30:09.51 ID:5w1+8reC.net] ズームレベルを計算しなくても、北西と南東の緯度経度を与えたらその範囲を表示するようにカメラ位置を調整してくれる命令があったのでそれでできましたありがとうございました 991 名前：１３２人目の素数さん [2022/04/26(火) 22:34:51.88 ID:5w1+8reC.net] 地図データをもらってくる部分はライブラリでいい感じにやってもらえるんです スマホの画面に地図を表示するときに、中心位置とズームレベルを指定する必要があって、 中心位置は左端と右端の中心、上端と下端の中心の緯度経度を指定すれば良いんですが、 丁度表示したい範囲が表示されるようなズームレベルを計算する方法がよくわからなかったんですよね たぶん log とか 三角関数 とか使わないといけないんだと思うんです 992 名前：１３２人目の素数さん [2022/04/26(火) 22:37:04.44 ID:5w1+8reC.net] これでできるのかなあ ttps://ja.projecthopespeaks.org/533107-how-to-calculate-the-optimal-IPBBXF-article 993 名前：１３２人目の素数さん [2022/04/26(火) 22:46:46.29 ID:+NmTJpA/.net] >>952 冪零行列のジョルダンの標準形です。 994 名前：１３２人目の素数さん mailto:sage [2022/04/26(火) 22:58:10.67 ID:xh0nmOsg.net] >>957 じゃあC(n,λ)=λIn + Zn (Inはn次単位行列、Znは1がn-1個並ぶやつ)として X = C(n1,0)⊕C(n1,0)⊕...⊕C(nt,0) のとき rankX^k = Σ[ni≧k](ni - k) より成立する 995 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 07:11:46.21 ID:G85XSU0U.net] >>955 そのサイトからリンク辿っていくとpixel coordinateと極座標 の変換式出てくるけど多分間違ってるな wikipediaによると極座標(λ,φ)と地図座標(x,y)の変換式は u = λ/180, v = atanh( sind(φ)) これで-180≦λ≦180、-90≦λ≦90が-1≦x≦1、-∞≦y≦∞に対応付けされる(ただしsind(x) = sin(πx/180)とした) ここからuの全体が0≦256、-85.05113878≦φ≦85.05113878に対応する部分が0≦y0≦256になるように一次変換したものがz=0でのpixel coordinate(x0,y0)だから x0 = 128×(u + 1) y0 = 128×( atanh( sind(φ)) / atanh( sind(L)) + 1 ) 今表示したい地図上の左上隅と右下隅の極座標が(λ1,φ1)、(λ2,y2)のとき上の計算式でz=0の場合のピクセル座標(x01,y01)、x02,y02)を計算する 次にx0,y0の差xd、ydとする、すなわち xd = x02 - x01、yd = y02-y01 これの大きい方が256になるように調節したものが求めるzだから dmax = max{ xd, yd } z = log[2](256/dmax) コレでいけるのではなかろか？ 996 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 12:30:23.19 ID:6dv+aL9t.net] このスレでも実際の内容の議論に踏み込めずに、ただ人を非難してるヤツってどうしようもなねぇな 雑談スレがお似合いだからそっち行けよ 997 名前：１３２人目の素数さん [2022/04/27(水) 12:36:11.67 ID:X ] [ここ壊れてます] 998 名前：pNkxPZ/.net mailto: >>928,>>939とかな [] [ここ壊れてます] 999 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 12:50:07.58 ID:dTVFRxE6.net] 間違ってるものを間違ってると分かるのは良いことだが、 「これこれこういう理由で間違ってる」と説明しないと分からないわな 1000 名前：１３２人目の素数さん [2022/04/27(水) 14:33:20.05 ID:KWDQ3l+k.net] 説明しても納得させられるとは限らない罠 1001 名前：１３２人目の素数さん [2022/04/27(水) 18:32:50.12 ID:X1DQ37NZ.net] >>950 i 次行列の個数== rank N^{i-1} + rank N^{i+1} - 2*rank N^{i} Nが与えられれば右辺は1つの値に決まることから、 i次行列（i次のジョルダンブロック）の個数（i=1,2..,n）も一意に決まる。 ジョルダンブロックを対角に並べた行列である標準形は（ブロックの順番の任意性を除いて）一意に決まる。 1002 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 19:23:40.89 ID:3b0VehzA.net] >>963 だからって理由を説明せずに批判していいなら、煽りや荒らしの免罪符になる 掲示板なんだから説明してる相手が納得できなくても、第三者が納得できた旨を書き込むとしたらまだ不毛な議論にならずに済む 第三者の意見を聞くためにも説明はした方が建設的だろ 1003 名前：１３２人目の素数さん [2022/04/27(水) 19:48:40.68 ID:saR4xxLN.net] >>965 >第三者が納得できた旨を書き込むとしたら 反応があればね 大概無いがな 1004 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 20:13:05.40 ID:d8md8qLH.net] じゃあ俺もこれからは手当り次第難癖つけることにするか 1005 名前：１３２人目の素数さん [2022/04/27(水) 21:08:29.05 ID:F0fa6+F4.net] >>967 ●█▀█▄⋯⊶≕≍≖≎≢≣≋∺∻ブウウウウウウオオオオオオオ koredemanzokuka? 1006 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 21:20:20.21 ID:YJ/4xAtp.net] >>968 スルーできないなら黙って死ねよ 1007 名前：１３２人目の素数さん [2022/04/27(水) 21:51:55.11 ID:saR4xxLN.net] >>925 >構成的証明を掲げてる直観主義が、排中律が成立しない命題の具体例を構成しないで済ますなんてことするのだろうか？という疑問 古典論理からすれば直観主義論理は排中律を使わない証明をするてだけ 具体的には背理法とか二重否定の除去を使えない 排中律が成立しない命題は存在しないよ ある命題Pについて¬(P∨¬P)が成立したとしたら 古典論理でそれは¬P∧Pだから矛盾が成立することになって 論理学は破綻することに 当然ながら直観主義論理でそういう命題を構成することはできない 排中律が成立しない命題が存在しないからといって 排中律が成立するとはいえないのが直観主義論理の取る立場 1008 名前：１３２人目の素数さん [2022/04/27(水) 21:53:22.20 ID:F0fa6+F4.net] >>969 　　　　 　/ＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＮ＼ （ ･∀･)∩　ウンコビ━━━━━━━━━━━━━━━━━ム　 >εε=ヽ( `Д´)ﾉ ｳﾜｧｧｧｧﾝ　　　　　　 　 　 ⊃ 　ＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＶＮ／ 1009 名前：１３２人目の素数さん [2022/04/27(水) 21:55:00.60 ID:saR4xxLN.net] 古典論理で証明される命題の二重否定は直観主義論理で証明できることが証明できるので ¬¬(P∨¬P)は直観主義論理で証明できる つまり 直観主義論理でも排中律が成立しないことは無いてこと 1010 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 22:28:02.78 ID:pe/Jnhz5.net] このスレは以下雑談スレとなります 皆さん気軽に何でも書き込んでください 1011 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 22:29:35.74 ID:VCKZPXoB.net] 決定不能も知らない雑魚は黙ってようね^^ 1012 名前：１３２人目の素数さん [2022/04/27(水) 22:31:05.73 ID:gQi8e6N3.net] 💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩💩 1013 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 22:34:06.62 ID:6dv+aL9t.net] 決定不能わかってるだけでイキってて草 1014 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 22:38:47.94 ID:df7nJEdZ.net] 文字通りのクソスレ 1015 名前：１３２人目の素数さん [2022/04/27(水) 22:48:11.29 ID:saR4xxLN.net] >>976 たぶん>>974には分かってはいないだろうね 1016 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 05:07:07.74 ID:/DbX+kFA.net] >>970 あんまり詳しくないんだけど、それ直観主義論理のモデルとして暗黙のうちに勝手に古典論理のモデルだけを考えてない？ 「古典論理のモデルについてだけを考えている限り、全てのモデルで排中律が成立する」ってなこと言ってるように見えるんだけど 1017 名前：１３２人目の素数さん [2022/04/28(木) 06 ] [ここ壊れてます] 1018 名前：:15:11 ID:37/SqDmQ.net mailto: >>979 どんな論理式Pについても ¬(P∨¬P)は直観主義論理でも偽となるということです [] [ここ壊れてます] 1019 名前：１３２人目の素数さん [2022/04/28(木) 06:24:53 ID:37/SqDmQ.net] 開集合とその補集合の内包の合併の補集合の内包は空なので 1020 名前：１３２人目の素数さん [2022/04/28(木) 19:35:48.17 ID:v4vJlTHY.net] >>980 ハァ？ 1021 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 20:06:30.98 ID:/DbX+kFA.net] >>980 そもそも直観主義論理に、そうやって命題に対して一つの真理値を割り当てるような意味論って存在するの？ 1022 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 20:21:07.51 ID:J2tXLzft.net] 作れなくはないでしょ？ ただそれだと完全性定理が成立するかどうかが微妙になるって事じゃないの？ 1023 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 20:24:04.00 ID:J2tXLzft.net] イヤイヤ当たり前だな 普通のブール代数の意味論なら排中律が恒真だけど排中律は定理式でないからブール代数に意味論を制限する限り完全性は成り立たなくなる 1024 名前：１３２人目の素数さん [2022/04/28(木) 20:27:48.24 ID:37/SqDmQ.net] 直観主義論理なのでブール代数ではないよ？ 1025 名前：１３２人目の素数さん [2022/04/28(木) 20:28:13.62 ID:37/SqDmQ.net] >>982 はぁ 1026 名前：１３２人目の素数さん [2022/04/28(木) 20:29:48.24 ID:37/SqDmQ.net] >>983 簡単なものとしては3値論理だね 1027 名前：１３２人目の素数さん [2022/04/28(木) 20:31:44.17 ID:37/SqDmQ.net] >>985 直観主義論理も完全ですよ？ 完全かつ健全 1028 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 20:36:10.75 ID:oq75KvzG.net] 強制法勉強しようかと思ったんですけど、ここに書いてる対称性って反対称性のことですよね？ https://mathlog.info/articles/204 (∀x∈P)(∀y∈P)[x≤y∧y≤x → x=y] 1029 名前：１３２人目の素数さん [2022/04/28(木) 20:37:17.90 ID:v4vJlTHY.net] 排中律と矛盾律の区別すらつかんのかおまえら 1030 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 21:01:03.50 ID:hKts6vmM.net] >>989 そもそもまず直観主義に基づく言語体系(コレは主義関係ない)と直観主義に基づく公理系(あるいは推論則)がある この段階では単に「どんなものが命題と呼べますか？証明できる命題はなんですか？」のみの話でかんぜんせいも健全性もクソもない そして各命題が意味するところの具体的な対象なり関数なり真偽値なりい対応させていく意味論を合わせていく その際対応させる代数は“古典主義だからブール代数”、“直観主義だから当然ハイディング代数”とくるわけではない、もちろん“古典主義の理論体系にハイディング代数のモデルを対応させたらどうなるか”など考える分には構わない もちろん直観主義理論に対してブール代数モデルをアプライしても構わない しかし直観主義理論で意味論をブール代数に限ってしまうと「恒真なのに証明できない」命題ができてしまう、すなわち直観主義論理で完全性を保証するためには従来の古典主義の意味論、個体記号に集合、関数記号に関数を対応させる意味論では不十分だとわかる そこで“ブール代数”の制限を緩めてより多い代数のクラスで意味論を考える必要がある という話しがまず前提 その上で「直観主義でブール代数に値を持つ意味論はあるか？」 もちろんyes、しかし完全性を保証するには足りない 1031 名前：１３２人目の素数さん [2022/04/28(木) 21:01:48.63 ID:BWdqezfr.net] >>958 >>964 ありがとうございます。 >>964 その説明は色々な本に書いてありますが、なぜそのことから一意性が成り立つことが言えるのかが分かりません。 N を冪零行列とする。 定理の証明中の手続きにしたがって、 P^{-1} * N * P = ジョルダンブロックの直和 と N を変形した場合には、途中に基底をどのように選択しても、右辺が本質的に一意的なのは分かります。 ですが、定理の証明中の手続きによらずに、 P^{-1} * N * P = ジョルダンブロックの直和 と変形できた場合にも、右辺が本質的に一意的になぜなるのかが分かりません。 1032 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 21:06:51.54 ID:hKts6vmM.net] >>993 具体的な例で自分でやって見ればなぜかわかるやろ 例えば同じ6次正方行列 X=C(3,0)⊕C(2,0)⊕C(1,0) Y=C(4,0)⊕C(1,0)⊕C(1,0) でrank(X^k), rank((Y^k)がそれぞれどうなるかk=1,2,3入れてやって見ればいい 1033 名前：１３２人目の素数さん [2022/04/28(木) 21:14:06.07 ID:oq75KvzG.net] 次スレ立てました https://rio2016.5ch.net/test/read.cgi/math/1651147986/ 1034 名前：１３２人目の素数さん [2022/04/28(木) 21:15:18.23 ID:BWdqezfr.net] >>994 具体例でやってみるとすると、定理の証明中の手続きにしたがって、ジョルダン標準形に変形することになります。 その場合には、ジョルダン標準形が本質的に一意的になることは理解しています。 例えば、AさんがBさんに冪零行列 N とそのジョルダン標準形と P^{-1} * N * P = ジョルダン標準形となるような P の組を知らせたとします。 Aさんがどのようにして N のジョルダン標準形を得たかは不明とします。 Bさんは、定理の証明中の手続きにしたがって、自分で N をジョルダン標準形に変形したとします。 Aさんのジョルダン標準形とBさんのジョルダン標準形が本質的に等しいことはどうやって証明するのでしょうか？ 1035 名前：１３２人目の素数さん [2022/04/28(木) 21:30:34.05 ID:37/SqDmQ.net] >>992 完全性の定義は すべてのモデルで恒真であるものが証明可能 ですよ？ そして直観主義論理も古典論理同様健全かつ完全です 1036 名前：１３２人目の素数さん [2022/04/28(木) 21:38:54.46 ID:37/SqDmQ.net] >>992 >もちろん直観主義理論に対してブール代数モデルをアプライしても構わない ええっと ブール代数はハイティング代数ですよ？ 1037 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 21:40:27.83 ID:+gaZyQqp.net] >>996 だからAさんが計算したらJordanの標準形がXになりました Bさんが計算したらYになりました そんな事が起こるのかでしょ？ もちろん答えは起こらない、なぜか、で紹介されてる話が XとYが同じ行列Aと相似ならXとYも相似にならざるをえず、その場合任意の整数kに対してrank(X^k)とrank(Y^k)は一致しないといけないでしょ？ 1038 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 21:40:52.09 ID:+gaZyQqp.net] >>998 そう、だから広げてるんですよ 1039 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 158日 13時間 40分 8秒 1040 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef