Bonjour, cliquez-ici pour vous inscrire et participer au forum.
  • Login:



+ Répondre à la discussion
Page 1 sur 5 12 3 4 DernièreDernière
Affichage des résultats 1 à 15 sur 71

Le livret des contre-exemples

  1. martini_bird

    Date d'inscription
    octobre 2004
    Localisation
    Paris
    Âge
    37
    Messages
    6 910

    Le livret des contre-exemples

    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 mais admettant une sous-suite tendant vers
    • #15 : Un contre-exemple à l'unicité des solutions pour une équation différentielle ordinaire
    • #16 : Fonctions de classe mais pas
    • #18 : Une application continue, bijective à réciproque non continue
    • #19 : Exemple d'un homéomorphisme de classe qui ne soit pas un -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.

    -----

    Dernière modification par homotopie ; 10/04/2008 à 00h14. Motif: Mise à jour
     


    • Publicité



  2. martini_bird

    Date d'inscription
    octobre 2004
    Localisation
    Paris
    Âge
    37
    Messages
    6 910

    Re : Le fascicule des contre-exemples

    Des fonctions continues nulle part dérivables.

    Soient et deux nombres réels tels que et . Alors la fonction de Weierstrass


    est continue et nulle part dérivable sur .

    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 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.
     

  3. GrisBleu

    Date d'inscription
    avril 2005
    Âge
    37
    Messages
    1 044

    Re : Le fascicule des contre-exemples

    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
    sur
    ailleurs.

    Il est facile de voir qu'elle est infiniment derivable et qu'en 1 et -1, toutes ses derivees sont nulles.

    Pourtant, elle n'est pas nulle autour de 1. Approcher une telle fonction par son DL, C'est faire une erreure relative infinie !

    Salut
    Dernière modification par GrisBleu ; 24/04/2006 à 07h07.
     

  4. doudache

    Date d'inscription
    avril 2006
    Localisation
    Paris
    Âge
    34
    Messages
    255

    Re : Le fascicule des contre-exemples

    Anneau intègre noetherien non factoriel

    L'anneau est intègre, noetherien, mais non factoriel. En effet, l'unicité de la décomposition en facteurs premiers y fait défaut :


    et les éléments et 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 , qui, en vertu du théorème de Hilbert, est noetherien.
     

  5. doudache

    Date d'inscription
    avril 2006
    Localisation
    Paris
    Âge
    34
    Messages
    255

    Re : Le fascicule des contre-exemples

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

    Plaçons nous dans le corps (ou est une indéterminée), et considérons la matrice suivante :


    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


    Notons une racine de ce polynôme ; elle vérifie , et donc, au vu de la caractéristique, on a


    Le nombre 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 n'appartient pas à K, D n'appartient pas à 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.
     


    • Publicité



  6. martini_bird

    Date d'inscription
    octobre 2004
    Localisation
    Paris
    Âge
    37
    Messages
    6 910

    Re : Le fascicule des contre-exemples

    Un ensemble connexe mais non connexe par arcs

    Soit le graphe de la fonction , c'est-à-dire la partie de définie par .

    L'adhérence de 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 et un point de ).

    Cordialement.
    « Angle éternel, la terre et le ciel, pour bissectrice, le vent. » Garcia Lorca
     

  7. indian58

    Date d'inscription
    juin 2005
    Âge
    31
    Messages
    1 939

    Re : Le fascicule des contre-exemples

    Un ensemble connexe mais non connexe par arcs (bis)

    On considère la courbe repérée par l'équation polaire pour et son cercle asymptotique C(O,1).
    Alors est connexe mais pas connexe par arcs.
     

  8. homotopie

    Date d'inscription
    janvier 2006
    Localisation
    Lille
    Âge
    47
    Messages
    2 523

    Re : Le fascicule des contre-exemples

    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.
     

  9. indian58

    Date d'inscription
    juin 2005
    Âge
    31
    Messages
    1 939

    Re : Le fascicule des contre-exemples

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

    Considérons la série de terme , .
    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 .
    Pour le premier terme, la série converge mais pour le second, elle diverge grossièrement. Donc le produit de Caucy diverge.
     

  10. indian58

    Date d'inscription
    juin 2005
    Âge
    31
    Messages
    1 939

    Re : Le fascicule des contre-exemples

    Fonction intégrable sur mais admettant une sous-suite tendant vers

    La fonction est intégrable sur (car positive et on regarde le long des k) mais tend vers quand n tend vers .
     

  11. indian58

    Date d'inscription
    juin 2005
    Âge
    31
    Messages
    1 939

    Re : Le fascicule des contre-exemples

    Corps de caractéristique finie mais de cardinal infini


    est un corps de caractéristique deux () mais de cardinal infini (les Xn sont deux à deux distincts et sont dans ce corps).
     

  12. doudache

    Date d'inscription
    avril 2006
    Localisation
    Paris
    Âge
    34
    Messages
    255

    Re : Le fascicule des contre-exemples

    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 Rn 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 de carré sommable, muni de la norme


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


    est continue, vérifie et n'a pourtant aucun point fixe.
     

  13. indian58

    Date d'inscription
    juin 2005
    Âge
    31
    Messages
    1 939

    Re : Le fascicule des contre-exemples

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

    Considérons défini par P=2X-2X². Alors tout élément de annule P. Ceci vient du fait que 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.
     

  14. Zheng

    Date d'inscription
    juin 2006
    Messages
    6

    Morphisme simplifiable à droite qui n’est pas une surjection

    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.
     

  15. rvz

    Date d'inscription
    janvier 2006
    Localisation
    Versailles
    Âge
    33
    Messages
    1 379

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

    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

    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

    Alors nous avons la famille de solutions suivante :
    pour t > a>0 et nulle pour t<a.

    __
    rvz
    Dernière modification par martini_bird ; 12/07/2006 à 16h08. Motif: Correction de la syntaxe tex.
     


    • Publicité







Sur le même thème :





 

Discussions similaires

  1. Contre exemples
    Par exilim dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 24/07/2013, 15h12
  2. [Evolution] Co-évolution : des exemples de courses à l'armement
    Par Mecton dans le forum Biologie
    Réponses: 1
    Dernier message: 19/10/2007, 20h47
  3. Exemples pour illustrer des définitions
    Par Zelma dans le forum Chimie
    Réponses: 1
    Dernier message: 10/02/2007, 10h01
  4. ou trouver des exemples QCM licence psycho?
    Par skorzeny dans le forum Orientation après le BAC
    Réponses: 1
    Dernier message: 21/08/2005, 15h15