Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
197 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Comprendre la logique des mathématiques

Envoyé par OShine 
Re: Comprendre la logique des mathématiques
il y a neuf mois
@Oshine: merci pour ta réponse, décompresse bien et on sera là je pense quand tu nous re-solliciteras.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
Sérieusement je pensais que tu l'avais fait exprès hot smiley
Quel que soit l'entier n, on considère les n - 1 premiers entiers naturels non nuls. Ils sont bien inférieurs à n.
Il suffit alors de prendre le produit de ces nombres (qui est donc un multiple de chaque entier inférieur à n).



Edité 1 fois. La dernière correction date de il y a neuf mois et a été effectuée par Xavier Var.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Pardon. je précise. Sans utiliser d'argument externes. Autrement dit juste avec des quantificateurs des + et des multiplier.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
Quel(s) argument(s) externe(s) ai-je utilisé ?
Je ne peux pas utiliser de propriétés arithmétiques ?
Re: Comprendre la logique des mathématiques
il y a neuf mois
Notion de liste de nombres (dont tu as formé le produit)

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Dom
Re: Comprendre la logique des mathématiques
il y a neuf mois
Tu pousses un peu Christophe, non ?
C’est comme un jeu de plage, bon d’accord winking smiley
Re: Comprendre la logique des mathématiques
il y a neuf mois
Je sèche complétement.
Peut-être un exemple de résolution de ce genre d'exercice m'aiderai à voir ce que tu attends comme réponse
Peut-être dois-je commencer par plus élémentaire ? eye rolling smiley
Re: Comprendre la logique des mathématiques
il y a neuf mois
Je n'ai pas la dispo pour une description exhaustive des règles du jeu. Mais c'est simple, chaque fois que tu évoques quelques chose, demande-toi juste si c'est un nombre entier naturel. Par exemple, si tu fais la liste des nombres non nuls plus petit que $n$, tu évoques une liste. Ce n'est pas un nombre entier.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
D'accord. Les propriétés arithmétiques sont acceptées ?
Par exemple, le fait que si b est un multiple de a alors a est supérieur ou égal à b (dans N) ?
Re: Comprendre la logique des mathématiques
il y a neuf mois
Oui après c'est à ton choix de les reprouver ou pas, comme tu veux, un exercice est toujours un multi-exercice selon les admis qu'on s'autorise. Mais "multiple" est accepté puisque c'est $\exists x: ax=b$.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi



Edité 1 fois. La dernière correction date de il y a neuf mois et a été effectuée par christophe c.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Bien, alors je cherche et je te proposes une résolution en justifiant clairement à chaque étape, les axiomes, propriétés ou définition que j'utilise.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Dans le même genre et pour ne pas sortir des sentiers hypermédiatiques, l'exercice suivant:


EXERCICE: XV2
Soit $f: \R\to \R$. Prouver l'existence d'une suite $u$, à termes réels, telle que $\forall n\in \mathbb{N}: u_{n+1} = f(u_n)$

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
Bonjour,

Ce serait plus amusant avec $u_n = f(u_{n+1})$.

Cordialement,

Rescassol
Re: Comprendre la logique des mathématiques
il y a neuf mois
De mon téléphone ce serait faux. C'est vrai avec continue et espace compact.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
J'ai beau à réfléchir, tenter des choses mais je n'arrive pas à trouver un point de départ.
Re: Comprendre la logique des mathématiques
il y a neuf mois
@Christophe : ton exercice 42 est ni plus ni moins le théorème de récursion. Ce n'est pas vraiment compliqué mais chiant à mettre en forme. L'idée est de construire des approximations finies (donc des fonctions partielles) de la fonction totale que tu cherches à fabriquer.

Tu peux trouver la preuve complète dans le livre de Patrick ou dans mon Chap 6, pages 11 et suivantes. Tu te sers de la même méthode pour montrer qu'on a le droit de définir une fonctionnelle sur les ordinaux par récurrence transfinie.

