La inducción es normalmente definido para el caso en el que de forma explícita la dependencia de un número entero (o un número ordinal transfinito de inducción, pero no voy a hablar de eso). No estoy seguro de lo que estás hablando con la función, pero ya que la inducción requiere que usted para demostrar que $P(k)\Longrightarrow P(k+1)$ todos los $n$, usted no será capaz de "probar" que la función estaba en todas partes positivas, debido a que la instrucción $P\Longrightarrow P(n+1)$ podría fallar en el punto donde se cruza el límite de punto'.
Se puede demostrar que la prueba por inducción es una prueba de la siguiente manera:
Supongamos que tenemos que $P(1)$ es cierto, y $P(k)\Longrightarrow P(k+1)$ todos los $n\ge 1$. A continuación, supongamos por contradicción que existe cierta $m$ tal que $P(m)$ es falso. Vamos $S=\{n\in \mathbb{N} : P(k) \text{ is false}\}$. $S$ no está vacía (ya que contiene $m$), por lo que tiene al menos un elemento de a $s$ (La declaración de que todo conjunto no vacío de números naturales tiene al menos un elemento es conocido como el Pozo Principio de orden).
Ahora, desde la $P(1)$ es verdadero, $s\neq 1$. Por lo $s-1$ es un número natural. Ahora, si $s-1$ fuera verdadera, entonces el $P(k)\Longrightarrow P(k+1)$ implicaría que $s$ eran verdaderas (ajuste $k=s-1$). Desde $s$ no es cierto, $s-1$ no debe ser cierto. Pero $s-1<s$, y lo había imaginado $s$ a ser el menor número natural $n$ tal que $P(n)$ no era cierto. Así que tenemos una contradicción.
Por lo tanto, $P(n)$ es cierto para todos los $n\ge 1$.
Resulta que en realidad es un análogo de la inducción que puedes utilizar si quieres demostrar que una afirmación es verdadera para todos los números reales. No se puede aplicar el argumento anterior a los números reales, los números reales no satisfacen el Bien de Pedido Teorema. Por ejemplo, el conjunto $\{1,0.1,0.01,0.001,\dots\}$ no tiene un menor elemento. Tampoco se $\{x\in \mathbb{R} : x>3\}$. Sin embargo, los números reales que satisfacen lo que se conoce como el Mayor límite Inferior de la propiedad. Esto significa que cada conjunto de números reales que está delimitada por encima tiene un mayor límite inferior. Por ejemplo, el conjunto de los números reales que son mayores que las de $3$ no tiene menos de elemento: si usted toma algún número mayor que $3$ - $3.001$, decir - puedo decirle a otro número que es mayor que $4$ pero aún menos de su número (como $3.0001$). Pero tiene un mayor límite inferior, que es $3$. El conjunto $\{x\in\mathbb{R} : x^2 > 2\}$ no tiene ningún elemento menos, pero tiene un mayor límite inferior, que es $\sqrt{2}$.
Ejercicio: ¿cuál es la mayor cota inferior para el conjunto $\{1,0.1,0.01,0.001,\dots\}$?
En general, un límite inferior de un conjunto es un número $b$ que es menor que la de cada elemento en el conjunto. El Mayor límite Inferior de la Propiedad es la declaración de que cada vez que tienes un límite inferior, siempre hay una mayor baja obligada. Se denota el mayor límite inferior de un conjunto $S$ por $\inf S$ ($\inf$ es corto para infimum, otra palabra para mayor límite inferior).
¿Cómo podemos utilizar el Mayor límite Inferior de la Propiedad para formar un análogo de la inducción? Te voy a dar la instrucción de continuo inducción primero, y luego probarlo.
Teorema Deje $P(x)$ ser una declaración acerca de un número real arbitrario $x$. Supongamos que conocemos los dos siguientes hechos:
- $P(x)$ siempre es verdadera si $x<y$ donde $y$ fijo es un número real.
- Si $P(x)$ siempre es cierto hasta cierto número de $c$ (siempre que $x<c$), entonces, para algunos $\varepsilon > 0$, $P(x)$ es cierto siempre hasta el $c+\varepsilon$ (siempre que $x<c+\varepsilon$).
A continuación, $P(x)$ es verdadera para todos los números reales $x$.
La prueba es similar a la prueba para que la natural-número de la inducción:
Prueba: Supongamos por contradicción que, para algún número real $z$, $P(z)$ es falso. Deje $A=\{x\in \mathbb{R} : P(x) \text{ is false}\}$. Desde $P(x)$ es cierto para todos $x<y$, $y-1$ es un límite inferior para $A$. Desde $z\in A$, $A$ no está vacía. Por lo $A$ tiene un mayor límite inferior $a=\inf A$. Ahora, si $x<a$, $P(x)$ es cierto (como $a$ es un límite inferior para $A$, el conjunto de los números reales $x$ tal que $P(x)$ es falso). Por lo tanto, para algunos $\varepsilon > 0$, $P(x)$ es cierto para todos los $x<a+\varepsilon$. Por lo tanto, $a+\varepsilon$ es un límite inferior para $A$. Pero $a+\varepsilon>a$, y lo había imaginado $a$ a ser el mayor límite inferior de $A$. Así que tenemos una contradicción.
Por lo $P(x)$ es verdadera para todos los números reales $x$.
Esta es realmente la misma cosa como prueba por inducción para los números enteros, pero con la máxima límite Inferior de Propiedad en lugar del Bien Principio de orden. Vale la pena mencionar que tengo nunca tuve ocasión de uso continuo de inducción sobre los números reales, y no es una norma técnica: los matemáticos tienden a demostrar afirmaciones acerca de los números reales directamente de la Mayor cota Inferior Principio, y a no utilizar cualquiera de lujo trucos (como lo puede hacer cualquier prueba por inducción en una prueba donde se intenta encontrar un "mínimo contraejemplo', como lo hice yo cuando he demostrado que funciona la inducción de arriba). Pero es muy divertido, y es muestra de que se puede generalizar a cosas como el principio de la inducción a la más general, establece, siempre y cuando usted tiene una declaración similar a la Bien Principio de orden.