X



トップページ数学
1002コメント335KB
大学学部レベル質問スレ 12単位目
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/07/17(火) 14:39:34.76ID:uDjnNAVy
大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

関連スレ
分からない問題はここに書いてね478
http://rio2016.5ch.net/test/read.cgi/math/1511604229/

※前スレ
大学学部レベル質問スレ 11単位目
https://rio2016.5ch.net/test/read.cgi/math/1524171010/
0293132人目の素数さん
垢版 |
2019/01/24(木) 19:38:27.41ID:kcO1Hhjd
>>292
他にもっといい定式化があるなら考えて論文で発表すればいいじゃん。
でも、現時点での定式化にはかなり実績があるから、かなりの説得力がないと、「確かにそっちの方がいい」と認めてもらえるものは作りづらいだろうけど。
0294132人目の素数さん
垢版 |
2019/01/24(木) 20:17:10.12ID:TF8Pu5er
>>292
確率変数はただの写像ではなく可測関数です
高校で学ぶ離散確率変数のようにただの対応関係のみで済む場合は可測関数を持ち出す必要はないかもしれないですが、もっと広く扱う場合は使わずに書くほうがむしろ大変になると思います
また、とっつきやすさは人によりますが、測度論を学んだ学生なら問題ないでしょう
0295132人目の素数さん
垢版 |
2019/01/25(金) 01:42:23.37ID:oK+RurMi
>>292
間接的な定義ではある
そういう風にみなせるということ
0300132人目の素数さん
垢版 |
2019/01/26(土) 15:06:04.49ID:jWxtVz2n
フォントで全然似てへん
0301132人目の素数さん
垢版 |
2019/01/27(日) 01:04:45.93ID:rmxOthJB
>>294
身長と体重を量るって場合の標本空間は?
それ可測空間なの?
身長と体重は可測関数?
0303132人目の素数さん
垢版 |
2019/01/27(日) 06:05:02.30ID:dStLsC0d
初歩的な質問で悪いんだけど
全てのxに対してx ∈R,x≠0が成り立つって言いたい時
∀ x∈R(x≠0)って書き方でいいの?
スレチだったら誘導お願いします
0304132人目の素数さん
垢版 |
2019/01/27(日) 06:46:44.04ID:AROpQTQd
>>303
逆に聞こう
∀x∈R(x≠0)って書き方だと「Rに含まれる全てのxに対してx≠0が成り立つ」って意味になるけど、言いたいことはそれでいいの?
0305132人目の素数さん
垢版 |
2019/01/27(日) 07:14:07.37ID:dStLsC0d
>>304
細かい言葉の定義とか分からないから俺にはそれで合ってるように思えるけど何か違うんだろうな
できれば簡潔にどう書くべきか教えてほしい
0306132人目の素数さん
垢版 |
2019/01/27(日) 08:54:16.92ID:yWRAs7/e
そもそも「すべてのxに対して」って言うけど、そのxはどういうものなのかがわからん
0307132人目の素数さん
垢版 |
2019/01/27(日) 09:17:16.59ID:dStLsC0d
じゃあいいや
専門外だから質問で返されても分かるわけないし簡単な書き方に変えます
0308132人目の素数さん
垢版 |
2019/01/27(日) 10:02:20.01ID:AROpQTQd
>>307
質問されている対象が何かわからないから確認したまで

本人も理解してないものを他人が答えられる道理はない
0309132人目の素数さん
垢版 |
2019/01/27(日) 10:07:09.50ID:rmxOthJB
>>302
得た値
0310132人目の素数さん
垢版 |
2019/01/27(日) 10:08:49.86ID:rmxOthJB
>>305
∀x(x∈R∧x≠0)
じゃないかと聞かれてるんだよ
0311132人目の素数さん
垢版 |
2019/01/27(日) 10:13:55.42ID:rllDwut8
実数じゃない戻り値を返す物理現象って例えばなにがある?。



