Wikiversité:La salle café/juin 2026

<mediawiki xmlns="http://www.mediawiki.org/xml/export-0.11/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.mediawiki.org/xml/export-0.11/ http://www.mediawiki.org/xml/export-0.11.xsd" version="0.11" xml:lang="fr">
  <siteinfo>
    <sitename>Wikiversité</sitename>
    <dbname>frwikiversity</dbname>
    <base>https://fr.wikiversity.org/wiki/Wikiversit%C3%A9:Accueil</base>
    <generator>MediaWiki 1.47.0-wmf.8</generator>
    <case>first-letter</case>
    <namespaces>
      <namespace key="-2" case="first-letter">Média</namespace>
      <namespace key="-1" case="first-letter">Spécial</namespace>
      <namespace key="0" case="first-letter" />
      <namespace key="1" case="first-letter">Discussion</namespace>
      <namespace key="2" case="first-letter">Utilisateur</namespace>
      <namespace key="3" case="first-letter">Discussion utilisateur</namespace>
      <namespace key="4" case="first-letter">Wikiversité</namespace>
      <namespace key="5" case="first-letter">Discussion Wikiversité</namespace>
      <namespace key="6" case="first-letter">Fichier</namespace>
      <namespace key="7" case="first-letter">Discussion fichier</namespace>
      <namespace key="8" case="first-letter">MediaWiki</namespace>
      <namespace key="9" case="first-letter">Discussion MediaWiki</namespace>
      <namespace key="10" case="first-letter">Modèle</namespace>
      <namespace key="11" case="first-letter">Discussion modèle</namespace>
      <namespace key="12" case="first-letter">Aide</namespace>
      <namespace key="13" case="first-letter">Discussion aide</namespace>
      <namespace key="14" case="first-letter">Catégorie</namespace>
      <namespace key="15" case="first-letter">Discussion catégorie</namespace>
      <namespace key="102" case="first-letter">Projet</namespace>
      <namespace key="103" case="first-letter">Discussion Projet</namespace>
      <namespace key="104" case="first-letter">Recherche</namespace>
      <namespace key="105" case="first-letter">Discussion Recherche</namespace>
      <namespace key="106" case="first-letter">Faculté</namespace>
      <namespace key="107" case="first-letter">Discussion Faculté</namespace>
      <namespace key="108" case="first-letter">Département</namespace>
      <namespace key="109" case="first-letter">Discussion Département</namespace>
      <namespace key="110" case="first-letter">Transwiki</namespace>
      <namespace key="111" case="first-letter">Discussion Transwiki</namespace>
      <namespace key="710" case="first-letter">TimedText</namespace>
      <namespace key="711" case="first-letter">TimedText talk</namespace>
      <namespace key="828" case="first-letter">Module</namespace>
      <namespace key="829" case="first-letter">Discussion module</namespace>
      <namespace key="1728" case="first-letter">Event</namespace>
      <namespace key="1729" case="first-letter">Event talk</namespace>
      <namespace key="2600" case="first-letter">Sujet</namespace>
    </namespaces>
  </siteinfo>
  <page>
    <title>Wikiversité:La salle café/juin 2026</title>
    <ns>4</ns>
    <id>86053</id>
    <revision>
      <id>983808</id>
      <parentid>983707</parentid>
      <timestamp>2026-06-24T22:26:49Z</timestamp>
      <contributor>
        <username>~2026-36667-76</username>
        <id>80582</id>
      </contributor>
      <comment>/* Des vidéos s'il vous plaît je veux Les vidéos 😭😭😭 */ nouvelle section</comment>
      <origin>983808</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="30744" sha1="grcwjhuke967bzqge7f32xb8g23shyr" xml:space="preserve">__EXPECTED_UNCONNECTED_PAGE__
&lt;noinclude&gt;{{SC|2026|06}}{{Clr}}&lt;/noinclude&gt;

== Actualités techniques n° 2026-23 ==

&lt;section begin=&quot;technews-2026-W23&quot;/&gt;&lt;div class=&quot;plainlinks&quot;&gt;
Dernières '''[[m:Special:MyLanguage/Tech/News|actualités techniques]]''' de la communauté technique de Wikimedia. N’hésitez pas à informer les autres utilisateurs de ces changements. Certains changements ne vous concernent pas. [[m:Special:MyLanguage/Tech/News/2026/23|D’autres traductions]] sont disponibles.

'''Actualités pour la contribution'''
* L'équipe [[mw:Special:MyLanguage/Readers/Reader Experience|Reader Experience]] mène une expérience pour montrer la fonctionnalité [[mw:Special:MyLanguage/Readers/Reader Experience/Reading lists|listes de lecture]], qui est encore en développement, aux lecteurs non connectés sur mobile afin de tester si elle encourage la création de compte à un rythme plus élevé que le bouton watchstar. L'[[mw:Special:MyLanguage/Readers/Reader Experience/Reading lists#Experiment timeline|expérience]] a été lancée le 18 mai sur les wikis en allemand, espagnol, italien, portugais, polonais, néerlandais, turc et ourdou, et elle durera un mois.
* L'équipe Wikimedia Apps a publié la [[mw:Special:MyLanguage/Wikimedia Apps/Team/Explore Feed Refresh/Phase 1|Phase 1]] du flux d'accueil repensé pour l'application Android Beta. Le nouveau flux d'accueil comprend un onglet « Communauté » actualisé et un onglet « Pour vous » personnalisé contenant des recommandations de lecture mises à jour quotidiennement. La refonte fait partie d'un effort plus large visant à améliorer la découverte de contenu et à créer des expériences d'apprentissage plus engageantes dans les applications Wikipédia.
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Voir {{PLURAL:18|la tâche soumise|les {{formatnum:18}} tâches soumises}} par la communauté [[m:Special:MyLanguage/Tech/News/Recently resolved community tasks|résolue{{PLURAL:18||s}} la semaine dernière]]. Par exemple, un problème où les images pouvaient ne pas se charger pour certaines modifications suggérées sur [[w:Special:Homepage|Special:Homepage]], laissant la vignette bloquée dans un état de chargement, a maintenant été corrigé. [https://phabricator.wikimedia.org/T424048]

'''Actualités pour la contribution technique'''
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Détail des mises-à-jour à venir cette semaine : [[mw:MediaWiki 1.47/wmf.5|MediaWiki]]

'''''[[m:Special:MyLanguage/Tech/News|Actualités techniques]]''' préparées par les [[m:Special:MyLanguage/Tech/News/Writers|rédacteurs des actualités techniques]] et postées par [[m:Special:MyLanguage/User:MediaWiki message delivery|robot]]. [[m:Special:MyLanguage/Tech/News#contribute|Contribuer]]&amp;nbsp;• [[m:Special:MyLanguage/Tech/News/2026/23|Traduire]]&amp;nbsp;• [[m:Tech|Obtenir de l’aide]]&amp;nbsp;• [[m:Talk:Tech/News|Donner son avis]]&amp;nbsp;• [[m:Global message delivery/Targets/Tech ambassadors|S’abonner ou se désabonner]].''
&lt;/div&gt;&lt;section end=&quot;technews-2026-W23&quot;/&gt;

&lt;bdi lang=&quot;en&quot; dir=&quot;ltr&quot;&gt;[[User:MediaWiki message delivery|MediaWiki message delivery]]&lt;/bdi&gt; 1 juin 2026 à 21:08 (UTC)
&lt;!-- Message envoyé par User:STei (WMF)@metawiki en utilisant la liste sur https://meta.wikimedia.org/w/index.php?title=Global_message_delivery/Targets/Tech_ambassadors&amp;oldid=30613639 --&gt;

== De nouveau au sujet des problèmes techniques de la salle café ==

Bonjour. Je découvre que les problèmes technique que je rencontre dans l'usage du système conversationnelle qui permet de répondre à un sujet en cliquant sur &quot; répondre&quot; et en profitant d'un éditeur visuel fonctionne parfaitement quand j'utilise mon smartphone, comme je le fais à l'instant.  [[User:Lionel Scheepmans|Lionel Scheepmans]] &lt;sup&gt;&lt;big&gt;✉&lt;/big&gt; [[User talk:Lionel Scheepmans|Contact]]&lt;/sup&gt; 8 juin 2026 à 11:43 (UTC)

Par contre, toujours avec mon smartphone, si je lui demande d'afficher la version de la page pour ordinateur, je me retrouve à nouveau obliger d'utiliser le wikicode. Est-ce que cela pourrait aider à identifier le problème qui reste non résolut ? [[User:Lionel Scheepmans|Lionel Scheepmans]] &lt;sup&gt;&lt;big&gt;✉&lt;/big&gt; [[User talk:Lionel Scheepmans|Contact]]&lt;/sup&gt; 8 juin 2026 à 11:46 (UTC)

== Actualités techniques n° 2026-24 ==

&lt;section begin=&quot;technews-2026-W24&quot;/&gt;&lt;div class=&quot;plainlinks&quot;&gt;
Dernières '''[[m:Special:MyLanguage/Tech/News|actualités techniques]]''' de la communauté technique de Wikimedia. N’hésitez pas à informer les autres utilisateurs de ces changements. Certains changements ne vous concernent pas. [[m:Special:MyLanguage/Tech/News/2026/24|D’autres traductions]] sont disponibles.

'''En lumière cette semaine'''
* Wikimedia Entreprise a relevé les limites d’utilisation gratuite de ses API. La limite mensuelle de requêtes pour l’API « à la demande » (&lt;i lang=&quot;en&quot;&gt;On-demand&lt;/i&gt;) est passée de {{formatnum:5000}} à {{formatnum:50000}} requêtes, tandis que celle de l’API des instantanés (&lt;i lang=&quot;en&quot;&gt;Snapshot&lt;/i&gt;) est passée de 15 à 30 requêtes par mois. De plus, les instantanés de contenus structurés sont désormais accessibles aux comptes gratuits. Ces changements élargissent l’accès aux données de Wikimedia Entreprise pour les développeurs et développeuses, les chercheurs et chercheuses et les organisations qui utilisent les contenus Wikimédia. [https://enterprise.wikimedia.com/blog/enhanced-free-api]

'''Actualités pour la contribution'''
* La [[mw:Special:MyLanguage/Wikimedia_Apps/Team/Explore Feed Refresh/Phase 1|nouvelle version du Fil d’exploration]], désormais appelé « Fil d’accueil », est en cours de déploiement auprès de 50 % des utilisateurs de l’application Wikipédia pour Android. Le fil d’accueil aide le lectorat à découvrir du contenu pertinent grâce à deux nouveaux onglets : « Communauté » et « Pour vous ». L’onglet « Communauté » propose un flux défilant de contenus sélectionnés et d’actualités provenant de l’ensemble de la communauté et du mouvement Wikimédia, tandis que l’onglet « Pour vous » offre une expérience en plein écran et par glissement qui présente des contenus adaptés aux centres d’intérêt de l’utilisateur ou utilisatrice. Cette refonte s’inscrit dans le cadre d’un travail en cours visant à améliorer la découverte et à enrichir l’expérience d’apprentissage au sein de l’application Wikipédia.
* Le jeu-questionnaire quotidien [[mw:Special:MyLanguage/Wikimedia Apps/Team/iOS/&quot;Which came first?&quot; Game|Qu’est-ce qui est arrivé en premier ?]] est désormais disponible dans la version bêta de l’application Wikipédia pour iOS en anglais, allemand, français, portugais, russe, espagnol, arabe, chinois et turc. Le jeu s’appuie sur des événements historiques tirés de la rubrique « Éphéméride » de Wikipédia et met les lecteurs au défi de deviner lequel des deux événements s’est produit en premier. Le jeu avait déjà été lancé sur Android. Les communautés souhaitant rendre le jeu disponible dans leur langue peuvent [[mw:Special:MyLanguage/Wikimedia_Apps/Team/Games#Game availability by language|consulter les instructions et les conditions requises]].
* [[m:Special:MyLanguage/WMDE Technical Wishes/Sub-referencing|Les sous-références]], une nouvelle fonctionnalité de MediaWiki permettant aux contributeurs de réutiliser des références avec des détails différents, va commencer à être déployée sur les wikis Wikimédia après une phase pilote réussie. Le déploiement débutera le 8 juin pour la plupart des [[wikitech:Deployments/Train#Wednesday|wikis du groupe 1]] et Wikipédia en français, puis d'autres éditions linguistiques de Wikipédia bénéficieront de cette fonctionnalité au cours des prochains mois. Les communautés sont invitées à se préparer en vérifiant s’il existe des [https://translatewiki.net/w/i.php?title=Special%3ATranslate&amp;group=ext-cite&amp;language=en&amp;action_source=search&amp;filter=%21translated&amp;optional=1&amp;action=translate messages non traduits de l’extension Cite] dans leur langue et en passant en revue toute utilisation de l’outil [[mw:Special:MyLanguage/Reference Tooltips|Infobulles des références]], qui pourraient nécessiter des [[:phab:T416304#11668731|mises à jour]] pour prendre en charge la nouvelle fonctionnalité. Les wikis utilisant les [[mw:Special:MyLanguage/Help:Reference Previews|aperçus de référence]] n’ont aucune action à entreprendre. Les communautés peuvent également créer la [[Special:TrackingCategories|catégorie de suivi]] ''cite-tracking-category-ref-details'' en tant que catégorie cachée à l’aide de &lt;code&gt;&lt;nowiki&gt;__HIDDENCAT__&lt;/nowiki&gt;&lt;/code&gt; (ou d’un modèle dédié), et la relier à l’élément Wikidata correspondant [[d:Q129764848]]. [https://phabricator.wikimedia.org/T425662]
* L'[[mw:Special:MyLanguage/Readers/Reader Growth/Mobile page previews#Experimentation|expérience d'Aperçus de page]] sur le Web mobile a pris fin. L'équipe a décidé de ne pas déployer cette fonctionnalité après que les résultats ont montré qu'elle n'avait pas d'impact statistiquement significatif sur la fidélisation des lecteurs, l'amélioration de la fidélisation étant le principal indicateur de réussite. Les « Aperçus de page », déjà disponibles sur ordinateur et dans les applications, affichent une vignette, le premier paragraphe et un lien vers l'article complet lorsque les lecteurs cliquent sur un lien bleu. L'expérience a testé cette fonctionnalité sur le Web mobile sur six versions de Wikipédia.
* La [[mw:Special:MyLanguage/Codex/Design/Icons|bibliothèque d'icônes de l'interface utilisateur]] sera [[phab:T399175|mise à jour dans le courant de cette semaine ou la semaine prochaine]]. La plupart des quelque 300 icônes ont été légèrement peaufinées et une trentaine de nouvelles icônes ont été ajoutées. Ces modifications améliorent les icônes afin de les rendre plus cohérentes et plus compréhensibles, et d'offrir un meilleur équilibre visuel lorsqu'elles sont utilisées en groupe.
* L'interface [[mw:Special:MyLanguage/Universal Language Selector|Sélecteur universel de langue]] (ULS) de MediaWiki, qui aide les utilisateurs à sélectionner du contenu dans d'autres langues, a été mise à jour. La nouvelle version améliore la rapidité et l'accessibilité, et les utilisateurs des projets Wikimédia peuvent désormais épingler des langues pour changer de langue plus rapidement. Le déploiement sur les sites Wikimédia se fera progressivement au cours des prochaines semaines. Vous pouvez la tester dès maintenant en tant que fonctionnalité bêta en sélectionnant [[Special:Preferences#mw-prefsection-betafeatures|les fonctionnalités bêta]] dans les préférences de votre profil et partager vos commentaires sur [[mw:Special:MyLanguage/Universal Language Selector/New ULS|la page du projet]]. 
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Voir {{PLURAL:21|la tâche soumise|les {{formatnum:21}} tâches soumises}} par la communauté [[m:Special:MyLanguage/Tech/News/Recently resolved community tasks|résolue{{PLURAL:21||s}} la semaine dernière]]. Par exemple, un problème du le tableau de bord d'analyse des pages vues sur pageviews.wmcloud.org qui a arrêté de mettre à jour les données graphiques en mai 2026, affectant tous les utilisateurs, a été résolu. [https://phabricator.wikimedia.org/T427171]

'''Actualités pour la contribution technique'''
* La signature de la fonction &lt;bdi lang=&quot;zxx&quot; dir=&quot;ltr&quot;&gt;&lt;code&gt;&lt;nowiki&gt;mw.util.addPortletLink()&lt;/nowiki&gt;&lt;/code&gt;&lt;/bdi&gt; a été simplifiée. Les développeurs peuvent désormais passer un objet de configuration à la place d'une liste de paramètres positionnels lors de la création de liens vers des portlets. L'ancienne signature de la fonction reste prise en charge à des fins de compatibilité ascendante. Par exemple, au lieu de : &lt;bdi lang=&quot;zxx&quot; dir=&quot;ltr&quot;&gt;&lt;code&gt;&lt;nowiki&gt;mw.util.addPortletLink('p-cactions', '#', 'Stub', 'ca-stubtag', 'Add a stub tag to this page');&lt;/nowiki&gt;&lt;/code&gt;&lt;/bdi&gt;, utilisez &lt;bdi lang=&quot;zxx&quot; dir=&quot;ltr&quot;&gt;&lt;code&gt;&lt;nowiki&gt;mw.util.addPortletLink('p-cactions', { href: '#', text: 'Stub', id: 'ca-stubtag', tooltip: 'Add a stub tag to this page' });&lt;/nowiki&gt;&lt;/code&gt;&lt;/bdi&gt;. Les responsables de la maintenance des scripts sont invités à passer en revue les utilisations existantes de &lt;bdi lang=&quot;zxx&quot; dir=&quot;ltr&quot;&gt;&lt;code&gt;&lt;nowiki&gt;addPortletLink()&lt;/nowiki&gt;&lt;/code&gt;&lt;/bdi&gt; et à les mettre à jour si nécessaire. Cette modification sera disponible sur tous les wikis à partir du 11 juin. Merci à Gerges, bénévole de la communauté, d'avoir apporté cette amélioration. [https://phabricator.wikimedia.org/T427945]
* '''Discussion sur la liste de souhaits de la communauté''': les [[m:Special:MyLanguage/Community Wishlist/Updates#May 20, 2026: Community Tech becomes a program|changements introduits]] par les équipes Produit et Technologie visent à augmenter le nombre et la complexité des souhaits exaucés, notamment par la dissolution de l'équipe Community Tech. Ils [[m:Special:MyLanguage/Community Wishlist/Updates|mènent actuellement des discussions]] sur une [[m:Talk:Community Wishlist#Proposed direction for Wishlist|orientation proposée pour la liste de souhaits]] émanant des membres de la communauté. Cela inclut des moyens de structurer le vote annuel, un meilleur suivi des souhaits, la suppression de certains domaines prioritaires et des [[m:Special:MyLanguage/Community Wishlist/Updates|mises à jour concernant le personnel]].
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Détail des mises-à-jour à venir cette semaine : [[mw:MediaWiki 1.47/wmf.6|MediaWiki]]

'''''[[m:Special:MyLanguage/Tech/News|Actualités techniques]]''' préparées par les [[m:Special:MyLanguage/Tech/News/Writers|rédacteurs des actualités techniques]] et postées par [[m:Special:MyLanguage/User:MediaWiki message delivery|robot]]. [[m:Special:MyLanguage/Tech/News#contribute|Contribuer]]&amp;nbsp;• [[m:Special:MyLanguage/Tech/News/2026/24|Traduire]]&amp;nbsp;• [[m:Tech|Obtenir de l’aide]]&amp;nbsp;• [[m:Talk:Tech/News|Donner son avis]]&amp;nbsp;• [[m:Global message delivery/Targets/Tech ambassadors|S’abonner ou se désabonner]].''
&lt;/div&gt;&lt;section end=&quot;technews-2026-W24&quot;/&gt;

&lt;bdi lang=&quot;en&quot; dir=&quot;ltr&quot;&gt;[[User:MediaWiki message delivery|MediaWiki message delivery]]&lt;/bdi&gt; 8 juin 2026 à 21:30 (UTC)
&lt;!-- Message envoyé par User:STei (WMF)@metawiki en utilisant la liste sur https://meta.wikimedia.org/w/index.php?title=Global_message_delivery/Targets/Tech_ambassadors&amp;oldid=30650573 --&gt;

== Gestion des ébauches ==

Bonjour,

Je propose de fusionner les catégories suivantes :
* [[:Catégorie:Pas fini|Leçons pas finies]]
* [[:Catégorie:Leçons d'avancement 0|Leçons d'avancement 0]]
* [[:Catégorie:Leçons d'avancement 1|Leçons d'avancement 1]]
* [[:Catégorie:Ébauche|Ébauches]] (après avoir retiré les pages qui ne sont pas dans l'espace principal, c'est-à-dire avec préfixe)
* [[:Catégorie:En cours|Leçons en cours]]

L'idée est de lancer une sorte de moteur de recherche interne qui faciliterait et encouragerait la contribution au sein de Wikiversité, et qui s'appuierait donc sur une seule catégorie de recherche d'ébauches à développer.

Qu'en dites-vous ?

Wikiversitairement, [[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 14 juin 2026 à 13:32 (UTC)

== Actualités techniques n° 2026-25 ==

&lt;section begin=&quot;technews-2026-W25&quot;/&gt;&lt;div class=&quot;plainlinks&quot;&gt;
Dernières '''[[m:Special:MyLanguage/Tech/News|actualités techniques]]''' de la communauté technique de Wikimedia. N’hésitez pas à informer les autres utilisateurs de ces changements. Certains changements ne vous concernent pas. [[m:Special:MyLanguage/Tech/News/2026/25|D’autres traductions]] sont disponibles.

'''En lumière cette semaine'''
* L'[[mw:Special:MyLanguage/Readers/Reader Growth|équipe chargée de la croissance du lectorat]] a lancé une fonctionnalité bêta d'[[mw:Special:MyLanguage/Readers/Reader Growth/Image Browsing|exploration des images]] sur la version mobile de toutes les Wikipédias. Cette fonctionnalité affiche un carrousel d'images en haut des articles contenant au moins trois images. Les contributeurs peuvent configurer cette fonctionnalité à l'aide des commandes suivantes : pour masquer une image spécifique sur une page, utilisez soit &lt;code&gt;class=notpageimage&lt;/code&gt; pour l'exclure des aperçus miniatures, soit &lt;code&gt;class=noviewer&lt;/code&gt; pour l'exclure de MediaViewer. Le carrousel peut également être désactivé complètement sur une page à l'aide du mot magique &lt;code&gt;&lt;nowiki&gt;__NOMEDIAVIEWERCAROUSEL__&lt;/nowiki&gt;&lt;/code&gt;. Pour faire des retours ou signaler des bugs, rendez-vous sur la [[mw:Talk:Readers/Reader Growth/Image Browsing|page de discussion du projet]]. 
* Les [[mw:Special:MyLanguage/Help:Tables#class=&quot;wikitable&quot;|Wikitables]] peuvent désormais être [[mw:Special:MyLanguage/Help:Sortable tables#Forcing the initial sort direction|triées par ordre décroissant]] dès le premier clic en ajoutant &lt;code dir=ltr&gt;data-sort-order=&quot;desc&quot;&lt;/code&gt; à la cellule d'en-tête. Auparavant, par défaut, cliquer une première fois sur l'en-tête d'une colonne entraînait un tri par ordre croissant. Cette nouveauté offre davantage de contrôle et de flexibilité pour les Wikitables, tandis que le comportement par défaut pour les clics suivants reste inchangé. [https://phabricator.wikimedia.org/T398416]

'''Actualités pour la contribution'''
* La fonctionnalité d'[[mw:Special:MyLanguage/Article guidance|Aide à la rédaction d'articles]] est actuellement en phase de test auprès de certains contributeurs qui créent de nouveaux articles sur les Wikipédias en anglais simplifié, en français et en turc. L'expérience débutera bientôt sur les Wikipédias en arabe et en bengali également. [[w:simple:Special:NewArticle|Cette fonctionnalité]] fournit aux contributeurs des conseils élaborés par la communauté afin de les aider à créer des articles conformes aux normes communautaires. Les contributeurs expérimentés peuvent continuer à créer ou à adapter des modèles pour des types d'articles spécifiques qui sont couramment créés par des contributeurs moins expérimentés. Ces modèles guident les contributeurs moins expérimentés dans la création d'articles de haute qualité. Un guide rapide des balises utilisées dans les modèles est disponible sur [[mw:Special:MyLanguage/Article guidance/Test feature guide#Markups in outlines|cette page]]. [[w:fr:Projet:Aide à la rédaction d'articles#Liste de plans d'aide à la rédaction|Des exemples de modèles]] pouvant être adaptés, ainsi que des instructions sur la manière de les adapter, se trouvent dans [[mw:Special:MyLanguage/Article guidance#Adapting a sample outline in a Wikipedia|cette section]] de la page du projet.
* Les wikis qui souhaitent remplacer le bouton « indéfiniment » dans la page Special:Block pour les comptes temporaires (par exemple, les wikis qui bloquent les utilisateurs temporaires uniquement jusqu'à l'expiration de leur compte) pourront le faire en créant [[MediaWiki:ipb-indefinite-expiry-temporary-account]] avec la durée de blocage souhaitée. [https://phabricator.wikimedia.org/T427125]
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Voir {{PLURAL:41|la tâche soumise|les {{formatnum:41}} tâches soumises}} par la communauté [[m:Special:MyLanguage/Tech/News/Recently resolved community tasks|résolue{{PLURAL:41||s}} la semaine dernière]].

'''Actualités pour la contribution technique'''
* D'ici la fin du mois de juin, une chaîne « user-agent » valide sera requise pour les téléchargements automatisés de sauvegardes depuis le site dumps.wikimedia.org. Les requêtes automatisées fournissant une chaîne « user-agent » générique ou vide seront bloquées. Cette mesure [[phab:T400119|renforce l'application]] de la [[foundation:Special:MyLanguage/Policy:Wikimedia Foundation User-Agent Policy|politique relative à l'agent utilisateur]] en vigueur depuis longtemps. L'accès aux sauvegardes via Wikimedia Cloud Services restera inchangé.
* La mise en place des [[mw:Wikimedia APIs/Rate limits|limites de débit des API]] à l'échelle mondiale est désormais achevée ; ces limites s'appliquent à toutes les API et sont fixées aux niveaux indiqués dans la documentation pour tous les groupes. Les bots fonctionnant sur Toolforge/WMCS ou disposant du droit d'utilisateur « bot » sur n'importe quel wiki restent exemptés. Tous les bots doivent continuer à respecter les bonnes pratiques décrites dans la documentation afin d'éviter d'être soumis à des limites de débit.
* Le [https://api.wikimedia.org/wiki/Main_Page wiki du portail API] sera en lecture seule à partir de cette semaine (du 15 au 18 juin). La semaine suivante (du 22 au 25 juin), toutes les URL du wiki du portail API redirigeront vers [[mw:Wikimedia APIs|les API Wikimedia sur mediawiki.org]]. Pour en savoir plus, consultez la [[wikitech:API Portal/Deprecation|page du projet]].
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Détail des mises-à-jour à venir cette semaine : [[mw:MediaWiki 1.47/wmf.7|MediaWiki]]

'''Rencontres et évènements'''
* Le 17 juin à 18 h (UTC), la WMF organisera une réunion sur Discord consacrée à la revue de code. L'[[mw:Special:MyLanguage/Developer Satisfaction Survey/2026|enquête sur la satisfaction des développeurs]] nous a permis de constater que les bénévoles rencontrent des difficultés avec la revue de code, et nous souhaitons discuter de ces expériences afin de trouver des solutions concrètes. Vous pouvez rejoindre la réunion [https://discord.gg/wikipedia?event=1514727511102062664 via le serveur Discord de la communauté Wikimedia].
* La [[m:Special:MyLanguage/Conferencia Wikimedia de América Latina 2026|Conférence Wikimedia d'Amérique latine]] organisera un hackathon régional qui réunira la communauté technique du mouvement Wikimedia, notamment des développeurs, des administrateurs système, des data scientists et des utilisateurs disposant de droits étendus. Les contributeurs techniques intéressés peuvent [https://docs.google.com/forms/d/e/1FAIpQLSf4osJzTHBJjQbYJk7TMVEJjTEQv7IgtsUDfP-o-qTgeRQQxw/viewform postuler à une bourse] pour y participer jusqu'au 21 juin à minuit (heure de la Bolivie, UTC-4).
* Inscrivez-vous aux Wikimania Team Challenges pour participer à cet événement exceptionnel. Les défis par équipe se dérouleront en ligne et en présentiel les 21 et 22 juillet, avant la conférence Wikimania. Tout le monde est le bienvenu, quelles que soient ses compétences ou son inscription à Wikimania. Les équipes travailleront sur 10 défis importants visant à soutenir la communauté Wikimedia. Pour plus de détails, rendez-vous sur [[wmania:Special:MyLanguage/2026:Team challenges|la page des défis par équipe]] et [https://wikimedia.eventyay.com/wm/teamchallenges/ inscrivez-vous ici]. Les inscriptions se terminent le 20 juin à 23 h UTC. 

'''''[[m:Special:MyLanguage/Tech/News|Actualités techniques]]''' préparées par les [[m:Special:MyLanguage/Tech/News/Writers|rédacteurs des actualités techniques]] et postées par [[m:Special:MyLanguage/User:MediaWiki message delivery|robot]]. [[m:Special:MyLanguage/Tech/News#contribute|Contribuer]]&amp;nbsp;• [[m:Special:MyLanguage/Tech/News/2026/25|Traduire]]&amp;nbsp;• [[m:Tech|Obtenir de l’aide]]&amp;nbsp;• [[m:Talk:Tech/News|Donner son avis]]&amp;nbsp;• [[m:Global message delivery/Targets/Tech ambassadors|S’abonner ou se désabonner]].''
&lt;/div&gt;&lt;section end=&quot;technews-2026-W25&quot;/&gt;

&lt;bdi lang=&quot;en&quot; dir=&quot;ltr&quot;&gt;[[User:MediaWiki message delivery|MediaWiki message delivery]]&lt;/bdi&gt; 15 juin 2026 à 16:48 (UTC)
&lt;!-- Message envoyé par User:UOzurumba (WMF)@metawiki en utilisant la liste sur https://meta.wikimedia.org/w/index.php?title=Global_message_delivery/Targets/Tech_ambassadors&amp;oldid=30689604 --&gt;

== Actualités techniques n° 2026-26 ==

&lt;section begin=&quot;technews-2026-W26&quot;/&gt;&lt;div class=&quot;plainlinks&quot;&gt;
Dernières '''[[m:Special:MyLanguage/Tech/News|actualités techniques]]''' de la communauté technique de Wikimedia. N’hésitez pas à informer les autres utilisateurs de ces changements. Certains changements ne vous concernent pas. [[m:Special:MyLanguage/Tech/News/2026/26|D’autres traductions]] sont disponibles.

'''En lumière cette semaine'''
* Les [[mw:Special:MyLanguage/Growth/Feature summary|fonctionnalités de croissance]] sont [[phab:T418115|désormais disponibles sur Wikidata]]. Cette mise à jour permet d'accéder au mentorat ([[mw:Special:MyLanguage/Help:Growth/Mentorship|s'il est configuré]]), au module Impact, au panneau d'aide et à une page d'accueil simplifiée pour les nouveaux arrivants (sans les suggestions de modifications). Les administrateurs de Wikidata continuent de paramétrer ces fonctionnalités via la configuration communautaire.

'''Actualités pour la contribution'''
* La page spéciale [[{{#special:RangeCalculator}}]] a été créée. Elle permet aux utilisateurs de trouver une plage d'adresses IP sans avoir à recourir à des outils externes. Jusqu'à présent, cet outil n'était accessible qu'aux CheckUsers. [https://phabricator.wikimedia.org/T268429]
* Les [[m:Special:MyLanguage/WMDE Technical Wishes/Sub-referencing|sous-références]] sont une nouvelle fonctionnalité de MediaWiki qui permet aux contributeurs de réutiliser des références en modifiant certains détails. Elle sera déployée le 23 juin, sur la plupart des versions de Wikipédia de petite et moyenne taille. La [[m:Special:MyLanguage/WMDE Technical Wishes/Sub-referencing#deployment|FAQ]] répertorie les mesures à prendre sur votre wiki pour faciliter ce déploiement. Consultez le [[:phab:T414094|plan de déploiement]] pour connaître les prochaines étapes. [https://phabricator.wikimedia.org/T428902]
* À partir de la semaine prochaine, les utilisateurs recevront une notification lorsqu'ils seront bloqués ou débloqués pour l'édition, ou si ce blocage venait à changer. [https://phabricator.wikimedia.org/T100974]
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Voir {{PLURAL:32|la tâche soumise|les {{formatnum:32}} tâches soumises}} par la communauté [[m:Special:MyLanguage/Tech/News/Recently resolved community tasks|résolue{{PLURAL:32||s}} la semaine dernière]].

'''Actualités pour la contribution technique'''
* À partir de la semaine prochaine, les filtres anti-abus configurés pour « exiger une vérification par CAPTCHA » s'appliqueront également aux utilisateurs disposant du droit &lt;code&gt;skipcaptcha&lt;/code&gt;, ce qui inclut la plupart des utilisateurs auto-confirmés. Les bots en sont exemptés. Ce changement ne concerne que les modifications qui déclenchent un filtre anti-abus. Le droit &lt;code&gt;skipcaptcha&lt;/code&gt; continuera à exempter les utilisateurs de l'obligation de résoudre des CAPTCHA dans le cadre d'une utilisation normale des wikis. [https://phabricator.wikimedia.org/T402595]
* La documentation de référence relative à l'[[wikitech:Machine_Learning/LiftWing/API|API Lift Wing]] a été déplacée du portail API vers le [https://wikitech.wikimedia.org/w/index.php?api=lift-wing&amp;title=Special%3ARestSandbox bac à sable REST] interactif.
* Le wiki du Portail API est désormais fermé. Pour consulter la documentation relative aux API, rendez-vous sur [[mw:Special:MyLanguage/Wikimedia_APIs|Wikimedia APIs sur mediawiki.org]]. À compter du 22 juin, toutes les URL du wiki du Portail API (https://api.wikimedia.org/wiki/) redirigeront vers la page de mediawiki.org. [https://phabricator.wikimedia.org/T427537]
* [[File:Reload icon with two arrows.svg|12px|link=|class=skin-invert|Sujet récurrent]] Détail des mises-à-jour à venir cette semaine : [[mw:MediaWiki 1.47/wmf.8|MediaWiki]]

'''Rencontres et évènements'''
* Participez à une visioconférence le 25 juin à 14 h 30 UTC pour rencontrer les stagiaires actuels de Wikimédia participant au [[mw:Google_Summer_of_Code/2026|Google Summer of Code]] et à [[mw:Outreachy/Round_32|Outreachy]]. Les stagiaires présenteront leurs projets et feront une brève démonstration du travail qu'ils ont réalisé jusqu'à présent. Les participants sont invités à [[mw:event:Google_Summer_of_Code/Summer_2026_June_Internship_open_session|partager leurs idées et leurs contacts au sein de leur communauté]].

'''''[[m:Special:MyLanguage/Tech/News|Actualités techniques]]''' préparées par les [[m:Special:MyLanguage/Tech/News/Writers|rédacteurs des actualités techniques]] et postées par [[m:Special:MyLanguage/User:MediaWiki message delivery|robot]]. [[m:Special:MyLanguage/Tech/News#contribute|Contribuer]]&amp;nbsp;• [[m:Special:MyLanguage/Tech/News/2026/26|Traduire]]&amp;nbsp;• [[m:Tech|Obtenir de l’aide]]&amp;nbsp;• [[m:Talk:Tech/News|Donner son avis]]&amp;nbsp;• [[m:Global message delivery/Targets/Tech ambassadors|S’abonner ou se désabonner]].''
&lt;/div&gt;&lt;section end=&quot;technews-2026-W26&quot;/&gt;

&lt;bdi lang=&quot;en&quot; dir=&quot;ltr&quot;&gt;[[User:MediaWiki message delivery|MediaWiki message delivery]]&lt;/bdi&gt; 23 juin 2026 à 13:05 (UTC)
&lt;!-- Message envoyé par User:Trizek (WMF)@metawiki en utilisant la liste sur https://meta.wikimedia.org/w/index.php?title=Global_message_delivery/Targets/Tech_ambassadors&amp;oldid=30722494 --&gt;

== RFC about AI-generated content in Wikimedia Commons ==

&lt;bdi lang=&quot;en&quot; dir=&quot;ltr&quot;&gt;Apologies for writing in English, please help translate this message to your language. You are invited to participate in a [[c:Commons:Requests for comment/Policy update for AI content|request for comment on Wikimedia Commons about a policy update for AI content]]. This may affect files that are uploaded to Wikimedia Commons for use on this project. Thank you. [[m:User:Codename Noreste|Codename Noreste]] ([[m:User talk:Codename Noreste|discussion]])&lt;/bdi&gt; 23 juin 2026 à 17:12 (UTC)
&lt;!-- Message envoyé par User:Codename Noreste@metawiki en utilisant la liste sur https://meta.wikimedia.org/w/index.php?title=Distribution_list/Global_message_delivery&amp;oldid=30513860 --&gt;

== Des vidéos s'il vous plaît je veux Les vidéos 😭😭😭 ==

s'il vous plaît je veux regarder des vidéos 


[[Spécial:Contributions/&amp;#126;2026-36667-76|&amp;#126;2026-36667-76]] ([[Discussion utilisateur:&amp;#126;2026-36667-76|discussion]]) 24 juin 2026 à 22:26 (UTC)</text>
      <sha1>grcwjhuke967bzqge7f32xb8g23shyr</sha1>
    </revision>
  </page>
  <page>
    <title>Cortext</title>
    <ns>0</ns>
    <id>86372</id>
    <revision>
      <id>983811</id>
      <parentid>983628</parentid>
      <timestamp>2026-06-25T09:07:56Z</timestamp>
      <contributor>
        <username>Genderli25</username>
        <id>80561</id>
      </contributor>
      <comment>/* Tutoriels */ Ajout du renvoi sur la page du tutoriel analyse quantitative littérature scientifique de l'acc</comment>
      <origin>983811</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="2445" sha1="0j6s1ksmi0435xfewxas34qmfosqk1h" xml:space="preserve">[[Fichier:Cortext logo.svg|centré|sans_cadre|350x350px]]

&lt;div style=&quot;margin: 2em;&quot;&gt;
&lt;inputbox&gt;
type=fulltext
placeholder=Recherche dans les pages Cortext sur Wikiversité
searchbuttonlabel=🔍
break=no
searchfilter=subpageof:&quot;Cortext&quot;
&lt;/inputbox&gt;
&lt;/div&gt;

La '''plateforme Cortext''' est une infrastructure de recherche spécialisée dans les méthodes computationnelles pour les sciences humaines et sociales. Son but est d'équiper chercheuses et chercheurs avec des instruments d'analyse computationnelle conceptuellement appropriés et ergonomiques, typiquement en appui aux recherches qualitatives, documentaires ou enquêtes de terrain, et notamment pour le traitement de corpus provenant de leurs projets ou de bases de données connexes.

* [https://www.cortext.net/ Site web]
* [https://gitlab.com/cortext/ Chez Gitlab]

== Formations ==

* [[Cortext/Formations/2026-07-08+09 LISIS|2026-07-08+09 LISIS]]
* [[Cortext/Formations/2026-04-30 IFIS-UGE|2026-04-30 IFIS-UGE]]
* [[Cortext/Formations/2026-04-27_UFBA|2026-04-27 UFBA]]
* [[Cortext/Formations/2026-02-20 CAPES-MEC-BR|2026-02-20 CAPES-MEC-BR]]
* [[Cortext/Formations/2026-02-12 USP|2026-02-12 USP]]
* [[Cortext/Formations/2026-01-20 LISIS|2026-01-20 LISIS]]
* 2025-11-[5-7] [https://istex25-renatis.sciencesconf.org/ ANF Corpus Istex]
* …[https://gitlab.com/cortext/workshops antérieures]

== Cortext Manager ==

* [https://managerv2.cortext.net/ Cortext Manager]
* [https://docs.cortext.net/ Documentation en anglais]

=== Tutoriels ===

* [[Cortext/Tutoriels/L’application Cortext Manager|L’application Cortext Manager]]
* [[Cortext/Tutoriels/L’analyse socio-sémantique par l’approche Sashimi|L’analyse socio-sémantique par l’approche Sashimi]]
* [[Cortext/Tutoriels/Lanalyse de la production scientifique acc|L'analyse quantitative de la production scientifique sur l'adaptation au changement climatique entre 2001 et 2024 avec Cortext Manager]]
* [[Cortext/Tutoriels/La visualisation géospatiale avec Cortext Manager|La visualisation géospatiale avec Cortext Manager]]
* …[https://docs.cortext.net/training-materials/ d'autres, sur le site de documentation]

== Opérations et méthodes éditées ==

* [https://gitlab.com/cortext/cortext-methods/ Groupe « cortext-methods » sur Gitlab]
* [https://gitlab.com/cortext/cortext-libraries/ Groupe « cortext-libraries » sur Gitlab]

[[Catégorie:UMR LISIS (Q52604608)]]
[[Catégorie:Cortext (Q121766545)]]</text>
      <sha1>0j6s1ksmi0435xfewxas34qmfosqk1h</sha1>
    </revision>
  </page>
  <page>
    <title>Modèle:Leçon/Prérequis/preload</title>
    <ns>10</ns>
    <id>86795</id>
    <revision>
      <id>983800</id>
      <parentid>981184</parentid>
      <timestamp>2026-06-24T15:05:34Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <origin>983800</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="180" sha1="eeiook6feixhpvtp74hm5pz4lx3ga6n" xml:space="preserve">__EXPECTED_UNCONNECTED_PAGE__
* Prérequis n° 1 : ........................
* Prérequis n° 2 : ........................
* Prérequis n° 3 : ........................

{{AutoCat}}</text>
      <sha1>eeiook6feixhpvtp74hm5pz4lx3ga6n</sha1>
    </revision>
  </page>
  <page>
    <title>Modèle:Leçon/Objectifs/preload</title>
    <ns>10</ns>
    <id>86796</id>
    <revision>
      <id>983801</id>
      <parentid>981186</parentid>
      <timestamp>2026-06-24T15:07:08Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <origin>983801</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="174" sha1="eeow6e4alygah7albp33qnky53sawhe" xml:space="preserve">__EXPECTED_UNCONNECTED_PAGE__
* Objectif n° 1 : ........................
* Objectif n° 2 : ........................
* Objectif n° 3 : ........................

{{AutoCat}}</text>
      <sha1>eeow6e4alygah7albp33qnky53sawhe</sha1>
    </revision>
  </page>
  <page>
    <title>Cortext/Formations/2026-07-08+09 LISIS</title>
    <ns>0</ns>
    <id>87142</id>
    <revision>
      <id>983813</id>
      <parentid>983698</parentid>
      <timestamp>2026-06-25T10:26:30Z</timestamp>
      <contributor>
        <username>Solstag</username>
        <id>13856</id>
      </contributor>
      <comment>aperçu du programme</comment>
      <origin>983813</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="7233" sha1="jhwrytgg9cb3u4vlls6srebquv4x890" xml:space="preserve">[[Fichier:Cortext_logo.svg|centré|sans_cadre|350x350px]]


Formation pour le Laboratoire Interdisciplinaire Sciences Innovations Sociétés (LISIS - UMR UGE, CNRS, INRAE).

La formation aura lieu sur une journée et demie : le 8 juillet matin (9h30→12h30) et après midi (14h→17h), avec une pause déjeuner de 12h30 à 14h ; puis le 9 juillet matin ou après midi, à convenance.

Local: LISIS, salle Seine, 1er étage du bâtiment Camus à côté du RER A Noisy-Champs.

'''Inscriptions:''' Le lien pour les inscriptions a été envoyé par mail aux membres du laboratoire.

=== Aperçu du programme ===

* '''8 juillet matin :'''
** Introduction
** Cour «analyses socio-sémantiques »
** Introduction à l'outil Cortext Manager
* '''8 juillet après-midi :'''
** Présentation détaillée d'un cas d'usage : l'analyse d'un corpus sur l'adaptation au changement climatique
* '''9 juillet matin ou après midi, à convenance :'''
** Mise en pratique autour de vos questions et-ou données accompagnée par l'équipe de la plateforme Cortext

== 8 juillet — Matin (9h30→12h30) ==

=== Partie I : Introduction à la plateforme Cortext ===
Nous nous permettons une brève introduction pour présenter la mission, l'historique, le fonctionnement et les opportunités de collaboration avec la plateforme !

=== Partie II : Cours « analyses socio-sémantiques » ===
Nous aimons beaucoup mettre les mains dans le cambouis, mais si nous voulons bricoler quelque chose qui fonctionne il vaut mieux connaître les principes du moteur ­— qu'il soit à combustion ou électrique — avant de s'y mettre.

''Ci-dessous le programme détaillé du cours.''

==== Dimensions d'analyse ====
Construire une question dans son rapport avec les réponses qui permettent les données, qu'elles soient disponibles ou à produire, passe par la considération des partenaires avec lesquels nous allons au bal.

* Sociale, sémantique, temporelle, territoriale, d'échelle…

==== Statistiques descriptives ====
Compter, compter, compter.

* Volumétriques, comparatives, longitudinales (''Demography'', ''Epic-epoch'')

==== Matrice et graphiques ====
Les matrices, ces réseaux timides.
* Statistiques de co-occurrence
* Déviations (''Contingency matrix'') ou contrastes (''Profiling'')

==== Réseau ====
Les réseaux sont partout dans le social comme dans l'épistémique.
* Réseaux homogène et hétérogène (co-word analysis × social network analysis)
* Cooccurrence (''Network mapping'') ou ocurrence ([''Domain''-]''topic modeling'')
* Construction des liens de cooccurrence (chi-2, syntagmatique-direct/paradigmatique-indirect etc)
* Détection de communautés (''Network mapping'', [''Domain-'']''topic modeling'')
* Réseaux de communautés (''Domain-topic modeling'')

==== Entités ====
Nous aurions pu les appeler « acteurs ».
* Para-textuelles, métadonnées

* Extraites du texte
** Traitement du langage naturel (TAL)
** Spécificité des mots (mesures chi-2, pigeonhole ; par modélisation [domaine-]thématique)
** Reconnaissance d'entités nommées

* Nature des entités
** Thématique : mots-clés, catégories, phrases nominales
** Organisationnelles : institutions, auteurs
** Temporelles (''Epic epoch'', ''Demography'', ''Network mapping'', ''sashimi'')
** Toponymiques : adresses, noms de lieux (Geocoding)
** Autres (verbes, adjectifs)

==== Données ====
Et oui, on ne peut rien faire sans.
* Sources
** Bibliographique (métadonnées)
** Archives de documents (texte intégral)
** Presse et médias
** Entretiens et sondages
** Traces d'interactions, jeux

* Possibilités
** Par rapport aux entités et relations disponibles
** Croisements de différentes sources
* Lecture contextualisé et retour au texte
** ''Corpus explorer'', ''Concordancer'', ''Domain-topic map''
* Enrichissement assisté
** Édition d'un dictionnaire (''Terms/List Indexer)''
** Annotation avec tableur-classeur interactif (''Domain-topic model'')
** Annotation avec d'autres [[wikipedia:Computer-assisted_qualitative_data_analysis_software|CAQDAS]]

=== Partie III : Introduction à l'outil Cortext Manager ===
''Voir [[Cortext/Tutoriels/L’application Cortext Manager|L’application Cortext Manager]]''

Prise en main de l'outil avec un projet vide, téléversement de données et lancement d'une chaîne d'analyse simple.

== 8 juillet — Après-midi (14h→17h) ==

=== Cas d'usage : Adaptation au changement climatique ===
Nous présenterons le cas d'une analyse assez complète employant les idées discutées dans le cours et l'outil Cortext Manager.

==== Données utilisées ====

* Web of Science, format WOS-RIS (“ISI”)

==== Analyses présentées et discussion des résultats ====

* Préparation du corpus
#  Téléversement du jeu de données
#  Importation des données (format WOS “ISI”)

* Exploration du corpus
#  ''Corpus explorer'': observer les données
#  ''Demography'': Evolution du nombre de documents entre 2001 et 2024 par pays d'affiliation des auteurs
#  ''Epic Epoch'': Evolution du nombre de documents entre 2001 et 2024 par institution des auteurs

* Analyses sémantiques
#  ''Terms extraction:'' Extraction des groupes nominaux les plus pertinents des titres et résumés
#  ''Corpus Term Indexer:'' Indexation des titres, résumés et mots-clés par la liste des groupes nominaux extraits ajustée 
#  ''Epic Epoch'': Evolution du top 10 des groupes nominaux extraits par 6 périodes de temps
#  ''Network Mapping'': Paysage sémantique du corpus - réseau de co-occurrence des principaux groupes nominaux extraits
#  ''Epic Epoch'': Evolution du nombre de documents projetés dans chaque cluster sémantique entre 2001 et 2024

* ''Concordancer, e.g. pour chercher des phrases ou cooccurrences mises en évidence par Network Mapping''

* Analyses hétérogènes
#  ''Network mapping'': Heatmap du réseau sémantique - spécialisation des continents (affiliations des auteurs)
#  ''Contingency matrix'': Sur/Sous-représentation des continents (affiliations d'auteurs) par clusters sémantiques

* Analyses géographiques
#  ''Geocoding:'' Attribuer des coordonnées géopgraohiques aux adresses des affiliations des auteurs
#  ''Geospatial exploration'': Identification des lieux de recherche - projection des adresses des affiliations dans les zones rurales/urbaines
#  ''Geospatial networks'': Réseaux de collaborations entre principales zones rurales/urbaines

* ''Domain-topic modeling'' puis enchaînement sur les années ou élément organisationnel ou territorial

=== Atelier pratique ===
Si le temps le permet, les participants travaillent en paires. Chaque paire crée un nouveau projet et suit le tutoriel pour reproduire en tout ou en partie le cas d'usage présenté.

== 9 juillet — Matin ou après midi, à convenance ==

=== Mise en pratique ===
Accompagner le travail des participants sur leurs questions ou données. A défaut, les participants pourront retravailler le cas d'usage présenté la veille.

==== Conclusion et retour des participants ====
Nous discuterons ensemble l’avancement et les difficultés rencontrés pour faciliter des futurs échanges entre les participants et pour un meilleur suivi de la part de la plateforme après la formation.</text>
      <sha1>jhwrytgg9cb3u4vlls6srebquv4x890</sha1>
    </revision>
  </page>
  <page>
    <title>Géométrie algébrique/Présentation de la leçon</title>
    <ns>0</ns>
    <id>87149</id>
    <revision>
      <id>983798</id>
      <parentid>983770</parentid>
      <timestamp>2026-06-24T15:02:51Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <origin>983798</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="720" sha1="6do6xowjyulh3t2ysmcjkupnby4sxcn" xml:space="preserve">__UNEXPECTED_CONNECTED_PAGE__
La géométrie algébrique est la branche des mathématiques qui cherche à établir un lien, un pont entre géométrie et algèbre. Vous avez déjà fait un peu de géométrie algébrique au lycée. En effet, vous savez que dans le plan &lt;math&gt;\mathbb{R}^2&lt;/math&gt; muni de son repère cartésien usuel, l'équation &lt;math&gt;x^2+y^2=1&lt;/math&gt; correspond à un cercle centré en l'origine et de rayon &lt;math&gt;1&lt;/math&gt; unité. Mais lorsqu'une chercheuse ou un chercheur en mathématiques parle de géométrie algébrique, ils parlent de liens plus profonds. Globalement, on peut dire que la géométrie algébrique est très liée à l'algèbre commutative et à la théorie des anneaux.

{{AutoCat}}</text>
      <sha1>6do6xowjyulh3t2ysmcjkupnby4sxcn</sha1>
    </revision>
    <revision>
      <id>983799</id>
      <parentid>983798</parentid>
      <timestamp>2026-06-24T15:04:11Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <minor />
      <origin>983799</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="720" sha1="hcfm4uequ5uncd6zv0rr17n16drpfdv" xml:space="preserve">__EXPECTED_UNCONNECTED_PAGE__
La géométrie algébrique est la branche des mathématiques qui cherche à établir un lien, un pont entre géométrie et algèbre. Vous avez déjà fait un peu de géométrie algébrique au lycée. En effet, vous savez que dans le plan &lt;math&gt;\mathbb{R}^2&lt;/math&gt; muni de son repère cartésien usuel, l'équation &lt;math&gt;x^2+y^2=1&lt;/math&gt; correspond à un cercle centré en l'origine et de rayon &lt;math&gt;1&lt;/math&gt; unité. Mais lorsqu'une chercheuse ou un chercheur en mathématiques parle de géométrie algébrique, ils parlent de liens plus profonds. Globalement, on peut dire que la géométrie algébrique est très liée à l'algèbre commutative et à la théorie des anneaux.

{{AutoCat}}</text>
      <sha1>hcfm4uequ5uncd6zv0rr17n16drpfdv</sha1>
    </revision>
  </page>
  <page>
    <title>Géométrie algébrique/Ensembles algébriques affines</title>
    <ns>0</ns>
    <id>87152</id>
    <revision>
      <id>983802</id>
      <parentid>983785</parentid>
      <timestamp>2026-06-24T18:27:28Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983802</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="12155" sha1="0lo8zgtbqkpxlbfs7cvoql7ml902ckf" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Généralités =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>0lo8zgtbqkpxlbfs7cvoql7ml902ckf</sha1>
    </revision>
    <revision>
      <id>983803</id>
      <parentid>983802</parentid>
      <timestamp>2026-06-24T18:39:15Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983803</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="13585" sha1="cokqa5vw1tp0azxust2kcl2jm6izh31" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Généralités =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}Ainsi, la topologie de Zariski est une topologie qu'il faut appréhender avec beaucoup de méfiance : elle est très éloignée de ce que l'on côtoie habituellement. En particulier, elle admet une base naturelle qui permet d'écrire tout ouvert de cette topologie comme réunion '''finie''' d'ouverts de cette base.
{{Définition|titre=Ouvert standard|contenu=Un &lt;b&gt;ouvert standard&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;D\subset k^n&lt;/math&gt; telle qu'il existe un polynôme &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; vérifiant : &lt;math&gt;D=k^n\setminus \mathcal{V}(f)&lt;/math&gt;. Dans ce cas, il est clair que &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski.}}{{Proposition|contenu=Les ouverts standards de &lt;math&gt;k^n&lt;/math&gt; forment une base de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt;. Mieux que cela : tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.|titre=Base de Zariski}}{{Démonstration déroulante|contenu=Soit &lt;math&gt;U&lt;/math&gt; un ouvert de Zariski. Alors &lt;math&gt;k^n\setminus U&lt;/math&gt; est un ensemble algébrique affine. Donc il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r&lt;/math&gt; tels que : &lt;math&gt;k^n\setminus U=\mathcal{V}(f_1)\cap\dots\cap\mathcal{V}(f_r)&lt;/math&gt;. En passant au complémentaire et avec les lois de De Morgan : &lt;math&gt;U=(k^n\setminus \mathcal{V}(f_1))\cup\dots\cup(k^n\setminus \mathcal{V}(f_r))&lt;/math&gt;. Ainsi, tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>cokqa5vw1tp0azxust2kcl2jm6izh31</sha1>
    </revision>
    <revision>
      <id>983804</id>
      <parentid>983803</parentid>
      <timestamp>2026-06-24T19:00:20Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983804</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="15243" sha1="9qg88otazyu3gdp3exoie0wfx8851sm" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Généralités =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}Ainsi, la topologie de Zariski est une topologie qu'il faut appréhender avec beaucoup de méfiance : elle est très éloignée de ce que l'on côtoie habituellement. En particulier, elle admet une base naturelle qui permet d'écrire tout ouvert de cette topologie comme réunion '''finie''' d'ouverts de cette base.
{{Définition|titre=Ouvert standard|contenu=Un &lt;b&gt;ouvert standard&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;D\subset k^n&lt;/math&gt; telle qu'il existe un polynôme &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; vérifiant : &lt;math&gt;D=k^n\setminus \mathcal{V}(f)&lt;/math&gt;. Dans ce cas, il est clair que &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski.}}{{Proposition|contenu=Les ouverts standards de &lt;math&gt;k^n&lt;/math&gt; forment une base de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt;. Mieux que cela : tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.|titre=Base de Zariski}}{{Démonstration déroulante|contenu=Soit &lt;math&gt;U&lt;/math&gt; un ouvert de Zariski. Alors &lt;math&gt;k^n\setminus U&lt;/math&gt; est un ensemble algébrique affine. Donc il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r&lt;/math&gt; tels que : &lt;math&gt;k^n\setminus U=\mathcal{V}(f_1)\cap\dots\cap\mathcal{V}(f_r)&lt;/math&gt;. En passant au complémentaire et avec les lois de De Morgan : &lt;math&gt;U=(k^n\setminus \mathcal{V}(f_1))\cup\dots\cup(k^n\setminus \mathcal{V}(f_r))&lt;/math&gt;. Ainsi, tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.}}

== Une application duale ==
Maintenant que l'on a parlé de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, nous allons considérer son application &quot;duale : &lt;math&gt;\mathcal{I}\colon \wp(k^n)\to \wp(k[X_1,\dots,X_n])&lt;/math&gt; définie par : &lt;math&gt;\forall A\subset k^n,\; \mathcal{I}(A)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in A, f(x)=0\}&lt;/math&gt;. Ainsi, à une partie de l'espace, on associe l'ensemble de tous les polynômes s'annulant sur toute cette partie. Il s'agit bien du procédé inverse de celui que l'on avait utilisé pour la définition de &lt;math&gt;\mathcal{V}&lt;/math&gt;. On notera également &lt;math&gt;\Gamma(A)=\{\varphi\colon V\to k\mid \exists f\in k[X_1,\dots,X_n], \forall x\in V, \varphi(x)=f(x)\}&lt;/math&gt; qui est l'ensemble des fonctions régulières de &lt;math&gt;A&lt;/math&gt;. On a alors la proposition suivante.
{{Proposition|contenu=Soit &lt;math&gt;A\subset k^n&lt;/math&gt;. Alors :
* &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.|titre=Nature de &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt;.}}{{Démonstration déroulante|contenu=Considérons &lt;math&gt;\Phi \colon k[X_1,\dots,X_n]\to k^V&lt;/math&gt; définie pour tout &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; par : &lt;math&gt;\Phi(f)=\hat{f}\mid_V&lt;/math&gt; où &lt;math&gt;\hat{f}&lt;/math&gt; réprésente la fonction polynomiale associée à &lt;math&gt;f&lt;/math&gt;. Il s'agit clairement d'un morphisme d'anneaux. En outre, &lt;math&gt;\ker(\Phi)=\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\mathrm{Im}(\Phi)=\Gamma(A)&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>9qg88otazyu3gdp3exoie0wfx8851sm</sha1>
    </revision>
    <revision>
      <id>983805</id>
      <parentid>983804</parentid>
      <timestamp>2026-06-24T19:03:48Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983805</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="15234" sha1="pd4q1iyi2uaa1zlm3bco4xiq155x3hp" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Premier pas =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}Ainsi, la topologie de Zariski est une topologie qu'il faut appréhender avec beaucoup de méfiance : elle est très éloignée de ce que l'on côtoie habituellement. En particulier, elle admet une base naturelle qui permet d'écrire tout ouvert de cette topologie comme réunion '''finie''' d'ouverts de cette base.
{{Définition|titre=Ouvert standard|contenu=Un &lt;b&gt;ouvert standard&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;D\subset k^n&lt;/math&gt; telle qu'il existe un polynôme &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; vérifiant : &lt;math&gt;D=k^n\setminus \mathcal{V}(f)&lt;/math&gt;. Dans ce cas, il est clair que &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski.}}{{Proposition|contenu=Les ouverts standards de &lt;math&gt;k^n&lt;/math&gt; forment une base de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt;. Mieux que cela : tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.|titre=Base de Zariski}}{{Démonstration déroulante|contenu=Soit &lt;math&gt;U&lt;/math&gt; un ouvert de Zariski. Alors &lt;math&gt;k^n\setminus U&lt;/math&gt; est un ensemble algébrique affine. Donc il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r&lt;/math&gt; tels que : &lt;math&gt;k^n\setminus U=\mathcal{V}(f_1)\cap\dots\cap\mathcal{V}(f_r)&lt;/math&gt;. En passant au complémentaire et avec les lois de De Morgan : &lt;math&gt;U=(k^n\setminus \mathcal{V}(f_1))\cup\dots\cup(k^n\setminus \mathcal{V}(f_r))&lt;/math&gt;. Ainsi, tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.}}

= Idéaux associés =
Maintenant que l'on a parlé de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, nous allons considérer son application &quot;duale : &lt;math&gt;\mathcal{I}\colon \wp(k^n)\to \wp(k[X_1,\dots,X_n])&lt;/math&gt; définie par : &lt;math&gt;\forall A\subset k^n,\; \mathcal{I}(A)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in A, f(x)=0\}&lt;/math&gt;. Ainsi, à une partie de l'espace, on associe l'ensemble de tous les polynômes s'annulant sur toute cette partie. Il s'agit bien du procédé inverse de celui que l'on avait utilisé pour la définition de &lt;math&gt;\mathcal{V}&lt;/math&gt;. On notera également &lt;math&gt;\Gamma(A)=\{\varphi\colon V\to k\mid \exists f\in k[X_1,\dots,X_n], \forall x\in V, \varphi(x)=f(x)\}&lt;/math&gt; qui est l'ensemble des fonctions régulières de &lt;math&gt;A&lt;/math&gt;. On a alors la proposition suivante.
{{Proposition|contenu=Soit &lt;math&gt;A\subset k^n&lt;/math&gt;. Alors :
* &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.|titre=Nature de &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt;.}}{{Démonstration déroulante|contenu=Considérons &lt;math&gt;\Phi \colon k[X_1,\dots,X_n]\to k^V&lt;/math&gt; définie pour tout &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; par : &lt;math&gt;\Phi(f)=\hat{f}\mid_V&lt;/math&gt; où &lt;math&gt;\hat{f}&lt;/math&gt; réprésente la fonction polynomiale associée à &lt;math&gt;f&lt;/math&gt;. Il s'agit clairement d'un morphisme d'anneaux. En outre, &lt;math&gt;\ker(\Phi)=\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\mathrm{Im}(\Phi)=\Gamma(A)&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>pd4q1iyi2uaa1zlm3bco4xiq155x3hp</sha1>
    </revision>
    <revision>
      <id>983806</id>
      <parentid>983805</parentid>
      <timestamp>2026-06-24T19:59:12Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983806</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="18552" sha1="8kov18tv5wl22rb4mpzkgh9bh44p7w5" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Premier pas =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}Ainsi, la topologie de Zariski est une topologie qu'il faut appréhender avec beaucoup de méfiance : elle est très éloignée de ce que l'on côtoie habituellement. En particulier, elle admet une base naturelle qui permet d'écrire tout ouvert de cette topologie comme réunion '''finie''' d'ouverts de cette base.
{{Définition|titre=Ouvert standard|contenu=Un &lt;b&gt;ouvert standard&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;D\subset k^n&lt;/math&gt; telle qu'il existe un polynôme &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; vérifiant : &lt;math&gt;D=k^n\setminus \mathcal{V}(f)&lt;/math&gt;. Dans ce cas, il est clair que &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski.}}{{Proposition|contenu=Les ouverts standards de &lt;math&gt;k^n&lt;/math&gt; forment une base de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt;. Mieux que cela : tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.|titre=Base de Zariski}}{{Démonstration déroulante|contenu=Soit &lt;math&gt;U&lt;/math&gt; un ouvert de Zariski. Alors &lt;math&gt;k^n\setminus U&lt;/math&gt; est un ensemble algébrique affine. Donc il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r&lt;/math&gt; tels que : &lt;math&gt;k^n\setminus U=\mathcal{V}(f_1)\cap\dots\cap\mathcal{V}(f_r)&lt;/math&gt;. En passant au complémentaire et avec les lois de De Morgan : &lt;math&gt;U=(k^n\setminus \mathcal{V}(f_1))\cup\dots\cup(k^n\setminus \mathcal{V}(f_r))&lt;/math&gt;. Ainsi, tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.}}

= Idéaux associés =
Maintenant que l'on a parlé de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, nous allons considérer son application &quot;duale : &lt;math&gt;\mathcal{I}\colon \wp(k^n)\to \wp(k[X_1,\dots,X_n])&lt;/math&gt; définie par : &lt;math&gt;\forall A\subset k^n,\; \mathcal{I}(A)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in A, f(x)=0\}&lt;/math&gt;. Ainsi, à une partie de l'espace, on associe l'ensemble de tous les polynômes s'annulant sur toute cette partie. Il s'agit bien du procédé inverse de celui que l'on avait utilisé pour la définition de &lt;math&gt;\mathcal{V}&lt;/math&gt;. On notera également &lt;math&gt;\Gamma(A)=\{\varphi\colon V\to k\mid \exists f\in k[X_1,\dots,X_n], \forall x\in A, \varphi(x)=f(x)\}&lt;/math&gt; qui est l'ensemble des fonctions régulières de &lt;math&gt;A&lt;/math&gt;. On a alors la proposition suivante.
{{Proposition|contenu=Soit &lt;math&gt;A\subset k^n&lt;/math&gt;. Alors :
* &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.|titre=Nature de &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt;.}}{{Démonstration déroulante|contenu=Considérons &lt;math&gt;\Phi \colon k[X_1,\dots,X_n]\to k^V&lt;/math&gt; définie pour tout &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; par : &lt;math&gt;\Phi(f)=\hat{f}\mid_V&lt;/math&gt; où &lt;math&gt;\hat{f}&lt;/math&gt; réprésente la fonction polynomiale associée à &lt;math&gt;f&lt;/math&gt;. Il s'agit clairement d'un morphisme d'anneaux. En outre, &lt;math&gt;\ker(\Phi)=\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\mathrm{Im}(\Phi)=\Gamma(A)&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.}}Voyons à présent quelques propriétés remarquables de &lt;math&gt;\mathcal{I}&lt;/math&gt;.
{{Proposition|contenu=* &lt;math&gt;\mathcal{I}&lt;/math&gt; est décroissante pour l'inclusion.
* Pour tout &lt;math&gt;A\subset k^n&lt;/math&gt;, &lt;math&gt;\mathcal{V}(\mathcal{I}(A))=\overline{A}&lt;/math&gt; où &lt;math&gt;\overline{A}&lt;/math&gt; désigne l'adhérence de &lt;math&gt;A&lt;/math&gt; pour la topologie de Zariski. En particulier, pour &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, on a bien &lt;math&gt;\mathcal{V}(\mathcal{I}(V))=V&lt;/math&gt;.
* Si &lt;math&gt;V&lt;/math&gt; et &lt;math&gt;W&lt;/math&gt; sont deux ensembles algébriques affines, on a : &lt;math&gt;\mathcal{I}(V)=\mathcal{I}(W)\implies V=W&lt;/math&gt;.
* Pour tout &lt;math&gt;I&lt;/math&gt; idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, &lt;math&gt; I \subset \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. L'inclusion réciproque est fausse en général.|titre=Propriétés de &lt;math&gt;\mathcal{I}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;A&lt;/math&gt; et &lt;math&gt;B\subset k^n&lt;/math&gt;. Supposons que &lt;math&gt;A\subset B&lt;/math&gt;. Alors pour tout &lt;math&gt;f\in \mathcal{I}(B)&lt;/math&gt;, on a donc : &lt;math&gt;\forall x\in B, f(x)=0&lt;/math&gt;. Mais &lt;math&gt;A\subset B&lt;/math&gt;. D'où : &lt;math&gt;\forall x\in A, f(x)=0&lt;/math&gt;. Finalement : &lt;math&gt;x\in \mathcal{I}(A)&lt;/math&gt;, ce qui prouve bien que &lt;math&gt;A\subset B\implies \mathcal{I}(B)\subset \mathcal{I}(A)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{I}&lt;/math&gt; est décroissante.
* Soit &lt;math&gt;x\in A&lt;/math&gt;. Alors si je considère &lt;math&gt;f\in \mathcal{I}(A)&lt;/math&gt;, on a nécessairement &lt;math&gt;f(x)=0&lt;/math&gt; car &lt;math&gt;f&lt;/math&gt; s'annule sur &lt;math&gt;A&lt;/math&gt;. Donc &lt;math&gt;x\in \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. On a donc l'inclusion &lt;math&gt;A\subset\mathcal{V}(\mathcal{I}(A))\implies \overline{A}\subset \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Pour la réciproque, supposons qu'il existe un fermé de Zariski &lt;math&gt;W&lt;/math&gt; tel que &lt;math&gt;A\subset W\subset \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Dans ce cas, on peut écrire &lt;math&gt;W=\mathcal{V}(I)&lt;/math&gt; pour un certain idéal &lt;math&gt;I&lt;/math&gt; de l'anneau de polynômes. Mais comme &lt;math&gt;A\subset W&lt;/math&gt;, tous les polynômes de &lt;math&gt;I&lt;/math&gt; s'annule sur A i.e. &lt;math&gt;I\subset \mathcal{I}(A)&lt;/math&gt;. Par décroissance de &lt;math&gt;\mathcal{V}&lt;/math&gt; : &lt;math&gt;\mathcal{V}(\mathcal{I}(A))\subset\mathcal{V}(I)=W&lt;/math&gt;. Donc &lt;math&gt;W=\mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\mathcal{I}(A))&lt;/math&gt; est le plus petit fermé de Zariski contenant &lt;math&gt;A&lt;/math&gt;. On obtient bien : &lt;math&gt;\mathcal{V}(\mathcal{I}(A))=\overline{A}&lt;/math&gt;.
* On sait que &lt;math&gt;\mathcal{V}\circ\mathcal{I}\mid_{\mathrm{Im}(\mathcal{V})}=\mathrm{id}_{\mathrm{Im}(\mathcal{V})}&lt;/math&gt; est bijective, d'après la propriété ci-dessus. Donc &lt;math&gt;\mathcal{I}\mid_{\mathrm{Im}(\mathcal{V})}&lt;/math&gt; est injective. Autrement dit, si &lt;math&gt;V&lt;/math&gt; et &lt;math&gt;W&lt;/math&gt; sont deux ensembles algébriques affines : &lt;math&gt; \mathcal{I}(V)=\mathcal{I}(W)\implies V=W&lt;/math&gt;.
* Soit &lt;math&gt;f\in I&lt;/math&gt;. Puisque &lt;math&gt;\mathcal{V}(I)&lt;/math&gt; est exactement le lieu d'annulation commun à tous les polynômes de &lt;math&gt;I&lt;/math&gt;, il est clair que &lt;math&gt;f\in \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. D'où &lt;math&gt;I\subset \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. On peut vérifier que l'inclusion réciproque est en général fausse. En effet, si l'on se place dans le cas où &lt;math&gt;n=1&lt;/math&gt;, &lt;math&gt;\mathcal{I}(\mathcal{V}(\langle X^2\rangle))=\langle X\rangle&lt;/math&gt;.}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>8kov18tv5wl22rb4mpzkgh9bh44p7w5</sha1>
    </revision>
    <revision>
      <id>983807</id>
      <parentid>983806</parentid>
      <timestamp>2026-06-24T20:21:17Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983807</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="20657" sha1="kriosuc767vjhg3an4vjnn8rplem8in" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Premier pas =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}Ainsi, la topologie de Zariski est une topologie qu'il faut appréhender avec beaucoup de méfiance : elle est très éloignée de ce que l'on côtoie habituellement. En particulier, elle admet une base naturelle qui permet d'écrire tout ouvert de cette topologie comme réunion '''finie''' d'ouverts de cette base.
{{Définition|titre=Ouvert standard|contenu=Un &lt;b&gt;ouvert standard&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;D\subset k^n&lt;/math&gt; telle qu'il existe un polynôme &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; vérifiant : &lt;math&gt;D=k^n\setminus \mathcal{V}(f)&lt;/math&gt;. Dans ce cas, il est clair que &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski.}}{{Proposition|contenu=Les ouverts standards de &lt;math&gt;k^n&lt;/math&gt; forment une base de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt;. Mieux que cela : tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.|titre=Base de Zariski}}{{Démonstration déroulante|contenu=Soit &lt;math&gt;U&lt;/math&gt; un ouvert de Zariski. Alors &lt;math&gt;k^n\setminus U&lt;/math&gt; est un ensemble algébrique affine. Donc il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r&lt;/math&gt; tels que : &lt;math&gt;k^n\setminus U=\mathcal{V}(f_1)\cap\dots\cap\mathcal{V}(f_r)&lt;/math&gt;. En passant au complémentaire et avec les lois de De Morgan : &lt;math&gt;U=(k^n\setminus \mathcal{V}(f_1))\cup\dots\cup(k^n\setminus \mathcal{V}(f_r))&lt;/math&gt;. Ainsi, tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.}}

= Idéaux associés =
Maintenant que l'on a parlé de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, nous allons considérer son application &quot;duale : &lt;math&gt;\mathcal{I}\colon \wp(k^n)\to \wp(k[X_1,\dots,X_n])&lt;/math&gt; définie par : &lt;math&gt;\forall A\subset k^n,\; \mathcal{I}(A)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in A, f(x)=0\}&lt;/math&gt;. Ainsi, à une partie de l'espace, on associe l'ensemble de tous les polynômes s'annulant sur toute cette partie. Il s'agit bien du procédé inverse de celui que l'on avait utilisé pour la définition de &lt;math&gt;\mathcal{V}&lt;/math&gt;. On notera également &lt;math&gt;\Gamma(A)=\{\varphi\colon V\to k\mid \exists f\in k[X_1,\dots,X_n], \forall x\in A, \varphi(x)=f(x)\}&lt;/math&gt; qui est l'ensemble des fonctions régulières de &lt;math&gt;A&lt;/math&gt;. On a alors la proposition suivante.
{{Proposition|contenu=Soit &lt;math&gt;A\subset k^n&lt;/math&gt;. Alors :
* &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.|titre=Nature de &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt;.}}{{Démonstration déroulante|contenu=Considérons &lt;math&gt;\Phi \colon k[X_1,\dots,X_n]\to k^V&lt;/math&gt; définie pour tout &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; par : &lt;math&gt;\Phi(f)=\hat{f}\mid_V&lt;/math&gt; où &lt;math&gt;\hat{f}&lt;/math&gt; réprésente la fonction polynomiale associée à &lt;math&gt;f&lt;/math&gt;. Il s'agit clairement d'un morphisme d'anneaux. En outre, &lt;math&gt;\ker(\Phi)=\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\mathrm{Im}(\Phi)=\Gamma(A)&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.}}Voyons à présent quelques propriétés remarquables de &lt;math&gt;\mathcal{I}&lt;/math&gt;.
{{Proposition|contenu=* &lt;math&gt;\mathcal{I}&lt;/math&gt; est décroissante pour l'inclusion.
* Pour tout &lt;math&gt;A\subset k^n&lt;/math&gt;, &lt;math&gt;\mathcal{V}(\mathcal{I}(A))=\overline{A}&lt;/math&gt; où &lt;math&gt;\overline{A}&lt;/math&gt; désigne l'adhérence de &lt;math&gt;A&lt;/math&gt; pour la topologie de Zariski. En particulier, pour &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, on a bien &lt;math&gt;\mathcal{V}(\mathcal{I}(V))=V&lt;/math&gt;.
* Si &lt;math&gt;V&lt;/math&gt; et &lt;math&gt;W&lt;/math&gt; sont deux ensembles algébriques affines, on a : &lt;math&gt;\mathcal{I}(V)=\mathcal{I}(W)\implies V=W&lt;/math&gt;.
* Pour tout &lt;math&gt;I&lt;/math&gt; idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, &lt;math&gt; I \subset \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. L'inclusion réciproque est fausse en général.|titre=Propriétés de &lt;math&gt;\mathcal{I}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;A&lt;/math&gt; et &lt;math&gt;B\subset k^n&lt;/math&gt;. Supposons que &lt;math&gt;A\subset B&lt;/math&gt;. Alors pour tout &lt;math&gt;f\in \mathcal{I}(B)&lt;/math&gt;, on a donc : &lt;math&gt;\forall x\in B, f(x)=0&lt;/math&gt;. Mais &lt;math&gt;A\subset B&lt;/math&gt;. D'où : &lt;math&gt;\forall x\in A, f(x)=0&lt;/math&gt;. Finalement : &lt;math&gt;x\in \mathcal{I}(A)&lt;/math&gt;, ce qui prouve bien que &lt;math&gt;A\subset B\implies \mathcal{I}(B)\subset \mathcal{I}(A)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{I}&lt;/math&gt; est décroissante.
* Soit &lt;math&gt;x\in A&lt;/math&gt;. Alors si je considère &lt;math&gt;f\in \mathcal{I}(A)&lt;/math&gt;, on a nécessairement &lt;math&gt;f(x)=0&lt;/math&gt; car &lt;math&gt;f&lt;/math&gt; s'annule sur &lt;math&gt;A&lt;/math&gt;. Donc &lt;math&gt;x\in \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. On a donc l'inclusion &lt;math&gt;A\subset\mathcal{V}(\mathcal{I}(A))\implies \overline{A}\subset \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Pour la réciproque, supposons qu'il existe un fermé de Zariski &lt;math&gt;W&lt;/math&gt; tel que &lt;math&gt;A\subset W\subset \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Dans ce cas, on peut écrire &lt;math&gt;W=\mathcal{V}(I)&lt;/math&gt; pour un certain idéal &lt;math&gt;I&lt;/math&gt; de l'anneau de polynômes. Mais comme &lt;math&gt;A\subset W&lt;/math&gt;, tous les polynômes de &lt;math&gt;I&lt;/math&gt; s'annule sur A i.e. &lt;math&gt;I\subset \mathcal{I}(A)&lt;/math&gt;. Par décroissance de &lt;math&gt;\mathcal{V}&lt;/math&gt; : &lt;math&gt;\mathcal{V}(\mathcal{I}(A))\subset\mathcal{V}(I)=W&lt;/math&gt;. Donc &lt;math&gt;W=\mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\mathcal{I}(A))&lt;/math&gt; est le plus petit fermé de Zariski contenant &lt;math&gt;A&lt;/math&gt;. On obtient bien : &lt;math&gt;\mathcal{V}(\mathcal{I}(A))=\overline{A}&lt;/math&gt;.
* On sait que &lt;math&gt;\mathcal{V}\circ\mathcal{I}\mid_{\mathrm{Im}(\mathcal{V})}=\mathrm{id}_{\mathrm{Im}(\mathcal{V})}&lt;/math&gt; est bijective, d'après la propriété ci-dessus. Donc &lt;math&gt;\mathcal{I}\mid_{\mathrm{Im}(\mathcal{V})}&lt;/math&gt; est injective. Autrement dit, si &lt;math&gt;V&lt;/math&gt; et &lt;math&gt;W&lt;/math&gt; sont deux ensembles algébriques affines : &lt;math&gt; \mathcal{I}(V)=\mathcal{I}(W)\implies V=W&lt;/math&gt;.
* Soit &lt;math&gt;f\in I&lt;/math&gt;. Puisque &lt;math&gt;\mathcal{V}(I)&lt;/math&gt; est exactement le lieu d'annulation commun à tous les polynômes de &lt;math&gt;I&lt;/math&gt;, il est clair que &lt;math&gt;f\in \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. D'où &lt;math&gt;I\subset \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. On peut vérifier que l'inclusion réciproque est en général fausse. En effet, si l'on se place dans le cas où &lt;math&gt;n=1&lt;/math&gt;, &lt;math&gt;\mathcal{I}(\mathcal{V}(\langle X^2\rangle))=\langle X\rangle&lt;/math&gt;.}}Voyons des calculs plus pratiques. D'une part, &lt;math&gt;\mathcal{I}(\varnothing)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in \varnothing, f(x)=0\}=k[X_1,\dots,X_n]&lt;/math&gt;. Mais qu'en est-il de &lt;math&gt;\mathcal{I}(k^n)&lt;/math&gt; ? On a la proposition suivante.
{{Proposition|contenu=Si &lt;math&gt;k&lt;/math&gt; est infini, alors &lt;math&gt;\mathcal{I}(k^n)=\{0_{k[X_1,\dots,X_n]}\}&lt;/math&gt;.|titre=&lt;math&gt;\mathcal{I}(k^n)&lt;/math&gt;}}{{Démonstration déroulante|contenu=On raisonne par récurrence sur &lt;math&gt;n&lt;/math&gt;.
* &lt;u&gt;Initialisation :&lt;/u&gt; (&lt;math&gt;n=1&lt;/math&gt;). Soit &lt;math&gt;f\in k[X]&lt;/math&gt;. Si &lt;math&gt;f&lt;/math&gt; s'annule sur &lt;math&gt;k&lt;/math&gt;, puisque &lt;math&gt;k&lt;/math&gt; est infini, &lt;math&gt;f&lt;/math&gt; admet une infinité de racines. Puisque l'autre inclusion est triviale, on a : &lt;math&gt;\mathcal{I}(k^n)=\{0_{k[X]}\}&lt;/math&gt;.
* &lt;u&gt;Hérédité :&lt;/u&gt; Supposons la proposition vraie pour un certain &lt;math&gt;n\in \mathbb{N}^*&lt;/math&gt;. On considère alors &lt;math&gt;f\in k[X_1,\dots,X_{n+1}]&lt;/math&gt; non-nul. En permutant les indéterminées s'il le faut, on peut l'écrire sous la forme : &lt;math&gt;f=a_r(X_1,\dots,X_n)X_{n+1}^r+\dots&lt;/math&gt; avec &lt;math&gt;r\geq 1&lt;/math&gt; la plus grande puissance de &lt;math&gt;X_n&lt;/math&gt; avec un coefficient non-nul et &lt;math&gt;a_r\neq 0_{k[X_1,\dots,X_n]}&lt;/math&gt;. Par hypothèse de récurrence, il existe un &lt;math&gt;n&lt;/math&gt;-uplet &lt;math&gt;(x_1,\dots,x_n)\in k^n&lt;/math&gt; tel que &lt;math&gt;a_r(x_1,\dots,x_n)\neq 0&lt;/math&gt;. Ainsi, &lt;math&gt;f(x_1,\dots,x_n,X_{n+1})&lt;/math&gt; est un polynôme à une indéterminée de degré &lt;math&gt;r&lt;/math&gt;. Il admet donc au plus &lt;math&gt;r&lt;/math&gt; racines. Il n'en possède donc pas une infinité : il ne peut pas s'annuler sur tout &lt;math&gt;k^n&lt;/math&gt; qui est infini. Ainsi, on a bien démontré que &lt;math&gt;\mathcal{I}(k^{n+1})=\{0_{k[X_1,\dots,X_{n+1}]}\}&lt;/math&gt;.
* &lt;u&gt;Conclusion :&lt;/u&gt; Si &lt;math&gt;k&lt;/math&gt; est infini, &lt;math&gt;\mathcal{I}(k^n)=0_{k[X_1,\dots,X_n]}&lt;/math&gt;.}}
Un autre calcul de &lt;math&gt;\mathcal{I}&lt;/math&gt; faisable est l'idéal associé à un singleton.
{{Proposition|contenu=Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. Alors : &lt;math&gt;\mathcal{I}(\{a\})=\langle X_1-a_1,\dots,X_n-a_n\rangle&lt;/math&gt;.|titre=Idéal d'un singleton}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>kriosuc767vjhg3an4vjnn8rplem8in</sha1>
    </revision>
    <revision>
      <id>983809</id>
      <parentid>983807</parentid>
      <timestamp>2026-06-25T00:08:18Z</timestamp>
      <contributor>
        <username>D3nsji</username>
        <id>80572</id>
      </contributor>
      <origin>983809</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="21209" sha1="guil8t74yinzs8pnbnboxi4q65cttts" xml:space="preserve">&lt;!-- NE RIEN ÉCRIRE AU-DESSUS DE CETTE LIGNE --&gt;
{{Chapitre
  | idfaculté  = mathématiques
  | niveau     = 18
  | numéro     = 1
  | précédent  = [[../|Sommaire]]
  | suivant    = [[../??/]]
}}


Dans tout ce chapitre, &lt;math&gt;k&lt;/math&gt; désigne un corps commutatif et &lt;math&gt;n&lt;/math&gt; est un entier naturel non-nul. Si &lt;math&gt;E&lt;/math&gt; est un ensemble, on note &lt;math&gt;\wp(E)&lt;/math&gt; l'ensemble de ses parties. &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; désigne l'anneau des polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées à coefficients dans &lt;math&gt;k&lt;/math&gt;. Pour &lt;math&gt;n=1&lt;/math&gt;, on aura tendance à écrire &lt;math&gt;k[X]&lt;/math&gt;. Pour &lt;math&gt;n=2&lt;/math&gt;, on écrira &lt;math&gt;k[X,Y]&lt;/math&gt;.

= Premier pas =
== Premier objet ==
[[File:V(y^2-x^3-1).png|thumb|&lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt;]]Le premier objet que nous allons étudier afin de comprendre la géométrie algébrique est l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;. À un ensemble de polynômes à &lt;math&gt;n&lt;/math&gt; indéterminées, on associe leur lieu d'annulation commun. L'application &lt;math&gt;\mathcal{V}&lt;/math&gt; est donc l'application définie sur &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; à valeurs dans &lt;math&gt;\wp(k^n)&lt;/math&gt; telle que pour toute partie &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, on a : &lt;math&gt;\mathcal{V}(S)=\{x\in k^n\mid \forall f\in S, f(x)=0\}&lt;/math&gt;. Si &lt;math&gt;S=\{f_1,\dots,f_r\}&lt;/math&gt; est un ensemble fini, on aura tendance à écrire &lt;math&gt;\mathcal{V}(f_1,\dots,f_r)&lt;/math&gt; plutôt que &lt;math&gt;\mathcal{V}(\{f_1,\dots,f_r\})&lt;/math&gt;. Par exemple, si &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, &lt;math&gt;\mathcal{V}(Y^2-X^3-1)&lt;/math&gt; est représenté ci-contre. On peut alors se poser la question : &lt;math&gt;\mathcal{V}&lt;/math&gt; est-elle surjective ? Ou alors injective ? Ou aucun des deux ?

Premièrement, &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est en général pas surjective. Toujours pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; et &lt;math&gt;n=2&lt;/math&gt;, on peut considérer &lt;math&gt;E=\{(x,y)\in \mathbb{R}^2\mid y=\sin(x)\}&lt;/math&gt;. Supposons que &lt;math&gt;E=\mathcal{V}({S})&lt;/math&gt; pour une certaine partie &lt;math&gt;S\subset \mathbb{R}[X,Y]&lt;/math&gt;. On a nécessairement &lt;math&gt;S\neq \varnothing&lt;/math&gt; car &lt;math&gt;\mathcal{V}(\varnothing)=\mathbb{R}^2\neq E&lt;/math&gt;. Considérons donc &lt;math&gt;f\in S&lt;/math&gt;. On peut alors écrire &lt;math&gt;f=\sum_{k=1}^ra_k(Y)X^k&lt;/math&gt; où les &lt;math&gt;a_k&lt;/math&gt; sont des polynômes à une indéterminée. En fixant &lt;math&gt;y\in [-1;1]&lt;/math&gt;, il est clair que &lt;math&gt;f(X,y)\in \mathbb{R}[X]&lt;/math&gt; s'annule une infinité de fois. Ainsi, &lt;math&gt;f(X,y)=0_{\mathbb{R}[X]}&lt;/math&gt; donc tous les &lt;math&gt;a_k&lt;/math&gt; sont nuls. D'où &lt;math&gt;f=0_{\mathbb{R}[X,Y]}&lt;/math&gt; ce qui est absurde car &lt;math&gt;\mathcal{V}(0_{\mathbb{R}[X,Y]})=\mathbb{R}^2\neq E&lt;/math&gt;. &lt;math&gt;E&lt;/math&gt; n'est donc pas dans l'image de &lt;math&gt;\mathcal{V}&lt;/math&gt;, ce qui prouve que &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas surjective.

Pour ce qui est de l'injectivité, toujours dans le même cadre, il est facile de vérifier que &lt;math&gt;\mathcal{V}(X^2)=\mathcal{V}(X)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}&lt;/math&gt; n'est pas injective non plus.

Notre but était pourtant de faire un pont entre l'algèbre et la géométrie ! On aurait aimé avoir une bijection. Une première idée est de corestreindre &lt;math&gt;\mathcal{V}&lt;/math&gt;. En effet, notre but n'est pas d'étudier toutes les parties de &lt;math&gt;k^n&lt;/math&gt; mais seulement celles qui sont polynomiales. C'est l'idée du paragraphe ci-dessous. Une deuxième idée serait de quotienter &lt;math&gt;\wp(k[X_1,\dots,X_n])&lt;/math&gt; par la relation d'équivalence &lt;math&gt;S\sim S'\iff \mathcal{V}(S)=\mathcal{V}({S'})&lt;/math&gt;. C'est loin d'être une mauvaise idée, mais on passerait à côté de ce que sont vraiment les classes d'équivalence de &lt;math&gt;\sim&lt;/math&gt; et les propriétés algébriques intéressantes derrière.

Enfin, pour terminer cette section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, en voici quelques propriétés.{{Proposition|contenu=* &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Si &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;, alors &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;, où &lt;math&gt;\langle S\rangle&lt;/math&gt; désigne l'idéal engendré par &lt;math&gt;S&lt;/math&gt; dans &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* Si &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, alors il existe une famille finie &lt;math&gt;(f_1,\dots,f_r)&lt;/math&gt; de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; telle que : &lt;math&gt;V=\mathcal{V}(f_1)\cap \dots \cap \mathcal{V}(f_r)&lt;/math&gt;.
* Soit &lt;math&gt;a\in k^n&lt;/math&gt;. Alors &lt;math&gt;\{a\}\in\mathrm{Im}(\mathcal{V})&lt;/math&gt;.|titre=Propriétés de &lt;math&gt;\mathcal{V}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Supposons que &lt;math&gt;S\subset S'&lt;/math&gt;. Considérons alors &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. On a alors : &lt;math&gt;\forall f\in S', f(x)=0&lt;/math&gt;. Cela étant vrai pour tout &lt;math&gt;f\in S'&lt;/math&gt;, puisque &lt;math&gt;S\subset S'&lt;/math&gt;, on a : &lt;math&gt;\forall f\in S, f(x)=0&lt;/math&gt;. D'où &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;, ce qui montre que &lt;math&gt;\mathcal{V}(S')\subset \mathcal{V}(S)&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{V}&lt;/math&gt; est décroissante pour l'inclusion.
* Soit &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;. On a : &lt;math&gt;S\subset \langle S\rangle&lt;/math&gt;. D'après la propriété ci-dessus, on a donc : &lt;math&gt;\mathcal{V}(\langle S\rangle)\subset  \mathcal{V}(S)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;x\in \mathcal{V}(S)&lt;/math&gt;. Considérons &lt;math&gt;P\in \langle S\rangle&lt;/math&gt;. Celui-ci s'écrit : &lt;math&gt;P=\sum_{k=1}^rg_kf_k&lt;/math&gt; où les &lt;math&gt;g_k\in k[X_1,\dots,X_n]&lt;/math&gt; et les &lt;math&gt;f_k\in S&lt;/math&gt;. Ainsi, &lt;math&gt;P(x)=\sum_{k=1}^rg_k(x)f_k(x)=r\times 0=0&lt;/math&gt;. D'où : &lt;math&gt;\forall P\in \langle S\rangle, P(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Cela montre l'inclusion réciproque. Par double-inclusion : &lt;math&gt;\mathcal{V}(S)=\mathcal{V}(\langle S\rangle)&lt;/math&gt;.
* Soit &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Alors il existe &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt; tel que &lt;math&gt;V=\mathcal{V}(S)&lt;/math&gt;. D'après la propriété précédente, &lt;math&gt;V=\mathcal{V}(\langle S\rangle)&lt;/math&gt;. Mais, par noethérianité de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r\in k[X_1,\dots,X_n]&lt;/math&gt; tels que : &lt;math&gt;\langle S\rangle=\langle f_1,\dots,f_r\rangle&lt;/math&gt;. Ainsi, toujours en utilisant la propriété ci-dessus, on obtient &lt;math&gt;V=\mathcal{V}(f_1,\dots,f_r)=\{x\in k^n\mid \forall i\in \{1,\dots,r\}, f_i(x)=0\}=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r).&lt;/math&gt; Ainsi, on peut toujours écrire les éléments de &lt;math&gt;\mathrm{Im}(\mathcal{V})&lt;/math&gt; comme intersection finie de la forme &lt;math&gt;\mathcal{V}(f)&lt;/math&gt;.
* Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. On a alors : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{(x_1,\dots,x_n)\in k^n\mid \forall i\in \{1,\dots,n\}, x_i-a_i=0\}&lt;/math&gt;. On a bien : &lt;math&gt;\mathcal{V}(X_1-a_1,\dots,X_n-a_n)=\{a\}&lt;/math&gt;. Les singletons sont donc toujours image de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;.}}
== Topologie de Zariski ==
Comme dit dans la première section sur l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, on n'étudiera que les parties de &lt;math&gt;k^n&lt;/math&gt; qui sont polynomiales. Cela revient donc à ne s'intéresser qu'aux parties de &lt;math&gt;k^n&lt;/math&gt; s'écrivant &lt;math&gt;\mathcal{V}(S)&lt;/math&gt; pour un certain &lt;math&gt;S\subset k[X_1,\dots,X_n]&lt;/math&gt;.{{Définition|titre=Ensemble algébrique affine|contenu=Un &lt;b&gt;ensemble algébrique affine&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;V\subset k^n&lt;/math&gt; telle que &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;.}}On a alors la propriété remarquable suivante.
{{Proposition|contenu=Les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; sont exactement les fermés d'une topologie sur &lt;math&gt;k^n&lt;/math&gt;. Autrement dit : &lt;math&gt;\tau=\{k^n\setminus V\mid V\in \mathrm{Im}(\mathcal{V})\}&lt;/math&gt; est une topologie sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Topologie de Zariski}}{{Démonstration déroulante|contenu=* &lt;math&gt;\varnothing=\mathcal{V}(1_{k[X_1,\dots,X_n]})&lt;/math&gt; et &lt;math&gt;k^n=\mathcal{V}(0_{k[X_1,\dots,X_n]})&lt;/math&gt;.
* Considérons &lt;math&gt;(S_j)_{j\in J}&lt;/math&gt; une famille de parties de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;. On a, pour tout &lt;math&gt;x\in k^n&lt;/math&gt; :
&lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall j\in J, x\in \mathcal{V}(S_j)\iff \forall j\in J, \forall f\in S_j, f(x)=0&lt;/math&gt;. Donc : &lt;math&gt;x\in \bigcap_{j\in J}\mathcal{V}(S_j)\iff \forall f\in \bigcup_{j\in J}S_j, f(x)=0\iff x\in \mathcal{V}\left(\bigcup_{j\in J}S_j\right).&lt;/math&gt;
Ainsi, une intersection quelconque d'ensembles algébriques affines est un ensemble algébrique affine.
* Pour démontrer qu'une réunion finie d'ensembles algébriques affines, il suffit de le démontrer pour deux ensembles algébriques affines. Considérons &lt;math&gt;S&lt;/math&gt; et &lt;math&gt;S'\subset k[X_1,\dots,X_n]&lt;/math&gt;. Nous allons démontrer que &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. D'une part, &lt;math&gt;\langle S\rangle\langle S'\rangle\subset S, S'&lt;/math&gt;. Donc &lt;math&gt;\mathcal{V}(S),\mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. D'où : &lt;math&gt;\mathcal{V}(S)\cup \mathcal{V}(S')\subset \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;. Réciproquement, Soit &lt;math&gt;x\in \mathcal{V}(\langle S\rangle\langle S'\rangle)&lt;/math&gt;. Supposons alors &lt;math&gt;x\notin \mathcal{V}(\langle S\rangle)&lt;/math&gt;. Alors il existe &lt;math&gt;f\in S&lt;/math&gt; tel que &lt;math&gt;f(x)\neq 0&lt;/math&gt;. Mais, puisque &lt;math&gt;x\in \mathcal{V}(\langle S\rangle \langle S'\rangle)&lt;/math&gt;, pour tout &lt;math&gt;g\in S'&lt;/math&gt;, &lt;math&gt;f(x)g(x)=0\implies g(x)=0&lt;/math&gt;. Ainsi, &lt;math&gt;x\in \mathcal{V}(S')&lt;/math&gt;. Au final, &lt;math&gt;\mathcal{V}(\langle S\rangle\langle S'\rangle)\setminus \mathcal{V}(S)\subset \mathcal{V}(S')\implies \mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup \mathcal{V}(S')&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\langle S\rangle \langle S'\rangle)\subset \mathcal{V}(S)\cup\mathcal{V}(S')&lt;/math&gt;. Par double-inclusion, on a bien : &lt;math&gt;\mathcal{V}(S)\cup\mathcal{V}(S')=\mathcal{V}(\langle S\rangle \langle S'\rangle).&lt;/math&gt;}}{{Définition|titre=Topologie de Zariski|contenu=La topologie sur &lt;math&gt;k^n&lt;/math&gt; dont les fermés sont exactement les ensembles algébriques affines de &lt;math&gt;k^n&lt;/math&gt; est appelée &lt;b&gt;topologie de Zariski&lt;/b&gt; sur &lt;math&gt;k^n&lt;/math&gt;.}}
La topologie de Zariski est très différente des topologies métriques usuelles sur &lt;math&gt;\mathbb{R}^n&lt;/math&gt; ou &lt;math&gt;\mathbb{C}^n&lt;/math&gt;. Les ouverts y sont beaucoup plus grands et les fermés très petits. La topologie de Zariski est moins fine que la topologie métrique pour &lt;math&gt;k=\mathbb{R}&lt;/math&gt; ou &lt;math&gt;k=\mathbb{C}&lt;/math&gt;. En particulier, on a la proposition suivante.
{{Proposition|contenu=On se place dans le cas où &lt;math&gt;k\in \{\mathbb{Q},\mathbb{R},\mathbb{C}\}&lt;/math&gt;. Alors tout fermé (resp. ouvert) de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt; est un fermé (resp. ouvert) de la topologie métrique sur &lt;math&gt;k^n&lt;/math&gt;.|titre=Zariski contre métrique}}{{Démonstration déroulante|contenu=* Tout d'abord, considérons &lt;math&gt;V=\mathcal{V}(f)&lt;/math&gt; pour un certain &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt;. Alors &lt;math&gt;V=\{x\in k^n\mid f(x)=0\}&lt;/math&gt;. Ainsi, on peut considérer la fonction polynômiale associée à &lt;math&gt;f&lt;/math&gt;, que l'on notera &lt;math&gt;\hat{f}\colon k^n\to k&lt;/math&gt;. On sait que les fonctions polynomiales sont continues pour les topologies usuelles. &lt;math&gt;\hat{f}&lt;/math&gt; est donc continue. Or, &lt;math&gt;V=\hat{f}^{-1}(0)&lt;/math&gt;. Donc &lt;math&gt;V&lt;/math&gt; est l'image réciproque d'un fermé par une fonction continue : c'est donc un fermé au sens métrique.
* Si l'on considère &lt;math&gt;V&lt;/math&gt; un fermé de Zariski quelconque, &lt;math&gt;V=\mathcal{V}(f_1)\cap\dots\cap \mathcal{V}(f_r)&lt;/math&gt;. Mais chaque &lt;math&gt;\mathcal{V}(f_i)&lt;/math&gt; est un fermé métrique. Donc &lt;math&gt;V&lt;/math&gt; est un fermé métrique.
* Si &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski, &lt;math&gt;k^n\setminus D\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;. Donc &lt;math&gt;k^n\setminus D&lt;/math&gt; est un fermé métrique. D'où &lt;math&gt;D&lt;/math&gt; est un ouvert métrique.}}Ainsi, la topologie de Zariski est une topologie qu'il faut appréhender avec beaucoup de méfiance : elle est très éloignée de ce que l'on côtoie habituellement. En particulier, elle admet une base naturelle qui permet d'écrire tout ouvert de cette topologie comme réunion '''finie''' d'ouverts de cette base.
{{Définition|titre=Ouvert standard|contenu=Un &lt;b&gt;ouvert standard&lt;/b&gt; de &lt;math&gt;k^n&lt;/math&gt; est une partie &lt;math&gt;D\subset k^n&lt;/math&gt; telle qu'il existe un polynôme &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; vérifiant : &lt;math&gt;D=k^n\setminus \mathcal{V}(f)&lt;/math&gt;. Dans ce cas, il est clair que &lt;math&gt;D&lt;/math&gt; est un ouvert de Zariski.}}{{Proposition|contenu=Les ouverts standards de &lt;math&gt;k^n&lt;/math&gt; forment une base de la topologie de Zariski sur &lt;math&gt;k^n&lt;/math&gt;. Mieux que cela : tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.|titre=Base de Zariski}}{{Démonstration déroulante|contenu=Soit &lt;math&gt;U&lt;/math&gt; un ouvert de Zariski. Alors &lt;math&gt;k^n\setminus U&lt;/math&gt; est un ensemble algébrique affine. Donc il existe un nombre fini de polynômes &lt;math&gt;f_1,\dots,f_r&lt;/math&gt; tels que : &lt;math&gt;k^n\setminus U=\mathcal{V}(f_1)\cap\dots\cap\mathcal{V}(f_r)&lt;/math&gt;. En passant au complémentaire et avec les lois de De Morgan : &lt;math&gt;U=(k^n\setminus \mathcal{V}(f_1))\cup\dots\cup(k^n\setminus \mathcal{V}(f_r))&lt;/math&gt;. Ainsi, tout ouvert de Zariski s'écrit comme réunion finie d'ouverts standards.}}

= Idéaux associés =
Maintenant que l'on a parlé de l'application &lt;math&gt;\mathcal{V}&lt;/math&gt;, nous allons considérer son application &quot;duale : &lt;math&gt;\mathcal{I}\colon \wp(k^n)\to \wp(k[X_1,\dots,X_n])&lt;/math&gt; définie par : &lt;math&gt;\forall A\subset k^n,\; \mathcal{I}(A)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in A, f(x)=0\}&lt;/math&gt;. Ainsi, à une partie de l'espace, on associe l'ensemble de tous les polynômes s'annulant sur toute cette partie. Il s'agit bien du procédé inverse de celui que l'on avait utilisé pour la définition de &lt;math&gt;\mathcal{V}&lt;/math&gt;. On notera également &lt;math&gt;\Gamma(A)=\{\varphi\colon V\to k\mid \exists f\in k[X_1,\dots,X_n], \forall x\in A, \varphi(x)=f(x)\}&lt;/math&gt; qui est l'ensemble des fonctions régulières de &lt;math&gt;A&lt;/math&gt;. On a alors la proposition suivante.
{{Proposition|contenu=Soit &lt;math&gt;A\subset k^n&lt;/math&gt;. Alors :
* &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;.
* &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.|titre=Nature de &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt;.}}{{Démonstration déroulante|contenu=Considérons &lt;math&gt;\Phi \colon k[X_1,\dots,X_n]\to k^V&lt;/math&gt; définie pour tout &lt;math&gt;f\in k[X_1,\dots,X_n]&lt;/math&gt; par : &lt;math&gt;\Phi(f)=\hat{f}\mid_V&lt;/math&gt; où &lt;math&gt;\hat{f}&lt;/math&gt; réprésente la fonction polynomiale associée à &lt;math&gt;f&lt;/math&gt;. Il s'agit clairement d'un morphisme d'anneaux. En outre, &lt;math&gt;\ker(\Phi)=\mathcal{I}(A)&lt;/math&gt; et &lt;math&gt;\mathrm{Im}(\Phi)=\Gamma(A)&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{I}(A)&lt;/math&gt; est un idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt; et &lt;math&gt;\Gamma(A)&lt;/math&gt; est un sous-anneau de &lt;math&gt;k^V&lt;/math&gt;.}}Voyons à présent quelques propriétés remarquables de &lt;math&gt;\mathcal{I}&lt;/math&gt;.
{{Proposition|contenu=* &lt;math&gt;\mathcal{I}&lt;/math&gt; est décroissante pour l'inclusion.
* Pour tout &lt;math&gt;A\subset k^n&lt;/math&gt;, &lt;math&gt;\mathcal{V}(\mathcal{I}(A))=\overline{A}&lt;/math&gt; où &lt;math&gt;\overline{A}&lt;/math&gt; désigne l'adhérence de &lt;math&gt;A&lt;/math&gt; pour la topologie de Zariski. En particulier, pour &lt;math&gt;V\in \mathrm{Im}(\mathcal{V})&lt;/math&gt;, on a bien &lt;math&gt;\mathcal{V}(\mathcal{I}(V))=V&lt;/math&gt;.
* Si &lt;math&gt;V&lt;/math&gt; et &lt;math&gt;W&lt;/math&gt; sont deux ensembles algébriques affines, on a : &lt;math&gt;\mathcal{I}(V)=\mathcal{I}(W)\implies V=W&lt;/math&gt;.
* Pour tout &lt;math&gt;I&lt;/math&gt; idéal de &lt;math&gt;k[X_1,\dots,X_n]&lt;/math&gt;, &lt;math&gt; I \subset \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. L'inclusion réciproque est fausse en général.|titre=Propriétés de &lt;math&gt;\mathcal{I}&lt;/math&gt;}}{{Démonstration déroulante|contenu=* Soient &lt;math&gt;A&lt;/math&gt; et &lt;math&gt;B\subset k^n&lt;/math&gt;. Supposons que &lt;math&gt;A\subset B&lt;/math&gt;. Alors pour tout &lt;math&gt;f\in \mathcal{I}(B)&lt;/math&gt;, on a donc : &lt;math&gt;\forall x\in B, f(x)=0&lt;/math&gt;. Mais &lt;math&gt;A\subset B&lt;/math&gt;. D'où : &lt;math&gt;\forall x\in A, f(x)=0&lt;/math&gt;. Finalement : &lt;math&gt;x\in \mathcal{I}(A)&lt;/math&gt;, ce qui prouve bien que &lt;math&gt;A\subset B\implies \mathcal{I}(B)\subset \mathcal{I}(A)&lt;/math&gt;. Donc &lt;math&gt;\mathcal{I}&lt;/math&gt; est décroissante.
* Soit &lt;math&gt;x\in A&lt;/math&gt;. Alors si je considère &lt;math&gt;f\in \mathcal{I}(A)&lt;/math&gt;, on a nécessairement &lt;math&gt;f(x)=0&lt;/math&gt; car &lt;math&gt;f&lt;/math&gt; s'annule sur &lt;math&gt;A&lt;/math&gt;. Donc &lt;math&gt;x\in \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. On a donc l'inclusion &lt;math&gt;A\subset\mathcal{V}(\mathcal{I}(A))\implies \overline{A}\subset \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Pour la réciproque, supposons qu'il existe un fermé de Zariski &lt;math&gt;W&lt;/math&gt; tel que &lt;math&gt;A\subset W\subset \mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Dans ce cas, on peut écrire &lt;math&gt;W=\mathcal{V}(I)&lt;/math&gt; pour un certain idéal &lt;math&gt;I&lt;/math&gt; de l'anneau de polynômes. Mais comme &lt;math&gt;A\subset W&lt;/math&gt;, tous les polynômes de &lt;math&gt;I&lt;/math&gt; s'annule sur A i.e. &lt;math&gt;I\subset \mathcal{I}(A)&lt;/math&gt;. Par décroissance de &lt;math&gt;\mathcal{V}&lt;/math&gt; : &lt;math&gt;\mathcal{V}(\mathcal{I}(A))\subset\mathcal{V}(I)=W&lt;/math&gt;. Donc &lt;math&gt;W=\mathcal{V}(\mathcal{I}(A))&lt;/math&gt;. Ainsi, &lt;math&gt;\mathcal{V}(\mathcal{I}(A))&lt;/math&gt; est le plus petit fermé de Zariski contenant &lt;math&gt;A&lt;/math&gt;. On obtient bien : &lt;math&gt;\mathcal{V}(\mathcal{I}(A))=\overline{A}&lt;/math&gt;.
* On sait que &lt;math&gt;\mathcal{V}\circ\mathcal{I}\mid_{\mathrm{Im}(\mathcal{V})}=\mathrm{id}_{\mathrm{Im}(\mathcal{V})}&lt;/math&gt; est bijective, d'après la propriété ci-dessus. Donc &lt;math&gt;\mathcal{I}\mid_{\mathrm{Im}(\mathcal{V})}&lt;/math&gt; est injective. Autrement dit, si &lt;math&gt;V&lt;/math&gt; et &lt;math&gt;W&lt;/math&gt; sont deux ensembles algébriques affines : &lt;math&gt; \mathcal{I}(V)=\mathcal{I}(W)\implies V=W&lt;/math&gt;.
* Soit &lt;math&gt;f\in I&lt;/math&gt;. Puisque &lt;math&gt;\mathcal{V}(I)&lt;/math&gt; est exactement le lieu d'annulation commun à tous les polynômes de &lt;math&gt;I&lt;/math&gt;, il est clair que &lt;math&gt;f\in \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. D'où &lt;math&gt;I\subset \mathcal{I}(\mathcal{V}(I))&lt;/math&gt;. On peut vérifier que l'inclusion réciproque est en général fausse. En effet, si l'on se place dans le cas où &lt;math&gt;n=1&lt;/math&gt;, &lt;math&gt;\mathcal{I}(\mathcal{V}(\langle X^2\rangle))=\langle X\rangle&lt;/math&gt;.}}Voyons des calculs plus pratiques. D'une part, &lt;math&gt;\mathcal{I}(\varnothing)=\{f\in k[X_1,\dots,X_n]\mid \forall x\in \varnothing, f(x)=0\}=k[X_1,\dots,X_n]&lt;/math&gt;. Mais qu'en est-il de &lt;math&gt;\mathcal{I}(k^n)&lt;/math&gt; ? On a la proposition suivante.
{{Proposition|contenu=Si &lt;math&gt;k&lt;/math&gt; est infini, alors &lt;math&gt;\mathcal{I}(k^n)=\{0_{k[X_1,\dots,X_n]}\}&lt;/math&gt;.|titre=&lt;math&gt;\mathcal{I}(k^n)&lt;/math&gt;}}{{Démonstration déroulante|contenu=On raisonne par récurrence sur &lt;math&gt;n&lt;/math&gt;.
* &lt;u&gt;Initialisation :&lt;/u&gt; (&lt;math&gt;n=1&lt;/math&gt;). Soit &lt;math&gt;f\in k[X]&lt;/math&gt;. Si &lt;math&gt;f&lt;/math&gt; s'annule sur &lt;math&gt;k&lt;/math&gt;, puisque &lt;math&gt;k&lt;/math&gt; est infini, &lt;math&gt;f&lt;/math&gt; admet une infinité de racines. Puisque l'autre inclusion est triviale, on a : &lt;math&gt;\mathcal{I}(k^n)=\{0_{k[X]}\}&lt;/math&gt;.
* &lt;u&gt;Hérédité :&lt;/u&gt; Supposons la proposition vraie pour un certain &lt;math&gt;n\in \mathbb{N}^*&lt;/math&gt;. On considère alors &lt;math&gt;f\in k[X_1,\dots,X_{n+1}]&lt;/math&gt; non-nul. En permutant les indéterminées s'il le faut, on peut l'écrire sous la forme : &lt;math&gt;f=a_r(X_1,\dots,X_n)X_{n+1}^r+\dots&lt;/math&gt; avec &lt;math&gt;r\geq 1&lt;/math&gt; la plus grande puissance de &lt;math&gt;X_n&lt;/math&gt; avec un coefficient non-nul et &lt;math&gt;a_r\neq 0_{k[X_1,\dots,X_n]}&lt;/math&gt;. Par hypothèse de récurrence, il existe un &lt;math&gt;n&lt;/math&gt;-uplet &lt;math&gt;(x_1,\dots,x_n)\in k^n&lt;/math&gt; tel que &lt;math&gt;a_r(x_1,\dots,x_n)\neq 0&lt;/math&gt;. Ainsi, &lt;math&gt;f(x_1,\dots,x_n,X_{n+1})&lt;/math&gt; est un polynôme à une indéterminée de degré &lt;math&gt;r&lt;/math&gt;. Il admet donc au plus &lt;math&gt;r&lt;/math&gt; racines. Il n'en possède donc pas une infinité : il ne peut pas s'annuler sur tout &lt;math&gt;k^n&lt;/math&gt; qui est infini. Ainsi, on a bien démontré que &lt;math&gt;\mathcal{I}(k^{n+1})=\{0_{k[X_1,\dots,X_{n+1}]}\}&lt;/math&gt;.
* &lt;u&gt;Conclusion :&lt;/u&gt; Si &lt;math&gt;k&lt;/math&gt; est infini, &lt;math&gt;\mathcal{I}(k^n)=0_{k[X_1,\dots,X_n]}&lt;/math&gt;.}}
Un autre calcul de &lt;math&gt;\mathcal{I}&lt;/math&gt; faisable est l'idéal associé à un singleton.
{{Proposition|contenu=Soit &lt;math&gt;a=(a_1,\dots,a_n)\in k^n&lt;/math&gt;. Alors : &lt;math&gt;\mathcal{I}(\{a\})=\langle X_1-a_1,\dots,X_n-a_n\rangle&lt;/math&gt;.|titre=Idéal d'un singleton}}{{Démonstration déroulante|contenu=Si &lt;math&gt;f\in \langle X_1-a_1,\dots,X_n-a_n\rangle&lt;/math&gt;, il est clair que &lt;math&gt;f\in \mathcal{I}(a)&lt;/math&gt;. Réciproquement, considérons &lt;math&gt;f\in \mathcal{I}(a)&lt;/math&gt;. On peut alors effectuer la division euclidienne successive de &lt;math&gt;f&lt;/math&gt; par les &lt;math&gt;X_i-a_i&lt;/math&gt; :
&lt;math&gt;f=(X_1-a_1)Q_1+\dots+(X_n-a_n)Q_n+c&lt;/math&gt;. Or &lt;math&gt;f(a)=0\implies c=0&lt;/math&gt;. Donc : &lt;math&gt;f\in \langle X_1-a_1,\dots X_n-a_n\rangle&lt;/math&gt;. Conclusion : &lt;math&gt;\mathcal{I}(\{a\})=\langle X_1-a_1,\dots,X_n-a_n\rangle&lt;/math&gt;.}}{{Bas de page
  | idfaculté = mathématiques
  | suivant   = [[??]]
}}
&lt;!-- NE RIEN ÉCRIRE SOUS CETTE LIGNE --&gt;</text>
      <sha1>guil8t74yinzs8pnbnboxi4q65cttts</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Portfolio linguistique</title>
    <ns>14</ns>
    <id>87174</id>
    <revision>
      <id>983787</id>
      <timestamp>2026-06-24T14:57:11Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983787</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Représentations des enseignants et plurilinguisme</title>
    <ns>14</ns>
    <id>87175</id>
    <revision>
      <id>983788</id>
      <timestamp>2026-06-24T14:57:22Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983788</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Terminologie et éducation plurilingue</title>
    <ns>14</ns>
    <id>87176</id>
    <revision>
      <id>983789</id>
      <timestamp>2026-06-24T14:57:43Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983789</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Tournant plurilingue</title>
    <ns>14</ns>
    <id>87177</id>
    <revision>
      <id>983790</id>
      <timestamp>2026-06-24T14:57:58Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983790</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Éducation plurilingue non formelle et informelle</title>
    <ns>14</ns>
    <id>87178</id>
    <revision>
      <id>983791</id>
      <timestamp>2026-06-24T14:58:10Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983791</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Évaluation de la compétence plurilingue</title>
    <ns>14</ns>
    <id>87179</id>
    <revision>
      <id>983792</id>
      <timestamp>2026-06-24T14:58:19Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983792</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Catégorie:Approches plurielles</title>
    <ns>14</ns>
    <id>87180</id>
    <revision>
      <id>983793</id>
      <timestamp>2026-06-24T14:58:32Z</timestamp>
      <contributor>
        <username>Crochet.david</username>
        <id>317</id>
      </contributor>
      <comment>Page créée avec « [[Catégorie:Didactique des langues]] »</comment>
      <origin>983793</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="37" sha1="to8xhbf3k05pxsf0mlhak9k9tqgbpnz" xml:space="preserve">[[Catégorie:Didactique des langues]]</text>
      <sha1>to8xhbf3k05pxsf0mlhak9k9tqgbpnz</sha1>
    </revision>
  </page>
  <page>
    <title>Discussion utilisateur:Raznow</title>
    <ns>3</ns>
    <id>87181</id>
    <revision>
      <id>983794</id>
      <timestamp>2026-06-24T15:01:18Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <comment>Page créée avec « {{Bienvenue|Fourmidable|sign=--~~~~}} »</comment>
      <origin>983794</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="150" sha1="bzqlbp2l9dgg4tybrxbb9m6lb6rxix6" xml:space="preserve">{{Bienvenue|Fourmidable|sign=--[[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 24 juin 2026 à 15:01 (UTC)}}</text>
      <sha1>bzqlbp2l9dgg4tybrxbb9m6lb6rxix6</sha1>
    </revision>
  </page>
  <page>
    <title>Discussion utilisateur:~2026-36575-67</title>
    <ns>3</ns>
    <id>87182</id>
    <revision>
      <id>983795</id>
      <timestamp>2026-06-24T15:01:51Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <comment>Page créée avec « {{Bienvenue|Fourmidable|sign=--[[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 24 juin 2026 à 15:01 (UTC)}} »</comment>
      <origin>983795</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="150" sha1="bzqlbp2l9dgg4tybrxbb9m6lb6rxix6" xml:space="preserve">{{Bienvenue|Fourmidable|sign=--[[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 24 juin 2026 à 15:01 (UTC)}}</text>
      <sha1>bzqlbp2l9dgg4tybrxbb9m6lb6rxix6</sha1>
    </revision>
    <revision>
      <id>983797</id>
      <parentid>983795</parentid>
      <timestamp>2026-06-24T15:02:05Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <origin>983797</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="164" sha1="tus6gx8itgq6kx0v25a6snpjponsgkp" xml:space="preserve">{{Bienvenue IP méritante|Fourmidable|sign=--[[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 24 juin 2026 à 15:01 (UTC)}}</text>
      <sha1>tus6gx8itgq6kx0v25a6snpjponsgkp</sha1>
    </revision>
  </page>
  <page>
    <title>Discussion utilisateur:D3nsji</title>
    <ns>3</ns>
    <id>87183</id>
    <revision>
      <id>983796</id>
      <timestamp>2026-06-24T15:01:53Z</timestamp>
      <contributor>
        <username>Fourmidable</username>
        <id>50100</id>
      </contributor>
      <comment>Page créée avec « {{Bienvenue|Fourmidable|sign=--[[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 24 juin 2026 à 15:01 (UTC)}} »</comment>
      <origin>983796</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="150" sha1="bzqlbp2l9dgg4tybrxbb9m6lb6rxix6" xml:space="preserve">{{Bienvenue|Fourmidable|sign=--[[Utilisateur:Fourmidable|Fourmidable]] ([[Discussion utilisateur:Fourmidable|discuter]]) 24 juin 2026 à 15:01 (UTC)}}</text>
      <sha1>bzqlbp2l9dgg4tybrxbb9m6lb6rxix6</sha1>
    </revision>
  </page>
  <page>
    <title>Cortext/Tutoriels/L'analyse quantitative de la production scientifique sur l'adaptation au changement climatique entre 2001 et 2024 avec Cortext Manager</title>
    <ns>0</ns>
    <id>87184</id>
    <revision>
      <id>983810</id>
      <timestamp>2026-06-25T09:02:38Z</timestamp>
      <contributor>
        <username>Genderli25</username>
        <id>80561</id>
      </contributor>
      <comment>Page créée avec « == Objectif == Ce tutoriel a pour vocation à guider l’utilisateur à l’utilisation de certains scripts de Cortext manager. Ces scripts permettent de découvrir l’évolution, l’organisation et les thématiques abordées dans la littérature scientifique sur l’adaptation au changement climatique entre 2001 et 2024, à partir d’un jeu de données constitué dans le Web of Science. Il décrit les étapes et les paramètres utilisés pour aboutir aux visu... »</comment>
      <origin>983810</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="11621" sha1="jzxertw29jv78rz3rlw3kpy6dw0qicj" xml:space="preserve">== Objectif ==
Ce tutoriel a pour vocation à guider l’utilisateur à l’utilisation de certains scripts de Cortext manager. Ces scripts permettent de découvrir l’évolution, l’organisation et les thématiques abordées dans la littérature scientifique sur l’adaptation au changement climatique entre 2001 et 2024, à partir d’un jeu de données constitué dans le Web of Science. Il décrit les étapes et les paramètres utilisés pour aboutir aux visualisations présentées dans cette page.

== Présentation du sujet ==
Les répercussions du changement climatique sur nos modes de vie et nos modes d'organisation constituent un défi majeur du XXIe siècle. Les mesures d'atténuation/mitigation et d'adaptation sont deux axes clés de la recherche et de la réflexion dans l'élaboration des politiques publiques. Les aspects « atténuation » ont été très étudiés (ils regroupent toutes les actions visant à atténuer l'ampleur du réchauffement mondial d'origine humaine par la réduction des émissions de gaz à effet de serre ou la capture et séquestration du dioxyde de carbone de l'atmosphère). Les aspects « adaptation » (qui consistent à limiter les répercussions attendues du changement climatique sur les activités socio-économiques, les espèces, les milieux naturels et les écosystèmes) ont été moins explorés.

== 0. Collecte du jeu de données dans le Web of Science ==

==== 0.1. Requête de recherche ====
La littérature scientifique a été collectée sur le Web of Science avec la requête suivante. Utiliser le module « advanced search » du WOS pour lancer la requête :

TS=(&quot;adapt* to climat* chang*&quot; OR &quot;adapt* climat* chang*&quot; OR &quot;adapt* for climat* chang*&quot; OR &quot;climat* chang* adapt*&quot; OR &quot;adapt* to climat*&quot; OR &quot;adapt* climat*&quot; OR &quot;adapt* for climat*&quot; OR &quot;climat* adapt*&quot;) AND PY =(2001-2024) NOT PY=2025

Un filtre supplémentaire a été appliqué pour ne retenir que les documents de type : Article, Proceeding paper, Book chapter et Data paper.

==== 0.2. Téléchargement des données ====
L’ensemble des données est à télécharger au format « Plain text » avec l’option « Full Record and Cited References ». Zipper l’ensemble des fichiers .txt téléchargés pour pouvoir les charger dans un projet Cortext manager.

Cliquez ici pour accéder au jeu de données de la formation

==== 0.3. Téléchargement du jeu de données et transformation en base de données Cortext manager ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; wos-cca-2001-2024.zip

* &lt;u&gt;Data parsing&lt;/u&gt; &gt; ''Type of data'' = dataset ; ''Corpus format'' = ISI

== 1. Exploration du corpus ==
Objectifs : Observer l'évolution du corpus dans le temps selon différentes variables.

==== 1.1. Evolution du nombre de documents entre 2001 et 2024 par pays d'affiliation des auteurs ====


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Demography&lt;/u&gt; &gt; ''Which variable'' = Countries ; ''Is the variable categorical or numerical?'' = categorial ; ''Number of top entities to consider'' = 30; ''Include the cumulated count of all the remaining less frequent entities'' = yes

==== 1.2. Evolution du top 20 des institutions (affiliations des auteurs) sur 3 périodes de temps ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epich Epoch&lt;/u&gt; &gt; ''Field'' = Author_Affiliations_Enhanced_WOS ; ''Size of hierarchy'' = 20 ; ''Normalization of frequency count'' = yes ; ''Dynamics'' &gt; ''Number of slice'' = 3  ; ''Time slide distribution'' = regular

== 2. Analyses sémantiques ==
Objectifs : Identifier les thématiques de recherche sous-jacentes dans le corpus.

==== 2.1. Extraire les groupes nominaux formés au plus de 3 mots les plus pertinents des titres et des résumés ====

* &lt;u&gt;Term Extraction&lt;/u&gt; &gt; ''Textual Fields'' = Abstract - Title ; ''List length'' = 500 ; ''Lexical extraction advanced settings'' = Yes ; ''Sampling'' = no ; ''Dynamics'' &gt; ; ''Number of time slice'' = 3 ; ''Time slice distribution'' = regular

L’extraction lexicale est effectuée en scindant le corpus en 3 périodes homogènes en termes de nombre de documents, c’est-à-dire que l’extraction de termes a été effectuée sur les 3 périodes en les isolant l’une de l’autre. Ce choix a été effectué dans l’objectif de pouvoir mieux capter d’éventuelles évolutions du vocabulaire. 

==== 2.2. Télécharger et affiner la liste des groupes nominaux extraits ====
Il s’agit de travailler la liste de groupes nominaux extraits pour améliorer la précision des analyses. Les termes trop génériques ou correspondant à la requête (ex : « research design» ; « climate change ») et ceux correspondant à des traitements de données (ex : « focus groupe ») et des lieux géographiques ont été exclus pour pouvoir se focaliser sur les sujets du corpus. Les groupes nominaux ayant un sens proche ont été regroupés (ex : « sea-level rise » et « sea level rise »). 

* Télécharger la liste .tsv présente dans l'entrée du script Term Extraction, l'ouvrir avec Google Sheet ou Libre Office ou Calc Liber Office pour la retravaillée

Cliquez ici pour accéder à la ressource de la formation

==== 2.3. Ré-indexer le corpus avec la liste des groupes nominaux retravaillés ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; 02-list-terms-cleaned.tsv

* &lt;u&gt;Term Indexer&lt;/u&gt; &gt; ''Textual fields'' = Abstract - Keywords -Title ; ''Terms List'' = 02-list-terms-cleaned.tsv ; ''Optionnaly you can name the new indexation that will be generated'' = 500termsclean3period

==== 2.4. Evolution du top 10 des groupes nominaux extraits par 6 périodes de temps ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epic Epoch&lt;/u&gt; &gt; ''Field'' = ISIterms500termsclean3period , ''Size of the Hierarchy'' = 10 ; ''Normalization of frequency count'' = yes ; ''Dynamics'' &gt; ; ''Number of time slice'' = 6 ; ''time slices distribution'' = regular

==== 2.5. Réseau de co-occurrence des principaux groupes nominaux extraits ====
Le réseau de co-occurrence des groupes nominaux est réalisé avec la mesure Distributional. Cette mesure est très performante pour extraire les structures sous-jacentes du corpus en mettant en évidence les mots qui jouent des fonctions similaires dans les textes. Le calcul de la similarité entre les nœuds repose sur la comparaison de l'ensemble de leur profil de cooccurrence avec les autres termes identifiés. Le réseau permet ainsi d’observer ceux qui ont des environnements similaires pour en dégager les principaux espaces sémantiques.
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Network mapping&lt;/u&gt; &gt; ''First Field'' = 500termsclean3period ; ''Second field'' = 500termsclean3period ; ''Number of nodes'' = 250 ; ''Nodes advanced settings'' = yes ; ''Node weight'' = frequency ; ''Edges'' &gt; ''Edges filtering advances setting'' = yes ; ''Number of top neighbours to consider'' = 8 ; ''Network analysis and layout'' &gt; ''Community detection algorithm'' = Louvain resolution ; ''Modify the name of the projected cluster'' = 500termsclean3period

==== 2.6. Evolution de l'importance des thématiques de recherche entre 2001 et 2024 ====
Observer l’évolution du nombre de documents projetés dans les clusters sémantiques au cours du temps.
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epic Epoc&lt;/u&gt; &gt; ''Field'' = projection_cluster_500termsclean3period ; ''Size of the hierarchy'' = 9 ; ''Normalization of frequency count'' = no ; ''Dynamics'' &gt; ''Number of time slice'' = 24 ; ''time slices distribution'' = regular

== 3. Analyses hétérogènes ==
Objectifs : Observer les spécialisations thématiques des continents (affiliations des auteurs).

==== 3.1. Indexer les pays (affiliations) pour y associer dans la base de données Cortext leur continent. ====
La liste de correspondance « pays – continent » a été créé en utilisant des ressources open data externes. Cliquez ici pour télécharger la ressource.

Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; 03-list-affiliation-continent.tsv

* &lt;u&gt;List Builder&lt;/u&gt; &gt; ''Field'' = Countries ; ''Define a custom list of entities'' = yes ; ''List of entities to consider'' = 03-list-affiliation-continent.tsv ; ''Add a dictionary of equivalent strings'' = yes ; ''Enter a filename with dictionaries of equivalent forms'' = yes ; ''List indexation advanced settings'' = yes; ''New indexation name (optional)'' = affiliation_continent

==== 3.2. Heatmaps par continent ====
Les sous-corpus de documents qui contiennent au moins une affiliation d’un auteur provenant du continent ciblé sont projetés sur le réseau sémantique pour comparaison. Ces cartes permettent d’évaluer la localisation des documents présentant la variable d’intérêt au sein du réseau sémantique (dispersés ou concentrés) et mettent en évidence les groupes nominaux du réseau sur-représentés ou sous-représentés dans les documents des différents continents. 


Scripts et paramètres à utiliser dans Cortext manager :

* Reprendre l’entrée Network mapping du réseau sémantique (2.5) dans le dashboard du projet &gt; &lt;u&gt;Relaunch script&lt;/u&gt; &gt; ''Network analysis and layout'' &gt; ''Add information from a 3rd variable to tag clusters or produce a heatmap'' = yes ; ''Value of the field you wish to plot the heatmap of'' = #exhaustive ; ''Choose the new field that should be used'' = Countries_custum_affiliation_continent ; T''agging/heatmap Specificity Measure'' = chi2_dir ; V''alue of the field you wish to plot the heatmap of'' = #exhaustive ; ''Modify the name of the projected cluster'' = heatmaps

==== 3.3. Contingency matrix ====
Les tests de Chi2 et exacts de Fisher permettant de repérer les sur-sous-représentations des continents issus des affiliations au sein des 8 clusters sémantiques identifiés.


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Contingency matrix&lt;/u&gt; &gt; ''First field'' = Countries_custum_affiliation_continent ; ''Second field'' = projection_cluster_500termsclean3period ; ''Contingency matrix options'' &gt; ''Evaluate wether deviations are statistically significant'' = yes

== 4. Analyses géographiques ==
Pour un tutoriel pas à pas – se référer à la page 

Objectif : Observer où se déroulent les recherches sur l'adaptation au changement climatique.

==== 4.1. Geocoding des addresses des affiliations ====
Homogénéiser l’information géographique présente sous forme textuelle hétérogène (adresse, toponyme ou encore un code postal) pour la rendre traitable. Création des coordonnées géographiques (longitude ; latitude) et des informations (ville, région, pays) homogénéisées correspondantes.


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Geocoding&lt;/u&gt; &gt; ''Select the field which contains addresses'' = Address ; ''Top scale filter'' = County ; ''Geocoding methods'' = Filtering non-geographical information ; ''Advanced settings'' = yes ; ''Confidence threshold'' = 0.4 

==== 4.2. Intensité de recherche des zones rurales et urbaines ====
Projeter et agréger les coordonnées géocodées dans des fonds de carte contenant des zones délimitées (unités géographiques statistiques telles que des villes ; des régions/pays ou des aires rurale ou urbaines)


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Geospatial exploration&lt;/u&gt; &gt;''Assign unclassified points to the nearest area'' = 5 ;''Two-pass URA''  = yes ; ''Initial view map'' = Urban and rural areas</text>
      <sha1>jzxertw29jv78rz3rlw3kpy6dw0qicj</sha1>
    </revision>
    <revision>
      <id>983812</id>
      <parentid>983810</parentid>
      <timestamp>2026-06-25T09:39:51Z</timestamp>
      <contributor>
        <username>Genderli25</username>
        <id>80561</id>
      </contributor>
      <comment>/* 0.3. Téléchargement du jeu de données et transformation en base de données Cortext manager */ ajout image</comment>
      <origin>983812</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="11697" sha1="cnn28buruxyztx9wsrbg9ehtoi6kt6f" xml:space="preserve">== Objectif ==
Ce tutoriel a pour vocation à guider l’utilisateur à l’utilisation de certains scripts de Cortext manager. Ces scripts permettent de découvrir l’évolution, l’organisation et les thématiques abordées dans la littérature scientifique sur l’adaptation au changement climatique entre 2001 et 2024, à partir d’un jeu de données constitué dans le Web of Science. Il décrit les étapes et les paramètres utilisés pour aboutir aux visualisations présentées dans cette page.

== Présentation du sujet ==
Les répercussions du changement climatique sur nos modes de vie et nos modes d'organisation constituent un défi majeur du XXIe siècle. Les mesures d'atténuation/mitigation et d'adaptation sont deux axes clés de la recherche et de la réflexion dans l'élaboration des politiques publiques. Les aspects « atténuation » ont été très étudiés (ils regroupent toutes les actions visant à atténuer l'ampleur du réchauffement mondial d'origine humaine par la réduction des émissions de gaz à effet de serre ou la capture et séquestration du dioxyde de carbone de l'atmosphère). Les aspects « adaptation » (qui consistent à limiter les répercussions attendues du changement climatique sur les activités socio-économiques, les espèces, les milieux naturels et les écosystèmes) ont été moins explorés.

== 0. Collecte du jeu de données dans le Web of Science ==

==== 0.1. Requête de recherche ====
La littérature scientifique a été collectée sur le Web of Science avec la requête suivante. Utiliser le module « advanced search » du WOS pour lancer la requête :

TS=(&quot;adapt* to climat* chang*&quot; OR &quot;adapt* climat* chang*&quot; OR &quot;adapt* for climat* chang*&quot; OR &quot;climat* chang* adapt*&quot; OR &quot;adapt* to climat*&quot; OR &quot;adapt* climat*&quot; OR &quot;adapt* for climat*&quot; OR &quot;climat* adapt*&quot;) AND PY =(2001-2024) NOT PY=2025

Un filtre supplémentaire a été appliqué pour ne retenir que les documents de type : Article, Proceeding paper, Book chapter et Data paper.

==== 0.2. Téléchargement des données ====
L’ensemble des données est à télécharger au format « Plain text » avec l’option « Full Record and Cited References ». Zipper l’ensemble des fichiers .txt téléchargés pour pouvoir les charger dans un projet Cortext manager.

Cliquez ici pour accéder au jeu de données de la formation

==== 0.3. Téléchargement du jeu de données et transformation en base de données Cortext manager ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; wos-cca-2001-2024.zip

* &lt;u&gt;Data parsing&lt;/u&gt; &gt; ''Type of data'' = dataset ; ''Corpus format'' = ISI

== 1. Exploration du corpus ==
Objectifs : Observer l'évolution du corpus dans le temps selon différentes variables.

==== 1.1. Evolution du nombre de documents entre 2001 et 2024 par pays d'affiliation des auteurs ====
[[Fichier:01 01-evolution-pays Cortext tutorial ACC.jpg|centré|600x600px]]


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Demography&lt;/u&gt; &gt; ''Which variable'' = Countries ; ''Is the variable categorical or numerical?'' = categorial ; ''Number of top entities to consider'' = 30; ''Include the cumulated count of all the remaining less frequent entities'' = yes

==== 1.2. Evolution du top 20 des institutions (affiliations des auteurs) sur 3 périodes de temps ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epich Epoch&lt;/u&gt; &gt; ''Field'' = Author_Affiliations_Enhanced_WOS ; ''Size of hierarchy'' = 20 ; ''Normalization of frequency count'' = yes ; ''Dynamics'' &gt; ''Number of slice'' = 3  ; ''Time slide distribution'' = regular

== 2. Analyses sémantiques ==
Objectifs : Identifier les thématiques de recherche sous-jacentes dans le corpus.

==== 2.1. Extraire les groupes nominaux formés au plus de 3 mots les plus pertinents des titres et des résumés ====

* &lt;u&gt;Term Extraction&lt;/u&gt; &gt; ''Textual Fields'' = Abstract - Title ; ''List length'' = 500 ; ''Lexical extraction advanced settings'' = Yes ; ''Sampling'' = no ; ''Dynamics'' &gt; ; ''Number of time slice'' = 3 ; ''Time slice distribution'' = regular

L’extraction lexicale est effectuée en scindant le corpus en 3 périodes homogènes en termes de nombre de documents, c’est-à-dire que l’extraction de termes a été effectuée sur les 3 périodes en les isolant l’une de l’autre. Ce choix a été effectué dans l’objectif de pouvoir mieux capter d’éventuelles évolutions du vocabulaire. 

==== 2.2. Télécharger et affiner la liste des groupes nominaux extraits ====
Il s’agit de travailler la liste de groupes nominaux extraits pour améliorer la précision des analyses. Les termes trop génériques ou correspondant à la requête (ex : « research design» ; « climate change ») et ceux correspondant à des traitements de données (ex : « focus groupe ») et des lieux géographiques ont été exclus pour pouvoir se focaliser sur les sujets du corpus. Les groupes nominaux ayant un sens proche ont été regroupés (ex : « sea-level rise » et « sea level rise »). 

* Télécharger la liste .tsv présente dans l'entrée du script Term Extraction, l'ouvrir avec Google Sheet ou Libre Office ou Calc Liber Office pour la retravaillée

Cliquez ici pour accéder à la ressource de la formation

==== 2.3. Ré-indexer le corpus avec la liste des groupes nominaux retravaillés ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; 02-list-terms-cleaned.tsv

* &lt;u&gt;Term Indexer&lt;/u&gt; &gt; ''Textual fields'' = Abstract - Keywords -Title ; ''Terms List'' = 02-list-terms-cleaned.tsv ; ''Optionnaly you can name the new indexation that will be generated'' = 500termsclean3period

==== 2.4. Evolution du top 10 des groupes nominaux extraits par 6 périodes de temps ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epic Epoch&lt;/u&gt; &gt; ''Field'' = ISIterms500termsclean3period , ''Size of the Hierarchy'' = 10 ; ''Normalization of frequency count'' = yes ; ''Dynamics'' &gt; ; ''Number of time slice'' = 6 ; ''time slices distribution'' = regular

==== 2.5. Réseau de co-occurrence des principaux groupes nominaux extraits ====
Le réseau de co-occurrence des groupes nominaux est réalisé avec la mesure Distributional. Cette mesure est très performante pour extraire les structures sous-jacentes du corpus en mettant en évidence les mots qui jouent des fonctions similaires dans les textes. Le calcul de la similarité entre les nœuds repose sur la comparaison de l'ensemble de leur profil de cooccurrence avec les autres termes identifiés. Le réseau permet ainsi d’observer ceux qui ont des environnements similaires pour en dégager les principaux espaces sémantiques.
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Network mapping&lt;/u&gt; &gt; ''First Field'' = 500termsclean3period ; ''Second field'' = 500termsclean3period ; ''Number of nodes'' = 250 ; ''Nodes advanced settings'' = yes ; ''Node weight'' = frequency ; ''Edges'' &gt; ''Edges filtering advances setting'' = yes ; ''Number of top neighbours to consider'' = 8 ; ''Network analysis and layout'' &gt; ''Community detection algorithm'' = Louvain resolution ; ''Modify the name of the projected cluster'' = 500termsclean3period

==== 2.6. Evolution de l'importance des thématiques de recherche entre 2001 et 2024 ====
Observer l’évolution du nombre de documents projetés dans les clusters sémantiques au cours du temps.
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epic Epoc&lt;/u&gt; &gt; ''Field'' = projection_cluster_500termsclean3period ; ''Size of the hierarchy'' = 9 ; ''Normalization of frequency count'' = no ; ''Dynamics'' &gt; ''Number of time slice'' = 24 ; ''time slices distribution'' = regular

== 3. Analyses hétérogènes ==
Objectifs : Observer les spécialisations thématiques des continents (affiliations des auteurs).

==== 3.1. Indexer les pays (affiliations) pour y associer dans la base de données Cortext leur continent. ====
La liste de correspondance « pays – continent » a été créé en utilisant des ressources open data externes. Cliquez ici pour télécharger la ressource.

Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; 03-list-affiliation-continent.tsv

* &lt;u&gt;List Builder&lt;/u&gt; &gt; ''Field'' = Countries ; ''Define a custom list of entities'' = yes ; ''List of entities to consider'' = 03-list-affiliation-continent.tsv ; ''Add a dictionary of equivalent strings'' = yes ; ''Enter a filename with dictionaries of equivalent forms'' = yes ; ''List indexation advanced settings'' = yes; ''New indexation name (optional)'' = affiliation_continent

==== 3.2. Heatmaps par continent ====
Les sous-corpus de documents qui contiennent au moins une affiliation d’un auteur provenant du continent ciblé sont projetés sur le réseau sémantique pour comparaison. Ces cartes permettent d’évaluer la localisation des documents présentant la variable d’intérêt au sein du réseau sémantique (dispersés ou concentrés) et mettent en évidence les groupes nominaux du réseau sur-représentés ou sous-représentés dans les documents des différents continents. 


Scripts et paramètres à utiliser dans Cortext manager :

* Reprendre l’entrée Network mapping du réseau sémantique (2.5) dans le dashboard du projet &gt; &lt;u&gt;Relaunch script&lt;/u&gt; &gt; ''Network analysis and layout'' &gt; ''Add information from a 3rd variable to tag clusters or produce a heatmap'' = yes ; ''Value of the field you wish to plot the heatmap of'' = #exhaustive ; ''Choose the new field that should be used'' = Countries_custum_affiliation_continent ; T''agging/heatmap Specificity Measure'' = chi2_dir ; V''alue of the field you wish to plot the heatmap of'' = #exhaustive ; ''Modify the name of the projected cluster'' = heatmaps

==== 3.3. Contingency matrix ====
Les tests de Chi2 et exacts de Fisher permettant de repérer les sur-sous-représentations des continents issus des affiliations au sein des 8 clusters sémantiques identifiés.


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Contingency matrix&lt;/u&gt; &gt; ''First field'' = Countries_custum_affiliation_continent ; ''Second field'' = projection_cluster_500termsclean3period ; ''Contingency matrix options'' &gt; ''Evaluate wether deviations are statistically significant'' = yes

== 4. Analyses géographiques ==
Pour un tutoriel pas à pas – se référer à la page 

Objectif : Observer où se déroulent les recherches sur l'adaptation au changement climatique.

==== 4.1. Geocoding des addresses des affiliations ====
Homogénéiser l’information géographique présente sous forme textuelle hétérogène (adresse, toponyme ou encore un code postal) pour la rendre traitable. Création des coordonnées géographiques (longitude ; latitude) et des informations (ville, région, pays) homogénéisées correspondantes.


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Geocoding&lt;/u&gt; &gt; ''Select the field which contains addresses'' = Address ; ''Top scale filter'' = County ; ''Geocoding methods'' = Filtering non-geographical information ; ''Advanced settings'' = yes ; ''Confidence threshold'' = 0.4 

==== 4.2. Intensité de recherche des zones rurales et urbaines ====
Projeter et agréger les coordonnées géocodées dans des fonds de carte contenant des zones délimitées (unités géographiques statistiques telles que des villes ; des régions/pays ou des aires rurale ou urbaines)


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Geospatial exploration&lt;/u&gt; &gt;''Assign unclassified points to the nearest area'' = 5 ;''Two-pass URA''  = yes ; ''Initial view map'' = Urban and rural areas</text>
      <sha1>cnn28buruxyztx9wsrbg9ehtoi6kt6f</sha1>
    </revision>
    <revision>
      <id>983814</id>
      <parentid>983812</parentid>
      <timestamp>2026-06-25T10:41:43Z</timestamp>
      <contributor>
        <username>Genderli25</username>
        <id>80561</id>
      </contributor>
      <comment>/* ajout images</comment>
      <origin>983814</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="12581" sha1="a8dslaw5aqetplfqvcnvz5nmo2bc61f" xml:space="preserve">== Objectif ==
Ce tutoriel a pour vocation à guider l’utilisateur à l’utilisation de certains scripts de Cortext manager. Ces scripts permettent de découvrir l’évolution, l’organisation et les thématiques abordées dans la littérature scientifique sur l’adaptation au changement climatique entre 2001 et 2024, à partir d’un jeu de données constitué dans le Web of Science. Il décrit les étapes et les paramètres utilisés pour aboutir aux visualisations présentées dans cette page.

== Présentation du sujet ==
Les répercussions du changement climatique sur nos modes de vie et nos modes d'organisation constituent un défi majeur du XXIe siècle. Les mesures d'atténuation/mitigation et d'adaptation sont deux axes clés de la recherche et de la réflexion dans l'élaboration des politiques publiques. Les aspects « atténuation » ont été très étudiés (ils regroupent toutes les actions visant à atténuer l'ampleur du réchauffement mondial d'origine humaine par la réduction des émissions de gaz à effet de serre ou la capture et séquestration du dioxyde de carbone de l'atmosphère). Les aspects « adaptation » (qui consistent à limiter les répercussions attendues du changement climatique sur les activités socio-économiques, les espèces, les milieux naturels et les écosystèmes) ont été moins explorés.

== 0. Collecte du jeu de données dans le Web of Science ==

==== 0.1. Requête de recherche ====
La littérature scientifique a été collectée sur le Web of Science avec la requête suivante. Utiliser le module « advanced search » du WOS pour lancer la requête :

TS=(&quot;adapt* to climat* chang*&quot; OR &quot;adapt* climat* chang*&quot; OR &quot;adapt* for climat* chang*&quot; OR &quot;climat* chang* adapt*&quot; OR &quot;adapt* to climat*&quot; OR &quot;adapt* climat*&quot; OR &quot;adapt* for climat*&quot; OR &quot;climat* adapt*&quot;) AND PY =(2001-2024) NOT PY=2025

Un filtre supplémentaire a été appliqué pour ne retenir que les documents de type : Article, Proceeding paper, Book chapter et Data paper.

==== 0.2. Téléchargement des données ====
L’ensemble des données est à télécharger au format « Plain text » avec l’option « Full Record and Cited References ». Zipper l’ensemble des fichiers .txt téléchargés pour pouvoir les charger dans un projet Cortext manager.

Cliquez ici pour accéder au jeu de données de la formation

==== 0.3. Téléchargement du jeu de données et transformation en base de données Cortext manager ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; wos-cca-2001-2024.zip

* &lt;u&gt;Data parsing&lt;/u&gt; &gt; ''Type of data'' = dataset ; ''Corpus format'' = ISI

== 1. Exploration du corpus ==
Objectifs : Observer l'évolution du corpus dans le temps selon différentes variables.

==== 1.1. Evolution du nombre de documents entre 2001 et 2024 par pays d'affiliation des auteurs ====
[[Fichier:01 01-evolution-pays Cortext tutorial ACC.jpg|centré|600x600px]]


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Demography&lt;/u&gt; &gt; ''Which variable'' = Countries ; ''Is the variable categorical or numerical?'' = categorial ; ''Number of top entities to consider'' = 30; ''Include the cumulated count of all the remaining less frequent entities'' = yes

==== 1.2. Evolution du top 20 des institutions (affiliations des auteurs) sur 3 périodes de temps ====
[[Fichier:01 02-top20-evolution-ror-institutions Cortext tutorial ACC.png|centré|900x900px]]
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epich Epoch&lt;/u&gt; &gt; ''Field'' = Author_Affiliations_Enhanced_WOS ; ''Size of hierarchy'' = 20 ; ''Normalization of frequency count'' = yes ; ''Dynamics'' &gt; ''Number of slice'' = 3  ; ''Time slide distribution'' = regular

== 2. Analyses sémantiques ==
Objectifs : Identifier les thématiques de recherche sous-jacentes dans le corpus.

==== 2.1. Extraire les groupes nominaux formés au plus de 3 mots les plus pertinents des titres et des résumés ====

* &lt;u&gt;Term Extraction&lt;/u&gt; &gt; ''Textual Fields'' = Abstract - Title ; ''List length'' = 500 ; ''Lexical extraction advanced settings'' = Yes ; ''Sampling'' = no ; ''Dynamics'' &gt; ; ''Number of time slice'' = 3 ; ''Time slice distribution'' = regular

L’extraction lexicale est effectuée en scindant le corpus en 3 périodes homogènes en termes de nombre de documents, c’est-à-dire que l’extraction de termes a été effectuée sur les 3 périodes en les isolant l’une de l’autre. Ce choix a été effectué dans l’objectif de pouvoir mieux capter d’éventuelles évolutions du vocabulaire. 

==== 2.2. Télécharger et affiner la liste des groupes nominaux extraits ====
Il s’agit de travailler la liste de groupes nominaux extraits pour améliorer la précision des analyses. Les termes trop génériques ou correspondant à la requête (ex : « research design» ; « climate change ») et ceux correspondant à des traitements de données (ex : « focus groupe ») et des lieux géographiques ont été exclus pour pouvoir se focaliser sur les sujets du corpus. Les groupes nominaux ayant un sens proche ont été regroupés (ex : « sea-level rise » et « sea level rise »). 

* Télécharger la liste .tsv présente dans l'entrée du script Term Extraction, l'ouvrir avec Google Sheet ou Libre Office ou Calc Liber Office pour la retravaillée

Cliquez ici pour accéder à la ressource de la formation

==== 2.3. Ré-indexer le corpus avec la liste des groupes nominaux retravaillés ====
Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; 02-list-terms-cleaned.tsv

* &lt;u&gt;Term Indexer&lt;/u&gt; &gt; ''Textual fields'' = Abstract - Keywords -Title ; ''Terms List'' = 02-list-terms-cleaned.tsv ; ''Optionnaly you can name the new indexation that will be generated'' = 500termsclean3period

==== 2.4. Evolution du top 10 des groupes nominaux extraits par 6 périodes de temps ====
[[Fichier:02 01-evolution-top10terms-6periods Cortext tutorial ACC.png|900x900px]]


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Epic Epoch&lt;/u&gt; &gt; ''Field'' = ISIterms500termsclean3period , ''Size of the Hierarchy'' = 10 ; ''Normalization of frequency count'' = yes ; ''Dynamics'' &gt; ; ''Number of time slice'' = 6 ; ''time slices distribution'' = regular

==== 2.5. Réseau de co-occurrence des principaux groupes nominaux extraits ====
Le réseau de co-occurrence des groupes nominaux est réalisé avec la mesure Distributional. Cette mesure est très performante pour extraire les structures sous-jacentes du corpus en mettant en évidence les mots qui jouent des fonctions similaires dans les textes. Le calcul de la similarité entre les nœuds repose sur la comparaison de l'ensemble de leur profil de cooccurrence avec les autres termes identifiés. Le réseau permet ainsi d’observer ceux qui ont des environnements similaires pour en dégager les principaux espaces sémantiques.

[[Fichier:02 02-semantic-landscape Cortext tutorial ACC.png|900x900px]]


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Network mapping&lt;/u&gt; &gt; ''First Field'' = 500termsclean3period ; ''Second field'' = 500termsclean3period ; ''Number of nodes'' = 250 ; ''Nodes advanced settings'' = yes ; ''Node weight'' = frequency ; ''Edges'' &gt; ''Edges filtering advances setting'' = yes ; ''Number of top neighbours to consider'' = 8 ; ''Network analysis and layout'' &gt; ''Community detection algorithm'' = Louvain resolution ; ''Modify the name of the projected cluster'' = 500termsclean3period

==== 2.6. Evolution de l'importance des thématiques de recherche entre 2001 et 2024 ====
Observer l’évolution du nombre de documents projetés dans les clusters sémantiques au cours du temps.
[[Fichier:02 03-evol-semantic-clusters-2001-2024 Cortext tutorial ACC.png|centré|700x700px]]
[[Fichier:02 04-evol-semantic-clusters-zoom-2009-2024 Cortext tutorial ACC.png|centré|650x650px]]


Scripts et paramètres à utiliser dans Cortext manager 

* &lt;u&gt;Epic Epoc&lt;/u&gt; &gt; ''Field'' = projection_cluster_500termsclean3period ; ''Size of the hierarchy'' = 9 ; ''Normalization of frequency count'' = no ; ''Dynamics'' &gt; ''Number of time slice'' = 24 ; ''time slices distribution'' = regular

== 3. Analyses hétérogènes ==
Objectifs : Observer les spécialisations thématiques des continents (affiliations des auteurs).

==== 3.1. Indexer les pays (affiliations) pour y associer dans la base de données Cortext leur continent. ====
La liste de correspondance « pays – continent » a été créé en utilisant des ressources open data externes. Cliquez ici pour télécharger la ressource.

Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Upload file&lt;/u&gt; &gt; 03-list-affiliation-continent.tsv

* &lt;u&gt;List Builder&lt;/u&gt; &gt; ''Field'' = Countries ; ''Define a custom list of entities'' = yes ; ''List of entities to consider'' = 03-list-affiliation-continent.tsv ; ''Add a dictionary of equivalent strings'' = yes ; ''Enter a filename with dictionaries of equivalent forms'' = yes ; ''List indexation advanced settings'' = yes; ''New indexation name (optional)'' = affiliation_continent

==== 3.2. Heatmaps par continent ====
Les sous-corpus de documents qui contiennent au moins une affiliation d’un auteur provenant du continent ciblé sont projetés sur le réseau sémantique pour comparaison. Ces cartes permettent d’évaluer la localisation des documents présentant la variable d’intérêt au sein du réseau sémantique (dispersés ou concentrés) et mettent en évidence les groupes nominaux du réseau sur-représentés ou sous-représentés dans les documents des différents continents.

[[Fichier:03 01-Heatmaps-per-continent-on-cca-Scientific literature on climate change adaptation.png|centré|800x800px]]


Scripts et paramètres à utiliser dans Cortext manager : 
* Reprendre l’entrée Network mapping du réseau sémantique (2.5) dans le dashboard du projet &gt; &lt;u&gt;Relaunch script&lt;/u&gt; &gt; ''Network analysis and layout'' &gt; ''Add information from a 3rd variable to tag clusters or produce a heatmap'' = yes ; ''Value of the field you wish to plot the heatmap of'' = #exhaustive ; ''Choose the new field that should be used'' = Countries_custum_affiliation_continent ; T''agging/heatmap Specificity Measure'' = chi2_dir ; V''alue of the field you wish to plot the heatmap of'' = #exhaustive ; ''Modify the name of the projected cluster'' = heatmaps

==== 3.3. Contingency matrix ====
Les tests de Chi2 et exacts de Fisher permettant de repérer les sur-sous-représentations des continents issus des affiliations au sein des 8 clusters sémantiques identifiés.
[[Fichier:03 08-continents-specializations-on-cca Cortext tutorial ACC.png|centré|600x600px]]


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Contingency matrix&lt;/u&gt; &gt; ''First field'' = Countries_custum_affiliation_continent ; ''Second field'' = projection_cluster_500termsclean3period ; ''Contingency matrix options'' &gt; ''Evaluate wether deviations are statistically significant'' = yes

== 4. Analyses géographiques ==
Pour un tutoriel pas à pas – se référer au tutoriel [[Cortext/Tutoriels/La visualisation géospatiale avec Cortext Manager|&quot;La visualisation géospatiale avec Cortext Manager&quot;]]. 

Objectif : Observer où se déroulent les recherches sur l'adaptation au changement climatique.

==== 4.1. Geocoding des addresses des affiliations ====
Homogénéiser l’information géographique présente sous forme textuelle hétérogène (adresse, toponyme ou encore un code postal) pour la rendre traitable. Création des coordonnées géographiques (longitude ; latitude) et des informations (ville, région, pays) homogénéisées correspondantes.


Scripts et paramètres à utiliser dans Cortext manager :
* &lt;u&gt;Geocoding&lt;/u&gt; &gt; ''Select the field which contains addresses'' = Address ; ''Top scale filter'' = County ; ''Geocoding methods'' = Filtering non-geographical information ; ''Advanced settings'' = yes ; ''Confidence threshold'' = 0.4 

==== 4.2. Intensité de recherche des zones rurales et urbaines ====
Projeter et agréger les coordonnées géocodées dans des fonds de carte contenant des zones délimitées (unités géographiques statistiques telles que des villes ; des régions/pays ou des aires rurale ou urbaines)
[[Fichier:04 01-map-author-affiliations-on-cca Cortext tutorial ACC.jpg|centré|500x500px]]


Scripts et paramètres à utiliser dans Cortext manager :

* &lt;u&gt;Geospatial exploration&lt;/u&gt; &gt;''Assign unclassified points to the nearest area'' = 5 ;''Two-pass URA''  = yes ; ''Initial view map'' = Urban and rural areas</text>
      <sha1>a8dslaw5aqetplfqvcnvz5nmo2bc61f</sha1>
    </revision>
  </page>
</mediawiki>