anteprima - Kion Editrice

Riccardo Colamatteo
Matematica
volume primo: spazi numerici e geometrici,
trasformazioni lineari, Octave, LATEX.
Riccardo Colamatteo
“Matematica - Volume Primo”
Proprietà letteraria riservata
© Riccardo Colamatteo
© Kion Editrice, Terni
Prima Edizione aprile 2014
ISBN: 978-88-97355-59-5
Copertina: progetto grafico dell'autore
Stampa: Universal Book, Rende (CS)
www.kioneditrice.it
[email protected]
INDICE BREVE
1
2
3
4
5
Spazi numerici ordinati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
1.1
Teoria degli insiemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
1.2
Naturali, interi assoluti e calcolo combinatorio . . . . . . . . . . . . . . . . . . . . . . .
17
1.3
Interi relativi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
1.4
Razionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
1.5
Reali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
Geometria e spazio numerico complesso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
2.1
Elementi d’Euclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
2.2
Strutture algebriche classiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
2.3
Geometria analitica elementare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
2.4
Goniometria e trigonometria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
2.5
Prodotti scalare, vettoriale e misto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
2.6
Spazio numerico complesso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
Trasformazioni lineari e teoria dei grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
3.1
Applicazioni lineari dirette . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
3.2
Equazioni lineari e sistemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
3.3
Applicazioni lineari inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
101
3.4
Teoria dei grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
105
3.5
Riducibilità di una matrice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
108
Octave . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.1
Scalari, vettori, matrici, polinomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
117
4.2
Operatori e funzioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
120
4.3
Grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
125
LAT
EX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.1
Semplici documenti di testo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
130
5.2
Composizione matematica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
144
5.3
Grafica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
150
5.4
Formattazione avanzata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
153
Alfabeto greco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
1
I N D I C E D E T TA G L I AT O
1
Spazi numerici ordinati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
Teoria degli insiemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
1.1
1.1.1
1.1.2
1.1.3
1.1.4
1.1.5
1.1.6
1.1.7
1.1.8
1.2
Insiemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Relazioni, applicazioni, operatori . . . . . . . . . .
Enti numerici e logici . . . . . . . . . . . . . . . . . . .
Sistemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Quantificatori, connettivi, implicazioni . . . . . .
Operatori logici . . . . . . . . . . . . . . . . . . . . . . .
Proprietà di relazioni, applicazioni, operatori .
Equivalenze ed ordinamenti . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Naturali, interi assoluti e calcolo combinatorio . . . . . . . . . . . . . . . . . . . . . . .
28
Rappresentazione con la virgola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Razionali periodici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Calcolo di radici a mano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
Reali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
Equazioni algebriche di secondo grado . . . . . . . . . . . . . . . . . . . . . . . . . . .
Grafi di funzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Applicazioni lineari . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
1.2.8
1.2.9
1.2.10
1.2.11
1.2.12
1.2.13
1.4.1
1.4.2
1.4.3
1.5
1.5.1
1.5.2
1.5.3
�
�
�
�
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
Razionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.7
�
.
.
.
.
.
.
.
.
.
.
.
.
.
16
1.4
1.2.6
.
.
.
.
.
.
.
.
.
.
.
.
.
12
27
1.2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
9
10
Interi relativi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.4
.
.
.
.
.
.
.
.
.
.
.
.
.
9
1.3
1.2.3
�
.
.
.
.
.
.
.
.
.
.
.
.
.
9
17
1.2.2
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
.
.
.
.
.
.
.
.
.
.
.
.
1.2.1
Insieme dei naturali secondo Peano . . . . . . . . . . . . . .
Somma e sommazione in + . . . . . . . . . . . . . . . . . . .
Proprietà formali . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Interi assoluti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Asse numerico naturale . . . . . . . . . . . . . . . . . . . . . . .
Differenze in
.............................
Prodotto e produttoria in
....................
Quozienti in . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Elevamento a potenza in
....................
Radici e logaritmi in
.......................
Numeri primi e teorema fondamentale dell’aritmetica
Massimo comun divisore e minimo comune multiplo
Calcolo combinatorio e binomio di Newton . . . . . . . .
7
17
18
18
19
19
19
20
20
21
21
22
22
30
32
36
36
2
Geometria e spazio numerico complesso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
Elementi d’Euclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
2.1
.
.
.
.
.
.
39
Strutture algebriche classiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
2.1.1
2.1.2
2.1.3
2.1.4
2.1.5
2.1.6
2.2
2.2.6
2.2.7
2.2.8
2.2.9
2.3.6
2.3.7
2.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.6.1
2.6.2
�
4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
40
41
41
43
45
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
47
47
48
48
49
49
49
.
.
.
.
.
.
.
.
51
51
52
54
55
57
76
2.5.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Forma trigonometrica dei numeri complessi . . . . . . . . . . . . . . . . . . . . . . .
Somma e prodotto in
.......................................
2.5.2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
2.5.1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Spazio numerico complesso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.8
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
72
2.4.7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
72
2.4.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Prodotto scalare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prodotto vettoriale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prodotto misto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Prodotti scalare, vettoriale e misto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.4
Misura degli angoli . . . . . . . . . . . . . . .
Angoli tra rette incidenti . . . . . . . . . . .
Angoli interni ad un triangolo . . . . . . .
Seno, coseno, tangente e cotangente . . .
Periodicità, simmetrie e traslazioni . . . .
Funzioni iperboliche . . . . . . . . . . . . . .
Relazioni trigonometriche . . . . . . . . . .
Coordinate polari, cilindriche e sferiche
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
2.4.3
2.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.4.1
2.4.2
2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
2.3.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Goniometria e trigonometria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
2.3.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.3.1
2.3.2
Luoghi geometrici . . . . . . . .
Norme e metriche numerate
Topologia . . . . . . . . . . . . . . .
Le rette . . . . . . . . . . . . . . . .
I piani . . . . . . . . . . . . . . . . .
Le coniche . . . . . . . . . . . . . .
Le quadriche . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
2.2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Geometria analitica elementare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
2.2.3
Spazi metrici . . . . . . . . . . . . . . . . . . . . .
Reticoli ed algebre di Boole . . . . . . . . . .
Gruppoidi, semigruppi, monoidi, gruppi
Anelloidi, semianelli, anelli, corpi, campi
Spazi vettoriali . . . . . . . . . . . . . . . . . . . .
Spazi normati . . . . . . . . . . . . . . . . . . . .
Spazi euclidei . . . . . . . . . . . . . . . . . . . .
Spazi affini . . . . . . . . . . . . . . . . . . . . . .
Algebre lineari e di Lie . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.2.1
2.2.2
2.3
Le 23 definizioni . . . . . . . . . . . . . . . . . . .
I 5 postulati . . . . . . . . . . . . . . . . . . . . . . .
I 5 assiomi . . . . . . . . . . . . . . . . . . . . . . . .
I 48 teoremi . . . . . . . . . . . . . . . . . . . . . . .
Geometria analitica e teorema di Pitagora
5° postulato e geometrie non euclidee . . .
62
63
64
67
67
68
70
72
73
76
78
Trasformazioni lineari e teoria dei grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
Applicazioni lineari dirette . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
2.6.5
3
�
Quozienti in . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Elevamento a potenza, radice e logaritmo di un numero complesso . . . . . .
Spazi hermitiani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.3
2.6.4
3.1
81
Equazioni lineari e sistemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
3.1.2
3.1.3
3.1.4
3.1.5
3.1.6
3.1.7
3.2
3.3
3.4
3.5
3.5.4
.
.
.
.
.
.
Autodirezioni, autovettori ed autovalori . . . . . . . . . .
Equazioni algebriche non lineari in forma matriciale
Localizzazione degli autovalori . . . . . . . . . . . . . . . .
Forma canonica di Jordan . . . . . . . . . . . . . . . . . . . .
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
82
84
86
87
88
88
108
3.5.3
.
.
.
.
.
.
.
.
.
.
.
.
.
Riducibilità di una matrice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5.1
.
.
.
.
.
.
.
.
.
.
.
.
.
105
3.5.2
.
.
.
.
.
.
.
.
.
.
.
.
.
Grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Rappresentazione matriciale di un grafo . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.1
.
.
.
.
.
.
.
.
.
.
.
.
.
105
3.4.2
.
.
.
.
.
.
.
.
.
.
.
.
.
Teoria dei grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.2
.
.
.
.
.
.
.
.
.
.
.
.
.
101
3.3.1
.
.
.
.
.
.
.
.
.
.
.
.
.
101
3.2.6
.
.
.
.
.
.
.
.
.
.
.
.
.
Rappresentazione algebrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Matrici inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
Applicazioni lineari inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4
.
.
.
.
.
.
.
.
.
.
.
.
.
90
3.2.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.2.1
3.2.2
Equazioni algebriche lineari . . . . . . .
Sistemi lineari . . . . . . . . . . . . . . . . .
Risoluzione geometrica . . . . . . . . . .
Risoluzione algebrica: i determinanti
Metodo di sostituzione . . . . . . . . . .
Metodo di Gauss - Jordan . . . . . . . .
.
.
.
.
.
.
.
79
.
.
.
.
.
.
.
3.1.1
Caratterizzazione delle applicazioni lineari dirette . . . . . .
Applicazioni lineari dirette in rappresentazione algebrica
Matrici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Applicazioni lineari dirette in rappresentazione matriciale
Somma tra applicazioni lineari . . . . . . . . . . . . . . . . . . . . .
Prodotto d’una applicazione lineare per uno scalare . . . .
Prodotto di composizione . . . . . . . . . . . . . . . . . . . . . . . .
78
.
.
.
.
.
.
.
.
90
91
93
98
99
102
107
108
112
112
114
4
Octave . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.1
Scalari, vettori, matrici, polinomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
117
Operatori e funzioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
120
4.1.2
4.1.3
4.1.4
4.2
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
117
118
119
125
4.2.4
.
.
.
.
.
.
.
.
Grafi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.3
.
.
.
.
.
.
.
.
120
4.2.2
Operatori . . . . . . . . . . . . . . . . . . .
Funzioni matematiche predefinite
Definizione di funzioni . . . . . . . .
Funzioni di controllo . . . . . . . . . .
.
.
.
.
.
.
.
.
4.2.1
4.3
Generalità . . . . . . . . . . . . . . . . . . . . .
Variabili: definizione ed assegnazione
Vettori e matrici . . . . . . . . . . . . . . . . .
Polinomi . . . . . . . . . . . . . . . . . . . . . .
117
.
.
.
.
4.1.1
121
122
123
LATEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.1
Semplici documenti di testo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Composizione matematica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
144
Ambienti matematici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Font matematici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ambiente ����� . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
144
Grafica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3.1
Inserimento di immagini esterne con �������� . . . . . . . . . . . . . . . . . . . . .
5.3.2
Inserimento di grafici esterni con ������� . . . . . . . . . . . . . . . . . . . . . . . . .
150
5.1.3
5.1.4
5.1.5
5.1.6
5.1.7
5.1.8
5.2.1
5.2.2
5.2.3
5.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
134
135
136
137
137
138
148
149
150
150
Contenuti grafici inusuali: gli scacchi . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
150
Formattazione avanzata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
153
5.3.3
5.4
.
.
.
.
.
.
.
.
130
130
5.1.2
5.2
Struttura minimale di un documento LATEX
Inserimento del testo . . . . . . . . . . . . . . . . .
Rappresentazione del testo . . . . . . . . . . . .
Titolo, autore e data . . . . . . . . . . . . . . . . . .
Sezionamento di un documento ed indici .
Liste . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Tabelle, tavole e riferimenti . . . . . . . . . . . .
Annotazioni . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
5.1.1
5.4.1
5.4.2
5.4.3
5.4.4
Ri-definizione dei comandi . . .
Modifica dei margini di pagina
Numerazione delle pagine . . . .
Contenuti condizionati . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
153
153
153
153
Alfabeto greco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
6
1
S PA Z I N U M E R I C I O R D I N AT I
Vedi [1]
1.1 Teoria degli insiemi
1.1.1 Insiemi
Chiamiamo insieme, classe, famiglia, gruppo o spazio ciascuna collezione di enti
generici detti elementi, membri, oggetti o punti. Distinguiamo tra spazi finiti od
infiniti a seconda sia possibile o meno definire finito il numero degli elementi ad essi
appartenenti; lo spazio privo di elementi è detto insieme vuoto ∅, e lo spazio di tutti
gli elementi insieme universo U. Un insieme è conosciuto quando risulta possibile
definire con certezza se un dato elemento vi appartiene o meno.
Per soli insiemi finiti possiamo semplicemente elencare i termini componenti, e
quindi servirci di una rappresentazione per estensione grazie a scritture del genere S = { a, b, c, d}; tra parentesi graffe indichiamo insiemi non ordinati, dunque
tali che { a, b, c, d} = {b, a, d, c}, e tra tonde insiemi ordinati, quindi per i quali
( a, b, c, d) �= (b, a, d, c); la rappresentazione di un insieme ordinato nasce considerando l’insieme delle parti componenti l’insieme, e quindi ponendo ( a, b, c, d) =
{{ a} , { a, b} , { a, b, c} , { a, b, c, d}}.
Alla rappresentazione per estensione si affianca una rappresentazione grafica, detta di Eulero-Venn, formata da cerchi o generiche poligonali chiuse rappresentanti gli
insiemi che contengono al loro interno punti introdotti ad indicare i membri dell’insieme stesso; nelle figg. 1 e 2 sono ad esempio date le rappresentazioni di Eulero-Venn
degli spazi non ordinato S = { a, b, c, d} ed ordinato S = ( a, b, c, d).
1.1.2 Relazioni, applicazioni, operatori
Non potendosi di certo formare nella pratica scritte infinitamente lunghe o grafi con
infiniti distinguibili punti, ricerchiamo un qualsiasi modo per rappresentare spazi ad
infiniti elementi.
Definiamo corrispondenza, relazione o legge ciascun modo � per associare tra
loro due o più enti generici dati x, y, z, . . ., e quindi equivalentemente lo spazio delle
varie ennuple d’elementi in relazione. Ciascuna relazione fissata tra enti matematici
7
a
b
c
d
S
Figura 1: Insieme non ordinato in rappresentazione
di Eulero-Venn.
a
c
b
d
S
Figura 2: Insieme ordinato in rappresentazione di
Eulero-Venn.
dati costituisce una proposizione, o predicato, di quello che è il linguaggio matematico; al fine di rendere questo quale linguaggio della necessità e sufficienza, ci
serviremo di soli predicati veri oppure falsi. Scriviamo quindi � ( x, y, z, . . .) per indi�
care che l’ennupla data verifica la relazione; all’opposto scriviamo �
� ( x, y, z, . . . ) se gli
elementi dati non verificano la relazione proposta. Si noti che le ennuple in relazione
risultano ordinate, e quindi le scritture � ( x, y, z, . . .) e � (y, x, z, . . .) non sono equivalenti. Grazie alle relazioni possiamo rappresentare compiutamente spazi infiniti; a
/, dimotale fine introduciamo le relazioni di appartenenza ∈ e non appartenenza ∈
doché una scrittura del genere x ∈ S sancisca l’appartenenza dell’elemento x allo
spazio S, e viceversa x ∈
/ S ne chiarisca la non appartenenza. Servendoci delle relazione di appartenenza possiamo inoltre dare un’ulteriore rappresentazione alle altre
generiche relazioni: possiamo infatti indicare relazioni � ( x, y, z, . . .) con la notazione
�
/ �; tali rappresen� ( x, y, z, . . . ) scrivendo ( x, y, z, . . .) ∈
( x, y, z, . . .) ∈ �, e relazioni �
tazioni sono date nell’ottica di poter considerare � come lo spazio delle ennuple in
relazione.
La rappresentazione � ( x, y, z, . . .) di una generica corrispondenza è detta implicita
per distinguerla dalla notazione {yi } = �� ( x, z, . . .) detta esplicita nella variabile y;
lo spazio {yi } può ammettere più valori ma, fissato l’argomento ( x, z, . . .), è comunque completamente determinato; le due rappresentazioni sono equivalenti, e dunque
8