archiver 8

Monday, February 13, 2006

monotonic subsequence : example of proof by cases

Proof By Cases: Example from monotonic subsequence theorem
tag: math. proof. case.

"every infinite sequence of real numbers have a monotonic infinite subsequence."

the conclusion has two CASES: having nonincreasing infinite subsequence and having nondecreasing infinite subsequence.

one proof (in Zakon series) starts by dividing two CASES:
case 1: SOME subsequence of the sequence don't have maximum value.
case 2: ALL subsequence of the sequence have max.

another proof (in everything2) starts by dividing cases:
case 1: infinitely many maximal index.
case 2: only finitely many maximal index. so that no index is a maximal index from on some N.
, where maximal index is defined as
Infinite occurence or only finitely many occurence.

another proof starts by dividing:
case 1: unbounded sequence
case 2: bounded sequence.
, then case 2 is more divided into cases,
, as in
unbounded or bounded.

all the three are proofs by cases.


Post a Comment

Links to this post:

Create a Link

<< Home