Voir la source de Fonction continue nulle part dérivable

[[File:1906_San_Francisco_earthquake_seismograph.png|thumb|[[Sismogramme]] du [[Tremblement de terre de 1906 à San Francisco]] : bien que continue, cette courbe n'est pas « arrondie ».]]
En [[mathématiques]], une '''fonction continue nulle part dérivable''' est une [[fonction numérique]] qui est régulière du point de vue [[topologie|topologique]] (c'est-à-dire [[Continuité (mathématiques)|continue]]) mais ne l'est pas du tout du point de vue du [[calcul différentiel]] (c'est-à-dire qu'elle n'est [[dérivabilité|dérivable]] en aucun point).

La continuité d'une fonction signifie que sa [[Graphe d'une fonction|courbe représentative]] n'admet pas de « trou ». La dérivabilité assure qu'elle est bien « arrondie ». Il est assez aisé de démontrer que toute fonction dérivable sur un intervalle est continue sur ce même intervalle. Les [[mathématicien]]s ont cru jusqu'au {{s|XIX}} que la réciproque était en partie vraie, que les points où une fonction continue n'est pas dérivable sont rares. Il n'en est rien. De nombreux contre-exemples furent découverts. 

Depuis, l'étude de ces fonctions a montré qu'elles étaient importantes, non seulement du point de vue de la [[logique]] interne aux mathématiques, pour comprendre le concept de fonction, mais également pour fournir des modèles utiles aux autres sciences. Les [[fractal]]es donnent également des exemples de courbes continues sans [[tangente (géométrie)|tangente]]s.

== Histoire ==
Le concept même de fonction ne s'est clarifié qu'au {{s|XIX}}, lorsqu'en 1837, [[Johann Peter Gustav Lejeune Dirichlet|Dirichlet]] pose une définition moderne du concept de fonction.
{{Théorème|Définition|Une 
quantité ''y'' est une ''fonction'' (univoque) d'une quantité {{mvar|x}}, dans un intervalle donné quand à chaque valeur attribuée à {{mvar|x}} dans cet intervalle correspond une valeur unique et déterminée de {{mvar|y}}, sans ''rien'' spécifier sur la façon dont les diverses valeurs de {{mvar|y}} s'enchaînent les unes aux autres<ref>''[https://gallica.bnf.fr/ark:/12148/bpt6k2025807 Encyclopédie des sciences mathématiques pures et appliquées]'', {{t.|II}}, {{vol.|1}}, [[Gauthier-Villars]], 1909, {{p.|13}}.</ref>.}}

À cette époque, les mathématiciens pensaient que toute fonction continue est dérivable, sauf éventuellement en quelques points particuliers, cette opinion n'étant pas contredite par leur pratique du calcul différentiel<ref>{{harvsp|Thim|2003|p=4}}.</ref>. Par exemple, en 1806, [[André-Marie Ampère|Ampère]]<ref>{{ouvrage |auteur=[[André-Marie Ampère]] |titre=Recherches sur quelques points de la théorie des fonctions dérivées qui conduisent à une nouvelle démonstration de la série de Taylor, et à l'expression finie des termes qu'on néglige lorsqu'on arrête cette série à un terme quelconque |périodique=Journal de l'École polytechnique, {{13e|cahier}}, {{t.|VI}} |année=1806 |pages={{p.}}148-191 |lire en ligne=http://www.ampere.cnrs.fr/bibliographies/pdf/1806-P005.pdf}}.</ref> essaya de prouver que toute fonction est dérivable {{Citation|à l'exception de certaines valeurs particulières et isolées}}, sans cependant clarifier ce qu'il entendait par ''fonction''<ref name="Thim">{{harvsp|Thim|2003}}.</ref>.

[[File:Bolzano's curve1.svg|thumb|Processus itératif de construction de la courbe de Bolzano (version croissante).]]
[[File:Bolzano's curve2.svg|thumb|Processus itératif de construction de la courbe de Bolzano (version décroissante).]]Dès 1833-1834<ref>Jan Sebestik, ''Logique et mathématique chez Bernard Bolzano'', Vrin, 1992, {{Google Livres|FE0Z3i8UldAC|page=418|{{p.|418}}}}.</ref>, [[Bernard Bolzano]] présente le premier exemple d'une fonction continue partout et nulle part dérivable. Il construit la courbe de Bolzano, de manière itérative, en partant d'un segment quelconque, et en remplaçant tout segment par 4 segments construits à l'aide d'un quadrillage au huitième illustré dans l'image ci-contre<ref name=Richlik> {{article |auteur=[[Karel Rychlik]] |titre=La théorie des fonctions de Bolzano |périodique=Atti del Congresso internazionale dei Matematici |lieu=Bologne |année=1928 |volume=6 |pages=503-505}}.</ref>. Pour lui, une limite de fonctions continues est une fonction continue<ref>Ce n'est pas vrai en général, mais la convergence vers sa fonction étant uniforme, la continuité est effectivement assurée.</ref>. Il démontre que la fonction obtenue n'est monotone dans aucun intervalle et qu'elle n'a pas de [[dérivée]] dans un ensemble dense. Cet exemple est en fait plus riche car on peut prouver que sa fonction n'a pas de dérivée ni même de dérivée infinie à signe déterminé en tout point de l'intervalle d'étude sauf à droite à l'origine où la limite du taux d'accroissement est {{math|+∞}}<ref name=Richlik/>. Mais les manuscrits de ses travaux sur cette fonction, dite [[fonction de Bolzano]], ne sont redécouverts qu'en 1920 et publiés qu'en 1922<ref>{{harvsp|Thim|2003|p=11}}.</ref>. [[Charles Cellérier]] découvre aussi, vers 1860, un autre exemple de fonction continue nulle part dérivable sans connaître celle de Bolzano. Son travail reste aussi inédit jusqu'à sa mort en 1890<ref>{{harvsp|Thim|2003|p=18}}.</ref>.

C'est pourquoi [[Bernhard Riemann]] étonna la communauté mathématique quand il exhiba, lors d'une conférence en 1861, un exemple de fonction qui est continue sur <math>\R</math> mais dérivable seulement en de rares points<ref name="Thim"/>. Cette fonction est définie par 
:<math>f(x)=\sum_{k=1}^{+\infty}\frac{1}{k^2} \sin (k^2 x)</math>
et n'est dérivable en {{mvar|x}} que lorsque {{math|''x'' {{=}} {{sfrac|''p''π|''q''}}}} où {{mvar|p}} et {{mvar|q}} sont des entiers impairs.
 
En 1872, [[Karl Weierstrass]] fut le premier à publier non seulement une, mais toute une [[fonction de Weierstrass|famille de fonctions continues et nulle part dérivables]]. Elles sont définies par
:<math>f(x)=\sum_{k=0}^{+\infty}a^k \cos (b^k \pi x)</math>
où {{mvar|a}} et {{mvar|b}} sont des constantes [[nombre réel|réelles]], {{mvar|a}} étant dans ]0 ; 1[ et le produit {{mvar|ab}} strictement supérieur à {{math|1 + {{fraction|3π|2}}}} ([[Godfrey Harold Hardy]] la généralisera de façon optimale en 1916 en montrant que {{math|''ab'' ≥ 1}} suffit<ref>{{Article|lang=en|auteur=G. H. Hardy|année=1916|titre=Weierstrass's nondifferentiable function|revue=[[Transactions of the American Mathematical Society|Trans. Amer. Math. Soc.]]|vol=17|p.=301-325|url=https://archive.org/details/jstor-1989005}}.</ref>).
Après cette découverte, des mathématiciens en trouvèrent d'autres<ref name="Thim"/>.

On est allé même plus loin en prouvant que pour une fonction continue arbitraire, il existe une fonction continue partout et nulle part dérivable aussi proche d'elle que l'on désire. Cela signifie que ces fonctions particulières sont particulièrement nombreuses et forment un « gros » ensemble d'un point de vue [[topologie|topologique]].

== Perception ==
L'intérêt d'introduire ces fonctions, que l'on qualifie parfois de pathologiques, fut parfois rejeté par les mathématiciens. Citons par exemple [[Charles Hermite]] qui déclara en 1893 :
{{Citation bloc|Je me détourne avec effroi et horreur de cette plaie lamentable des fonctions continues qui n'ont point de dérivées<ref>« Lettre 374 d'Hermite à Stieljtes du 20 mai 1893 », ''Correspondance d’Hermite et de Stieltjes'', éd. [[Benjamin Baillaud|B. Baillaud]] et H. Bourget. vol 2, Gauthier-Villars, 1905, {{p.|317-319}}.</ref>.}}
ou encore [[Henri Poincaré]] qui qualifie ces fonctions de « monstres »<ref group="Note">La citation exacte est :
{{Citation|La logique parfois engendre des monstres. On vit surgir toute une foule de fonctions bizarres qui semblaient s'efforcer de ressembler aussi peu que possible aux honnêtes fonctions qui servent à quelque chose. Plus de continuité, ou bien de la continuité, mais pas de dérivées […] Autrefois, quand on inventait une fonction nouvelle, c'était en vue de quelque but pratique ; aujourd'hui, on les invente tout exprès pour mettre en défaut les raisonnements de nos pères, et on n'en tirera jamais que cela.}} {{harvsp|Poincaré|1908|p=132}}.</ref>.

Dans ''[[La Valeur de la Science]]'', lorsqu'il faut donner des exemples pour lesquels l'intuition est mise en défaut en mathématiques, Poincaré donne ces fonctions en premier<ref group="Note">{{citation|L’intuition ne peut nous donner la rigueur, ni même la certitude, on s’en est aperçu de plus en plus. Citons quelques exemples. Nous savons qu’il existe des fonctions continues dépourvues de dérivées. Rien de plus choquant pour l’intuition que cette proposition qui nous est imposée par la logique. Nos pères n’auraient pas manqué de dire : « Il est évident que toute fonction continue a une dérivée, puisque toute courbe a une tangente. »}}</ref>.

La découverte de l'existence de ces fonctions a profondément modifié la vision qu'avaient les mathématiciens du concept de fonction et de celui de [[courbe]]. Les fonctions numériques réelles continues sont parfois présentées comme étant celles dont on peut tracer la courbe {{citation|sans lever le crayon}}<ref>Par exemple le [ftp://trf.education.gouv.fr/pub/edutel/bo/2001/hs4/maths2.pdf programme officiel] de mathématiques de 2001 des classes de [[terminale S]] en France.</ref>. Or, le graphe d'une fonction continue nulle part dérivable ne peut pas être tracé.

Ces fonctions sont encore considérées, au tournant des années 2000, comme contre-intuitives et comme un facteur bloquant pour l'apprentissage des mathématiques :
{{citation bloc|Bien entendu, on sait maintenant qu’il existe des fonctions continues nulle part dérivables, mais, au niveau de l’enseignement secondaire, il n’y a aucun inconvénient à s'appuyer sur l’intuition contraire<ref>''[http://smf.emath.fr/Enseignement/CommissionKahane/RapportEnseignementGeometrie/html/RapportEnseignementGeometrie.html Rapport d'étape sur la géométrie et son enseignement]'', Commission de réﬂexion sur l’enseignement des mathématiques, janvier 2000, dit ''rapport [[Jean-Pierre Kahane|Kahane]]'', sur le site de la [[Société mathématique de France]].</ref>.}}

[[Benoît Mandelbrot|Mandelbrot]], célèbre pour avoir popularisé les [[fractale]]s<ref group=Note>Les courbes des fonctions continues partout nulle part dérivables ont souvent des structures de fractales et inversement, les fractales fournissent des exemples de telles fonctions.</ref>, soutenait au contraire que les courbes continues sans tangentes sont intuitives, mais reconnaissait n'avoir trouvé, parmi ses prédécesseurs, que deux mathématiciens partageant cette opinion<ref>{{Ouvrage |langue=fr |auteur1=[[Benoît Mandelbrot]] |titre=Les objets fractals |sous-titre=forme, hasard et dimension |lieu=Paris |éditeur=[[Groupe Flammarion|Flammarion]] |année=1995 |numéro d'édition=4 |pages totales=208 |isbn=2-08-081301-3 |numéro chapitre=2}}{{Commentaire biblio SRL|Ouvrage de référence sur les fractales, leur découverte et leurs applications.}}</ref>.

== Un exemple ==

L'article [[fonction de Weierstrass]] présente un exemple historique d'une classe de fonctions continues partout nulle part dérivables. Nous allons en donner une autre.

On définit une fonction par
:<math>g(x):=\begin{cases} 1+x & \text{si } x \in [-2;0] \\ 1-x & \text{si } x \in [0;2].\end{cases}</math>

[[Image:continuous not differentiable function.svg|thumb|upright=2|Représentations graphiques de <math>\color{Red} f_1</math>,<math>\color{Blue} f_2</math> et<math> f_3\,</math> dont {{mvar|f}} est la limite.]]
On peut la prolonger par périodicité sur tous les réels en posant pour tout {{mvar|x}} réel
:<math>g(x+4)=g(x)</math>
On pose alors
:<math>f(x):=\sum_{k=1}^{+\infty} \frac{1}{2^k} g(2^{2^k} x).</math>

Cette fonction est continue sur <math>\R</math>, mais n'est dérivable en aucun point de <math>\R</math>.

'''Principe de la construction.''' La fonction {{mvar|f}} est [[convergence uniforme|limite uniforme]] de fonctions {{mvar|f{{ind|n}}}} définies par :
:<math>f_n(x):=\sum_{k=1}^{n} \frac{1}{2^k} g(2^{2^k} x).</math> 
Ces fonctions {{mvar|f{{ind|n}}}} sont continues, affines par morceaux, mais leurs représentations graphiques sont formées de segments de droites dont les pentes sont de plus en plus ''raides''. 
{{Clr}}

{{démonstration|
;Continuité

Par définition de {{mvar|g}}, on a 
:<math>\sup_{x \in \R} \left| \frac{1}{2^k} g(2^{2^k} x) \right| =  \frac{1}{2^k}</math>
Or la [[série géométrique]] <math>\sum_k 2^{-k}</math> est convergente, si bien que la suite {{math|(''f{{ind|n}}'')}} [[convergence normale|converge normalement]] donc uniformément vers {{mvar|f}}. Comme de plus <math>x \mapsto 2^{-k} g(2^{2^k} x)</math> est continue sur <math>\R</math>, il en est de même de {{mvar|f{{ind|n}}}} et de sa limite uniforme {{mvar|f}}.

;Dérivabilité

Soit <math>x \in \R</math>. On va construire une suite de réels {{math|(''h{{ind|n}}'')}} convergeant vers 0 et telle que 
:<math>\lim_{n \to +\infty} \left|\frac{f(x+h_n) - f(x)}{h_n}\right| = + \infty</math>
ce qui assurera que {{mvar|f}} n'est pas dérivable en {{mvar|x}}.

Pour ce {{mvar|x}} fixé et pour tout <math>n\in \N^*</math>, on choisit {{math|''ε{{ind|n}}'' {{=}} ±1}} tel que {{math|2{{exp|2{{exp|''n''}}}}''x''}} et {{math|2{{exp|2{{exp|''n''}}}}''x'' + ''ε{{ind|n}}''}} soient dans le même intervalle de la forme {{math|[2''N'' ; 2''N''+2]}}. On pose alors <math>h_n:= \varepsilon_n 2^{-2^n}</math>.

* Pour {{math|''k'' > ''n''}}, on sait que {{math|2{{exp|2{{exp|''k''}}}}''h{{ind|n}}''}} est un multiple de 4, et comme {{mvar|g}} est de période 4, on a 
*:<math>g(2^{2^k}(x+h_n))-g(2^{2^k}x)=0.</math>
* Pour {{math|''k'' {{=}} ''n''}}, on a
*:<math>|g(2^{2^n}(x+h_n))-g(2^{2^n}x)|=|g(\varepsilon_n+2^{2^n}x)-g(2^{2^n}x)|=1.</math>
* Pour {{math|''k'' < ''n''}}, comme on sait, par construction de la fonction {{mvar|g}} que 
*:<math>|g(b) - g(a)| \le |b-a|</math> 
*:(la pente de la droite joignant deux points de {{mvar|C{{ind|g}}}} est toujours comprise entre -1 et 1). On a en particulier 
*::<math>|g(2^{2^k}(x+h_n))-g(2^{2^k}x)|\leq |2^{2^k}h_n| \leq 2^{2^{n-1}} 2^{-2^n} = 2^{-2^{n-1}}</math>
*:donc
*::<math>\left| \sum_{k=1}^{n-1}2^{-k}\left( g(2^{2^k}(x+h_n))-g(2^{2^k}x)\right) \right| \leq \left(\sum_{k=1}^{n-1}2^{-k}\right) 2^{-2^{n-1}}\leq 2^{-2^{n-1}}.</math>

On peut donc minorer le taux d'accroissement de {{mvar|f}} en {{mvar|x}} :
:<math>\begin{align}
\left| \frac{f(x+h_n)-f(x)}{h_n} \right| & = 2^{2^n} \left| \sum_{k=1}^{+\infty} 2^{-k}\left( g(2^{2^k}(x+h_n))-g(2^{2^k}x)\right) \right| \\ 
& =  2^{2^n} \left| \sum_{k=1}^{n} 2^{-k}\left( g(2^{2^k}(x+h_n))-g(2^{2^k}x)\right)\right| \\
& \geq  2^{2^n}\left( 2^{-n}- \left| \sum_{k=1}^{n-1} 2^{-k}\left( g(2^{2^k}(x+h_n))-g(2^{2^k}x)\right)\right| \right) \\
& \geq 2^{2^n} (2^{-n}- 2^{-2^{n-1}})= 2^{2^n-n} (1- 2^{n-2^{n-1}})\\
& \longrightarrow +\infty \text{ quand } n \to +\infty\end{align}</math>
Ceci montre que {{mvar|f}} n'est pas dérivable en {{mvar|x}}, or ce point est arbitraire, donc {{mvar|f}} n'est dérivable en aucun point de <math>\R</math>.}}

== Densité ==

{{théorème|Toute fonction continue sur [0, 1] est limite uniforme de fonctions continues et nulle part dérivables sur [0, 1].}}

Cela signifie que pour une fonction <math>f:[0,1] \rightarrow \R</math> continue fixée et pour un <math>\varepsilon>0</math> arbitraire, il existe une fonction <math>g:[0,1] \rightarrow \R</math> continue nulle part dérivable telle que
:<math>\sup_{t \in [0,1]} |f(t) -g(t)| < \varepsilon.</math>

En d'autres termes, cela signifie que l'ensemble des fonctions continues et nulle part dérivable est [[Partie dense|dense]] dans l'ensemble des fonctions continues, pour la topologie de la [[convergence uniforme]].

On peut énoncer un résultat analogue sur <math>\R</math> : toute fonction continue sur <math>\R</math> est localement limite uniforme de fonctions continues et nulle part dérivables.

{{démonstration|
Soit <math>f:[0,1] \rightarrow \R</math> continue. On a vu d'après la section précédente qu'il existe au moins une fonction <math>g:[0,1] \rightarrow \R</math> continue partout nulle part dérivable. On sait alors que <math>f-g</math> est une fonction continue de [0, 1] dans <math>\R</math>, donc d'après le [[théorème de Stone-Weierstrass]], elle est limite uniforme sur [0, 1] d'une suite <math>(P_n)_{n \in \N}</math> de fonctions polynomiales.
La fonction <math>f</math> est alors limite uniforme sur [0, 1] des fonctions <math>g+P_n</math>, qui sont continues (comme sommes de deux fonctions continues) mais nulle part dérivables (comme sommes d'une fonction nulle part dérivable et d'une fonction polynomiale donc partout dérivable).}}

On peut également fournir une démonstration non constructive (c'est-à-dire ne nécessitant pas d'exhiber un exemple de fonction continue nulle part dérivable) utilisant le [[lemme de Baire]]<ref>Xavier Gourdon, ''Les Maths en tête : analyse'', [[éditions Ellipses]].</ref>{{,}}<ref>{{Article|titre=Sur les fonctions non dérivables|auteur=[[Stefan Mazurkiewicz]]|revue=[[Studia Mathematica|Studia Math.]]|année=1931|vol=3|numéro=1|p.=92-94|url=https://eudml.org/doc/217572}}.</ref>{{,}}<ref>{{Article|lang=de|titre=Über die Baire'sche Kategorie gewisser Funktionenmengen|auteur=[[Stefan Banach]]|revue=Studia Math.|année=1931|vol=3|numéro=1|p.=174-179|url=https://eudml.org/doc/217560}}.</ref>.

{{Démonstration/début}}
Si une fonction ''f'' est continue sur [0, 1] et dérivable en un point ''x'', la fonction ''y'' ↦ [[Taux d'accroissement|(''f''(''y'') – ''f''(''x''))/(''y – x'')]], définie ailleurs qu'en ''x'', se prolonge en une fonction [[Théorème des bornes|continue sur [0, 1] donc bornée]]. Dans l'espace {{nobr|C([0, 1])}} des fonctions continues de [0, 1] dans ℝ, le sous-espace ''F'' des fonctions dérivables en au moins un point est donc inclus dans la réunion, pour ''n'' ∈ ℕ, des
<center><math>F_n{:=}\{f\in C([0,1])\mid\exists x\in[0,1]~\forall y\in[0,1]~|f(y)-f(x)|\le n|y-x|\}.</math></center>
Pour la [[Convergence uniforme#Distance uniforme|topologie de la convergence uniforme]], chacun de ces ''F{{ind|n}}'' est :
*[[Fermé (topologie)|fermé]] car si ''f{{ind|k}}'' ∈ ''F{{ind|n}}'' et ''f{{ind|k}}'' → ''f'' alors ''f'' ∈ ''F{{ind|n}}''. En effet, soit, pour chaque ''k'', un témoin ''x{{ind|k}}'' de l'appartenance de ''f{{ind|k}}'' à ''F{{ind|n}}''. Alors, toute [[valeur d'adhérence]] de (''x{{ind|k}}'') est un témoin de l'appartenance de ''f'' à ''F{{ind|n}}''.
*d'[[Intérieur (topologie)|intérieur]] vide car il contiendrait sinon une boule de rayon positif, centrée en un polynôme ''P'' (d'après le [[théorème de Stone-Weierstrass]]). Or pour toute constante ''M'', on construit facilement une fonction ''g'' (par exemple affine par morceaux) telle que ''P + g'' appartienne à cette boule et telle que pour tout ''x'', |''g''(''y'') – ''g''(''x'')| > (''M'' + ''n'')|''y – x''| pour au moins un ''y'' donc, en ayant choisi pour ''M'' un majorant de |''P ' ''|, |(''P + g'')(''y'') – (''P + g'')(''x'')| > ''n''|''y – x''|, d'où une contradiction.
Ainsi, ''F'' est [[Ensemble maigre|maigre]]. D'après le lemme de Baire, son intérieur est donc vide. Autrement dit : son complémentaire — l'ensemble des fonctions de C([0, 1]) nulle part dérivables — est dense.
{{Démonstration/fin}}
Il est même possible d'obtenir un résultat beaucoup plus fort : « [[presque partout|presque toute]] » fonction continue sur [0,1] est nulle part dérivable. Le sens de « presque toute » dans cet énoncé doit être un peu affaibli, car [[mesure de Lebesgue en dimension infinie|il n'existe pas de mesure de Lebesgue en dimension infinie]] ; une description précise de la mesure utilisée figure dans l'article [[espace de Wiener]]<ref name=hunt>On trouvera une démonstration de ce théorème dans l'article de Brian Hunt, {{en}} ''The prevalence of nowhere differentiable functions'', Proc. of the AMS, 1994 ([https://www.ams.org/journals/proc/1994-122-03/S0002-9939-1994-1260170-X/S0002-9939-1994-1260170-X.pdf lire en ligne]). </ref>.

== Mouvement brownien ==

Presque toute réalisation du [[mouvement brownien]] est continue et nulle part dérivable<ref name=hunt/>. 
Ceci a fait dire à [[Jean Perrin]], prix Nobel de physique : 

{{Citation bloc|C’est un cas où il est vraiment naturel de penser à ces fonctions continues sans dérivées que les mathématiciens ont imaginées, et que l’on regardait à tort comme de simples curiosités mathématiques, puisque l’expérience peut les suggérer.|Jean Perrin}}

== Annexes ==
=== Bibliographie ===
*{{Article|auteur=[[Gaston Darboux]]|titre=Mémoire sur les fonctions discontinues|url=http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1875_2_4_/ASENS_1875_2_4__57_0/ASENS_1875_2_4__57_0.pdf|revue=[[Annales scientifiques de l'École normale supérieure|ASENS]]|vol=4|année=1875|p.=57-112}}
*{{Ouvrage |langue=en |auteur1=Marek Jarnicki |auteur2=Peter Pflug |titre=Continuous Nowhere Differentiable Functions |sous-titre=The Monsters of Analysis |éditeur=[[Springer Science+Business Media|Springer]] |année=2015 |isbn= |lire en ligne={{Google Livres|KbBPCwAAQBAJ}}}}
*{{Ouvrage |prénom1=Henri |nom1=Poincaré |lien auteur1=Henri Poincaré |titre=[[Science et Méthode]] |éditeur=[[Groupe Flammarion|Flammarion]] |année=1908 |lire en ligne=http://jubil.upmc.fr/sdx/pl/toc.xsp?id=PC_000305_001&fmt=upmc&idtoc=PC_000305_001-pleadetoc&base=fa}}
* {{Ouvrage |langue=en |prénom1=Johan |nom1=Thim |titre=Continuous Nowhere Differentiable Functions |éditeur=[[Université de technologie de Luleå]] |année=2003 |mois=12 |isbn= |lire en ligne=https://pdfs.semanticscholar.org/8cfb/8ff14cc7ab6e6010f363355ff5ddf08f11a7.pdf}} {{commentaire biblio SRL|Une thèse. Étude complète de l'histoire des fonctions continues nulle part dérivables.}}

=== Notes ===
<references group="Note"/>
=== Références ===
{{Références|colonnes=2}}

=== Article connexe ===
[[Cas pathologique]]

=== Liens externes ===
* {{lien web |titre=Le calcul différentiel indien |url=http://ljk.imag.fr/membres/Bernard.Ycart/mel/dc/node16.html |site=imag.fr |consulté le=20-01-2024}}
* http://www.brouty.fr/Maths/noderiv.html

{{portail|analyse}}

[[Catégorie:Analyse réelle]]
[[Catégorie:Fractale]]
[[Catégorie:Propriété de fonction|Continue nulle part derivable]]
[[Catégorie:Continuité]]