Analyse-Synthèse pour E = F ⊕ G
Qu'est-ce qu'une "somme directe" ? Dans quel cas dit-on que deux sous-espaces vectoriels sont "supplémentaires" ? Et comment prouve-t-on cela ? Réponses détaillées dans cet article.
Qu'est-ce qu'une "somme directe" ? Dans quel cas dit-on que deux sous-espaces vectoriels sont "supplémentaires" ? Et comment prouve-t-on cela ? Réponses détaillées dans cet article.
Challenge n° 35 de Math-OS - Une formule sommatoire pas commode faisant intervenir les nombres harmoniques. Preuve directe ou récurrence ?
Le théorème de Cantor-Bernstein-Schröder affirme que l'existence d'une injection de A vers B et d'une injection de B vers A entraînent l'équipotence des ensembles A et B. On donne, dans cet article, une preuve classique et détaillée de ce résultat, ainsi que des exemples d'application.
Cet article donne une preuve élémentaire d'un cas particulier du théorème de Fubini pour une fonction continue sur un produit de segments.
Un article détaillé sur la notion de continuité uniforme. On y prouve le théorème de Heine ainsi que le théorème de Weierstrass trigonométrique.
Challenge n° 30 de Math-OS - Valuation p-adique du coefficient binomial "p parmi n"
Dans un espace préhilbertien réel, tout sous-espace de dimension finie possède un supplémentaire orthogonal. Cet article examine les contours de ce résultat.
La formule du binôme de Newton et la formule de Leibniz se ressemblent carrément !... Mais pourquoi ? Cet article tente d'y apporter une réponse.
Challenge n° 25 de Math-OS - On demande de déterminer les polynômes à coefficients réels laissant stable l'ensemble des repunits.
Dans cet article, trois résultats d'arithmétique modulaire sont établis via un même calcul : le produit des éléments d'un certain groupe abélien fini.