L’ensemble des nombres réels, muni de l’addition et de la multiplication, est un corps commutatif. L’ensemble des applications d’un ensemble quelconque dans l’ensemble des réels est équipé d’une addition et d’une multiplication canoniques, déduites respectivement de celles du corps des réels. Un anneau commutatif est ainsi défini. Cette construction permet de d’établir que les suites … Lire la suite de Anneau des applications d’un ensemble non vide dans le corps des réels
Produit
Majoration du produit et de la somme d’entiers naturels
Dans cette note, considérant trois nombres entiers naturels non nuls, nous prouvons que, si l’un est un majorant « strict » du produit des deux autres, alors il est aussi un majorant de leur somme. Soient $latex a$, $latex b$ et $latex c$ des entiers naturels non nuls. Alors, $latex 1\leq a$ et $latex 1\leq … Lire la suite de Majoration du produit et de la somme d’entiers naturels
Formalis Mathematica 