Utilisateur:Anne Bauval/Brouillon2
- → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
- → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.
Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :
- Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
- Indiquez les éléments démontrant la notoriété du sujet (aide).
- Liez chaque fait présenté à une source de qualité (quelles sources – comment les insérer).
- Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
- Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).
- → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.
La définition axiomatique est essentiellement donnée en introduction. est l'unique corps totalement ordonné qui soit à la fois archimédien et complet ; un tel corps est nécessairement commutatif. Mais on trouve aussi d'autres définitions axiomatiques qui lui sont équivalentes. Ainsi :
- est l'unique corps totalement ordonné qui satisfait l'axiome de la borne supérieure.
- est l'unique corps totalement ordonné qui satisfait le lemme de Cousin.
- L'unicité est à isomorphisme (unique) près, c'est-à-dire que si K est un corps totalement ordonné vérifiant les mêmes hypothèses, alors il existe un (unique) isomorphisme strictement croissant de K dans .
- est un corps commutatif, autrement dit les deux opérations, addition et multiplication, possèdent toutes les propriétés usuelles, en particulier la somme et le produit de deux réels sont réels, ainsi que l'inverse d'un réel non nul. (L'adjectif commutatif signifie qu'un produit ab est toujours égal au produit ba.)
- est un corps totalement ordonné . Cela signifie que tous les nombres peuvent être comparés entre eux (l'un est soit plus grand, soit plus petit, soit égal à l'autre) et que cette relation respecte l'addition et la multiplication. En langage mathématique on a:
- ;
- L'axiome de la borne supérieure s'exprime de la manière suivante : si un ensemble A de réels est non vide et majoré, autrement dit s'il existe un nombre donné plus grand ou égal à chaque élément de A; alors A admet une borne supérieure, c'est-à-dire un majorant plus petit que tous les autres.
Ce dernier axiome différencie de tous les autres corps. Il existe en effet une infinité de corps commutatifs totalement ordonnés, mais seul satisfait l'axiome de la borne supérieure.
- est archimédien. Cela signifie que si l'on considère un nombre a strictement positif, par exemple 2 et que l'on considère la suite a, 2a, 3a, ... C’est-à-dire dans notre exemple 2, 4, 6, ... alors on obtiendra dans la suite, des nombres aussi grands que l'on veut. En langage mathématique, cela s'écrit :
- est complet. C'est-à-dire que dans , toute suite de Cauchy converge[1].
- Ces deux notions ne sont pas à prendre ici au sens usuel de suite de Cauchy et de suite convergente dans un espace métrique (il ne saurait être question, sous peine de cercle vicieux, de définir a priori, sur un corps totalement ordonné K, une distance à valeurs dans ... , que l'on n'a pas encore défini !), mais au sens suivant :
une suite dans K
- est de Cauchy si pour tout dans K, il existe un entier N tel que pour tous ,
- converge vers un élément a si pour tout dans K, il existe un entier N tel que pour tout .
- Tout groupe topologique est R0, mais pas nécessairement séparé (ce qui, pour un groupe topologique, équivaut également à T0 ou T1).
Matrice symétrique réelle positive modifier
Soit une matrice symétrique réelle d'ordre n. Elle est dite positive si elle vérifie l'une des deux propriétés équivalentes suivantes :
1. La forme bilinéaire symétrique qu'elle représente est positive, c'est-à-dire : pour toute matrice colonne X à n éléments réels,
2. Les valeurs propres de M (qui sont automatiquement réelles) sont positives ou nulles, ce qui s'écrit :
Exemple modifier
Étant donné un vecteur aléatoire à valeurs dans dont chaque composante admet une variance, on définit sa matrice des covariances :
- Celle-ci est positive. En effet, pour toute matrice colonne X à n éléments réels notés :
- Elle est définie positive si et seulement si la seule combinaison linéaire de qui soit certaine est celle dont tous les coefficients sont nuls.
Propriétés modifier
- Pour toute matrice réelle , la matrice est une matrice symétrique positive. De plus si est une matrice carrée inversible, est définie positive.
- Toute matrice réelle symétrique positive admet une unique racine carrée réelle symétrique positive.
Ce résultat se généralise aux racines n-ièmes.
Matrice hermitienne positive modifier
On étend les propriétés et définitions précédentes aux matrices complexes hermitiennes.
Soit une matrice hermitienne d'ordre n. Elle est dite positive si elle vérifie l'une des deux propriétés équivalentes suivantes :
1. La forme hermitienne qu'elle représente est positive, c'est-à-dire : pour toute matrice colonne Z à n éléments complexes, de matrice adjointe Z*,
2. Les valeurs propres de M (qui sont automatiquement réelles) sont positives ou nulles, ce qui s'écrit :