Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 83 vistas

    Descenso Infinito

    Cargado por

    angel cardon jimenez
    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.

    Copyright:

    © All Rights Reserved
    Descargue como TXT, PDF, TXT o lea en línea desde Scribd

    Descenso Infinito

    Cargado por

    angel cardon jimenez
    83 vistas1 página
    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.

    Descripción original:

    Descenso infinito

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    TXT, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    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.

    Copyright:

    © All Rights Reserved
    Descargue como TXT, PDF, TXT o lea en línea desde Scribd
    Descargar como txt, pdf o txt
    83 vistas1 página

    Descenso Infinito

    Cargado por

    angel cardon jimenez
    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.

    Copyright:

    © All Rights Reserved
    Descargue como TXT, PDF, TXT o lea en línea desde Scribd
    Descargar como txt, pdf o txt
    Está en la página 1de 1

    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