Appunti Matematici 05

Patrizio Gravano

APPUNTI MATEMATICI

numero 5 - maggio 2015

2

INDICE

IN QUESTO NUMERO

RUBRICHE PILLOLE MATEMATICHE

L’ABC dell’algebra lineare I GRANDI MATEMATICI DEL PASSATO

Nikolaj Ivanovic Lobacevskij

L’ANGOLO DEL FISICO DALL’ACCELERAZIONE ALLA POSIZIONE. IL PROBLEMA CINEMATICO INVERSO

DIAMO I NUMERI LA DEFINIZIONE DEI NUMERI REALI, LE LORO PROPRIETÀ E I NUMERI COMPLESSI

SUL PIANO STATISTICO UNA PRIMA INTRODUZIONE ALLA STATISTICA

3

IN QUESTO NUMERO

Nei numeri precedenti ho portato a parziale compimento l’introduzione all’analisi. Peraltro vi sono parti di essa che verranno riconsiderate in seguito, a partire dai teoremi della media e lo sviluppo in serie di Taylor-McLaurin. Ma molte parti dovranno essere approfondite nella nuova sede degli APPROFONDIMENTI ANALITICI. Ciò premesso nelle PILLOLE MATEMATICHE di questo mese ho deciso di introdurre il calcolo matriciale e la risoluzione dei sistemi lineari. Do per scontato che il lettore ora abbia compreso gli spazi vettoriali, esaminati in precedenti L’ANGOLO DEL FISICO. Il matematico del mese è il russo Nikolaj Ivanovic Lobacevskij, creatore, insieme al magiaro Bolay, delle geometrie non euclidee. Bisognerà partire dai postulati della geometria euclidea.

L’ANGOLO DEL FISICO di questo mese è dedicato al problema cinematico inverso.

Poiché esso presuppone il ricorso al calcolo integrale ho deciso di introdurre il concetto di integrale indefinito (antiderivata) e di integrale definito per poter gestire i problemi inversi: data l’accelerazione o la velocità determinare la posizione nel tempo. Questa sezione conterrà anche diversi esercizi applicati, invero semplici.

Con questo numero la rubrica DIAMO I NUMERI si occuperà diffusamente del campo dei numeri reali, considerati sotto il profilo della definizione di numero reale, che in relazione alle loro proprietà algebriche e d’ordine. L’ultima parte sarà dedicata ai numeri complessi. Restano infatti da considerare le radici dell’unità e le potenze intere di numeri complessi.

Con questo numero prende avvio la nuova rubrica SUL PIANO STATISTICO. Con questa prima apparizione introdurrò i concetti fondamentali della disciplina. Nel momento in cui si renderà necessario avviare la parte del calcolo delle probabilità, utilizzerò, come guida, un pregevole testo degli anni Trenta, recentemente acquistato su una bancarella nella Via Nomentana, scritto da un noto matematico, Guido Castelnuovo, che trovato piano nella scrittura.

(Patrizio Gravano)

4

PILLOLE MATEMATICHE L’ABC dell’algebra lineare

Ove si tenga conto dei precedenti L’ANGOLO DEL FISICO il lettore ha già conoscenza dei vettori e degli spazi vettoriali. Desidero ora introdurre ulteriori nozioni di algebra lineare, partendo dalle matrici. Per mera comodità considero solo le matrici 3*3ma quanto detto per esse vale in generale per le matrici m*n, salve le eventuali specificazioni.

In ogni caso, non mancherĂ occasione di ritornare sugli spazi vettoriali.

1. Le matrici 3*3. Eguaglianza di matrici Una matrice è una tabella numerica. Essa è costituita da un dato numero di righe e da un certo numero di colonne. Un generico elemento di essa è univocamente collocato ed è formalizzato da due indici. Per esempio per dire che đ?‘Žđ?‘–,đ?‘— è un elemento di A si scrive đ?‘Žđ?‘–,đ?‘— ∈ A. Gli indici i e j sono rispettivamente indicativi della riga e della colonna.

Per esempio la scrittura �2,3 denota l’elemento collocato nella seconda riga in corrispondenza della terza colonna.

Per comodità consideriamo matrici costituite da tre righe e da tre colonne, dette matrici 3*3. In genere gli elementi che costituiscono la matrice sono numeri reali, ma non è detto che sia sempre cosÏ. Il campo potrebbe anche essere C.

5

2. La somma di matrici Limitiamoci al caso delle matrici 3*3. Ăˆ possibile sommare due matrici per ottenere una terza matrice detta somma di matrici. La somma è immediata, basta sommare gli elementi pari posizionati nelle due matrici. Se đ?‘Žđ?‘–,đ?‘— e đ?‘?đ?‘–,đ?‘— sono gli elementi delle due matrici con 1 ≤ đ?‘– ≤ 3 e 1 ≤ j ≤ 3. Si ha che đ?‘ đ?‘–,đ?‘— = đ?‘Žđ?‘–,đ?‘— + đ?‘?đ?‘–,đ?‘— .

Nel caso delle matrici esiste una con formabilitĂ per la somma nel senso che essa ha significato nel caso le due matrici abbiano lo stesso numero di righe e lo stesso numero di colonne.

1 3 (2 2 0 2

0 1 1 1) + (1 1 1 1 1

0 0 La matrice (0 0 0 0

1 2 1) = (2 1 1

4 1 3 2) 3 2

0 0) è detta matrice zero (o nulla) nell’insieme delle matrici 3*3 0

Tali concetti sono generali con riferimento all’insieme delle matrici m*n, quindi, ad esempio, la matrice nulla nell’insieme delle matrici m*n è costituita da m righe e da n colonne tutte costituite da zeri reali, se K = R. Ăˆ possibile procedere alla somma di un numero arbitrario di matrici conformabili per la somma. Esse sono anche dette matrici dello stesso tipo.

Gli elementi di una matrice đ?‘Žđ?‘– đ?‘— si dicono della diagonale principale se i = j. Per esempio nel caso delle matrici 3*3 sono i valori đ?‘Ž1,1 , đ?‘Ž2,2 , đ?‘Ž3,3. Nel caso della matrice somma di due matrici date essi sono 2, 3, 2.

Una matrice avente tutti gli �� � = 0 per i ≠j e almeno un �� � ≠0 per i = j è detta matrice diagonale.

1 0 0 La matrice (0 1 0) è detta matrice unità nell’insieme delle matrici 3*3. Per essa 0 0 1 esiste una particolare notazione detta di Kronecker che ricalca quando detto per le matrici diagonali ma con specificità che �� � = 1 per i = j. Solitamente si usa la lettera δ.

6

3. La differenza di due matrici. Matrice opposta Ăˆ possibile fare la differenza tra matrici m*n e quindi anche tra matrici 3*3. La matrice differenza ha gli elementi ottenuti da đ?‘‘đ?‘–,đ?‘— = đ?‘Žđ?‘–,đ?‘— - đ?‘?đ?‘–,đ?‘— . Consideriamo anche in questo caso un esempio concreto.

1 3 (2 2 0 2

0 1 1 1) - (1 1 1 1 1

1 0 2 1) = ( 1 1 1 −1 1

−1 0) 0

Per matrice opposta si intende la matrice che sommata ad una matrice data fa ottenere la matrice nulla. Anche in questo caso si può fare un esempio concreto e poi generalizzare.

1 3 (2 2 0 2

đ?‘?1,1 0 1) + ( ‌ . ‌.

1

đ?‘?1,2 ‌.. ‌..

‌.

0 ‌ . . ) = (0 đ?‘?3,3 0

0 0 0 0) 0 0

Ăˆ immediato che deve essere 1 + đ?‘?1,1 = 0 â&#x;ž 1 = - đ?‘?1,1 . Questo ragionamento dovrĂ essere reiterato altre otto volte con riferimento ai rimanenti elementi della matrice nulla.

In generale la matrice opposta di una matrice data (đ?‘Žđ?‘–,đ?‘˜ ) è una matrice i cui elementi sono đ?‘?đ?‘–,đ?‘˜ = - đ?‘Žđ?‘–,đ?‘˜ quando đ?‘Žđ?‘–,đ?‘˜ ≠0 e đ?‘?đ?‘–,đ?‘˜ = 0 quando đ?‘Žđ?‘–,đ?‘˜ = 0.

(M(3,3), +) è un gruppo commutativo. Ciò vale in generale per la struttura (M(m,n), +).

4. La moltiplicazione di una matrice per uno scalare Data una matrice A è possibile moltiplicare essa per uno scalare. Il risultato dell’operazione è una matrice i cui elementi sono gli elementi di essa moltiplicati per lo scalare. Moltiplicando una matrice qualunque per 0 si ottiene la matrice nulla. Ăˆ possibile fare un esempio.

1 3 3* (2 2 0 2

0 1 3 1) = (2 2 1 0 2

0 3 9 1) ∗ 3 = (6 6 1 0 6

0 3) 3

7

5. Trasposta di una matrice Data una matrice A viene definita trasposta di A la matrice, solitamente indicata con đ??´đ?‘‡ , ottenuta scambiando le righe con le colonne di A. Le righe di A diventano colonne della trasposta e le colonne di A diventano le righe della trasposta.

3 9 Esempio data A = (6 6 0 6

0 3 3) si ha che đ??´đ?‘‡ = (9 3 0

6 0 6 6) .

3 3

Vorrei osservare che l’operazione di trasposizione ha condotto sempre ad una matrice 3*3. Questo non è vero in generale. Ciò e implicito nella sostituzione righe â&#x;ś colonne e colonne â&#x;ś righe. Pertanto se si ha una matrice m*n la trasposta sarĂ n*m. Tale operazione non è in generale interna.

6. Prodotto di matrici Ăˆ possibile moltiplicare matrici sotto particolari condizioni. Qui è bene ragionare in termini generali. Non sempre l’operazione di moltiplicazione tra matrici è ammissibile. Condizione necessaria e sufficiente affinchĂŠ due matrici A e B siano moltiplicabili (conformabili rispetto alla moltiplicazione matriciale) è che il numero delle colonne della prima sia eguale al numero delle righe della seconda. Il risultato dell’operazione è una matrice avente il numero di righe della prima e per numero di colonne il numero di colonne della seconda. La moltiplicazione di matrici non è commutativa in generale.

Definita la condizione di moltiplicabilitĂ delle matrici è necessario vedere come vengono definiti (determinati) gli elementi della matrice prodotto di due matrici date, P = A*B. L’elemento đ?‘?đ?‘–,đ?‘— è il prodotto interno del vettore di componenti corrispondenti agli elementi della i-esima riga della matrice A e del vettore di componenti corrispondenti agli elementi della j-esima colonna della matrice B. Esso è comunemente detto prodotto righe per colonne.

Vorrei fare qualche esempio.

2 ⌋ 4, 5, 6âŚŒ* [( 3 )] −1

8

La scrittura ⌋ 4, 5, 6âŚŒ individua un vettore detto vettore riga, caso particolare di matrice 1*3, 2 mentre la scrittura [( 3 )] definisce un vettore di tre righe e di una colonna, ovvero una −1 matrice 3*1. Dette matrici sono conformabili per la moltiplicazione e il risultato è una matrice 1*1 (il primo 1 è il numero delle righe del primo vettore, mentre il secondo è il numero delle righe, pari a 1, del secondo vettore). Le matrici 1*1 in pratica sono gli scalari.

2 Ciò premesso si ha ⌋ 4, 5, 6âŚŒ* [( 3 )] = ⌋4*2 + 5*3+ 6(-1)âŚŒ= ⌋8+ 15 - 6âŚŒ = ⌋17âŚŒ −1 2 [( 3 )] * ⌋ 4, 5, 6âŚŒ. In questo caso si ha una matrice 3*1 che deve essere moltiplicata per una −1 matrice 1*3. Quindi il risultato sarĂ una matrice 3*3. Per calcolare đ?‘?1,1 = ⌋2 , 0, 0âŚŒâŚ‹4, 5, 6âŚŒ = 8 Analogamente si determinano tutti i đ?‘?đ?‘–,đ?‘— .

2 8 10 [( 3 )] * ⌋ 4, 5, 6âŚŒ = ( 12 15 −1 −4 −5

12 16 ). −6

Solo in casi particolari A*B = B*A. In questo caso le matrici sono permutabili.

Moltiplicando una matrice per una matrice nulla (essendo essere dette matrici conformabili per la moltiplicazione) si ottiene la matrice nulla. Ăˆ però possibile ottenere come risultato della moltiplicazione tra matrici la matrice nulla anche quando dette matrici non sono nulle.

7. Matrice identitĂ Data una matrice A quadrata, per esempio 3*3, Sia I la matrice identica, ovvero I = 1 0 0 (0 1 0). Si ha che I*A = A*I = A. 0 0 1

8. Determinante di matrice quadrata Alle matrici quadrate, ovvero a quelle costituite da un egual numero di righe e di colonne, è associato un numero reale detto determinante.

Data una matrice quadrata il determinante di essa, det(A), è unico. Non è vero il contrario, nel senso che uno stesso numero può essere il det(.) di infinite matrici.

9

I numeri reali, come detto, possono essere considerati come matrici di ordine 1 (una riga e una colonna). Le matrici costituite da due righe e da due colonne sono nomate del secondo ordine, quelle costituite da tre righe e da tre colonne sono dette del terzo ordine.

Per le matrici del secondo ordine il determinate è definito nel modo seguente: �1,1 det (� 2,1

đ?‘Ž1,2 đ?‘Ž2,2 ) = (đ?‘Ž1,1 ) (đ?‘Ž2,2 ) - (đ?‘Ž1,2) (đ?‘Ž2,1).

Il calcolo di detto determinante è banale, trattandosi di una mera sostituzione in formula.

8. Determinante di matrici 3*3. Minore complementare e complemento algebrico Per la determinazione dei determinanti delle matrici del terzo ordine (3*3) esiste una regola pratica valida solo per esse: la legge di Sarrus. Si consideri una matrice del terzo ordine. Per essa si ha đ?‘Ž1,1 đ?‘Ž1,2 đ?‘‘đ?‘’đ?‘Ą (đ?‘Ž2,1 đ?‘Ž2,2 đ?‘Ž3,1 đ?‘Ž3,2 đ?‘Ž33 đ?‘Ž31 đ?‘Ž12.

đ?‘Ž1,3 đ?‘Ž2,3 ) = đ?‘Ž11 đ?‘Ž22 đ?‘Ž33 + đ?‘Ž22 đ?‘Ž23 đ?‘Ž31 + đ?‘Ž33 đ?‘Ž31 đ?‘Ž32 - đ?‘Ž31 đ?‘Ž32 đ?‘Ž13 - đ?‘Ž32 đ?‘Ž23 đ?‘Ž11 đ?‘Ž3,3

Esiste anche una rappresentazione grafica per vedersi visivamente lo sviluppo.

In generale, i determinanti delle matrici vengono introdotti previa introduzione di due concetti: il minore complementare e i complemento algebrico.

Data una matrice per esempio del III ordine, quale đ?‘Ž1,1 (đ?‘Ž2,1 đ?‘Ž3,1

đ?‘Ž1,2 đ?‘Ž2,2 đ?‘Ž3,2

đ?‘Ž1,3 đ?‘Ž2,3 ) đ?‘Ž3,3

Si considera un qualunque elemento di essa. Ammettiamo di considerare il numero đ?‘Ž3,3. Si sopprimono la riga e la colonna contenenti detto elemento.

10

Si ottiene una matrice del secondo ordine del tipo

đ?‘Ž11 (đ?‘Ž

21

đ?‘Ž12 đ?‘Ž22 ).

đ?‘Ž11 Si consideri det(đ?‘Ž 21

đ?‘Ž12 đ?‘Ž11 ) = | đ?‘Ž22 đ?‘Ž21

�12 �22 | = ��,� .

Detto determinante si chiama minore complementare dell’elemento �3,3 .

PoichÊ si può considerare un qualunque elemento della matrice quello generale sarà �� � . Detto elemento viene detto di classe pari se i + j = 2n, ovvero di classe dispari quando i + j = 2n +1.

Viene definita cofattore (o complemento algebrico) la quantitĂ : đ??´đ?‘–,đ?‘— = (−1)đ?‘–+đ?‘— đ?‘€đ?‘–,đ?‘—

Ăˆ dovuto a Laplace il teorema per il quale la somma dei prodotti degli elementi di una riga (o di una colonna) qualsiasi per i rispettivi complementi algebrici è costante qualunque sia la riga o colonna che si consideri.

Da questa costanza discende la definizione di determinante di una matrice del terzo ordine come la somma dei prodotti degli elementi di una riga, o di una colonna, per i rispettivi cofattori.

Quanto detto vale in generale per le matrici quadrate di ordine superiore al terzo.

I determinanti godono di particolari proprietĂ ed esistono anche i cosiddetti determinati notevoli.

Bisognerà ritornare sul’argomento.

9. Matrice inversa Assegnate due matrici quadrate, A e B, dello stesso ordine, esse sono l’una l’inversa dell’altra se e solo se si ha A*B = B*A= I, ove, quando si considerano matrici del 1 0 0 terzo ordine è I = (0 1 0).

0 0 1

11

Ăˆ bene ricordare che in generale per matrici di ordine n la matrice inversa è costituita da n elementi eguali a 1 e collocati sulla diagonale principale risultando gli altri elementi tutti nulli. Essa è sintetizzabile con il δ di Kronecker.

Normalmente ci si chiede se data una matrice A esiste una matrice B che verifichi la condizione di invertibilità . In questo caso si dice che B è la matrice inversa. Se esiste l’inversa essa è unica.

Una matrice che ammette inversa è detta invertibile.

Senza entrare nei dettagli della teoria è bene ricordare che una matrice quadrata A ammette la matrice inversa se e solo se essa è non singolare.

Una matrice quadrata M è detta non singolare se det(M) ≠0.

Esiste un metodo pratico per il calcolo dell’inversa .

1. Data M si determina det(M).

Se det(M) = 0 si ammette che l’inversa non esiste, altrimenti si va al punto 2; 2. Si considera đ?‘€đ?‘‡ , ovvero la trasposta di M; 3. Si considera la matrice đ??´đ?‘–,đ?‘— i cui elementi sono i cofattori della matrice đ?‘€đ?‘‡ ; 4.đ?‘€âˆ’1 =

đ??´đ?‘–,đ?‘—

.

det(đ?‘€)

Solitamente la matrice inversa di M si denota con la scrittura đ?‘€âˆ’1 .

Dal punto 4. ben si comprende che i coefficienti della matrice inversa sono ottenuti dai cofattori divisi per det(M).

10. Rango di una matrice Di una matrice m*n viene definito il rango inteso come il numero di vettori riga o di vettori colonna linearmente indipendenti. Il rango di una matrice A, si indica con r(A) e si ha r(A) ⊽ min (m, n). Per stabilire il rango di una matrice si considera un intero p ⊽ min(m, n).

CosÏ facendo è possibile formare una matrice quadrata di ordine p, detta matrice estratta. Il determinante di essa è detto minore di ordine p della matrice A. Per definizione il rango è l’ordine massimo dei suoi minori non nulli.

La ricerca del rango può risultare laboriosa e a volte è utile trovato un minore non nullo di ordine p orlarlo. Se i minori ottenuti orlando sono tutti nulli allora la matrice ha il rango eguale all’ordine p.

12

Gli esempi chiariranno questa parte.

10.1 Determinazione del rango di una matrice đ?‘Ž Data la matrice (đ?‘Ž đ?‘Ž

0 0 đ?‘Žâˆ’1 0 ) 2đ?‘Ž − 2 2đ?‘Ž − 2

Questa matrice contiene un parametro a, quindi lo studio del rango ne deve tenere conto. PoichÊ si tratta di una matrice quadrata di ordine 3, allora il rango può valere 3, 2, oppure 1.

Si consideri la matrice A = (

đ?‘Ž đ?‘Ž

0 ) â&#x;ždet A = a(a-1) – 0*a = đ?‘Ž2 - a đ?‘Žâˆ’1

detA ≠0 per a≠0 e per a ≠1.

0 0 0 Considero il caso a = 0. Detta matrice diviene (0 −1 0 ). Il corrispondente 0 −2 −2 determinante deve valere zero, il che si evince ictu oculi dagli zeri di riga e di colonna. In questo caso la matrice non può avere rango 3. Da detta matrice è però −1 0 estraibile quella di ordine due ( ) il cui determinante è immediatamente −2 −2 calcolabile ed è ≠0.

Per a = 0 si ha r(A) = 2 1 0 0 Si consideri il caso a = 1. Si ha A = (1 0 0) . A occhio si vede che si può pensare 1 0 0 1 0 alla matrice ( ) ma anche in questo caso il determinante vale zero.

1 0 Per a = 1 si ha che r(A) = 1 đ?‘Ž 0 ) đ?‘Ž đ?‘Žâˆ’1 per per a≠0 e per a ≠1 è possibile “orlareâ€?

0 0 đ?‘Žâˆ’1 0 ) con a≠0 e a ≠1. Se det 2đ?‘Ž − 2 2đ?‘Ž − 2