タイミングとして量子位相な周期性の剰余っぽい物理量を返すにしても標数がゼロじゃないと見做す方が妥当な気がする。
0312132人目の素数さん
垢版 |
2019/01/27(日) 10:15:08.28ID:9PLneb/G
∀x∈R-{0}と書くとか
0313132人目の素数さん
垢版 |
2019/01/27(日) 10:15:56.98ID:rllDwut8
正確には対角化済みの作用が作用された実数の組になったベクトル量が返り値の定義域というか値域だと言うべきかな。
0314132人目の素数さん
垢版 |
2019/01/27(日) 10:20:20.38ID:PLZpmgAP
>>312
それが一番近いんじゃないかな
日本語で書くなら「ゼロでない任意の実数xについて、…」
0315132人目の素数さん
垢版 |
2019/01/27(日) 10:46:07.88ID:rmxOthJB
>>311
電荷とか?
0317132人目の素数さん
垢版 |
2019/01/27(日) 21:14:33.96ID:/y50ofZ2
>>301
人間とか特定の生物の身長,体重なら
過去,未来を合わせても
いずれ絶滅して有限の個体しかいないから有限集合だな
0319132人目の素数さん
垢版 |
2019/01/27(日) 22:13:04.20ID:rmxOthJB
>>317
それて確率変数定義してないでしょ
標本空間からの関数が確率変数
個体全体を標本空間とするって
X(ω)が確定するけど?
0321132人目の素数さん
垢版 |
2019/01/27(日) 22:29:12.63ID:rllDwut8
フラクタル次元は定まってもいわゆる長さ自体は一意に定まらない場合もあるしな。
0322132人目の素数さん
垢版 |
2019/01/28(月) 00:07:53.52ID:LqHtIdUJ
xの3乗根の関数
f(x) = x^(1/3)
って原点で1回連続微分可能ですか?
そもそも導関数が原点で発散するから微分可能ですらないように思うのですが、
違いますか?
0323132人目の素数さん
垢版 |
2019/01/28(月) 00:44:08.66ID:Kqo8tXVx
>>322
微分可能じゃ無いのは自明
0324132人目の素数さん
垢版 |
2019/01/28(月) 10:49:09.99ID:TtDELvB0
連続微分可能でないであってるが定義の欠陥として知られている事例だね
y = x^3は連続微分可能だけど、その軸を入れ替えただけで可能でなくなると
言っている。グラフ上の滑らかさはどちらも当然同等なのに
連続微分という指標でみるとx^3の方がなめらかという欠陥がみえる
0326132人目の素数さん
垢版 |
2019/01/28(月) 16:15:17.44ID:yhMOwuPt
ある点において、あるいは大域的に、微分が消えているか否か(高次元であれば単射性や全射性)はその写像を特徴付ける重要な性質であり、明確に区別される
元の関数がなめらかであっても逆関数がなめらかとは限らない、という例に過ぎない
普通この現象を欠陥とはみなさない
0331132人目の素数さん
垢版 |
2019/01/28(月) 22:20:10.46ID:Kqo8tXVx
>>324
軸を入れ替えたら関数として全然変わるからだよ
連続微分可能性って曲線のなめらかさをいってるんじゃないんだし
0332132人目の素数さん
垢版 |
2019/01/28(月) 22:22:03.32ID:Kqo8tXVx
>>328
アホダナ
向き変えたら多価関数になったり微分不能になったりで
まるで性質変わるのが当たり前だ
0333132人目の素数さん
垢版 |
2019/01/28(月) 22:22:51.19ID:Kqo8tXVx
>>324
>定義の欠陥として知られている事例
どこで知られてるの?
0334132人目の素数さん
垢版 |
2019/01/29(火) 02:46:26.33ID:9KCAwAaT
でもホモトピー性として定義したらグラフの向きなんて関係ないじゃん。
0336132人目の素数さん
垢版 |
2019/01/29(火) 08:29:23.58ID:2MAb6lmr
>>334
アホダナ
微分可能性は関数についての性質
ホモトピー性って何だ?ホモトピー不変性?
向きどころか高木関数ですら放物線と変わらんわ
>>335
どうでもよさげ
0338132人目の素数さん
垢版 |
2019/02/03(日) 12:01:28.52ID:aUwwoZR2
離散数学、鳩の巣原理の問題についてご質問です。

以下の問の解法・解答をご教授願います。

前者の(b)は鳩の巣原理を使い、modで解くのであろうとまではたどり着いたのですがそこから手詰まりました。

後者は(a)の書き方が分からないのと、(c)がこちらも鳩の巣原理をどのように使えばいいか迷っています。

よろしくお願いします

