Server : Apache System : Linux webd348.cluster026.gra.hosting.ovh.net 5.15.148-ovh-vps-grsec-zfs-classid #1 SMP Thu Feb 8 09:41:04 UTC 2024 x86_64 User : hednacluml ( 122243) PHP Version : 8.3.9 Disable Function : _dyuweyrj4,_dyuweyrj4r,dl Directory : /home/hednacluml/encyclo/articles/t/h/é/ |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="fr" lang="fr" dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<!-- headlinks removed -->
<link rel="shortcut icon" href="../../../../misc/favicon.ico"/>
<title>Théorème fondamental de la géométrie projective - Wikipédia</title>
<style type="text/css">/*<![CDATA[*/ @import "../../../../skins/offline/main.css"; /*]]>*/</style>
<link rel="stylesheet" type="text/css" media="print" href="../../../../skins/common/commonPrint.css" />
<!--[if lt IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE50Fixes.css";</style><![endif]-->
<!--[if IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE55Fixes.css";</style><![endif]-->
<!--[if IE 6]><style type="text/css">@import "../../../../skins/monobook/IE60Fixes.css";</style><![endif]-->
<!--[if IE]><script type="text/javascript" src="../../../../skins/common/IEFixes.js"></script>
<meta http-equiv="imagetoolbar" content="no" /><![endif]-->
<script type="text/javascript" src="../../../../skins/common/wikibits.js"></script>
<script type="text/javascript" src="../../../../skins/offline/md5.js"></script>
<script type="text/javascript" src="../../../../skins/offline/utf8.js"></script>
<script type="text/javascript" src="../../../../skins/offline/lookup.js"></script>
<script type="text/javascript" src="../../../../raw/gen.js"></script> <style type="text/css">/*<![CDATA[*/
@import "../../../../raw/MediaWiki%7ECommon.css";
@import "../../../../raw/MediaWiki%7EMonobook.css";
@import "../../../../raw/gen.css";
/*]]>*/</style> </head>
<body
class="ns-0">
<div id="globalWrapper">
<div id="column-content">
<div id="content">
<a name="top" id="contentTop"></a>
<h1 class="firstHeading">Théorème fondamental de la géométrie projective</h1>
<div id="bodyContent">
<h3 id="siteSub">Un article de Wikipédia, l'encyclopédie libre.</h3>
<div id="contentSub"></div>
<!-- start content -->
<p>Le <b>théorème fondamental de la géométrie projective</b> s'énonce ainsi :</p>
<blockquote id="th.C3.A9or.C3.A8me_fondamental_de_la_g.C3.A9om.C3.A9trie_projective" style="width:90%; border-left: solid #D0D0D0 1px; padding-left:1em;" title="théorème fondamental de la géométrie projective">
<p>Dans un plan, il existe une et une seule transformation projective d'une division rectiligne en elle-même ou en une autre division rectiligne, transformant 3 points distincts de la première en trois points distincts de la seconde.</p>
</blockquote>
<p>En <a href="../../../../articles/g/%C3%A9/o/G%C3%A9om%C3%A9trie_projective.html" title="Géométrie projective">géométrie projective</a> du plan, le théorème fondamental est une base de démonstration puissante, qui permet pratiquement de tout démontrer. Mais il est un peu frustrant dans la mesure où il est trop puissant pour certaines petites propriétés, il ne permet pas de comprendre vraiment pourquoi telle petite propriété est vraie. C'est comme si l'on prenait, afin de rendre l'image concrète, un marteau-pilon pour écraser une mouche.</p>
<p>Tout dépend des <a href="../../../../articles/a/x/i/Axiome.html" title="Axiome">axiomes</a> que l'on a décidé d'utiliser. Dans ce cas précis, les axiomes sont:</p>
<dl>
<dd>les axiomes du plan projectif-tout-court:</dd>
</dl>
<ul>
<li>Un plan projectif est un ensemble</li>
<li>C'est un ensemble de points</li>
<li>Certains sous-ensembles s'appellent des droites.</li>
</ul>
<dl>
<dd>les axiomes du plan projectif d'incidence:</dd>
</dl>
<ul>
<li>Il existe au moins 2 points dans le plan.</li>
<li>Chaque droite possède au moins 3 points.</li>
<li>Pour deux points distincts il existe une et une seule droite qui leur est incidente.</li>
<li>Deux droites distinctes ont un et un seul point commun.</li>
<li>Pour toute droite il existe au moins un point non incident à cette droite.</li>
</ul>
<p>Plus l'axiome du plan projectif fondamental:</p>
<ul>
<li>Si une transformation projective unidimensionnelle possède 3 points fixes distincts, alors c'est la transformation identité.</li>
</ul>
<p><br /></p>
<div class="thumb tright">
<div class="thumbinner" style="width:302px;"><a href="../../../../articles/f/o/n/Image%7EFondam.PNG_59f4.html" class="image" title="Deux transfos projectives T1 et T2"><img alt="Deux transfos projectives T1 et T2" src="../../../../images/local/f/fe/Fondam.PNG" width="300" height="265" border="0" class="thumbimage" /></a>
<div class="thumbcaption">
<div class="magnify"><a href="../../../../articles/f/o/n/Image%7EFondam.PNG_59f4.html" class="internal" title="Agrandir"><img src="../../../../skins/common/images/magnify-clip.png" width="15" height="11" alt="" /></a></div>
Deux transfos projectives T1 et T2</div>
</div>
</div>
<p>Le théorème fondamental de la géométrie projective plane s'énonce ainsi:</p>
<dl>
<dd><i>Il existe une et une seule transformation projective d'une division rectiligne en elle-même ou en une autre division rectiligne, transformant 3 points distincts de la première en trois points distincts de la seconde.</i></dd>
</dl>
<p>Le <a href="../../../../articles/v/o/c/Vocabulaire.html" class="mw-redirect" title="Vocabulaire">vocabulaire</a> est étrange et s'explique par les tâtonnements dans la découverte des concepts de plus en plus nuancés.</p>
<ul>
<li>Configuration unidimensionnelle (en: one-dimensional-form): (2 cas) ensemble de points incidents à une même droite, appelé aussi division rectiligne, ou ensemble de droites incidentes à un même point, appelé aussi faisceau de droites (en: pencil of lines).</li>
<li>Transformation projective, projectivité (en: projectivity): composition de perspectives.</li>
<li>Perspective: (4 cas) soit une <a href="../../../../articles/b/i/j/Bijection.html" title="Bijection">bijection</a> entre une division rectiligne et un faisceau telle qu'un point et sa droite-image sont incidents (en: elementary correspondance); soit la bijection inverse; soit la combinaison des deux dans un ordre ou dans l'autre (en: perspectivity).</li>
<li>Transformation projective unidimensionnelle: c'est une expression pléonastique pour rappeler que cette transformation projective ne travaille que sur des êtres unidimensionnels du plan ou de l'espace de dimension supérieure.</li>
<li>Réf: Atlas des mathématiques, Fritz Reinhardt et Heinrich Soeder,1974, la Pochothèque en français 1997.</li>
<li>réf pour l'anglais: <a href="../../../../articles/c/o/x/Coxeter.html" class="mw-redirect" title="Coxeter">Coxeter</a>, 1987. Les anglais ont adopté le vocabulaire de <a href="../../../../articles/j/e/a/Jean-Victor_Poncelet_9c53.html" title="Jean-Victor Poncelet">Poncelet</a>, les Français celui de <a href="../../../../articles/c/h/a/Chasles.html" title="Chasles">Chasles</a>.</li>
</ul>
<p>On devrait en toute rigueur l'appeler le <i>théorème fondamental de la géométrie plane projective</i> mais l'usage en a décidé autrement.</p>
<dl>
<dd>Il faut démontrer l'existence et l'unicité.</dd>
<dd><b>Unicité</b>.Admettons qu'il existe une éventuelle première transformation projective T1 qui transforme A B C en A3, B3 C3. En existe-t-il d'autres? Soit une deuxième transformation projective T2 qui a la même propriété. Comme les TP sont bijectives, on peut considérer l'inverse de T2 (=T2<sup>−1</sup> ). Considérons maintenant la transfo composée P=T2<sup>−1</sup>(T1()) Elle transforme A en A, B en B et C en C. Elle possède 3 points fixes distincts, alors d'après l'axiome ci-dessus c'est la transformation identité; P=I.</dd>
</dl>
<p>Or, par définition de T2<sup>−1</sup>, I=T2<sup>−1</sup>(T2()). Nous pouvons transformer cette équation:</p>
<dl>
<dd>T2<sup>−1</sup>(T1()) = T2<sup>−1</sup>(T2()). Combinons à gauche avec T2</dd>
<dd>T2[T2<sup>−1</sup>(T1())] = T2[T2<sup>−1</sup>(T2())]. Appliquons l'associativité de cette loi de composition interne</dd>
<dd>T2(T2<sup>−1</sup>[T1()]) = T2(T2<sup>−1</sup>[T2()]). Remplaçons T2(T2<sup>−1</sup> par I</dd>
<dd>I [T1()] = I [T2()] et, I étant l'élément neutre,</dd>
<dd>T1() = T2(), ce qui démontre l'unicité d'une éventuelle transformation projective T1 qui transforme A B C en A3, B3 C3.</dd>
<dd><b>Nota.</b>Pour la notation de la loi de composition interne des transfos, on a le choix entre <b>T2 o T1</b> qui se prononce "T2 rond T1" et signifie "on applique T1 puis T2" et l'autre notation par parenthésages-gigognes <b>T2 (T1 ( ...etc</b> = "T2 de T1 de...etc". Cette dernière notation est adoptée ici.</dd>
</dl>
<dl>
<dd><b>Existence.</b> <a href="../../../../articles/f/o/n/Image%7EFondamexistence.PNG_96e9.html" class="image" title="Image:Fondamexistence.PNG"><img alt="Image:Fondamexistence.PNG" src="../../../../images/shared/d/d1/Fondamexistence.PNG" width="500" height="230" border="0" /></a></dd>
<dd>Existe-t-il au moins une transfo projective unidimensionnelle qui transforme ABC en A3B3C3?</dd>
</dl>
<p>Ici l'existence est explicitée uniquement pour le cas où 4 couples sont faits de points distincts, à savoir B3,B; C3,C; A3,A et C3,A. Soient Delta la droite B-B3, Z=Delta inter C-C3, W=Delta inter A-A3, b=Delta inter A-C3. D'abord précisons que ces droites et ces points existent toujours à cause des axiomes du plan projectif d'incidence rappelés supra. Les points auxiliaires a et c sont en fait confondus avec A et C3. On considère 2 transfo projectives unidimensionnelles:</p>
<dl>
<dd>Tz de centre Z qui transforme A, B, C en a, b, c.</dd>
<dd>Tw de centre W qui transforme a, b, c en A3, B3, C3.</dd>
<dd>formons la transformation composée U=Tw(Tz()).</dd>
<dd>U transforme A B C en A3 B3 C3. L'existence est donc démontrée.</dd>
</dl>
<dl>
<dd><b>Commentaire sur l'aspect axiomatique:</b> cette démonstration de l'unicité peut paraître décevante dans la mesure où elle découle mécaniquement de l'axiome des 3 points fixes. Ce n'est que reculer pour mieux sauter, mais on n'y peut rien, c'est la démarche axiomatique. Si on veut remonter plus loin dans les axiomes, il faut par exemple démontrer le théorème suivant:"Si une transformation projective unidimensionnelle possède 3 points fixes distincts, alors c'est la transformation identité." Pour ce faire, on doit partir d'un système d'axiomes plus amont.</dd>
</dl>
<p>Une référence: (en:) Projective Geometry, H.S.M. Coxeter, Springer, 1987, 1998. Chap 2.1.Axioms</p>
<ul id="bandeau-portail" class="bandeau-portail">
<li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><a href="../../../../articles/i/c/o/Image%7EIcosahedron.jpg_f99b.html" class="image" title="Icône du portail de la géométrie"><img alt="Icône du portail de la géométrie" src="../../../../images/shared/thumb/e/eb/Icosahedron.jpg/25px-Icosahedron.jpg" width="25" height="24" border="0" /></a></span> <span class="bandeau-portail-texte"><a href="../../../../articles/g/%C3%A9/o/Portail%7EG%C3%A9om%C3%A9trie_99f5.html" title="Portail:Géométrie">Portail de la géométrie</a></span></span></li>
<li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><a href="../../../../articles/r/a/c/Image%7ERacine_carr%C3%A9e_bleue.svg_2864.html" class="image" title="Icône du portail des mathématiques"><img alt="Icône du portail des mathématiques" src="../../../../images/shared/thumb/1/1f/Racine_carrée_bleue.svg/24px-Racine_carrée_bleue.svg.png" width="24" height="24" border="0" /></a></span> <span class="bandeau-portail-texte"><a href="../../../../articles/m/a/t/Portail%7EMath%C3%A9matiques_0c04.html" title="Portail:Mathématiques">Portail des mathématiques</a></span></span></li>
</ul>
<!--
NewPP limit report
Preprocessor node count: 159/1000000
Post-expand include size: 2700/2048000 bytes
Template argument size: 592/2048000 bytes
Expensive parser function count: 0/500
-->
<div class="printfooter">
</div>
<div id="catlinks"><div id='catlinks' class='catlinks'><div id="mw-normal-catlinks"><a href="../../../../articles/a/c/c/Cat%C3%A9gorie%7EAccueil_1aae.html" title="Catégorie:Accueil">Catégories</a> : <span dir='ltr'><a href="../../../../articles/g/%C3%A9/o/Cat%C3%A9gorie%7EG%C3%A9om%C3%A9trie_projective_8a0b.html" title="Catégorie:Géométrie projective">Géométrie projective</a></span> | <span dir='ltr'><a href="../../../../articles/t/h/%C3%A9/Cat%C3%A9gorie%7ETh%C3%A9or%C3%A8me_de_math%C3%A9matiques_4fd9.html" title="Catégorie:Théorème de mathématiques">Théorème de mathématiques</a></span></div></div></div> <!-- end content -->
<div class="visualClear"></div>
</div>
</div>
</div>
<div id="column-one">
<div id="p-cactions" class="portlet">
<h5>Views</h5>
<ul>
<li id="ca-nstab-main"
class="selected" ><a href="../../../../articles/t/h/%C3%A9/Th%C3%A9or%C3%A8me_fondamental_de_la_g%C3%A9om%C3%A9trie_projective.html">Article</a></li><li id="ca-talk"
><a href="../../../../articles/t/h/%C3%A9/Discuter%7ETh%C3%A9or%C3%A8me_fondamental_de_la_g%C3%A9om%C3%A9trie_projective_3f8a.html">Discussion</a></li><li id="ca-current"
><a href="http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_fondamental_de_la_g%C3%A9om%C3%A9trie_projective">Version actuelle</a></li> </ul>
</div>
<div class="portlet" id="p-logo">
<a style="background-image: url(../../../../misc/Wiki.png);"
href="../../../../index.html"
title="Accueil"></a>
</div>
<script type="text/javascript"> if (window.isMSIE55) fixalpha(); </script>
<div class='portlet' id='p-navigation'>
<h5>Navigation</h5>
<div class='pBody'>
<ul>
<li id="n-mainpage"><a href="../../../../index.html">Accueil</a></li>
<li id="n-thema"><a href="../../../../articles/a/c/c/Portail%7EAccueil_bcc9.html">Portails thématiques</a></li>
<li id="n-alphindex"><a href="../../../../articles/t/o/u/Special%7EToutes_les_pages_fabc.html">Index alphabétique</a></li>
<li id="n-randompage"><a href="../../../../articles/p/a/g/Special%7EPage_au_hasard_9c81.html">Un article au hasard</a></li>
<li id="n-contact"><a href="../../../../articles/c/o/n/Wikip%C3%A9dia%7EContact_929e.html">Contacter Wikipédia</a></li>
</ul>
</div>
</div>
<div class='portlet' id='p-Contribuer'>
<h5>Contribuer</h5>
<div class='pBody'>
<ul>
<li id="n-help"><a href="../../../../articles/s/o/m/Aide%7ESommaire_c9f0.html">Aide</a></li>
<li id="n-portal"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_5272.html">Communauté</a></li>
<li id="n-recentchanges"><a href="../../../../articles/m/o/d/Special%7EModifications_r%C3%A9centes_b222.html">Modifications récentes</a></li>
<li id="n-aboutwp"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_des_nouveaux_arrivants_0784.html">Accueil des nouveaux arrivants</a></li>
<li id="n-sitesupport"><a href="http://meta.wikimedia.org/wiki/Faire_un_don:_explication">Faire un don</a></li>
</ul>
</div>
</div>
<div id="p-search" class="portlet">
<h5><label for="searchInput">Rechercher</label></h5>
<div id="searchBody" class="pBody">
<form action="javascript:goToStatic(3)" id="searchform"><div>
<input id="searchInput" name="search" type="text"
accesskey="C" value="" />
<input type='submit' name="go" class="searchButton" id="searchGoButton"
value="Aller" />
</div></form>
</div>
</div>
</div><!-- end of the left (by default at least) column -->
<div class="visualClear"></div>
<div id="footer">
<div id="f-poweredbyico"><a href="http://www.mediawiki.org/"><img src="../../../../skins/common/images/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" /></a></div> <div id="f-copyrightico"><a href="http://wikimediafoundation.org/"><img src="../../../../misc/wikimedia-button.png" border="0" alt="Wikimedia Foundation"/></a></div> <ul id="f-list">
<li id="f-credits">Cette page a été modifiée pour la dernière fois le 2 avril 2008 à 13:08 par Utilisateur <a href="../../../../articles/b/a/d/Utilisateur%7EBadmood_4dbf.html" title="Utilisateur:Badmood">Badmood</a>. Basé sur le travail de Utilisateur(s) <a href="../../../../articles/h/a/t/Utilisateur%7EHatsarmaveth_b78a.html" title="Utilisateur:Hatsarmaveth">Hatsarmaveth</a>, <a href="../../../../articles/k/i/l/Utilisateur%7EKilom691_4b28.html" title="Utilisateur:Kilom691">Kilom691</a>, <a href="../../../../articles/s/t/y/Utilisateur%7ESTyx_3f2c.html" title="Utilisateur:STyx">STyx</a>, <a href="../../../../articles/m/i/c/Utilisateur%7EMichelbailly_1410.html" title="Utilisateur:Michelbailly">Michelbailly</a>, <a href="../../../../articles/k/y/l/Utilisateur%7EKyle_the_bot_1d7d.html" title="Utilisateur:Kyle the bot">Kyle the bot</a> et <a href="../../../../articles/c/h/a/Utilisateur%7ECharles_Dyon_562e.html" title="Utilisateur:Charles Dyon">Charles Dyon</a>.</li> <li id="f-copyright"><span style="white-space:normal"><a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Droit_d'auteur" title="Droit d'auteur">Droit d'auteur</a> : Tous les textes sont disponibles sous les termes de la <a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Licence_de_documentation_libre_GNU" title="GFDL">licence de documentation libre GNU</a> (GFDL).<br/>
Wikipedia® est une marque déposée de la <a href="http://wikimediafoundation.org/wiki/Accueil" title="Wikimedia Foundation">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a class="internal" href="http://en.wikipedia.org/wiki/501(c)" title="501(c)">501(c)(3)</a> du code fiscal des États-Unis.</span><br/></li> <li id="f-about"><a href="../../../../articles/%C3%A0/_/p/Wikip%C3%A9dia%7E%C3%80_propos_5de1.html" title="Wikipédia:À propos">À propos de Wikipédia</a></li> <li id="f-disclaimer"><a href="../../../../articles/a/v/e/Wikip%C3%A9dia%7EAvertissements_g%C3%A9n%C3%A9raux_fef1.html" title="Wikipédia:Avertissements généraux">Avertissements</a></li> </ul>
</div>
</div>
</body>
</html>