Ensemble Diophantien
dans Arithmétique
Bonjour,
Je rencontre un simple problème de définition. Comme je suis (très) étranger à l'arithmétique, je ne sais même pas dans quel ouvrage la trouver (ie si vous avez une référence plutôt qu'une réponse, je suis preneur).
J'ai rencontré les deux définitions suivantes, qui me semblent carrément différentes :
$D\subset \mathbb N^p$ est \emph{diophantien} $\Longleftrightarrow
\forall a\in D,\quad \exists x_1,...,x_n \in \mathbb N :\quad
P(a,x_1,...,x_n)=0$
Jusque là, pas de surprise. Si ce n'est que la notation $P(a,x_1,...,x_n) $ m'est étrangère :
les $a$ sont-ils les coefficients du polynôme (on aurait aucune information sur les degrés) ou le contraire ?
genre $P\in\mathbb Z[X_1,...,X_n]$ avec $P(a_1,..., a_p,X_1,...,X_n)=\displaystyle\sum_{i=1}^na_iX_i^{c_i}$
ou bien $P\in\mathbb Z[X_1,...,X_n]$ avec $P(a_1,..., a_p,X_1,...,X_n)=\displaystyle\sum_{i=1}^nc_iX_i^{a_i}$
Merci d'avance pour votre aide
Cordialement,
Johann
Je rencontre un simple problème de définition. Comme je suis (très) étranger à l'arithmétique, je ne sais même pas dans quel ouvrage la trouver (ie si vous avez une référence plutôt qu'une réponse, je suis preneur).
J'ai rencontré les deux définitions suivantes, qui me semblent carrément différentes :
$D\subset \mathbb N^p$ est \emph{diophantien} $\Longleftrightarrow
\forall a\in D,\quad \exists x_1,...,x_n \in \mathbb N :\quad
P(a,x_1,...,x_n)=0$
Jusque là, pas de surprise. Si ce n'est que la notation $P(a,x_1,...,x_n) $ m'est étrangère :
les $a$ sont-ils les coefficients du polynôme (on aurait aucune information sur les degrés) ou le contraire ?
genre $P\in\mathbb Z[X_1,...,X_n]$ avec $P(a_1,..., a_p,X_1,...,X_n)=\displaystyle\sum_{i=1}^na_iX_i^{c_i}$
ou bien $P\in\mathbb Z[X_1,...,X_n]$ avec $P(a_1,..., a_p,X_1,...,X_n)=\displaystyle\sum_{i=1}^nc_iX_i^{a_i}$
Merci d'avance pour votre aide
Cordialement,
Johann
Réponses
-
Bonjour TigerFou,
Je pense que la page de PlanetMath ci-dessous, si tu ne l'as pas déjà consultée, devrait t'aider :
http://planetmath.org/?method=l2h&from=objects&name=DiophantineSet&op=getobj
Borde. -
Ah ouais j'avais compris complètement de travers !
Merci pour le lien, il a l'air bien détaillé... je ne connaissait pas ce site.
Cordialement,
Johann -
$D\subset \mathbb N^p$ est {\bf diophantien} $\Longleftrightarrow \forall a\in D,\quad \exists x_1,...,x_n \in \mathbb N :\quad P(a,x_1,...,x_n)=0$
Jusque là, pas de surprise.
Bin, si quand-même:
C'est $D\subset \mathbb N^p$ est {\bf diophantien} si et seulement si, il existe un entier $n$ et un polynôme $P$ à $n+p$ variables tel que pour tout $a\in \N ^p$:
($a\in D\Longleftrightarrow \exists (x_1,...,x_n) \in \Z ^n: P(a_1,...,a_p,x_1,...,x_n)=0$)Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Oui merci pour la correction Christophe, j'ai vu ça en suivant le lien de Borde...
En fait j'avais lu une définition très ambigüe dans un document trouvé sur le net et je ne la comprenais pas du tout (on peut même dire qu'elle était fausse en fait).
Comme quoi il faut bien se documenter quand on sort de ce qu'on connait, même la définition de Wikipédia était plus claire...
Cordialement,
Johann
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 3
3 Invités