- piokPosteur Confirmé
- Messages : 151
parties stables de $mathbb{N}$
Mar 16 Fév - 16:07
[u]on donne la définition[/u]: Pour toute partie A de $\mathbb{N}$, on note A' l'ensemble des successeurs stricts des éléments de A, càd l'image de A par la succession
Ainsi {3,4}' = {4,5} et {O,2,4,...2n}' = {1,3,5,...,2n+1}
[u]définition [/u]:on note $\mathbb{N*}$ l'ensemble $\mathbb{N'}$ des successeurs stricts des entiers naturels.
L'ensemble $\mathbb{N*}$ est un sous-ensemble strict de $\mathbb{N}$
Une partie stable ou héréditaire de $\mathbb{N}$ est une partie A de $\mathbb{N}$ qui vérifie l'inclusion A'$\subset$ A
0= n+1 est impossible d'où la relation 0 $\notin$ $\mathbb{N*}$
l'entier 0 n'est le successeur strict d'aucun entier naturel
- CurryProfesseur de Mathématiques
- Messages : 296
Re: parties stables de $\mathbb{N}$
Mar 16 Fév - 17:25
Salut,
Qu'entends tu par [quote]A($\mathbb{N}$){3,4}' = l'image de A dans la succession {4,5}[/quote] ?
De même qu'entends tu par une "triple relation d'ordre sur $\mathbb{N}$.
Ensuite je ne sais pas ce que tu as fait précédemment, mais es tu parti d'axiomes pour définir $\mathbb{N}$ ? Si oui alors tu dois avoir comme axiome que 0 n'est le successeur strict d'aucun entier naturel.
Qu'entends tu par [quote]A($\mathbb{N}$){3,4}' = l'image de A dans la succession {4,5}[/quote] ?
De même qu'entends tu par une "triple relation d'ordre sur $\mathbb{N}$.
Ensuite je ne sais pas ce que tu as fait précédemment, mais es tu parti d'axiomes pour définir $\mathbb{N}$ ? Si oui alors tu dois avoir comme axiome que 0 n'est le successeur strict d'aucun entier naturel.
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Mer 17 Fév - 10:38
Bonjour Curry,
c'est pour moi assez difficile de tenter d'expliquer ce que je ne comprends pas moi-même parfaitement. J'ai comme base de travail perso un simple bouquin qui aborde le sujet "Récurrence et nombres entiers" et dont la première partie est "Succession et parties stables de $\mathbb{N}$"
la succession je comprends avec l'application n---->n+1, pour les parties stables de $\mathbb{N}$ je crois comprendre ce que ça signifie mais sans être cependant tout à fait clair alors je pense que le mieux aurait encore été de citer tout le passage du livre :
[b]" Pour toute partie A de $\mathbb{N}$, on note A' l'ensemble des successeurs stricts des éléments de A, càd l'image de A par la succession "[/b]
Ainsi {3,4}' = {4,5} et {O,2,4,...2n}' = {1,3,5,...,2n+1}
[b]on note $\mathbb{N*}$ l'ensemble $\mathbb{N'}$ des successeurs stricts des entiers naturels.
L'ensemble $\mathbb{N*}$ est un sous-ensemble strict de $\mathbb{N}$[/b]
Exemple l'égalité 0 = n+1 est en effet impossible d'où la relation 0 $\notin$ $\mathbb{N*}$ et la remarque selon laquelle l'entier 0 n'est le successeur strict d'aucun entier naturel
[b]Une partie stable ou héréditaire de $\mathbb{N}$ est une partie A de $\mathbb{N}$ qui vérifie l'inclusion A'$\subset$ A
[/b]
[b]Exemple $\mathbb{N}$ et $\mathbb{N*}$ sont des parties stables.[/b]
Voilà pour le livre.
Ce qui me paraît un peu flou c'est la première définition, qu'est-ce que la partie [u]A de $\mathbb{N}$[/u] ? ça ressemble à une fonction (c'est pourquoi je notais A($\mathbb{N}$)), d'autant plus que l'ensemble des successeurs stricts de A noté A' est [u]l'image[/u] de A par la succession, terme qui renvoie aussi a la notion de fonction...
Ensuite la dernière définition citée dit que A' $\subset$ A
Je me posais alors la question de savoir si cela signifiait aussi
A $\subset$ $\mathbb{N*}$
$\mathbb{N*}$ $\subset$ $\mathbb{N}$
donc ordonnés à $\mathbb{N}$ ? d'où le terme mais certainement inapproprié en l'occurrence
C'est vrai que c'est pas facile sans dialogue direct et que la confusion est permanente dans cette manière d'apprendre, peut-être vaut-il mieux passer directement à la résolution d'exercices sur le sujet et puis se faire expliquer où on fait des erreurs, je ne sais pas
c'est pour moi assez difficile de tenter d'expliquer ce que je ne comprends pas moi-même parfaitement. J'ai comme base de travail perso un simple bouquin qui aborde le sujet "Récurrence et nombres entiers" et dont la première partie est "Succession et parties stables de $\mathbb{N}$"
la succession je comprends avec l'application n---->n+1, pour les parties stables de $\mathbb{N}$ je crois comprendre ce que ça signifie mais sans être cependant tout à fait clair alors je pense que le mieux aurait encore été de citer tout le passage du livre :
[b]" Pour toute partie A de $\mathbb{N}$, on note A' l'ensemble des successeurs stricts des éléments de A, càd l'image de A par la succession "[/b]
Ainsi {3,4}' = {4,5} et {O,2,4,...2n}' = {1,3,5,...,2n+1}
[b]on note $\mathbb{N*}$ l'ensemble $\mathbb{N'}$ des successeurs stricts des entiers naturels.
L'ensemble $\mathbb{N*}$ est un sous-ensemble strict de $\mathbb{N}$[/b]
Exemple l'égalité 0 = n+1 est en effet impossible d'où la relation 0 $\notin$ $\mathbb{N*}$ et la remarque selon laquelle l'entier 0 n'est le successeur strict d'aucun entier naturel
[b]Une partie stable ou héréditaire de $\mathbb{N}$ est une partie A de $\mathbb{N}$ qui vérifie l'inclusion A'$\subset$ A
[/b]
[b]Exemple $\mathbb{N}$ et $\mathbb{N*}$ sont des parties stables.[/b]
Voilà pour le livre.
Ce qui me paraît un peu flou c'est la première définition, qu'est-ce que la partie [u]A de $\mathbb{N}$[/u] ? ça ressemble à une fonction (c'est pourquoi je notais A($\mathbb{N}$)), d'autant plus que l'ensemble des successeurs stricts de A noté A' est [u]l'image[/u] de A par la succession, terme qui renvoie aussi a la notion de fonction...
Ensuite la dernière définition citée dit que A' $\subset$ A
Je me posais alors la question de savoir si cela signifiait aussi
A $\subset$ $\mathbb{N*}$
$\mathbb{N*}$ $\subset$ $\mathbb{N}$
donc ordonnés à $\mathbb{N}$ ? d'où le terme mais certainement inapproprié en l'occurrence
C'est vrai que c'est pas facile sans dialogue direct et que la confusion est permanente dans cette manière d'apprendre, peut-être vaut-il mieux passer directement à la résolution d'exercices sur le sujet et puis se faire expliquer où on fait des erreurs, je ne sais pas
Re: parties stables de $\mathbb{N}$
Mer 17 Fév - 11:28
Salut Piok, voici un message qui va peut-être éclairer en "partie" tes interrogations
Je pense que tu n'as pas encore une culture assez grande en mathématiques pour comprendre dans son ensemble ton bouquin. Il te manque visiblement des informations concernant la théorie des ensembles, d'où des questions à se poser :
- qu'est-ce qu'un [i]ensemble[/i] ?
- qu'est-ce qu'une [i]partie[/i] d'un ensemble ?
- qu'est-ce que la relation d'[i]appartenance[/i] ?
- qu'est-ce que la relation d'[i]inclusion[/i] ?
- etc.
Pour répondre à ces questions, procure toi un bouquin sur les bases de la théorie des ensembles (ou bien garde Wikipédia sous la main, par exemple). Il s'agit de notions élémentaires, mais qu'il faut avoir comprises.
Deuxième remarque, il faut faire extrêmement attention au sens des mots en mathématiques. Si tu as rencontré le mot "partie" et que tu ne savais pas précisément ce qu'il désignait, il fallait avoir le réflexe de chercher sa définition. Toutes les notions (définitions) utilisées dans n'importe quel énoncé mathématique ont un sens précis et ont été définies clairement à un moment ou à un autre. Il n'y a et il ne doit y avoir aucune ambiguïté.
Sinon, pour répondre à ta question, une "partie" d'un ensemble $E$ est simplement un ensemble $F$ tel que $F\subseteq E$. Encore faut-il être au point sur ce qu'est un ensemble et ce que signifie le symbole $\subseteq$
Je pense que tu n'as pas encore une culture assez grande en mathématiques pour comprendre dans son ensemble ton bouquin. Il te manque visiblement des informations concernant la théorie des ensembles, d'où des questions à se poser :
- qu'est-ce qu'un [i]ensemble[/i] ?
- qu'est-ce qu'une [i]partie[/i] d'un ensemble ?
- qu'est-ce que la relation d'[i]appartenance[/i] ?
- qu'est-ce que la relation d'[i]inclusion[/i] ?
- etc.
Pour répondre à ces questions, procure toi un bouquin sur les bases de la théorie des ensembles (ou bien garde Wikipédia sous la main, par exemple). Il s'agit de notions élémentaires, mais qu'il faut avoir comprises.
Deuxième remarque, il faut faire extrêmement attention au sens des mots en mathématiques. Si tu as rencontré le mot "partie" et que tu ne savais pas précisément ce qu'il désignait, il fallait avoir le réflexe de chercher sa définition. Toutes les notions (définitions) utilisées dans n'importe quel énoncé mathématique ont un sens précis et ont été définies clairement à un moment ou à un autre. Il n'y a et il ne doit y avoir aucune ambiguïté.
Sinon, pour répondre à ta question, une "partie" d'un ensemble $E$ est simplement un ensemble $F$ tel que $F\subseteq E$. Encore faut-il être au point sur ce qu'est un ensemble et ce que signifie le symbole $\subseteq$
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Mer 17 Fév - 12:55
salut,
oui, je comprends, c'est vrai que j'ai trop de notions mal, voire pas du tout intégrées, eh bien je vais reprendre depuis le début, dans ce domaine la patience et la persévérance ne peuvent être que des qualités à cultiver. Je vais aller sur wiki, en espérant y trouver de quoi avancer et acquérir ce qui me manque.
Merci de ta franchise, ça a l'avantage de clarifier la situation, c'est ce que j'avais besoin d'entendre, savoir où j'en suis...(apparemment nulle part ) Je ne perds pas mon courage et mon intérêt pour autant, je continue
oui, je comprends, c'est vrai que j'ai trop de notions mal, voire pas du tout intégrées, eh bien je vais reprendre depuis le début, dans ce domaine la patience et la persévérance ne peuvent être que des qualités à cultiver. Je vais aller sur wiki, en espérant y trouver de quoi avancer et acquérir ce qui me manque.
Merci de ta franchise, ça a l'avantage de clarifier la situation, c'est ce que j'avais besoin d'entendre, savoir où j'en suis...(apparemment nulle part ) Je ne perds pas mon courage et mon intérêt pour autant, je continue
Re: parties stables de $\mathbb{N}$
Mer 17 Fév - 13:02
Ne te décourage pas en tout cas, tu as un réel intérêt pour ce que tu fais, et ça y est fait beaucoup ! Tu vas comprendre les choses en profondeur (en comparant à une certaine partie des élèves de lycée voire université qui "apprennent sans comprendre").
Et puis, ne t'inquiète pas, les bases de la théorie des ensembles (les quelques notions simples que j'ai citées) peuvent se comprendre très rapidement. Je n'étais pas en train de te conseiller de lire un bouquin de 200 pages sur le sujet
Edit : évidemment, n'hésite pas à revenir vers nous pour la moindre question !
Et puis, ne t'inquiète pas, les bases de la théorie des ensembles (les quelques notions simples que j'ai citées) peuvent se comprendre très rapidement. Je n'étais pas en train de te conseiller de lire un bouquin de 200 pages sur le sujet
Edit : évidemment, n'hésite pas à revenir vers nous pour la moindre question !
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Mer 17 Fév - 13:29
Merci de tes encouragements, c'est vrai que j'aime les mathématiques et c'est bien pour ça que je veux les comprendre,
l'art pour l'art ne m'intéresse pas je n'ai pas l'âme d'un parnassien...
Peux-t-on aimer sans comprendre ?... oui peut-être hélas mais la passion et le désir peuvent beaucoup, et comme disait Vincent Van Gogh parlant de dessin :
"En dépit de tout je me reléverai: je reprendrai mes crayons que j'aurais pu abandonner dans un grand découragement et je dessinerai encore et toujours."
l'art pour l'art ne m'intéresse pas je n'ai pas l'âme d'un parnassien...
Peux-t-on aimer sans comprendre ?... oui peut-être hélas mais la passion et le désir peuvent beaucoup, et comme disait Vincent Van Gogh parlant de dessin :
"En dépit de tout je me reléverai: je reprendrai mes crayons que j'aurais pu abandonner dans un grand découragement et je dessinerai encore et toujours."
- CurryProfesseur de Mathématiques
- Messages : 296
Re: parties stables de $\mathbb{N}$
Jeu 18 Fév - 9:26
Salut,
Je ne peux qu'appuyer ce qu'a dit Prof J. Il est nécessaire de bien comprendre les définitions, et de savoir les utiliser. Les mots en mathématiques ont un sens précis. L'utiliser dans un autre contexte montre que tu n'as pas compris, ou que ce n'est pas clair. En plus ça limite la discussion, puisque si tu me parle d'un mot A et qu'il n'a pas le même sens pour toi et moi on ne va pas s'en sortir ...
Mais ne t'en fais pas, ça viendra au fur et à mesure. Je le rappelle chaque jour à mes élèves parce qu'ils utilisent des mots précis dans un mauvais contexte. Dés que tu apprends quelque chose, que ne tu maitrises pas bien, tu es obligé de faire ce type d'erreurs ... et ce quel que soit ton niveau : j'utilise souvent mal des mots parce que je pense avoir compris et que ce n'est pas le cas. Mais dans ce cas là mon directeur de thèse est indulgent : ce n'est pas évident d'apprendre tout seul (comme dans ton cas).
Bref tout ça pas pour te raconter ma vie ^^ mais pour te dire que c'est normal de faire ces erreurs, elles disparaitront au fur et à mesure.
Je ne peux qu'appuyer ce qu'a dit Prof J. Il est nécessaire de bien comprendre les définitions, et de savoir les utiliser. Les mots en mathématiques ont un sens précis. L'utiliser dans un autre contexte montre que tu n'as pas compris, ou que ce n'est pas clair. En plus ça limite la discussion, puisque si tu me parle d'un mot A et qu'il n'a pas le même sens pour toi et moi on ne va pas s'en sortir ...
Mais ne t'en fais pas, ça viendra au fur et à mesure. Je le rappelle chaque jour à mes élèves parce qu'ils utilisent des mots précis dans un mauvais contexte. Dés que tu apprends quelque chose, que ne tu maitrises pas bien, tu es obligé de faire ce type d'erreurs ... et ce quel que soit ton niveau : j'utilise souvent mal des mots parce que je pense avoir compris et que ce n'est pas le cas. Mais dans ce cas là mon directeur de thèse est indulgent : ce n'est pas évident d'apprendre tout seul (comme dans ton cas).
Bref tout ça pas pour te raconter ma vie ^^ mais pour te dire que c'est normal de faire ces erreurs, elles disparaitront au fur et à mesure.
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Jeu 18 Fév - 10:22
Salut Curry
si je me suis inscrit ici c'est vraiment par désir d'apprendre, de progresser et de communiquer avec d'autres sur un sujet qui me passionne (trop tardivement hélas ^^) mais où tout n'est pas perdu pour autant, et je suis certain de ne pas m'être trompé d'endroit quand je lis vos encouragements à continuer, c'est beaucoup pour moi.
Je ne vais pas déserter le site loin de là, je vais regarder la théorie naïve (c'est bien pour moi ça ) des ensembles, et reprendre les bases qui me font défaut comme programme de travail en solitaire avec l'espoir d'en sortir plus fort.
Et comme m'y invite Prof, si j'ai une interrogation vraiment restée sans réponse après recherches alors je demanderai conseil.
Néanmoins, et si vous le souhaitez, je serai toujours reconnaissant de tout ce que vous pourrez me faire comme suggestions pour m'aider : plan de travail, docs ou autre idée par mp (je n'ai pas d'autres contacts dans ce milieu ) Merci encore
A+
Piok
si je me suis inscrit ici c'est vraiment par désir d'apprendre, de progresser et de communiquer avec d'autres sur un sujet qui me passionne (trop tardivement hélas ^^) mais où tout n'est pas perdu pour autant, et je suis certain de ne pas m'être trompé d'endroit quand je lis vos encouragements à continuer, c'est beaucoup pour moi.
Je ne vais pas déserter le site loin de là, je vais regarder la théorie naïve (c'est bien pour moi ça ) des ensembles, et reprendre les bases qui me font défaut comme programme de travail en solitaire avec l'espoir d'en sortir plus fort.
Et comme m'y invite Prof, si j'ai une interrogation vraiment restée sans réponse après recherches alors je demanderai conseil.
Néanmoins, et si vous le souhaitez, je serai toujours reconnaissant de tout ce que vous pourrez me faire comme suggestions pour m'aider : plan de travail, docs ou autre idée par mp (je n'ai pas d'autres contacts dans ce milieu ) Merci encore
A+
Piok
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Sam 20 Fév - 14:08
salut,
piok est de retour avec juste une question.
si n$\rightarrow$ n' est appelée succession dans $\mathbb{N}$ tel que 0'=1
et que pour toute partie A de $\mathbb{N}$ qui vérifie l'inclusion
$\forall$x$\in$A (x$\in$$\mathbb{N}$) on note A' l'ensemble des successeurs stricts des éléments de A
tel que l'exemple {3,4}' = {4,5} est vrai
Est-il correct de définir l'ensemble en compréhension comme ceci ?
{ $\forall$x$\in$$\mathbb{N}$ $\mid$ x'= x+1 }
J'ai essayé d'être le plus précis possible cette fois
Merci
piok est de retour avec juste une question.
si n$\rightarrow$ n' est appelée succession dans $\mathbb{N}$ tel que 0'=1
et que pour toute partie A de $\mathbb{N}$ qui vérifie l'inclusion
$\forall$x$\in$A (x$\in$$\mathbb{N}$) on note A' l'ensemble des successeurs stricts des éléments de A
tel que l'exemple {3,4}' = {4,5} est vrai
Est-il correct de définir l'ensemble en compréhension comme ceci ?
{ $\forall$x$\in$$\mathbb{N}$ $\mid$ x'= x+1 }
J'ai essayé d'être le plus précis possible cette fois
Merci
Re: parties stables de $\mathbb{N}$
Dim 21 Fév - 13:40
Salut Piok
[quote:4758="Piok"]et que pour toute partie A de NN qui vérifie l'inclusion
∀∀x∈∈A (x∈∈NN) on note A' l'ensemble des successeurs stricts des éléments de A
tel que l'exemple {3,4}' = {4,5} est vrai [/quote]
Il faut absolument que tu m'éclaircisses sur ce que tu veux dire... ce n'est pas clair du tout !
[quote:4758="Piok"]et que pour toute partie A de NN qui vérifie l'inclusion
∀∀x∈∈A (x∈∈NN) on note A' l'ensemble des successeurs stricts des éléments de A
tel que l'exemple {3,4}' = {4,5} est vrai [/quote]
Il faut absolument que tu m'éclaircisses sur ce que tu veux dire... ce n'est pas clair du tout !
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Dim 21 Fév - 18:04
salut Prof ,
[quote:11c3="Professeur J"]Salut Piok
[quote:11c3="Piok"][color:11c3=#FF0000]et que pour toute partie A de NN qui vérifie l'inclusion
∀∀x∈∈A (x∈∈NN) on note A' l'ensemble des successeurs stricts des éléments de A
[/color]
tel que l'exemple {3,4}' = {4,5} est vrai [/quote]
Il faut absolument que tu m'éclaircisses sur ce que tu veux dire... ce n'est pas clair du tout ![/quote]
je comprends que ce ne soit pas clair...il me semblait avoir écrit plutôt ça (entre autres) :
[quote:11c3="piok"]
[color:11c3=#FF0000]et que pour toute partie A de $\mathbb{N}$ qui vérifie l'inclusion
$\forall$x$\in$A (x$\in$$\mathbb{N}$) on note A' l'ensemble des successeurs stricts des éléments de A
tel que l'exemple {3,4}' = {4,5} est vrai
[/color]
[/quote]
mais soit, je mets cela de côté un instant pour reprendre point par point ce que j'essaie de comprendre
I°/ puis-je dire de l'application n$\rightarrow$ n+1 qu'elle détermine le successeur strict de n, le nombre n+1 noté n' ?
II°/ dans l'affirmative, l'application n$\rightarrow$ n' est-elle succession dans $\mathbb{N}$ ?
III°/ si c'est exact, suis-je juste lorsque je le comprends ainsi 0'=1, 2'=3 (ou encore =0''), 3'=4 (ou encore 0''')...100'=101 ?
On me donne alors une proposition qui est celle-ci :
[i][b]"Deux entiers sont égaux si et seulement si leurs successeurs stricts sont égaux"
[/b][/i]
là c'est un poil obscur, mais je suppose que cela signifie
2 + 1 = 3 + 1 dans n$\rightarrow$ n' , donc de ce que le couple (2,3) $\Leftrightarrow$ (4,5) dans n$\rightarrow$ n'
ensuite on me dit :
[b]"Pour toute partie A de $\mathbb{N}$...[/b] (et ici je fais une digression pour signifier que cette expression dans un langage ensembliste suppose A $\subset$ $\mathbb{N}$ donc A un sous-ensemble de $\mathbb{N}$) [b][i]...on note A' l'ensemble des successeurs stricts des éléments de A, c'est à dire l'image de A par la succession"[/i][/b]
Ainsi on note l'ensemble {3,4}' = {4,5} et là je demandais si je pouvais définir l'ensemble en compréhension comme ceci, càd sous cette forme ?
{ $\forall$x$\in$$\mathbb{N}$ $\mid$ x'= x+1 }
Ouuuuffff !...j'espère avoir été suffisamment clair (étant donné mon pauvre niveau ) pour avoir des réponses à mes questions, [size=10] (au moins les premières)
[/size]
Merci à toi
[quote:11c3="Professeur J"]Salut Piok
[quote:11c3="Piok"][color:11c3=#FF0000]et que pour toute partie A de NN qui vérifie l'inclusion
∀∀x∈∈A (x∈∈NN) on note A' l'ensemble des successeurs stricts des éléments de A
[/color]
tel que l'exemple {3,4}' = {4,5} est vrai [/quote]
Il faut absolument que tu m'éclaircisses sur ce que tu veux dire... ce n'est pas clair du tout ![/quote]
je comprends que ce ne soit pas clair...il me semblait avoir écrit plutôt ça (entre autres) :
[quote:11c3="piok"]
[color:11c3=#FF0000]et que pour toute partie A de $\mathbb{N}$ qui vérifie l'inclusion
$\forall$x$\in$A (x$\in$$\mathbb{N}$) on note A' l'ensemble des successeurs stricts des éléments de A
tel que l'exemple {3,4}' = {4,5} est vrai
[/color]
[/quote]
mais soit, je mets cela de côté un instant pour reprendre point par point ce que j'essaie de comprendre
I°/ puis-je dire de l'application n$\rightarrow$ n+1 qu'elle détermine le successeur strict de n, le nombre n+1 noté n' ?
II°/ dans l'affirmative, l'application n$\rightarrow$ n' est-elle succession dans $\mathbb{N}$ ?
III°/ si c'est exact, suis-je juste lorsque je le comprends ainsi 0'=1, 2'=3 (ou encore =0''), 3'=4 (ou encore 0''')...100'=101 ?
On me donne alors une proposition qui est celle-ci :
[i][b]"Deux entiers sont égaux si et seulement si leurs successeurs stricts sont égaux"
[/b][/i]
là c'est un poil obscur, mais je suppose que cela signifie
2 + 1 = 3 + 1 dans n$\rightarrow$ n' , donc de ce que le couple (2,3) $\Leftrightarrow$ (4,5) dans n$\rightarrow$ n'
ensuite on me dit :
[b]"Pour toute partie A de $\mathbb{N}$...[/b] (et ici je fais une digression pour signifier que cette expression dans un langage ensembliste suppose A $\subset$ $\mathbb{N}$ donc A un sous-ensemble de $\mathbb{N}$) [b][i]...on note A' l'ensemble des successeurs stricts des éléments de A, c'est à dire l'image de A par la succession"[/i][/b]
Ainsi on note l'ensemble {3,4}' = {4,5} et là je demandais si je pouvais définir l'ensemble en compréhension comme ceci, càd sous cette forme ?
{ $\forall$x$\in$$\mathbb{N}$ $\mid$ x'= x+1 }
Ouuuuffff !...j'espère avoir été suffisamment clair (étant donné mon pauvre niveau ) pour avoir des réponses à mes questions, [size=10] (au moins les premières)
[/size]
Merci à toi
- PouletAtomiquePosteur Confirmé
- Messages : 361
Re: parties stables de $\mathbb{N}$
Lun 22 Fév - 10:22
"Deux entiers sont égaux si et seulement si leurs successeurs stricts sont égaux"
Tu te prends la tête pour rien,
Si tu prends n et k, alors n=k si et seulement si n+1=k+1 (successeurs égaux) , fin c'est trivial
Tu te prends la tête pour rien,
Si tu prends n et k, alors n=k si et seulement si n+1=k+1 (successeurs égaux) , fin c'est trivial
- piokPosteur Confirmé
- Messages : 151
Re: parties stables de $\mathbb{N}$
Lun 22 Fév - 12:39
ok ok...cool...on passe à autre chose 8)
- PouletAtomiquePosteur Confirmé
- Messages : 361
Re: parties stables de $\mathbb{N}$
Lun 22 Fév - 17:17
Après ptet que j'ai mal cerné tes interrogations, j'attends qu'un prof passe par là
- CurryProfesseur de Mathématiques
- Messages : 296
Re: parties stables de $\mathbb{N}$
Lun 22 Fév - 17:37
Salut,
PouletAtomique a raison.
Sinon attention, $\{ \forall x \in \mathbb\ |\ x'=x+1\}$ n'a pas de sens, qui est $x'$?
Il n'y a pas plusieurs fonction successeur. Il n'y en a qu'une et c'est exactement celle qui à $x$ donne $x+1=x'$.
Edit : Sur quel poly tires tu tout ça ? Est il en ligne ?
PouletAtomique a raison.
Sinon attention, $\{ \forall x \in \mathbb\ |\ x'=x+1\}$ n'a pas de sens, qui est $x'$?
Il n'y a pas plusieurs fonction successeur. Il n'y en a qu'une et c'est exactement celle qui à $x$ donne $x+1=x'$.
Edit : Sur quel poly tires tu tout ça ? Est il en ligne ?
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum