Discuter:Application (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

	Application (mathématiques) fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
Bon début	Cet article a été classé comme d'Avancement BD selon le Tableau d'évaluation du projet. (Voir les statistiques)
Maximum	Cet article a été classé comme d'Importance maximum selon le Tableau d'évaluation du projet.

Cet article a été présélectionné pour faire partie du projet Wikipédia Junior. Ce projet comprend :

L'évaluation et l'amélioration d'une liste d'articles généralistes en vue d'une sortie sur cédérom, pouvant avoir une utilisation éducative,
L'ouverture et le lancement d'un wiki indépendant dédié aux juniors, permettant une nouvelle rédaction de chaque article adaptée aux 8-13 ans et donnant la possibilité à ce public de participer à sa construction.

Avancement : B, Importance moyenne, Merci de votre évaluation.

Bonjour !

Je n'ai pas encore tout vu sur ce site car il est tres vaste ! Auriez vous vu un endroit ou l'on explique l'étude de fonction ?

Si cela n'existe pas, es ce dans le profil de ce site, si oui je peux réaliser un début de page!!

Arno S.

Sommaire

1 Exemples de fonctions
2 Fonction vs application
3 Présentation vulgarisée
4 Besoin d'aide
5 Reprise de l'article
6 A poursuivre
7 Remarques de HB (d · c · b) sur la reprise
8 fonction et application

[modifier] Exemples de fonctions

L'âge est une fonction (prend l'homme et lui associe un nombre):

- non injective (plusieurs hommes peuvent avoir le même âge)
- surjective que si on reduit l'ensemble d'arrivée aux âges possibles

La relation qui à chaque ville associe sa lattitude et sa longitude (est une fonction):

- injective (pour une coordonnée il y a au plus une ville)
- non surjective (il n'y a pas de villes partout)

La relation entre individus et nationalités (n'est pas une fonction), un individus peut avoir plusieurs nationalités.

Là je suis pas sur, ca pourrait être une fonction ni injective, ni surjective (les apatrides) :)

La relation entre chaque état et son chef d'état (est une fonction):

- injective (un chef d'état est chef de au plus 1 état)
- surjective (un chef d'état est chef de au moins un état, exception pour l'Andorre)

La relation qui à tout entier naturel associe son successeur (est une fonction):

- injective (n->n+1)
- non surjective car sur l'ensemble des entiers 0 n'a pas d'antécédant

[modifier] Fonction vs application

C'est bizarre, on dirait que dans toutes les autres langues (Anglais, Allemand,...) on appelle "fonction partielle" ce que nous appelons "fonction", et "fonction" ce que nous appelons "application". Je pensais qu'en Anglais resp. Allemand les mots "map" resp. "Abbildung" signifiaient "application", et fonction = fonction partielle.

Du coup, en anglais on ne distingue pas "ensemble de départ" (nom officiel ?) du "domaine" (= ensemble de définition). Quel serait le terme adequate ?

Qu'en pensez vous ? ---MFH 10 mar 2005 à 07:36 (CET)

Tout est question de convention, mais dans ce cas précis, il existe quelques arguments, essentiellement d'ordre pédagogique, en faveur du couple (fonction, application) en opposition à (fonction partielle, fonction) :

Quelqu'un ignorant la définition de ces termes et les rencontrant pour la première fois pensera qu'une « fonction partielle » doit être une « fonction » avec une propriété supplémentaire; or, nous avons ici l'inverse : une « fonction » dans l'acception anglo-saxonne, est un cas particulier de « fonction partielle », alors qu'habituellement, les appellations vont du général au particulier (par exemple, un espace vectoriel normé est un cas particulier d'espace vectoriel, lui-même cas particulier d'espace), et ce pour une bonne raison : en reprenant notre exemple, il existe des espaces vectoriels non normés; transposé aux « fonctions partielles », cela signifie qu'il existe des « non-fonctions » qui sont quand même des fonctions...partielles (!?!). Allez donc vous y retrouver!
Revenons aux définitions de ces termes ; dans l'acception anglo-saxonne, cela donnerait :

- une « fonction partielle » est une correspondance fonctionnelle

- une « fonction » est une « fonction partielle » applicative

(Rappelons que :

- d'une part, une correspondance est fonctionnelle si on peut recourir à la notation fonctionnelle y = f( x), ce qui n'est possible que si « f( x) » n'offre pas d'ambiguïté, c'est-à-dire si tout élément de l'ensemble de départ a au plus une image par f;

- d'autre part, une correspondance est applicative si elle s'applique à tous les éléments de l'ensemble de départ, donc si tout élément de l'ensemble de départ a au moins une image par f).

Bref, une « fonction » serait définie comme une « fonction partielle applicative ». Encore une fois, pour quelqu'un ne connaissant pas les termes, la définition parait circulaire!

Comparativement, les termes français mène à des définitions plus simples et plus claires :

- une fonction est une correspondance fonctionnelle

- une application est une fonction applicative

Examinons aussi certaines conséquences :

- les applications linéaires devraient être rebaptisées « fonctions linéaires »; or, en français, les fonctions linéaires désignent déjà autre chose ( les fonctions numériques qui à x, associent a.x ), d'où apparition d'une ambiguïté!

- les fonctions numériques, justement, qui dans l'acception actuelle, sont bien des fonctions et pas seulement des applications (pensez à la fonction 1/x, par exemple) devraient être rebaptisées « fonctions partielles numériques » pour rester cohérent;

- plus généralement, on n'étudierait plus des fonctions (sous-entendu numériques), mais des « fonctions partielles » ! (Au fait, pourquoi à votre avis, étudie-t-on des fonctions et non des applications ? )

-...

En résumé, l'adoption de la terminologie anglo-saxone dans ce cas précis sémerait le trouble dans les esprits, entraînerait des complications inutiles et me semble ainsi contre-intuitive, pour ne pas dire contre-productive.

194.214.213.67 22 avr 2005 à 17:46 (CEST)

l'usage du couple fonction/application pour fonction partielle/fonction était en usage en particulier dans l'enseignement secondaire dans les années 1970-1980 (il me semble que ça a été abandonné, parce qu'il n'y a plus de fonctions partielles). Il n'a jamais été adopté pleinement dans la communauté universitaire. Je le croyais plus ou moins abandonné, mais d'après cet article ce ne serait pas le cas. Il faudrait donc au minimum mentionner l'autre usage (courant en français aussi). Il me semble que les mots "fonction" et "application" étaient utilisés historiquement dans des domaines différents (numérique/géométrie), vague souvenir à préciser et vérifier. Proz 29 août 2006 à 14:34 (CEST) J'ajoute, pour répondre à l'argumentaire ci-dessus, que l'autre point de vue se défend aussi : les choses deviennent plus compliquées avec les fonctions partielles, la composition, en particulier, et ça ne vaut la peine d'introduire cette notion que quand on en a vraiment besoin. Les fonctions numériques par ex. se définissent très bien comme des fonctions d'un sous-ensemble de R dans R. Donc l'alternative, c'est plutôt de parler d'abord de fonction, et quand c'est vraiment nécessaire, c'est à dire dans des conditions assez particulières, de fonction partielle.

Je suppose que tout cela a dû faire l'objet de nombreuses discussions et controverses, en ce qui concerne l'enseignement. Si quelqu'un avait une vision historique plus précise et claire que la mienne ça permettrait probablement de présenter les deux points de vue, en privilégiant celui qui est majoritaire actuellement. Proz 29 août 2006 à 15:10 (CEST)

Aïe, j'ai une autre façon d'opposer fonction à application, apparemment. Pour moi, toute flèche est une application entre deux ensembles, et je réserve le mot fonction pour une application à valeurs réelles ou complexes, à la limite vectorielles ! Ektoplastor, le 29 août, 14:53.

Oui, c'est peut-être plus conforme à l'usage historique (fonction : à valeur numérique). Proz 29 août 2006 à 15:16 (CEST)

Je suis de cet avis. Une fonction sans précision représente presque automatiquement une fonction numérique. D'ailleurs on pense tout de suite aux fonctions linéaires, affines, rationnelles. La notion très générale de fonction qui laisse certains éléments de l'ensemble de départ sans image n'est presque jamais utilisée, mais existe bien. Par contre lorsque l'on cherche à généraliser les fonctions numériques, on définit la notion d'application (en précisant que certains les appellent abusivement des fonctions) et normalement tout est défini à partir des applications (applications linéaires, etc.). Au passage je signale que l'on ne confond jamais application linéaire et fonction linéaire. Oxyde 29 août 2006 à 15:28 (CEST)

Juste un dernier point de détail : une fonction réelle est mesurable est définie seulement presque partout (bon, d'accord, j'exagère un peu, en la prolongeant par 0, on obtient une vraie fonction réelle sans en changer les propriétés pour l'étude probabiliste). Ektoplastor, 17:02

[modifier] Présentation vulgarisée

J'ai modifié un peu le vocabulaire de la pésentation vulgarisée mais je ne suis pas très convaincue de son bien fondé. Elle ne me paraît pas plus compréhensible qu'une bonne définition. Il me semble que un néophyte ne voit pas plus la transformation que la définition théorique. La fonction me semble davantage correspondre

tantôt à une correspondance : un prix en fonction d'une quantité achetée, une taille en fonction de l'âge, à un segment on associe sa longueur, à une surface on associe une aire... Je signale que c'est cette idée qui transparait dans le vocabulaire "la fonction f qui à x associe y"
Tantôt à un déplacement , par la translation t, le point M s'est déplacé en M'
Parfois seulement à une transformation : une boite dans laquelle rentre un nombre et de laquelle il ressort transformé

Mais il est toujours difficile de combiner vulgarisation et rigueur mathématique. Si quelqu'un a une idée pour modifier l'introduction ce ne serait pas plus mal. HB 9 juillet 2006 à 19:21 (CEST)

le problème de ces exemples, en plus, c'est qu'ils ne font pas ressortir clairement la différence avec la notion d'application. À ce titre, il faudrait des exemples du type la fonction qui à un candidat associe sa place à un championnat (il peut y avoir des éliminés ou non classés). Mais quoi de mieux qu'un exemple de la fonction numérique ?

Contrairement à HB je trouve qu'il faut amortir le choc de la définition formelle actuelle, assez rébarbative. J'aimerais au moins une formulation préliminaire du type : une fonction de l'ensemble E dans l'ensemble F associe à chaque élément de E soit un élément de F appelé image, soit aucun élément. Cette façon de formuler les choses a l'avantage d'être plus "dynamique" car moins symétrique en E et F.

Et de ce fait, il me semble plus simple d'entamer par la définition d'une application.

Enfin il y a un point non mentionné, c'est l'usage de la notion de fonction en physiques, qui n'est pas celui des maths, mais ça risque de polluer encore plus le débat Peps 10 juillet 2006 à 00:36 (CEST)

Pierre Richard en "prof de maths" dans "la moutarde me montre au nez" (1974)...ça vaut le déplacement !!! Soit la fonction exp(-x).sin(x)...la dérivée est exp(-x).(cosx-sinx),elle s'annule pour x=pi/4...Fonction croissante ,décroissante....

Soit l'image de f qui constitue un sous espace vectoriel....

L'acteur est plus vrai que nature dans ce role...

Frydman Charles

[modifier] Besoin d'aide

Voila j'ai un petit problème, et je ne trouve pas la réponse sur Wiki:

c'est un exemple:

$l (x) = f (x + 2)$

comment faire pour calculer $l ( - 3)$ ? ( précision : $f ( - 3) = 1$ )

j'espère que vous avez assez de renseignement,merci de m'expliquer si possible

--bibiche 10 septembre 2006 à 16:13 (CEST)

Changement de variable :

X = x + 2

donc l(x)=f(x+2) ⇒ l(X-2)=f(X) et l(-3)=f(-1). Où est le problème ? Grimlock 10 septembre 2006 à 16:18 (CEST)

Encore plus simple: En utilisant le principe de substitution, remplacer directement

x

par

- 3

dans l'expression «

l (x) = f (x + 2)

» (pas de changement de variable). Ce qui donne:

l ( - 3) = f ( - 3 + 2)

. Comme

- 3 + 2 = - 1

, on a bien

l ( - 3) = f ( - 1)

. $\square$ 147.210.22.149 29 novembre 2006 à 15:08 (CET)

[modifier] Reprise de l'article

Je suis d'accord avec le sens général des modifications entreprises par Ektoplastor. J'ai un peu repris l'intro. Détail : j'ai enlevé la référence aux fonctions à valeurs vectorielles, parce que j'avais déjà réécrit autrement, et que ça demande une précision, les applications linéaires sont à valeurs vectorielles (et est-ce à préciser dans l'intro ?).

Autre point : mentionner Zermelo-Fraenkel au début de l'article me semble excessif. C'est à rejeter en fin d'article.

Enfin il faut quand même mentionner l'ancien point de vue (fonction comme fonction partielle) à mon avis. Proz 8 février 2007 à 23:14 (CET)

Précision : j'ai enlevé "En règle générale, l'existence d'applications repose sur l'axiome du choix", parce que sans précision supplémentaire, ça ne veut pas dire grand chose, et parce qu'on peut éviter de mentionner l'axiome du choix dans l'intro. Proz 8 février 2007 à 23:31 (CET)

On peut évidemment construire des applications sans l'axiome du choix. Mais il est difficile pour la majeure partie des mathématiques disposer des applications en nombre suffisant (surtout en analyse). Je pense qu'il faut donner une définition informelle dès l'introduction, puis un paragraphe histoire où justement on explique comment les applications ont été introduites et où on renvoie à un article sur le sujet (très large). Enfin seulement on peut donner le paragraphe de définition. Cela va exactement en ton sens, si je ne fais pas d'interprétation abusive. Ekto - Plastor 8 février 2007 à 23:45 (CET)

Pour l'analyse : il me semble que si tu veux des applications en nombre suffisant, tu parles donc d'analyse fonctionnelle. En analyse réelle les fonctions dont on dispose "naturellement" suffisent (autant que ça ait un sens). Une forme très faible d'axiome du choix (l'axiome du choix dépendant) est suffisante pour faire de l'analyse réelle.

En fait j'ai l'impression que tu écris en pensant effectivement à l'analyse. Mais la notion de fonction est générale. On en parle aussi en algèbre, en combinatoire, en logique, en informatique ... Il faut que tout le monde puisse s'y retrouver. Il serait bien que le lecteur lambda (étudiant de terminale ou de première année de fac) puisse lire une définition un peu plus formelle (peut-être), et surtout les définitions élémentaires : composition, injection etc. (style ce que l'on trouve dans un bouquin de deug ou de taupe) dans la première partie de l'article. Dans la suite évidemment on peut aller plus loin. Proz 9 février 2007 à 00:24 (CET)

Sans aller jusque dans l'analyse fonctionnelle, les fonctions usuelles ne suffisent visiblement pas en analyse réelle. En analyse (moyennant l'axiome du choix), on dispose d'un nombre non dénombrable d'applications régulières. En oubliant l'axiome du choix, on doit définir les fonctions de manière récursive, ce qui me semble insatisfaisant. Je ne connais pas l'axiome du choix indépendant mais ça m'intéresserait de lire un article sur le sujet. En attendant, j'irais voir dans une bibliothèque.

Sinon, oui, merci, évidemment qu'on rencontre des applications partout. (Là on défonce vraiment des portes, non ?) Tiens, j'ai oublié de mentionner que l'ensemble d'arrivée est nécessairement non vide, si l'ensemble de départ l'est.

C'est vrai qu'il est souhaitable de précéder la partie Définition d'une définition élémentaire et des propriétés qui en découlent. Mais je maintiens de devoir créer un paragraphe Histoire au tout début de l'article.

Ekto - Plastor 9 février 2007 à 00:47 (CET)

D'accord bien-sûr pour le paragraphe historique (pas facile par ailleurs). L'axiome du choix dépendant (pas indépendant) : tu as l'énoncé dans axiome du choix. Sinon, l'analyse sans axiome du choix n'est pas l'analyse récursive (le problème c'est plutôt le tiers-exclu). Mais bon tout ça n'est pas si important, je ne prétends pas que l'axiome du choix ne sert pas mais il sert assez tard. Borel conteste l'axiome du choix par ex. Dans le § sur la théorie des ensembles, d'une part on peut dire le contraire avec d'autres arguments (qu'est-ce qu'une fonction intéressante ?), suffisamment de fonctions serait déjà moins contestable, d'autre part tu peux être sûr d'être mal interprété, puisque pour des tas de gens fonction n'est pas forcément fonction en analyse. (Détail mineur : pas besoin de schéma de remplacement pour l'existence de l'image d'une fonction = ensemble de couples, ni d'invoquer d'axiome pour un élément dans un ensemble non vide, je peux corriger mais tu as l'air en train d'éditer ...). Proz 9 février 2007 à 10:27 (CET)

Deux ensembles sont distincts s'ils ne contiennent pas les mêmes ensembles. Il existe un ensemble, l'ensemble vide, qui ne contient aucun élément. Bien que ça fait longtemps que je n'ai plus touché à la logique, mais ce sont là deux axiomes indépendants l'un de l'autre desquels on déduit qu'un ensemble est non vide s'il contient au moins un élément...

Sinon, comment démontrer que la collection des f(x) est un sous-ensemble de F sans le schéma de remplacement ? Pour moi, le schéma de remplacement donne justement pour tout ensemble A l'existence d'un ensemble B contenant tous les y tels que g(x,y,...) où g dépend éventuellement de paramètres. Me trompe-je ?

Ekto - Plastor 9 février 2007 à 10:36 (CET)

A non vide : c'est par définition A contient au moins un élément. Tu choisis A différent de l'ensemble vide, je n'y avais pas pensé, c'est certes possible, mais bien contourné (on définit normalement être vide avant l'ensemble vide) !

Remplacement : ça n'est utile que si g est une classe (définie par une formule). Pour un ensemble de couples l'argument que tu as donné je crois pour l'ensemble de départ fonctionne pour l'ensemble image (par compréhension, et suffisamment de fois l'axiome de la réunion sur le graphe). Proz 9 février 2007 à 11:57 (CET)

Il est écrit:

Par contre, si F est vide, l'unique sous ensemble de E×F, l'ensemble vide, ne définit pas d'application : la seconde relation fonctionnelle ne peut être vérifiée.

Les éléments de l'ensemble vide vérifie tout ce qu'on veut. Oxyde 9 février 2007 à 12:30 (CET)

Ca y est j'ai compris : l'image est l'ensemble des éléments de l'ensemble d'arrivée tels qu'il existe une préimage. Du fait qu'on sait déjà que les éléments sont dans un ensemble, on a besoin que du schéma de compréhension. Est-ce ça ?

Non ??? Tu considères F vide et E non vide je suppose et, il n'est pas indiqué E non vide. Oxyde 10 février 2007 à 19:17 (CET)

pas besoin de l'ensemble d'arrivée, il suffit de dire que le graphe est un ensemble, voir l'article couple (mathématiques) (autant être exact, mais tout ça c'est du détail, et à reléguer en fin d'article) Proz 9 février 2007 à 22:20 (CET)

Pour tout x dans E, il existe y appartenant à F tel que ... Or F est l'ensemble vide. Il n'existe donc pas d'application de F dans l'ensemble vide. Ici, ce ne sont pas les éléments de l'ensemble vide qui vérifient une propriété. Ma phrase est légèrement mal tournée. Ekto - Plastor 9 février 2007 à 14:28 (CET)

[modifier] A poursuivre

J'ai un peu nettoyé l'article, essayé de compléter ou d'harmoniser sur certains points, relégué la théorie des ensembles (après corrections et explicitation de la formalisation alternative, utilisée précédemment implicitement) en fin d'article. Il manque toujours des exemples illustratifs simples, comme déjà mentionné par HB dans cette page de discussion, des schémas également. Il faudrait parler d'image et d'image réciproque d'un sous-ensemble. Dans la suite, parler de l'usage de la notion de fonction en physique (mentionné par Peps) me semble une bonne idée, j'ajouterais la même chose pour l'informatique. Proz 21 octobre 2007 à 02:41 (CEST)

[modifier] Remarques de HB (d · c · b) sur la reprise

Changement de titre de fonction vers application

l'article précédent distinguait la fonction et l'application : celui ci semble dire qu'une fonction est seulement une application numérique. Cela me fait grincer des dents : certes ma formation date de ces fameuses années 70, mais je ne dois pas être la seule à faire le distingo : fonction =au plus une image, application = une image et une seule. Faire fi de cette définition qui a duré au moins 30 ans me semble un peu léger. Une allusion dans le corps de l'article me semble judicieux

le fait de faire disparaitre l'article sur la fonction pour l'appeler application rend plus difficile l'introduction de l'aspect historique sur la notion de fonction (voir le site chronomath et leibniz)

Je n'ai rien compris. Peux-tu être plus clair dans ta distinction entre fonction et application ?

année 70 et plus : une fonction de A vers B est un ensemble non vide de couples ordonnés (x;y) avec x dans A et y dans B tel que à chaque x de A correspond au plus un y (c-à-d 0 ou 1 y) . Le correspondant de x (quand il existe) est noté f(x) ou image de x. L'ensemble des x possédant une image est appelé domaine de définition de f (on préfère maintenant le terme d'ensemble de définition car le terme de domaine semble recouvrir d'autre concepts). Ainsi, on dira « f est une fonction de R dans R qui à x associe 1/x. Son ensemble de définition est R* ». Et on dira « g est une application de R* dans R qui à x associe 1/x ». Mais je t'engage à lire l'article Correspondance et relation qui précise très bien les choses.

Ma formation date de 2 ans, et j'ai aussi appris « fonction = au plus une image, application = une image et une seule »... on devrait au moins préciser que cette distinction-là existe. — Florian, le 9 février 2007 à 22:10 (CET)

Travail sur l'ensemble de départ

Disparait du même coup le travail sur l'ensemble de départ qui transforme une fonction en une application. L'allusion à ce travail me semble important car une fonction est souvent rencontrée par son expression. la recherche du bon ensemble de départ que je continue à appeler l'ensemble de définition est une préoccupation importante.

Tu parles du domaine de définition. Oui, c'est important (voir par exemple les opérateurs non bornés). En fait il suffit de supprimer la deuxième relation fonctionnelle. L'image n'est pas toujours définie. Par contre le domaine de définition est toujours un ensemble en appliquant le théorème de compréhension, par restriction on se ramène donc à un ensemble.

Je ne comprends pas "il suffit de supprimer la deuxième relation fonctionnelle ". Le fait que le domaine de définition soit un ensemble ne me pose pas de problème d'éthique et je n'ai pas besoin de citer le théorème de compréhension. Le fait que le premier ensemble de départ ne définisse pas une application est important car tu ne peux alors pas parler de restriction (rectriction de quoi ?) alors qu'on parlait de restriction d'une fonction sans problème.

Désolé il s'agissait en fait de l'axiome de compréhension. Le fait que la collection des x telle que l'image soit définie soit un ensemble n'a rien d'évident. C'est un axiome indépendant des autres. Je peux toujours définir une application comme un sous-ensemble G du produit ExF intersectant chaque fibre en au plus un point. Je définis alors la restriction à E' comme l'intersection de G avec E'xF. Si E' est le domaine de définition, alors la restriction intersecte chaque fibre en exactement un point. Ce que tu appelles fonction est une application définie sur un sous-ensemble de E. Le fait que ça soit un sous-ensemble demande d'avoir la bonne théorie axiomatique. Donc, ton approche est intuitionniste. Tu définis a priori l'application que tu souhaites, mais tu vois que tu es obligé de restreindre le domaine de définition. Amha, ce n'est pas démodé. Mais le vocabulaire change.

C'est typiquement ce qui se passe pour les opérateurs non bornés. Pour citer un exemple riche, à une fonction f réelle d'une variable réelle de carré integrable tu associes sa dérivée. L'application linéaire que tu obtiens n'est pas définie partout, seulement sur un sous-ensemble dense, qui est en fait un espace de Sobolev, tu l'auras compris.

Mais application et fonction sont des termes qui doivent remonter à Bourbaki, ça ?

La différence entre les deux n'est pas nouvelle. Et cela m'étonne qu'il y a trente ans, on utilisait un vocabulaire complètement différent. Je crains que si on commence à faire référence à toutes les réformes de l'éducation nationale ...

Ekto - Plastor 9 février 2007 à 18:03 (CET)

Article pour puriste

Les préoccupations sur l'axiome du choix et le travail sur des applications dont l'ensemble de départ et/ou l'ensemble d'arrivée est vide me parait une préoccupation de puriste. Il y a, à mon avis, à faire bien autre chose avant d'en arriver là. Peut être par exemple citer des exemples pratiques et basiques de fonctions....

Puriste, moi ? Mais tu as raison : on doit commencer par une partie Histoire. (Commençons donc par le commencement : rédigeons l'article Histoire des fonctions !).

Comme on le dit souvent, la logique mathématique vient un peu en dernier.

Bon courage pour la reprise. HB 9 février 2007 à 16:40 (CET)

Merci. Ekto - Plastor 9 février 2007 à 16:57 (CET)

[modifier] fonction et application

Je remets en place la version de 82.230.232.194 qui a été revertée : elle contient des corrections essentiellement typographiques du paragraphe de HB (que je trouve très clair et agréablement synthétique tel qu'il est, par ailleurs). L'affirmation ajoutée "Celui-ci [l'usage] n'a d'ailleurs jamais été adopté par la communauté mathématique dans son ensemble", est évidente et n'a pas besoin d'être référencée précisément. Proz 12 février 2007 à 23:17 (CET)

Ce n'est pas parce la tendance est de confondre application et fonction que la communauté scientifique n'a jamais vraiment adopté la distinction entre les deux notions, ou alors peut-être parles-tu dans le cadre de l'enseignement ? Il y a d'ailleurs encore des ouvrages (plus rares) qui font encore cette distinction entre relation fonctionnelle et applicative. Oxyde 13 février 2007 à 00:02 (CET)

S'il y a une tendance à la confusion, il faudrait citer qqn qui l'a dénoncée et non véhiculer une telle affirmation. Ekto - Plastor 13 février 2007 à 00:37 (CET)

Tu cites qui ? :-) Oxyde 13 février 2007 à 00:48 (CET)

(réponse à Oxyde) Pour "jamais dans son ensemble", je comprends "jamais unanimement", ce qui me semble clair, vu la littérature en français, et l'influence de l'anglais (si je ne me trompe on a toujours dit "partial function"). En récursivité (où c'est vraiment nécessaire) on a toujours parlé de fonction partielle par exemple. Sur le fond je pense que tout ça a peu d'importance, sauf pour le débutant qui peut être troublé si jamais il rencontre deux définitions différentes sous le même nom (et qu'il s'en rend compte), et pour cela le paragraphe "fonction et application" est utile. Proz 13 février 2007 à 01:04 (CET)

Pour Oxyde : qu'est ce que j'en sais ! Tu noteras le conditionnel !

Pour Proz : D'accord avec toi, cependant, partiel s'utilise en logique, mais l'usage peut changer suivant les domaines de mathématiques ; ou les domaines scientifiques. Ekto - Plastor 13 février 2007 à 01:07 (CET)

Pour Ekto, ce n'est pas très encyclopédique, le sourçage est de rigueur (Le règlement intérieur p. 5)

Pour Proz, je suis d'accord ça n'a pas beaucoup d'importance. Surtout que la distinction entre les deux notions ne va jamais plus loin qu'un chapitre dans les livres où elle est faite. Oxyde 13 février 2007 à 01:23 (CET)

Voyons, Oxyde, je n'ai jamais défendu cette information. Mais je ne demande pas de sourcer l'affirmation mais de citer ouvertement un mathématicien ou quelqu'un de bien placé et de reconnu et de donner les références de cette citation. (Oui, parce qu'on source une information, mais on cite un avis et une opinion, hors, là c'est un avis et une opinion, un POV). En attendant, c'est à supprimer, comme tous les POV ... Article 458-6746-123-BE43 du sixième amendement du règlement intérieur

Ekto - Plastor 13 février 2007 à 01:32 (CET)

Après quelques renseignements pris à droite et à gauche, le notion de fonction comme relation fonctionnelle, permet de donner un sens à la question suivante:

Déterminer l'ensemble de définition de la fonction f de R dans R $x\mapsto {1 \over x}$

Et cela consiste alors à déterminer la plus grande partie D de R, telle que la restriction de f à D soit une application. Sinon on est obligé de dire voila une application f de R dans R $x\mapsto {1 \over x}$ (ce qui faux); et de poser la question est-elle bien définie ? Oxyde 14 février 2007 à 11:30 (CET)

On peut parler du domaine de définition de f(x)=1/x sur R (au sens de l'expression 1/x). Proz 14 février 2007 à 20:58 (CET)