大学数学の出題スレ (213ﾚｽ)
上下前次1-新
1(1): 03/12(木)22:01 ID:8Uvoewr5(1) AAS
問題を出してみろ！
2: 03/12(木)22:05 ID:f+KTHsZY(1/7) AAS
おおー神降臨w
3(1): 03/12(木)22:06 ID:/BRZ347P(1/2) AAS
302 名前：１３２人目の素数さん[] 投稿日：2026/03/12(木) 21:53:01.34 ID:BD+hbzCU
俺も出題しよっと
x^n+y^n=1 (0≦x,y)
n=1 直線
n=2 円
n=2/3 （いわゆる）アステロイド
では
n=1/2は？
4(2): 03/12(木)22:18 ID:f+KTHsZY(2/7) AAS
ラメ曲線の一種とかってあったけど、さらに具体的に名前があるのかな？
5(2): 03/12(木)22:20 ID:BD+hbzCU(1/4) AAS
>>4
有るアル
6(1): 03/12(木)22:24 ID:/BRZ347P(2/2) AAS
ラーメンアルヨ
7(1): 03/12(木)22:31 ID:f+KTHsZY(3/7) AAS
>>5
出題者じゃないなら、答えたら良いじゃんw
8(1): 03/12(木)22:34 ID:BD+hbzCU(2/4) AAS
>>7
「俺だよオレオレ」
9(1): 03/12(木)22:40 ID:f+KTHsZY(4/7) AAS
見つからね（汗）
誰かお願い、詐欺に遭いそうだからw
10(2): 03/12(木)22:47 ID:f+KTHsZY(5/7) AAS
放物線らしいけど、スレチでもあるらしいよw
11: 03/12(木)22:54 ID:f+KTHsZY(6/7) AAS
>>5
出題者でしたね、スマン。
12: 03/12(木)22:57 ID:BD+hbzCU(3/4) AAS
>>10
らしいじゃ無くて放物線
1次変換は大学課程になりましたのでスレチじゃ無いと思うけどね
こう書くと証明はわかるでしょ
13: 03/12(木)23:09 ID:BD+hbzCU(4/4) AAS
ではついでに
n=2/3のときの接線がx,y軸で切り取られる線分は常に長さが1
では
n=1/2のときの接線がx,y軸で切り取られる線分の特徴付けは？
まあこれも高校数学と言われるかもね
14: 03/12(木)23:10 ID:f+KTHsZY(7/7) AAS
45度回転すると放物線になるってみたよ。
15: 03/12(木)23:13 ID:UkY15XOj(1) AAS
>>3
放物線
16(3): 03/13(金)18:45 ID:Aacgb9Bd(1) AAS
線形代数の練習問題だよ
「Iを単位行列、Aを交代行列とするとき
和 I+A が正則であることを示せ」
君は一分以内にできるかな？
17: 03/13(金)19:18 ID:A0QH2661(1/3) AAS
俺は億千万年かけても解けない
18: 03/13(金)19:20 ID:c3gHRFLq(1/3) AAS
>>16
実の場合だけどこうかな？
(I+A^T)(I+A)=I+A^TA
(A^TA)^T=A^TA
P^T(A^TA)P=(AP)^T(AP)=D(k1,…,kn)
ki≧0
P^T(I+A^TA)P=I+D(k1,…,kn)=D(1+k1,…,1+kn):invertible
I+A:invertible
19(1): 03/13(金)19:24 ID:A0QH2661(2/3) AAS
R限定後出しドヤもいいけど、標数2の場合は？
20(1): 03/13(金)19:31 ID:c3gHRFLq(2/3) AAS
複素行列だと
((1,i),(-i,1))は正則じゃ無いから成立しないね
その場合交代行列じゃ無くて歪エルミートならいいか
21: 03/13(金)19:36 ID:c3gHRFLq(3/3) AAS
>>19
>標数2の場合は？
対称行列と交代行列の区別無くなるし
どういうことが成立するのかよく知らないなあ
直交行列とかで対角化可能は言えるの？
22: 03/13(金)19:39 ID:A0QH2661(3/3) AAS
で、一分でできる解答ってどんなの？
23: 03/15(日)23:23 ID:wKMrGP4s(1) AAS
一分でできて当然な解答まだ？
24(5): 03/16(月)00:12 ID:/280lEch(1) AAS
交代行列は対角化可能で、固有値の実部が0であるからI+Aは正則となる。
自信ないけど、これ合ってる？
25: 03/16(月)00:42 ID:FMKuLDv0(1/3) AAS
>>24
いや、これは実交代行列だけか…。
26: 03/16(月)01:02 ID:FMKuLDv0(2/3) AAS
>>24
いや、対角化不能でもジョルダン標準形でいけるか…？
一人で考えていても怪しいから、興味があれば考えてみてよ。
27: 03/16(月)01:20 ID:FMKuLDv0(3/3) AAS
>>24
やっぱり実交代行列でないと、固有値について何も言えないかもしれない。
28: 03/16(月)08:48 ID:ChwzMfkk(1) AAS
>>16
これはそもそも、実交代行列を前提として出題していませんか？
複素交代行列でもいける話なのでしょうか。
29(2): 03/16(月)15:26 ID:uEwYzcoC(1) AAS
>>20
ちなみに複素対称行列では、オートン高木分解ってのがあるみたいですね。
出題も解答もしないで悪いけど。
30(3): 03/16(月)17:00 ID:bRbGWq9P(1) AAS
>>29
じゃ代わりに
任意の正方行列は対称行列と相似になるって証明分かる？
31(1): 03/16(月)18:14 ID:SsZVHOUw(1/6) AAS
>>30
目の覚めるような話をありがとうございます。
Horn,R.A. and Johnson,C.R.: Matrix Analysis, Cam-bridge Univ. Press, 1985.
↑とりあえず、これの第4章に何か書いてあるらしいです。
32(1): 03/16(月)21:08 ID:SsZVHOUw(2/6) AAS
>>30
wikiをご覧になったのでしょうが、>>31のp209 theorem4.4.9.に証明が載っているということでしょう。
私がお伝えできることは、ここまでです。
33: 03/16(月)21:17 ID:+m08SYBG(1/4) AAS
複素係数なら {{0,i},{-i,0}} の固有値が ±1 でだめやろ
34(1): 03/16(月)21:19 ID:+m08SYBG(2/4) AAS
既出だったorz
35: 03/16(月)21:22 ID:SsZVHOUw(3/6) AAS
大体、交代行列が問題として出るときは、実数限定が多いんじゃないですか。
複素交代行列になると、固有値が果たしてどこまで絞られるのか…。
36: 03/16(月)21:25 ID:SsZVHOUw(4/6) AAS
>>34
怪しい事項は撤回しましたw
37(1): 03/16(月)21:36 ID:SsZVHOUw(5/6) AAS
>>16
実交代行列で証明に飛躍があっても良いのなら、>>24を脊髄反射で書ければ1分を切りそうですねw
（24が合ってる保証はありませんが。）
38(1): 03/16(月)21:40 ID:CEO2CVU6(1) AAS
>>37
バカが引っかかったｗｗｗｗｗ死ねバカｗｗｗｗｗ
という趣旨の問題では？
39: 03/16(月)21:44 ID:SsZVHOUw(6/6) AAS
>>38
あな恐ろしや(^^;)
話は違うかもしれませんが、直感に反するような問題を解くときの気持ちがしますね。
40(1): 03/16(月)22:33 ID:HqDhBeZg(1/2) AAS
>>32
じゃあヒント
J=((0,…,0,1),…,(1,0,…,0))とすると
JAはAの行の上下入れ替え
AJはAの列の前後入れ替え
J^2=E
(J-iE)(J+iE)=2E
Aがジョルダン細胞のときを考えて
41(1): 03/16(月)22:48 ID:+m08SYBG(3/4) AAS
>>30
こんなの成立せんのじゃないの?
任意の対称行列は対角行列と相似なんだから、こんなの正しかったら任意の正方行列は対角行列と相似になる。
42: 03/16(月)22:53 ID:HqDhBeZg(2/2) AAS
>>41
実じゃ無いよ
43(1): 03/16(月)23:06 ID:+m08SYBG(4/4) AAS
{{0,1},{0,0}} はどんな対称行列と相似なん？
44: 03/17(火)00:05 ID:S7wjDpWP(1/12) AAS
>>43
(1/2)((-i,1),(1,i))かな？
45: 03/17(火)00:21 ID:S7wjDpWP(2/12) AAS
>>40
>(J-iE)(J+iE)=2E
(E+iJ)(E-iJ)=2E
使う方がキレイかな？
46: 03/17(火)00:24 ID:S7wjDpWP(3/12) AAS
EでなくてIにしたら
(I+Ji)(I-Ji)=2I
でなんかイイ感じも
47: 03/17(火)00:27 ID:0DgALhPV(1/4) AAS
なるほど。複素係数だとシュミットの直行化できないからありうるんだな。
48: 03/17(火)00:33 ID:b0yDhZyW(1/4) AAS
私はIよりE派かな。
なんて、そこは大して問題じゃないw
49(1): 03/17(火)00:40 ID:0DgALhPV(2/4) AAS
{{0,1,0},{0,0,1},{0,0,0}} でもできる？
固有値 0 のみで既約だけど？
50: 03/17(火)01:01 ID:S7wjDpWP(4/12) AAS
>>49
(1/2)((0,1-i,0),(1-i,0,1+i),(0,1+i,0))
51(1): 03/17(火)01:18 ID:0DgALhPV(3/4) AAS
なるほど PPᵗ = {{0,0,1},{0,1,0},{1,0,0}} の解で Jordan cell の相似をとればいいのか
52: 03/17(火)01:27 ID:b0yDhZyW(2/4) AAS
外部ﾘﾝｸ[ja]:reference.wolfram.com
これの「すべて開く」ってところを押すと、具体例が出てくる。
これで私は勘弁してね。
53: 03/17(火)01:28 ID:b0yDhZyW(3/4) AAS
最初からすべて開いてるかも。
54: 03/17(火)01:35 ID:b0yDhZyW(4/4) AAS
後退恒等行列なんて用語があるのね。
55: 03/17(火)06:58 ID:S7wjDpWP(5/12) AAS
あんまりいい用語じゃ無いね
順序逆にするんだから
それにちなんだ名前がいいと思う
56: 03/17(火)07:15 ID:lazVIK1p(1) AAS
まあとにかく、複素対称行列は実と虚の2方向から攻められるので、ジョルダン細胞と相似にできるといったところなのかな。
57: 03/17(火)07:25 ID:sVnDhEg6(1) AAS
ジョルダンブロックごとにその変換をすれば、どんなジョルダン標準形にも対応できるといったところか。
用語が正確に使えているか分からないが、こんなところかな。
58: 03/17(火)07:30 ID:S7wjDpWP(6/12) AAS
>>51
ああ確かにそう
それ素晴らしいけれど
そのPの存在はどう示すんだろ？
そろそろ自分の解答も書いて良いかな
59: 03/17(火)07:44 ID:E14Pz2Ix(1) AAS
多分それを望まれているのではないか。
60(1): 03/17(火)07:46 ID:S7wjDpWP(7/12) AAS
N=(nij), nij=1 for j=i+1, 0 otherwise
JNJ=N^T
JN=N^TJ
NJ=JN^T
(JN-NJ)^T=N^TJ-JN^T=JN-NJ
(I+iJ)N(I-iJ)=N+N^T+i(JN-NJ)=S:symmetric
P^-1AP=D(N1,…,Nm):Jordan
D(I1+iJ1,…,Im+iJm)D(N1,…,Nm)D(I1-iJ1,…,Im-iJm)=D(S1,…,Sm):symmetric
61: 03/17(火)07:50 ID:S7wjDpWP(8/12) AAS
>>60
>P^-1AP=D(N1,…,Nm):Jordan
P^-1AP=D(λ1I1+N1,…,λmIm+Nm):Jordan
62: 03/17(火)07:57 ID:S7wjDpWP(9/12) AAS
※1/2掛けること
63(1): 03/17(火)08:56 ID:pf+jeAVL(1/2) AAS
AIに訊いてみた（笑）
x ≠ 0 に対して (I + A)x = 0 と仮定すると、x + Ax = 0
→ Ax = −x両辺の内積を取る（xᵀ で左から掛ける）：xᵀAx = −xᵀx
でも A が交代行列なので xᵀAx = 0（交代行列の二次形式は常に 0）→ 0 = −‖x‖²
→ ‖x‖² = 0
→ x = 0つまり核（カーネル）は {0} だけ → I + A は単射 → 正方行列なので正則。
64: 03/17(火)08:57 ID:pf+jeAVL(2/2) AAS
なるほどこれなら一分だな
65: 03/17(火)09:16 ID:S7wjDpWP(10/12) AAS
>>24
1秒はコレジャナイの？
66: 03/17(火)09:17 ID:S7wjDpWP(11/12) AAS
>>63
これいい解答だね
本質が知れる感じ
67(1): 03/17(火)10:09 ID:0DgALhPV(4/4) AAS
右上から左下まで 1、その他 0 の行列は次元が偶数なら {{0,1},{1,0}} の直和、奇数ならそれにもう一つ {{1}} 直和した行列なので当たり前。
68: 03/17(火)10:18 ID:S7wjDpWP(12/12) AAS
>>67
なるほど
69: 03/19(木)23:33 ID:ytCmTTSu(1) AAS
>>29
>オートン高木分解
Wikipediaにある証明が大変分かりやすいね
70(3): 03/21(土)08:35 ID:9TpvJr1z(1) AAS
できたかなと思うけど分かる？
Inter-universal geometryとABC予想(シン応援スレ) 88
663 1 名前:１３２人目の素数さん 投稿日:2026/03/21(土) 06:33:44.68 ID:2JXYtwtw
>>> 653
>ω1からRへの順序を維持した写像を考えると
>ある可算順序数が存在して
>そこから先が皆同じ点に写る
>
>証明は知らんので、誰か教えてw
71(1): 03/21(土)23:57 ID:NDb/+dyg(1/2) AAS
ω1 は何？
72(1): 03/21(土)23:59 ID:NDb/+dyg(2/2) AAS
あと順序を維持した写像は
x≦y ⇒ f(x)≦f(y)
x<y ⇒ f(x)<f(y)
のどっち？
73: 03/22(日)00:17 ID:/3zjer9T(1/12) AAS
>>71
最小の非可算順序数
>>72
上の方
74(1): 03/22(日)00:45 ID:uQLqEZFW(1/2) AAS
ω1 の部分集合 W を { x | f(y) < f(x) ( ∀y < x ) } と定める。f の W への制限を g とする。まず im f = im g をしめす。そうでないとして f(x) ∉ im g をみたす最小の x をとる。明らかに x∉W だから y<x で f(y) = f(x) をみたすものがとれる。ここで x の最小性から z∈W を f(y) = g(w) ととれる。よって f(x)∈ im g となって矛盾する。
W が ω1 に上界をもたないとすると W は非可算順序数である。よって g:W → ℝ は非可算順序数から ℝ への順序を保つ単射をあたえる。 しかしこのとき x∈W に対して開区間 (g(x),g(x+1)) に属する有理数 q(x) を選択させるとき W から ℚ への単射が構成されて矛盾する。よって W は ω1 に上界 x を持ち任意の x≦y に対して f(x) = f(y) となる。
75(1): 03/22(日)01:30 ID:/3zjer9T(2/12) AAS
>>74
>明らかに x∉W だから y<x で f(y) = f(x) をみたすものがとれる。ここで x の最小性から z∈W を f(y) = g(w) ととれる。よって f(x)∈ im g となって矛盾する。
ここさ
f(y)=f(x)となるy<xがあるんだからf(y)=f(x)∈(Img)^cとなってxの最小性に反する
でいいんじゃない？
それとgがstrict monotoneだと言っておくべきでは（自明かも？）
>W が ω1 に上界をもたないとすると W は非可算順序数である
Wはω1の部分集合だけど順序数かな？ω1の中で値が上がる所だけ取り出すのでとびとびになるんじゃない？
でも非可算集合にはなるからg:W→Rは順序を保つ単射なのであとはオミゴト
76(1): 03/22(日)01:39 ID:/3zjer9T(3/12) AAS
>>75
>でも非可算集合にはなるからg:W→Rは順序を保つ単射なのであとはオミゴト
ではなかった
Wが順序数でないとx∈Wについてx+1∈Wが言えないのでは？
けど
∀x∈W∃y∈W x<y
は言えるからそのようなyの最小をx+とでも書いて
g(x)<q(x)<g(x+)
みたいに選べば良さそう
あるいはWが非可算順序数ω1と順序同型になることを証明するかでしょうか
省1
77: 03/22(日)01:40 ID:/3zjer9T(4/12) AAS
f:ω1→R:monotone (should not be strict)
f(0)=0
∀α∈ω1∃β∈ω1 α<β,f(α)<f(β)
g(x)=x/(1+x):R≧0→[0,1)⊂R
h:ω1+1→R:h(α）=gf(α) (α∈ω1), sup(gf(ω1)) (α=ω1)
k(α)=h(α)/h(ω1):ω1+1→[0,1]:monotone (should not be strict)
k(0)=0,k(ω1)=1
∀α∈ω1∃β∈ω1 α<β,k(α)<k(β)<1
αn=min(k^-1([g(n),1])) for n∈ω
(an):monotone (should not be strict)
省9
78(1): 03/22(日)01:52 ID:/3zjer9T(5/12) AAS
>>76
この部分
非可算個の[a,b)(≠φ)の直和はRには存在しない
というのがアイデアの源泉でしょうか
Qを使うというのはオミゴトです
79: 03/22(日)01:56 ID:/3zjer9T(6/12) AAS
英語変でしたねshould → may, mightかな
80: 03/22(日)01:56 ID:uQLqEZFW(2/2) AAS
W は整列順序集合の部分集合だからその部分集合もまた整列順序集合でそこでの＋1ができる。
81: 03/22(日)02:04 ID:/3zjer9T(7/12) AAS
>>78
ああそうかそれなら
f:ω1→R:monotone (may not be strict)
Σ[f(α),f(α+1))⊂R
から（Σは直和）
[f(α),f(α+1))≠φ
であるのは可算個しか無いので
W={α∈ω1|f(α)<f(α+1)}
は可算集合
よって∪Wは可算順序数だから
省4
82: 03/22(日)02:07 ID:/3zjer9T(8/12) AAS
たぶん言えると思うけど眠いのでお仕舞い
83(2): 03/22(日)09:05 ID:/3zjer9T(9/12) AAS
f:ω1→R:monotone (may not be strict)
g(α)=sup{f(β)|β<α}≦f(α)
∀β<α f(β)≦g(α)
Σ[g(α),f(α))⊂R
W={α∈ω1|g(α)<f(α)}:countable
W⊂∪W:countable ordinal
∀α∈ω1 W⊂∪W<α→¬α∈W→f(α)=g(α)=sup{f(β)|β<α}
α=∪W
f(α)=f(∪W)
f(∀β∈ω1 ∪W≦β<α→f(β)=f(∪W))→f(α)=sup{f(β)|β<α}=sup{f(∪W)}=f(∪W)
省1
84(1): 03/22(日)09:17 ID:/3zjer9T(10/12) AAS
>>83
>f(∀β∈ω1 ∪W≦β<α→f(β)=f(∪W))→f(α)=sup{f(β)|β<α}=sup{f(∪W)}=f(∪W)
最初のfはtypoで変なところに入ってしまった
超限帰納法で∪W≦β<αであるすべてのβについてf(β)=f(∪W)の場合を考えているので
(∀β∈ω1 ∪W≦β<α→f(β)=f(∪W))→f(α)=sup{f(β)|β<α}=sup{f(∪W)}=f(∪W)
85: 03/22(日)09:20 ID:/3zjer9T(11/12) AAS
>>83
>∀α∈ω1 f(α)=f(∪W)
超限帰納法による結論も
∀α∈ω1 ∪W≦α→f(α)=f(∪W)
86: 03/22(日)13:37 ID:WL+phdUb(1) AAS
>>70
偽だろ
87: 03/22(日)13:38 ID:6OaX08Qj(1) AAS
>>70
偽だろ
88: 03/22(日)13:39 ID:KzVDpqQ2(1) AAS
>>70
偽だろ
89: 03/22(日)15:39 ID:/3zjer9T(12/12) AAS
>>84
>sup{f(β)|β<α}=sup{f(∪W)}=f(∪W)
sup{f(β)|β<α}=sup(f(∪W)∪{f(∪W)})=f(∪W)
90: 03/24(火)17:00 ID:U5R1+bYu(1) AAS
f:X→Yの連続性を
A⊂Xについて
f|Aとf|X-Aの連続性に分けて考えられるのは
Aがある特別な部分空間のときだけ
それは
91(1): 03/24(火)21:19 ID:VtAuF6Lz(1) AAS
補題
∀ Y:top.sp. ∀f : X →Y ( f|A : cont. ∧ f|X＼A : cont. ⇒ f : cont. ) ⇒ A : open
(∵) A が開集合でないとする。 Y = {0,1} に離散位相をいれて f: X →Y を f(x) = 0 ( if x∈A) or f(x)=1 ( if x∉A) と定める f|A も f|X＼A も定数だから連続である。しかし 開集合{1}の引き戻し f⁻¹(0) は A であるがこれは開集合でないからf は連続ではない。よって矛盾□
主張
∀ Y:top.sp. ∀f : X →Y ( f|A : cont. ∧ f|X＼A : cont. ⇒ f : cont. )
iff
A は open かつ closed
(∵) ⇒ は前補題。A は open かつ closed とし、Y:top.sp. と f : X →Y を f|A : cont. ∧ f|X＼A : cont. ととる。Y の open U をとる。このとき f|A⁻¹(U) = f⁻¹(U) ∩ A は A の open。ここで A は open だから f⁻¹(U) ∩ A は X の open。同様に f|X＼A⁻¹(U) = f⁻¹(U) ∩ X＼A も X の open。よって主張を得る。□
92: 03/24(火)21:30 ID:Pnghket/(1) AAS
>>91
ご明察です
つまりXが2つの位相空間の直和になる場合に限るというわけですね
93(4): 04/05(日)10:00 ID:E7UHZUTs(1/2) AAS
2次の特殊線形群が、
(0 -1)
(1 0)
と
(1 1)
(0 1)
で生成されることを示せ。
94(1): 04/05(日)10:28 ID:a5qV8qTg(1) AAS
>>93
モジュラー群？
SL(2,Z)?
95: 04/05(日)10:34 ID:E7UHZUTs(2/2) AAS
>>94
下のやつです。
96: 04/05(日)17:48 ID:bDxEiLCK(1/4) AAS
>>93
a,b,c,d∈Z
ad-bc=1
(a b)(1 1)=(a a+b)
(c d)(0 1)=(c c+d)
(1 1)(a b)=(a+c b+d)
(0 1)(c d)=(c d)
(a b)(0 -1)=(b -a)
(c d)(1 0)=(d -c)
(0 -1)(a b)=(-c -d)
省1
97(4): 04/05(日)17:55 ID:bDxEiLCK(2/4) AAS
行や列の入れ替えてどっちかの行もしくは列を-1倍
ある行や列の整数倍を別の行や列に加算
ができるから
上手く変形して(1,1)成分を1に出来たらいいてことか
98: 04/05(日)18:14 ID:TdGHyKjQ(1) AAS
F_0 = 1 とする。
F_1 = a とする。
F_n = F_{n - 1} + F_{n - 2} for n ≧ 2 とする。
F_n > 2026 となるような n が存在するための a についての必要十分条件は何か？
一般項の求め方は知らないとする。
99: 04/05(日)18:17 ID:2mnXFAAi(1/5) AAS
>>97
真面目に考えて下さり、ありがとうございます。
私は京大院試2025年大問1を解くために、>>93を調べました。解答が気になれば、私がかろうじて理解出来たものを開示します。
93の結果を使って院試を解いている最中なので、93を認めた上で何か分かれば教えて頂きたいですね。
100(2): 04/05(日)18:17 ID:/lSMT35y(1/2) AAS
>>97
あとは互除法か
上下前次1-新書関写板覧索設栞歴
あと 113 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.335s*