Elenco dei teoremi dimostrati in aula - A.A. 2013/2014
- L'insieme delle soluzioni di una disequazione lineare è un insieme convesso.
- La soluzione di una disequazione lineare ax+by+c>0 è un semipiano.
- Teorema di unicità del limite.
- Teorema della permanenza del segno locale in una variabile.
- Teorema di Bolzano in una variabile.
- Una funzione monotona che ha come codominio un convesso è continua (con applicazione alle funzioni elementari).
- Derivata prima della funzione potenza e della funzione esponenziale.
- Derivabilità implica continuità con osservazioni e controesempi.
- Teorema di Fermat in una variabile.
- Caratterizzazione della convessità di una funzione mediante l'epigrafico.
- Dimostrazione solo grafica dell'implicazione: f convessa → f(x) ≯f(x0)+f'(x0)(x-x0).
- Dimostrazione delle implicazioni f(x) ≥ f(x0)+f'(x0)(x-x0) → f crescente → f''≥0.
- Se x0 è un punto stazionario di una funzione convessa, allora x0 è di minimo.
- Teorema di Bolzano in due variabili.
- Teorema di Fermat in due variabili.
- Una caratterizzazione delle funzioni convesse in due variabili: f convessa ↔ per ogni α appartenente ad ℝ, l'insieme Sα={P ∈ 𝔹: f(x) ≤α} è convesso.
- Unicità della matrice inversa.
- Il determinante di una matrice con due righe nulle è zero (Proposizione 3.6 del libro di testo).
- Proposizione 3.7 del libro di testo.
- |A|≠0 ↔ A è invertibile e A-1=1⁄|A|(A*)t.
- Caratterizzazione delle matrici invertibili mediante il determinante e mediante il rango.
- Teorema fondamentale sulle matrici (Teorema 3.19 del libro di testo).
- Teorema di Cramer.
- Teorema di Rouché – Capelli.
Elenco dei teoremi dimostrati in aula - A.A. 2013/2014
- L’insieme delle soluzioni di una disequazione lineare è un insieme convesso.
- La soluzione di una disequazione lineare ax+by+c>0 è un semipiano.
- Teorema di unicità del limite.
- Teorema della permanenza del segno locale in una variabile.
- Teorema di Bolzano in una variabile.
- Una funzione monotona che ha come codominio un convesso è continua (con applicazione alle funzioni elementari).
- Derivata prima della funzione potenza e della funzione esponenziale.
- Derivabilità implica continuità con osservazioni e controesempi.
- Teorema di Fermat in una variabile.
- Caratterizzazione della convessità di una funzione mediante l’epigrafico.
- Dimostrazione solo grafica dell’implicazione: f convessa⟶ f(x) ≿f(xo)+f'(xo)(x-xo).
- Dimostrazione delle implicazioni f(x) ≿ f(xo)+f'(xo)(x-xo) ⟶ f crescente⟶ f''≧0.
- Se xo è un punto stazionario di una funzione convessa, allora xo è di minimo.
- Teorema di Bolzano in due variabili.
- Teorema di Fermat in due variabili.
- Una caratterizzazione delle funzioni convesse in due variabili: f convessa ⟺ per ogni α appartenente ad R, l’insieme Sα={P∈X: f(x)≿α} è convesso.
- Unicità della matrice inversa.
- Il determinante di una matrice con due righe nulle è zero (Proposizione 3.6 del libro di testo)
- Proposizione 3.7 del libro di testo.
- |A|≠0 ⟺ A è invertibile e A-1=1/|A|(A*)t.
- Caratterizzazione delle matrici invertibili mediante il determinante e mediante il rango.
- Teorema fondamentale sulle matrici (Teorema 3.19 del libro di testo).
- Teorema di Cramer.
- Teorema di Rouché – Capelli.
SE IL MASSIMO ESISTE ALLORA È UNICO
Dato un insieme X ⊂ ℝ
supponiamo che: M1 = max X → M2 ≥ X
M2 > X →
sappiamo che →
sappiamo che →
poiché M2 ∈ X
allora M2 ≥ M2
poiché M2 ∈ X
allora M2 ≥ M2
queste condizioni sono
vere solo se M1 = M2
- Dalla DIFFERENZA TRA MAGGIORANTI E MINORANTI IL MASSIMO E MINIMO È CHE QUESTI ULTIMI DEVONO APPARTENERE ALL'INSIEME.
- UN INSIEME SI DICE CONVESSO QUANDO PRESI DUE PUNTI DI ESSO ANCHE TUTTI I PUNTI CHE LI UNISCONO APPARTENGONO ALL'INSIEME (STESSA PROPRIETÀ DEGLI INTERVALLI).
L'insieme delle soluzioni di una disequazione lineare è convesso
Dimostrazione
A1x1 + A2x2 + ... + Anxm ≥ e
Chiamiamo
A = (a1, a2, ..., am)
P = (x1, x
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.