16/06/07 20:55:30.48 M0ITkbib.net
ある条件を満たすものが存在する（もしくは、ある集合が空でない）という仮定の下で
その条件を満たすもの（その集合の元）をaと表して、aに関して議論する
これは数学の証明で当たり前に行われている推論方法の一つ
ただし、証明はこのような推論の有限回の積み重ねでなければならない
無限に長い証明というものは認めない
件の点列の議論をそのまま読むと
「ある条件を満たすものをa_1と表す」 「別のある条件を満たすものをa_2と表す」 「そのまた別のある条件を満たすものをa_3と表す」 …
というように無限回の推論を行っていることになり、このままでは証明として正当化できない
そこで、この種の議論を正当化するために
「空でない集合からなる集合族(A_i)があるとき、各集合A_iから元を一斉に選び出す写像fの存在を保証する
つまりf(A_i) = a_i ∈ A_i」
という選択公理を認めることにより、件の点列の議論を疑似的に正当化する
1016:１３２人目の素数さん
16/06/07 21:31:45.89 BSGTwmRQ.net
ところで、無限推論を認めると矛盾する例ってあったかな？
1017:１３２人目の素数さん
16/06/07 22:16:22.12 J28iYUpe.net
おばかさんなんで、
従属選択公理と可算選択公理の違いがわかりません。
教えて、えらいひと。
選択公理と可算選択公理の違いは、わかります。
1018:１３２人目の素数さん
16/06/07 22:23:25.59 +hi5ZoTT.net
次スレだけど高校範囲はすでにあるから
大学学部レベル質問スレにしない？
1019:１３２人目の素数さん
16/06/07 22:32:56.71 Dv9Gubi0.net
埋め
1020:１３２人目の素数さん
16/06/07 22:48:29.40 +hi5ZoTT.net
次スレ
大学学部レベル質問スレ 2単位目 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(math板)
1021:１３２人目の素数さん
16/06/08 13:13:27.58 4DqAgVj4.net
>>986
「必要なとき」と「一斉に」
1022:￥ ◆2VB8wsVUoo
16/06/08 22:52:50.44 qOgoDwjT.net
￥
1023:￥ ◆2VB8wsVUoo
16/06/08 22:53:09.66 qOgoDwjT.net
￥
1024:￥ ◆2VB8wsVUoo
16/06/08 22:53:28.74 qOgoDwjT.net
￥
1025:￥ ◆2VB8wsVUoo
16/06/08 22:53:47.50 qOgoDwjT.net
￥
1026:￥ ◆2VB8wsVUoo
16/06/08 22:54:06.46 qOgoDwjT.net
￥
1027:￥ ◆2VB8wsVUoo
16/06/08 22:54:24.15 qOgoDwjT.net
￥
1028:￥ ◆2VB8wsVUoo
16/06/08 22:54:42.29 qOgoDwjT.net
￥
1029:￥ ◆2VB8wsVUoo
16/06/08 22:55:12.07 qOgoDwjT.net
￥
1030:￥ ◆2VB8wsVUoo
16/06/08 22:55:32.53 qOgoDwjT.net
￥
1031:￥ ◆2VB8wsVUoo
16/06/08 22:55:52.80 qOgoDwjT.net
￥
1032:１３２人目の素数さん
16/06/08 23:02:07.52 rB7pydo1.net
猫埋め
1033:１３２人目の素数さん
16/06/09 00:19:58.73 QYPhPqLC.net
猫しぐさ
1034:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 443日 0時間 56分 41秒
1035:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています