Bonjour, j'ai oubli de dire ce qu'est une z-base. En topologie mathmatique, il existe des ensemble ( ( A ,+ ; .

) muni de lois de composition (telle que l'addition et la multiplication). Les ensembles les plus gnraux sont appels Anneaux et dont les lois sont l'addition et la multiplication. Un cas particuliers de l'Anneau est le Corps. La diffrence entre les deux c'est que tout lment non nul d'un Corps doit tre inversible :

1 K un corps x K , x 0 K . x De cette faon, on obtient que et ne sont pas des Corps, mais que en est un.
Sur un Corps K on dfinit un espace vectoriel E (appel K-Espace Vectoriel) muni des lois de composition interne de K. E est un ensemble permettant de raliser des combinaisons linaires. Les lments de E sont des vecteurs et les lments de K sont des scalaires. Dans un espace vectoriel, il existe au moins une base. Une base d'un espace vectoriel est une famille de vecteurs de cet espace telle que chaque vecteur de l'espace puisse tre exprim de manire unique comme combinaison linaire de vecteurs de cette base. La gnralisation de l'espace vectoriel est le module qui lui est dfini sur un Anneau (gnralisation du Corps). Seulement, un module possde une loi interne (l'addition), mais pas forcment une loi externe. Dans le cas o un module sur un Anneau A possde deux lois de composition (une interne l'autre externe) il dfinit un A-module. La gnralisation du concept de Corps (Anneau) et donc d'espace vectoriel (Module) ne permet pas d'affirmer l'existence d'une base pour un module. Si pour un module M d'un Anneau A, il existe au moins une base : on dit que ce module est libre. Cette base est une A-Base. Dans l'atelier pda on muni le plan d'une base cartsienne. A chaque rationnel, on attribut un point qui est tel que le rationnel reprsente le coefficient directeur de la droite forme par l'origine du repre et le point. Un peu de topologie ! est un Corps, donc on peut dfinir un espace vectoriel de dimension 2 (le plan) sur ce Corps. On muni cette espace vectoriel d'une base cartsienne (appele aussi base canonique). Cependant, cette base n'est pas unique donc il suffit de prendre deux vecteurs non colinaires pour dfinir une nouvelle base. Pour la dmonstration du lemme d'encadrement, on prend deux fractions adjacentes. Leurs points associs forment des vecteurs avec l'origine. Ces vecteurs ne sont pas colinaires et donc forment une nouvelle base du -Espace Vectoriel
2 2

Cependant, le Corps est un Anneau et l'espace vectoriel

possde une infinit de base : c'est un module libre. Et donc toutes base de 2 est une -Base. 2 Nous travaillons avec des rationnels positif donc nous pouvons travailler avec au lieu de 2 car un rationnel positif on lui attribu un couple d'entier naturel, donc entier relatif (les 2 coordonnes du point). est Anneau (dit plus haut), est un -module libre car nous 2 pouvons lui attribu au moins une base. Et ainsi toutes bases de est une -Base. Cela 2 implique que tout lment de est une combinaison linaire coefficient dans .
Une -Base est donc une base dans le cas o l'espace vectoriel est vu comme un module dfinit sur l'anneau .

et aussi un module. De plus