Scribd
Cargar
45 vistas1 página

Descenso Infinito en Matemáticas

El descenso infinito es un método matemático para probar que ningún número natural de un subconjunto satisface cierta propiedad. Funciona demostrando que si existiera un número mínimo x que cumpla la propiedad, se podría definir un número y menor que también la cumpla, lo que llevaría a un descenso infinito y contradice que los números naturales están bien ordenados. Pierre de Fermat introdujo este método en el siglo XVII basado en el axioma de buen orden de los naturales.

Cargado por

angel cardon jimenez
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como TXT, PDF, TXT o lee en línea desde Scribd
45 vistas1 página

Descenso Infinito en Matemáticas

El descenso infinito es un método matemático para probar que ningún número natural de un subconjunto satisface cierta propiedad. Funciona demostrando que si existiera un número mínimo x que cumpla la propiedad, se podría definir un número y menor que también la cumpla, lo que llevaría a un descenso infinito y contradice que los números naturales están bien ordenados. Pierre de Fermat introdujo este método en el siglo XVII basado en el axioma de buen orden de los naturales.

Cargado por

angel cardon jimenez
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como TXT, PDF, TXT o lee en línea desde Scribd

Descenso infinito

Ir a la navegaci�nIr a la b�squeda
En matem�ticas y en teor�a de la demostraci�n, el descenso infinito es un m�todo
para demostrar una afirmaci�n sobre n�meros naturales, consistente en decir que
ninguno de los n�meros naturales de un cierto subconjunto satisface cierta
propiedad. En t�rminos formales el descenso infinito es un m�todo de demostraci�n
para probar rigurosamente una proposici�n de la forma:

{\displaystyle \forall n\in A\subset \mathbb {N} :\ \neg P(n)}{\displaystyle


\forall n\in A\subset \mathbb {N} :\ \neg P(n)}

Donde:

{\displaystyle \forall }\forall es el cuantificador universal, l�ase "para todo".


{\displaystyle A\subset \mathbb {N} }{\displaystyle A\subset \mathbb {N} } es un
cierto subconjunto de los n�meros naturales, que puede coincidir de hecho con el
propio conjunto de los n�meros naturales.
{\displaystyle \neg }\neg es el conector negativo "no".
{\displaystyle P(\cdot )\,}{\displaystyle P(\cdot )\,} es un predicado unario, que
sirve para afirmar algo de un determinado n�mero natural.

�ndice
1 Introducci�n
2 Equivalencia
3 V�ase tambi�n
4 Referencias
5 Enlaces externos
Introducci�n
El m�todo del descenso infinito fue introducido por el matem�tico Pierre de Fermat
en el siglo XVII. El m�todo se basa a su vez en el axioma de que el conjunto de los
n�meros naturales es un conjunto bien ordenado. La buena ordenaci�n implica que:

Si existe un n tal que P(n) sea verdadera, entonces, existe un elemento m�nimo x
dentro de N tal que P(x) es verdadera.

Tras demostrar que no existe dicho n�mero definiendo una y a partir de x tal que y
sea un n�mero natural (seg�n la estructura que nos provee la aseveraci�n) y adem�s
que se tenga y < x, luego que la prueba de lugar arrojara que se puede hacer lo
mismo con y (definir una z de manera an�loga a lo antedicho), etc., lo cual deja en
una condici�n de descenso infinito, por ende, se demuestra que no existe tal x,
entonces, como el principio del buen ordenamiento es una condici�n necesaria en el
conjunto de las supuestas n que hacen a P(n) verdadera y como el descenso infinito
prueba que el principio del buen ordenamiento falla, se concluye que no existe n
que satisfaga la proposici�n P.

Equivalencia
Cabe mencionar que Pierre de Fermat, en muchas de sus demostraciones, acudi� al
"m�todo del descenso infinito" (descente infinie) que no es otra cosa que el
principio de buena ordenaci�n (todo conjunto no vac�o de n�meros naturales posee un
n�mero m�nimo).1? Precisamente, us� el MDI para mostrar su "famoso teorema" para n
= 4.
EL MDI puede enunciarse aproximadamente as�: Si, suponiendo que un problema admite
una soluci�n entera n > 0, deducimos que posee una soluci�n entera n' > 0, n' < n,
entonces el problema no admite soluciones enteras positivas.1?

También podría gustarte