Fuori dalle considerate ipotesi poichĂŠ si era considerata la matrice A = ( â&#x;ždet A = a(a-1) – 0*a = đ?‘Ž2 – a ≠0 đ?‘Ž considerando quindi la matrice (đ?‘Ž đ?‘Ž đ?‘Ž 0 0 (đ?‘Ž đ?‘Ž − 1 0 ) ≠0 allora r(A) = 3. đ?‘Ž 2đ?‘Ž − 2 2đ?‘Ž − 2

13

PoichĂŠ la prima riga contiene due valori 0 che annullano i cofattori il determinante đ?‘Žâˆ’1 0 si riduce a det(A) = a(−1)2 det( )= 2(a)(đ?‘Ž − 1)2 .

2đ?‘Ž − 2 2đ?‘Ž − 2 PoichĂŠ si è posto a ≠0 e a≠1 allora detA ≠0.

Con ciò si è dimostrato che r(A) = 3 quando a ≠0 e a≠1.

11. Sistema di equazioni lineari Siano date n incognite đ?‘Ľđ?‘– , ove 1 ≤ i ≤ n. Una equazione è lineare (o di I grado) quando è riconducibile alla forma đ?‘Ž1 đ?‘Ľ1 + đ?‘Ž2 đ?‘Ľ2 + ‌‌ + đ?‘Žđ?‘› đ?‘Ľđ?‘› = b, ove b e đ?‘Žđ?‘– sono parametri reali. b è detto termine noto. I sistemi lineari sono posti nella forma seguente đ?‘Ž11 đ?‘Ľ1 + đ?‘Ž12 đ?‘Ľ2 + ‌‌ + đ?‘Ž1đ?‘› đ?‘Ľđ?‘› = đ?‘?1 đ?‘Ž21 đ?‘Ľ1 + đ?‘Ž22 đ?‘Ľ2 + ‌‌ + đ?‘Ž2đ?‘› đ?‘Ľđ?‘› = đ?‘?2 ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌.. đ?‘Žđ?‘š1 đ?‘Ľ1 + đ?‘Žđ?‘š2 đ?‘Ľ2 + ‌‌ + đ?‘Žđ?‘šđ?‘› đ?‘Ľđ?‘› = đ?‘?đ?‘š Si deve notare che i paramenti a contengono due indici, il primo relativo al numero d’ordine dell’equazione e il secondo relativo al collegamento con la incognita.

Quando i parametri b sono tutti nulli il sistema è detto omogeneo.

Nel caso considerato si è ammesso di avere m equazioni. Giova osservare che non necessariamente il numero m delle equazioni e eguale al numero n delle incognite.

Risolvere il sistema vuol dire trovare, se esiste, una n-pla (essendo n le incognite) di numeri reali che soddisfi contemporaneamente le m equazioni date.

Esiste una rigorosa tassonomia dei sistemi. I sistemi che ammettono soluzioni si dicono compatibili. I sistemi compatibili possono essere determinati, se ammettono una ed una sola soluzione, ovvero una ed una sola n-pla che verifica tutte le m equazioni, oppure possono essere indeterminati, se esistono infinite soluzioni. I sistemi privi di soluzione di dicono incompatibili.

12. Metodo della matrice inversa Il caso piÚ semplice è quello nel quale il numero delle incognite eguaglia il numero delle incognite. In questo caso è immediata la rappresentazione matriciale del

14

sistema nel quale m = n. Viene đ?‘Ž1,1 sistema, nella forma A = ( â‹Ž đ?‘Žđ?‘›,1

considerata la matrice A, detta dei coefficienti del â‹Ż đ?‘Ž1,đ?‘› â‹ą â‹Ž ). La matrice colonna dei coefficienti del â‹Ż đ?‘Žđ?‘›,đ?‘› đ?‘?1 đ?‘? sistema è posta nella forma B= ( 2 ). Il vettore colonna delle incognite è X = ‌. đ?‘?đ?‘› đ?‘Ľ1 đ?‘Ľ2 (‌ .). Fatte queste premesse un sistema lineare è ponibile in forma matricale đ?‘Ľđ?‘› essendo AX = B. Occorre per prima cosa calcolare det(A). Se det(A) ≠0 è possibile lavorare su AX = B avendo đ??´âˆ’1 A X = đ??´âˆ’1 B â&#x;ž X = đ??´âˆ’1 B. Da det(A) ≠0 discende đ?‘Ľ1 đ?‘&#x;1 đ?‘Ľ2 đ?‘&#x;2 l’esistenza e la unicitĂ della soluzione, ovvero dei valori R = (‌ .) = (‌ .). đ?‘Ľđ?‘› đ?‘&#x;đ?‘›

In pratica, per risolvere un sistema di n equazioni in n incognite si determina det(A).

Se det(A) = 0 il sistema non ammette soluzioni. Se det(A) ≠0 di determina l’unica soluzione.

13. Teorema di RouchĂŠ – Capelli Molte volte ci si trova di fronte a situazioni piĂš complesse nelle quali il numero delle incognite e il numero delle equazioni non coincide. đ?‘Ž11 đ?‘Ľ1 + đ?‘Ž12 đ?‘Ľ2 + ‌‌ + đ?‘Ž1đ?‘› đ?‘Ľđ?‘› = đ?‘?1 đ?‘Ž21 đ?‘Ľ1 + đ?‘Ž22 đ?‘Ľ2 + ‌‌ + đ?‘Ž2đ?‘› đ?‘Ľđ?‘› = đ?‘?2 ‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌.. đ?‘Žđ?‘š1 đ?‘Ľ1 + đ?‘Žđ?‘š2 đ?‘Ľ2 + ‌‌ + đ?‘Žđ?‘šđ?‘› đ?‘Ľđ?‘› = đ?‘?đ?‘š In questo caso si parte dalla ipotesi m ≠n. Ăˆ assegnata la matrice dei coefficienti (detta anche matrice incompleta). Essa è cosĂŹ đ?‘Ž1,1 â‹Ż đ?‘Ž1,đ?‘› â‹ą â‹Ž ). formalizzata A = ( â‹Ž đ?‘Žđ?‘š,1 â‹Ż đ?‘Žđ?‘š,đ?‘›

15

La matrice completa contiene una ulteriore colonna quella dei termini noti, essa è đ?‘Ž1,1 ‌ đ?‘Ž1,đ?‘› đ?‘?1 â‹Ž â‹ą â‹Ž ).

C =( đ?‘Žđ?‘š,1 ‌ . . đ?‘Žđ?‘š,đ?‘› đ?‘?2 Il sistema assegnato ammette soluzioni (una o infinite) se e solo se le due matrici hanno lo stesso rango.

Credo che in questo caso al di lĂ degli approfondimenti sia piĂš celere svolgere esercizi applicativi.

14. Sistema di n equazioni omogenee in n incognite Viene considerata la matrice A, detta dei coefficienti del sistema, nella forma A = đ?‘Ž1,1 â‹Ż đ?‘Ž1,đ?‘› â‹ą â‹Ž ). La matrice colonna dei coefficienti del sistema è posta nella forma ( â‹Ž đ?‘Žđ?‘›,1 â‹Ż đ?‘Žđ?‘›,đ?‘› đ?‘Ľ1 đ?‘?1 đ?‘Ľ2 đ?‘?

B= ( 2 ). Il vettore colonna delle incognite è X = (‌ .). ‌. đ?‘Ľđ?‘› đ?‘?đ?‘› 0 0 Se det(A) ≠0 si ha la unica soluzione X = ( ). ‌.

0 Se det(A) = 0 il sistema ammette infinite soluzioni. In particolare di dimostra che �1 �′1 �2 �′ se det(A) ≠0 allora se X = (‌ .) e X’ = ( 2 ) allora ιX + φX’ è una soluzione. ‌. �� �′�

15. Applicazioni lineari Si consideri un campo commutativo, per esempio R, insieme dei numeri reali. Siano definiti due distinti spazi vettoriali sullo stesso campo, S e T. Sia assegnata una funzione f che associa (fa corrispondere) ad un elemento di S corrisponda uno ed uno solo elemento di T. Formalmente si scrive f : S â&#x;ś T. La funzione f è detta applicazione lineare (o omomorfismo) se e solo se, considerati due distinti elementi x ed y di S si ha, ∀r ∈ R, f(x+y) = f(x) + f(y) f(kx) = kf(x)

16

Si ha la conservazione dell’addizione e la moltiplicazione per uno scalare. In particolare essa �

vale anche per r = 0, avendosi f(0) = 0. �� → �� .

Esiste un criterio di linearità di una applicazione. Una applicazione è lineare se e solo se esistono due scalari di campo, h e k, tali che f(kx + hy) = kf(x) + hf(y), essendo x ed y elementi di S. Si è considerato il campo R in realtà si potrebbe usare anche C. Traggo da Swirner-Scaglianti alcuni esercizi che mi sono proposto di risolvere.

Dimostrare che le f seguenti sono lineari. đ?’‚ đ?’‡ đ?’‚+đ?’ƒ 1) f : đ?‘šđ?&#x;? â&#x;ś đ?‘šđ?&#x;? ( ) → ( ) đ?’ƒ đ?’‚ In questo caso i due spazi vettoriali coincidono. đ?‘Ž đ?‘Ž+đ?‘?

Si considerino gli elementi ( ) e (đ?‘Žâ€˛). Tramite la f detti elementi divengono ( ) đ?‘? đ?‘Ž đ?‘?′ ′ đ?‘Ž e (đ?‘Ž + đ?‘?′) . Si consideri quindi ( ) + (đ?‘Žâ€˛) = (đ?‘Ž + đ?‘Žâ€˛). Tramite la trasformazione đ?‘? đ?‘? + đ?‘?′ đ?‘Žâ€˛ đ?‘?′ ′ definita dalla legge f al valore (đ?‘Ž + đ?‘Žâ€˛) đ?‘?đ?‘œđ?‘&#x;đ?‘&#x;đ?‘–đ?‘ đ?‘?đ?‘œđ?‘›đ?‘‘đ?‘’ (đ?‘Ž + đ?‘Ž + đ?‘? + đ?‘?′). Occorre đ?‘? + đ?‘?′ đ?‘Ž + đ?‘Žâ€˛ ′ ′ đ?‘Ž+đ?‘? dimostrare che ( ) + (đ?‘Ž + đ?‘?′) = (đ?‘Ž + đ?‘Ž + đ?‘? + đ?‘?′) . Ciò discende dalla definizione đ?‘Ž đ?‘Ž + đ?‘Žâ€˛ đ?‘Žâ€˛ di somma di due matrici e dalla proprietĂ commutativa della somma di numeri reali. La f definita sarebbe un omomorfismo anche se K = C, e fosse f: đ??ś 2 â&#x;ś đ??ś 2 . ′ Per una nota proprietĂ delle matrici si ha che se (đ?‘Ž + đ?‘Ž + đ?‘? + đ?‘?′) ∈ đ?‘‰đ?‘‡ allora anche đ?‘Ž + đ?‘Žâ€˛ ′ đ?‘Ž + đ?‘Ž + đ?‘? + đ?‘?′ k( ) ∈ đ?‘‰đ?‘‡ đ?‘Ž + đ?‘Žâ€˛

Per il futuro ometterò tale parte dimostrativa ogniqualvolta risultasse evidente. đ?’‚ đ?’‡ 2) f: đ?‘š â&#x;ś R : (đ?’ƒ) → 2a -3b + 4c . đ?’„ đ?&#x;‘

In questo caso la trasformazione manda un vettore di đ?‘… 3 in un vettore della retta. đ?‘Ž đ?‘Žâ€˛ Siano dati due elementi (đ?‘? ) e (đ?‘?′). Essi mediante la f diventano 2a - 3b + 4c e 2a’ – 3b’ + 4c’ đ?‘? đ?‘?′ đ?‘Ž đ?‘Ž đ?‘Žâ€˛ đ?‘Žâ€˛ đ?‘? đ?‘? f( ( ) + (đ?‘?′) ) = 2(a+a’) – 3(b+b’) + 4(c+c’) . Ma essa è eguale alla somma f ( ) + đ?‘“ (đ?‘?′) . đ?‘? đ?‘? đ?‘?′ đ?‘?′

17

đ?‘Ž đ?‘“ Quindi f: đ?‘… â&#x;ś R : (đ?‘? ) → 2a -3b + 4c definisce una applicazione lineare. đ?‘?

3

đ?’‚ đ?’‡ đ?’„ 3) f: đ?‘š â&#x;ś đ?‘š : (đ?’ƒ) → ( ) đ?’‚+đ?’ƒ đ?’„ đ?&#x;‘

đ?&#x;?

đ?‘Ž đ?‘Ž đ?‘Žâ€˛ đ?‘? ′ Siano dati due elementi di đ?‘… (đ?‘? ) e (đ?‘? ). I corrispondenti elementi di f(đ?‘? ) = ( ) đ?‘Ž+đ?‘? ′ đ?‘? đ?‘? đ?‘? đ?‘Ž đ?‘Žâ€˛ đ?‘Žâ€˛ đ?‘? + đ?‘?′ ma anche f(đ?‘?′) = ( đ?‘?′ ). Pertanto f(đ?‘? ) + f(đ?‘?′) = ( ). ′ đ?‘Žâ€˛ + đ?‘?′ đ?‘Ž + đ?‘?+ đ?‘Ž + đ?‘?′ đ?‘? đ?‘?′ đ?‘?′ 3

đ?‘Ž đ?‘Žâ€˛ đ?‘Ž + đ?‘Žâ€˛ đ?‘? + đ?‘?′ f( (đ?‘? ) + (đ?‘? ′ )) = f((đ?‘? + đ?‘?′) = ( ). ′ đ?‘Ž + đ?‘? + đ?‘Ž + đ?‘?′ ′ đ?‘? đ?‘? đ?‘? + đ?‘?′ 4. Dimostrare che l’applicazione f: đ?‘šđ?&#x;? â&#x;ś R definita nel modo seguente non è lineare. đ?‘Ž đ?‘“ đ?‘Ž ( ) → det [ đ?‘? đ?‘?

đ?‘? ] đ?‘Ž

đ?‘Ž đ?‘?

