数学的帰納法の拡張思いついた

命題P(ｎ)について

[�T]ｎ＝1で成立を示す

[�U]ｎ＝ｋで成立を仮定するとｎ＝ｋ＋１でも成立することを示す

[�V]ｎ＝ｋで成立を仮定するとｎ＝ｋ−１でも成立することを示す


[�T]〜[�V]より、すべての整数においてP(ｎ)が成り立つことが示される



従来の数学的帰納法は全ての自然数についての証明に用いることができるが、このようにすると全ての整数についての証明まで拡張することができる


異論があるだろうか

　　/　　／　　　　 ＿＿　　　､　　ヽ　｀´　 ヽ
.　/　／ 　 , 　'　´__,,,, ＿￣ ` ~ヽ　 ゝ､　　 　',
　l / 　／ , -‐i ´ l ./ト ､._￣､　- ヽ､＿￣｀ヽ .',
. 〈　ｨ',　'/　　l　 l / l　　i ｀`ﾄヽ 　 ヽ、ヾ' 　 ∨
　 `>　//　　l 　ﾚ　 ゝ.　`- '　/　　 __,,ヽ l_ ノ　　　　駄賃をやるから帰れ
　 /　/　i　　l　 l　　　` ー　' 　 　 /冫､ l　　　　　　　　
. /　/　 l　　l 　l　　　　　　　　　　{　し'ﾉ|　　　　　　　　　　　＿ノ|
/　/　/ l　　 l　l　　　　　　 ＿_　　` - '/　　　　　　　　　 ＜/　　＼
´￣ ミ ､| 　 ﾄ .l　　　 　　　　　| 　　　/　　　　　　　　_ ＿／�� へハ
　　　 川 　 l i ﾄ､　　　　　　　　　　／i　 　 　　／￣:::::::::::::::::::::::::√　
.　　 　↓|　∧ |　 ` ､　 　　__　 ｨ '　./　 　　　//）:.:.:.:.:.:.:.:.:.:.:.:.:.:.:/
､ 　　　ヽ　 ﾄ､ﾊ三ﾐx.i`､ｰ 'ソl / l　/　　 　　　l U: : :／ ⌒ヽ ::／
. ＞　　　',　 lヾA-弋ン彡､.　ﾚ　l /　　　　　　/⌒ﾚ　　 　.:/／
-‐７ 　　　',　l　,r`‐､´i　/ i 　 　ﾚ　　　　　　ノ　　　　　::／

でっていう

じゃあ、同じ手法で有理数もやってね。

非負有理数上の命題について
1. q = 1 について成立を示す
2. q = n/m について成立を仮定すると q = (n+1)/m でも成立することを示す
3. q = n/m について成立を仮定すると q = n/(m+1) でも成立することを示す
有理数への拡張は容易

ここは数学板の自称神Kingの見解を伺おうではないか

非負有理数上の命題について。有理数p/qは全て既約として考えればよい。
1. p＋q＝1について成立を示す(自動的にp＝0,q＝1従ってp/q＝0となるしかない)
2. p＋q＝kについて成立を仮定すると、p＋q＝k＋1でも成立することを示す

じゃあ次は順序数ね。

何か新しいことでも見つかると良いな
あまり期待出来そうもないが

新しいも何も、可算集合にどう番号付けるかだけの話じゃないの？

フラクタル集合上の帰納法とか

>>1
まず、それを証明しろ。

そういえば、超限帰納法は整列集合にしか証明されてないが、
Ｚ（整数全体）を整列集合にするだけの話か？
それとも、何か、目新しいことがあるのか？

>>12
kwsk

よし、じゃあ整列集合以外の構造を持つ集合での帰納法を考えよう！
任意の集合は整列可能とはいえ整列しちゃうと上手く漸化式が書けるとも限らないからな。

アナル拡張

全然拡張になってない。
二つの全く関係ない命題P,Qを数学的帰納法で示したに過ぎない。

