Campi
In questa pagina 5
Lezione 1 (videolezione n. 1). Seguito: Spazi vettorialiUno spazio vettoriale su un campo K è un insieme con una somma di vettori e un prodotto per scalari che rispettano 7 proprietà. Esempi fondamentali: K^n (somma componente per componente), le funzioni da R in R, i polinomi.Spazi vettoriali →.
Perché servono i campi
In fisica un vettore (per esempio uno spostamento) non è descritto da un solo numero: servono anche una direzione e un verso. Si disegna come un segmento orientato: la retta su cui giace dà la direzione, la freccia il verso, la lunghezza il modulo.
Con i vettori si fanno due operazioni:
- la somma di due vettori, con la regola del parallelogramma: è la diagonale del parallelogramma che ha per lati e ;
- il prodotto di un numero per un vettore: per esempio ha la stessa direzione e lo stesso verso di ma lunghezza doppia, e si scrive .
Attenzione: nel secondo caso non si moltiplicano due vettori, si moltiplica un numero (in fisica si dice uno scalare) per un vettore, e il risultato è un vettore.
Prima di definire i vettori in generale bisogna allora decidere con che tipo di numeri si lavora. La risposta del corso è: con i numeri di un campo.
Il problema con N e Z
| Insieme | Cosa si può fare | Cosa non funziona |
|---|---|---|
| somma, prodotto | sottrazione: | |
| somma, sottrazione, prodotto | divisione: | |
| tutte e quattro le operazioni (divisione per numeri ) | nessun problema per le equazioni di primo grado |
Definizione di campo
Un campo è un insieme non vuoto con due operazioni, la somma e il prodotto , tali che per ogni :
- (associativa della somma);
- (commutativa della somma);
- esiste un elemento con per ogni (elemento neutro della somma);
- per ogni esiste con (opposto);
- (associativa del prodotto);
- (commutativa del prodotto);
- esiste un elemento , con , tale che per ogni (elemento neutro del prodotto);
- per ogni esiste con (inverso);
- e (distributive).
Le proprietà 1–4 riguardano solo la somma, le 5–8 solo il prodotto, la 9 le lega. La richiesta serve a escludere il caso banale dell'insieme con un solo elemento.
A cosa servono queste proprietà: risolvere
In tutto il corso si risolvono equazioni di primo grado e sistemi lineari. Per risolvere con :
- si somma a entrambi i membri l'opposto di (proprietà 4): ;
- si moltiplicano entrambi i membri per l'inverso di (proprietà 8): .
In manca il passo 1 (non ci sono gli opposti), in manca il passo 2 (non ci sono gli inversi). Per questo gli scalari del corso sono sempre elementi di un campo.
Esempi di campi
Campi infiniti.
- , i razionali;
- , i reali: più grande di (per esempio ma );
- , i complessi: si aggiunge l'unità immaginaria , con , per poter risolvere equazioni come , che in non hanno soluzione perché un quadrato reale è sempre .
Campi finiti. Esistono anche campi con un numero finito di elementi (non si usano nel corso, ma hanno applicazioni importanti, per esempio nei codici per le telecomunicazioni).
Campo con 2 elementi . Gli elementi e ci devono essere (neutri di somma e prodotto) e sono diversi. Quasi tutte le somme sono obbligate: , . Resta : non può valere , perché allora nessun elemento sommato a darebbe e mancherebbe l'opposto di . Quindi : è l'opposto di se stesso.
Campo con 3 elementi : si fanno i conti "sull'orologio con 3 ore", cioè si prende il resto della divisione per 3. Per esempio , che sull'orologio diventa ; ; .
Si controlla che ogni elemento non nullo ha un inverso: e .
Con 4 elementi l'orologio non funziona. Facendo i conti con i resti della divisione per 4, la riga del nella tabella del prodotto è , , , : non compare mai , quindi non ha inverso e con queste operazioni non è un campo.
Provando con elementi si scopre che l'orologio dà un campo con elementi e non con : funziona esattamente quando il numero di elementi è primo. (Se con , allora e non può essere invertibile.)
Riassunto
| Insieme | È un campo? | Perché |
|---|---|---|
| no | mancano gli opposti | |
| no | mancano gli inversi (per esempio di ) | |
| , , | sì | valgono tutte le 9 proprietà |
| resti modulo | sì solo se è primo | per l'elemento non ha inverso |
Nel resto del corso indica un campo qualsiasi; nella pratica quasi sempre , a volte (per esempio per gli autovalori complessi).
Errori comuni
- Pensare che i campi siano tutti infiniti: il campo con due elementi è un campo a tutti gli effetti.
- Dimenticare che l'inverso si chiede solo per gli elementi diversi da : lo non è mai invertibile ().
- Confondere "numero" e "vettore": in il è uno scalare del campo, è un vettore; sono oggetti di natura diversa.