Il det [ ] = đ?‘Ž2 - đ?‘? 2 è uno scalare reale, quindi è ben posto che la f sia da đ?‘… 2 a đ?‘? đ?‘Ž valori reali. đ?‘Ž đ?‘Ž Siano ( ) e (đ?‘Žâ€˛) due distinti elementi di đ?‘… 2 . Si ha f(( )= đ?‘Ž2 - đ?‘? 2 e f((đ?‘Žâ€˛)= đ?‘Žâ€˛2 – đ?‘?′2 đ?‘? đ?‘? đ?‘?′ đ?‘?′ đ?‘Ž Pertanto f(( ) + f((đ?‘Žâ€˛)= đ?‘Ž2 - đ?‘? 2 + đ?‘Žâ€˛2 – đ?‘?′2 . Occorre ora determinare f((đ?‘Ž + đ?‘Žâ€˛). Per come đ?‘? đ?‘? + đ?‘?′ đ?‘?′ đ?‘Ž + đ?‘Žâ€˛ è definita la trasformazione lineare posso scrivere che (( ) = det [đ?‘Ž + đ?‘Žâ€˛ đ?‘? + đ?‘?′] đ?‘? + đ?‘?′ đ?‘? + đ?‘?′ đ?‘Ž + đ?‘Žâ€˛ đ?‘Ž đ?‘Žâ€˛ ′ 2 ′ 2 = (đ?‘Ž + đ?‘Ž ) – (đ?‘? + đ?‘? ) ≠f(( ) + f(( ). đ?‘? đ?‘?′ Quindi non si tratta di un omomorfismo.

18

Considero anche i seguenti esercizi proposti in “Katzan, Intermediate Calculus and Linear Algebra, Harward University Lecture Notes, 1965” 1. T: 𝑹𝟐 ⟶ 𝑹𝟐 TX= (𝒙𝟏 + 𝒙𝟐 , 𝒙𝟏 − 𝒙𝟐 ) dove X = (𝒙𝟏 , 𝒙𝟐 ) ∈ 𝑹𝟐 𝑥′′ 𝑥′ 𝑥′′ Siano ( 1 ) e ( 1 ) per il tipo di trasformazione assegnata possiamo dire che T( 1 ) 𝑥′′2 𝑥′2 𝑥′′2 𝑥′′ + 𝑥′′2 𝑥′ 𝑥′ + 𝑥′2 𝑥′′ 𝑥′ 𝑥′′ + 𝑥′′2 𝑥′ + 𝑥′2 = ( 1 ) e 𝑇 ( 1) = ( 1 ). T( 1 ) + 𝑇 ( 1 ) = ( 1 )+ ( 1 )=𝑇 𝑥′′1 − 𝑥′′2 𝑥′2 𝑥′1 − 𝑥′2 𝑥′′2 𝑥′2 𝑥′′1 − 𝑥′′2 𝑥′1 − 𝑥′2 𝑥′′ + 𝑥′′2 ( 1 ) 𝑥′′1 − 𝑥′′2 La scelta operata dall’autore mi ha costretto a usare i pedici ‘ e ‘‘ . Anche in questo 𝑥′′ + 𝑥′′2 𝑥′′ + 𝑥′′2 caso ∀ ( 1 ) ∈ 𝑉𝑇 anche k* ( 1 ) ∈ 𝑉𝑇 . 𝑥′′1 − 𝑥′′2 𝑥′′1 − 𝑥′′2 2. T: 𝑹𝟐 ⟶ 𝑹𝟐 TX=( 𝒙𝟏 + 𝒙𝟐 + 𝟏 , 𝒙𝟏 − 𝒙𝟐 ) Per semplificarmi la vita pongo 𝑥1 = 𝑎 𝑒 𝑥2 = b 𝑇 (𝑎′) → (𝑎′ + 𝑏′ + 1) 𝑏′ 𝑎′ − 𝑏′ 𝑇 (𝑎′′) → (𝑎′′ + 𝑏′′ + 1) 𝑏′′ 𝑎′′ − 𝑏′′ ′ ′ T(𝑎′) + T(𝑎′′) = (𝑎′ + 𝑏′ + 1) + (𝑎′′ + 𝑏′′ + 1) = (𝑎 + 𝑏′ + 1 + 𝑎′′ + 𝑏′′ + 2 ) 𝑎 − 𝑏 + 𝑎′′ − 𝑏′ 𝑏′ 𝑏′′ 𝑎′ − 𝑏′ 𝑎′′ − 𝑏′′ ′ (𝑎′ + 𝑏 ′ ) + (𝑏 ′ + 𝑏 ′′ ) + 1 Determino ora T(𝑎′ + 𝑎′′) = ( ). (𝑎′ + 𝑎′′) − 𝑏′ + 𝑏′′ 𝑏 + 𝑏′′ ′ È ben evidente che T(𝑎′) + T(𝑎′′) ≠ T(𝑎′ + 𝑎′′) quindi non si è in presenza di una 𝑏 + 𝑏′′ 𝑏′ 𝑏′′ trasformazione lineare.

3. T: 𝑹𝟐 ⟶ 𝑹𝟐 TX=( 𝒙𝟏 +𝒙𝟏 ∗ 𝒙𝟐 , 𝒙𝟐 ) Pongo 𝑥1 = 𝑎 𝑒 𝑥2 = b. ′ 𝑇 (𝑎′) → (𝑎 + 𝑎′𝑏′) 𝑏′ 𝑏′ ′′ 𝑇 (𝑎′′) → (𝑎 + 𝑎′′𝑏′′) 𝑏′′ 𝑏′′ ′ ′ ′ ′′ ′ ′′ T(𝑎′) + T(𝑎′′) = (𝑎 + 𝑎′𝑏′) + (𝑎 + 𝑎′′𝑏′′) = (𝑎 + 𝑎 𝑏 ′ + 𝑎 + 𝑎′′𝑏′) 𝑏 + 𝑏′′ 𝑏′ 𝑏′′ 𝑏′ 𝑏′′ ′

T(𝑎′ + 𝑎′′) = ( 𝑏 + 𝑏′′

(𝑎′ + 𝑎′′ ) + (𝑎′ + 𝑎′′ )( 𝑏 ′ + 𝑏 ′′ ) 𝑎′ + 𝑎′′ + 𝑎′ 𝑏 ′ + 𝑎′ 𝑏 ′′ + 𝑎′ 𝑏 ′ + 𝑎′′𝑏′′) ) = ( 𝑏 ′ + 𝑏′′ 𝑏 ′ + 𝑏′′

19

′ PoichĂŠ T(đ?‘Žâ€˛ + đ?‘Žâ€˛â€˛) ≠T(đ?‘Žâ€˛) + T(đ?‘Žâ€˛â€˛) che si desume immediatamente da đ?‘Žâ€˛ + đ?‘Žâ€˛ đ?‘? ′ + đ?‘Žâ€˛â€˛ + đ?‘? + đ?‘?′′ đ?‘?′ đ?‘?′′ ′′ ′ ′ ′′ ′ ′ ′ ′′ đ?‘Ž đ?‘? ≠đ?‘Ž + đ?‘Ž + đ?‘Ž đ?‘? + đ?‘Ž đ?‘? + đ?‘Žâ€˛ đ?‘? ′ + đ?‘Žâ€˛â€˛đ?‘?′′

4. T: đ?‘šđ?&#x;‘ â&#x;ś đ?‘šđ?&#x;? TX=( đ?’™đ?&#x;? + đ?’™đ?&#x;? − đ?’™đ?&#x;‘ ) Pongo đ?‘Ľ1 = đ?‘Ž, đ?‘Ľ2 = b e đ?‘Ľ3 = c. đ?‘Žâ€˛ đ?‘Žâ€˛â€˛ Siano (đ?‘?′) e (đ?‘?′′) due elementi dello spazio đ?‘… 3 . Su detti elementi opera la đ?‘?′ đ?‘?′′ trasformazione che manda detti vettori in uno scalare, ovvero in un elemento di R. Per la formalizzazione della legge di trasformazione si ha đ?‘Žâ€˛ đ?‘‡ đ?‘Žâ€˛ (đ?‘?′) → (a’ + b’ – c’) = T(đ?‘?′) đ?‘?′ đ?‘?′ đ?‘Žâ€˛â€˛ đ?‘‡ đ?‘Žâ€˛â€˛ (đ?‘?′′) → (a’’ + b’’ – c’’) = T(đ?‘?′′) đ?‘?′′ đ?‘?′′ đ?‘Žâ€˛ đ?‘Žâ€˛â€˛ T(đ?‘?′) + T(đ?‘?′′) = (a’ + b’ – c’) + (a’’ + b’’ – c’’) đ?‘?′ đ?‘?′′ đ?‘Žâ€˛ + đ?‘Žâ€˛â€˛ Occorre determinare T(đ?‘? ′ + đ?‘?′′) = ((đ?‘Žâ€˛ + đ?‘Žâ€˛) + (b’+b’’) + (c’+c’’)). đ?‘? ′ + đ?‘?′′ Occorre verificare se (a’ + b’ – c’) + (a’’ + b’’ – c’’) = ((đ?‘Žâ€˛ + đ?‘Žâ€˛â€˛) + (b’+b’’) - (c’+c’’)).

Si può ragionare sul primo membro avendo (a’ + b’ – c’) + (a’’ + b’’ – c’’) = a’ + b’ – c’ + a’’ + b’’ – c’’ = a’ + a’’ + b’ + b’’ – c’ – c’’ = (a’ + a’’) + (b’ +b’’) – (c’ + c’’). Ma questo è proprio il secondo membro, quindi la eguaglianza è provata.

La seconda parte della dimostrazione è semplice in quanto la trasformazione ha come risultato uno scalare e moltiplicando uno scalare per un altro si ha sempre uno scalare, quindi un elemento di R. Coordinando i due punti si desume che la trasformazione T: đ?‘… 3 â&#x;ś đ?‘…1 TX=( đ?‘Ľ1 + đ?‘Ľ2 − đ?‘Ľ3 ) è una trasformazione lineare.

5. T: đ?‘šđ?&#x;‘ â&#x;ś đ?‘šđ?&#x;? TX=( đ?’™đ?&#x;? + đ?’™đ?&#x;? − đ?’™đ?&#x;‘ + đ?&#x;?)

Pongo đ?‘Ľ1 = đ?‘Ž, đ?‘Ľ2 = b e đ?‘Ľ3 = c.

20

đ?‘Žâ€˛ đ?‘Žâ€˛â€˛ Siano (đ?‘?′) e (đ?‘?′′) due elementi dello spazio đ?‘… 3 . Su detti elementi opera la đ?‘?′ đ?‘?′′ trasformazione che manda detti vettori in uno scalare, ovvero in un elemento di R. Per la formalizzazione della legge di trasformazione si ha đ?‘Žâ€˛ đ?‘‡ đ?‘Žâ€˛ (đ?‘?′) → (a’ + b’ – c’ + 2) = T(đ?‘?′) đ?‘?′ đ?‘?′ đ?‘Žâ€˛â€˛ đ?‘‡ đ?‘Žâ€˛â€˛ (đ?‘?′′) → (a’’ + b’’ – c’’ + 2) = T(đ?‘?′′) đ?‘?′′ đ?‘?′′ đ?‘Žâ€˛ đ?‘Žâ€˛â€˛ T(đ?‘?′) + T(đ?‘?′′) = (a’ + b’ – c’ + 2) + (a’’ + b’’ – c’’ + 2) = (a’ + b’ – c’) + (a’’ + b’’ – c’’) + 4 đ?‘?′ đ?‘?′′ = ((đ?‘Žâ€˛ + đ?‘Žâ€˛) + (b’+b’’) + (c’+c’’)) + 4 đ?‘Žâ€˛ + đ?‘Žâ€˛â€˛ T(đ?‘? ′ + đ?‘?′′) = ((đ?‘Žâ€˛ + đ?‘Žâ€˛) + (b’+b’’) + (c’+c’’)) + 2. đ?‘? ′ + đ?‘?′′ đ?‘Žâ€˛ + đ?‘Žâ€˛â€˛ đ?‘Žâ€˛ đ?‘Žâ€˛â€˛ PoichĂŠ T(đ?‘?′) + T(đ?‘?′′) ≠T(đ?‘? ′ + đ?‘?′′) non si tratta di un omomorfismo. đ?‘? ′ + đ?‘?′′ đ?‘?′ đ?‘?′′

15.1 Matrice associata Una applicazione lineare da uno spazio vettoriale ad un altro può essere rappresentata da una matrice, quando siano fissate le basi nei due spazi. Essa è detta matrice associata.

15.2. Autovettori ed autovalori Dato uno spazio vettoriale di dimensione finita n su un campo K (R o C) e sia assegnata la base. Sia data la matrice quadrata di ordine n A = 〔đ?‘Žđ?‘– đ?‘˜ 〕si considera đ?‘Ľ1 đ?‘Ľ1 ‌ ‌ l’applicazione lineare definita da f(( ‌ )) = A( ‌ ) đ?‘Ľđ?‘› đ?‘Ľđ?‘› đ?‘Ľ1 0 Viene definito autovettore, un vettore non nullo (‌‌ ) ≠(‌‌ ) per il quale valga la relazione đ?‘Ľđ?‘› 0 đ?‘Ľ1 đ?‘Ľ1 A(‌‌ ) = Îť(‌‌ ). Îť è un elemento di R o di C a seconda del campo su cui si opera (tali o đ?‘Ľđ?‘› đ?‘Ľđ?‘› complessi).

21

Ν è detto autovalore. �1 �1 ‌ ‌ Se ( ‌ ) è un autovettore allora anche k ( ‌ ) k ≠0 L’insieme i cui elementi sono tutti gli auto �� �� vettori è detto autospazio di Ν.

15.3 Equazione caratteristica e polinomio caratteristico Il calcolo degli autovalori si realizza utilizzando un noto teorema per il quale Ν è un autovalore della matrice A di ordine n se e solo se si ha: det(A – ΝI) = 0, essendo I la matrice identità di ordine n.

Si omette la dimostrazione invero semplice.

Il determinante det(A – ÎťI) è detto caratteristico della matrice A. L’equazione det(A – ÎťI) = 0 è detta caratteristica della matrice A. Detto determinante è scritto in forma detta sviluppata come segue: đ?‘Ž1,1 − đ?œ† â‹Ž det(A – ÎťI) = đ?‘‘đ?‘’đ?‘Ą ( đ?‘Žđ?‘›,1

â‹Ż â‹ą â‹Ż

đ?‘Ž1,đ?‘› â‹Ž ) đ?‘Žđ?‘›,đ?‘› − đ?œ†

Îť è considerabile come una indeterminata ottenendosi un polinomio in Îť, detto p(Îť), definito come polinomio caratteristico della matrice A. La sembianza di detto determinante in forma espansa si giustifica agevolmente dal fatto che moltiplicando I per Îť si ottiene una matrice diagonale avente gli elementi in diagonale tutti eguali đ?‘Ž1,1 − đ?œ† â‹Ż đ?‘Ž1,đ?‘› â‹Ž â‹ą â‹Ž a Îť. Facendo la differenza (A – ÎťI) = ( ). đ?‘Žđ?‘›,1 â‹Ż đ?‘Žđ?‘›,đ?‘› − đ?œ† 15.4 Esempio di calcolo di autovalori e autovettori A=(

1)

Da A = (

đ?&#x;? đ?&#x;Ž

đ?&#x;“ ) đ?&#x;‘

1 5 1−đ?œ† ) đ?‘ đ?‘– â„Žđ?‘Ž A – ÎťI = ( 0 3 0

5 ) 3− đ?œ†

Trattando Îť come una variabile si ha p(Îť) = (1-Îť)(3 – Îť) – 5*0 = 3 – Îť - 3Îť + đ?œ†2 ovvero p(Îť) = đ?œ†2- 4Îť + 3. Occorre ora determinare i Îť : p(Îť) = 0. Si ha đ?œ†2- 4Îť + 3 = 0, ovvero đ?œ†1,2 =

22

− (−4)Âąâˆš(−4)2 −4(1)(3) (2)(1)

=

4Âąâˆš16 −12 2

=

4Âą2 2

da cui đ?œ†1 = 6/2 = 3 e đ?œ†2 = 2/2 = 1

�1 �1 Deve essere A(‌‌ ) = Ν(‌‌ ). �� �� �1 5 �1 ) (� ) = 3(� ) 2 2 3

1 0

Nel caso in esame ( đ?‘Ľ + 5đ?‘Ľ2 ( 1 3đ?‘Ľ2

đ?‘Ľ1 0 đ?‘Ľ + 5đ?‘Ľ2 ) = 3(đ?‘Ľ ) â&#x;ž 1 0 3đ?‘Ľ2 2

= =

3đ?‘Ľ1 3đ?‘Ľ2 5

5 5 Da đ?‘Ľ1 + 5đ?‘Ľ2 = 3đ?‘Ľ1 â&#x;ž 5đ?‘Ľ2 = 2đ?‘Ľ1 â&#x;ž đ?‘Ľ1 = 2 đ?‘Ľ2 â&#x;ž X = ( 2 ) X = ( ) ma in generale X = k( ).

2 2 1 5

Da 3�2 = 3�2 si evince che �2 può assumere qualunque valore. Detta eguaglianza è vera per ogni �2 Va ora considerato il caso Ν = 1. �1 5 �1 ) (� ) = 1(� ) 2 2 3

1 0

Nel caso in esame ( đ?‘Ľ + 5đ?‘Ľ2 ( 1 3đ?‘Ľ2

đ?‘Ľ1 0 đ?‘Ľ + 5đ?‘Ľ2 ) = 1(đ?‘Ľ ) â&#x;ž 1 0 3đ?‘Ľ2 2

= 1đ?‘Ľ1 = 1đ?‘Ľ2

In questo caso 3đ?‘Ľ2 = 1đ?‘Ľ2 â&#x;ž đ?‘Ľ2 = 0.

1 Pertanto X = k( ) 0

2)

đ?&#x;? đ?&#x;?

đ?&#x;— ) đ?&#x;?

A=A=(

Da A = (

2 9 2−đ?œ† ) đ?‘ đ?‘– â„Žđ?‘Ž A – ÎťI = ( 1 2 1

9 ) 2− đ?œ†

Trattando Îť come una variabile si ha p(Îť) = ( 2 − đ?œ†)2 – 9.

L’equazione caratteristica si ottiene ponendo p(Îť) = 0 ovvero ( 2 − đ?œ†)2 – 9 = 0 4 - 4Îť + đ?œ†2 − 9 = 0 da cui đ?œ†2 - 4đ?œ† - 5 = 0. Usando la formula risolutiva si ha đ?œ†1,2 = − (−4)Âąâˆš(−4)2 −4(1)(−5) (2)(1)

=

4Âąâˆš(−4)2 −4(1)(−5) (2)(1)

=

4Âąâˆš36 2

=

4Âą6 2

si ottiene đ?œ†1 = 5 e đ?œ†2 = - 1.

Considero il caso đ?œ†1 = 5. (

đ?‘Ľ1 2 9 đ?‘Ľ1 ) (đ?‘Ľ ) = 5(đ?‘Ľ ) 1 2 2 2

2đ?‘Ľ + 9đ?‘Ľ2 ( 1 đ?‘Ľ1 + 2đ?‘Ľ2

đ?‘Ľ1 0 ) = 5(đ?‘Ľ ) 0 2

Si ha il seguente sistema lineare di due equazioni in due incognite.

23

2�1 + 9�2 = 5�1 �1 + 2�2 = 5�2 meglio riscrivibile come 9�2 = 3�1 �1 = 3�2 Due modi equivalenti di dire la stessa cosa‌ Posso porre �2 = 1 avendo �1 = 3�2 = (3)(1) = 3 3 Pertanto X = k( ) 1

Considero ora il caso đ?œ†2 = - 1. (

đ?‘Ľ1 2 9 đ?‘Ľ1 ) (đ?‘Ľ ) = (-1)(đ?‘Ľ ) 1 2 2 2

2đ?‘Ľ + 9đ?‘Ľ2 ( 1 đ?‘Ľ1 + 2đ?‘Ľ2

đ?‘Ľ1 0 ) = (-1)(đ?‘Ľ ) 0 2

Si ha il seguente sistema lineare di due equazioni in due incognite.

2đ?‘Ľ1 + 9đ?‘Ľ2 = -đ?‘Ľ1 â&#x;ž 3đ?‘Ľ1 = - 9đ?‘Ľ2 ovvero đ?‘Ľ1 = - 3đ?‘Ľ2 đ?‘Ľ1 + 2đ?‘Ľ2 = - đ?‘Ľ2 â&#x;ž đ?‘Ľ1 = - 3đ?‘Ľ2 Questo sistema ha infinite soluzioni oltre a quella degenere đ?‘Ľ2 = 0.

X = k(

−3 ) 1

16. Noticella sulle operazioni binarie Una operazione binaria in un insieme S è una funzione da SXS a S. Una operazione binaria ⨳ è detta associativa se e solo se (∀x, y, z ∈ S) ⨳(x, ⨳(y,z)) = ⨳(⨳(x,y), z). Essa è commutativa se e solo se (∀x, y, z ∈ S) ⨳(x, y) = ⨳ (y, x). Un elemento u ∈ S è detto elemento neutro (identity or unit) se (∀x ∈ S) si ha ⨳(u,x) = ⨳(x, u) = x. Un elemento z è detto elemento 0 per l’operazione ⨳ se (∀x ∈ S) si ha ⨳(z,x) = ⨳(z, u) = z. Vengono definiti il neutro sinistro e il neutro destro. Il primo quando (∀x ∈ S) si ha ⨳(u,x) = x. Il secondo quando (∀x ∈ S) si ha ⨳(x, u) = x. La condizione di commutativitĂ (ovvero se essa vige) fa si che neutro sinistro e neutro destro coincidano. Identity e l’elemento zero per ⨳ se esistono sono unici (e non eguali tra loro).

24

Ho sintetizzato il § 8.1 dei Fundamentals of Abstract Analysis (di A. M. Gleason, Harvard University).

A titolo applicativo ho sviluppato il terzo esercizio del § citato.

Quale delle seguenti operazioni binarie definite sugli ordinari numeri sono associative? Commutative? Hanno elemento neutro a sinistra? Hanno elemento neutro a destra? Zero a sinistra? Zero a destra?

L’autore ha in teso riferirsi all’insieme R salvo il caso sub f). a)

(x, y)â&#x;ś x

non commutativitĂ : infatti (y, x) â&#x;ś y ≠x elemento neutro: (u, y) â&#x;ś u mentre (x, u) â&#x;ś x ≠u. Però se u = x si ha (u, y ) â&#x;ś u ma anche in questo caso (y, u) = y ≠đ?‘Ľ = đ?‘˘. ∃ u per (x, y) : x = y e solo in questo caso.

Zero a sinistra e zero a destra. (0, φ) â&#x;ś 0 âˆ€Ď† ∈ R. A destra si avrebbe (φ, 0) â&#x;ś φ.

Ma in generale φ≠0. Non esiste uno zero, ma esiste uno zero a sinistra. Lo zero a destra si avrebbe solo nel caso degenere (0, 0) â&#x;ś 0.

Associatività : Siano date le coppie (x’, y’) (x’’, y’’) e (x’’’, y’’’). max ((x’,y’) , max( (x’’, y’’), (x’’’, y’’’) = max ( max((x’, y’), (x’’ , y’’)) , (x’’’ , y’’’)). Sia max (x,y) = a, max(x’’, y’’) = b e sia max(x’’’, y’’’) = c. Con queste sostituzioni possiamo dire che max ((x’,y’) , max( (x’’, y’’), (x’’’, y’’’) = max ( a, max ( b, c). Ma anche max ( max((x’, y’), (x’’ , y’’)) , (x’’’ , y’’’)) = max( max(a, b), c). Verifico se max ( a, max ( b, c)) = max( max(a, b), c). A questo punto posso reiterare il ragionamento ponendo max(b, c) = d e max (a,b) = e, avendo max( a, d) = max (e , b).

Si ha: a = e = max(a, b) e b = d = max (b,c)

b)

(x, y) â&#x;ś │x – y│

commutativitĂ : infatti (x, y) â&#x;ś │x – y │ ma anche (y, x) â&#x;ś │y – x │= │x- y│â&#x;ľ (x, y) elemento neutro: (u, φ) â&#x;ś │u – φ │= │φ - u│â&#x;ľ (φ, u). ∃ u neutro per la data operazione âˆ€Ď† Ricerca degli eventuali zeri. (0, φ) â&#x;ś │0 – φ │= │– φ │≠0 âˆ€Ď† : φ ∈ R - âŚƒ0⌄. Il numero reale 0 non è uno zero sinistro per l’operazione data. Verifico ora a destra (φ, 0) â&#x;ś │φ - 0 │= │ φ │≠0 âˆ€Ď† : φ ∈ R - âŚƒ0⌄. Il numero reale 0 non è uno zero sinistro per l’operazione data.

Occorre verificare se può esistere un τ ≠0 : │τ – φ │ = │ φ - τ │= τ.

Tali relazioni non sono vere in generale ma solo per φ = 0 e per τ ⊞ 0.

25

AssociativitĂ . Sia dato un z â&#x2C6;&#x2C6; R. (y , z) â&#x;śâ&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A; (x, â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A;) â&#x;ś â&#x201D;&#x201A; x - â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A;â&#x201D;&#x201A; (â&#x201D;&#x201A;x - yâ&#x201D;&#x201A; , z) â&#x;ś â&#x201D;&#x201A;â&#x201D;&#x201A;x-yâ&#x201D;&#x201A; - z â&#x201D;&#x201A; Per verificare se la legge è associativa bisogna che sia â&#x201D;&#x201A; x - â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A;â&#x201D;&#x201A;= â&#x201D;&#x201A;â&#x201D;&#x201A;x-yâ&#x201D;&#x201A; - z â&#x201D;&#x201A; Essa ha un senso quando contemporaneamente è x - â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A;> 0 e â&#x201D;&#x201A;x-yâ&#x201D;&#x201A; - z > 0 ovvero x > â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A; e â&#x201D;&#x201A;x-yâ&#x201D;&#x201A; > z. Ma sono egualmente ammissibili i casi in cui sia x - â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A;< 0 e â&#x201D;&#x201A;xyâ&#x201D;&#x201A; - z < 0. Per togliermi di impiccio ai fini della validitĂ dellâ&#x20AC;&#x2122;ipotesi della associativitĂ la condizione deve valere â&#x2C6;&#x20AC; z quindi anche per z = 0.

Occorre verificare che â&#x201D;&#x201A; x - â&#x201D;&#x201A;y â&#x20AC;&#x201C; zâ&#x201D;&#x201A;â&#x201D;&#x201A;= â&#x201D;&#x201A;â&#x201D;&#x201A;x-yâ&#x201D;&#x201A; - z â&#x201D;&#x201A;vale â&#x2C6;&#x20AC; z quindi anche per z = 0. Per mera sostituzione si ha â&#x201D;&#x201A; x - â&#x201D;&#x201A;y â&#x20AC;&#x201C; 0â&#x201D;&#x201A;â&#x201D;&#x201A;= â&#x201D;&#x201A;â&#x201D;&#x201A;x-yâ&#x201D;&#x201A; - 0 â&#x201D;&#x201A;â&#x;ž â&#x201D;&#x201A; x - â&#x201D;&#x201A;y â&#x201D;&#x201A;â&#x201D;&#x201A;= â&#x201D;&#x201A;â&#x201D;&#x201A;x-yâ&#x201D;&#x201A;â&#x201D;&#x201A;â&#x;ž â&#x201D;&#x201A; x - â&#x201D;&#x201A;y â&#x201D;&#x201A;â&#x201D;&#x201A;= â&#x201D;&#x201A;xyâ&#x201D;&#x201A;. Se y > 0 si ha â&#x201D;&#x201A; x - y â&#x201D;&#x201A;= â&#x201D;&#x201A; x - yâ&#x201D;&#x201A; . Ma per y < 0 â&#x201D;&#x201A; x - (-y) â&#x201D;&#x201A; = â&#x201D;&#x201A;x -yâ&#x201D;&#x201A;, si avrebbe â&#x201D;&#x201A; x + y) â&#x201D;&#x201A; = â&#x201D;&#x201A;x -yâ&#x201D;&#x201A;.

Ho concluso nel senso della non associativitĂ .

(x, y) â&#x;ś x + y + xy

c)

commutativitĂ : (x, y) â&#x;ś x + y + xy ma anche (y, x) â&#x;ś y + x + yx La condizione di commutativitĂ della data operazione è data da x + y + xy = y + x + yx (vera per la commutativitĂ di + e * in R).

Definizione del neutro. (u, Ď&#x2020;) â&#x;ś u + Ď&#x2020; + uĎ&#x2020;. Considero ora (Ď&#x2020;, u) = Ď&#x2020; + u + Ď&#x2020;u. La esistenza è garantita dalla commutativitĂ della somma e del prodotto infatti u + Ď&#x2020; = Ď&#x2020; + u ed anche uĎ&#x2020; = Ď&#x2020;u.

Zero a sinistra e zero a destra. Verifico se Ď&#x201E; è zero a sinistra. Si ha (Ď&#x201E;, Ď&#x2020;) dovendo essere Ď&#x201E;+ Ď&#x2020; + Ď&#x201E;Ď&#x2020; = Ď&#x201E; â&#x;ž Ď&#x2020; + Ď&#x201E;Ď&#x2020; = 0 â&#x;ž Ď&#x201E;Ď&#x2020; = - Ď&#x2020; â&#x;ž Ď&#x201E; = - 1. Esiste a sinistra. Verifico se esso esiste a destra. Considero la coppia di reali qualunque (Îą, β) â&#x;ś Îą+β + ιβ. Affinchè sia β uno zero della operazione assegnata deve risultare Îą+β + ιβ = β â&#x;ž Îą+ ιβ = 0 â&#x;ž Îą = - ιβ â&#x;ž 1 = - β â&#x;ž đ?&#x203A;˝ = â&#x2C6;&#x2019;1.

PoichĂŠ Ď&#x201E; = β = - 1 allora (-1) è uno zero dellâ&#x20AC;&#x2122;operazione.

Verifica della associativitĂ . Da (x, y) â&#x;ś x + y + xy considero (y, z) â&#x;ś (y + z + yz). (x, y +z + yz) â&#x;ś x + (y + z + yz) + x(y+z+yz) = x + y + z + yz + xy + xz + xyz. Considero ora (x +y + xy , z) â&#x;ś (x+y+xy) + z + (x+y+xy)z = x + y + xy + z + xz + yz + xyz. Si è ben evidenziata la associativitĂ .

26

d)

(x, y) â&#x;ś xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4

Non commutativitĂ . Ragionando come sopra si evidenzia che xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4 â&#x2030; yx â&#x20AC;&#x201C; 2y â&#x20AC;&#x201C; x + 4 â&#x;ľ (y, x).

Ricerca del neutro. (u, y) â&#x;ś uy â&#x20AC;&#x201C; 2u â&#x20AC;&#x201C; y + 4, ed anche (y, u) = yu â&#x20AC;&#x201C; 2y â&#x20AC;&#x201C; u + 4. Da 2u + y = 2y + u si ha u = y. Ha senso per x = y.

Zero a sinistra. Dovrebbe risultare xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4 = x â&#x;ž xy â&#x20AC;&#x201C; 3x â&#x20AC;&#x201C; y + 4 = 0. Tale relazione non è vera in generale.

Da (x, y) â&#x;ś xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4 si ha (y, z) = yz -2y â&#x20AC;&#x201C; z + 4 (x, yz â&#x20AC;&#x201C; 2y â&#x20AC;&#x201C; z +4) = x(yz -2y â&#x20AC;&#x201C; z +4) â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; (yz â&#x20AC;&#x201C; 2y â&#x20AC;&#x201C; z +4) + 4 = xyz -2xy â&#x20AC;&#x201C; xz + 4x â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; yz + 2y + z â&#x20AC;&#x201C; 4 + 4 = xyz â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; xz + 2x â&#x20AC;&#x201C; yz + 2y + z = đ?&#x153;&#x2018;1 (x, y, z) (xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4 , z) = (xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4)z â&#x20AC;&#x201C; 2(xy â&#x20AC;&#x201C; 2x â&#x20AC;&#x201C; y + 4) â&#x20AC;&#x201C; z + 4 = xyz â&#x20AC;&#x201C; 2xz â&#x20AC;&#x201C; yz +4z â&#x20AC;&#x201C; 2xy + 4x +2y â&#x20AC;&#x201C; 8 â&#x20AC;&#x201C; z + 4 = xyz â&#x20AC;&#x201C; 2xz â&#x20AC;&#x201C; yz +4z â&#x20AC;&#x201C; 2xy + 4x +2y â&#x20AC;&#x201C; 4 â&#x20AC;&#x201C; z = đ?&#x153;&#x2018;2 (x, y, z).

Ma đ?&#x153;&#x2018;1 (x, y, z) â&#x2030;˘ đ?&#x153;&#x2018;2 (x, y, z), nel senso che i polinomi nelle indeterminate reali x, y, z non sono coincidenti, nel senso di Abel.

Desumo la non associativitĂ .

e)

(x , y) â&#x;ś xy + y â&#x20AC;&#x201C; 1

Non commutativitĂ . Infatti xy + y â&#x20AC;&#x201C; 1â&#x2030; yx + x â&#x20AC;&#x201C; 1 â&#x;ľ (y, x).

Neutro. (u, y) â&#x;ś uy + y -1 ed anche (y, u) = yu + u â&#x20AC;&#x201C; 1. Situazione analoga alla precedente.

Zeri. x è uno zero sinistro se xy + y -1 = x â&#x;ž yx â&#x20AC;&#x201C; x + y â&#x20AC;&#x201C; 1 = x(y-1) +(y-1) = (y-1)(x+1) = 0 per x = - 1 y = 1, oppure x = -1 e â&#x2C6;&#x20AC; y o anche per y = 1 con x qualunque. Zero desto è y tale che xy + y â&#x20AC;&#x201C; 1 = y â&#x;ž xy = 1.

Non è definito lo zero per detta operazione.

Verifica della associativitĂ . (y, z) â&#x2020;&#x2019; yz + z â&#x20AC;&#x201C; 1, (x, yz + z -1) â&#x2020;&#x2019; x(yz + z â&#x20AC;&#x201C; 1) + yz + z â&#x20AC;&#x201C; 1 â&#x20AC;&#x201C; 1. Ma (x , y) â&#x;ś xy + y â&#x20AC;&#x201C; 1 e quindi (xy + y â&#x20AC;&#x201C; 1, z) â&#x2020;&#x2019; (xy + y â&#x20AC;&#x201C; 1)z + z â&#x20AC;&#x201C; 1 = xyz + yz â&#x20AC;&#x201C;z + z â&#x20AC;&#x201C; 1 = xyz + yz â&#x20AC;&#x201C; 1. Osservo che x(yz + z â&#x20AC;&#x201C; 1) + yz + z â&#x20AC;&#x201C; 1 â&#x20AC;&#x201C; 1 = xyz + xz + x + yz + z â&#x2030; xyz + yz â&#x20AC;&#x201C; 1 â&#x;ž non associativitĂ .

f)

(x, y) â&#x;ś â&#x2C6;&#x161;đ?&#x2019;&#x2122;đ?&#x;? + đ?&#x2019;&#x161;đ?&#x;? con x e y non negativi

27

CommutativitĂ . Infatti si ha (x, y) â&#x;ś â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 = â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;Ľ 2 â&#x;ľ (y,x). Osservo che â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 = â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;Ľ 2 è garantita dalla commutativitĂ della somma di numeri reali.

Esistenza del neutro. (u, y) â&#x;ś â&#x2C6;&#x161;đ?&#x2018;˘2 + đ?&#x2018;Ś 2 = â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;˘2 â&#x;ľ( y, u) vera â&#x2C6;&#x20AC;y ⊞ 0.

Uno zero per detta operazione non può esistere infatti dovrebbe essere â&#x201D;&#x201A;xâ&#x201D;&#x201A; = â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 = â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;Ľ 2 = â&#x201D;&#x201A;yâ&#x201D;&#x201A;. Ma essa è vera quando â&#x201D;&#x201A;xâ&#x201D;&#x201A; =â&#x201D;&#x201A;yâ&#x201D;&#x201A;. Ma da essa nasce una assurditĂ in quanto â&#x201D;&#x201A;xâ&#x201D;&#x201A; = â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 â&#x;ž y = 0. Ma allora dovrebbe essere â&#x201D;&#x201A;yâ&#x201D;&#x201A;= 0. Caso degenere. Per le posizioni fatte si evidenzia che â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 = â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;Ľ 2 = đ?&#x153; > 0. Ma nel caso piĂš generale đ?&#x153; â&#x2030; â&#x201D;&#x201A;yâ&#x201D;&#x201A; . Per x > 0 e nel caso generale y > 0 si non può essere che x è uno zero per lâ&#x20AC;&#x2122;operazione assegnata in quanto â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 = đ?&#x153; > â&#x201D;&#x201A;xâ&#x201D;&#x201A;. Stessa riflessione vale per si ammetta sia y uno zero destro.

OSSERVAZIONE. Relativamente alla ricerca degli zeri si può affermare che non esiste uno zero per una operazione assegnata quando si è provato che non esiste lo zero a sinistra oppure quando si è verificata la inesistenza dello zero da destra.

Verifica della associativitĂ dellâ&#x20AC;&#x2122;operazione binaria (x, y) â&#x;ś â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 con x e y non negativi.

Sia dato uno z â&#x2C6;&#x2C6; R. Si ha (y, z) â&#x;ś â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;§ 2 Considero ora (x, â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;§ 2 ) â&#x2020;&#x2019; â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + (â&#x2C6;&#x161;đ?&#x2018;Ś 2 + đ?&#x2018;§ 2 )2 = â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 + đ?&#x2018;§ 2 . Da (x, y) â&#x;ś â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 ottengo (â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 , z ) â&#x2020;&#x2019; â&#x2C6;&#x161;(â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 )2 + đ?&#x2018;§ 2 = â&#x2C6;&#x161;đ?&#x2018;Ľ 2 + đ?&#x2018;Ś 2 + đ?&#x2018;§ 2 . La legge è associativa.

(x, y) â&#x;ś max (x, y)

g)

CommutativitĂ . Se (x, y) â&#x;ś max (x, y) allora (y,x) = max (y, x). Ma max(x, y) = max (y, x). Tra due numeri x ed y il massimo è invariate rispetto allâ&#x20AC;&#x2122;ordine di essi.

Max(a, b) = a = b quando a = b.

Neutro. (u, β) â&#x;ś max( u, β) = max (β, u) â&#x;ľ (β, u).

La ricerca dello zero non è sensata in quanto lo zero sinistro esiste se e in quanto max(a, b) = a, ovvero quando il massimo coincide con la prima componente. Sotto questa condizione non può esistere lo zero sinistro. Questo caso è sufficiente ad evidenziare che non esiste lo zero.

AssociativitĂ . (x, y) â&#x;ś max (x, y) ed anche (y, z) â&#x;ś max (y, z). Ammetto esso sia đ?&#x2018;&#x161;1 = max (y, z). (x, đ?&#x2018;&#x161;1 ) â&#x2020;&#x2019; max (x, đ?&#x2018;&#x161;1 ) = đ?&#x2018;&#x161;2 Considero ora max (x, y) = đ?&#x2018;&#x161;0 determino quindi max(đ?&#x2018;&#x161;0 , z) = đ?&#x2018;&#x161;3 . Affinchè la legge sia associativa deve essere đ?&#x2018;&#x161;2 = đ?&#x2018;&#x161;3 . Si molto semplicemente perchĂŠ nei vari confronti tra le variabili si ottiene sempre il max e confrontando detto max con la rimanente variabile si â&#x20AC;&#x153;ottieneâ&#x20AC;? sempre max.

28

Ovviamente đ?&#x2018;&#x161;2 = đ?&#x2018;&#x161;3 vale o x, o y o z. Ammettendo noto đ?&#x2018;&#x161;2 = đ?&#x2018;&#x161;3 = đ?&#x2018;§ (in ragione di ciò si avrebbe (đ?&#x2018;&#x161;2 = đ?&#x2018;&#x161;3 = đ?&#x2018;§) â&#x;ş x < z, y < z)) si avrebbe đ?&#x2018;&#x161;0 < z.

Non ho considerato relazioni del tipo x â&#x2030;¤ y.

h)

(x, y) â&#x;ś max (đ?&#x2019;&#x2122;đ?&#x;? - y, đ?&#x2019;&#x161;đ?&#x;? - x)

Da (x, y) â&#x;ś max (đ?&#x2018;Ľ 2 - y, đ?&#x2018;Ś 2 - x) si ha (y, x) â&#x;ś max (đ?&#x2018;Ś 2 - x, đ?&#x2018;Ľ 2 - y) Essa è commutativa perchĂŠ in generale max (a, b) = max (b,a).

Elemento zero. Esso non esiste. (x, y) â&#x;ś max (đ?&#x2018;Ľ 2 - y, đ?&#x2018;Ś 2 - x) = đ?&#x2018;Ś 2 â&#x20AC;&#x201C; x che non è vero in generale. Infatti esistono coppie (x , y) : đ?&#x2018;Ľ 2 â&#x20AC;&#x201C; y > đ?&#x2018;Ś 2 â&#x20AC;&#x201C; x. Non si ha lo zero destro.

Quindi non esiste lo zero.

Neutro a destra. (x, u) = x ovvero (x , y) â&#x;ś max (đ?&#x2018;Ľ 2 - y, đ?&#x2018;Ś 2 - x) = đ?&#x2018;Ľ 2 â&#x20AC;&#x201C; y. Non è detto in quanto possono esistere (x , y) : đ?&#x2018;Ś 2 â&#x20AC;&#x201C; x > đ?&#x2018;Ľ 2 â&#x20AC;&#x201C; y. In generale non esiste neutro.

29

I GRANDI MATEMATICI DEL PASSATO Nikolaj Ivanovic Lobacevskij

Questa figura è un modo elementare e visivo per evidenziare le geometrie non euclidee (le prime due rappresentazioni) rispetto alla geometria euclidea.

Un posto centrale nellâ&#x20AC;&#x2122;elaborazione delle geometrie non euclidee ha avuto lo studio e le riflessioni dei matematici su un postulato della geometria di Euclide.

30

La geometria euclidea è quella che tutti noi abbiamo studiato a scuola. Essa si basa sui cinque postulati di Euclide, enunciati negli Elementi (primo libro). Li vorrei enunciare anche se essi sono ben noti.

1) Tra due punti del piano (del piano o dello spazio) passa una ed una sola retta; 2) In segmento è prolungabile indefinitamente; 3) Dato un punto e un lunghezza è possibile descrivere un cerchio; 4) Tutti gli angoli retti sono congruenti tra loro; 5) Se una retta che taglia due rette determina dallo stesso lato angoli interni minori di due angoli retti, prolungando le due rette, esse si incontrano dalla stessa parte dove i due angoli sono minori di due retti.