>>14
ただの全順序集合だと、数学的帰納法が成り立たない例が作れるらしい。
整列集合であることを仮定するのは本質的。

これは面白そうなスレ

良スレ

入試でも下がるタイプはあったな

>>17
面白そう。何を調べれば載ってるかな？

>>21
ググレ

>>17
全順序集合に限ることもあるまい

>>1
数学的帰納法ってのはつまり、演繹法を繰り返し使っているだけだから
いわゆる直接証明の一種。

>1の手法は正しい。

なんだよ、この稀に見る良スレは

>>23
それは半順序で考えるということか？仮に半順序で考えるとしても、
その中でも特に全順序を考えることによって(全く同じ)反例が作れて
しまうから、結局、より強い条件を課さなければならない。

つまり、半順序で考えているつもりが、結局のところ、半順序よりも
強い条件(実際には全順序よりも強くなければならない)を課さなければ
ならなくなる。

何を物々しく言っているのか訳が分からない。
当初の質問の答えは「赤摂也　実数論講義」または「加藤十吉　微分積分学原論」を見よう！

何を物々しく言っているのか訳が分からない。
当初の質問の答えは「赤摂也　実数論講義」または「加藤十吉　微分積分学原論」を見よう！

>>26
＞実際には全順序よりも強くなければならない
この部分に根拠はあるのか？

対象集合の濃度が自然数と同じであっても有限個の例外を含む場合は数学的機能法を単純に適用できない

test

>>29
よく考えたら根拠は無かった。

名前訂正
×29
○26

おいおい…

>>28
その本から、このスレの答えとなることのエッをセンス抜き出して書いてくれよ

普通に集合論の本に載っているだろ
高校生や大学新入生か？

>>36
何が？

0<=x<1を１と置く。
1<=x<2を２と置く。
・・・
n-1<=x<nをｎと置く。

１、２・・・ｎまで証明すれば０以上の全ての実数について証明したことになる。
数学的帰納法は離散的なものだけではなく連続的なものにも適用できたのだ。

>>38
要するに、
(1) 0<=x<1の実数xについて命題P(x)は成り立つ
(2) P(x)を仮定すると、P(x+1)が成り立つ
の2つがいえれば、すべての非負実数xについてP(x)が証明できたことになる
ってことだろ。
それは正しい。

問題は、0以上のすべての実数xについて成り立つ命題P(x)を証明するのに、
そんなまわりくどいやり方をしなければならないような例が思いつけない
ってことだな。

ガウス記号の中に実数が入ってるような命題は
しばしばこういうやり方をするよね

コラッツ帰納法

任意の自然数n に対し、

P(n) ならばP(2n)
n-4 が6 の倍数かつP(n) ならばP((n-1)/3)

が成り立つならば、任意の自然数n に対しP(n) が成り立つ。

で、この拡張が役にたつの？

お前らZornの補題でも学んでから議論しろ。

King、Zornの補題ってなに？

Zornの補題自体を知っているだけでは大したメリットは無いと思うが、
このスレにおいては、超限帰納法ぐらいを知ってから議論してもらいたいものだ。

Reply:>>45 数学ではよく知られている命題で、選択公理と同値である。はじめに順序集合を覚えよう。帰納的順序集合には極大元が存在する。

>>46
超限帰納法の話なら既に何度も出ているだろう。

>>47
きんｇはなんでそんなに頻繁にトリップ変更するの？

Reply:>>49 何か。

>>50
なんでそんなに頻繁にトリップ変更するの？

Reply:>>51 何のことか。

彼女のアナルじゃあるまいし気軽に拡張すんな

1 のチンポは 2 のマンコに挿入され、つながってる。

n - 1 のチンポは n のマンコに挿入され、 つなかってる。

このとき任意の n は 1 とチンコ-マンコの連結でつながってる。

この定理でわかるのは２以上の自然数は両性具有だと言うことである

位相空間上でよくやる議論に、
｢連結位相空間Xの点の中で、条件Pを満たす点全体の部分空間をAとする。
このとき、A＝Xであることを示すためには、Aが空でなく、Xの開かつ閉集合
であることを示せばよい｣
というのがあるけど、これは帰納法の連続バージョンとも言えるな。

なんか数セミの特集みたいだな。

つ structural induction
つ rule induction

>>56
それって、連結の定義なだけじゃ？

300

Talk:>>52　人の脳を読む能力を悪用する奴を潰せ

Reply:>>61 お前は何をしようとしている。

Talk:>>62　人の脳を読む能力を悪用する奴を潰せ

思考盗聴で私から1km以内に介入する奴は早く永久停止したほうがよい。

n個の相加相乗平均の不等式の証明の一つに
変形した数学的帰納法を使っていた気がする
形としては >>42 が近かったような

Talk:>>64 人の脳を読む能力を悪用する奴を潰せ。

>>16
そうか、>>1 は命題P(n)と命題P(-n)それぞれについて
nについての数学的帰納法を適用しただけのことだね。

>>1
[�U]ｎ＝ｋ＋１
[�V]ｎ＝ｋ−１

これらは、高校数学の段階でも十分に学びますし
過去の大学入試問題にも題材がありますが…

１は自分の頭で考えたんだよ。それって立派な頭脳の持ち主だろ

自分が世界で一番最初に発見した
と思っていたら、既出であったと

つまり教科書を読んでいなかったことに起因しているな

ヴァージンと思っていたが、そうではなかったみたいな…ｗ

昔、京都大学が出した大学入試問題で、

命題P(ｎ)について
[�T]ｎ＝1で成立を示す。
[�U]ｎ＝２のｋ乗 で成立を仮定するとｎ＝２の(ｋ＋１)乗 でも成立する
ことを示す。
[�V]ｎ＝ｍで成立を仮定するとｎ＝ｍ−１（ただしｍ−１は自然数）
でも成立することを示す。
[�T]〜[�V]より、すべての自然数ｎにおいてP(ｎ)が成り立つことが示される。


というのがあった。
京都大学らしい素晴らしい考え方だ。

>>71
>>68

>>71
それ京大じゃなくても既出。

>>71
へぇ、自明ではあるけど帰納法の基本概念を理解している必要がある問題だね。

その帰納法を使う事で、証明が楽になる具体的な問題もあるのかな？

超限帰納法って、それと意識せずに使ってることが多いよね。
アルゴリズム関係とかで。

これって、要するに[�T]は、nが1である必要はないってことだよな？

>>74
n変数の相加相乗。

>>74
相加相乗の一般証明の他に・・・

文字は全て0以上π以下として
(sin(a_1)+sin(a_2)+...+sin(a_n))/n≦sin((a_1+a_2+...a_n)/n)

とか．これは某医大の過去問

>>1

高校生なら誰でも気付くよ。＾＾


高二は帰れや！

何をいまさら…ｗ

>>78
どっちも中点凸から(f(a_1)+・・・+f(a_n))/n≧f((a_1+・・・+a_n)/n)を出すパターンだな。
他にない？

以前高校生スレでオイレルの公式らしきものを数学的帰納法で証明する問題があった
どっかの大学の過去問だったらしいが

うるさい。

このような>>1は「漸化式の解き方を思いついた」なんてスレまた立てそうだな
ごく普通の高校の教科書にも載っていることをわざわざな

それでも>>69氏のように
>>自分の頭で考えたんだよ。それって立派な頭脳の持ち主だろ
と生暖かい（白い）目で見守るのだろうか？

またこんな糞スレを立てやがって・・・・

アナルの拡張思いついた

"ゲーデルと20世紀の論理学_4_集合論とプラトニズム",田中一之編
の第二章p.78辺りからの引用で、少し変わったタイプの帰納法なんだけど
整順的二項関係を有する集合上の帰納法ってのがあるね。

これは整列集合上の帰納法の拡張になってる。