Expression ambiguë : fonction définie sur E
Bonjour
L'expression " soit une fonction f définie sur E " me paraît ambiguë car je ne sais pas si cela veut dire :
Df = E ou bien telle que E inclus dans Df
Qu'en est il au juste ?
Merci.
L'expression " soit une fonction f définie sur E " me paraît ambiguë car je ne sais pas si cela veut dire :
Df = E ou bien telle que E inclus dans Df
Qu'en est il au juste ?
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Cordialement,
Thierry
Je comprends bien la différence entre une fonction et une application comme vous le faites - et c'est d'ailleurs comme cela que je l'ai apprise - mais il semblerait que pour certains Df = E et pour d'autres que E inclus dans Df.
Si l'on dit: soit une fonction f dont l'ensemble de départ est E et l'ensemble d'arrivée F, le domaine de définition de la fonction est le plus grand sous ensemble A de E pour lequel quel que soit x dans A f(x ) est défini.
Si l'on dit: soit une application f dont l'ensemble de départ est E et l'ensemble d'arrivée F , à la différence d'une fonction ,la définition d'une application implique que Df = E .
Ma question est donc de savoir ce qu'un auteur entend lorsqu'il dit "soit f définie sur E" :
Est-ce qu'il entend que quel que soit x dans E, f(x) est défini ou bien est- ce qu'il entend que le domaine de définition de la fonction peut être éventuellement plus grand que E?
Merci
Peut-être t'en dira-t-on plus.
Si c'est une déclaration ($f$ n'est jamais apparue avant, et on l'introduit à ce moment là), j'aurais tendance à dire que c'est $=$ (sauf si le contexte prévient explicitement que ce sera $\subset$, par exemple si tu sais que tu t'intéresses à l'ensemble des $f$ définies sur un sous-ensemble de $A$, et que $E\subset A$)
Si c'est une propriété (on a parlé de $f$, en tout cas d'une définition possible avant, et on dit "$f$ est définie sur $E$"), alors j'aurais tendance à l'interpréter comme $\subset$.
Mais les deux sont vagues, et sujets à modification selon le contexte.
Bref, soit la distinction n'est pas essentielle, auquel cas on s'en fiche un peu, soit elle l'est, auquel cas si le texte est bien écrit, le contexte devrait clarifier.
Pourtant le vocabulaire mathématique permet de lever toute ambiguïté
Merci pour ta réponse.
Ce n'est pas "te parait". C'est "est", tu as parfaitement raison. Tu as reçu des avis, mais je pense que tu peux aussi construire ton propre avis sur les stratégies que tu utiliseras en tant que lecteur pour "deviner" ce que le lecteur "voulait".
Par contre, en tant qu'auteur, c'est très bien, ça montre que tu lèveras cette ambiguité toi-même en n'utilisant pas cette expression, vu que tu as, à juste titre, remarqué qu'elle n'est pas précse. Bravo, donc.
La grosse ambiguïté ensuite, disons sous un autre angle, porte sur les régularités des fonctions.
J’ai déjà vu affirmer sur ce forum que pour une fonction de $\R$ dans $\R$ ($\R$ étant le domaine de définition de $f$), « $f$ est continue sur $I$ » est la même chose que « «$f_{|I}$ est continue ».
C’est ce « sur » encore qui est mal interprété.
@Tous : il y a effectivement une ambiguïté, j'en parle dans mon bouquin.
Je ne m'occupe que de la distinction entre $D_f \subseteq E$ et $D_f = E$.
Je pense qu'en théorie naïve (et dans les maths traditionnelles) on appelle fonction de $E$ dans $F$ toute fonction définie sur une partie de $E$, et application de $E$ dans $F$ une fonction de domaine exactement $E$. Par exemple, $f(x)= \dfrac{1}{x}$ mérite le statut de fonction de $\mathbb{R}$ dans $\mathbb{R}$.
Par contre, en théorie des ensembles ZF, la distinction disparaît, et une fonction de $E$ dans $F$ se doit d'être définie sur $E$. Dans le cas où le domaine de définition est strictement inclus dans $E$, on parle alors de fonction partielle.