Scalaire (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

En algèbre linéaire, les nombres réels qui multiplient les vecteurs dans un espace vectoriel, sont appelés des scalaires. Cette multiplication par un scalaire, qui permet de multiplier un vecteur par un nombre pour produire un vecteur, correspond à la loi externe de l'espace vectoriel.

Plus généralement, dans un $\mathbb{K}$ -espace vectoriel, les scalaires sont les éléments de $\mathbb{K}$ , où $\mathbb{K}$ peut être l'ensemble des nombres complexes ou n'importe quel autre corps commutatif.

D'autre part, un produit scalaire (à ne pas confondre avec la multiplication par un scalaire) peut être défini sur un espace vectoriel, permettant à deux vecteurs d'être multipliés entre eux pour donner un scalaire. Un espace vectoriel muni d'un produit scalaire est appelé un espace vectoriel euclidien.

La composante réelle d'un quaternion est aussi appelée partie scalaire.

Le terme de matrice scalaire est utilisé pour désigner une matrice de la forme $λ I$ où $λ$ est un scalaire et $I$ la matrice identité.

[modifier] Étymologie

Le mot scalaire provient du mot anglais scalar qui lui-même dérive du mot scale utilisé pour le rang des nombres; ce dernier provenant du latin scala désignant une échelle. Selon le dictionnaire anglais Oxford le mot scalar fût utilisé pour la première fois par W. R. Hamilton en 1846), pour désigner la partie réelle d'un quaternion:

« La partie réelle algébrique peut recevoir, selon la question dans laquelle elle apparaît, toutes les valeurs contenues sur toute une échelle de progression de nombres de l'infini négatif à l'infini positif; nous pourrons ainsi l'appeler la partie scalaire. »

[modifier] Définitions et propriétés

[modifier] Scalaires d'espaces vectoriels

Un espace vectoriel est défini comme un ensemble de vecteurs, associé à un ensemble de scalaires, munis de plusieurs lois, dont une est une loi de multiplication par un scalaire qui associe à un scalaire $λ$ et un vecteur $v$ un autre vecteur $λ. v$ . Par exemple, dans l'espace vectoriel $K n$ des $n$ -uplets d'éléments d'un corps commutatif $K$ , la multiplication par un scalaire $λ$ d'un vecteur $(x_1, \ldots, x_n)$ donne un vecteur $\lambda.(x_1, \ldots, x_n)=(\lambda.x_1, \ldots, \lambda.x_n)$ . Dans un espace vectoriel fonctionnel, pour un scalaire $λ$ et une fonction $f$ , $λ. f$ est la fonction $x\mapsto \lambda.f(x)$ .

Les scalaires peuvent être pris dans n'importe quel corps commutatif, incluant celui des rationnels, des nombres algébriques, des nombres réels, et des nombres complexes, aussi bien que les corps finis.

[modifier] Scalaires en tant que composantes de vecteurs

Tout espace vectoriel de dimension finie sur un corps de scalaires commutatif $K$ est isomorphe à l'espace vectoriel $K n$ formé de $n$ -uplets de scalaires de $K$ . Par exemple, tout espace vectoriel réel de dimension $n$ est isomorphe à l'espace vectoriel réel $\mathbb{R}^n$ de dimension $n$ .

[modifier] Produit scalaire

Un espace préhilbertien est un espace vectoriel $E$ muni d'un produit scalaire qui est une loi permettant à deux vecteurs d'être multipliés pour donner un nombre. Le résultat ou produit, est généralement défini comme étant un élément du corps des scalaires de $E$ . Puisque le produit scalaire d'un vecteur avec lui-même doit être positif, un espace avec un produit scalaire ne peut être défini que sur un corps qui donne un sens à la notion de signe. Cela exclut les corps finis, par exemple.

L'existence d'un produit scalaire rend possible l'introduction dans un espace vectoriel de l'intuition géométrique des espaces euclidiens en fournissant une notion bien définie d'angle entre deux vecteurs, et en particulier une manière d'exprimer l'orthogonalité deux vecteurs. La plupart des espaces muni d'un produit scalaire peuvent également être considérés comme des espaces vectoriels normés de manière naturelle.

[modifier] Scalaires dans les espaces vectoriels normés

Un espace vectoriel $E$ peut être muni d'une norme qui associe à chaque vecteur $v$ de $E$ un scalaire $| | v | |$ . Par définition de la norme, en multipliant un vecteur $v$ par un scalaire $λ$ , on multiplie sa norme par $| λ |$ . Si $| | v | |$ est interprété comme la longueur de $v$ , alors cette opération de multiplication de la longueur de $v$ par un rapport de proportion $| λ |$ . Un espace vectoriel muni d'une norme s'appelle un espace vectoriel normé.

La norme est habituellement à valeur dans le corps des scalaires de $E$ , qui limite ce dernier à un corps supportant la notion du signe. D'ailleurs, si $E$ est de dimension supérieure à 2, $K$ doit être fermé pour la racine carrée, aussi bien que les quatre opérations arithmétiques; ainsi l'ensemble des nombres rationnels $\mathbb{Q}$ est exclus, mais l'ensemble des nombres constructibles convient. Pour cette raison, tous les espaces vectoriels munis de produit scalaire ne sont pas des espaces vectoriels normés.

[modifier] Scalaires dans les modules

Quand la condition demandant à l'ensemble des scalaires d'être un corps commutatif est affaiblie, de sorte que l'ensemble n'a pas besoin que de former un anneau (par exemple, lorsque la division des scalaires n'a pas besoin d'être définie), la structure algébrique plus générale ainsi obtenue est appelée un module. Dans ce cas, les « scalaires » peuvent être des objets compliqués. Par exemple, si $A$ est un anneau, les vecteurs de l'espace produit $A n$ peuvent former un module constitué de matrices $n\times n$ dont les entrées sont des scalaires de $A$ . Un autre exemple peut être emprunté à la théorie des variétés, où l'espace des sections du fibré tangent forment un module sur l'algèbre des fonctions réelles définies sur la variété.

[modifier] Homothéties vectorielles

La multiplication par un scalaire des vecteurs d'espaces vectoriels et de modules est un cas particulier d'une homothétie vectorielle, un type d'application linéaire.

[modifier] Voir aussi

Articles d'algèbre linéaire générale
vecteur • scalaire • combinaison linéaire • espace vectoriel
famille de vecteurs		sous-espace
colinéarité • indépendance linéaire famille libre ou liée • rang famille génératrice • base théorème de la base incomplète		somme • somme directe supplémentaire dimension • codimension droite • plan • hyperplan
morphismes et notions relatives
application linéaire • noyau • conoyau • lemme des noyaux pseudo-inverse• théorème de factorisation • théorème du rang équation linéaire • système • élimination de Gauss-Jordan forme linéaire • espace dual • orthogonalité • base duale endomorphisme • valeur, vecteur, espace propres • spectre projecteur • symétrie • diagonalisable • nilpotent
en dimension finie
trace • déterminant • polynôme caractéristique polynôme d'endomorphisme • théorème de Cayley-Hamilton polynôme minimal • invariants de similitude réduction • réduction de Jordan • décomposition de Dunford
matrice
enrichissements de structure
norme • produit scalaire • forme quadratique • topologie orientation • multiplication • crochet de Lie • différentielle
développements
théorie des matrices • théorie des représentations analyse fonctionnelle • algèbre multilinéaire module sur un anneau