https://i.imgur.com/fTGdgn1.jpg
https://i.imgur.com/3gZb9ny.jpg
0339132人目の素数さん
垢版 |
2019/02/03(日) 18:06:27.54ID:2z3OJouk
前者
S1〜S10がどれも10の倍数でなければ鳩ノ巣原理よりいずれかのs,tでSi≡Sj (mod 10) となる。
この時Σ[k=i+1,j]akは10の倍数。
後者
選んだAの空でない部分集合の和の取りうる値の範囲は1〜945であるが、空でない部分集合は1023個あるので、鳩ノ巣原理より、いずれかの相異なるB1, B2において Sum(B1)=Sum(B2)となる。
A1=B1\B2, A2=B2\B1 が条件を満たす。

‥‥ちっとも大学レベルに思えないけど。
数オリ的な難しさはあるけどそれじゃない感しかない。
0340132人目の素数さん
垢版 |
2019/02/03(日) 18:22:52.62ID:+JQdBv6v
書き込もうと思ったらすでに出てた
1つだけ訂正すると最大値は955だと思う
あとは全く同じ

高校生向けの大学入試用テキストで同じ問題を当時みた記憶ある
そのときは10の倍数ではなくn個でやってたけど
0341132人目の素数さん
垢版 |
2019/02/03(日) 18:51:49.30ID:n7FciR1W
あ、ホントだ。955です。
パズルとしては面白いけどスタンダードな大学数学の教程から見るとちょっと違う感があるなぁ。
0342132人目の素数さん
垢版 |
2019/02/04(月) 22:44:32.26ID:f5aCOTv4
>>338です

>>339さん,>>340さん
ありがとうございます
離散数学の小話としての課題だったのですがどうも上手く出来なかったのでとても助かりました
ありがとうございます。
0343132人目の素数さん
垢版 |
2019/02/07(木) 17:14:04.57ID:Rht6BVLy
児ポ画像を離散フーリエ変換してアップロードしたら逮捕されますか?
0344132人目の素数さん
垢版 |
2019/02/09(土) 22:47:59.00ID:Ko3Cnsb3
Σx^n/nが[0,1)で一様収束しないことってどうやったら言えますか?
極限は対数関数だから連続だし、x^n/nそのものはちゃんと0に一様収束するし、項別微積でもうまく判定できないしで困ってます
コーシー列でないことを示す方向でしょうか?
0345132人目の素数さん
垢版 |
2019/02/09(土) 22:55:40.64ID:wlp3PStJ
>>344
x=1で破綻
0346132人目の素数さん
垢版 |
2019/02/09(土) 23:50:55.56ID:A6nmtN41
>>344
誤差項は
∫[0,x]t^n/(1-t)dx ≧ ∫[x/2,x]t^n/(1-t)dx ≧ -(x/2)^n log(1-x)/(1-x/2)
sup { -(x/2)^n log(1-x)/(1-x/2) | x<-(0,1)} = ∞ (∀n)
0347132人目の素数さん
垢版 |
2019/02/10(日) 01:27:18.19ID:jhuZpQjj
384=8!! 

53760=2(10!!)+12!!

8755200=8(12!!)+13(14!!)

1805690880=15(14!!)+12(16!!)+9(18!!)

471092428800=10(16!!)+15(18!!)+16(20!!)+5(22!!)

153043438141440=4(18!!)+2(20!!)+3(26!!)

