Je m’inspire de $x\mapsto \tan(x)$ avec ses « morceaux verticaux » et je décide de bricoler le dernier à gauche et le dernier à droite pour qu’il n’y en ai que 2021.
Édit : Oups, je n’ai pas vu le message, ni de lourrran, ni de JLT…
Il faut bricoler ça…
On nous demande une fonction, et pas une application. La définition de fonction a-t-elle évolué ces 40 dernières années ?
Et du coup, j'avais failli proposer la fonction définie uniquement entre 0 et $2021 \pi$ par f(x) = tan(x), mais j'ai quand même fait un effort de plus.
Tu me dis, j'oublie. Tu m'enseignes, je me souviens. Tu m'impliques, j'apprends. Benjamin Franklin
Edit : ce n'est pas ça. Je corrige au message suivant.
Noter que ça marche si on remplace $2021$ par un nombre impair, mais pas par un nombre pair. D'où la question :
Soit $f:\R\to\R$ continue. On suppose qu'il existe $N>0$ tel que pour tout $t\in \R$, $f^{-1}(t)$ est non vide et a au plus $N$ éléments. Est-il vrai que l'ensemble des $t$ tels que $f^{-1}(t)$ est de cardinal pair est au plus dénombrable ?
Euh, JLT, ta fonction $f$ n'a pas l'air très continue :
\[f(x)\xrightarrow[x\rightarrow 2021^-]{}1 \quad \text{mais} \quad f(x)\xrightarrow[x\rightarrow 2021^+]{}2\]
Pour revenir à la question de JLT ci-dessus, il me semble que ceci y répond (rappelons que $f$ est supposée continue de $\R$ dans $\R$ et surjective).
1) Si $t\in\R$ admet un nombre pair d'antécedents, alors $t$ est un extremum local strict en conséquence de la continuité (sinon on déduit que $f$ est majorée ou minorée).
2) L'ensemble des extremums locaux stricts est dénombrable.
[small]NB. On dit $t$ est un maximum local strict lorsqu'il existe $x_0 \in \R$ et $\epsilon > 0$ tels que $f(x_0) = t$ et :
$$\forall x \in [x_0-\epsilon,x_0+\epsilon],\quad x \neq x_0 \implies f(x) < t.$$
De même pour un minimum local strict avec $f(x) > t$.[/small]
Au fait, on voit que la solution de JLT marche parce qu'on veut un nombre impair de solutions. L'an prochain, ppurrrons-nous résoudre cet exercice (avec une fonction continue) ?
Pas la peine, c'est que je ne suis pas assez attentif et c'est encore pire avec l'écran minuscule que j'ai utilisé tout à l'heure. Désolé pour le bruit.
En fait ceci est vrai en général pour tous les extremums locaux et pour toute fonction $f$ de $\R$ dans $\R$ :
Puisque $\Q$ est dense dans $\R$, on peut associer à chaque maximum local $t \in \R$ un couple $(a(t),b(t)) \in \Q^2$ tel que $t$ est le maximum de $f$ sur l'intervalle $\left]a(t),b(t)\right[$. Ceci définit manifestement une application injective à valeurs dans $\Q^2$ donc l'ensemble des maximums locaux est dénombrable, et il en va de même pour les minimums locaux.
@sol : Il y a quand même un problème quand $f$ est constante sur un intervalle de cardinal infini.
Mais tout ce que tu as dit est valable si on remplace "local" par "local strict", ce qui suffit dans le cadre de la question posée par JLT.
Pour me faire pardonner, je tente une preuve du fait que si le réel $t$ admet des antécédents $x_1<x_2<\ldots<x_{2n}$ en nombre pair par $f:\R\to\R$ continue et surjective, alors c'est un extremum local strict.
1) Si $n=1$, quitte à changer $f-t$ en $t-f$, on peut supposer $f-t>0$ sur $]x_1,x_2[$.
Si $t$ n'est pas un extremum local strict, alors $f-t<0$ sur $]{-}\infty,x_1[\,\cup\,]x_2,+\infty[$.
Or, $f$ étant continue, $f$ est majorée sur $[x_1,x_2]$ donc $f$ est majorée sur $\R$, ce qui contredit la surjectivité de $f$.
2) On suppose désormais $n\geq 2$ et $f-t>0$ sur $]x_1,x_2[$ comme en 1).
Si $t$ n'est pas un extremum local strict, alors $f-t$ change de signe autour de chacun des $x_i$.
Donc $f-t>0$ sur $]x_{2n-1},x_{2n}[$ (c'est ici qu'on fait jouer la parité) et, finalement, $f-t<0$ sur $]{-}\infty,x_1[\,\cup\,]x_{2n},+\infty[$.
On conclut ensuite comme en 1).
Remarque : On peut se passer du cas $n=1$ mais il est assez éclairant.
Réponses
$F(x) = \ln(-x)$ si x est négatif
$F(x) = \ln(x-2019 \pi)$ si $x > 2019 \pi$.
Cela dit, il existe beaucoup de solutions non continues, mais pas de solution continue (hmm pas sûr).
Édit : Oups, je n’ai pas vu le message, ni de lourrran, ni de JLT…
Il faut bricoler ça…
Cette fonction n'a pas 2021 solutions pour $t = \frac{1}{2}$ par exemple.
[Édit : J'ai mieux compris, merci.]
À bientôt.
Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
Après on peut réarranger les blocs pour s’amuser.
Et du coup, j'avais failli proposer la fonction définie uniquement entre 0 et $2021 \pi$ par f(x) = tan(x), mais j'ai quand même fait un effort de plus.
Je propose $2x + \sin(2020 \pi x)$ en tant que fonction continue mais je ne suis pas sûr que toutes les valeurs de $t$ ont bien 2021 solutions.
À bientôt.
Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
$$f(x)=d(x,2\Z)+\left\lfloor \frac{x}{2021}\right\rfloor.$$
Edit : ce n'est pas ça. Je corrige au message suivant.
Noter que ça marche si on remplace $2021$ par un nombre impair, mais pas par un nombre pair. D'où la question :
Soit $f:\R\to\R$ continue. On suppose qu'il existe $N>0$ tel que pour tout $t\in \R$, $f^{-1}(t)$ est non vide et a au plus $N$ éléments. Est-il vrai que l'ensemble des $t$ tels que $f^{-1}(t)$ est de cardinal pair est au plus dénombrable ?
\[f(x)\xrightarrow[x\rightarrow 2021^-]{}1 \quad \text{mais} \quad f(x)\xrightarrow[x\rightarrow 2021^+]{}2\]
Je prends pour $f$ l'unique fonction telle que $f(x)=d(x,2\Z)$ pour $0\leqslant x\leqslant 2021$ et $f(x+2021)=f(x)+1$ pour tout $x$.
Edit : je crois que c'est la même que JLT d'ailleurs !
$f(x)=t+\prod_{k=1}^{2021} (x-k).$
1) Si $t\in\R$ admet un nombre pair d'antécedents, alors $t$ est un extremum local strict en conséquence de la continuité (sinon on déduit que $f$ est majorée ou minorée).
2) L'ensemble des extremums locaux stricts est dénombrable.
[small]NB. On dit $t$ est un maximum local strict lorsqu'il existe $x_0 \in \R$ et $\epsilon > 0$ tels que $f(x_0) = t$ et :
$$\forall x \in [x_0-\epsilon,x_0+\epsilon],\quad x \neq x_0 \implies f(x) < t.$$
De même pour un minimum local strict avec $f(x) > t$.[/small]
En fait ceci est vrai en général pour tous les extremums locaux et pour toute fonction $f$ de $\R$ dans $\R$ :
Puisque $\Q$ est dense dans $\R$, on peut associer à chaque maximum local $t \in \R$ un couple $(a(t),b(t)) \in \Q^2$ tel que $t$ est le maximum de $f$ sur l'intervalle $\left]a(t),b(t)\right[$. Ceci définit manifestement une application injective à valeurs dans $\Q^2$ donc l'ensemble des maximums locaux est dénombrable, et il en va de même pour les minimums locaux.
Mais tout ce que tu as dit est valable si on remplace "local" par "local strict", ce qui suffit dans le cadre de la question posée par JLT.
Pour me faire pardonner, je tente une preuve du fait que si le réel $t$ admet des antécédents $x_1<x_2<\ldots<x_{2n}$ en nombre pair par $f:\R\to\R$ continue et surjective, alors c'est un extremum local strict.
1) Si $n=1$, quitte à changer $f-t$ en $t-f$, on peut supposer $f-t>0$ sur $]x_1,x_2[$.
Si $t$ n'est pas un extremum local strict, alors $f-t<0$ sur $]{-}\infty,x_1[\,\cup\,]x_2,+\infty[$.
Or, $f$ étant continue, $f$ est majorée sur $[x_1,x_2]$ donc $f$ est majorée sur $\R$, ce qui contredit la surjectivité de $f$.
2) On suppose désormais $n\geq 2$ et $f-t>0$ sur $]x_1,x_2[$ comme en 1).
Si $t$ n'est pas un extremum local strict, alors $f-t$ change de signe autour de chacun des $x_i$.
Donc $f-t>0$ sur $]x_{2n-1},x_{2n}[$ (c'est ici qu'on fait jouer la parité) et, finalement, $f-t<0$ sur $]{-}\infty,x_1[\,\cup\,]x_{2n},+\infty[$.
On conclut ensuite comme en 1).
Remarque : On peut se passer du cas $n=1$ mais il est assez éclairant.