BranchesHistoryHelpLogin
Welcome guest
You're not logged in.
260 users online, thereof 0 logged in

Explanation: Indicator Function and Complete Induction

The indicator function provides new insight into the proving principle by complete induction. If $p$ is a property which is valid for some natural numbers $m\in\mathbb N,$ then it defines a unique indicator function $\chi(m)$ defined by $$\chi(m):=\begin{cases}1&\text{if }p(m)\text{ is true}\\0&\text{else, i.e if }p(m)\text{ is false.}\end{cases}$$
With this interpretation, the proving principle goes as follows:

In other words, the proving principle uses the fact that the indicator function $\chi$ is constant locally, i.e. for all the two natural numbers $(n,n+1),$ if $n\ge m$ and $\chi(m)=\chi(n)=1.$ This allows the conclusion, that $\chi$ is constant globally, i.e. for all consecutive pairs $(n,n+1),$ $(n+1,n+2),$ etc, we have $\chi(m)=\chi(n)=\chi(n+1)=\chi(n+2)=\ldots.$ This, in turn, is equivalent to proving that the property $p$ is true for all natural numbers $n\ge m.$

| | | | created: 2019-09-07 13:08:17 | modified: 2019-09-07 13:17:04 | by: bookofproofs | references: [8297]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[8297] Flachsmeyer, Jürgen: “Kombinatorik”, VEB Deutscher Verlag der Wissenschaften, 1972, Dritte Auflage