La formulazione più nota del 5) è che per un punto esterno ad una retta data passa una ed una sola parallela alla retta data. Detto postulato vale sia per il piano che per lo spazio.

Da questi postulati discendono tutti i teoremi noti della geometria del piano e dello spazio.

Per secoli questi punti di partenza apparivano inconfutabili. Ma già Euclide aveva avuto una certa riluttanza ad usare il V postulato nelle sue dimostrazioni.

Fu col Saccheri, matematico gesuita del XVII secolo, che si posero le basi delle geometrie non euclidee, ovvero di impostazioni coerenti che dalla negazione del V postulato portavano alla costruzione di edifici logico-matematici alternativi ma coerenti.

Saccheri voleva dimostrare il postulato euclideo della unicità per assurdo, evidenziando che dalla sua negazione sarebbe sorta una invalidità non sanabile (una contraddizione) che avrebbe a contrariis dimostrato valido il postulati di Euclide. Egli non comprese che così facendo avrebbe posto le basi per le geometrie non euclidee. È ben nota la rappresentazione dei quadrilateri di Saccheri che prevede tre casi incompatibili: l’ipotesi dell’angolo retto (coerente con la geometria euclidea) e le ipotesi dell’angolo ottuso e dell’angolo acuto.

Relativamente al fatto che l’ipotesi dell’angolo acuto fosse confutabile veniva indicata come non valida pure il non limitabile prolungamento del segmento. Ho trovato abbastanza “oscuro” il contenuto del paragrafo della voce Wikipedia relativo a Giovanni Girolamo Saccheri.

31

È un po’ come se osservando la gaussiana con introduzione di una restrizione del suo domino dovessi dire che essa non è prolungabile all’infinito, risultando l’asse delle ascisse un asintoto orizzontale.

La geometria elaborata da Lobacevskij (e da Bolay) soddisfa i primi quattro postulati euclidei ma non il quinto che quindi è indipendente.

Nella geometria di Lobacevskij il V postulato di Euclide è sostituito dal seguente: Data una retta r ed un punto P : P ∉ r esistono almeno due rette passanti per P e parallele a r. Si opera su un piano detto iperbolico.

Esistono diversi modelli atti a descrivere la geometria iperbolica. Uno di essi è il disco di Poincaré: lo spazio iperbolico è costituito dai punti interni ad un circolo C. Le rette vengono rappresentate dagli archi di circonferenza che intersecano il bordo perpendicolarmente. Tale angolo retto è pure l’angolo tra la perpendicolare nel punto di comune tra la retta tangente la circonferenza, non dello spazio euclideo e la retta euclidea ortogonale ad essa e passante per il punto del circolo.

Data una retta iperbolica τ (i cui punti p sono tali che p ∈ C) allora esistono infinite rette iperboliche passanti per un p’ ≠ p tali che esse sono parallele alla retta τ.

Nel modello di Klein le rette iperboliche sono disegnate come fossero segmenti.

Al di là di quello che si potrebbe pensare osservando le figure gli estremi delle rette iperboliche vanno pensati all’infinito.

La nozione iperbolica di parallelismo è più complessa di quella euclidea. Si ammetta di avere una retta L. Si consideri un punto P ∉ L. Da P si considera una retta euclidea che interseca in B la retta L. Ogni retta iperbolica che passa per P e non ha punti in comune con L è una parallela. Ognuna di esse forma un angolo θ con la retta per i punti P e B. θ è detto angolo di parallelismo. Risultano parallele ad L tutte e sole le rette aventi angoli ψ: ψ∈⦋θ , π- θ ⦌.

32

Nella geometria iperbolica la nozione di parallelismo non è una relazione di equivalenza. Non vale la proprietà transitiva.

