diff --git a/Analisi I/PDF/Calculus/Classificazione di funzioni.pdf b/Analisi I/Calculus/Classificazione di funzioni.pdf similarity index 100% rename from Analisi I/PDF/Calculus/Classificazione di funzioni.pdf rename to Analisi I/Calculus/Classificazione di funzioni.pdf diff --git a/Analisi I/PDF/Calculus/Eq. differenziali.pdf b/Analisi I/Calculus/Eq. differenziali.pdf similarity index 100% rename from Analisi I/PDF/Calculus/Eq. differenziali.pdf rename to Analisi I/Calculus/Eq. differenziali.pdf diff --git a/Analisi I/PDF/Calculus/Introduzione agli integrali.pdf b/Analisi I/Calculus/Introduzione agli integrali.pdf similarity index 100% rename from Analisi I/PDF/Calculus/Introduzione agli integrali.pdf rename to Analisi I/Calculus/Introduzione agli integrali.pdf diff --git a/Analisi I/PDF/Calculus/Polinomi di Taylor.pdf b/Analisi I/Calculus/Polinomi di Taylor.pdf similarity index 100% rename from Analisi I/PDF/Calculus/Polinomi di Taylor.pdf rename to Analisi I/Calculus/Polinomi di Taylor.pdf diff --git a/Analisi I/PDF/Calculus/Punti notevoli di Taylor.pdf b/Analisi I/Calculus/Punti notevoli di Taylor.pdf similarity index 100% rename from Analisi I/PDF/Calculus/Punti notevoli di Taylor.pdf rename to Analisi I/Calculus/Punti notevoli di Taylor.pdf diff --git a/Analisi I/PDF/Esercitazioni/Es. sui punti notevoli.pdf b/Analisi I/Esercitazioni/Es. sui punti notevoli.pdf similarity index 100% rename from Analisi I/PDF/Esercitazioni/Es. sui punti notevoli.pdf rename to Analisi I/Esercitazioni/Es. sui punti notevoli.pdf diff --git a/Analisi I/PDF/Esercitazioni/Es. sulle parti principali.pdf b/Analisi I/Esercitazioni/Es. sulle parti principali.pdf similarity index 100% rename from Analisi I/PDF/Esercitazioni/Es. sulle parti principali.pdf rename to Analisi I/Esercitazioni/Es. sulle parti principali.pdf diff --git a/Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio.eps b/Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio.eps similarity index 100% rename from Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio.eps rename to Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio.eps diff --git a/Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio2.eps b/Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio2.eps similarity index 100% rename from Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio2.eps rename to Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/esempio2.eps diff --git a/Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/main.pdf b/Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/main.pdf similarity index 100% rename from Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/main.pdf rename to Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/main.pdf diff --git a/Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/main.tex b/Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/main.tex similarity index 100% rename from Analisi I/PDF/Parte teorica/2023-03-17, Successioni per ricorrenza/main.tex rename to Analisi I/Parte teorica/2023-03-17, Successioni per ricorrenza/main.tex diff --git a/Analisi I/PDF/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.pdf b/Analisi I/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.pdf similarity index 100% rename from Analisi I/PDF/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.pdf rename to Analisi I/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.pdf diff --git a/Analisi I/PDF/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.tex b/Analisi I/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.tex similarity index 100% rename from Analisi I/PDF/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.tex rename to Analisi I/Parte teorica/2023-03-22, Limiti di funzioni e funzioni continue/main.tex diff --git a/Analisi I/PDF/ZFC e teoria delle cardinalità/Introduzione a ZFC e alle cardinalità.pdf b/Analisi I/ZFC e teoria delle cardinalità/Introduzione a ZFC e alle cardinalità.pdf similarity index 100% rename from Analisi I/PDF/ZFC e teoria delle cardinalità/Introduzione a ZFC e alle cardinalità.pdf rename to Analisi I/ZFC e teoria delle cardinalità/Introduzione a ZFC e alle cardinalità.pdf diff --git a/Fisica I/2023-03-22, Derivate parziali e integrali di linea/main.pdf b/Fisica I/2023-03-22, Derivate parziali e integrali di linea/main.pdf new file mode 100644 index 0000000..1103548 Binary files /dev/null and b/Fisica I/2023-03-22, Derivate parziali e integrali di linea/main.pdf differ diff --git a/Fisica I/2023-03-22, Derivate parziali e integrali di linea/main.tex b/Fisica I/2023-03-22, Derivate parziali e integrali di linea/main.tex new file mode 100644 index 0000000..d05476a --- /dev/null +++ b/Fisica I/2023-03-22, Derivate parziali e integrali di linea/main.tex @@ -0,0 +1,18 @@ +\documentclass[11pt]{article} +\usepackage[physics]{personal_commands} +\usepackage[italian]{babel} + +\title{\textbf{Note del corso di Fisica 1}} +\author{Gabriel Antonio Videtta} +\date{22 marzo 2023} + +\begin{document} + + \maketitle + + \begin{center} + \Large \textbf{Derivate parziali e integrali di linea} + \end{center} + + +\end{document} diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/Algoritmo di conversione da NFA a DFA.pdf b/Fond. di programmazione/Automi a stati finiti/Algoritmo di conversione da NFA a DFA.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/Algoritmo di conversione da NFA a DFA.pdf rename to Fond. di programmazione/Automi a stati finiti/Algoritmo di conversione da NFA a DFA.pdf diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/Algoritmo di minimizzazione dei DFA.pdf b/Fond. di programmazione/Automi a stati finiti/Algoritmo di minimizzazione dei DFA.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/Algoritmo di minimizzazione dei DFA.pdf rename to Fond. di programmazione/Automi a stati finiti/Algoritmo di minimizzazione dei DFA.pdf diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/Introduzione agli NFA.pdf b/Fond. di programmazione/Automi a stati finiti/Introduzione agli NFA.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/Introduzione agli NFA.pdf rename to Fond. di programmazione/Automi a stati finiti/Introduzione agli NFA.pdf diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/Introduzione agli automi e ai sistemi formali.pdf b/Fond. di programmazione/Automi a stati finiti/Introduzione agli automi e ai sistemi formali.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/Introduzione agli automi e ai sistemi formali.pdf rename to Fond. di programmazione/Automi a stati finiti/Introduzione agli automi e ai sistemi formali.pdf diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/Introduzione agli ε-NFA.pdf b/Fond. di programmazione/Automi a stati finiti/Introduzione agli ε-NFA.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/Introduzione agli ε-NFA.pdf rename to Fond. di programmazione/Automi a stati finiti/Introduzione agli ε-NFA.pdf diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/Introduzione ai DFA.pdf b/Fond. di programmazione/Automi a stati finiti/Introduzione ai DFA.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/Introduzione ai DFA.pdf rename to Fond. di programmazione/Automi a stati finiti/Introduzione ai DFA.pdf diff --git a/Fond. di programmazione/PDF/Automi a stati finiti/La funzione di transizione estesa.pdf b/Fond. di programmazione/Automi a stati finiti/La funzione di transizione estesa.pdf similarity index 100% rename from Fond. di programmazione/PDF/Automi a stati finiti/La funzione di transizione estesa.pdf rename to Fond. di programmazione/Automi a stati finiti/La funzione di transizione estesa.pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. del primo compitino (2012).pdf b/Fond. di programmazione/Esercizi svolti/Es. del primo compitino (2012).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. del primo compitino (2012).pdf rename to Fond. di programmazione/Esercizi svolti/Es. del primo compitino (2012).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. del primo compitino (2019).pdf b/Fond. di programmazione/Esercizi svolti/Es. del primo compitino (2019).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. del primo compitino (2019).pdf rename to Fond. di programmazione/Esercizi svolti/Es. del primo compitino (2019).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. del secondo compitino (2018).pdf b/Fond. di programmazione/Esercizi svolti/Es. del secondo compitino (2018).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. del secondo compitino (2018).pdf rename to Fond. di programmazione/Esercizi svolti/Es. del secondo compitino (2018).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. del secondo compitino (2019).pdf b/Fond. di programmazione/Esercizi svolti/Es. del secondo compitino (2019).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. del secondo compitino (2019).pdf rename to Fond. di programmazione/Esercizi svolti/Es. del secondo compitino (2019).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. del secondo compitino (2021).pdf b/Fond. di programmazione/Esercizi svolti/Es. del secondo compitino (2021).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. del secondo compitino (2021).pdf rename to Fond. di programmazione/Esercizi svolti/Es. del secondo compitino (2021).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. dell'appello di Gennaio (2022).pdf b/Fond. di programmazione/Esercizi svolti/Es. dell'appello di Gennaio (2022).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. dell'appello di Gennaio (2022).pdf rename to Fond. di programmazione/Esercizi svolti/Es. dell'appello di Gennaio (2022).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. scelti degli appelli (fino al 2020).pdf b/Fond. di programmazione/Esercizi svolti/Es. scelti degli appelli (fino al 2020).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. scelti degli appelli (fino al 2020).pdf rename to Fond. di programmazione/Esercizi svolti/Es. scelti degli appelli (fino al 2020).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. scelti sui primi compitini (2013-2019).pdf b/Fond. di programmazione/Esercizi svolti/Es. scelti sui primi compitini (2013-2019).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. scelti sui primi compitini (2013-2019).pdf rename to Fond. di programmazione/Esercizi svolti/Es. scelti sui primi compitini (2013-2019).pdf diff --git a/Fond. di programmazione/PDF/Esercizi svolti/Es. scelti sui secondi compitini (2009-2017).pdf b/Fond. di programmazione/Esercizi svolti/Es. scelti sui secondi compitini (2009-2017).pdf similarity index 100% rename from Fond. di programmazione/PDF/Esercizi svolti/Es. scelti sui secondi compitini (2009-2017).pdf rename to Fond. di programmazione/Esercizi svolti/Es. scelti sui secondi compitini (2009-2017).pdf diff --git a/Fond. di programmazione/PDF/Linguaggi ed espr. regolari/Grammatiche e linguaggi liberi.pdf b/Fond. di programmazione/Linguaggi ed espr. regolari/Grammatiche e linguaggi liberi.pdf similarity index 100% rename from Fond. di programmazione/PDF/Linguaggi ed espr. regolari/Grammatiche e linguaggi liberi.pdf rename to Fond. di programmazione/Linguaggi ed espr. regolari/Grammatiche e linguaggi liberi.pdf diff --git a/Fond. di programmazione/PDF/Linguaggi ed espr. regolari/Linguaggi e pumping lemma.pdf b/Fond. di programmazione/Linguaggi ed espr. regolari/Linguaggi e pumping lemma.pdf similarity index 100% rename from Fond. di programmazione/PDF/Linguaggi ed espr. regolari/Linguaggi e pumping lemma.pdf rename to Fond. di programmazione/Linguaggi ed espr. regolari/Linguaggi e pumping lemma.pdf diff --git a/Fond. di programmazione/PDF/Semantica/Alcuni esempi di semantica.pdf b/Fond. di programmazione/Semantica/Alcuni esempi di semantica.pdf similarity index 100% rename from Fond. di programmazione/PDF/Semantica/Alcuni esempi di semantica.pdf rename to Fond. di programmazione/Semantica/Alcuni esempi di semantica.pdf diff --git a/Geometria I/PDF/App. lineari/App. bilineari e multilineari.pdf b/Geometria I/App. lineari/App. bilineari e multilineari.pdf similarity index 100% rename from Geometria I/PDF/App. lineari/App. bilineari e multilineari.pdf rename to Geometria I/App. lineari/App. bilineari e multilineari.pdf diff --git a/Geometria I/PDF/App. lineari/Endomorfismi e SD-equivalenza.pdf b/Geometria I/App. lineari/Endomorfismi e SD-equivalenza.pdf similarity index 100% rename from Geometria I/PDF/App. lineari/Endomorfismi e SD-equivalenza.pdf rename to Geometria I/App. lineari/Endomorfismi e SD-equivalenza.pdf diff --git a/Geometria I/PDF/App. lineari/L(V, W) e matrice di cambiamento.pdf b/Geometria I/App. lineari/L(V, W) e matrice di cambiamento.pdf similarity index 100% rename from Geometria I/PDF/App. lineari/L(V, W) e matrice di cambiamento.pdf rename to Geometria I/App. lineari/L(V, W) e matrice di cambiamento.pdf diff --git a/Geometria I/PDF/App. lineari/Multilineari alternanti e determinante.pdf b/Geometria I/App. lineari/Multilineari alternanti e determinante.pdf similarity index 100% rename from Geometria I/PDF/App. lineari/Multilineari alternanti e determinante.pdf rename to Geometria I/App. lineari/Multilineari alternanti e determinante.pdf diff --git a/Geometria I/PDF/App. lineari/Rapporto tra matrici e app. lineari.pdf b/Geometria I/App. lineari/Rapporto tra matrici e app. lineari.pdf similarity index 100% rename from Geometria I/PDF/App. lineari/Rapporto tra matrici e app. lineari.pdf rename to Geometria I/App. lineari/Rapporto tra matrici e app. lineari.pdf diff --git a/Geometria I/PDF/Esercitazioni/Es. foglio 2 (2022-23).pdf b/Geometria I/Esercitazioni/Es. foglio 2 (2022-23).pdf similarity index 100% rename from Geometria I/PDF/Esercitazioni/Es. foglio 2 (2022-23).pdf rename to Geometria I/Esercitazioni/Es. foglio 2 (2022-23).pdf diff --git a/Geometria I/PDF/Esercitazioni/Es. sui sistemi lineari.pdf b/Geometria I/Esercitazioni/Es. sui sistemi lineari.pdf similarity index 100% rename from Geometria I/PDF/Esercitazioni/Es. sui sistemi lineari.pdf rename to Geometria I/Esercitazioni/Es. sui sistemi lineari.pdf diff --git a/Geometria I/PDF/Esercitazioni/Es. sulle app. lineari II.pdf b/Geometria I/Esercitazioni/Es. sulle app. lineari II.pdf similarity index 100% rename from Geometria I/PDF/Esercitazioni/Es. sulle app. lineari II.pdf rename to Geometria I/Esercitazioni/Es. sulle app. lineari II.pdf diff --git a/Geometria I/PDF/Esercitazioni/Es. sulle app. lineari III.pdf b/Geometria I/Esercitazioni/Es. sulle app. lineari III.pdf similarity index 100% rename from Geometria I/PDF/Esercitazioni/Es. sulle app. lineari III.pdf rename to Geometria I/Esercitazioni/Es. sulle app. lineari III.pdf diff --git a/Geometria I/PDF/Esercitazioni/Es. sulle app. lineari IV.pdf b/Geometria I/Esercitazioni/Es. sulle app. lineari IV.pdf similarity index 100% rename from Geometria I/PDF/Esercitazioni/Es. sulle app. lineari IV.pdf rename to Geometria I/Esercitazioni/Es. sulle app. lineari IV.pdf diff --git a/Geometria I/PDF/Esercitazioni/Es. sulle app. lineari.pdf b/Geometria I/Esercitazioni/Es. sulle app. lineari.pdf similarity index 100% rename from Geometria I/PDF/Esercitazioni/Es. sulle app. lineari.pdf rename to Geometria I/Esercitazioni/Es. sulle app. lineari.pdf diff --git a/Geometria I/Matrici/2023-03-06, Teorema degli orlati e calcolo del rango di una matrice/main.pdf b/Geometria I/Matrici/2023-03-06, Teorema degli orlati e calcolo del rango di una matrice/main.pdf new file mode 100644 index 0000000..427df6f Binary files /dev/null and b/Geometria I/Matrici/2023-03-06, Teorema degli orlati e calcolo del rango di una matrice/main.pdf differ diff --git a/Geometria I/Matrici/2023-03-06, Teorema degli orlati e calcolo del rango di una matrice/main.tex b/Geometria I/Matrici/2023-03-06, Teorema degli orlati e calcolo del rango di una matrice/main.tex new file mode 100644 index 0000000..4aacd32 --- /dev/null +++ b/Geometria I/Matrici/2023-03-06, Teorema degli orlati e calcolo del rango di una matrice/main.tex @@ -0,0 +1,70 @@ +\documentclass[11pt]{article} +\usepackage{personal_commands} +\usepackage[italian]{babel} + +\title{\textbf{Note del corso di Geometria 1}} +\author{Gabriel Antonio Videtta} +\date{6 marzo 2023} + +\begin{document} + + \maketitle + + \begin{center} + \Large \textbf{Teorema degli orlati e calcolo del rango di una matrice} + \end{center} + + \begin{note} + Nel corso di questo documento, per $A$ si intenderà una generica matrice appartenente all'anello + $M(m, n, \KK)$. + \end{note} + + \begin{definition} + Dato un minore $M$ di $A$ di ordine $p$, si definiscono \textit{orlati di} $M$ i minori di $A$ di ordine + $p+1$ che contengono come blocco $M$. + \end{definition} + + \begin{example} + Se $A = \Matrix{1 & 2 & 3 & 4 & 5 \\ 6 & 7 & 8 & 9 & 10 \\ 11 & 12 & 13 & 14 & 15}$ e $M = \Matrix{1 & 2 \\ 6 & 7}$, allora gli orlati di $M$ sono le matrici: + + \[ M_1 = \Matrix{1 & 2 & 3 \\ 6 & 7 & 8 \\ 11 & 12 & 13}, \quad M_2 = \Matrix{1 & 2 & 4 \\ 6 & 7 & 9 \\ 11 & 12 & 14}, \quad M_3 = \Matrix{1 & 2 & 5 \\ 6 & 7 & 10 \\ 11 & 12 & 15}. \] + \end{example} + + \begin{theorem} (di Kronecker, o degli orlati) + La matrice $A$ ha rango $r \in \NN^+$ se e solo se $\exists$ un minore $M$ di $A$ di taglia $r$ $\mid \det(M) \neq 0$, $\det(N) = 0$ $\forall$ + orlato $N$ di $M$. + \end{theorem} + + \begin{proof} Si dimostrano le due implicazioni separatamente. \\ + + \rightproof Poiché $r = \min\{ k \in \NN \mid \det(N) = 0 \, \forall \text{minore } N \text{ di taglia } k+1 \}$ e $r>0$, in + particolare è vero che esiste un minore $M$ di $A$ di taglia $r$ tale che $\det(M) \neq 0$ e che ogni orlato $N$ + di $M$, essendone chiaramente anche minore, è tale che $\det(N) = 0$. \\ + + \leftproof Senza perdità di generalità, supponiamo che $M = A^{1, ..., k}_{1, ..., k}$ (altrimenti è sufficiente + considerare una permutazione delle colonne e delle righe di $A$ per ricadere nel caso studiato in questa dimostrazione). Dal momento che $A^1$, ..., $A^k$ sono per ipotesi colonne linearmente indipendenti (infatti + $\det(M) \neq 0 \implies \rg(A^1 \cdots A^k) = k$), per dimostrare che $\rg(A) = r$ è sufficiente mostrare che + $\forall j > k$, $A^j \in \Span(A^1, ..., A^k)$. \\ + + Si consideri allora la matrice $B = A^{1, ..., k, j}_{1, ..., m}$. Sia $i > k$ e $N_i = A^{1, ..., k, j}_{1, ..., k, i}$. Poiché $N_i$ è un orlato di $M$, $\det(N_i) = 0$, e quindi $\rg(N_i) < k+1$. Tuttavia, poiché le righe $N_{i_1} = B_1$, ..., $N_{i_k} = B_k$ sono linearmente + indipendenti (sono infatti righe di $M$ a cui è stata aggiunta una colonna), $\rg(N_i) \geq k$. Si conclude + allora che $\rg(N_i) = k$, e che, essendo le righe $N_{i_1}$, ..., $N_{i_k}$ linearmente indipendenti, + $N_{i_j} \in \Span(N_{i_1}, ..., N_{i_k}) = \Span(B_1, ..., B_k)$. Allora ogni $B_i \in \Span(B_1, ..., B_k)$, + e quindi $\rg(B) \leq k$. Dal momento però che, come osservato prima, $B_1$, ..., $B_k$ sono linearmente + indipendenti, si conclude che $\rg(B) = k$. Infine, poiché $B^1 = A^1$, ..., $B^k = A^k$ sono linearmente + indipendenti, deve valere che $B^{k+1} = A^j \in \Span(B^1, ..., B^k) = \Span(A^1, ..., A^k)$, da cui la tesi. + \end{proof} + + \begin{example} + Si può impiegare il teorema degli orlati per calcolare agevolmente il rango di una matrice senza impiegare + il metodo di eliminazione di Gauss. Sia per esempio: + + \[ A = \Matrix{1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9}. \] + + Poiché $B_1 = (A_{11}) = (1) \neq (0)$, $\rg(A) \geq 1$. Si consideri l'orlato $B_2 = \Matrix{1 & 2 \\ 4 & 5}$ di $B_1$: + $\det(B_2) = 1\cdot 5 - 4 \cdot 2 = -3 \neq 0$: allora $\rg(A) \geq 2$. Infine, si consideri l'orlato $B_3 = A$ di + $B_2$: poiché $\det(B_3) = \det(A) = 1\cdot \det\Matrix{5 & 6 \\ 8 & 9} - 2 \cdot \det\Matrix{4 & 6 \\ 7 & 9} + 3 \cdot \det\Matrix{4 & 5 \\ 7 & 8} = 0$ e $B_3$ è l'unico orlato di $B_2$, si conclude che $\rg(A) = 2$. + \end{example} + +\end{document} +content... \ No newline at end of file diff --git a/Geometria I/PDF/Matrici/Matrici a scala ridotta e proprietà del rango.pdf b/Geometria I/Matrici/Matrici a scala ridotta e proprietà del rango.pdf similarity index 100% rename from Geometria I/PDF/Matrici/Matrici a scala ridotta e proprietà del rango.pdf rename to Geometria I/Matrici/Matrici a scala ridotta e proprietà del rango.pdf diff --git a/Geometria I/PDF/Matrici/Metodo di elim. di Gauss.pdf b/Geometria I/Matrici/Metodo di elim. di Gauss.pdf similarity index 100% rename from Geometria I/PDF/Matrici/Metodo di elim. di Gauss.pdf rename to Geometria I/Matrici/Metodo di elim. di Gauss.pdf diff --git a/Geometria I/PDF/Somme tra spazi/Somma diretta.pdf b/Geometria I/Somme tra spazi/Somma diretta.pdf similarity index 100% rename from Geometria I/PDF/Somme tra spazi/Somma diretta.pdf rename to Geometria I/Somme tra spazi/Somma diretta.pdf diff --git a/Geometria I/PDF/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.pdf b/Geometria I/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.pdf similarity index 100% rename from Geometria I/PDF/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.pdf rename to Geometria I/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.pdf diff --git a/Geometria I/PDF/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.tex b/Geometria I/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.tex similarity index 100% rename from Geometria I/PDF/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.tex rename to Geometria I/Teoria spettrale degli endomorfismi/2023-03-20, Es. Algoritmi per la ricerca del polinomio minimo/main.tex diff --git a/Geometria I/Teoria spettrale degli endomorfismi/2023-03-22, Forma canonica di Jordan reale e prodotto scalare/main.pdf b/Geometria I/Teoria spettrale degli endomorfismi/2023-03-22, Forma canonica di Jordan reale e prodotto scalare/main.pdf new file mode 100644 index 0000000..af22988 Binary files /dev/null and b/Geometria I/Teoria spettrale degli endomorfismi/2023-03-22, Forma canonica di Jordan reale e prodotto scalare/main.pdf differ diff --git a/Geometria I/Teoria spettrale degli endomorfismi/2023-03-22, Forma canonica di Jordan reale e prodotto scalare/main.tex b/Geometria I/Teoria spettrale degli endomorfismi/2023-03-22, Forma canonica di Jordan reale e prodotto scalare/main.tex new file mode 100644 index 0000000..d5c3d7d --- /dev/null +++ b/Geometria I/Teoria spettrale degli endomorfismi/2023-03-22, Forma canonica di Jordan reale e prodotto scalare/main.tex @@ -0,0 +1,19 @@ +\documentclass[11pt]{article} +\usepackage{personal_commands} +\usepackage[italian]{babel} + +\title{\textbf{Note del corso di Geometria 1}} +\author{Gabriel Antonio Videtta} +\date{22 marzo 2023} + +\begin{document} + + \maketitle + + \begin{center} + \Large \textbf{Forma canonica di Jordan reale e prodotto scalare} + \end{center} + + + +\end{document} diff --git a/tex/latex/style/personal_commands.sty b/tex/latex/style/personal_commands.sty index 440222b..88dc0cd 100644 --- a/tex/latex/style/personal_commands.sty +++ b/tex/latex/style/personal_commands.sty @@ -34,7 +34,7 @@ \newcommand{\basestep}{(\textit{passo base})\;} \newcommand{\inductivestep}{(\textit{passo induttivo})\;} -\newcommand{\rightproof}{($\,\implies$)\;} +\newcommand{\rightproof}{($\implies$)\;} \newcommand{\leftproof}{($\impliedby$)\;} % Spesso utilizzati al corso di Fisica 1. @@ -69,6 +69,8 @@ \newcommand{\Matrix}[1]{\begin{pmatrix} #1 \end{pmatrix}} \newcommand{\Vector}[1]{\begin{pmatrix} #1 \end{pmatrix}} +\DeclareMathOperator{\rg}{rg} + \let\v\undefined \newcommand{\v}{\vec{v}} \newcommand{\vv}[1]{\vec{v_{#1}}}