規則性を見つけてくれ〜(・ω・)ノ
0348132人目の素数さん
垢版 |
2019/02/10(日) 10:15:26.13ID:rs0oDsEA
学部入門レベルでは正しいという事項で、
研究レベルでは、正しいとは限らないかもしれないから研究されている、
ということって、あるんでしょうか?
0349132人目の素数さん
垢版 |
2019/02/10(日) 10:58:56.99ID:pWVxeeOK
んなーこたーない
    __
   / ̄ l|
   ■■-っ
   ∀`/
 __/|Y/\
ЁL__ |/ |
   |/  |
0350132人目の素数さん
垢版 |
2019/02/10(日) 11:08:53.79ID:rs0oDsEA
>>349
ありがとうございます。
0351132人目の素数さん
垢版 |
2019/02/10(日) 11:28:25.77ID:N7Gbqc9/
いくらでもありそうだなぁと思ったけど、ここは物理板じゃなくて数学板だった
0352132人目の素数さん
垢版 |
2019/02/10(日) 11:40:59.55ID:QLyEOMl1
>>343
全射ではないが、単射なので捕まります
0354132人目の素数さん
垢版 |
2019/02/14(木) 23:43:33.98ID:DJ6yKOQT
>>345-346
ありがとうこざいます
冪級数は次のセクションの話でしたが、x=1-1/nで部分和の差がs_[2n]-s[n]≧1/2*(1-1/n)^n→1/(2e^2)(n→∞)となるのでコーシー列ではない、よって級数は一様収束しないということですね
0355132人目の素数さん
垢版 |
2019/02/18(月) 17:53:51.48ID:vviJDeKz
tildeとかhat, bar, ^*とかの「飾り」って英語なんていうんでしょうか
直訳だとdecoration だけど見たことないので、、、
0356132人目の素数さん
垢版 |
2019/02/18(月) 20:30:37.84ID:z4goentu
IT用語辞典に文字修飾 character decoration て載ってるけど
和製英語かな?
0357132人目の素数さん
垢版 |
2019/02/19(火) 02:27:44.66ID:eUx8CyY3
λを実数とする
∫cos(λx)(e^{x}/(1+e^{3x}))dx from -∞ to ∞
お願いします。
0358132人目の素数さん
垢版 |
2019/02/19(火) 02:29:37.82ID:eUx8CyY3
>>357
複素積分の実数部分かなと思ってやってみたものの
到底計算できない形になってしまいました
0359132人目の素数さん
垢版 |
2019/02/19(火) 12:14:09.04ID:pWbpZkXv
>>357
cos(λx)=(e^(iλx)+e^(-iλx))/2だから
I(a) = ∫(-∞,∞) e^(ax)/(1+e^(3x)) dx (0<Re(a)<3)
を求めればよい

f(z)=e^(az)/(1+e^(3z)), 積分路Cを-R→R→R+2πi/3→-R+2πi/3→-Rの長方形にとると
留数定理より
∫[C]f(z)dz = 2πi Res[z=πi/3]f(z) = -2πie^(πia/3)/3
R→∞とすると
∫[C]f(z)dz → ∫(-∞,∞) (e^(ax)-e^(ax+2πia/3))/(1+e^(3x)) dx = (1-e^(2πia/3))I(a)
よって
I(a) = π/(3sin(πa/3))

あとは代入して
∫(-∞,∞) cos(λx)e^(x)/(1+e^(3x)) dx
= (I(1+λi) + I(1-λi))/2
= (2π/√3)cosh(πλ/3)/(1+2cosh(2πλ/3))
0360132人目の素数さん
垢版 |
2019/02/19(火) 16:23:17.00ID:DdqzgiWI
>>355
>>356
character decorationてのはワードとかでできる文字に色とか影つけたりするやつのことだろ

hatとかtildeは普通はaccentっていう
0361132人目の素数さん
垢版 |
2019/02/19(火) 22:03:27.79ID:KeU1fGzy
超幾何級数とか超幾何積分の超幾何って名前の由来はなんですか?

何を超越してるんでしょうか
0362132人目の素数さん
垢版 |
2019/02/20(水) 02:55:55.62ID:BfSFJ6hh
>>361
等比級数は幾何級数とも呼ばれます
級数に名前を付ける際に幾何級数を意識してhypergeometricという用語がつくられたのでしょう
0365132人目の素数さん
垢版 |
2019/02/21(木) 00:04:16.42ID:cP/RJtup
>>364
hatもtildeも発音だよw
0367132人目の素数さん
垢版 |
2019/02/21(木) 13:33:53.26ID:4JuN4jOt
有限体上の代数多様体のゼータ関数をFrobeniusが誘導するetale cohomologyの線形写像のdeterminatで書き表せるって言いだしたのって誰が(どの論文が)最初ですか?
etale cohomology定義したのはGrothendieckだから、予想じゃなくてちゃんとした形で証明したのはGrothendieckが最初だと思うんですけど、
どっかで「Weilが特異コホモロジーのようなものを代数多様体にも定義できればWeil予想は証明できると予見した」みたいなこと聞いた気がするし、
そもそも「Weil cohomology」なんて名前まであるんだからやっぱりWeilかなって
でもWeilのNumbers of solutions of equations in finite fieldsみてもそんなこと書いてなくて困ってます
論文のこととか全然わからないので誰かお願いします
0369132人目の素数さん
垢版 |
2019/02/21(木) 17:11:32.49ID:WPEUWQxM
>>367
学部レベルではない質問なのでスレ違いだと思いますが、自分の分かる範囲で答えておきます
私は有限体の代数幾何をほとんど勉強したことがないので、調べた結果を書いていきます
まず、証明を与えたのはGrothendieckで正しいと思います
論文名は調べればすぐに分かると思うので割愛します

あなたの挙げたWeilの論文の中ではコホモロジーについては触れていませんが、全集においては特異コホモロジー理論からWeil予想に導かれた、と記しています
SerreやGrothendieckはWeilコホモロジーの構成が予想の証明に繋がるということを50年代後半くらいにはすでに考えて、それを目標に研究していたようです
2人の交信録をまとめた本があるので、それを読むとより詳しく分かるのではと思います
また、彼らの当時の論文を読み漁るのも面白いと思います
0370132人目の素数さん
垢版 |
2019/02/22(金) 09:03:59.99ID:lVjkATMg
>>369
ありがとうございます
「学部レベル」が具体的にどのくらいかわからなかったのでここに質問しました、すみません

correnspondence Grothendieck Serreですかね
読んでみたいんですけど、英語は数学書程度で限界なのでちょっときつそうです
フランス語に関してはDeligneで苦労してるくらいなので…

大学の図書館でWeil全集見てみます
0371132人目の素数さん
垢版 |
2019/02/22(金) 10:00:35.56ID:zEGYqmpu
一応学部レベルでもこのくらいの数学史的興味関心は持つべきなのでは?。
0372132人目の素数さん
垢版 |
2019/02/22(金) 10:04:39.19ID:oNnrPAuA
昔の論文読むより
今の専門書読んだが良い
0374132人目の素数さん
垢版 |
2019/02/23(土) 01:33:53.04ID:0aaQJOB4
ほぼ要らない
0375132人目の素数さん
垢版 |
2019/02/23(土) 02:08:42.51ID:5bDKP0p0
えぇー
でもブルバキも体系に直接入れない代わりに独立した別巻の数学史を刊行してるじゃん。
0376132人目の素数さん
垢版 |
2019/02/23(土) 18:07:20.22ID:nSAC+v05
>>366

hatとかtildeはフランス語やらスペイン語とかで使われてるやつで
ああいうのは元々発音を少し変えるときに使うんだよ
ダイアクリティカルマークとかともいう
0377132人目の素数さん
垢版 |
2019/02/24(日) 00:58:31.86ID:G6B/wv0H
基底と固有ベクトルは関係がありますか?
基底がよくわかりません
0378132人目の素数さん
垢版 |
2019/02/24(日) 01:25:54.42ID:FUz3oYpy
x軸y軸z軸みたいなのが基底
固有ベクトルで基底を作ったりするから
関係ないとも言うべきでは無いかも知れないし
全然関係ないと言うべきなのかも知れない
0379132人目の素数さん
垢版 |
2019/02/24(日) 02:33:53.24ID:a3CdHeeG
全ての数学に関係はある
0380132人目の素数さん
垢版 |
2019/02/24(日) 02:45:50.93ID:4+BDb4Le
>>377
抽象的な実ベクトル空間にはもともと座標は定まっていません
基底をひとつ選択すると、座標表示ができるようになります
(例:e1,e2,e3をVの基底とするとき
v=x•e1+y•e2+z•e3∈Vを(x,y,z)と表す)
言い換えると、基底を決めることはベクトル空間とR^nの間の同型を決めることと同じです
ベクトル空間の基底を選択しておくと、ベクトル空間の元が単なる実数の組で書けたり、線形写像を行列表示できたり、計算がしやすくなります
ただし、これらの表示は基底の選択に依存していることに注意しましょう
ベクトル空間をはじめからR^nと書いていたり、写像が行列で与えられていることも多いですが、この場合は予め基底が選択されている、と解釈できます

一方、固有ベクトルは座標表示に依らずに定義されるものです
つまり、基底の選択とは関係なく決まっているものです
ただし、固有ベクトルを求める計算等をする際に座標表示を用いてすることは多いです
0382132人目の素数さん
垢版 |
2019/02/26(火) 01:23:49.27ID:gjrBrYtA
子供の頃から風呂にも入れない貧乏な穢れ身分でいじめられっ子だったはすみうんこは
精神障害者であることを利用して同情を買い彼氏を作ったがすぐオナホとして捨てられた事故物件レイパー山口敬之のちんぽをしゃぶり
興奮するレイプに憧れる子宮ゴキブリ製造変態キチガイ妖怪ババアは
トラックで轢き殺してゴキブリババア精神障害者ゴキブリ害虫ミンチにしろ
誰にも惜しまれずうんこ垂れ流しながら死ぬトレパク精神障害者姫クソみうんこババアの
アヘ顔に奇形妖怪プレデターのような死に面に失笑
0383132人目の素数さん
垢版 |
2019/02/27(水) 01:40:19.81ID:HY4PnDBE
1, 4, 12, 26, 48, 76, 114, 152, 206, 252, 318, 382, 458, 544, 622, ...

この数列を表す式は?
0384132人目の素数さん
垢版 |
2019/02/27(水) 08:14:54.55ID:U5zQSFV3
QtVL76gh09U

文化盗用ヒトモドキニホンザルゴキブリ死滅しろゴキブリ邪悪国家アメ公シロンボゴキブリの糞シラミ
0386低学歴脱糞老女・清水婆婆の連絡先:葛飾区青戸6−23−19
垢版 |
2019/03/03(日) 09:48:08.91ID:KV/cokeJ
【超悪質!盗聴盗撮・つきまとい嫌がらせ犯罪者の実名と住所を公開】
@井口・千明(東京都葛飾区青戸6−23−16)
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在/犯罪組織の一員で様々な犯罪行為に手を染めている
 低学歴で醜いほどの学歴コンプレックスの塊/超変態で食糞愛好家である/醜悪で不気味な顔つきが特徴的である
A宇野壽倫(東京都葛飾区青戸6−23−21ハイツニュー青戸202)
※色黒で醜く太っている醜悪黒豚宇野壽倫/低学歴で人間性が醜いだけでなく今後の人生でもう二度と女とセックスをすることができないほど容姿が醜悪である
B色川高志(東京都葛飾区青戸6−23−21ハイツニュー青戸103)
※色川高志はyoutubeの視聴回数を勝手に短時間に何百何千時には何万回と増やしたり高評価・低評価の数字を一人でいくつも増やしたり減らしたりなどの
 youtubeの正常な運営を脅かし信頼性を損なわせるような犯罪的業務妨害行為を行っています
※色川高志は現在、生活保護を不正に受給している犯罪者です/どんどん警察や役所に通報・密告してやってください

【通報先】
◎葛飾区福祉事務所(西生活課)
〒124−8555
東京都葛飾区立石5−13−1
рO3−3695−1111

C清水(東京都葛飾区青戸6−23−19)
※低学歴脱糞老女:清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
 清水婆婆はコンプレックスの塊でとにかく底意地が悪い/醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
D高添・沼田(東京都葛飾区青戸6−26−6)
※犯罪首謀者井口・千明の子分/いつも逆らえずに言いなりになっている金魚のフン/親子孫一族そろって低能
E高橋(東京都葛飾区青戸6−23−23)
※高橋母は夫婦の夜の営み亀甲縛り食い込み緊縛プレイの最中に高橋親父にどさくさに紛れて首を絞められて殺されそうになったことがある
F長木義明(東京都葛飾区青戸6−23−20) ※日曜日になると風俗店に行っている
0388132人目の素数さん
垢版 |
2019/03/06(水) 01:37:11.05ID:NbL5V/vt
(選択公理を仮定しないとして)
濃度の比較に全射ではなく単射を用いるのは何故ですか?
単射より全射を用いた方が比較できる範囲がより広くて良いと思うんですが
濃度を比較すること自体より単射でどこまで比較できるか、ということが重要なんですか?
0389132人目の素数さん
垢版 |
2019/03/06(水) 03:02:50.52ID:GHD55lnW
単射はダブりがないですよね
全射で比較しようとすると必然的にダブりが出てきます
扱いにくいですね
0390132人目の素数さん
垢版 |
2019/03/06(水) 14:09:48.62ID:NbL5V/vt
ダブるというのはx≠yに対してf(x)=f(y)になるということ?
それが扱いにくいというのは、集合の大小を比較した後さらに何かしようとした際に扱いにくいということ?
0391132人目の素数さん
垢版 |
2019/03/06(水) 17:10:50.86ID:z4/V+CK/
単射から逆方向の全射を作ることはできるが
選択公理なしでは全射から逆方向の単射を作ることができない
■ このスレッドは過去ログ倉庫に格納されています

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