Concernant la variante de Rescassol je pense que c'est faux, et heureusement car pour prouver que c'est vrai il faudrait faire une récurrence descendante... et là, ça pique !
Re: Comprendre la logique des mathématiques
il y a neuf mois
Bonjour,

C'était juste une boutade, mais je serais curieux de savoir si ça pouvait être vrai dans certains cas particuliers, autres que $f$ bijective, quoique ...

Cordialement,

Rescassol
Re: Comprendre la logique des mathématiques
il y a neuf mois
Bonjour,

50/ Soit $A$ l'ensemble des polynômes, enfin des fonctions polynomiales de $\R \longrightarrow \R$ . Soit $f \in A$ telle que pour toute $g \in A$ $f \circ g=g \circ f$ . Peut-on déduire de ces hypothèses qui est $f(103)$ ?

Je ne vois pas comment démarrer....
paf
Re: Comprendre la logique des mathématiques
il y a neuf mois
OShine, essaye des fonctions $g$ particulières et assez simples pour tenter de trouver $f$.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Merci pour l'indication. Je vais chercher.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Citation
Martial
@Christophe : ton exercice 42 est ni plus ni moins le théorème de récursion. Ce n'est pas vraiment compliqué mais chiant à mettre en forme. L'idée est de construire des approximations finies (donc des fonctions partielles) de la fonction totale que tu cherches à fabriquer.
En fait non, c'est un théorème de théorie des ensembles (en récursion, il n'y a pas vraiment de $\R$) et il est bien plus simple à montrer que ça (mais largement méconnu malheureusement; on peut écrire une variante de la définition de fonctions par induction transfinie).

1°) Rappel: une fonction est un ensemble $f$ de couples tels que pour tous $x,y,z$, si $(x,y)$ et $(x,z)$ sont dans $f$ alors $y=z$.
On note $dom(f):=\{x \mid \exists y, (x,y) \in f\}$ et $im(f):=\{x \mid \exists y, (y,x) \in f\}$ (les axiomes usuels de ZF entraînent l'existence de tels ensembles).


2°) (Recollements) soit $A$ un ensemble de fonctions; les énoncés suivants sont équivalents
(i) la réunion de $A$ est une fonction
(ii) pour tous $g,h\in A$ et tout $x\in dom(g) \cap dom(h)$, $g(x)=h(x)$ (autrement dit ensemblistement: pour tous $a,b,c$, si $(a,b)\in g$ et $(a,c)\in h$, on a $b=c$).

La réunon de $A$ est appelée "recollement des fonctions de $A$" ou autres tournures de phrases équivalentes.

3°) Soit $X$ un ensemble et $R$ une relation bien fondée sur $X$ (i.e. pour toute partie non vide de $E$, il existe $m\in E$ tel que pour tout $x\in X$, si $(x,m)\in R$ alors $x\notin E$). Soit également $\Phi$ une relation fonctionnelle (i.e. pour tous $x,y,z$ $\Phi (x,y)$ et $\Phi(x,z)$ entraînent $y=z$). On dit qu'une partie $Y$ de $X$ est initiale si pour tous $a,b$ tels que $(a,b)\in R$, si $b\in Y$ alors $a\in Y$.
On dit qu'un ensemble $u$ est une fonction $\Phi$-inductive si
(a) $u$ est une fonction
(b) $dom(u)$ est une partie initiale de $(X,R)$
(c) pour tous $x\in dom (u)$, $\Phi \left (u|_{a}, u(x) \right )$ où $a$ désigne $\{y\in X \mid (y,x)\in R \}$.


********

4°) A l'aide de 2°) et en mettant de côté préjugés, états d'âme, aléas psychologiques et autres confusions mentales se faisant passer pour de l'ontologie et obscurcissant le paysage intellectuel des gens (i.e. en restant près des définitions) on montre facilement qu'il existe un ensemble de toutes les fonctions $\Phi$-inductives à domaine inclus dans $X$ et que toute réunion de fonctions $\Phi$-inductives est $\Phi$-inductive. Autrement dit il existe une plus grande fonction $\Phi$-inductive dite "fonction définie par récurrence" ou "par induction" via $\Phi$.

5°) la relation $\{(p,q) \in \N \mid p+1=q\}$ sur $\N$ est bien fondée.

6°) il y a des conditions suffisantes simples pour que la fonction définie dans 4°) ait son domaine égale à $X$, comme "$\Phi$ définie sur toutes toutes les fonctions inductives à valeurs dans $Y$ et prenant ses valeurs dans $Y$" où $Y$ est un certain ensemble. Dans l'exo 42 de Christophe, $Y$ va être $\R$.



Edité 1 fois. La dernière correction date de il y a neuf mois et a été effectuée par Foys.
Re: Comprendre la logique des mathématiques
il y a neuf mois
@Foys : oui, c'est exactement comme ça que je fais (aux notations près), et effectivement l'exo 42 de Christophe correspond au cas particulier où $Y= \mathbb{R}$.

Je ne sais pas ce que tu appelles exactement la récursion, mais je suis bien d'accord avec toi que ce truc est un théorème de TDE.
Je l'appelle "théorème de récursion " parce que j'ai pompé l'expression sur Dehornoy, qui lui-même a dû la traduire de l'anglais. Mas il me semble que la plupart des gens disent "théorème de définition par récurrence", voire "par récurrence généralisée", voire "par récurrence généralisée sur les classes".

P.S. : J'aime bien ton "en mettant de côté préjugés, états d'âme, aléas psychologiques et autres confusions mentales se faisant passer pour de l'ontologie et obscurcissant le paysage intellectuel des gens"...
Re: Comprendre la logique des mathématiques
il y a neuf mois
Citation
Martial
Je ne sais pas ce que tu appelles exactement la récursion, mais je suis bien d'accord avec toi que ce truc est un théorème de TDE.
Il s'agit d'un malentendu sur un point de vocabulaire alors. J'ai toujours vu le mot récursion désigner des concepts d'informatique théorique. Par exemple la construction d'un programme "par induction" (mais en fait exploitant un résultat de point fixe). C'est différent ici, les fonctions ensemblistes n'étant pas des programmes.



Edité 1 fois. La dernière correction date de il y a neuf mois et a été effectuée par Foys.
Re: Comprendre la logique des mathématiques
il y a neuf mois
J'ai essayé avec $g(x)=x$ mais ça donne $f( g(103))= g (f(103))$ soit $f(103)= f(103)$ rien d'intéressant.

Avec $g(x)=2x$ ça ne fonctionne pas.
Re: Comprendre la logique des mathématiques
il y a neuf mois
@OS : Il existe des fonctions polynomiales plus simples encore que les fonctions linéaires. Ca ne semble pas être un scoop pour toi...
Re: Comprendre la logique des mathématiques
il y a neuf mois
En effet, en prenant $g(x)=103$ on obtient $f(103)=103$

La réponse est oui et $f(103)=103$
Re: Comprendre la logique des mathématiques
il y a neuf mois
Citation
OShine
En effet, en prenant $g(x)=103$ on obtient $f(103)=103$


Tu as compris, mais ta rédaction ne v eut rien dire du tout. IL n'y a aucune preuve.

Comme c'est les vacances, je ne te torture pas en te disant cherche encore.

