Bonjour,
Je suis en prépa et je ne comprends pas une démonstration sur des applications, je m'explique :
Enoncé : Soit f : EF. Démontrer que (g F(E,E), fog = gof) f = IdE
La solution pour montrer cela est de choisir une valeur particulière de g qui est la fonction constante. Mais je ne comprends pas pourquoi peut-on choisir une valeur particulière de g alors que l'hypothèse porte sur toute application g.
Merci d'avance, bonne soirée
Bonjour
L'hypothèse de départ est vraie pour tout g
Dans ce contexte, il est alors vrai de dire que la propriété est vraie pour une fonction g particulière. Même si ce n'est pas exhaustif, c'est une information vraie. Et de cette information vraie, on tire des implications qui sont donc vraies
Voici un exemple très basique pour comprendre :
Soit un réel tel que pour tout on ait .
Démontrer que
Comment ferais-tu ?
Bonjour
qui peut le plus peut le moins ...
si c'est vrai pour toute fonction g, c'est a fortiori vrai pour n'importe laquelle en particulier
Merci à vous j'ai compris même si ca ne me paraît pas vraiment évident. Et oui Sylvieg, l'habitude de dire de E dans F la plupart du temps
bonjour,
Il y a une belle ambigüité dans ton texte et dans la réponse proposée, je pense que tu avais raison d'être contrarié
Pour ma part je ne me suis pas donné la peine de faire la preuve, c'est pour ça que j'ai parlé vite... En effet, il faut considérer toutes les fonctions constantes
bonjour,
En fait c'est plus subtil que cela .
Il y a une différence fondamentale entre définition exclusive et une propriété partagée.
Par définition la fonction identique dans R est "pour tout x de R, f(x)=x" c'est sa nature même
Le doute de notre ami Bast1523 provient de confusion entre propriété partagée et définition exclusive.
On peut dire aussi d'une manière un peu tordue que " pour x de R f(x)=x" est une propriété de l'identité bien qu'elle ne soit partagée par aucune autre fonction.
Exemple: Soit E un ensemble et F un ensemble strictement inclus dan E, soit T une relation binaire dans E, et S une relation unaire dans E.
Soit x0 un élément de E et soit la proposition soit vraie
En testant la relation T sur les éléments y de F et vérifier que est vrai ne peut impliquer que S(x) est vrai pour tout x de E.
mais si S est une propriété exclusive de x0 c'est à dire sa définition alors la conclusion est autre
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :