Ordre des quatificateurs
Répondre à la discussion
Affichage des résultats 1 à 7 sur 7

Ordre des quatificateurs



  1. #1
    mehdi_128

    Ordre des quatificateurs


    ------

    Bonjour,



    Pourquoi quand on met les quantificateurs dans cette ordre ça veut dire que N dépend de epsilon et x ?

    Vous avez pas un exemple simple pour le comprendre ?

    Merci.

    -----

  2. #2
    minushabens

    Re : Ordre des quatificateurs

    Ce que tu as écrit n'a pas grand sens: il y a un x au début qui n'intervient plus ensuite et on ne sait pas d'où sort n.

  3. #3
    minushabens

    Re : Ordre des quatificateurs

    Quand tu écris "pour tout x il existe y tel que..." le fait que y soit fonction de x dépend de ce qu'il y a après "tel que". si c'est x=y (pour tout y il existe x tel que x=y) alors c'est évident que y est une fonction de x (l'identité) si c'est y=0 (pour tout x il existe y tel que y=0, phrase assez absurde mais correcte) alors y n'est pas fonction de x (quoique tu puisses toujours dire que c'est la fonction nulle f(x)=0 ).

  4. #4
    mehdi_128

    Re : Ordre des quatificateurs

    Citation Envoyé par minushabens Voir le message
    Ce que tu as écrit n'a pas grand sens: il y a un x au début qui n'intervient plus ensuite et on ne sait pas d'où sort n.


    Voilà en gros je voulais savoir comment on sait si le N dépend de x et epsilon ou pas ...

  5. A voir en vidéo sur Futura
  6. #5
    Médiat

    Re : Ordre des quatificateurs

    Bonjour,

    Chaque variable peut dépendre des précédentes (cette dépendance est logique), par exemple, dans IN les deux formules suivantes sont vérifiées :

    Il suffit de choisir (je fais dépendre la valeur de à celle de )


    Il suffit de choisir (je fais dépendre la valeur de à celle de ), mais j'aurais pu choisir qui ne dépend pas de

    cf. aussi les définitions de continuité et de continuité uniforme
    Dernière modification par Médiat ; 17/04/2017 à 17h35.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  7. #6
    mehdi_128

    Re : Ordre des quatificateurs

    Citation Envoyé par Médiat Voir le message
    Bonjour,

    Chaque variable peut dépendre des précédentes (cette dépendance est logique), par exemple, dans IN les deux formules suivantes sont vérifiées :

    Il suffit de choisir (je fais dépendre la valeur de à celle de )


    Il suffit de choisir (je fais dépendre la valeur de à celle de ), mais j'aurais pu choisir qui ne dépend pas de

    cf. aussi les définitions de continuité et de continuité uniforme
    Donc on sait pas si ça dépend en fait..

    Dans ma définition comment on sait si le N dépend de x et de épsilon ?

  8. #7
    gg0
    Animateur Mathématiques

    Re : Ordre des quatificateurs

    A priori, il en dépend. N est une fonction de x et epsilon.
    Dans certains cas, cette fonction est constante (par exemple si fn(x)=f(x) pour tout n, on peut prendre N=1). Ce qui veut dire que dans ces cas, N ne dépend pas de x et epsilon.
    Il n'est pas possible d'aller plus loin puisque dans les différents cas, tout est possible. mais comme ne pas dépendre est dépendre de façon constante, pars du principe que ça dépend.

    Cordialement.

Discussions similaires

  1. equation différentielles du 2nd ordre avec second membres en deux du premier ordre
    Par invitece5c2eae dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 14/09/2016, 21h53
  2. Ordre d'une réaction chimique, troisieme ordre?
    Par invite16aee727 dans le forum Chimie
    Réponses: 1
    Dernier message: 25/06/2016, 10h04
  3. Une équation du 2e ordre = 2 du premier ordre ?
    Par invite07c97bce dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 12/10/2014, 18h28
  4. Runge Kutta ordre 4 et équation différentielle du 2nd Ordre
    Par invitea5e258c3 dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 08/04/2013, 17h02
  5. ordre primaire/ordre secondaire
    Par ufoseeker dans le forum Physique
    Réponses: 0
    Dernier message: 16/08/2010, 13h35