Inscription / Connexion Nouveau Sujet
Niveau première
Partager :

La Logique

Posté par
hally
23-06-21 à 15:01

Bonjour x)
J'ai un exercice de logique que j'arrive pas à résoudre voici l'énoncé :
--------------------
Soit f une fonction définie de N dans N
Monter que si f est strictement croissante alors :
(Pour tout n appartient à N ) : f(n) >= n
--------------------
Est ce que pouvez-vous m'indiquer comment je pourrais monter ça ;-;"

Tous ce que je sais sur la fonction croissante c'est que il existe un x et y appartenant au même domaine de définition tels que :
x>y et f(x)>f(y)

Merci d'avance ^-^

Posté par
ty59847
re : La Logique 23-06-21 à 15:23

Tu dis :
Tout ce que je sais sur une fonction croissante c'est que .. .... ....
Et la suite est imprécise, ou plutôt fausse.
Corrige cette partie.
Ne pas trouver l'exercice, c'est une chose, mais mal réciter le cours, c'est plus génant.


Revenons à l'exercice.
On te demande de montrer que si f est une fonction strictement croissante de N vers N, alors pour tous les entiers n, on a une certaine propriété.

Il faut un plan ... une ligne directrice.
Souvent, la ligne directrice, c'est de supposer que la propriété en question est fausse, et montrer qu'on arrive à un truc impossible.

Donc ici, on suppose qu'on a une fonction f de N vers N, strictement croissante. Et on suppose qu'il existe un nombre n, tel que f(n)<n.
Et avec ces 2 hypothèses, à toi de montrer que c'est impossible.

Posté par
carpediem
re : La Logique 23-06-21 à 15:26

salut

une idée : la récurrence ...

Posté par
hally
re : La Logique 23-06-21 à 16:02

Désolé pour la propriété mal écrite donc je voulais dire qu'une fonction est strictement croissante sur une intervalle si pour tous x et y appartenant à cet intervalle
x>y implique f(x)>f(y)

Donc je dois utiliser l'absurde pour démonter qu'il y'a une contradiction ?

Posté par
ty59847
re : La Logique 23-06-21 à 17:47

Oui, ça peut entrer dans ce qu'on appelle 'démonstration par l'absurde'.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !