Inscription / Connexion Nouveau Sujet
Niveau Licence Maths 1e ann
Partager :

Propriété d'Archimède

Posté par
Shurkan
02-02-19 à 18:09

Bonjour à tous,

Nous venons de commencer la topologie, je ne suis pas très fort en démonstration mathématiques donc je m'entraîne, j'ai essayé d'en démontrer une, pourriez vous me dire si mon raisonnement est correcte? Merci beaucoup d'avance.

Sujet:

Démontrer que: \forall x \in \mathbb{R} \exists n \in  \mathbb{N} n > x

Mon raisonnement:

Par l'absurde, supposons que: \exists x \in  \mathbb{R}  \forall n \in \mathbb{N} n <= x

D'après cette proposition, pour tout entier naturel m >= x,

\mathbb{N}  \cap  \mathbb{R} = vide
Donc  \mathbb{N} et  \mathbb{R} sont des ensembles disjoints pour tout m >= x.
Ce qui est absurde car \mathbb{N} \subset \mathbb{R}
Donc finalement, la proposition  \forall x \in \mathbb{R} \exists n \in  \mathbb{N} n > x est vérifiée.

Je prie pour qu'elle soit correcte ça doit faire la millième que j'essaie
Encore merci à vous d'avance!

Posté par
verdurin
re : Propriété d'Archimède 02-02-19 à 18:25

Bonsoir,
ta démonstration est fausse.

Si tu suppose que
     \exists x\in\R\quad\forall n\in\N\quad n<x
il n'y a pas d'entier m plus grand que x.

En fait la propriété d'Archimède vient de la construction de \R.
Et elle a longtemps été considérée comme un axiome.

Posté par
Shurkan
re : Propriété d'Archimède 02-02-19 à 18:29

Ah ops, encore raté, je vais la retravailler :/ Merci beaucoup à toi pour ta réponse Verdurin

Posté par
boninmi
re : Propriété d'Archimède 02-02-19 à 18:29

Voir par exemple ici:

Posté par
Shurkan
re : Propriété d'Archimède 02-02-19 à 18:35

Bonjour Boninmi, merci pour le lien.

Posté par
boninmi
re : Propriété d'Archimède 02-02-19 à 18:58

Si tu veux retravailler ta démonstration, la première chose à faire c'est de savoir si elle a lieu d'être ... Autrement dit il faut que tu saches quelle est la construction de dont tu pars. T'en a-t-on donné une en cours ? Si on a considéré la propriété d'Archimède comme un axiome, il n'y a rien à démontrer ...

Posté par
Shurkan
re : Propriété d'Archimède 02-02-19 à 19:06

En fait on vient juste de commencer les cours de topologies donc sur R on a juste vu la caractérisation de la borne supérieur, le fait qu'il soit un corps commutatif ect.. Et en fait on veut démontrer justement la propriété d'Archimède. J'avais juste voulu faire ma propre démonstration mais le professeur lui avait fait un petit changement d'égalité pour démontrer une absurdité.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1677 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !