探検


大学数学の質問スレ Part3

レス数が900を超えています。1000を超えると表示できなくなるよ。
1132人目の素数さん
垢版 |
2026/05/14(木) 20:17:46.48ID:6trKwVgx
無くなってたので立て直し

※前スレ
大学数学の質問スレ Part2
https://rio2016.5ch.io/test/read.cgi/math/1772176637/
809132人目の素数さん
垢版 |
2026/07/30(木) 15:54:47.39ID:2aKFIXEg
あらためて質問いたします

失礼しました

f(x)=x^4-x^3+x
とします。
方程式f(x)=nが有理数解のみを持つような整数nは存在しますか?質問させてください。
存在するならすべて求め、存在しないならばそのことを証明してください。
2026/07/30(木) 15:58:02.57ID:+80vN1mu
ずっと思ってたんだけど
ゼミって大学院の内容もやるんだね…
楽しみ
811132人目の素数さん
垢版 |
2026/07/30(木) 16:00:12.49ID:dveBRANN
>>808
十分に良いの部分がかなり大事そうw
2026/07/30(木) 16:21:50.90ID:NMwYbXz+
出題爺さんはwikiのコピペしかできないんだろ
813132人目の素数さん
垢版 |
2026/07/30(木) 17:07:59.46ID:2aKFIXEg
f(x)=1は単関数ですか?
814132人目の素数さん
垢版 |
2026/07/30(木) 18:10:05.73ID:tkueVhTT
質問に答えて更に質問するという新手の手法w
815132人目の素数さん
垢版 |
2026/07/30(木) 18:17:25.85ID:MrQ7JVpH
>>806
自分が勉強した時どういう定義だったか忘れてるけど
値域が有限集合
でよいのじゃないかな
でも使うのは可測な単関数だから
最初から可測性入れても問題はなしてことで
816132人目の素数さん
垢版 |
2026/07/30(木) 18:19:18.18ID:tkueVhTT
>>815
なんかそれに落ち着きそうですね。
前にもそんな感じではあった。
2026/07/30(木) 20:20:52.12ID:NMwYbXz+
>>815
非可測集合扱うのは例を示す時だけ、よって意味なし
非可測集合の単関数をどうやって積分するんだ
818132人目の素数さん
垢版 |
2026/07/30(木) 20:28:06.58ID:tkueVhTT
私が勉強しているものでは、可測となっている。
まあ定義より、どういう風に利用されるのかをチラっと聞きたかっただけなんよね。
819132人目の素数さん
垢版 |
2026/07/30(木) 21:44:11.47ID:LaZvM8bv
>>817
積分しなくて良いよ
2026/07/30(木) 23:05:40.20ID:2MTW76EC
非可測関数も使わんだろ
関数の定義に可測性入れたらwww
2026/07/31(金) 01:26:12.31ID:6xprB8kB
>>819
何に使うんだ?
822132人目の素数さん
垢版 |
2026/07/31(金) 09:40:24.36ID:15XKxxve
なんか表記揺れとか流儀の問題みたいな雰囲気出そうとしてるかもしれないけど
単関数が非可測でいい可能性なんて本当に全く微塵ないよ
823132人目の素数さん
垢版 |
2026/07/31(金) 09:40:37.06ID:15XKxxve
微塵もない
824132人目の素数さん
垢版 |
2026/07/31(金) 09:56:19.77ID:CUIKkJ7b
>>822
非可測で良いよ
可測でも良いってだけ
825132人目の素数さん
垢版 |
2026/07/31(金) 09:59:12.59ID:CUIKkJ7b
>>818
>まあ定義より、どういう風に利用されるのかをチラっと聞きたかっただけなんよね。
可測関数は(可測な)単関数で近似できるから
可測関数の積分値の定義に使われる
2026/07/31(金) 10:56:37.55ID:ZFWbfa3e
>>825
どーも
2026/07/31(金) 11:29:50.12ID:6xprB8kB
>>824
可測で良いよ、非可測でも良いってだけw
>非可測で良いよ
>可測でも良いってだけ
828132人目の素数さん
垢版 |
2026/07/31(金) 12:17:48.29ID:j0STFdt2
f(x)=x^4-x^3+x
とします。
方程式f(x)=nが有理数解のみを持つような整数nは存在しますか?質問させてください。
存在するならすべて求め、存在しないならばそのことを証明してください。
2026/07/31(金) 23:18:39.41ID:Ya+n30v6
論文で可測性を仮定するなら書くぞ。普通。
もちろん適当な関数空間に属してるという書き方で可測性を仮定することも多いが。
2026/07/31(金) 23:40:35.63ID:6xprB8kB
どういう分野の論文?
831132人目の素数さん
垢版 |
2026/07/31(金) 23:49:13.47ID:CUIKkJ7b
>>827
可測でも非可測で良いなら
結局定義に可測性は要らないってことよ
入れても良いけどさ
832132人目の素数さん
垢版 |
2026/07/31(金) 23:49:34.68ID:CUIKkJ7b
でも
2026/08/01(土) 03:52:44.15ID:w1n+oGZf
>>831
教科書読んでみろよ可測が.a.aだぞ、非可測という単語がが出てくするのは三例だけ
2026/08/01(土) 03:53:40.38ID:w1n+oGZf
定義の為の定義だといってるんだよ、ボケ
2026/08/01(土) 05:16:16.10ID:sOa3xeOT
純粋数学としての測度論こそ病的な例や非可測集合に拘らないと商売あがったりなのでは?。
ツールとして使うんなら知らんが。
2026/08/01(土) 06:48:18.89ID:w1n+oGZf
純粋数学、なんだそれ?
837132人目の素数さん
垢版 |
2026/08/01(土) 07:22:32.57ID:xAtHFMAb
f(x)=x^4-x^3+x
とします。
方程式f(x)=nが有理数解のみを持つような整数nは存在しますか?質問させてください。
存在するならすべて求め、存在しないならばそのことを証明してください。
838132人目の素数さん
垢版 |
2026/08/01(土) 07:49:16.15ID:yZM8eiyg
>>835
素直なのは可測性とは切り離した定義
ルベーグ積分で使うのは可測性を伴ったもの
それだけ
839132人目の素数さん
垢版 |
2026/08/01(土) 07:58:53.51ID:6dfT907R
また自演してるのか
840132人目の素数さん
垢版 |
2026/08/02(日) 11:54:36.42ID:TbgU54HR
方程式でxAとAxの表記は別物として扱うのでしょうか?
それとも都合によってxの付く方向を変えてもいいのですか?
2026/08/03(月) 14:50:41.57ID:2zyDuMd5
>>840
たとえばAとxが行列なら明らかに別物だ
抽象代数的に言えば可換性による
2026/08/03(月) 14:51:07.94ID:BiLKGQ1s
ダボハゼ爺さんも食いつかない質問
2026/08/03(月) 14:52:23.53ID:BiLKGQ1s
タッチの差で食いついた
844132人目の素数さん
垢版 |
2026/08/03(月) 15:43:59.40ID:0xWVXa+W
>>840
それAが行列でxがベクトル?
よく
Ax=b
みたいに書くのを
>方程式で
と言ってる?
それなら>>841の通りよ
ただ
両辺転置してやれば順序入れ替わるけどさ
2026/08/03(月) 15:46:37.60ID:BiLKGQ1s
転置くらい付けろよw
2026/08/03(月) 17:14:37.44ID:BiLKGQ1s
Axは式、Ax=bは一次方程式
847132人目の素数さん
垢版 |
2026/08/03(月) 18:37:14.14ID:pA8g2ZNK
f(x)=x^4-x^3+x
とします。
方程式f(x)=nが有理数解のみを持つような整数nは存在しますか?
存在するならすべて求め、存在しないならばそのことを証明してください。
848132人目の素数さん
垢版 |
2026/08/03(月) 18:38:11.67ID:pA8g2ZNK
x>0のとき、x^n+(1/x)^nの最小値は常に2ですか?
2026/08/03(月) 18:43:47.31ID:w4dzLmuv
あちいね
850132人目の素数さん
垢版 |
2026/08/03(月) 19:18:28.87ID:qBbdz+B/
今日も壁打ち楽しいか?
851132人目の素数さん
垢版 |
2026/08/03(月) 22:26:02.72ID:5DOElUWM
>>841
Aは行列ですがxはベクトルじゃないです
左側剰余定理と右側剰余定理の時は勝手に入れ替えて考えてもいいの?
2026/08/03(月) 23:03:27.96ID:BiLKGQ1s
背乗り
853132人目の素数さん
垢版 |
2026/08/03(月) 23:55:01.52ID:0PcPZjLg
>>851
きみ
自分が何を聞いているのかハッキリさせて欲しいね
854132人目の素数さん
垢版 |
2026/08/03(月) 23:56:03.92ID:0PcPZjLg
疑問が何か伝わってないんじゃない?
855132人目の素数さん
垢版 |
2026/08/04(火) 02:06:02.58ID:VOa+b2C+
>>851
抽象代数的に言えば可換性による
2026/08/04(火) 04:58:25.25ID:D+PeYEhr
なんか
環のスペクトルが素イデアルの集まりってwikiにあったんだけど
スペクトル系列は素イデアルを像と核が一致するようにつなげたものなの?
完全系列の一種らしいけど
2026/08/04(火) 05:56:25.50ID:ECZN81RY
【数学史】「スペクトル系列」と「Spec(R)」の命名の歴史数学でよく使われる2つの「スペクトル」、ジャン・ルレイの "anneau spectral"(スペクトル系列の原型) と、グロタンディークの "Spec(R)"(素イデアル空間) の誕生の経緯と前後関係のまとめです。1. 時系列の結論:ルレイが先、グロタンディークは後結論から言うと、歴史的にはルレイの「スペクトル」の方が先です。ルレイが用語を発表した当時、グロタンディークの \(\operatorname{Spec}(R)\) はまだ存在していませんでした。1949〜1950年:ジャン・ルレイが "anneau spectral" を発表。1951年:ジャン=ピエール・セールがこれを "suite spectrale"(スペクトル系列) と改称して定着させる。1957〜1958年頃:アレクサンドル・グロタンディークが "\(\operatorname{Spec}(R)\)" を導入。
2026/08/04(火) 05:56:44.44ID:ECZN81RY
2. ルレイの "anneau spectral"(1940年代後半)経緯:第二次世界大戦中、ドイツの捕虜収容所にいたフランスの数学者ジャン・ルレイは、代数トポロジーにおける「層(sheaf)」と「コホモロジー」の原型を独力で構築しました。戦後の1949〜1950年頃、これらを計算するための枠組みを "anneau spectral"(スペクトル環) と名付けて論文で発表します。名前の由来:ルレイ自身がなぜ「スペクトル」と名付けたのか、明確な理由は論文に書き残されていません。一説には、無限次元の空間を階層(次数)ごとに分解して計算する様子を、光を波長ごとに分解する「プリズムのスペクトル」に準えたのではないかと言われています。
2026/08/04(火) 05:57:03.53ID:ECZN81RY
3. グロタンディークの "Spec(R)"(1950年代後半)経緯:1950年代前半までグロタンディークは機能解析学の研究をしていましたが、のちに代数幾何学へ転向します。1950年代後半、可換環 \(R\) の「素イデアルの全体」にザリスキ位相を入れた空間を \(\operatorname{Spec}(R)\)(スペクトル) と定義し、現代的な「スキーム論」を確立しました。名前の由来:こちらはルレイからの借用ではなく、解析学(バナッハ環の理論)における「ゲルファント・スペクトル」という概念が元になっています。関数環の「点」を代数的に取り出す操作を可換環論に移植したため、この名前が引き継がれました。
2026/08/04(火) 05:57:19.12ID:ECZN81RY
4. 2つの歴史の交差点別々のルートから「行列の固有値(スペクトル)」という共通の祖先をたどって生まれた2つの概念ですが、1957年にグロタンディークは、自身の理論(層のコホモロジー)の中でルレイのスペクトル系列を一般化した 「グロタンディーク・スペクトル系列」 を発表します。ルレイが先んじて作った計算ツールを、のちにグロタンディークが自身の幾何学(\(\mathrm{Spec}\))の中に美しく組み込むという、見事な歴史の繋がりが完成することになります。
861132人目の素数さん
垢版 |
2026/08/04(火) 07:42:23.71ID:wbYJQBHp
>>856
正規分布と正規直交は同じモノかは
862132人目の素数さん
垢版 |
2026/08/04(火) 12:47:27.93ID:7J6q2Vpj
f_k(x)=sinx+sin2x+...+sinkx
とする。f_k(x)の最大値と最小値をkで表せ。
2026/08/04(火) 12:59:11.82ID:Atgq47Yl
今日もあちいね。
864132人目の素数さん
垢版 |
2026/08/04(火) 13:00:27.95ID:Atgq47Yl
凸関数とかの話であるとすれば、大学の範囲かな。
865132人目の素数さん
垢版 |
2026/08/04(火) 13:11:34.92ID:Atgq47Yl
それじゃあ、確実に大学の範囲の質問を一つ。
非可測な例でヴィタリ集合の他にベルンシュタイン集合というものがあるみたいですが、どのようなものでしょうか?
2026/08/04(火) 14:47:27.37ID:zX17H9RM
>>861
正則が英語表記の違いで意味合いが変わってくるあれ?
867132人目の素数さん
垢版 |
2026/08/04(火) 17:50:05.87ID:Zqp7FrOO
どうしました?
>>862はできませんか?
高校数学では到底不可能な、大学数学の質問ですが
868132人目の素数さん
垢版 |
2026/08/04(火) 17:50:24.47ID:ET0TdgHv
>>865
ゲスどころか害悪だったとは
https://p-adic.github.io/april-fool-logic/
エープリルフールサイトを紹介してどうするんだ
869132人目の素数さん
垢版 |
2026/08/04(火) 17:53:13.54ID:ET0TdgHv
>>860
何かデタラメっぽいな
用語の由来なんて気にしてどうするって感じ
870132人目の素数さん
垢版 |
2026/08/04(火) 18:12:05.82ID:WEhGNztk
>>868
色々急いで調べたから、中身なんていちいち確認していない。
ただ、直近の書き込みは核心に迫れているんじゃないの?
両方の立場の人達がいるよって言いたい意図くらい、少し考えたら分かるだろう。
871132人目の素数さん
垢版 |
2026/08/04(火) 18:15:02.20ID:WEhGNztk
>>868
ってか、そんなに偉そうに言うのなら、ベルンシュタイン集合についてでも答えろよwww
872132人目の素数さん
垢版 |
2026/08/04(火) 19:09:50.20ID:ET0TdgHv
>>871
反省もせず人に強いるゲス婆は害毒
873132人目の素数さん
垢版 |
2026/08/04(火) 19:11:22.02ID:WEhGNztk
>>872
繰り返す悪癖を1ミリも反省しない人乙www
874132人目の素数さん
垢版 |
2026/08/04(火) 19:37:02.19ID:ET0TdgHv
>>873
なぜだと思うかな?
2026/08/04(火) 19:42:11.12ID:WEhGNztk
>>874
まあ、そこは興味無いんでw
私は政治に興味も無く、数学の内容しか見ていないので。
876132人目の素数さん
垢版 |
2026/08/04(火) 19:45:55.48ID:WEhGNztk
今はルベーグをどこまで勉強するのか思案中。
院試とかを見て、頻出のところは押さえようと思っている。
と言っても、ルベーグの後に勉強するものも決まっていないので、時間稼ぎをしなければならない。
877132人目の素数さん
垢版 |
2026/08/05(水) 19:13:09.13ID:e8Wp0M57
xがπの有理数倍で、cosxも有理数なら、cosxは-1か-0.5か0か0.5か1のどれかになる
というのは
どう証明できますか。
2026/08/05(水) 19:27:55.91ID:IpDUrUDn
[ℚ(cos(2π/n):ℚ] = φ(n)/2 (∀n≧3)
879132人目の素数さん
垢版 |
2026/08/06(木) 12:55:38.62ID:CJ2TdZDN
f(x)=x^4-x^3+x
とします。
方程式f(x)=nが有理数解のみを持つような整数nは存在しますか?
存在するならすべて求め、存在しないならばそのことを証明してください。
2026/08/06(木) 14:46:40.52ID:FVVfs3/H
出題スレに
高校生でも解ける
って書かれてたでしょ
スレ違い
881132人目の素数さん
垢版 |
2026/08/06(木) 15:47:09.33ID:oir0uHVo
>>880
すいません、出題してないんですよ
あとこれは高校範囲というよりは、誘導ありなら大学入試レベル、今回のように誘導なしなら大学数学レベルと考えております
882132人目の素数さん
垢版 |
2026/08/06(木) 15:49:51.53ID:/Vos677Y
クダラン区別
2026/08/06(木) 15:54:42.25ID:XsJIwvXA
ヒヨコです🐣
884132人目の素数さん
垢版 |
2026/08/06(木) 19:14:02.94ID:9HbyybGi
>>879
有理数abcdを使って因数分解できると仮定して、
f(x) = (x+a)(x+b)(x+c)(x+d) とおく
展開して
x^4 + (a+b+c+d)x^3 + (ab+bc+cd+da)x^2 + (abc+bcd+cda+dab)x + abcd
これを係数比較して、
(a+b+c+d) = -1  ..�@
(ab+bc+cd+da) = 0  ..�A
(abc+bcd+cda+dab) = 1
abcd = -n

�@の両辺を2乗
(a+b+c+d)^2 = 1
a^2 + b^2 + c^2 + d^2 + 2(ab+bc+cd+da) = 1
これに�Aを代入すると
a^2 + b^2 + c^2 + d^2 = 1
複素数解が無いということなので、a〜dはいずれも-1〜1の範囲に居るはず。

ーーーー
ここまではわかって、結論としてnが整数となるようなa〜dは存在しない
ってなるように思えるんだけど
うまく理由を言語化できない
2026/08/07(金) 10:21:56.25ID:9ckLBCZE
4つの複素数解がすべて有理数
ではなく
実数解がすべて有理数
の組を聞いてるんだと思うよ

例えば
x^4-x^3+x-1=0
の解は
x=1, -1
で(実数解は)すべて有理数
886132人目の素数さん
垢版 |
2026/08/07(金) 10:56:16.67ID:d+67ul6x
そうなんだろうか
一般的に「方程式が有理数解のみを持つ」って
実数以外が含まれてるものは当てはまらないと思ってたけど
問題文が厳密じゃないからどっちにも解釈できる みたいなやつなのかな
887132人目の素数さん
垢版 |
2026/08/07(金) 11:31:06.11ID:5yLzFKaC
>>875
自分が理解した数学の内容は他人も理解して居るから不用だと自己中心的に他人に強要するゲス爺
>>876
自分語りしてそれが他人にも重要なことだと思って貰いたいゲス爺
888132人目の素数さん
垢版 |
2026/08/07(金) 11:43:42.53ID:LwMj9Vd1
888
889132人目の素数さん
垢版 |
2026/08/07(金) 12:31:53.84ID:g/mKtwvE
高校数学の質問スレはないんですか?
2026/08/07(金) 12:33:12.25ID:2+5w2tqx
出題爺さんが最初にこの問題を書き込んだ時にGoogle先生に聞いたら瞬殺だったw
2026/08/07(金) 13:29:37.36ID:bStmhNX6
問題文からして全部有理数としか読めない
なので事実上問題として成立してない
2026/08/07(金) 14:39:58.18ID:9fcmqkO+
>>887
めんどくさ
893132人目の素数さん
垢版 |
2026/08/07(金) 17:26:31.63ID:g/mKtwvE
f_k(x)=sinx+sin2x+...+sinkx
とする。f_k(x)の最大値と最小値をkで表せ。
894132人目の素数さん
垢版 |
2026/08/07(金) 19:36:52.57ID:5yLzFKaC
>>889
あるだろ?
2026/08/07(金) 20:33:03.99ID:2+5w2tqx
>>892
うぜーな、ガキ
2026/08/07(金) 20:34:09.42ID:9fcmqkO+
>>895
その口調の方がお子ちゃまなんじゃないの?w
897132人目の素数さん
垢版 |
2026/08/08(土) 07:49:40.83ID:ehbO1w/X
おこちゃま同士のケンカ
ああみっともな
898132人目の素数さん
垢版 |
2026/08/08(土) 09:35:49.87ID:BWTyKXgU
ここは実質雑談スレやな
2026/08/08(土) 10:32:37.18ID:650UV6Yr
スレ民の言葉を借りると、
あああほくさw
900132人目の素数さん
垢版 |
2026/08/09(日) 08:50:24.18ID:jCdLNuO4
目の覚めるような新作を質問します。

f_k(x)=sinx+sin2x+...+sinkx
g_k(x)=cosx+cos2x+...+coskx
とする。f_k(x)の最大値をa[k]、g_k(x)の最大値をb[k]とするとき、極限
lim[k→∞] a[k]/b[k]
を求めよ。
901132人目の素数さん
垢版 |
2026/08/09(日) 10:42:17.69ID:jCdLNuO4
一辺の長さが1の正方形ABCDの辺ABの中点をMとする。
また、直線MCに点Dから下ろした垂線の足をHとし、直線HBに点Aから下ろした垂線の足をIとする。
HIを直径とする円上を動く点Pに対して、cos∠BPCの取りうる値の範囲を求めよ。
902132人目の素数さん
垢版 |
2026/08/09(日) 10:52:59.05ID:p6he1nfp
>>900
高校数学スレで
903132人目の素数さん
垢版 |
2026/08/09(日) 13:41:05.07ID:jCdLNuO4
>>902
そんなスレ存在しないんですよ
あなたが作ってくれませんか?
2026/08/09(日) 13:46:20.11ID:wwlWoND/
>>903
私が作ってあげよう。
どうせ使わんだろw
2026/08/09(日) 13:47:29.87ID:bhPgskXQ
>>903
バカには見えないらしい
2026/08/09(日) 13:49:40.66ID:wwlWoND/
>>905
厳密には出題スレは存在していない気がする。
だから作った。
2026/08/09(日) 15:05:25.70ID:bhPgskXQ
つか重要な書き込みって何?
重要なら繰り返し書き込まれるべき
2026/08/09(日) 15:08:04.49ID:wwlWoND/
重要じゃない確率の問題が繰り返し書かれる件w
レス数が900を超えています。1000を超えると表示できなくなるよ。

ニューススポーツなんでも実況