186 lines
5.3 KiB
TeX
186 lines
5.3 KiB
TeX
\langchapter{Algèbre}{Algebra}
|
|
%TODO Complete chapter
|
|
|
|
\section{Structures}
|
|
%TODO Complete section
|
|
|
|
\subsection{Monoïd}
|
|
%TODO Complete subsection
|
|
|
|
\langsubsection{Corps}{Field}
|
|
%TODO Complete subsection
|
|
|
|
\langsubsection{Anneau}{Ring}
|
|
%TODO Complete subsection
|
|
|
|
\section{Matrices}
|
|
%TODO Complete section
|
|
|
|
Un matrice est une structure qui permet de regrouper plusieurs éléments d'un corps $\K$ en un tableau de $n$ lignes et $m$ colonnes ou plus et est notée $\mathcal{M}_{n,m}(\K)$. Dans le cas d'une matrice carrée , on peux simplifier la notation en $\mathcal{M}_{n}(\K)$.
|
|
|
|
\begin{definition_sq} \label{definition:square_matrix}
|
|
Une matrice carrée (notée $\mathcal{M}_n(\K)$) est une matrice $\mathcal{M}_{n,m}(\K)$ d'un corps $\K$ où $n = m$.
|
|
\end{definition_sq}
|
|
|
|
\begin{definition_sq} \label{definition:identity_matrix}
|
|
La matrice identité (notée $I_n$) est une matrice carrée \ref{definition:square_matrix} tel que $\forall (i,j) \in \{1, \cdots, n\}^2, M_{i,j} = \begin{cases} i = j & 1 \\ \otherwise & 0 \end{cases}$
|
|
\end{definition_sq}
|
|
|
|
\subsection{Trace}
|
|
%TODO Complete subsection
|
|
|
|
$\forall A \in \mathcal{M}_{n}, tr(A)=\sum_{k=1}^na_{kk}$
|
|
|
|
$tr\in\mathcal{L}(\mathcal{M}_n(\K),\K)$
|
|
|
|
$\forall(A,B)\in\mathcal{M}_{n,p}(\K)\times\mathcal{M}_{p,n}(\K), tr(AB) = tr(BA)$
|
|
|
|
\langsubsection{Valeurs propres}{Eigenvalues}
|
|
%TODO Complete subsection
|
|
|
|
\subsubsection{Astuces pour le cas 2x2}
|
|
|
|
Avec $m := \frac{Tr(A)}{2}$
|
|
|
|
$Eigenvalues = m \pm \sqrt{m^2-det(A)}$
|
|
|
|
\langsubsection{Vecteurs propres}{Eigenvectors}
|
|
%TODO Complete subsection
|
|
|
|
\langsubsubsection{Polynôme caractéristique}{Characteristic polyonomial}
|
|
%%TODO Complete subsubsection
|
|
|
|
\langsubsection{Déterminant}{Determinant}
|
|
%%TODO Complete subsection
|
|
|
|
$\function{D}{\mathcal{M}_{m\times n}(\R)}{R}$
|
|
|
|
\langsubsubsection{Axiomes}{Axioms}
|
|
%%TODO Complete subsubsection
|
|
|
|
|
|
$\forall M \in \mathcal{M}_{m\times n}$
|
|
\begin{itemize}
|
|
\item{$M' = \begin{pmatrix}1 & 0 & \cdots & 0 \\ 0 & 1 & \cdots & 0 \end{pmatrix}M$}
|
|
\item{$\forall \lambda \in K, D(\lambda M) = \lambda D(M)$}
|
|
\item{}
|
|
\end{itemize}
|
|
|
|
\langsubsubsection{Cas 2x2}{2x2 case}
|
|
%TODO Complete subsubsection
|
|
|
|
$det\left(\begin{bmatrix}a & b\\c & d\end{bmatrix}\right) = ad - bc$
|
|
|
|
\langsubsubsection{Cas 3x3}{3x3 case}
|
|
%TODO Complete subsubsection
|
|
|
|
\subsection{Inverse}
|
|
%TODO Complete subsection
|
|
|
|
$det(M) \neq 0$
|
|
|
|
$(AB)^{-1} = B^{-1}A^{-1}$
|
|
|
|
\langsubsection{Diagonalisation}{Diagonalization}
|
|
%TODO Complete subsection
|
|
|
|
\langsubsection{Orthogonalité}{Orthogonality}
|
|
%TODO Complete subsection
|
|
|
|
$det(M) \in \{-1,1\}$
|
|
|
|
\subsection{Triangulation}
|
|
%TODO Complete subsection
|
|
|
|
$a \in Tr_n$
|
|
|
|
\langsection{Formes quadratiques}{Quadratic forms}
|
|
%TODO Complete section
|
|
|
|
\langsubsection{Forme linéaire}{Linear form}
|
|
%TODO Complete subsubsection
|
|
|
|
\langsubsubsection{Cas 2x2}{2x2 case}
|
|
%TODO Complete subsection
|
|
|
|
$a_1x_1^2 + a_2x_1x_2 + a_3x_2^2 = b$
|
|
|
|
\langsubsubsection{Cas 3x3}{3x3 case}
|
|
%TODO Complete subsection
|
|
|
|
$a_1x_1^2 + a_2x_2^2 + a_3x_3^3 + a_4x_1x_2 + a_5x_1x_3 + a_6x_2x_3$
|
|
|
|
\langsubsection{Forme matricielle}{Matrix form}
|
|
%TODO Complete subsubsection
|
|
|
|
\langsubsubsection{Cas 2x2}{2x2 case}
|
|
%TODO Complete subsection
|
|
|
|
$\begin{bmatrix}x_1 & x_2\end{bmatrix}
|
|
\begin{bmatrix}a_1 & \frac{a_2}{2} \\\frac{a_2}{2} & a_3\end{bmatrix}
|
|
\begin{bmatrix}x_1\\x_2\end{bmatrix}
|
|
= b \Leftrightarrow X^TAX$
|
|
|
|
\langsubsubsection{Cas 3x3}{3x3 case}
|
|
%TODO Complete subsection
|
|
|
|
$\begin{bmatrix}x_1 & x_2 & x_3 \end{bmatrix}
|
|
\begin{bmatrix}a_1 & \frac{a_2}{3} & \frac{a_4}{3} \\\frac{a_2}{3} & a_2 & \frac{a_3}{3} \\\frac{a_3}{3} & \frac{a_4}{3} & a_3\end{bmatrix}
|
|
\begin{bmatrix}x_1\\x_2\\x_3\end{bmatrix}
|
|
= b \Leftrightarrow X^TAX$
|
|
|
|
\langsubsection{Cas général}{General case}
|
|
%TODO Complete subsection
|
|
|
|
\langsubsubsection{Forme linéaire}{Linear form}
|
|
%TODO Complete subsubsection
|
|
|
|
$a_1x_1^2 + a_2x_2^2 + a_3x_3^3 + a_4x_1x_2 + a_5x_1x_3 + a_6x_2x_3$
|
|
|
|
\langsubsubsection{Forme matricielle}{Matrix form}
|
|
%TODO Complete subsubsection
|
|
|
|
$X \in \mathcal{M}_{1,n}$
|
|
|
|
$X = \begin{bmatrix}x_1, \cdots, x_n\end{bmatrix}$
|
|
|
|
$A \in \mathcal{T}^+_{n,n}$
|
|
|
|
$A = \begin{bmatrix}x_1, \cdots, x_n\end{bmatrix}$
|
|
|
|
\langsection{Espaces vectoriels}{Vectors spaces}
|
|
%TODO Complete section
|
|
|
|
Soit $(E,+)$ un groupe abélien (i.e. commutatif) de $\mathbb{K}$
|
|
|
|
\begin{itemize}
|
|
\item{muni d'une loi de composition interne notée $+$}
|
|
\item{muni d'une loi de composition externe $\mathbb{K}*E \rightarrow E$ vérifiant $(\alpha,x) \rightarrow \alpha x$}
|
|
\end{itemize}
|
|
|
|
\bigskip
|
|
Et vérifiant $\forall(\alpha,\beta) \in \mathbb{K}, \forall(a,b,c) \in E$
|
|
|
|
\begin{itemize}
|
|
\item{Commutativité $a + b = b + a$}
|
|
\item{Associativité $(a + b) + c = a + (b + c)$}
|
|
\item{Élement neutre de $+ \Leftrightarrow \exists 0_E \in E : a + 0_E = a$}
|
|
\item{Élement neutre de $* \Leftrightarrow \exists 1_K \in K : a \cdot 1_K = a$}
|
|
\item{Élement opposé $\forall a \in E, \exists b \in E : a + b = b + a = 0_E$}
|
|
\item{Stabilité par $+ \Leftrightarrow a + b \in E$}
|
|
\item{Distributivité $+$ de $\mathbb{K} \Leftrightarrow (\alpha+\beta)a=\alpha a + \beta a$}
|
|
\item{Distributivité $*$ de $\mathbb{K} \Leftrightarrow (\alpha*\beta)a=\alpha(\beta a)$}
|
|
\end{itemize}
|
|
|
|
\langsubsection{sous-espaces vectoriels}{Sub vector spaces}
|
|
%TODO Complete subsection
|
|
|
|
Soit $E$ un $\mathbb{K}$-espace vectoriel et $F \subset E$
|
|
|
|
\begin{itemize}
|
|
\item{$F \ne \emptyset$}
|
|
\item{$0_E \in F$}
|
|
\item{$\forall(\alpha,\beta)\in\mathbb{K}, \forall(x,y)\in F, \alpha x+\beta y\in F$}
|
|
\end{itemize}
|
|
|