diff --git "a/Chapitre 2 - Algebre matricielle/2.6-2.7 Crit\303\250res d'inversibilit\303\251.ipynb" "b/Chapitre 2 - Algebre matricielle/2.6-2.7 Crit\303\250res d'inversibilit\303\251.ipynb" index 3898d99..3db2739 100644 --- "a/Chapitre 2 - Algebre matricielle/2.6-2.7 Crit\303\250res d'inversibilit\303\251.ipynb" +++ "b/Chapitre 2 - Algebre matricielle/2.6-2.7 Crit\303\250res d'inversibilit\303\251.ipynb" @@ -1,52 +1,161 @@ { "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ - "# **Concept(s)-clé(s) et théorie**\n" + "# **Concept(s)-clé(s) et théorie**\n", + "\n", + "## PREMIER CRITÈRE D'INVERSIBILITÉ \n", + "Une matrice $A \\in M_{n \\times n}(\\mathbb{R})$ est inversible si et seulement si le système homogène $Ax=0$ possède une solution unique, à savoir, la solution triviale.\n", + "\n", + "## COROLLAIRE DU PREMIER CRITÈRE D'INVERSIBILITÉ \n", + "Soit $A \\in M_{n \\times n}(\\mathbb{R})$ alors les deux affirmations suivantes sont vérifiées.\n", + "\n", + "1. La matrice $A$ est inversible si et seulement s'il existe $B \\in M_{n \\times n}(\\mathbb{R})$ telle que $BA = I_n$.\n", + "2. La matrice $A$ est inversible si et seulement s'il existe $C \\in M_{n \\times n}(\\mathbb{R})$ telle que $AC = I_n$.\n", + "\n", + "## RAPPEL: ALGORITHME POUR TROUVER L'INVERSE D'UNE MATRICE DONNÉE\n", + "Soit $A \\in M_{n \\times n}(\\mathbb{R})$ une matrice carrée. Afin de déterminer si $A$ est inversible et de calculer son inverse (lorsque c'est possible), on procède comme suit :\n", + "\n", + "1. Ecrire les matrices $A$ et $I_n$ l'une à côté de l'autre, formant ainsi une nouvelle matrice de taille $n \\times 2n$\n", + "2. Opérer sur les lignes de cette matrice ainsi obtenue, afin de réduire le côté gauche à $I_n$\n", + "3. Si l'on y arrive, alors $A$ est inversible et son inverse $A^{-1}$ est donnée par la matrice à droite." ] }, { "cell_type": "code", - "execution_count": null, + "execution_count": 1, "metadata": {}, - "outputs": [], + "outputs": [ + { + "data": { + "text/html": [ + " \n", + " " + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "text/html": [ + " \n", + " " + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], "source": [ - "import AL_Fct as al\n", + "import Librairie.AL_Fct as al\n", + "import Corrections.corrections as corrections\n", "import numpy as np\n", "from numpy.linalg import *\n", "from numpy.linalg import multi_dot\n", "from ipywidgets import interact_manual" ] }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "### EXERCICE 1\n", + "Considérez le système linéaire générique $Ax=b$ avec $A \\in \\mathbb{R}^{n \\times n}$ et $b \\in \\mathbb{R}^n$; marquez celles des déclarations suivantes qui pourraient être vraies pour certaines valeurs de $A$ et $b$." + ] + }, + { + "cell_type": "code", + "execution_count": 2, + "metadata": {}, + "outputs": [ + { + "data": { + "application/vnd.jupyter.widget-view+json": { + "model_id": "b450561f0bd64af6a9dee858cf2bd58b", + "version_major": 2, + "version_minor": 0 + }, + "text/plain": [ + "interactive(children=(Checkbox(value=False, description='$A^{-1}$ existe et le système admet plusieurs solutio…" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "corrections.Ex1Chapitre2_6_7()" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "# IDEA\n", + "\n", + "1. Remainder exercise to compute the inverse of a square matrix\n", + "2. Give 3 matrices and tell which of those is invertible and which is not\n", + "3. Give two matrices (one with parameter); identify the value of the parameter (or the values) that makes the matrices one the inverse of the other" + ] + }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", - "version": "3.6.8" + "version": "3.7.4" } }, "nbformat": 4, "nbformat_minor": 2 }