bonjour,
j'essaye de récapituler des méthodes de résolution, j'en suis a l'existence.
Pour prouver l'existence d'un objet mathématique (fonction, polynome......), voyez vous d'autres méthodes que =
-analyse/synthèse
-récurrence
-on trouve l'expression intuitivement
?
merci
Par l'absurde, par des arguments généraux (type cardinalité)...
Mais en gros :
- soit on construit/crée un exemple (méthode constructive)
- soit on montre qu'il en existe sans pouvoir en construire
- soit on montre que si il n'en existe pas, c'est non consistant (par l'absurde)
En général on préfère la première méthode
Après il y a tout un tas de façon de construire des objets, et ça dépend beaucoup du domaine
ok merci.
Ta première méthode, c'est l'équivalent de analyse/synthèse ou récurrence non ? enfin, y-aurait-il d'autres méthodes de construction ?
merci encore!
Oui, il y a d'autres méthodes de construction, par exemple construire un objet en tant que limite d'une suite d'objets.
...et cette méthode a un nom spécifique pr que je me penche dessus ou bien c'est juste "construire un objet en tant que limite d'une suite d'objets" ?
Bonsoir,
et bien ça dépend du domaine. La limite peut être d'origine topologique (donc là c'est bien une limite au sens habituel, genre limite de fonctions, etc). Ou bien une limite plus abstraite : limite inductive / projective pour créer des objets rigolos. Cf http://fr.wikipedia.org/wiki/Limite_inductive
ok je vais voir ça, merci bcp !
C'est une bonne approche.
Je suggère de lire l'excellent "How to solve it" de Georges Polya.
