Algebra 20 Matrici 1 rango e riduzione.ipynb

{
 "metadata": {
  "name": "",
  "signature": "sha256:f5934b1ac902b923d954d2a1b4b389363e519435065a04023e2c5569ca02ba14"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {
     "cell_type": "markdown",
     "metadata": {},
     "source": [
      "#Matrice\n",
      "Rappresentazione di un insieme di vettori si pu\u00f2 utilizzare una visualizzaione in tabella.\n",
      "$$\n",
      "v_0 = (30, 10, 10) \\\\\n",
      "v_1 = (20, 20, 5) \\\\\n",
      "v_2 = (15, 15 ,10) \\\\\n",
      "\\begin{bmatrix}\n",
      "30 & 10 & 10 \\\\\n",
      "20 & 20 & 5  \\\\\n",
      "15 & 15 & 10 \\\\\n",
      "\\end{bmatrix}\n",
      "$$\n",
      "Questa rappresentazione in tabella \u00e8 definita matrice.  \n",
      "Il numero di righe e colonne dipende dall'applicazione ma non esiste un limite predefinito.  \n",
      "$$\n",
      "\\begin{pmatrix}\n",
      "0 & 3 & 4 & 1 \\\\\n",
      "0 & 1 & 1 & 1 \\\\\n",
      "1 & -1 & 0 & 0\n",
      "\\end{pmatrix}\n",
      "$$\n",
      "Anche la scelta delle parentesi non ha un significato a priori.  \n",
      "Quindi una matrice $A$ con $m$ righe e $n$ colonne avr\u00e0 il seguente schema\n",
      "$$\n",
      "A = \n",
      "\\begin{bmatrix}\n",
      "a_{11} & \\cdots & a_{1n} \\\\\n",
      "\\vdots & \\ddots & \\vdots \\\\\n",
      "a_{m1} & \\cdots & a_{mn} \n",
      "\\end{bmatrix}\n",
      "$$\n",
      "Secondo questa notazione l'elemento di valore 3 della tabella precedente sar\u00e0 l'elemento $a_{12}$.  \n",
      "Ogni elemento quindi pu\u00f2 essere identificato da una riga e una colonna.\n",
      "##Spazio delle righe e delle colonne\n",
      "Guardando la tabella, guardando le righe, ogni riga \u00e8 una n-upla. Quindi vedendo ogni riga come un vettore queste generano uno spazio vettoriale in $R^n$.  \n",
      "Allo stesso modo le colonne, vista ognuna come un vettore, generano un'altro spazio vettoriale questa volta sottospazio di $R^m$.  \n",
      "Per esempio data la matrice:\n",
      "$$\n",
      "A = \n",
      "\\begin{bmatrix}\n",
      "1 & 1 & 1 \\\\\n",
      "2 & 1 & 0\n",
      "\\end{bmatrix}\n",
      "$$\n",
      "*Spazio delle righe*\n",
      "$$\n",
      "r_0 = (1, 1, 1) \\\\\n",
      "r_1 = (2, 1, 0) \\\\\n",
      "\\subseteq R^3\n",
      "$$\n",
      "*Spazio delle colonne*\n",
      "$$\n",
      "c_1 = (1, 2) \\\\\n",
      "c_2 = (1, 1) \\\\\n",
      "c_3 = (1, 0) \\\\\n",
      "\\subseteq R^2\n",
      "$$\n",
      "Quindi una stessa matrice pu\u00f2 dare origini a spazi di righe e colonne molto diversi.\n",
      "#Rango di una matrice\n",
      "Quando lavoro con una matrice posso identificare la dimensione degli spazi delle righe e degli spazi delle colonne. Questi coincidono e coincidono anche con il rango della matrice stessa.\n",
      "$$\n",
      "\\dim{L(R_1, \\dots, R_m)} \\\\\n",
      "= \\\\\n",
      "\\dim{L(C_1, \\dots, C_n)} \\\\\n",
      "= \\\\\n",
      "\\text{Rango di }A = \\rho(A)\n",
      "$$\n",
      "Data la matrice;\n",
      "$$\n",
      "A = \n",
      "\\begin{pmatrix}\n",
      "1 & 2 & 1 \\\\\n",
      "0 & 1 & 3 \\\\\n",
      "\\end{pmatrix}\n",
      "$$\n",
      "Spazio delle righe\n",
      "$$\n",
      "R_1 = (1, 2, 1) \\\\\n",
      "R_2 = (0 ,1, 3) \\\\\n",
      "l.i \\Rightarrow \\dim{L(R_1, R_2)} = 2 \\\\\n",
      "\\rho(A) = 2\n",
      "$$\n",
      "Spazio delle colonne\n",
      "$$\n",
      "C_1 = (1, 0) \\\\\n",
      "C_2 = (2, 1) \\\\\n",
      "C_3 = (1, 3) \\\\\n",
      "\\dim{L(C_1, C_2, C_3)} = 2 \\\\\n",
      "\\rho(A) = 2\n",
      "$$\n",
      "Questo modo di procedere per quanto semplice non \u00e8 ottimale man mano che la matrice cresce di dimensioni.  \n",
      "$$\n",
      "A = \n",
      "\\begin{pmatrix}\n",
      "1 & 2 & 1 \\\\\n",
      "0 & 1 & 3 \\\\\n",
      "0 & 5 & 0 \\\\\n",
      "\\end{pmatrix}\n",
      "$$\n",
      "Questa matrice \u00e8 gia pi\u00f9 complessa ma posso notare facilmente che\n",
      " * La prima riga non \u00e8 nulla\n",
      " * La seconda riga, avendo uno 0 dove la prima ha un 1, non pu\u00f2 essere multipla della prima.\n",
      " * Lo stesso vale per la terza riga.\n",
      " \n",
      "La presenza di 0 in posizioni strategiche permette di capire facilmente quando due vettori sono indipendenti e di conseguenza capire la dimensione dello spazio vettoriale e di conseguenza del campo della matrice.  \n",
      "##Matrici ridotte per righe\n",
      "$$\n",
      "A = \n",
      "\\begin{pmatrix}\n",
      "\\diamond & \\square & \\diamond & \\diamond & \\diamond \\\\\n",
      "\\square  & 0       & \\diamond & \\diamond & \\diamond \\\\\n",
      "0        & 0       & \\square  & \\diamond & \\diamond \\\\\n",
      "0        & 0       & 0        & \\diamond & \\square  \\\\\n",
      "0        & 0       & 0        & \\diamond & 0        \\\\\n",
      "\\end{pmatrix} \\\\\n",
      "\\begin{align}\n",
      "\\square & = \\text{elemento speciale != 0} \\\\\n",
      "\\diamond & = \\text{elemento qualsiasi}\\\\\n",
      "0 & = \\text{zero}\n",
      "\\end{align}\n",
      "$$\n",
      "I numeri speciali sono quei numeri sotto i quali, nella stessa colonna, si trovono solo 0.  \n",
      "Una matrice di questi tipo ha un rango pari il numero delle righe non nulle.  \n",
      "\n",
      "Il medesimo ragionamento pu\u00f2 essere fatto per le colonne.\n",
      "$$\n",
      "A = \n",
      "\\begin{pmatrix}\n",
      "\\diamond & \\square  & 0        & 0        & 0        \\\\\n",
      "\\square  & 0        & 0        & 0        & 0        \\\\\n",
      "\\diamond & \\diamond & \\square  & 0        & 0        \\\\\n",
      "\\diamond & \\diamond & \\diamond & \\diamond & \\diamond \\\\\n",
      "\\diamond & \\diamond & \\diamond & \\square  & 0        \\\\\n",
      "\\end{pmatrix} \\\\\n",
      "$$\n",
      "\n",
      "Il problema \u00e8 che raramente le matrici su cui lavorare sono ridotte per righe o per colonne.  \n",
      "Devo cercare quindi un'operazione che mi permette di trovare una matrice $A^1$ ridotta che abbia lo stesso rango della matrice di origine.  \n",
      "Mi servno delle operazioni che conservano il rango della matrice.  \n",
      "#Trasformazione elementare (sulle righe)\n",
      " 1. Moltiplicazione di una riga\n",
      "Posso moltiplicare tutti i valori di una riga per un valore $a \\neq 0$ e il rango della matrice non cambia.\n",
      " 2. Scambiare di posto le righe\n",
      "Posso scambare di posto la riga $R_i$ e la righa $R_j$ con $i \\neq j$ e il rango della matrica non cambia\n",
      " 3. Somma al multiplo\n",
      "Posso prendere una riga $R_i$ e una riga $R_j$ con $i \\neq j$.  \n",
      "Quindi sostituire la riga $R_i$ con una nuova riga alla quale sommo a ogni valore di $R_i$ i valori di $R_j$ moltiplicati per un $a \\neq 0$.  \n",
      "Anche in questo caso il rango non cambia\n",
      "\n",
      "###Esempio delle operazioni\n",
      "$$\n",
      "A = \n",
      "\\begin{pmatrix}\n",
      "1     & 1     & 1     \\\\\n",
      "2     & 1     & 1     \\\\\n",
      "3     & 1     & -1    \n",
      "\\end{pmatrix}\n",
      "\\rightarrow R_2 - 1R_1 \\\\ \\rightarrow \n",
      "\\begin{pmatrix}\n",
      "1     & 1     & 1     \\\\\n",
      "1     & 0     & 0     \\\\\n",
      "3     & 1     & -1    \n",
      "\\end{pmatrix} \n",
      "\\rightarrow R_3 + R_1 \\\\ \\rightarrow \n",
      "\\begin{pmatrix}\n",
      "1     & 1     & 1     \\\\\n",
      "1     & 0     & 0     \\\\\n",
      "4     & 2     & 0  \n",
      "\\end{pmatrix} \n",
      "\\rightarrow R_3 - 4R_2 \\\\ \\rightarrow \n",
      "\\begin{pmatrix}\n",
      "1     & 1     & 1     \\\\\n",
      "1     & 0     & 0     \\\\\n",
      "0     & 2     & 0  \n",
      "\\end{pmatrix} \n",
      "\\rightarrow \\text{ Matrice ridotta per righe } \\rho(a) = 3\n",
      "$$\n",
      "\n",
      "Tutto questo vale anche per le colonne.  \n",
      "\n",
      "##Applicazione agli spazi vettoriali\n",
      "Creando una matrice che ha come righe i generatori di uno spazio vettoriale e calcolando il rango della matrice in realt\u00e0 sto calcolando la dimensione dello spazio vettoriale dato dai generatori utilizzati.  \n",
      "Dato uno spazio vettoriale generato da:\n",
      "$$\n",
      "R_0 = (1, 1, 2, 1) \\\\\n",
      "R_1 = (2, 1, 0, 3) \\\\\n",
      "R_3 = (4, 4, 1, 0) \\\\\n",
      "$$\n",
      "Genero la matrice:\n",
      "$$\n",
      "\\begin{pmatrix}\n",
      "1 & 1 & 2 & 1 \\\\\n",
      "2 & 1 & 0 & 3 \\\\\n",
      "4 & 4 & 1 & 0 \n",
      "\\end{pmatrix}\n",
      "$$\n",
      "Tramite le trasformazioni elementari la riduco\n",
      "$$\n",
      "\\begin{pmatrix}\n",
      "1 & 1 & 2 & 1 \\\\\n",
      "2 & 1 & 0 & 3 \\\\\n",
      "4 & 4 & 1 & 0 \n",
      "\\end{pmatrix} \\\\\n",
      "\\downarrow \\\\\n",
      "\\begin{pmatrix}\n",
      "1 & 1 & 2 & 1 \\\\\n",
      "2 & 1 & 0 & 3 \\\\\n",
      "7 & 7 & 0 & -1 \n",
      "\\end{pmatrix} \\\\\n",
      "\\downarrow \\\\\n",
      "\\begin{pmatrix}\n",
      "1  & 1 & 2 & 1 \\\\\n",
      "2  & 1 & 0 & 3 \\\\\n",
      "-7 & 0 & 0 & -22 \\\\ \n",
      "\\end{pmatrix} \\\\\n",
      "$$\n",
      "Matrice di rango 3, quindi lo spazio vettoriale \u00e8 di dimensione 3\n"
     ]
    }
   ],
   "metadata": {}
  }
 ]
}