Una relazione di equivalenza è una relazione tra elementi di un insieme che gode delle proprietà commutativa, riflessiva e transitiva. Se a e b sono elementi di un insieme la relazione r è di equivalenza se R(a,b) = R(b,a) è vero che R(a, a) ed anche ( R(a,b) e R(b,c) ⟾ R(a,c). È facile convincersi che nel mondo euclideo la relazione di parallelismo è una relazione di equivalenza nel senso che se una retta a è parallela a una retta b è anche vero che la retta b è parallela alla retta e, e che ogni retta può considerarsi parallela a se stessa. Ma è anche vero che se a e b sono parallele tra loro e pure b e c son parallele tra loro (proprietà transitiva).

Nel contesto iperbolico questa ultima asserzione è infondata. Se si può dire che vale la simmetria per la quale se una retta iperbolica è parallela ad un’altra e che vale il viceversa e che non nascono problemi nel considerare una retta iperbolica parallela a se stessa, già il disegnino che evidenzia il parallelismo iperbolico inficia la transitività. Infatti se x e y sono due delle infinite rette passanti per P (non punto di L) e se è vero che entrambe sono parallele alla L è immediato che la transitività che imporrebbe x ed y parallele tra loro è viziata insanabilmente dal fatto che esse passano per il comune punto P. Avendo esse un punto in comune non possono essere parallele. Non vigendo la proprietà transitiva la relazione di parallelismo iperbolico non può essere una relazione di equivalenza.

Ho mutuato questo appunto dalla voce Geometria iperbolica di Wikipedia con evidenti semplificazioni e qualche mia integrazione.

33

Lâ&#x20AC;&#x2122;ANGOLO DEL FISICO Dallâ&#x20AC;&#x2122;accelerazione alla posizione. Il problema cinematico inverso

1. Lâ&#x20AC;&#x2122;integrale indefinito Lâ&#x20AC;&#x2122;integrale indefinito di una funzione è una funzione. PiĂš precisamente è quella funzione che derivata riproduce la funzione data. Lâ&#x20AC;&#x2122;integrazione è lâ&#x20AC;&#x2122;operazione inversa della derivazione, ed è detta anche antiderivazione. GiĂ studiando la derivazione di era evidenziato che derivando una funzione si otteneva una nuova funzione (quando possibileâ&#x20AC;Ś) e che la stessa funzione (derivata) la si otteneva derivando la funzione f(x) + k, ove k è un qualunque numero reale.

La figura sottostante che ho rinvenuto in Internet ben evidenzia questo stato di cose.

Il simbolo â&#x2C6;Ť đ?&#x2018;&#x201C;(đ?&#x2018;Ľ)đ?&#x2018;&#x2018;đ?&#x2018;Ľ è detto integrale indefinito della funzione f(x) detta funzione integranda. La lettera C della figura indica una costante reale, anche nulla.

â&#x2C6;Ť đ?&#x2018;&#x201C;(đ?&#x2018;Ľ)đ?&#x2018;&#x2018;đ?&#x2018;Ľ = P(x) è detta funzione primitiva perchĂŠ derivandola si ottiene la funzione f(x). Se P(x) è una primitiva di f(x) tutte le primitiva si esprimono come P(x) + C. Ă&#x2C6; immediato ricordare che đ??ˇđ?&#x2018;Ľ C = 0.

Queste questioni saranno riprese nel prossimo numero nelle PILLOLE MATEMATICHE

34

2. Lâ&#x20AC;&#x2122;integrale definito đ?&#x2018;?

Lâ&#x20AC;&#x2122;integrale definito è un numero. La scrittura â&#x2C6;Ťđ?&#x2018;&#x17D; đ?&#x2018;&#x201C;(đ?&#x2018;Ľ)đ?&#x2018;&#x2018;đ?&#x2018;Ľ ha un ben noto significato geometrico, quello di area della superficie delimitata dalla curva f(x) e dalle rette verticali y = a e y = b. a e b sono detti estremi di integrazione. Le f(x) di pertinenza cinematica sono solitamente continue. Ciò consente di avere grandezze cinematiche istantanee.

Anche su queste questioni bisognerĂ approfondire nel prossimo numero nella rubrica PILLOLE MATEMATICHE. đ?&#x2018;?

Per ora si può solo scrivere â&#x2C6;Ťđ?&#x2018;&#x17D; đ?&#x2018;&#x201C;(đ?&#x2018;Ľ)đ?&#x2018;&#x2018;đ?&#x2018;Ľ = P(b) â&#x20AC;&#x201C; P(a).

In pratica data f(x) si determina la corrispondente primitiva (o antiderivata) đ?&#x2018;?

ammettendo C = 0, quindi si ammette â&#x2C6;Ťđ?&#x2018;&#x17D; đ?&#x2018;&#x201C;(đ?&#x2018;Ľ)đ?&#x2018;&#x2018;đ?&#x2018;Ľ = P(b) â&#x20AC;&#x201C; P(a). Questi passaggi saranno ben formalizzati in quanto costituiscono il corollario (di Torricelli) del teorema fondamentale del calcolo.

3. Il problema cinematico inverso Nel precedente ANGOLO DEL FISICO si era osservato che data una funzione di posizione la sua derivata temporale definiva la velocitĂ istantanea e derivando ulteriormente si arrivava alla accelerazione istantanea. Ă&#x2C6; ben evidente che potrebbe darsi il caso opposto ovvero di dover a partire dalla accelerazione (o dalla velocitĂ ) giungere a dover definire la posizione allâ&#x20AC;&#x2122;istante t. Schematicamente si ha: đ?&#x2018;&#x2018;đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; â&#x20AC;˛ (đ?&#x2018;Ą) đ?&#x2018;&#x2018;đ?&#x2018;Ą

r(t) â&#x2020;&#x2019;

đ?&#x2018;&#x2018; đ?&#x2018;&#x201C; â&#x20AC;˛ (đ?&#x2018;Ą) đ?&#x2018;&#x2018;đ?&#x2018;Ą đ?&#x2018;&#x2013;

v(t) â&#x2020;&#x2019;

â&#x2C6;Ť đ?&#x2018;&#x201C;â&#x20AC;˛â&#x20AC;˛đ?&#x2018;&#x2013; đ?&#x2018;&#x2018;đ?&#x2018;Ą+ đ?&#x2018;?đ?&#x2018;&#x2013;

a(t) â&#x2020;&#x2019;

â&#x2C6;Ť đ?&#x2018;&#x201C;â&#x20AC;˛đ?&#x2018;&#x2013; đ?&#x2018;&#x2018;đ?&#x2018;Ą+ đ?&#x2018;&#x2DC;đ?&#x2018;&#x2013;

v(t) â&#x2020;&#x2019;

r(t)

Questa rappresentazione potrĂ essere chiarita con esempi.

35

4. Esempi di problemi cinematici inversi Al solito ragioneremo in đ?&#x2018;&#x2026; 3 . Ammettiamo sia nota a(t), quindi sono note le tre funzioni scalari nel dominio del tempo. Nota a(t) risultano note pure le componenti scalari, ovvero risultano note đ?&#x2018;&#x201C;â&#x20AC;˛â&#x20AC;˛đ?&#x2018;&#x2013; đ?&#x2018;&#x2018;đ?&#x2018;Ą , ove i =1, 2, 3. I valori đ?&#x2018;?đ?&#x2018;&#x2013; sono le condizioni iniziali riferite alle tre componenti, quindi si tratta delle velocitĂ misurate lungo i tre assi ove si ammetta di scomporre il moto secondo direzioni ortonormali. Ecco quindi il significato della introduzione di un vettore C = đ?&#x2018;?1 đ?&#x2019;&#x160; + đ?&#x2018;?2 đ?&#x2019;&#x2039; + đ?&#x2018;?3 đ?&#x2019;&#x152;.

Pertanto v(t) = â&#x2C6;Ť đ?&#x2019;&#x201A;(đ?&#x2019;&#x2022;) dt = â&#x2C6;Ť(đ?&#x2018;&#x17D;1(t)i + đ?&#x2018;&#x17D;2 (t)j + đ?&#x2018;&#x17D;3 (t)k) dt = đ??´1 (t)i + đ??´2 (t)j + đ??´3 (t)k + C. In pratica đ?&#x2018;?đ?&#x2018;&#x2013; = đ?&#x2018;Łđ?&#x2018;&#x2013; (0).

Per il formalismo usato đ??´đ?&#x2018;&#x2013; devono intendersi le primitive per C = 0. In pratica si bypassa il corollario di Torricelli, poi si considera C dato.

In modo del tutto analogo si evidenzia che r(t) = â&#x2C6;Ť đ?&#x2019;&#x2014;(đ?&#x2019;&#x2022;) dt = â&#x2C6;Ť(đ?&#x2018;Ł1(t)i + đ?&#x2018;Ł2 (t)j + đ?&#x2018;Ł3 (t)k) dt = đ?&#x2018;&#x2030;1(t)i + đ?&#x2018;&#x2030;2(t)j + đ?&#x2018;&#x2030;3(t)k + r(0). r(0) denota la posizione iniziale del corpo.

Ho rielaborando utilmente mutuando da Stewart, Calcolo. Funzioni di piĂš variabili, Apogeo. Ă&#x2C6; molto utile usare le seguenti formule (Stewart, op. cit.) che presuppongono lâ&#x20AC;&#x2122;uso del corollario di Torricelli. đ?&#x2018;Ą

v(t) = v(đ?&#x2018;Ą0 ) + â&#x2C6;Ťđ?&#x2018;Ą đ?&#x2019;&#x201A;(Ď&#x201E;)dĎ&#x201E; đ?&#x2018;&#x153;

đ?&#x2018;Ą

r(t) = r(đ?&#x2018;Ą0 ) + â&#x2C6;Ťđ?&#x2018;Ą đ?&#x2019;&#x2014;(Ď&#x201E;)dĎ&#x201E; đ?&#x2018;&#x153;

Ď&#x201E; è solo un modo alternativo di denotare il tempo evitando di confondere t usato negli estremi di integrazione.

Posso esemplificare considerando un semplice esercizio proposto dallo Stewart (op. cit.). Una particella parte dallâ&#x20AC;&#x2122;origine con velocitĂ i â&#x20AC;&#x201C; j + 3k. La sua accelerazione è a(t) = 6ti + 12đ?&#x2019;&#x2022;đ?&#x;? â&#x20AC;&#x201C; 6tk.

Trovare la sua posizione.

Per i dati del problema si ha: v(0) = i â&#x20AC;&#x201C; j + 3k . Si ha v(t) = â&#x2C6;Ť đ?&#x2019;&#x201A;(đ?&#x2019;&#x2022;) dt = â&#x2C6;Ť(đ?&#x2018;&#x17D;1 (t)i + đ?&#x2018;&#x17D;2 (t)j + đ?&#x2018;&#x17D;3 (t)k) dt = â&#x2C6;Ť 6đ?&#x2018;Ąi + 12đ?&#x2018;Ą 2 j â&#x20AC;&#x201C; 6t k) dt = đ??´1 (t)i + đ??´2 (t)j + đ??´3 (t)k + v(0) = đ??´1 (t)i + đ??´2 (t)j + đ??´3 (t)k + (i â&#x20AC;&#x201C; j + 3k) = 3đ?&#x2019;&#x2022;đ?&#x;? i + 6đ?&#x2018;Ą 3 j - 3đ?&#x2018;Ą 2 k + (i â&#x20AC;&#x201C; j + 3k) = (3đ?&#x2018;Ą 2 + 1)i + (6đ?&#x2018;Ą 3 -1)j +3(1 - đ?&#x2018;Ą 2 )k .

36

DIAMO I NUMERI La definizione dei numeri reali, le loro proprietĂ e i numeri complessi

1. La definizione del numero reale Il metodo piĂš noto per definire i numeri reali è quello delle partizioni di Dedeking (matematico tedesco dellâ&#x20AC;&#x2122;Ottocento). Esso è basato (Citrini, Analisi matematica I, BB) sulla idea che â&#x20AC;&#x153;un numero reale è noto quando siano note tutte le sue approssimazioni razionali, per difetto e per eccessoâ&#x20AC;?.

Richard Dedeking definĂŹ il concetto di sezione del campo razionale.

I razionali costituiscono un campo abeliano. In pratica si considera lâ&#x20AC;&#x2122;insieme Q dei numeri razionali. Quindi si ammette di separare gli elementi di Q in due sottoinsiemi propri di esso. Ciò avviene con la regola che ogni elemento di Q appartenga allâ&#x20AC;&#x2122;uno a allâ&#x20AC;&#x2122;altro di detti sottoinsiemi (che quindi sono non vuoti).

La separazione dei razionali e quindi la loro appartenenza ad uno dei due sottoinsiemi ubbidisce ad una regola molto semplice.

Va preliminarmente osservato che nellâ&#x20AC;&#x2122;insieme Q è definita una relazione dâ&#x20AC;&#x2122;ordine (stretta e totale) che poi di fatto conduce alla tricotomia. Ă&#x2C6; quindi possibile dire che dati due razionali Îą e β è vera una ed una soltanto delle tre relazioni Îą < β, Îą = β, Îą > β.

Ciò conduce naturalmente a definire il criterio (oggettivo) di attribuzione dei razionali agli insiemi A e B. A = âŚ&#x192;â&#x2C6;&#x20AC;Îą : Îą â&#x2C6;&#x2C6; Q e Îą < β â&#x2C6;&#x20AC;đ?&#x203A;˝ â&#x2C6;ś đ?&#x203A;˝ â&#x2C6;&#x2C6; đ?&#x2018;&#x201E; âŚ&#x201E;; B = âŚ&#x192;â&#x2C6;&#x20AC;β : β â&#x2C6;&#x2C6; Q e β >Îą â&#x2C6;&#x20AC;đ?&#x203A;ź â&#x2C6;ś đ?&#x203A;ź â&#x2C6;&#x2C6; đ?&#x2018;&#x201E; âŚ&#x201E;.

Nel linguaggio insiemistico si dice che A e B definiscono una partizione dei razionali. Infatti Aâ&#x2C6;ŞB = Q Aâ&#x2C6;ŠB = â&#x2C6;&#x2026; Alcune di queste sezioni contengono un elemento separatore. Si ammetta esista un đ?&#x203A;źđ?&#x2018;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;Ľ â&#x2C6;&#x2C6; A oppure un đ?&#x203A;˝đ?&#x2018;&#x161;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A; â&#x2C6;&#x2C6; B. Sia đ?&#x153;? lâ&#x20AC;&#x2122;elemento di separazione. Vale una ed una sola delle seguenti ipotesi Ď&#x201E; = đ?&#x203A;źđ?&#x2018;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;Ľ oppure Ď&#x201E; = đ?&#x203A;˝đ?&#x2018;&#x161;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A; .

Ho constatato (Citrini, op cit.) che per semplificare la trattazione di introduce una condizione addizionale per la quale B non ha minimo, ovvero B non ha minimo.

37

Potrebbe però capitare che non esistano supA e inf B. In questo caso non esiste lâ&#x20AC;&#x2122;elemento separatore, bensĂŹ una lacuna.

Alla lacuna corrisponde un numero irrazionale.

Credo eccessivo formalizzare completamente la definizione di numero reale. Ă&#x2C6; opportuno che in generale per numero reale si intende una sezione dei numeri razionali nellâ&#x20AC;&#x2122;ipotesi B non ha minimo.

Un numero reale è definito da una sezione. Per esempio x = (A,B) si intende il numero reale x definito dalla partizione A,B ove B è privo di minimo, mentre y = C,D) si intende il numero reale x definito dalla partizione C, D ove D è privo di minimo.

A = C â&#x;ž x = y (piĂš ampiamente si tratta di una complicazione). Ho lasciato â&#x;ž perchĂŠ geneticamente il numero è definito da una sezione.

Nellâ&#x20AC;&#x2122;insieme R dei reali vige la relazione di ordine stretto < e totale (valida senza limitazioni nei possibili confronti) per la quale x < y.

Dal punto di vista formale A â&#x160;&#x201A; C â&#x;ž x < y. Essa è sensata in quanto se A â&#x160;&#x201A; C allora C contiene tutti gli elementi di A esistendo almeno un elemento di C non appartenente ad A. Ma D non contiene il minimo (per come sono costruite le partizioni). Esiste però un Îł = max C ma Îł â&#x2C6;&#x2030; A. Infatti se fosse Îłâ&#x2C6;&#x2C6;A allora sarebbe A = C da cui sarebbe x = y.

Che in caso del genere sia x < y discende dal fatto che lâ&#x20AC;&#x2122;approssimazione Îłâ&#x20AC;&#x2122; < Îł ove Îłâ&#x20AC;&#x2122; = max A si ripercuote sul numero e quindi sul confronto tra essi, avendosi quindi A â&#x160;&#x201A; C â&#x;ž max A < max C = Îłâ&#x20AC;&#x2122; < Îł â&#x;ž x < y.

Una formale definizione completa è contenuta in Citrini (op. cit.) a pag. 65.

Lâ&#x20AC;&#x2122;insieme R dei numeri reali è costituto dai numeri razionali e dai numeri irrazionali. R = Qâ&#x2C6;Şđ?&#x2022;ľ ove đ?&#x2022;ľ è lâ&#x20AC;&#x2122;insieme degli irrazionali. Questi due insiemi costituiscono una partizione in quanto Qâ&#x2C6;Šđ?&#x2022;ľ = â&#x2C6;&#x2026;. Ă&#x2C6; utile ricordare che in un intervallo I â&#x160;&#x201A; R con I â&#x2030; â&#x2C6;&#x2026; sono contenuti infiniti razionali e infiniti irrazionali.

2. Le proprietĂ algebriche e dâ&#x20AC;&#x2122;ordine dei numeri reali Per quanto attiene allâ&#x20AC;&#x2122;insieme R dei numeri reali e alla corrispondente struttura algebrica (R, +, *) possibile affermare che si tratta di un campo abeliano per il quale per ogni x, y, z elementi di R sono sempre verificate le proprietĂ seguenti. (x+y) + z = x + (y + z) = x + y + z

38

(x*y)*z = x*(y*z) Queste due relazioni esprimono la proprietà associativa dell’operazione + e *, rispettivamente.

Valgono anche le due seguenti relazioni che definiscono la commutatività delle due operazioni. x+y=y+x x*y = y*x Relativamente alle due operazioni sono poi definiti gli elementi neutri, quello additivo, ovvero il numero 0, e il neutro moltiplicativo, ovvero l’unità, 1. x+0=0+x=x x*1 = 1*x = x Per le due operazioni esistono gli elementi simmetrici. Essi sono rispettivamente – x e 1/x avendosi rispettivamente: x + (- x) = 0 x*(1/x) = 1 quando x ≠ 0.

I due simetrici (uno per operazione) sono unici.

Vale, infine, la proprietà distributiva per la quale deve essere: x*(y+z) = x*y + x*z

2.1 I campi ordinati Mutuo da Gleason (op. cit.) la definizione formale di campo ordinato. Un campo ordinato è una configurazione (F, +, *, <, ⩽) tale che 1)

(F, +,*) è un campo;

2)

F(<, ⩽) è un insieme ordinato;

3)

se x < y allora x+ z < y + z;

4)

se 0 < x e 0 < y allora 0 < xy.

Per i campi ordinati valgono le ben note proprietà: a) a> 0 se e solo se a < 0; b) se a > b e c > d allora a + c > b+d; c) se a > 0 e b < 0 allora ab < 0;

39

d) se a < 0 e b < 0 allora ab > 0; e) se a > b e c > 0 allora ac > bc; f) se a > b e c < 0 allora ac < bc; g) se a > b ⊞ 0 e c > d ⊞ allora ac > bd; h) đ?&#x2018;&#x17D;2 ⊞ 0; i) se a e b non sono contemporaneamente eguali a zero allora đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 > 0; j) 1 > 0; 1

k) se a > 0 allora đ?&#x2018;&#x17D; > 0.

Per alcuni campi ordinati vale la proprietĂ archimedea per la quale per ogni x â&#x2C6;&#x2C6; F allora esiste un n tale che n > x.

Se x ed y sono elementi non negativi di un campo ordinato si ha che đ?&#x2018;Ľ 2 < đ?&#x2018;Ś 2 se e solo se x < y.

Ho potuto ritrovare la formalizzazione di ben note proprietĂ di uso comune.

1) a ⊽ â&#x2C6;&#x161;đ?&#x2018;&#x17D;2 2) â&#x2C6;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;? = â&#x2C6;&#x161;đ?&#x2018;&#x17D;â&#x2C6;&#x161;đ?&#x2018;? se a ⊞0 e b ⊞ 0 3) â&#x2C6;&#x161;(đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 = â&#x2C6;&#x161;đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 + â&#x2C6;&#x161;đ?&#x2018;? 2 + đ?&#x2018;&#x2018; 2

3. I numeri complessi

40

Questa figura sintetizza efficacemente lo stato dellâ&#x20AC;&#x2122;arte sui numeri complessi.

Si era arrivati ( nel numero di marzo) alle seguenti relazioni z = (a , b) = a + ib = Ď cosĎ&#x2020; + iĎ sinĎ&#x2020; = Ď (cosĎ&#x2020; + isinĎ&#x2020;)= Ď (eiĎ&#x2020; ) , ove Ď = â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 .

In allora non furono considerate le potenze, ovvero le scritture đ?&#x2018;§ đ?&#x2018;&#x203A; , e le radici di đ?&#x2018;&#x203A;

numeri complessi, ovvero â&#x2C6;&#x161;đ?&#x2018;§ . In questi casi sovvengono noti teoremi. đ?&#x2018;§ đ?&#x2018;&#x203A; = Ď đ?&#x2018;&#x203A; (cos(đ?&#x2018;&#x203A;Ď&#x2020;) + isin(nĎ&#x2020;)) = Ď đ?&#x2018;&#x203A; (ei(nĎ&#x2020;) ) Trattasi di un caso particolare della moltiplicazione. Si dimostra (usando la formula di addizione del seno) che đ?&#x2018;§1 *đ?&#x2018;§2 = Ď 1 Ď 2 (cos(Ď&#x2020; + Ď&#x201E;) + isin(Ď&#x2020;+Ď&#x201E;)= Ď 1 Ď 2 ei(Ď&#x2020;+Ď&#x201E;) ) . Tale formula è generalizzabile (usando la proprietĂ associativa) a k đ?&#x2018;§đ?&#x2018;&#x2013; . Quando poi Ď đ?&#x2018;&#x2013; = costante e Ď&#x2020; = Ď&#x201E; = â&#x2039;Ż â&#x20AC;Ś. si ottiene la relazione che definisce đ?&#x2018;§ đ?&#x2018;&#x203A; . Ă&#x2C6; molto algebrico e impositivo (tenendo conto della periodicitĂ della funzione seno) della il criterio di ricerca della radice di ordine n di un numero complesso z, ovvero đ?&#x2018;&#x203A;

â&#x2C6;&#x161;đ?&#x2018;§ . Ď&#x2020;

đ?&#x2018;&#x203A;

â&#x2C6;&#x161;đ?&#x2018;§ = â&#x2C6;&#x161;Ď (cos(đ?&#x2018;&#x203A; +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

Ď&#x2020;

) + i sin(đ?&#x2018;&#x203A; +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

)

Delle k determinazioni solo n sono distinte e sono dette radici n-esime di z.

Per z = 1, ovvero z = 1 +i0 si ha Ď&#x2020; = 0 (in quanto il punto (1,0) nel piano di Argandđ?&#x2018;&#x203A;

0

