Le livret des contre-exemples

martini_bird · 24/04/2006 - 03h46

Bonjour,

nous le savons tous : les contre-exemples jouent un rôle fondamental dans notre discipline. Voilà donc un fil qui leur est dédié !

Pour toute contribution, veuillez trouver un titre explicite afin de faciliter la recherche dans le sommaire suivant (qui sera mis à jour régulièrement) :

Analyse

#2 : Des fonctions continues nulle part dérivables
#3 : Fonctions infiniment dérivables non analytiques
#9 : Séries convergentes mais dont le produit de Cauchy ne converge pas
#10 : Fonction intégrable sur $\mathbb{R}^+$ mais admettant une sous-suite tendant vers $+\infty$
#15 : Un contre-exemple à l'unicité des solutions pour une équation différentielle ordinaire
#16 : Fonctions de classe $\mathcal{D}^n$ mais pas $\mathcal{D}^{n+1}$
#18 : Une application continue, bijective à réciproque non continue
#19 : Exemple d'un homéomorphisme de classe $\mathcal{C}^1$ qui ne soit pas un $\mathcal{C}^1$ -difféomorphisme
#20 : Fonction jamais monotone
#21 : A propos des caractères continu, uniformément continu et lipschitzien des fonctions
#23 : Convergence simple/uniforme de suites de fonctions
#26 : Fonction réelle additive non linéaire
#27 : Fonction réelle non mesurable Lebesgue

Algèbre

#4 : Anneau intègre noethérien non factoriel
#5 : Un cas où la décomposition de Dunford ne fonctionne pas
#11 : Corps de caractéristique finie mais de cardinal infini
#13 : Exemple de polynômes non nuls admettant un nombre de racines strictement supérieur à leur degré
#14 : Morphisme simplifiable à droite qui n’est pas une surjection
#22 : Polynôme non nul ayant une infinité de racines.
#25 : Différence entre polynôme et fonction polynomiale
#34 : Anneau principal non euclidien

Topologie

#6 : Un ensemble connexe mais non connexe par arcs
#7 : Un ensemble connexe mais non connexe par arcs (bis)
#8 : Espace localement compact non séparé
#12 : Une fonction continue de la boule unité dans elle-même n'admettant aucun point fixe
#17 : Espace de Baire non complet
#24 : La complétude est une notion strictement métrique.
#28 : Espace connexe non localement connexe
#29 : Espace contractile en un point mais non contractile en un autre.
#33 : Complété d'un connexe par arcs non connexe par arcs
#38 : Anneau factoriel non principal, anneau factoriel non noethérien
#40 : Automorphisme de C non continu

Logique

#39 : Il n'existe pas de théorie logique classique du premier ordre dont les modèles sont les groupes de torsion

Bien à vous.

[18/11/06] MàJ : Le sommaire a été découpé en trois parties pour en faciliter la lecture.
Grâce à vous, le fascicule devient livret.

martini_bird · 24/04/2006 - 03h53

Des fonctions continues nulle part dérivables.

Soient $a$ et $b$ deux nombres réels tels que $0<a<1$ et $ab>1$ . Alors la fonction de Weierstrass

$W(x)=\sum_{k=0}^{+\infty}a^k \cos \left(b^k\pi x\right)$

est continue et nulle part dérivable sur $\mathbb{R}$ .

La continuité s'obtient facilement, car la convergence est uniforme. Pour la non-dérivabilité, il y a (beaucoup) plus du travail. On trouvera une preuve partielle (pour $ab>1+\frac{3}{2}\pi$ et b entier impair) à la page 22 de ce mémoire : Continuous Nowhere Differentiable Functions. Du reste, ce document contient de nombreux autres contre-exemples de fonctions continues mais nulle part dérivables.

Cordialement.

GrisBleu · 24/04/2006 - 07h04

Fonctions infiniment derivables non analytiques

En physiques (ou en sciences de l'ingenieur) il est souvent utiles de faire un developement limite d'une fonction puis de l'approcher, localement, par son DL (a un certain ordre).
Soit
$f : x \to e^{-\frac{1}{1-x^2}}$ sur $]-1,1[$
$f : x \to 0$ ailleurs.

Il est facile de voir qu'elle est infiniment derivable et qu'en 1 et -1, toutes ses derivees sont nulles.
$0=f^{(0)}=f^{(1)}=...=f^{(n)}= ...$
Pourtant, elle n'est pas nulle autour de 1. Approcher une telle fonction par son DL, C'est faire une erreure relative infinie !

Salut

doudache · 24/04/2006 - 12h10

Anneau intègre noetherien non factoriel

L'anneau $\mathbb{Z}[i\sqrt{5}]$ est intègre, noetherien, mais non factoriel. En effet, l'unicité de la décomposition en facteurs premiers y fait défaut :

$9 \, = \, 3 \times 3 \, = \, (2+i\sqrt{5})(2-i \sqrt{5})$

et les éléments $3$ et $2+i\sqrt{5}$ ne sont pas associés, c'est-à-dire qu'ils ne se déduisent pas l'un de l'autre par multplication par un élément inversible de l'anneau.

Pour ce qui concerne le caractère noetherien, il suffit de remarquer que cet anneau est isomorphisme à l'anneau quotient $\mathbb{Z}[X]/(X^2+5)$ , qui, en vertu du théorème de Hilbert, est noetherien.

doudache · 25/04/2006 - 15h15

Un cas où la décomposition de Dunford ne fonctionne pas

Plaçons nous dans le corps $K = \mathbb{Z}/3\mathbb{Z}(t)$ (ou $t$ est une indéterminée), et considérons la matrice suivante :

$A = \left(\begin{array}{ccc} 0 & 0 & t \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{array}\right)$

Supposons qu'il existe une matrice diagonalisable D et une matrice nilpotente N qui commutent telles que A = D+N. Dans ce cas, le spectre de D est égal au spectre de A. Déterminont ce spectre : le polynôme caractéristique de A vaut

$P_A(X) \, = \, X^3 -t$

Notons $\alpha$ une racine de ce polynôme ; elle vérifie $\alpha^3 = t$ , et donc, au vu de la caractéristique, on a

$P_A(X) \, = \, (X -\alpha)^3$

Le nombre $\alpha$ est donc racine triple du polynôme caractéristique. Ainsi, D est diagonalisable et n'a qu'une seule valeur propre : c'est donc une matrice scalaire. Puisque $\alpha$ n'appartient pas à K, D n'appartient pas à $M_n(K)$ et ainsi la décomposition de Dunford échoue sur ce corps pour cette matrice.

La raison principale pour laquelle la décomposition ne fonctionne pas dans ce corps est que K n'est pas un corps parfait, c'est-à-dire qu'il existe des polynômes irréductibles à coefficients dans ce corps qui ont des racines multiples dans une extension. Les corps finis ou les corps de caractéristique nulle sont quant à eux parfaits, ce qui explique que la décomposition fonctionne dans ces corps.

martini_bird · 27/04/2006 - 15h30

Un ensemble connexe mais non connexe par arcs

Soit $X$ le graphe de la fonction $f: x\rightarrow \sin\frac{1}{x}$ , c'est-à-dire la partie de $\mathbb{R}^2$ définie par $X=\left\{(x,y)\in\mathbb{R}^2, \; y=\sin\frac{1}{x}\right\}$ .

L'adhérence $\overline{X}=X\cup\{0\}\times[-1,1]$ de $X$ est connexe (comme adhérence d'une partie connexe) mais n'est pas connexe par arcs (il n'existe par exemple pas de chemin entre un point de $X$ et un point de $\{0\}\times[-1,1]$ ).

Cordialement.

indian58 · 15/05/2006 - 13h25

Un ensemble connexe mais non connexe par arcs (bis)

On considère la courbe $\Gamma$ repérée par l'équation polaire $\rho(\theta)=1-\frac{1}{\theta}$ pour $\theta \geq 1$ et son cercle asymptotique C(O,1).
Alors $\Gamma \cup C(O,1)$ est connexe mais pas connexe par arcs.

homotopie · 15/05/2006 - 13h49

Espace localement compact non séparé

X=R U {O'} muni de la topologie suivante :
1) tous les ouverts de R sont des ouverts de X
2) tous les ouverts de la forme suivante U\{0} U {0'} où U est un ouvert de R contenant 0.

indian58 · 15/05/2006 - 14h00

Séries convergentes mais dont le produit de Cauchy ne converge pas

Considérons la série de terme $a_n=\frac{(-1)^n}{\sqrt{n}}$ , $n \geq 1$ .
Elle converge car c'est une série relevant du critère spécial des séries alternées.

Le produit de Cauchy de cette série par elle-même est une série de terme $w_n=\frac{2(-1)^n}{\sqrt{n}} + \sum_{k=1}^{n-1} \frac{(-1)^n}{\sqrt{k(n-k)}$ .
Pour le premier terme, la série converge mais pour le second, elle diverge grossièrement. Donc le produit de Caucy diverge.

indian58 · 15/05/2006 - 14h16

Fonction intégrable sur $\mathbb{R}^+$ mais admettant une sous-suite tendant vers $+\infty$

La fonction $f : x \rightarrow \frac{e^x}{1+e^{4x}\sin^2x}$ est intégrable sur $\mathbb{R}^+$ (car positive et on regarde le long des k $\pi$ ) mais $f(n\pi)$ tend vers $+\infty$ quand n tend vers $+\infty$ .

indian58 · 15/05/2006 - 14h44

Corps de caractéristique finie mais de cardinal infini

$\mathbb{Z}/_{2\mathbb{Z}}(X)$ est un corps de caractéristique deux ( $2\times\overline{1}=0$ ) mais de cardinal infini (les Xⁿ sont deux à deux distincts et sont dans ce corps).

doudache · 19/05/2006 - 15h37

Une fonction continue de la boule unité dans elle-même n'admettant aucun point fixe

Le théorème de Brouwer assure que toute fonction continue de la boule unité de Rⁿ dans elle-même admet un point fixe. Plus généralement, on peut remplacer "boule unité" par "convexe compact non vide".

Le résultat est faux en dimension infinie : par exemple, si E désigne l'ensemble des suites réelles $(u_n)_{n \in \mathbb{Z}}$ de carré sommable, muni de la norme

$||u|| \, = \, \displaystyle \sum_{- \infty}^{+ \infty} \ u_n^2$

et B la boule unité fermée de E, alors l'application T définie par

$T(u)_n = \left\{ \begin{array}{ll} u_{n-1} & si\ n \neq 0 \\ u_{-1} + (1-||u||) & sinon \end{array} \right$

est continue, vérifie $T(B) \subset B$ et n'a pourtant aucun point fixe.

indian58 · 05/06/2006 - 09h48

Exemple de polynômes non nuls admettant un nombre de racines strictement supérieur à leur degré

Considérons $P \in \mathbb{Z}/_{4\mathbb{Z}}[X]$ défini par P=2X-2X². Alors tout élément de $\mathbb{Z}/_{4\mathbb{Z}}$ annule P. Ceci vient du fait que $\mathbb{Z}/_{4\mathbb{Z}}$ n'est pas un corps et que nous ne pouvons pas utiliser la division euclidienne.
Pire, Q=X²-1 admet une infinité de racines dans le corps (non cmmutatif) des quaternions.

Zheng · 06/06/2006 - 23h27

Dans la catégorie des ensembles, tout morphisme, c’est-à-dire dans ce cas-ci toute fonction, simplifiable à droite, est une surjection.

Soit en effet f une fonction de A dans B, telle que pour tout C, et pour toutes fonctions g, h de B dans C, gf = hf entraîne g = h.
Alors f est surjective. Dans le cas contraire, il devrait exister y élément de B tel que pour tout x élément de A, f(x) ≠ y. On peut trouver un ensemble C et deux fonctions g, h de B dans C, telles que g(z) = h(z) pour tout z différent de y, et g(y) ≠ h(y). On a alors gf = hf, pourtant g ≠ h, ce qui contredit l’hypothèse. Donc pour tout z élément de B, il existe x élément de A tel que f(x) = z.

Il en va de même dans beaucoup d’autres catégories, comme celle des espaces vectoriels finidimensionnels sur un corps K, et d’autres.

On pourrait s’attendre naïvement à ce que ce soit vrai en général, mais il n’en est rien, comme le prouve l’exemple suivant : soit, dans la catégorie des anneaux intègres (sans diviseurs de zéro), l’injection « canonique » de Z (anneau des entiers relatifs) dans Q (anneau des rationnels). Il est clair que ce n’est pas une surjection. Pourtant elle est simplifiable à droite. Dans ce cas-ci, la simplifiabilité à droite signifie que tout homomorphisme d’anneau de Q vers un anneau intègre est entièrement déterminé par son action sur les entiers relatifs. (Bien que la démonstration soit élémentaire, ça surprend toujours quand on le dit.)

En effet, soient deux homomorphismes g et h de Q dans un autre anneau intègre, tels que pour tout entier relatif z, g(z) = h(z). Alors, si q est un rationnel quelconque, il existe un entier k tel que kq est élément de Z. On a donc

g(kq) = h(kq) (hypothèse)
g(kq) = g(k)g(q)
h(kq) = h(k)h(q) (puisque g et h sont des homomorphismes)
g(k) = h(k) (hypothèse)

d’où

g(k)g(q) = g(k)h(q)

ce qui implique, puisque l’anneau est intègre, g(q) = h(q). Les deux morphismes sont donc identiques. Ce qui prouve que l’injection « canonique » de Z dans Q est simplifiable à droite, bien que non surjective.

rvz · 06/07/2006 - 17h15

Un contre-exemple à l'unicité des solutions pour une équation différentielle ordinaire

Le théorème de Cauchy Lipschitz affirme l'existence et l'unicité de la solution d'une EDO du type
$\right\{\begin{array}{ll} y'(t) = f(t,y(t)) \\ y(0) = y_0 \end{array}\left.$
dès lors que f est lipschitz en la deuxième variable.

Le théorème de Péano affirme l'existence d'une solution à une telle EDO dès que f est continue. Cependant, l'unicité n'est plus assurée, et c'est l'objet de ce post.

En effet, prenons l'équation
$\right\{\begin{array}{ll} y'(t) = 2 \sqrt{y(t)} \\ y(0) = 0 \end{array}\left.$
Alors nous avons la famille de solutions suivante :
$y_a(t) = (t-a)^2$ pour t > a>0 et nulle pour t<a.

__
rvz

Le livret des contre-exemples

Le livret des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Re : Le fascicule des contre-exemples

Morphisme simplifiable à droite qui n’est pas une surjection

Re : Morphisme simplifiable à droite qui n’est pas une surjection

Sur le même sujet

Discussions similaires

[Evolution] Co-évolution : des exemples de courses à l'armement

Exemples pour illustrer des définitions

contre exemples

ou trouver des exemples QCM licence psycho?

Les tags pour cette discussion