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
144 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
 
 
 
 
 

Théorème de lecture unique

Envoyé par Raskolnikov 
Théorème de lecture unique
il y a trois mois
Bonjour,

dans l'un des exercices du Cori Lascar (exercice 3 du chapitre 1), on demande de prouver le théorème de lecture unique pour les pseudoformules. Dans le corrigé en pièce-jointe, je ne comprends pas pourquoi on a besoin de l'étape 3, à savoir prouver que pour tout segment initial propre $M$ d'une pseudo formule, on a $o[M]\geqslant b[M]$. Ne peut-on pas se contenter des étapes 1, 2 et 4 ?


Re: Théorème de lecture unique
il y a trois mois
Je ne sais pas ce qu'est une pseudoformule dans ce contexte, mais j'imagine que 3) doit intervenir dans la démonstration de 4).
Re: Théorème de lecture unique
il y a trois mois
De toute façon, ce n'est pas grave. C'est à toi de te faire une conviction qui sera solide sur l'utilité ou non de 3 en rédigeant, par qu'un simple extrait soumis à nous ne va pas te donner grande certitude, même en cas de réponse.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Théorème de lecture unique
il y a trois mois
Désolé pour mes questions triviales. J'ai bien entendu rédigé une solution avant de poser ma question, mais comme je ne me servais aucunement du 3 pour établir le 4, j'imaginais qu'une subtilité m'avait échappé et qu'on pouvait aller plus vite en l'utilisant.
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 164, Messages: 1 505 853, Utilisateurs: 27 639.
Notre dernier utilisateur inscrit Bordée2.


Ce forum
Discussions: 2 515, Messages: 50 947.

 

 
©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