Démontrons que, dans l'anneau "(Z, +, .)", tout sous-ensemble "nZ" (avec "n" un nombre entier naturel) de "Z" forme un sous-anneau de "(Z, +, .)". Déjà, nous avons démontré à plusieurs reprises que "nZ" est inclut dans "Z".
De plus, nous avons déjà démontré que le groupe "(nZ, +)" est un sous-groupe de "(Z, +)" : il est stable par l'addition. Finalement, la stabilité par la multiplication est aussi assez simple à prouver.
Donc, l'anneau "(nZ, +, .)" est un sous-anneau de "(Z, +, .)"
Démontrons que dire qu'un polynôme "P(X)" admet une racine "r" équivaut à dire que ce polynôme est divisible par "X - r". Procédons par double implication.
Prouvons que dire qu'un polynôme "P(X)" est divisible par "X - r" implique que "P(X)" admet une racine "r". Si "P" est divisible par "X - r", il existe un "Q(X)" tel que le produit de "Q(X)" et "X - r" donne "P".
De manière évidente, "r" permet d'annuler "(X - r)". Par transitivité de l'égalité, "r" annule aussi "P(X)".
Donc, dire qu'un polynôme "P(X)" est divisible par "X - r" implique que "P" admet une racine "r".
Prouvons qu'un polynôme "P(X)" admet une racine "r" implique que "P(X)" est divisible par "X - r". Pour cela, nous devons juste prouver l'existence d'un polynôme "Q" tel que "X - r" multiplié par "Q" donne "P". Cela implique que la division euclidienne de "P(X)" par "X - r" (qui existe bel et bien) donne un reste nul.
Nous savons qu'une division euclidienne de polynômes est unique. Donc, la division euclidienne de ce polynôme pour "X = r" est exactement la même que pour tous "X". Or, si "X = r", "P(X) = 0" et "Q(X) * (X - r) = 0" : il n'y a pas besoin de reste, qui est bel et bien nul.
Donc, un polynôme "P(X)" admet une racine "r" implique que "P(X)" est divisible par "X - r".
Les deux implications sont vérifiées : dire qu'un polynôme "P(X)" admet une racine "r" équivaut à dire que ce polynôme est divisible par "X - r".
Considérons une famille libre "w" de "n" vecteur d'un espace vectoriel "E" sur un corps "K". Posons une autre famille libre "v" de "m" vecteur générant "E".
Le lemme de Steinitz dit deux choses : "m" est inférieur ou égal à "n", et il est possible de trouver un sous-ensemble de "w" tel que l'union de "v" et de ce sous-ensemble engendre "K". Démontrons ce lemme.
Déjà, nous savons que tous les vecteurs de "v" appartiennent à "E" : ils sont donc combinaisons linéaires de vecteur de "w". De plus, comme ils sont non-nuls, il existe au moins un des scalaires de la combinaison linéaire qui ne s'annule pas.
Prenons le cas du premier élément de "v".
Nous pouvons facilement exprimer un élément de "w" (tel que son scalaire associé pour obtenir "v" n'est pas nul) grâce à cet élément de "v". Permettons nous de sélectionner un élément de "w" quelconque respectant cette contrainte, et permutons les valeurs dans "w" pour que cet élément devienne le premier élément de "w". Appelons "s" le scalaire associé à cet élément de "w". Pour cela, passons ce premier élément de "w" de l'autre côté, enlevons l'élément de "v" des deux côtés, et multiplions par l'inverse de "s".
Dans ce cas, nous voyons que ce premier vecteur de "w" est une combinaison linéaire (un peu complexe et différente, mais une combinaison linéaire quand même) d'élément de "w" et du premier élément de "v". Ici, comme tout élément de "k" est une combinaison linéaire d'élément de "w", alors si l'un des "w" est combinaison linéaire d'autres éléments de "w" (sauf lui, bien évidemment) et d'un autre vecteur quelconque, alors cet autre vecteur quelconque et tous les autres éléments de "w" génèrent aussi l'espace vectoriel. Donc, le premier élément de "v" et les autres éléments de "w" génère aussi l'espace vectoriel. Après avoir pris en compte le fait que nous avons permuté nos éléments dans "w", on pourrait écrire :
Bien que nous avons fait pour le premier vecteur, cette technique marche parfaitement pour tous les vecteurs possibles. Donc, nous pouvons réitérer cette étape, jusqu'à ce que nous avons enlever tous les éléments de "v" (on pourrait poursuivre avec le deuxième, le troisième...).
Ici, nous pouvons avoir fini de considérer tous les éléments de "v" : il serait donc de taille inférieur à celui de "w". De plus, nous aurions une nouvelle famille génératrice de "E" :
De plus, nous pouvons être sur que nous nous arrêterons avant "n" ou précisément à "n" opérations. En effet, si il y en avait plus, alors des éléments de "v" serait constitués de "0" éléments de "w", ce qui n'est pas possible puisqu'ils sont tous décomposables en éléments de "w". Donc, il y a au plus autant d'éléments dans "v" que dans "w", et donc :
Nos deux propositions sont démontrés. Le lemme de Steinitz est donc démontré.
Démontrons que toutes les bases d'un K-espace vectoriel "E" ont le même cardinal. Une grande partie de la preuve utilisera le lemme de Steinitz. Commençons par poser une famille libre de vecteur "v" et une base "w" de "E".
Déjà, selon le lemme de Steinitz, toute famille de vecteur "v" de "E" a une taille inférieur ou égal à chaque base "w" de "E". Donc, "m" est inférieur ou égal à "n".
Démontrons que si "m" est strictement inférieur à "n", alors "v" ne génère pas entièrement "E". Selon le lemme de Steinitz, il existe une base de "E" constitué des "m" vecteurs de "v" et de "n - m" vecteurs de "w". Si "m" est strictement inférieur à "n", alors il existe au moins un vecteur de "w" dans cette base.
Or, cette famille est une base : elle est libre. Donc, aucune combinaison des vecteurs de "v" ne génère les vecteurs de "w" restants dans la base. Donc, si "m" est strictement inférieur à "n", alors "v" ne génère pas "E".
Donc, si une famille génère entièrement "E", elle est obligatoirement de taille "n". Donc, toutes les bases d'un espace vectoriel ont la même taille : ici "n".
On peut même prouver la réciproque de ce théorème. En effet, si "m = n", alors l'algorithme vue plus haut nous donne une base de "E" qui est égale à... "v". Donc, si "m = n", "v" est une base de "E" : par double implication, il s'agit d'une équivalence.
Démontrons que, dans la base "b" écrite : "(4, 1), (8, 4)", le vecteur "(4, 5)" a pour coordonnées "(-3, 2)". Pour cela utilisons un système linéaire. Ici, posons le système, et résolvons le :
Donc, dans la base "b", les coordonnées de "(4, 5)" sont bien "(-3, 2)".
Démontrons que le produit matriciel de deux matrices associées à des applications linéaires revient à obtenir la matrice de la composée de ces deux applications linéaires. Posons deux matrices "A" et "B", associées à deux applications linéaires "f" et "g", et à 3 bases : "b" (départ de "f"), "c" (arrivée de "f" et départ de "g") et "d" (arrivée de "g"). Déjà, pour tout vecteur "v" de coordonnées "E" dans la base de départ de "b", on sait que le produit matriciel de "A" et "E" donne les coordonnées "F" de "v" dans la base "c".
De même, le produit matriciel de "B" et "F" donne les coordonnées "G" de "f(v)" dans "d".
Donc, "G" représente les coordonnées de "g de f" de "v" dans la base "d". Comme le produit matriciel est associatif, on peut donc écrire :
Or, on se rend compte que "g de f" peut aussi s'exprimer sous la forme du produit matrice de "B" et "A". Donc, le produit matriciel de "B" et "A" représente la composée de "g" et "f", dans cette ordre précis.
Démontrons que, pour tout "w" et "z" appartenant à "R", l'application allant de "R²" vers "R²" transformant "(x, y)" en "(w * x, z * y)" est linéaire. Déjà, la première propriété est respectée, et l'on peut le vérifier de manière algébrique.
La deuxième propriété est aussi vraie, et ce n'est pas si difficile que ça à démontrer non plus.
Finalement, "f(0, 0) = (0, 0)", donc cette application est belle est bien linéaire. Donc, pour tout "w" et "z" appartenant à "R", l'application allant de "R²" vers "R²" transformant "(x, y)" en "(w * x, z * y)" est linéaire.
Démontrons que, pour une application linéaire allant de 2 K-espace vectoriel "E" vers "F", l'image d'une base de "E" représente une base de l'image de l'application dans "F". Considérons une base "b" de "E".
Appelons "I" l'image de "f". Nous savons que, pour tout vecteur de "F", il existe un vecteur de "E" tel que son image appartient à "F".
Ici, comme "u" appartient à "E", nous pouvons décomposer "u", en utilisant la définition de la base "b".
Par linéarité de "f", on peut sortir la somme et la multiplication de "f".
Donc, tout vecteur "V" de "I" s'écrit comme la combinaison linéaire d'éléments de l'image de la base "b" : c'est exactement la définition d'une famille qui génère "F". Donc, l'image d'une base de "E" représente une base de l'image de l'application dans "F".