19/05/14 03:41:16.23 ibBd8q9M.net
>>573
R係数の多項式環R[X] は、それだけで定義されるものではなく変数Xを１つ決めてその上で付加構造として定義される、とも言えるのに、何故変数X上の多項式環という言い方はされないのですか？
577:１３２人目の素数さん
19/05/14 10:13:43.60 9uUi8Bg3.net
10%の食塩水1kg作るのに必要な塩と水は? 大学生が｢%｣を分からない絶望的な日本【ゆとりｗ】
ｽﾚﾘﾝｸ(news板)
578:１３２人目の素数さん
19/05/14 10:35:28.62 LIdvZ6wU.net
ファイバーバンドルの言葉遣いで言えば
底空間の上にあるファイバーの方なのに
変な言葉遣いだなあ的な
579:１３２人目の素数さん
19/05/14 10:37:29.09 c7S/e5uu.net
ゆとり、って言うより、スレを読むと
「10％の食塩水」と聞いて「重量濃度10％の食塩水」と固定で考える古い世代と
「いろいろな解釈があるがどう考えればいい？」で思考停止してしまう世代との違いが現れているように思う
異論あればドゾー
ていうかマルチすんなw
580:１３２人目の素数さん
19/05/14 13:11:46.28 4mmRdo+r.net
建築でも基礎の上に建てるもんさ
581:１３２人目の素数さん
19/05/14 14:05:51.16 Y3zbRuI2.net
>>576
環に対しその上の多項式環を与える、という対応を考えているから
変数の記号を固定せずとも多項式環は定義されるから「それだけで定義されるものではなく変数Xを１つ決めてその上で付加構造として定義される」は完全に誤り
582:１３２人目の素数さん
19/05/17 14:48:11.90 2D1ERMQp.net
質問厨が完全に論破されててわろた
583:１３２人目の素数さん
19/05/18 14:54:02.96 zV1wEnLQ.net
nxnの正方行列の各要素を全実数と全複素数であるとしたとき
nxnの正方行列が特異行列である確率はどのように考えれば導き出せるでしょうか？
2x2の正方行列[a,b;c,d]で単純化して考えると
ad-bc=0であるときに逆行列が存在せず特異行列となることは分かるのですが
各要素が全実数と全複素数であるとき、ad=bcである確率が求まりません
584:１３２人目の素数さん
19/05/18 16:14:24.93 mc7eRRx/.net
2x2だとあまりに難しくて全く手を出せないようだから、とりあえず1x1を考えれば？
585:１３２人目の素数さん
19/05/18 18:13:28.91 zV1wEnLQ.net
>>584
1x1は行列式はその値なので
全実数と全複素数の範囲だと0しかないから
確率は1/∞なのは分かるのですが、2次正方行列以降の考え方が分からなくて
586:１３２人目の素数さん
19/05/18 19:29:25.36 dVO9chFb.net
ad=bcを満たすa,b,c,dの組みをNとすれば確率は1/Nで求められますね
Nはいくつでしょうね
587:１３２人目の素数さん
19/05/18 21:01:36.39 zV1wEnLQ.net
>>586
その考え方がわからないんです
全実数と全複素数の範囲で∞_allなので
ad=bcを満たすa,b,c,dの組はたぶんそれよりは小さい∞_1個あるのでしょうが
全体の∞_allとの比率が分かりませんよね
こういった場合にはどのように解くのですか？
ad=bcを満たすa,b,c,dはせいぜい有限個なのか
それとも無限に存在するから比較できないと諦めるのか
あるいは実数と複素数の範囲を可変にして、その割合の増加ペースを指標にして
統計学的？に解いていくのか
どういった手法で解くのでしょうか？
588:１３２人目の素数さん
19/05/18 23:58:36.88 GdrMDPaO.net
>>583
確率を計算するためにはその空間に確率測度というのを導入しないとダメ。
その例だと2次の実、又は複素係数の行列環の全体に確率測度を導入しないとダメで答えはその導入した確率測度による。
と言っても何言ってるかわからないとは思うけど、ザックリ普通に考えられる測度で考えるとad=bcとなる確率は0かな？
589:１３２人目の素数さん
19/05/19 00:02:26.10 4zG9L4de.net
>>588
ありがとうございます
確率測度勉強してみます
590:１３２人目の素数さん
19/05/19 01:04:29.80 fPtt3n9n.net
R^n上の一様分布は存在しないから、何かしら確率測度を指定する必要がある
各要素を[-1,1]の一様分布で与える、とかなら初等的に考えることもできる
2×2で雑に説明すると
d=0となる確率は0なので、d=0の場合は無視してよい
b,c,dを自由に取るとき
a=bc/d
でなければならない
[-1,1]から一つ実数を選ぶ時にbc/dを選ぶ確率は0
よって特異行列となる確率は0
一般のサイズでも帰納的に考えれば同様にできる
測度論的には確率を求めることは
{ (a,b,c,d)∈[-1,1]^4 | ad=bc }
の測度(≒体積)を求めることに対応してる
591:１３２人目の素数さん
19/05/19 09:57:09.51 K8hRR5UD.net
非可算有限集合ってある？
592:１３２人目の素数さん
19/05/19 11:15:48.37 Kf1QbH9H.net
ここは基礎論は対応してますか？
593:１３２人目の素数さん
19/05/19 12:15:02.19 ielkLTQy.net
>>591
ない
有限集合は、自然数全体の集合Nとして、n∈Nとの間に全単射が存在するようなnが存在する集合
一方、非可算集合は、Nへの単射が存在しない集合
594:１３２人目の素数さん
19/05/19 13:20:00.32 8FTUoTH/.net
デデキント有限集合と普通の有限集合は選択公理の下で同値になるんじゃなかったっけ？
595:１３２人目の素数さん
19/05/19 16:52:21.42 Ir45jj3a.net
>>581
なるほど
「多項式環」は変数を固定せずに定義されるから変数X上の、とは言わないけど、
「多項式環R[X]」は変数をXに固定さないと定義されないので、これを変数X上の構造とみなせば、変数X上の多項式環と言って良いということですね
596:１３２人目の素数さん
19/05/20 03:05:51.46 W5sLXlVz.net
>>595
「～と言って良いか」と言われると、書きたいなら勝手にそう書けばいい、としか言えない
変数の記号はただの表記上の記号に過ぎず、普通は"X"を数学的な対象とは見なさないし、その上に構造が入っているとも見なさない
Gを群とするときにR[G]をG上の群環と書くのは一般的な表現