Répondre à la discussion
Affichage des résultats 1 à 15 sur 15

La récurrence



  1. #1
    Linky84

    La récurrence


    ------

    C'est une question peut être très bête et que la réponse est sous mon nez mais tant pis je me lance. Après plusieurs nuits d'insomnie et de cassage de tête j'ai enfin décidé de poser la question :

    La récurrence permet de démontrer un bon nombre de chose certes mais comment être sur de son efficacité ? Je reformule existe-t-il une démonstration qui démontre la récurrence elle même ou bien c'est un axiome ?

    Je sais pas si je me suis fait bien comprendre ... mais merci d'avance pour vos réponses !

    -----

  2. Publicité
  3. #2
    pichoun

    Re : La récurrence

    la récurence n'est pas un axiome elle se suffit à elle même. Du moment qu'une propriété est vraie à partir d'un certain rang k(initialisation) et qu'elle se transmet de proches en proches (du rang k au rang n), elle est forcément vraie pour tout n

  4. #3
    Linky84

    Re : La récurrence

    Ok c'est tout bah merci !

  5. #4
    Flyingsquirrel

    Re : La récurrence

    Citation Envoyé par pichoun Voir le message
    la récurence n'est pas un axiome elle se suffit à elle même.
    On peut très bien considérer le principe de récurrence comme un axiome. C'est par exemple le cas si l'on définit avec les axiomes de Peano.

  6. #5
    pichoun

    Re : La récurrence

    Un axiome c'est une propriété non démontrable mais vraie.
    Mais la récurrence n'est pas tellement une propriété c'est plutot une methode non?

  7. A voir en vidéo sur Futura
  8. #6
    fitzounet

    Re : La récurrence

    considérer la récurrence comme une méthode permettant de résoudre des exercices barbants, gâche toute la beauté de l'arithmétique et de la théorie des ensembles et des mathématiques.

    ce n'est que mon avis

  9. Publicité
  10. #7
    pichoun

    Re : La récurrence

    ok fitzounet je comprend ce que tu veux dire.

    Mais, par exemple, la démontration par l'absurde c'est un type de démonstration pré-structurée qui peut s'appliquer à des problèmes divers et variés. Il en est de même pour la demo par récurrence. Pourtant on ne considere pas la demo par l'absurde comme un axiome non?

    (prend plutot cela pour une question, je suis en terminale, j'ai 17 ans j'essai juste de me renseigner)

  11. #8
    Flyingsquirrel

    Re : La récurrence

    Citation Envoyé par pichoun Voir le message
    Un axiome c'est une propriété non démontrable mais vraie.
    Mais la récurrence n'est pas tellement une propriété c'est plutot une methode non?
    Pourquoi opposer méthode et propriété ? Pourquoi ne pas considérer le raisonnement par l'absurde comme une propriété ?
    Citation Envoyé par pichoun Voir le message
    Mais, par exemple, la démontration par l'absurde c'est un type de démonstration pré-structurée qui peut s'appliquer à des problèmes divers et variés. Il en est de même pour la demo par récurrence. Pourtant on ne considere pas la demo par l'absurde comme un axiome non?
    Non, on ne considère pas le raisonnement par l'absurde comme un axiome. (Et alors ?)

  12. #9
    Thorin

    Re : La récurrence

    Citation Envoyé par pichoun Voir le message
    Un axiome c'est une propriété non démontrable mais vraie.
    Mais la récurrence n'est pas tellement une propriété c'est plutot une methode non?
    Le fait que la "méthode" de la récurrence marche se démontre à partir du fait que toute partie non vide de l'ensemble des entiers naturels admet un plus petit élément.
    École d'ingénieurs + M1 Physique Fondamentale

  13. #10
    lapin savant

    Re : La récurrence

    Citation Envoyé par Thorin Voir le message
    Le fait que la "méthode" de la récurrence marche se démontre à partir du fait que toute partie non vide de l'ensemble des entiers naturels admet un plus petit élément.
    Mais pas de chance : pour conclure, il faut ajouter qu'il n'existe aucune suite infinie strictement décroissante d'entiers naturels (Fermat). Et ceci se montre justement par récurrence....
    Le principe de récurrence est bien un axiome, que l'on ajoute d'ailleurs à l'axiomatique de Peano afin de construire N (comment ferait-on sans ?)
    "Et pourtant, elle tourne...", Galilée.

  14. #11
    Flyingsquirrel

    Re : La récurrence

    Citation Envoyé par Flyingsquirrel Voir le message
    Pourquoi ne pas considérer le raisonnement par l'absurde comme une propriété ?
    Il faut lire « par récurrence » et non « par l'absurde ».

  15. #12
    Thorin

    Re : La récurrence

    Soit une propriété.
    On suppose qu'elle vérifie :
    et .
    On appelle l'ensemble .
    Supposons qu'il ne soit pas vide.

    Alors, comme partie de non vide, il admet un plus petit élément.

    Soit cet élément, alors,
    Or, si on a , on a alors (par contraposée de la deuxième hypothèse sur P).
    Ainsi, .
    Or, , ceci contredit le fait que soit le plus petit élément de

    Donc est vide.

    Où est la faute dans ce raisonnement ?
    Dernière modification par Thorin ; 25/03/2009 à 22h00.
    École d'ingénieurs + M1 Physique Fondamentale

  16. Publicité
  17. #13
    lapin savant

    Re : La récurrence

    Il n'y a pas d'erreur. C'est ce que j'ai essayé de dire :
    Citation Envoyé par Thorin Voir le message
    Alors, comme partie de non vide, il admet un plus petit élément.
    Seulement, comment montres-tu cette propriété ? (que j'appellerai "bon ordre").

    La seule preuve que je connaisse utilise la propriété de Fermat que j'ai citée plus haut, et qui se montre , elle, par récurrence. En d'autre termes, de manière masquée, tu utilises la récurrence pour prouver la validité de la récurrence.

    Néanmoins, mon raisonnement s'écroule si tu connais une autre preuve du "bon ordre" (et ce n'est pas dramatique car tu m'apprendras qqchose ).
    "Et pourtant, elle tourne...", Galilée.

  18. #14
    Thorin

    Re : La récurrence

    Ah, nan, c'est juste que dans dans la construction de N qui m'a été montrée en sup', c'est le bon ordre l'axiome, dans l'histoire ; donc je le démontre pas

    (c'est ça : http://www.dma.ens.fr/culturemath/ma...ue/entiers.pdf )
    École d'ingénieurs + M1 Physique Fondamentale

  19. #15
    lapin savant

    Re : La récurrence

    Je vois...
    Pour moi, la récurrence est un axiome. Avec on peut montrer le bon ordre de N. Si par contre (comme tu l'as fait), tu choisis le bon ordre comme axiome, alors ok ton raisonnement permet de justifier la récurrence

    Je pense que la récurrence est un axiome car il est possible de le rejeter : cf. Douglas Hofstader, dans son livre Gödel, Escher, Bach (InterEditions 1985) qui exhibe un prédicat stupéfiant P(n) tel que :
    1) pour tout n, il existe une démonstration de P(n) :
    2) il n'existe pas de démonstration de (∀ n, P(n) ) : non
    En effet, la réunion de toutes les démonstrations n'est pas une démonstration de , car cette réunion est infinie, or une démonstration se doit d'être finie. En outre, il est possible de rejeter l'axiome de récurrence, débouchant ainsi sur une nouvelle théorie, celle de l'analyse non standard.
    "Et pourtant, elle tourne...", Galilée.

Sur le même thème :

Discussions similaires

  1. récurrence
    Par love2maths dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 27/09/2008, 19h14
  2. recurrence
    Par benzema43 dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 12/09/2008, 17h09
  3. Récurrence
    Par Kredo dans le forum Mathématiques du collège et du lycée
    Réponses: 3
    Dernier message: 10/09/2008, 21h25
  4. Recurrence
    Par Doubino dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 21/11/2007, 01h33
  5. récurrence
    Par exilim dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 03/10/2006, 22h28