[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
881: 07/13(日)18:35 ID:iFH4jxrX(1/2) AAS
>>876
nの最大値Nが存在すると仮定する
問題文からnは相異なる主張を数えるのに用いられる文字だから
nの最大値NはN≧2なる有限な整数である
仮定から、N個の相異なる主張をどう並べても論理的につながる命題に出来る
丁度N個の頂点全体からなる集合をVとする
すべての相異なる丁度2個の頂点x、y∈Vに対して
xとyにそれぞれ丁度1個の主張を対応させて出来る
xとyどうしを丁度1本の辺(x、y)で接続するような
向き付けがなされていない辺全体からなる集合をEとする
このとき、グラフG＝(V、E)を考えれば、このグラフGは無効グラフであって
丁度N個の頂点と丁度(n(n-1))/2本の辺からなる
位数が|G|＝Nの完全グラフであって、有限グラフである
よって、位数がN+1の完全グラフは存在しない
しかし、位数がN+1の完全グラフは確かに存在する
よって、矛盾が生じる
この矛盾はnの最大値Nの存在性を仮定したことから生じたから
背理法が適用出来て、背理法を適用すればnの最大値Nは存在しない
882: 07/13(日)18:38 ID:iFH4jxrX(2/2) AAS
無効グラフであって → 無向グラフであって
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.028s