$$ \DeclareMathOperator{\vect}{vect} \DeclareMathOperator{\Ima}{Im} \DeclareMathOperator{\card}{card} \DeclareMathOperator{\Mat}{Mat} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\rg}{rg} \DeclareMathOperator{\tr}{tr} \DeclareMathOperator{\Id}{Id} \DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh} \DeclareMathOperator{\xhookrightarrow}{\raisebox{\depth}{\rotatebox{180}{\reflectbox{$\hookrightarrow$}}}} \renewcommand{\th}{\text{th}} \DeclareMathOperator{\argth}{argth} \DeclareMathOperator{\Arg}{Arg} \newcommand\Isom{\mathcal{I}\text{som}} \newcommand{\DL}[1]{développement limité à l'ordre $#1$ en zéro}$$
LMPrépa

Chapitre 20 : OELC - Systèmes linéaires

Questions de cours

1. Définir les matrices de dilatation, transposition, transvection.

Définition : Matrice de dilatation
Si $\alpha \in K$, on note $D_i(\alpha) = \bordermatrix{& & & & i & & \cr & 1 & & & & \cr & & \ddots & & & & 0 & \cr & & & 1 & & & \cr & & & & \alpha & & \cr & & & & & 1 & \cr & & 0 & & & & \ddots & \cr & & & & & & & 1}$
Définition : Matrice de transposition
$T_{ij}$ est la matrice obtenue en faisant à $I_n$ la transformation $L_i \leftrightarrow L_j$ (ou $C_i \leftrightarrow C_j$)
$T_{ij} = \bordermatrix{& & & & i & & & & j & & & \cr & 1 & & & \vdots & & & & \vdots \cr & & \ddots & & \vdots & & & & \vdots \cr & & & 1 & \vdots & & & & \vdots \cr i& \cdots & \cdots & \cdots & 0 & \cdots & \cdots & \cdots & 1 \cr & & & & \vdots & 1 \cr & & & & \vdots & & \ddots \cr & & & & \vdots & & & 1 \cr j & \cdots & \cdots & \cdots & 1 & & & & 0 \cr & & & & & & & & & 1 \cr & & & & & & & & & & \ddots \cr & & & & & & & & & & & 1}$
Définition : Matrice de transvection
Si $\lambda\in K$ et $i\neq j$, on note $V_{ij}(\lambda) = I_n + \lambda E_{ij}$ où $E_{ij}$ est la matrice élémentaire avec $(i,j)\in [\![ 1;n ]\!]^2$
$V_{ij}(\lambda) = \bordermatrix{& & & & j & \cr & 1 & & & \vdots \cr & & \ddots & & \vdots \cr i & \cdots & \cdots & \cdots & \lambda \cr & & & & \ddots \cr & & & & & 1}$

2. Qu'est ce qu'un système linéaire compatible ? incompatible ? Donner la forme générale des solutions d'un système linéaire.

Notations :
$A\in M_n(\mathbb{R}) \to f_A \in \mathscr{L}(\mathbb{R}^p;\mathbb{R}^n)$
$X = \begin{pmatrix} x_1
\vdots
x_p\end{pmatrix} \to x = (x_1,...,x_p)\in \mathbb{R}^p$
$Y = \begin{pmatrix} b_1
\vdots
b_n \end{pmatrix} \to y = (b_1,...,b_n)\in \mathbb{R}^n$

$(S) \leftrightarrow AX = Y \leftrightarrow f_A(x) = y$ (équation affine)

$y$ est fixée $f_A$ est donnée. Il s'agit de chercher les antécédents de $y$ par $f_A$.
D'après le cours sur les espaces vectoriel de dimension finie :
$1^{\text{er}}$ cas : Si $y\notin \Ima(f_A)$, alors $(S)$ n'a pas de solution. On dit que le système est incompatible.

$2^{\text{ème}}$ cas : Si $y\in \Ima(f_A)$ : Alors $\mathscr{S}$ est un sous-espace affine de $\mathbb{R}^p$ dirigé par $\ker(f_A)$ (système compatible). Si $u = (u_1,...,u_p)$ est une solution particulière de $\mathscr{S}$ alors $\mathscr{S} = u + \ker(f_A)$ (translaté)

Définition Forme générale d'un système linéaire :
Données : $(b_1,...,b_n)\in \mathbb{R}^n$ (ou $\mathbb{C}^n$) et $\displaystyle{}(a_{ij})_{\substack{1\leq i \leq n\\1\leq j \leq p}}$ où $n\in\mathbb{N}^*$, $p\in \mathbb{N}^*$

Système :
$\left\lbrace\begin{array}{c}a_{11}x_1 + ... + a_{1p}x_p = b_1\\ a_{21}x_1 + ... + a_{2p}x_p = b_2 \\ \vdots \\ a_{n1}x_1 + ... + a_{np}x_p = b_n \end{array} \right.$

Ensemble des solutions : $$\mathscr{S} = \{ (x_1,...,x_p)\in \mathbb{R}^p \text{ satisfaisant }(S) \}$$

3. Qu'est ce qu'un système de Cramer ?

Définition :
Lorsque $n = p$ (autant d'équations que d'inconnus) et lorsque $A$ est inversible alors on dit que le système est de Cramer.

4. Calcul de l'inverse du rang d'une matrice, résolution de systèmes linéaires, via des OELC et le pivot de Gauss (exemple laissés au colleur en exercice)


Page précédente :
QC 19 : Matrices (II)
Page suivante :
QC 21 : Le groupe symétrique