Wessel-Gauss coincide con lâ&#x20AC;&#x2122;asse delle x reali) si ha â&#x2C6;&#x161;1 = â&#x2C6;&#x161;1 (cos(đ?&#x2018;&#x203A; + 2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

) = (cos(

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

) + i sin(

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

0

) + i sin(đ?&#x2018;&#x203A; +

).

Dal punti di vista algebrico i numeri complessi sono in ampliamento del campo reale, essendo R â&#x160;&#x201A; đ??ś. Essi costituiscono un campo abeliano.

41

3.2 Qualche semplice esercizio in C. Ho tratto da â&#x20AC;&#x153;Katzan, Intermediate Calculus and Linear Algebra, Harvard University Lecture Notes, 1965â&#x20AC;?, i seguenti esercizi sui numeri complessi.

Esprimere nella forma a + ib i seguenti numeri complessi (đ?&#x;? â&#x2C6;&#x2019; đ?&#x2019;&#x160;)đ?&#x;?

In questo caso è sufficiente sviluppare usando la formula del binomio di Newton.

(1 â&#x2C6;&#x2019; đ?&#x2018;&#x2013;)2 = 12 - 2(1)(i) + đ?&#x2018;&#x2013; 2 = 1 â&#x20AC;&#x201C; 2i â&#x20AC;&#x201C; 1 = -2i = (0 , - 2)

(2 + i)(3 â&#x20AC;&#x201C; i) Ă&#x2C6; sufficiente sviluppare i calcoli (2 + i)(3 â&#x20AC;&#x201C; i) = 2*3 + (2)(-i) + 3i â&#x20AC;&#x201C;(i)(i) = 6 â&#x20AC;&#x201C; 2i + 3i + 1 = 7 + i = ( 7, 1) đ?&#x;? đ?&#x2019;&#x160; 1

đ??ˇđ?&#x2018;&#x17D;đ?&#x2018;Ąđ?&#x2018;&#x153;

đ?&#x2018;&#x2013;

è possibile moltiplicare e dividere per i avendo

1 đ?&#x2018;&#x2013;

đ?&#x2018;&#x2013;

*đ?&#x2018;&#x2013; =

đ?&#x2018;&#x2013; đ?&#x2018;&#x2013;2

=

đ?&#x2018;&#x2013; â&#x2C6;&#x2019;1

= - i = (0, -1)

đ?&#x;?+đ??˘ đ?&#x;?â&#x2C6;&#x2019;đ??˘

Anche in questo caso è possibile â&#x20AC;&#x153;razionalizzareâ&#x20AC;? avendosi 2+đ?&#x2018;&#x2013;+2đ?&#x2018;&#x2013;+ đ?&#x2018;&#x2013; 2 4â&#x2C6;&#x2019; đ?&#x2018;&#x2013; 2

=

2+3đ?&#x2018;&#x2013;â&#x2C6;&#x2019;1 4â&#x2C6;&#x2019;(â&#x2C6;&#x2019;1)

=

2+3đ?&#x2018;&#x2013; 5

=

2 5

+

3 5

1+i 2â&#x2C6;&#x2019;i

=

1+i 2â&#x2C6;&#x2019;i

*

2+i 2+i

=

(1+đ?&#x2018;&#x2013;)(2+đ?&#x2018;&#x2013;) (2â&#x2C6;&#x2019;đ?&#x2018;&#x2013;)(2+đ?&#x2018;&#x2013;)

=

i = ( 2/5, 3/5).

đ?&#x;?+đ?&#x2019;&#x160; đ?&#x;?+đ?&#x;?đ?&#x2019;&#x160;

Ă&#x2C6; possibile moltiplicare e dividere tale numero per la quantitĂ 1 â&#x20AC;&#x201C; 2i. avendo 1+đ?&#x2018;&#x2013; 1+2đ?&#x2018;&#x2013;

=

1+đ?&#x2018;&#x2013; 1+2đ?&#x2018;&#x2013;

*

1â&#x2C6;&#x2019;2đ?&#x2018;&#x2013; 1â&#x2C6;&#x2019;2đ?&#x2018;&#x2013;

=

(1+đ?&#x2018;&#x2013;)(1â&#x2C6;&#x2019;2đ?&#x2018;&#x2013;) (1+2đ?&#x2018;&#x2013;)(1â&#x2C6;&#x2019; 2đ?&#x2018;&#x2013;)

=

1â&#x2C6;&#x2019;2đ?&#x2018;&#x2013;+đ?&#x2018;&#x2013;â&#x2C6;&#x2019;2đ?&#x2018;&#x2013; 2 1â&#x2C6;&#x2019;4(đ?&#x2018;&#x2013; 2 )

=

1â&#x2C6;&#x2019;đ?&#x2018;&#x2013; +2 5

=

3â&#x2C6;&#x2019;đ?&#x2018;&#x2013; 5

=

3 5

1

- 5i = (3/5, -1/5)

đ?&#x2019;&#x160;đ?&#x;&#x2018; + đ?&#x2019;&#x160;đ?&#x;&#x2019; + đ?&#x2019;&#x160;đ?&#x;?đ?&#x;&#x2022;đ?&#x;?

Anche in questo caso la soluzione è semplice. Basta scomporre gli esponenti. i3 + i4 + i271 Ma i271 = iđ?&#x2018;&#x2013; 3 đ?&#x2018;&#x2013; 5 đ?&#x2018;&#x2013; 9 đ?&#x2018;&#x2013; 3 = đ?&#x2018;&#x2013; 4 đ?&#x2018;&#x2013; 4 đ?&#x2018;&#x2013; 4 đ?&#x2018;&#x2013; 4 đ?&#x2018;&#x2013; 2 đ?&#x2018;&#x2013; 3 = 1*1*1*1(-1)(-1)i = i quindi si ha che i3 + i4 + i271 = -i +1+i=1 Esprimere in forma trigonometrica i seguenti numeri

42

La formula trigonometrica dei numeri complessi è z = (a , b) = a + ib = Ď cosĎ&#x2020; + iĎ sinĎ&#x2020; = Ď (cosĎ&#x2020; + isinĎ&#x2020;) , ove Ď = â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 đ?&#x153;&#x2039;

1)

đ?&#x153;&#x2039;

i = ( 0, 1) = 1(cos( 2 ) +i sin(2 )) đ?&#x153;&#x2039;

2)

đ?&#x153;&#x2039;

2i = (0 , 2) = â&#x2C6;&#x161;2( cos(2 ) +i sin(2 )) 3đ?&#x153;&#x2039;

3)

3đ?&#x153;&#x2039;

- 2i = (0, - 2) = â&#x2C6;&#x161;2( cos( 2 ) +i sin( 2 )) đ?&#x153;&#x2039;

3đ?&#x153;&#x2039;

In questi casi ricordare che cos( 2 ) = 0 e cos( 2 ) = 0.

4)

4 = (4, 0) = 2(cos0 + i sin0)

sin0 = 0 5)

- 1 = ( -1, 0) = 1(cosĎ&#x20AC; + isinĎ&#x20AC;) = 1(-1) + i0 = - 1 c.v.d.

6)

(đ?&#x;? â&#x2C6;&#x2019; đ?&#x2019;&#x160;)đ?&#x;&#x2018; = 1 â&#x20AC;&#x201C; 3(1)đ?&#x2018;&#x2013; 2 + 3(1)i - đ?&#x2018;&#x2013; 3 = 1 + 3 + 3i + i = 4 + 4i

PoichĂŠ Re(z) = Imm(z) > 0 allora Ď&#x2020; = đ?&#x153;&#x2039;

đ?&#x153;&#x2039;

e đ?&#x153;&#x152; = â&#x2C6;&#x161; 42 + 42 = â&#x2C6;&#x161;32 = 4â&#x2C6;&#x161;2

4

đ?&#x153;&#x2039;

Pertanto 4 + 4i = 4â&#x2C6;&#x161;2(cos4 + i sin4 ) đ?&#x;?

7)

(đ?&#x;?+đ?&#x2019;&#x160;)đ?&#x;?

=

1 1+2đ?&#x2018;&#x2013;+ đ?&#x2018;&#x2013;2

1

=

1+2đ?&#x2018;&#x2013;â&#x2C6;&#x2019;1

=

1 đ?&#x2018;&#x2013; 2đ?&#x2018;&#x2013; đ?&#x2018;&#x2013;

đ?&#x2018;&#x2013;

=

1

= -2i

â&#x2C6;&#x2019;2

1

1

3đ?&#x153;&#x2039;

3đ?&#x153;&#x2039;

3đ?&#x153;&#x2039;

Messo in questa forma si ha che z = -2i = â&#x2C6;&#x161;4( cos( 2 ) + đ?&#x2018;&#x2013; sin( 2 )) = ½ isin( 2 ) 8)

½ (â&#x2C6;&#x161;đ?&#x;&#x2018; + i)

1 1 â&#x2C6;&#x161;3 In questo caso si ha đ?&#x153;&#x152; = â&#x2C6;&#x161;( 2)2 + ( 2 )2 = â&#x2C6;&#x161; 4 +

3 4

4

= â&#x2C6;&#x161;4 = 1

â&#x2C6;&#x161;3

Pertanto z = 1(cos (arccos( 2 )) + i sin(arcsin (1/2)) 9)

Calcolare le tre radici cubiche di i , - i e di 1 + i Ď&#x2020;

đ?&#x2018;&#x203A;

đ?&#x2018;&#x2020;đ?&#x2018;&#x2013; â&#x201E;&#x17D;đ?&#x2018;&#x17D; â&#x2C6;&#x161;đ?&#x2018;§ = đ?&#x2018;&#x203A;â&#x2C6;&#x161;Ď (cos(đ?&#x2018;&#x203A; +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

Ď&#x2020;

) + i sin(đ?&#x2018;&#x203A; +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; đ?&#x2018;&#x203A;

)

Pertanto le radici cubiche sono formalizzabili come n = 3. a)

3

Ď&#x2020;

3 â&#x2C6;&#x161;đ?&#x2018;§ = â&#x2C6;&#x161;Ď (cos(3 +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

Ď&#x2020;

) + i sin(3 +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

)

43

3

Per z = i si ha Ď = 1 quindi đ?&#x2018;&#x203A;â&#x2C6;&#x161;Ď = 1 e â&#x2C6;&#x161;đ?&#x2018;§ = 3â&#x2C6;&#x161;Ď (cos(0 + isin(

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

) + i sin(0 +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

) = 1(cos(

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

)+

)). Esse si determinano praticamente ponendo in essa k = 0, quindi k = 1 e

infine k = 2.

Analogamente nel caso z = -i Esamino ora il caso z = 1 + i Ď&#x2020;

3

đ?&#x2018;&#x2020;đ?&#x2018;&#x2013; đ?&#x2018;&#x17D; â&#x2C6;&#x161;đ?&#x2018;§ = 3â&#x2C6;&#x161;Ď (cos(3 +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039;

Ď&#x2020;

) + i sin(3 +

3

)

Ď = â&#x2C6;&#x161;12 + 12 = â&#x2C6;&#x161;2 = 21/2 Poiche Re(z) = Imm(z) = 1 â&#x;ž Ď&#x2020; =

3

2

đ?&#x153;&#x2039;

Pertanto si ha â&#x2C6;&#x161;đ?&#x2018;§ = (đ?&#x153;&#x152;)3 (cos(12 +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

đ?&#x153;&#x2039;

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039;

) + i sin(12 +

3

đ?&#x153;&#x2039;

(a meno del periodo).

4

).

Per ottenere le tre radici terze basta porre nella precedente k = 0, 1, 2. Per k = 1 si 2

đ?&#x153;&#x2039;

ha la seconda di esse che è (đ?&#x153;&#x152;)3 (cos(12 + 10)

2đ?&#x153;&#x2039; 3

đ?&#x153;&#x2039;

) + i sin(12 +

2đ?&#x153;&#x2039; 3

)

Calcolare le sei radici seste di đ?&#x2019;&#x203A;đ?&#x;&#x201D; = 1 6

Si ha che z = â&#x2C6;&#x161;1 Si ha che il numero 1 è anche (1,0) in C. Basta ricordare la sua collocazione geometrica nel piano complesso. Per esso si ha che Ď = 1 e Ď&#x2020; = 0 (a Ď&#x2020;

đ?&#x2018;&#x203A;

meno del periodo). Dalla formula generale đ?&#x2018; đ?&#x2018;&#x2013; â&#x201E;&#x17D;đ?&#x2018;&#x17D; â&#x2C6;&#x161;đ?&#x2018;§ = đ?&#x2018;&#x203A;â&#x2C6;&#x161;Ď (cos(đ?&#x2018;&#x203A; + 6

0

6

). Per n = 3 essa diviene â&#x2C6;&#x161;1 = â&#x2C6;&#x161;1 (cos(6 + )) = cos(

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 6

) + i sin(

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 6

) = (cos(

đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 6

0

) + i sin(6 +

) + i sin(

đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 3

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039; 6

đ?&#x2018;&#x203A;

)= 1 (cos(

) + i sin(đ?&#x2018;&#x203A; +

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039;

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039;

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039;

Ď&#x2020;

6

) + i sin(

đ?&#x2018;&#x203A;

6

). Esse (sono sei) si ottengono

concretamente ponendo nella relazione trovata k = 0,1, â&#x20AC;Ś..5.

44

2đ?&#x2018;&#x2DC;đ?&#x153;&#x2039;

3.3 ProprietĂ dei numeri complessi Dato un numero complesso z = a + ib, â&#x20AC;&#x201C; come è noto â&#x20AC;&#x201C; il coniugato di esso, denotato con zâ&#x20AC;&#x2122; è definito come zâ&#x20AC;&#x2122; = a â&#x20AC;&#x201C; ib. Per essi quindi si ha Re(z) = Re(zâ&#x20AC;&#x2122;) e Im(zâ&#x20AC;&#x2122;) = - Im(z).

GiĂ si è ricordato che per definizione si ha: â&#x201D;&#x201A;zâ&#x201D;&#x201A;= â&#x2C6;&#x161; (đ?&#x2018;&#x2026;đ?&#x2018;&#x2019;(đ?&#x2018;§))2 + (đ??źđ?&#x2018;&#x161;(đ?&#x2018;§))2 .

Siano x e y due numeri complessi qualunque. Si può dimostrare che valgono le seguenti relazioni. Lâ&#x20AC;&#x2122;autore le indica senza dimostrazione. Fornisco le semplici dimostrazioni.

1)

(xÂąy)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122; Âą yâ&#x20AC;&#x2122;

Ă&#x2C6; possibile ragionare considerando il caso (x +y)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122; + yâ&#x20AC;&#x2122; e ragionare sul primo membro. Ă&#x2C6; possibile intenderlo come la composizione di due operazioni somma e coniugazione. Si ha che (x+ y) = ((Re(x) + iIm(x)) + (Re(y) + iIm(y)) =Re(x) + iIm(x) + Re(y) + iIm(y) = Re(x) + Re(y) iIm(x) + iIm(y) = (Re(x) + Re(y)) + i (Im(x) + Im(y)). Ma (x +y)â&#x20AC;&#x2122; = (Re(x) + Re(y)) - i (Im(x) + Im(y)). Opero ora sul secondo membro. Da x = Re(x) + iIm(x) e y = Re(y) + iIm(y) posso ottenere immediatamente xâ&#x20AC;&#x2122; = Re(x) - iIm(x) e yâ&#x20AC;&#x2122; = Re(y) - iIm(y). Da ciò si ottiene che xâ&#x20AC;&#x2122; + yâ&#x20AC;&#x2122; = Re(x) - iIm(x) + Re(y) - iIm(b) = Re(x) + Re(y) â&#x20AC;&#x201C; i((Im(x)+Im(y)) = (Re(x) + Re(y)) â&#x20AC;&#x201C; i((Im(x)+Im(y)) = xâ&#x20AC;&#x2122; + yâ&#x20AC;&#x2122;.

In modo analogo si dimostra che (x - y)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122; - yâ&#x20AC;&#x2122;.

2)

(xy)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122;yâ&#x20AC;&#x2122;

Considero il primo membro xy = (Re(x) + iIm(x))(Re(y) + iIm(y))= Re(x)Re(y) + iRe(x)Im(y) + iIm(x)Re(y) + đ?&#x2018;&#x2013; 2 (Im(x)Im(y)) = (Re(x)Re(y) - Im(x)Im(y)) + i(Re(x)Im(y) + Im(x)Re(y)) â&#x;ž (xy)â&#x20AC;&#x2122; = (Re(x)Re(y) - Im(x)Im(y)) - i(Re(x)Im(y) + Im(x)Re(y)). Considero ora il secondo membro avendo xâ&#x20AC;&#x2122;yâ&#x20AC;&#x2122; = (Re(x)-iIm(x))(Re(y)-iIm(y)) = Re(x)Re(y) - Re(x)iIm(y)- iIm(x)Re(y) + đ?&#x2018;&#x2013; 2 Im(x)Im(y) = Re(x)Re(y) - Re(x)iIm(y)- iIm(x)Re(y) - Im(x)Im(y) = (Re(x)Re(y) + Im(x)Im(y)) â&#x20AC;&#x201C; i(Im(x)Re(y) - Im(x)Im(y)). Ă&#x2C6; quindi dimostrato che (xy)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122;yâ&#x20AC;&#x2122;.

3)

(x/y)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122;/yâ&#x20AC;&#x2122;

Per questa dimostrazione ho deciso di manipolare i due membri, con la consueta razionalizzazione. Opero simultaneamente sui due membri ed ho: đ?&#x2018;Ľ

đ?&#x2018;Ľâ&#x20AC;˛

đ?&#x2018;Ľ đ?&#x2018;Śâ&#x20AC;˛ â&#x20AC;˛ ) đ?&#x2018;Śâ&#x20AC;˛

= đ?&#x2018;Śâ&#x20AC;˛ đ?&#x2018;Ś â&#x;ž (xyâ&#x20AC;&#x2122;)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122;y

(đ?&#x2018;Ś)â&#x20AC;˛ = đ?&#x2018;Śâ&#x20AC;˛ (đ?&#x2018;Ś

đ?&#x2018;Ľâ&#x20AC;˛ đ?&#x2018;Ś

Incidentalmente osservo che yâ&#x20AC;&#x2122;y = yyâ&#x20AC;&#x2122; â&#x2C6;&#x2C6; R. posto yâ&#x20AC;&#x2122; = a essa diviene (xa)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122;a modo alternativo di definire la precedente (xy)â&#x20AC;&#x2122; = xâ&#x20AC;&#x2122;yâ&#x20AC;&#x2122; solo che si ponga yâ&#x20AC;&#x2122; = a â&#x;ş y = aâ&#x20AC;&#x2122;.

45

4)

(xâ&#x20AC;&#x2122;)â&#x20AC;&#x2122; = x

Questa è una nota proprietà immediata in quanto dato x viene definito due volte il coniugato.

Da x = a + ib si ha che xâ&#x20AC;&#x2122; = a â&#x20AC;&#x201C; ib. A questo punto si determina il coniugato di xâ&#x20AC;&#x2122; esso è (xâ&#x20AC;&#x2122;)â&#x20AC;&#x2122; = (a â&#x20AC;&#x201C; ib)â&#x20AC;&#x2122; = a + ib. Con ciò la tesi.

5)

x â&#x2C6;&#x2C6; R â&#x;ş x = xâ&#x20AC;&#x2122;

Pure essa è immediata, Infatti x = a + ib e xâ&#x20AC;&#x2122; = a - ib, â&#x2C6;&#x20AC;xâ&#x2C6;&#x2C6;C. b = 0 â&#x;ž x = xâ&#x20AC;&#x2122; = a. Essa rigorosamente va studiata nei due sensi. x â&#x2C6;&#x2C6; R â&#x;ž x = xâ&#x20AC;&#x2122;. In questo caso si ha (a, 0) per la quale x = a+i0 e xâ&#x20AC;&#x2122; = a â&#x20AC;&#x201C; i0. Nel senso opposto x = xâ&#x20AC;&#x2122; â&#x;ž x â&#x2C6;&#x2C6; R. Dallâ&#x20AC;&#x2122;ipotesi x = xâ&#x20AC;&#x2122; discende che a+ib = a â&#x20AC;&#x201C;ib. Detta relazione ha significato solo per b = 0. In questo caso si definisce la coppia (a,0) cui corrisponde un elemento x â&#x2C6;&#x2C6; R â&#x201D;&#x201A; x = a.

6)

x è â&#x20AC;&#x153;puramente immaginarioâ&#x20AC;? (â&#x20AC;&#x153;purely imaginary) se e solo se (â&#x;ş) x = - xâ&#x20AC;&#x2122;

Anche in questo caso si è in presenza di una condizione necessaria e sufficiente. Quindi vanno considerati i due casi (scambiando lâ&#x20AC;&#x2122;ipotesi con la tesi).

Un numero x è detto puramente immaginario se è del tipo x = 0 + ib, con bâ&#x2030; 0. In termini di coppie si ha x = (0, b). Occorre dimostrare che x = (0, b) â&#x;ž x = - xâ&#x20AC;&#x2122;. Se x è dato si evince che x = ib e che â&#x20AC;&#x201C; xâ&#x20AC;&#x2122; = - (-ib) = ib. Quindi la tesi.

Nella seconda parte, ovvero x = - xâ&#x20AC;&#x2122; â&#x;ž x = (0, b) basta declinare il numero nella tesi avendo (0, b) = - (0, -b) â&#x;ž 0 + ib = - (0 â&#x20AC;&#x201C; ib) â&#x;ž ib = - (-ib) â&#x;ž ib = ib, quindi la tesi.

7)

Re(x) = ½ (x + xâ&#x20AC;&#x2122;)

Un numero complesso è sempre esprimibile nella forma x = Re(x) + iIm(x). ½ (x + xâ&#x20AC;&#x2122;) = ½ (Re(x) + iIm(b) + Re(x) â&#x20AC;&#x201C; iIm(x)) = ½ (2Re(x)) = Re(x), quindi è dimostrata la relazione assegnata.

8)

Im(x) =

đ?&#x;? đ?&#x;?đ?&#x2019;&#x160;

(x â&#x20AC;&#x201C; xâ&#x20AC;&#x2122;) 1

1

1

Essa è immediata se si lavora sul secondo membro. Infatti 2i (x â&#x20AC;&#x201C; xâ&#x20AC;&#x2122;) = 2i(a+ib â&#x20AC;&#x201C; a +ib) = 2i (2ib) 2i

= b2i = b. Ma b = Im(x). Quindi si è dimostrata lâ&#x20AC;&#x2122;identitĂ .

Lâ&#x20AC;&#x2122;autore ricorda poi che valgono anche le seguenti identitĂ : â&#x201D;&#x201A;xâ&#x201D;&#x201A;= â&#x2C6;&#x161;(đ?&#x2018;Ľ)(đ?&#x2018;Ľ â&#x20AC;˛ )

1)

Anche in questo caso ho deciso di fare una breve dimo. Lavoro sul secondo membro, sviluppandolo. â&#x2C6;&#x161;(đ?&#x2018;Ľ)(đ?&#x2018;Ľ â&#x20AC;˛ ) = â&#x2C6;&#x161;đ?&#x2018;Ľđ?&#x2018;Ľâ&#x20AC;˛ = â&#x2C6;&#x161;(đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?)(đ?&#x2018;&#x17D; â&#x2C6;&#x2019; đ?&#x2018;&#x2013;đ?&#x2018;?) = â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 â&#x2C6;&#x2019; đ?&#x2018;&#x2013;đ?&#x2018;&#x17D;đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x17D;đ?&#x2018;? â&#x2C6;&#x2019; (đ?&#x2018;&#x2013;đ?&#x2018;?)2 =â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 Ma quella trovata è, come noto, anche lâ&#x20AC;&#x2122;espressione di â&#x201D;&#x201A;xâ&#x201D;&#x201A;.

46

2)

â&#x201D;&#x201A;xâ&#x201D;&#x201A;= 0 â&#x;ş x = 0

In questo caso si è in presenza di una complicazione. Quindi bisogna considerare il caso â&#x201D;&#x201A;xâ&#x201D;&#x201A;= 0 â&#x;ž x = 0. Esso è immediato in quanto â&#x201D;&#x201A;xâ&#x201D;&#x201A; = 0 â&#x;ž â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 = 0 ovvero a e b tali che a = b = 0. Quindi si ha il numero x = (0, 0). Ora va considerata la seconda parte del teorema quella per la quale se x = (0, 0) allora â&#x201D;&#x201A;xâ&#x201D;&#x201A; = 0. Ciò e immediato in quanto x = (0 , 0) = 0 + i0. Ma â&#x201D;&#x201A;(0,0)â&#x201D;&#x201A; = â&#x2C6;&#x161; 02 + 02 = 0, indi la tesi.

3)

- â&#x201D;&#x201A;xâ&#x201D;&#x201A;⊽ Re(x) ⊽ â&#x201D;&#x201A;xâ&#x201D;&#x201A;

Anche questa è data senza dimostrazione. In ogni caso lâ&#x20AC;&#x2122;Autore (Gleason, op. cit.) ricorda che â&#x20AC;&#x153;the first equality holds if and only if x ⊽ 0, the second, if and only if, x ⊞0â&#x20AC;?.

Considero il caso x = (0,0). Per esso - â&#x201D;&#x201A;xâ&#x201D;&#x201A;⊽ Re(x) ⊽ â&#x201D;&#x201A;xâ&#x201D;&#x201A;â&#x;ž - â&#x201D;&#x201A;(0,0)â&#x201D;&#x201A; Re((0,0)) ⊽ â&#x201D;&#x201A;(0,0)â&#x201D;&#x201A;â&#x;ž 0 = 0 = 0. Ciò conduce a esito non contraddittorio, quindi lâ&#x20AC;&#x2122;ipotesi è vera.

Considero il caso x = (a, b) â&#x2030; (0, 0). Per esso si ha - â&#x201D;&#x201A;xâ&#x201D;&#x201A;⊽ Re(x) ⊽ â&#x201D;&#x201A;xâ&#x201D;&#x201A;â&#x;ž - â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 < a < â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 ovvero a < â&#x201D;&#x201A;â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 â&#x201D;&#x201A; Ma ove si ponga b = 0 si ha a = â&#x201D;&#x201A;aâ&#x201D;&#x201A; â&#x;ž a > 0.

Nel caso sia (a, b) = (0, b) con b â&#x2030; 0 allora sarebbe - â&#x201D;&#x201A;xâ&#x201D;&#x201A;⊽ Re(x) ⊽ â&#x201D;&#x201A;xâ&#x201D;&#x201A;â&#x;ž - â&#x2C6;&#x161; đ?&#x2018;? 2 < 0 < â&#x2C6;&#x161; đ?&#x2018;? 2 â&#x;ž - â&#x201D;&#x201A;đ?&#x2018;?â&#x201D;&#x201A; < 0 < â&#x201D;&#x201A;đ?&#x2018;?â&#x201D;&#x201A;

4)

â&#x201D;&#x201A;Re(x)â&#x201D;&#x201A;⊽ â&#x201D;&#x201A;xâ&#x201D;&#x201A;

Sia dato un numero complesso x = a +ib. Re(x) = a â&#x;ž â&#x201D;&#x201A;Re(x)â&#x201D;&#x201A; = â&#x201D;&#x201A;aâ&#x201D;&#x201A;. Ă&#x2C6; ampiamente noto che â&#x201D;&#x201A;xâ&#x201D;&#x201A; = â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 ⊞0 per â&#x2C6;&#x20AC; (a,b) : a e b reali. Se a > 0 posso dire che â&#x201D;&#x201A;aâ&#x201D;&#x201A; = a, quindi ho a ⊽ â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 . Essa è vera â&#x2C6;&#x20AC;b â&#x2030; 0. Per b = 0 si ha a = â&#x201D;&#x201A;aâ&#x201D;&#x201A; vera per a > 0.

Quando a < 0 si ha che â&#x201D;&#x201A;aâ&#x201D;&#x201A; = - a > 0. Ponendo - a = u poichè đ?&#x2018;˘2 = (â&#x2C6;&#x2019;đ?&#x2018;&#x17D;)2 si ha che u ⊽ â&#x2C6;&#x161; đ?&#x2018;˘2 + đ?&#x2018;? 2 vera quando b â&#x2030; 0.

5)

â&#x201D;&#x201A;Im(x)â&#x201D;&#x201A;⊽ â&#x201D;&#x201A;xâ&#x201D;&#x201A;

Dato il numero complesso x = a +ib si ha che Im(x) = b e â&#x201D;&#x201A;Im(x)â&#x201D;&#x201A;= â&#x201D;&#x201A;bâ&#x201D;&#x201A;. Ma â&#x201D;&#x201A;xâ&#x201D;&#x201A; = â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 . Si ha 0 < â&#x201D;&#x201A;bâ&#x201D;&#x201A; ⊽ â&#x2C6;&#x161; đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 per (a, b) â&#x2030; (0, 0). Per (a, b) = (0, b) â&#x2C6;&#x20AC; b R - âŚ&#x192;0âŚ&#x201E; si ha 0 < â&#x201D;&#x201A;bâ&#x201D;&#x201A; = â&#x2C6;&#x161; đ?&#x2018;? 2 . Il caso x = (0, 0) è degenere.

47

6)

â&#x201D;&#x201A;xyâ&#x201D;&#x201A;= â&#x201D;&#x201A;xâ&#x201D;&#x201A;â&#x201D;&#x201A;yâ&#x201D;&#x201A;

Siano (a,b) e (c, d) i due numeri complessi tali che (a,b) â&#x2030; (c, d) â&#x2030; (0, 0).

Lavorando sul primo membro si ha â&#x201D;&#x201A;xyâ&#x201D;&#x201A; = â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?)(đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;)â&#x201D;&#x201A; = â&#x201D;&#x201A;ac + iad + ibc + đ?&#x2018;&#x2013; 2 đ?&#x2018;?đ?&#x2018;&#x2018;â&#x201D;&#x201A;= â&#x201D;&#x201A;(ac â&#x20AC;&#x201C; bd) + i(ad + bc)â&#x201D;&#x201A;= â&#x2C6;&#x161; (đ?&#x2018;&#x17D;đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018; + đ?&#x2018;?đ?&#x2018;?)2 . Relativamente al secondo membro si ha â&#x201D;&#x201A;xâ&#x201D;&#x201A;= â&#x2C6;&#x161;đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 e â&#x201D;&#x201A;yâ&#x201D;&#x201A;= â&#x2C6;&#x161;đ?&#x2018;? 2 + đ?&#x2018;&#x2018;2 da cui â&#x201D;&#x201A;xâ&#x201D;&#x201A;â&#x201D;&#x201A;yâ&#x201D;&#x201A; = (â&#x2C6;&#x161;đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 ) ( â&#x2C6;&#x161;đ?&#x2018;? 2 + đ?&#x2018;&#x2018; 2 ) = â&#x2C6;&#x161;( đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 )( đ?&#x2018;? 2 + đ?&#x2018;&#x2018;2 ) Ammetto per ipotesi sia â&#x2C6;&#x161; (đ?&#x2018;&#x17D;đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018; + đ?&#x2018;?đ?&#x2018;?)2 = â&#x2C6;&#x161;( đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 )( đ?&#x2018;? 2 + đ?&#x2018;&#x2018; 2 ) ovvero (đ?&#x2018;&#x17D;đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018; + đ?&#x2018;?đ?&#x2018;?)2 = ( đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 )( đ?&#x2018;? 2 + đ?&#x2018;&#x2018; 2 ) (đ?&#x2018;&#x17D;đ?&#x2018;?)2 - 2(acbd) + (đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018;)2 + 2adbc + (đ?&#x2018;?đ?&#x2018;?)2 = (đ?&#x2018;&#x17D;đ?&#x2018;?)2 + (đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018;)2 + (đ?&#x2018;?đ?&#x2018;?)2 (đ?&#x2018;&#x17D;đ?&#x2018;?)2 + (đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018;)2 + (đ?&#x2018;?đ?&#x2018;?)2 = (đ?&#x2018;&#x17D;đ?&#x2018;?)2 + (đ?&#x2018;?đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D;đ?&#x2018;&#x2018;)2 + (đ?&#x2018;?đ?&#x2018;?)2 Quindi â&#x201D;&#x201A;xyâ&#x201D;&#x201A;= â&#x201D;&#x201A;xâ&#x201D;&#x201A;â&#x201D;&#x201A;yâ&#x201D;&#x201A; nel caso generale.

Andrebbero considerati i sottocasi x = y ovvero a + ib = c + id, il caso sia almeno uno dei due x (o y) eguale a (0, 0). Ma essi sono comunque elementari. Per b = d = 0 si cade nel caso dei numeri reali. Riflessioni analoghe possono essere fatte quando x ed y sono puramente immaginari.

â&#x201D;&#x201A;đ?&#x2019;&#x2122; + đ?&#x2019;&#x161;â&#x201D;&#x201A;đ?&#x;? = â&#x201D;&#x201A;đ?&#x2019;&#x2122;â&#x201D;&#x201A;đ?&#x;? + â&#x201D;&#x201A;đ?&#x2019;&#x161;â&#x201D;&#x201A;đ?&#x;? +2Re(x(yâ&#x20AC;&#x2122;))

7)

Sia x = (a,b) e sia y = (c, d). In relazione al I membro si ha: â&#x201D;&#x201A;đ?&#x2018;Ľ + đ?&#x2018;Śâ&#x201D;&#x201A;2 = â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?) + (đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;) â&#x201D;&#x201A;2 = â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;?) + đ?&#x2018;&#x2013;(đ?&#x2018;? + đ?&#x2018;&#x2018;) â&#x201D;&#x201A;2 = â&#x201D;&#x201A;â&#x2C6;&#x161; (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 â&#x201D;&#x201A;2 = â&#x2C6;&#x161; (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 )2 = (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 Considero ora il II membro. Si ha â&#x201D;&#x201A;đ?&#x2019;&#x2122;â&#x201D;&#x201A;đ?&#x;? + â&#x201D;&#x201A;đ?&#x2019;&#x161;â&#x201D;&#x201A;đ?&#x;? +2Re(x(yâ&#x20AC;&#x2122;)) = (â&#x201D;&#x201A;đ?&#x2019;&#x201A; + đ?&#x2019;&#x160;đ?&#x2019;&#x192;â&#x201D;&#x201A;)đ?&#x;? + (â&#x201D;&#x201A;đ?&#x2019;&#x201E; + đ?&#x2019;&#x160;đ?&#x2019;&#x2026;â&#x201D;&#x201A;)đ?&#x;? + 2Re((a+ib)(c-id)) = â&#x201D;&#x201A;â&#x2C6;&#x161; (đ?&#x2018;&#x17D;)2 + (đ?&#x2018;?)2 â&#x201D;&#x201A;2 + â&#x201D;&#x201A;â&#x2C6;&#x161; (đ?&#x2018;?)2 + (đ?&#x2018;&#x2018;)2 â&#x201D;&#x201A;2 + 2 đ?&#x2018;&#x2026;đ?&#x2018;&#x2019;(đ?&#x2018;&#x17D;đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;&#x2013;đ?&#x2018;&#x17D;đ?&#x2018;&#x2018; + đ?&#x2018;&#x2013;đ?&#x2018;?đ?&#x2018;? + đ?&#x2018;?đ?&#x2018;&#x2018;)= (đ?&#x2018;&#x17D;)2 + (đ?&#x2018;?)2 + (đ?&#x2018;?)2 + (đ?&#x2018;&#x2018;)2 + 2(ac + bd) Riprendendo quanto definito al I membro e sviluppando i quadrati si ha (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 = (đ?&#x2018;&#x17D;)2 + (đ?&#x2018;?)2 + 2ac + (đ?&#x2018;?)2 + (đ?&#x2018;&#x2018;)2 + 2 bd = (đ?&#x2018;&#x17D;)2 + (đ?&#x2018;?)2 + (đ?&#x2018;?)2 + (đ?&#x2018;&#x2018;)2 + 2(ac + bd) Con ciò si è dimostrata la eguaglianza

8)

â&#x201D;&#x201A;đ?&#x2019;&#x2122; + đ?&#x2019;&#x161;â&#x201D;&#x201A; ⊽ â&#x201D;&#x201A;đ?&#x2019;&#x2122;â&#x201D;&#x201A; + â&#x201D;&#x201A;đ?&#x2019;&#x161;â&#x201D;&#x201A;

Se x = (a,b) e y = (c, d) si ha:

48

│(a+ ib) + (c+id)│ = │(𝑎 + 𝑐) + 𝑖(𝑏 + 𝑑)│ = √(𝑎 + 𝑐)2 + (𝑏 + 𝑑)2 │𝒙│ + │𝒚│= │𝑎 + 𝑖𝑏│+ │𝑐 + 𝑖𝑑│ = √𝑎2 + 𝑏 2 + √𝑐 2 + 𝑑 2 Se si prova che √(𝑎 + 𝑐)2 + (𝑏 + 𝑑)2 ⩽ √𝑎2 + 𝑏 2 + √𝑐 2 + 𝑑 2 si è provato che │𝒙 + 𝒚│ ⩽ │𝒙│ + │𝒚│ Consideriamo √(𝑎 + 𝑐)2 + (𝑏 + 𝑑)2 ⩽ √𝑎2 + 𝑏 2 + √𝑐 2 + 𝑑 2 e quadriamo avendo: (𝑎 + 𝑐)2 + (𝑏 + 𝑑)2 ⩽ (√𝑎2 + 𝑏 2 + √𝑐 2 + 𝑑 2 )2 (𝑎 + 𝑐)2 + (𝑏 + 𝑑)2 ⩽ (𝑎2 + 𝑏 2 ) + (𝑐 2 + 𝑑 2 ) + 2(√𝑎2 + 𝑏 2 )( √𝑐 2 + 𝑑 2 ) 𝑎2 +2ac + 𝑐 2 + 𝑏 2 + 2bd + 𝑑2 ⩽ 𝑎2 + 𝑏 2 + 𝑐 2 + 𝑑 2 + 2√(𝑎𝑐)2 + (𝑎𝑑)2 + (𝑏𝑐)2 + (𝑏𝑑)2 0⩽ 2√(𝑎𝑐)2 + (𝑎𝑑)2 + (𝑏𝑐)2 + (𝑏𝑑)2 Essa è sicuramente vera in quanto (𝑎𝑐)2 + (𝑎𝑑)2 + (𝑏𝑐)2 + (𝑏𝑑)2 ⩾ 0 comunque si scelgano quattro numeri reali: se a 0 b = c = d allora vale 0 = 2*0 = 0

9)

││𝒙│ − │𝒚││ ⩽ │𝒙 − 𝒚│

Sia x = (a, b) e y = (c,d) si ha ││𝒙│ − │𝒚││ =│ √𝑎2 + 𝑏 2 - √𝑐 2 + 𝑑2 │ │𝒙 − 𝒚│= √(𝑎 − 𝑐)2 + (𝑏 − 𝑑)2 In termini formali (√𝑎2 + 𝑏 2 + √𝑐 2 + 𝑑 2 ⩽ √(𝑎 − 𝑐)2 + (𝑏 − 𝑑)2 ) ⟾ │𝒙│ + │𝒚││ ⩽ │𝒙 − 𝒚│ │√𝑎2 + 𝑏 2 - √𝑐 2 + 𝑑 2 │ ⩽ √(𝑎 − 𝑐)2 + (𝑏 − 𝑑)2 .

Quadrando ambo i membri si ha (│√𝑎2 + 𝑏 2 │)2 + (│√𝑐 2 + 𝑑2 │)2 - 2 (│√𝑎2 + 𝑏 2 │)(│√𝑐 2 + 𝑑2 │) ⩽ (𝑎 − 𝑐)2 + (𝑏 − 𝑑)2 (√𝑎2 + 𝑏 2 )2 + (√𝑐 2 + 𝑑 2 )2 - 2 (√𝑎2 + 𝑏 2 )(√𝑐 2 + 𝑑2 ) ⩽ 𝑎2 - 2ac + 𝑐 2 + 𝑏 2 + 𝑑2 - 2db 2

2

2

2

𝑎2 + 𝑏 2 + 𝑐 2 + 𝑑2 - 2√(𝑎𝑐) + (𝑎𝑑) + (𝑏𝑐) + (𝑏𝑑) ⩽ 𝑎2 - 2ac + 𝑐 2 + 𝑏 2 + 𝑑2 - 2db √(𝑎𝑐)2 + (𝑎𝑑)2 + (𝑏𝑐)2 + (𝑏𝑑)2 ⩽ -ac – bd

49

Infine due semplici esercizi.

Dimostrare che â&#x201D;&#x201A;đ?&#x2018;¤ + đ?&#x2018;§â&#x201D;&#x201A;2 + â&#x201D;&#x201A;đ?&#x2018;¤ â&#x2C6;&#x2019; đ?&#x2018;§â&#x201D;&#x201A;2 = 2(â&#x201D;&#x201A;đ?&#x2018;¤â&#x201D;&#x201A;2 + â&#x201D;&#x201A; đ?&#x2018;§â&#x201D;&#x201A;2 )

1)

đ?&#x2018;&#x2020;đ?&#x2018;&#x2013; â&#x201E;&#x17D;đ?&#x2018;&#x17D; â&#x201D;&#x201A;đ?&#x2018;¤ + đ?&#x2018;§â&#x201D;&#x201A;2

=

â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?) + (đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;)â&#x201D;&#x201A;2

=

â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;?) + đ?&#x2018;&#x2013;(đ?&#x2018;? + đ?&#x2018;&#x2018;)â&#x201D;&#x201A;2

=