Ce que TU VOULAIS dire (et il va falloir t'habituer à dire CE QUE TU VEUX DIRE et non pas la moitié de tes pensées, sinon ça donne l'impression que comme certains enfants, tu avales tes mots de peur qu'on les entende) est :

En prenant $g$ telle que $\forall x: g(x)=103$, on obtient $f(103) = f(g(103)) = g(f(103)) = 103$

LA PROCHAINE FOIS dis TOUT ce que tu penses, pas la moitié!

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi



Edité 1 fois. La dernière correction date de il y a neuf mois et a été effectuée par christophe c.
Re: Comprendre la logique des mathématiques
il y a neuf mois
@Foys : en fait c'est de ma faute, je n'aurais pas dû employer le terme "récursion".

On a le même pb avec les fonctions récursives. En informatique la récursivité s'applique à une fonction qui s'appelle elle-même (genre : factorielle ou Fibonacci) ou à deux fonctions qui s'appellent mutuellement. En math, ce n'est pas du tout ça la récursivité...
Re: Comprendre la logique des mathématiques
il y a neuf mois
Ok merci.
Re: Comprendre la logique des mathématiques
il y a neuf mois
@Christophe : "LA PROCHAINE FOIS dis TOUT ce que tu penses, pas la moitié!"

Tu pourrais expliquer ça à Monsieur Jech, STP ?

(Bon, d'accord, s'il appliquait la consigne le bouquin ferait 1600 pages, mais on n'est plus à ça près, lol).
Re: Comprendre la logique des mathématiques
il y a neuf mois
@OS : pour guère plus chère, tu pourrais déterminer la fonction $f$...
Re: Comprendre la logique des mathématiques
il y a neuf mois
Oui f est l'application identité.
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
Un exo dans le style de ceux de cette série :

54) Déterminer tous les entiers $n$ tels que pour tout polynôme $P\in \R[X]$ et tous $x_1<\cdots<x_n$ réels, on ait $$((\forall i,\; P(x_i)=x_i^2)\implies (\exists x\in \R,\; P'(x)=2x)).$$
Re: Comprendre la logique des mathématiques
il y a neuf mois
OK merci JLT j'y réfléchis. Ça m'a l'air dur.
Re: Comprendre la logique des mathématiques
il y a neuf mois
@OS : "Pour tout"! En réponse à "l'air dur"

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
J'y ai réfléchi durant la journée mais je ne trouve rien.
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
Essaye une version simplifiée :

54bis) Déterminer tous les entiers $n$ tels que pour tout polynôme $P\in\R[X] $et tous $x_1<\cdots <x_n$ réels, on ait
$$((\forall i,P(x_i)=0)\implies (\exists x\in\R ,P'(x)=0)).$$

Commence par regarder des petites valeurs de $n$.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Merci mais en fait je crois que je ne comprends pas ce que signifie "déterminer tous les entiers n".
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
Cela signifie : trouver l'ensemble des entiers $n$ tels que la propriété est vraie. Bref,

* La propriété est-elle vraie pour $n=1$ ?
* La propriété est-elle vraie pour $n=2$ ?
* etc.
Re: Comprendre la logique des mathématiques
il y a neuf mois
D'accord.
Pour la 54 bis avec un dessin j'ai l'impression qu'elle est vraie pour tout entier naturel n.
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
On ne te demande pas tes impressions mais des démonstrations les plus complètes et rigoureuses possibles.
Re: Comprendre la logique des mathématiques
il y a neuf mois
OShine, juste pour te dire de bien profiter de tes vacances et de suivre, quand tu posteras à l'avenir la demande de JLT. Nous ne doutons plus de tes capacités INTUITIVES. Tu perdras donc ton temps à nous balancer des choses du genre "mon petit doigt me dit que" / "je sens bien que", etc

L'année qui vient, connaissant le système E.N. risque d'être pernicieuse et difficile pour toi. Tu as le cap "stagiaire->titulaire" à passer avec un gouvernement qui généralise les contractuels jusqu'aux PRAGs.

Et vu le COVID, ça va virer à la louche à la fin des stages. Comme tu as déjà de l'expérience, il te reste à te solidifier sur 2 points: autorité (discipline, punitions, tout ça) et Précision et rigueur mathématique (afin de ne pas subir de reproches de type "procéduriers").

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
En réaction à ce que je viens de lire dans un autre fil NE DÉMISSIONNE PAS (d'autant que si tu as connu Mantes tu as déjà tout vu) et dans quelques années comme dit JLT passe l'agreg et j'ajoute une précision l'agreg EXTERNE. Je ne te vois pas obtenir l'interne qui est bien plus difficile maintenant (je poste de mon téléphone je ne détaillé pas) que l'externe et tu es bien plus adapté dans ton profil à l'externe (le côté gesticulant pour empêcher les passing shot quand tu es à la volée) moyennant bien entendu des progrès réels de la ti ence et rigueur.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Comprendre la logique des mathématiques
il y a neuf mois
D'accord merci.

Je pense avoir trouvé la solution à l'exercice de JLT.

Soit $P \in R[X]$.
Posons $Q(y)=P(y)-y^2$ pour $y \in \R$. Ainsi $Q$ est un polynôme comme somme de polynômes.

Premier cas :
$n \geq 2$
Soit $n$ un entier supérieur ou égal à $2$ et $x_1, \cdots x_n$ des réels tels que $x_1 < \cdots <x_n$.
Si pour tout $i \in [|1,n|] \ Q(x_i)=0$ alors à fortiori $Q(x_1)=Q(x_2)=0$.
Comme $x \mapsto Q(x)$ est continue sur $[x_1,x_2]$ et dérivable sur $]x_1,x_2[$, d'après le théorème de Rolle, il existe $x \in ]x_1,x_2[ \subset \R$ (tout ouvert de $\R$ étant connexe) tel que $Q'(x)=0$
Il existe donc $x \in \R$ tel que $P'(x)-2x=0$ soit $P'(x)=2x$

Deuxième cas :
$n=1$
Prenons $P(x)=\dfrac{x^2}{2}$ et $x_1=0$

On a $Q(x_1)=Q(0)=0$ et $\forall x \in \R \ Q'(x)=-x$ donc $Q' \ne 0$

Conclusion : les entiers $n$ tels qu'on ait l'implication voulue sont les entiers $\boxed{\{ n \in \N | n \geq 2 \}}$



Edité 1 fois. La dernière correction date de il y a neuf mois et a été effectuée par OShine.
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
D'accord pour le premier cas mais je ne valide pas ta démonstration du deuxième cas.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Le cas $n=1$ m'a posé quelques soucis en effet, c'est faux yawning smiley

Pour montrer que le cas $n=1$ ne fonctionne pas, je dois montrer que :

$\exists P \in \R[X]$ et il existe des réels $x_1 , \cdots ,x_n$ tels que $x_1 < \cdots <x_n$ et :

$Q(x_1)=0$ ET $\forall x \in \R \ Q'(x) \ne 0$

Est-ce correct niveau logique ?
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
Si ton polynôme $Q$ est défini par $Q(y)=P(y)-y^2$, oui c'est bien ça que tu dois démontrer.
Re: Comprendre la logique des mathématiques
il y a neuf mois
Merci, je corrige mon erreur.

Soit $n=1$.

Prenons $\forall x \in \R \ P(x)=x^2+x$ et donc $\forall x \in \R \ Q(x)=x^2+x-x^2=x$

Prenons $x_1=0 \in \R$ ainsi $Q(x_1)=Q(0)=0$

Alors que pour tout $x \in \R$ on a $Q'(x)=2x+1-2x=1 \ne 0$
JLT
Re: Comprendre la logique des mathématiques
il y a neuf mois
avatar
C'est bon !
Re: Comprendre la logique des mathématiques
il y a neuf mois
Cool cool smiley

Je réfléchis à l'exercice suivant qui m'a l'air bien étrange.

30/ On colorie le plan en deux couleurs, vert et rouge. Pour tous les points A,B, si l'abscisse de B est égale à l'ordonnée de A alors l'un des deux points est vert parmi A et B.
30.1/ Prouve qu'il existe une droite entièrement verte
30.2/ Prouver qu'il existe une droite VERTICALE qui est entièrement verte.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 149 210, Messages: 1 506 639, Utilisateurs: 27 657.
Notre dernier utilisateur inscrit Algomius.


Ce forum
Discussions: 2 516, Messages: 51 010.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page