(â&#x2C6;&#x161; (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 )2) = (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 ed anche â&#x201D;&#x201A;đ?&#x2018;¤ â&#x2C6;&#x2019; đ?&#x2018;§â&#x201D;&#x201A;2 = â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?) â&#x2C6;&#x2019; (đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;)â&#x201D;&#x201A;2 = â&#x201D;&#x201A;(đ?&#x2018;&#x17D; â&#x2C6;&#x2019; đ?&#x2018;?) + đ?&#x2018;&#x2013;(đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;&#x2018;)â&#x201D;&#x201A;2 = (â&#x2C6;&#x161; (đ?&#x2018;&#x17D; â&#x2C6;&#x2019; đ?&#x2018;?)2 + (đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;&#x2018;)2 )2) = (đ?&#x2018;&#x17D; â&#x2C6;&#x2019; đ?&#x2018;?)2 + (đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;&#x2018;)2 Pertanto il I membro diviene (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D; â&#x2C6;&#x2019; đ?&#x2018;?)2 + (đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;&#x2018;)2 Ă&#x2C6; utile considerare il secondo membro. Si ha: 2(â&#x201D;&#x201A;đ?&#x2018;¤â&#x201D;&#x201A;2 + â&#x201D;&#x201A; đ?&#x2018;§â&#x201D;&#x201A;2 ) = 2( â&#x201D;&#x201A;đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?â&#x201D;&#x201A;2 + â&#x201D;&#x201A;đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;â&#x201D;&#x201A;2 ) = 2(đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 + đ?&#x2018;? 2 +đ?&#x2018;&#x2018;2 ) .

Giova osservare che per la presenza dei segni meno si ha (đ?&#x2018;&#x17D; + đ?&#x2018;?)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018;)2 + (đ?&#x2018;&#x17D; â&#x2C6;&#x2019; đ?&#x2018;?)2 + (đ?&#x2018;? â&#x2C6;&#x2019; đ?&#x2018;&#x2018;)2 = 2(đ?&#x2018;&#x17D;2 + đ?&#x2018;? 2 + đ?&#x2018;? 2 +đ?&#x2018;&#x2018;2 ).

A tale risultato si perviene comunque dalla nota relazione notevole (đ?&#x203A;ź + đ?&#x203A;˝)2 = đ?&#x203A;ź 2 + 2ιβ + đ?&#x203A;˝ 2 .

2)

Siano x, y, e z tre complessi tali che x â&#x2030; (0, 0). Dimostrare che â&#x201D;&#x201A;đ?&#x2019;&#x2122; + đ?&#x2019;&#x161; + đ?&#x2019;&#x203A;â&#x201D;&#x201A;= â&#x201D;&#x201A;đ?&#x2019;&#x2122;â&#x201D;&#x201A; + â&#x201D;&#x201A;đ?&#x2019;&#x161; â&#x201D;&#x201A;+

â&#x201D;&#x201A;đ?&#x2019;&#x203A;â&#x201D;&#x201A; â&#x;ž â&#x2C6;&#x192; đ?&#x2019;&#x201C;, đ?&#x2019;&#x201D; â&#x2C6;&#x2C6; đ?&#x2018;š+ â&#x2C6;ś y = rx e z = sx.

Dal simbolo â&#x;ž si evince che â&#x201D;&#x201A;đ?&#x2018;Ľ + đ?&#x2018;Ś + đ?&#x2018;§â&#x201D;&#x201A;= â&#x201D;&#x201A;đ?&#x2018;Ľâ&#x201D;&#x201A; + â&#x201D;&#x201A;đ?&#x2018;Ś â&#x201D;&#x201A;+ â&#x201D;&#x201A;đ?&#x2018;§â&#x201D;&#x201A; è vera (per ipotesi). Si ha che â&#x201D;&#x201A;đ?&#x2018;Ľ + đ?&#x2018;Ś + đ?&#x2018;§â&#x201D;&#x201A;= â&#x201D;&#x201A;đ?&#x2018;Ľâ&#x201D;&#x201A; + â&#x201D;&#x201A;đ?&#x2018;Ś â&#x201D;&#x201A;+ â&#x201D;&#x201A;đ?&#x2018;§â&#x201D;&#x201A; â&#x;ž â&#x201D;&#x201A;(đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?) + (đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;) + (đ?&#x2018;&#x2019; + đ?&#x2018;&#x2013;đ?&#x2018;&#x201C;)â&#x201D;&#x201A;= â&#x201D;&#x201A;đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?â&#x201D;&#x201A; + â&#x201D;&#x201A;đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018; â&#x201D;&#x201A;+

â&#x201D;&#x201A;đ?&#x2018;&#x2019; + đ?&#x2018;&#x2013;đ?&#x2018;&#x201C;â&#x201D;&#x201A;â&#x;ž

â&#x201D;&#x201A;(a+c+e)

â&#x2C6;&#x161;( đ?&#x2018;&#x17D; + đ?&#x2018;? + đ?&#x2018;&#x2019;)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018; + đ?&#x2018;&#x201C;)2

+

i(b+d+f)â&#x201D;&#x201A;=

â&#x201D;&#x201A;đ?&#x2018;&#x17D; + đ?&#x2018;&#x2013;đ?&#x2018;?â&#x201D;&#x201A; + â&#x201D;&#x201A;đ?&#x2018;? + đ?&#x2018;&#x2013;đ?&#x2018;&#x2018; â&#x201D;&#x201A;+

â&#x2C6;&#x161;( đ?&#x2018;&#x17D;)2 + (đ?&#x2018;?)2 +

=

â&#x201D;&#x201A;đ?&#x2018;&#x2019; + đ?&#x2018;&#x2013;đ?&#x2018;&#x201C;â&#x201D;&#x201A;â&#x;ž

â&#x2C6;&#x161;( đ?&#x2018;? 2 + (đ?&#x2018;&#x2018;)2 +â&#x2C6;&#x161;( đ?&#x2018;&#x2019;)2 + (đ?&#x2018;&#x201C;)2

â&#x;ž

â&#x2C6;&#x161;( đ?&#x2018;&#x17D; + đ?&#x2018;? + đ?&#x2018;&#x2019;)2 + (đ?&#x2018;? + đ?&#x2018;&#x2018; + đ?&#x2018;&#x201C;)2 - â&#x2C6;&#x161;( đ?&#x2018;&#x17D;)2 + (đ?&#x2018;?)2 = â&#x2C6;&#x161;( đ?&#x2018;? 2 + (đ?&#x2018;&#x2018;)2 +â&#x2C6;&#x161;( đ?&#x2018;&#x2019;)2 + (đ?&#x2018;&#x201C;)2 .

A questo punto il problema diventa puramente algebrico.

Un esercizio sulla struttura di campo di un insieme dato (Proposto da Gleason, op. cit.) Ă&#x2C6; assegnato un insieme F = {p, q} con p â&#x2030; q. Sono date due leggi a ed m binarie. đ?&#x2018;&#x17D;: đ?&#x2018;? đ?&#x2018;&#x17E;

đ?&#x2018;? đ?&#x2018;? đ?&#x2018;&#x17E;

đ?&#x2018;&#x17E; đ?&#x2018;&#x17E; đ?&#x2018;?

đ?&#x2018;&#x161;: đ?&#x2018;? đ?&#x2018;? đ?&#x2018;? đ?&#x2018;&#x17E; đ?&#x2018;?

đ?&#x2018;&#x17E; đ?&#x2018;? đ?&#x2018;&#x17E;

Lâ&#x20AC;&#x2122;operazione a(p,q) è convenientemente rappresentata come p + q.

Lâ&#x20AC;&#x2122;operazione m(a,b) è convenientemente scritta come a*b = ab Occorre verificare se dalla tabella relativa ad a: e dalla tabella relativa ad m: sono verificate le proprietĂ che definiscono la struttura di campo:

50

CommutativitĂ : p + q = q ed anche q + p = q ; pq = p ed anche qp = p.

Il problema si complica perchĂŠ lâ&#x20AC;&#x2122;insieme contiene solo due elementi distinti p e q non essendo ammissibile introdurre un elemento ulteriore, avendosi per questa via un ulteriore insieme Fâ&#x20AC;&#x2122; â&#x2030;˘ F. Ho deciso quindi di studiare la associativitĂ introducendo una â&#x20AC;&#x153;variabileâ&#x20AC;? Ď&#x2021; che assume i valori Ď&#x2021; = p e Ď&#x2021; = q e solamente essi.

Allora sarebbe (Ď&#x2021; + p) + q = Ď&#x2021; + (p + q) . Essa va verificata per valori Ď&#x2021; = p e Ď&#x2021; = q, avendosi che (p+p) + q = p+ (p+q) â&#x;ž p + q = p + q â&#x;ž q = q. Nel caso Ď&#x2021; = q si avrebbe (q + p) + q = q + (p + q) â&#x;ž q + q = q + q â&#x;ž p = p.

In modo analogo si discute lâ&#x20AC;&#x2122;associativitĂ moltiplicativa per la quale (Ď&#x2021;p)q = Ď&#x2021;(pq) va considerata nei due casi possibili Ď&#x2021; = p e Ď&#x2021; = q. Infatti per Ď&#x2021; = p si ha (Ď&#x2021;p)q = Ď&#x2021;(pq) â&#x;ž(pp)q = p(pq) â&#x;ž pq = pp â&#x;ž p = p. Per Ď&#x2021; = q si ha (qp)q = q(pq) â&#x;žpq = qp â&#x;ž p = p.

La proprietĂ distributiva Ď&#x2021;(p+q) = Ď&#x2021;p + Ď&#x2021;q da studiare per i casi Ď&#x2021; = p e Ď&#x2021; = q. Sia Ď&#x2021; = p si ha che Ď&#x2021;(p+q) = Ď&#x2021;p + Ď&#x2021;q â&#x;ž p(p+q) = pp + pq â&#x;ž p(q) = p + p â&#x;ž p = p. Ove si ponga Ď&#x2021; = q allora si ha che q(p+q) = qp + qq â&#x;ž q(q) = p + q â&#x;ž q = q. La p. distributiva è quindi verificata.

Va quindi verificato che â&#x2C6;&#x20AC;x deve essere x + Ď&#x2021; = x. PoichĂŠ il campo (presunto! almeno fino questo momento) è costituito dai soli p e q distinti allora deve esistere un đ?&#x153;&#x2019; : p + Ď&#x2021; = p ed anche q + Ď&#x2021; = q. la prima è verificata per Ď&#x2021; = p oppure Ď&#x2021; = q. La seconda è verificata se se đ?&#x153;&#x2019; â&#x2030; đ?&#x2018;&#x17E;, ovvero per Ď&#x2021; = p.

Pertanto lâ&#x20AC;&#x2122;elemento neutro additivo è đ?&#x153;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x;+ = p . Ă&#x2C6; possibile fare la verifica. Si ha che p + p = p â&#x;ž p = p ed anche che q + p = q â&#x;ž q = q.

In modo analogo si ragiona per il neutro moltiplicativo per il quale deve essere Ď&#x201E;x = x â&#x2C6;&#x20AC;xâ&#x2C6;&#x2C6;F. Deve essere Ď&#x201E;p = p ed anche Ď&#x201E;q = q . La prima è vera per Ď&#x201E; = p oppure Ď&#x201E; = q. La seconda solo per Ď&#x201E; = q. Ciò si desume immediatamente osservando la tabella moltiplicativa.

Pertanto lâ&#x20AC;&#x2122;elemento neutro della moltiplicazione esiste (ed è unico) ed è lâ&#x20AC;&#x2122;elemento q.

Per ogni elemento b dellâ&#x20AC;&#x2122;insieme esiste un x tale che b + x = đ?&#x153;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x;+ Occorre verificare che per b = p e per b = q esiste un X (che può essere o p o q) tale che la somma +, come definita, sia eguale a đ?&#x153;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x;+ . Ă&#x2C6; stato ricavato che đ?&#x153;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x;+ = p pertanto occorre verificare che: b + x = p.

Per b = p si ha che p+ x = p. Dalla tabella relativa allâ&#x20AC;&#x2122;operazione a: si desume che x = p.

Per b = q si ha che q + x = p, da cui analogamente x = p.

51

â&#x2C6;&#x20AC;b â&#x2030; đ?&#x153;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x;+ â&#x2C6;&#x192;x : bx = u.

PoichĂŠ si era ricavato che đ?&#x153;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;&#x2019;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x2019;đ?&#x2018;&#x;+ = p allora b â&#x2030; p â&#x;ž b = q. Ma si era evidenziato che il neutro moltiplicativo u = Ď&#x201E; = q , pertanto ci si riduce a considerare il caso qx = q . Dalla tabella della m: vi evince che x = q.

PoichĂŠ q â&#x2030; p allora il neutro moltiplicativo e quello additivo sono distinti.

52

SUL PIANO STATISTICO Una prima introduzione alla statistica

1. Oggetto della statistica La statistica è stata definita â&#x20AC;&#x153;scienza del collettivoâ&#x20AC;?, ovvero disciplina che avvalendosi dello strumento logico-matematico studia i fenomeni collettivi, riferiti a insiemi costituiti da unitĂ statistiche. Lâ&#x20AC;&#x2122;unitĂ statistica è definita rigorosamente e non necessariamente coincide con un soggetto fisico, potendo essere la famiglia, lâ&#x20AC;&#x2122;impresa o altro. Il collettivo può anche essere generico, per esempio costituito dai partecipanti ad una crociera. Tra essi vanno evidenziati i collettivi â&#x20AC;&#x153;specificiâ&#x20AC;? detti anche popolazioni, caratterizzati da una o piĂš caratteristiche comuni (cittadinanza, residenza, etc). Una distinzione focale è quella tra collettivi empirici e collettivi teorici (campioni). I campioni sono ricavati con criteri scientifici e sono utili se e in quanto essi sono rappresentativi di una popolazione.

Per carattere statistico si intende una qualsiasi proprietĂ osservabile. Le modalitĂ sono i diversi modi di essere (o valori assunti) di una proprietĂ . I caratteri possono essere quantitativi o qualitativi. Quelli quantitativi possono essere continui o discreti, generalmente espressi da numeri interi.

Data una popolazione di N unitĂ statistiche se il carattere X assume le i modalitĂ đ?&#x2018;Ľđ?&#x2018;&#x2013; si indica con đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; il numero delle unitĂ statistiche che nella rilevazione hanno la modalitĂ đ?&#x2018;Ľđ?&#x2018;&#x2013; . đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; indica la frequenza assoluta. Il rapporto

đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; đ?&#x2018;

è detto frequenza relativa.

đ?&#x2018;Ľ1 â&#x20AC;Ś â&#x20AC;Ś â&#x20AC;Ś . . đ?&#x2018;Ľđ?&#x2018;&#x2013; Lâ&#x20AC;&#x2122;insieme delle i determinazioni del carattere X = ( đ?&#x2018;&#x201C; â&#x20AC;Ś â&#x20AC;Ś â&#x20AC;Ś â&#x20AC;Ś đ?&#x2018;&#x201C; ) è detta variabile 1 đ?&#x2018;&#x2013; statistica. Le variabili statistiche possono essere divise in classi (per esempio in classi dâ&#x20AC;&#x2122;etĂ , aziende agricole secondo la superficie, etc.).

Quando il carattere è qualitativo si parla di mutabile statistica.

Anche in campo statistico valgono i concetti giĂ noti di errore assoluto e di errore relativo, di errore sistematico e di errore accidentale.

Le variabili e le mutabili statistiche possono essere rappresentate graficamente nel piano cartesiano, avendosi diagrammi per punti, diagrammi a segmenti, il diagramma a spezzata, il poligono di frequenze e la curva di frequenza. Questa ultima è ottenuta riducendo lâ&#x20AC;&#x2122;ampiezza delle classi di frequenza.

53

Sullâ&#x20AC;&#x2122;asse delle x si pongono le modalitĂ mentre sullâ&#x20AC;&#x2122;asse delle y si pongono le corrispondenti frequenze.

Per le frequenze può essere necessario non porre sullâ&#x20AC;&#x2122;asse y le frequenze bensĂŹ il logaritmo di esse (avendo la scala detta logaritmica). Ă&#x2C6; possibile rappresentare i fenomeni statistici con diagrammi a coordinate polari.

Esistono rappresentazioni come gli istogrammi, potendo le classi di ampiezza essere diverse, contrariamente al caso rappresentato in figura nel quale le classi hanno la stessa ampiezza.

Esiste anche la possibilitĂ di rappresentare un fenomeno nel corso del tempo (posto sullâ&#x20AC;&#x2122;asse delle x). Si tratta delle serie storiche, particolarmente utilizzate in economia.

2. Le medie statistiche La nozione piĂš generale di media è dovuta a V. Castellano per il quale data una funzione G= G(đ?&#x2018;Ľ1 â&#x20AC;Śâ&#x20AC;Ś đ?&#x2018;Ľđ?&#x2018;&#x2DC; , x) la quantitĂ x è detta media se sostituita al posto delle đ?&#x2018;Ľđ?&#x2018;&#x2013; con i ⊽ k, lascia inalterato o minimizza la quantitĂ â&#x201D;&#x201A;G(đ?&#x2018;Ľ1 â&#x20AC;Śâ&#x20AC;Ś đ?&#x2018;Ľđ?&#x2018;&#x2DC; , x) - G(xâ&#x20AC;Ś.., x,, x)â&#x201D;&#x201A;= min.

54

Ogni media è interna al campo di variazione della variabile osservata (A-L Cauchy).

La prima media che si incontra è quella aritmetica, facilmente definita come đ?&#x2018;&#x20AC;đ?&#x2018;&#x17D; = Quando è nota la frequenza assoluta đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; si ha la media ponderata đ?&#x2018;&#x20AC;đ?&#x2018;&#x17D; =

â&#x2C6;&#x2018;đ?&#x2018;&#x2DC; đ?&#x2018;&#x2013;=1 đ?&#x2018;Ľđ?&#x2018;&#x2013; đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; đ?&#x2018;

â&#x2C6;&#x2018;đ?&#x2018;&#x2DC; đ?&#x2018;&#x2013;=1 đ?&#x2018;Ľđ?&#x2018;&#x2013; đ?&#x2018;

.

. Viene definito

scarto (o scostamento) dalla media il valore đ?&#x2018; đ?&#x2018;&#x2013; = đ?&#x2018;Ľđ?&#x2018;&#x2013; - đ?&#x2018;&#x20AC;đ?&#x2018;&#x17D; . Ă&#x2C6; elementare dimostrare che â&#x2C6;&#x2018;đ?&#x2018;&#x2DC;đ?&#x2018;&#x2013;=1 đ?&#x2018; đ?&#x2018;&#x2013; = 0 Rispetto al tradizionale metodo di introduzione delle medie vorrei considerare il caso della media di potenza di ordine r cosĂŹ definita: đ?&#x2018;&#x;

đ?&#x2018;&#x2DC;

đ?&#x2018;&#x;

â&#x2C6;&#x2018; (đ?&#x2018;Ľ ) đ?&#x2018;&#x20AC;đ?&#x2018;&#x; = â&#x2C6;&#x161; đ?&#x2018;&#x2013;=1đ?&#x2018;&#x2DC; đ?&#x2018;&#x2013;

che in forma di media ponderata diviene đ?&#x2018;&#x;

đ?&#x2018;&#x2DC;

đ?&#x2018;&#x;

â&#x2C6;&#x2018; (đ?&#x2018;Ľ ) đ?&#x2018;&#x20AC;đ?&#x2018;&#x; = â&#x2C6;&#x161; đ?&#x2018;&#x2013;=1 đ?&#x2018; đ?&#x2018;&#x2013;

đ?&#x2018;&#x203A;đ?&#x2018;&#x2013;

ove N = â&#x2C6;&#x2018;đ?&#x2018;&#x2DC;đ?&#x2018;&#x2013;=1 đ?&#x2018;&#x203A;đ?&#x2018;&#x2013;

per r = 1 si ottiene la media aritmetica, per r = -1 la media armonica. Quando si đ?&#x2018;&#x2DC;

ammette che r â&#x;ś 0 si ottiene la media geometrica đ?&#x2018;&#x20AC;đ?&#x2018;&#x201D;đ?&#x2018;&#x2019;đ?&#x2018;&#x153; = â&#x2C6;&#x161;â&#x2C6;?đ?&#x2018;&#x2DC;đ?&#x2018;&#x2013;=1 đ?&#x2018;Ľđ?&#x2018;&#x2013; . Nel caso r = 2 si ha una particolare media detta quadratica.

Viene definita moda (o norma) il valore prevalente di una data variabile statistica.

Una variabile statistica, come noto, è definita dalle modalità e delle frequenze relative.

X = (đ?&#x2018;Ľđ?&#x2018;&#x2013; , đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; ) moda è lâ&#x20AC;&#x2122;đ?&#x2018;Ľđ?&#x2018;&#x2013; cui corrisponde max (đ?&#x2018;&#x201C;1 , â&#x20AC;Ś â&#x20AC;Ś , đ?&#x2018;&#x201C;đ?&#x2018;&#x2DC; ). Ă&#x2C6; il modo piĂš diffuso di un carattere statistico.

La situazione si complica quando le variabili statistiche sono raggruppate in classi.

Si utilizza questa formula: đ?&#x2018;&#x20AC;đ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x17D; = đ??żđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; +

đ?&#x153; (đ??šđ?&#x2018;&#x20AC; â&#x2C6;&#x2019; đ??šđ?&#x2018;&#x20AC;â&#x2C6;&#x2019;1 ) 2đ??šđ?&#x2018;&#x20AC; â&#x2C6;&#x2019; đ??šđ?&#x2018;&#x20AC;+1 â&#x2C6;&#x2019; đ??šđ?&#x2018;&#x20AC;â&#x2C6;&#x2019;1

Anche in questi casi si ragiona per step. Il primo è la determinazione della classe modale. Essa è la classe cui corrisponde la massima frequenza assoluta. Detta frequenza è indicata con đ??šđ?&#x2018;&#x20AC; mentre đ??šđ?&#x2018;&#x20AC;+1 e đ??šđ?&#x2018;&#x20AC;â&#x2C6;&#x2019;1 definiscono le frequenze delle classi successive e precedente. Îś =đ??żđ?&#x2018; đ?&#x2018;˘đ?&#x2018;? - đ??żđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; indica lâ&#x20AC;&#x2122;ampiezza della classe modale. đ??żđ?&#x2018; đ?&#x2018;˘đ?&#x2018;? e đ??żđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; definiscono limiti superiore e inferiore della classe.

Può però capitare che le rilevazioni vengano fatte senza che sia garantito Μ = cost.

In questi casi per individuare la classe modale si procede ai rapporti đ?&#x2018;&#x2026;đ?&#x2018;&#x2013; =

đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; đ?&#x153; đ?&#x2018;&#x2013;

.

55

Tra detti rapporti esiste il max đ?&#x2018;&#x2026;đ?&#x153;? per un qualche Ď&#x201E;.

In questi casi solitamente ci si limita alla determinazione della classe modale anche se esiste pure la formula che ne consente il calcolo.

Va definito ora il concetto di mediana.

Ove sia data una variabile statistica riferita ad un carattere X che assume k valori numerici đ?&#x2018;Ľđ?&#x2018;&#x2013; è possibile un ordinamento (se non è dato bisogna farlo) per il quale sia đ?&#x2018;Ľđ?&#x2018;&#x2013; < đ?&#x2018;Ľđ?&#x2018;&#x2013;+1 . (oppure >). Se k = 2n+ 1 la mediana coincide con il termine centrale, essendo il valore che bipartisce la successione (tanti termini a sinistra, tanti termini a destra). Se k è pari la mediana è la media aritmetica dei due termini centrali.

La frequenza â&#x20AC;&#x153;entraâ&#x20AC;? nella determinazione della moda solo quando i dati sono raggruppati in classi. Per determinare la classe mediana occorre anzitutto determinare la frequenza cumulata. Essa altro non è che la somma delle frequenze delle classi fino a quella che si considera. Insomma se considero la j-esima classe đ?&#x2018;&#x2014; la frequenza cumulata đ??šđ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x161;,đ?&#x2018;&#x2014; = â&#x2C6;&#x2018;đ?&#x2018;&#x2013;=1 đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; . Ci si arresta appena đ??šđ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x161;,đ?&#x2018;&#x2014; ⊞ (½)N. Il đ?&#x2018;&#x2014;đ?&#x2018;&#x161;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A; tale che đ??šđ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x161;,đ?&#x2018;&#x2014; ⊞ ½(N) individua la classe mediana. đ?&#x2018;&#x2014;â&#x2C6;&#x2019;1 Ma determinato j (ovvero la classe mediana) è ben definito đ??šđ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x161;,đ?&#x2018;&#x2014;â&#x2C6;&#x2019;1 = â&#x2C6;&#x2018;đ?&#x2018;&#x2013;=1 đ?&#x2018;&#x201C;đ?&#x2018;&#x2013; = đ?&#x2018;&#x192;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; .

Tale grandezza è detta frequenza cumulata corrispondente al limite inferiore della classe mediana. đ?&#x2018;

Si utilizza la seguente formula đ?&#x2018;&#x20AC;đ?&#x2018;&#x2019;đ?&#x2018;&#x2018;đ?&#x2018;&#x2013;đ?&#x2018;&#x17D;đ?&#x2018;&#x203A;đ?&#x2018;&#x17D; = đ??żđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; +

đ?&#x153; ( â&#x2C6;&#x2019; đ?&#x2018;&#x192;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x201C; ) 2 đ??šđ?&#x2018;&#x20AC;

.

Ho sintetizzato e rielaborato parte del Cap. III relativo alle medie degli Appunti di statistica descrittiva, Nuova edizione, Bozzi Editore, Genova, della prof.ssa Valeria Maione.

56

Proprietà letteraria e intellettuale Nell’elaborare il presente documento ho inevitabilmente attinto a fonti. Esse sono indicate nel testo, di volta in volta. Per quanto attiene alle “figure” – utilissimo supporto – queste sono state estratte da Internet nella presunzione che quanti le hanno collocate ne avessero titolo. In questo caso non mi è stato possibile citare la fonte. Preciso che questo elaborato non ha fini di lucro.

57

pubblicazione a cura di Pascal McLee

2015 Š mclee consulting | web solutions. all rights reserved. web www.pascalmclee.com - mail pas.meli@gmail.com - mob. +39 335 6856486