Assiomi campo ed assiomi spazio vettoriale

Rubrica: Officina della Matematica

Titolo o argomento: Gli assiomi del campo e dello spazio vettoriale

In tutti gli insiemi numerici studiati in geometria sono definite due operazioni: la somma (+) ed il prodotto (·). Questi godono delle proprietà riportate di seguito le quali prendono il nome di assiomi campo.

Assiomi campo

1. Proprietà associativa della somma: per ogni a, b, c si ha che (a + b) + c = a + (b + c).

2. Esistenza dell’elemento neutro per la somma: esiste un “a0” tale che per ogni “a” abbiamo che (a + a0) = (a0 + a) = a, dove l’elemento a0 (ovvero l’elemento neutro)  non è altro che lo zero.

3. Esistenza dell’opposto: per ogni “a” esiste un “a1” tale che (a + a1) = (a1 + a) = a0, dove a1 non è altro che -a.

4. Proprietà commutativa della somma: per ogni a + b = b + a.

5. Proprietà distributiva della somma rispetto al prodotto: per ogni a, b, c si ha che a · (b + c) = a · b + a · c.

6. Proprietà associativa del prodotto: per ogni a, b, c  si ha che (a · b) · c = a · (b · c).

7. Esistenza dell’elemento neutro per il prodotto: esiste un “a1” tale che per ogni a · a1 = a1 · a =  a, dove  l’elemento a1 (ovvero l’elemento neutro) non è altro che 1.

8. Esistenza dell’inverso: per ogni a diverso da zero, esiste  un ã tale che a · ã = ã · a = a1, dove l’elemento “a1″ non è altro che a-1 ovvero 1/a.

9. Proprietà commutativa del prodotto: per ogni a, b si ha che a · b =  b · a

Uno spazio vettoriale (ovvero uno spazio lineare) su R (l’insieme dei Reali) è un insieme che possiamo chiamare V dove sono definite due operazioni: la somma (dove due elementi di V, sommati, formano un nuovo elemento di V) ed il prodotto per scalari (dove il prodotto di un elemento di R per uno di V, mi restituisce un elemento di V). La somma ed il prodotto per scalari soddisfano le proprietà riportate di seguito le quali prendono il nome di assiomi dello spazio vettoriale.

Note

Gruppo: trattasi di un insieme che soddisfa le proprietà 1, 2, 3 sopra elencate

Gruppo commutativo: un insieme che soddisfa le proprietà 1, 2, 3, 4 sopra elencate

Anello: si tratta di un insieme che soddisfa le proprietà 1, 2, 3, 4, 5, 6, 7 sopra elencate

Anello commutativo: un insieme che soddisfa le proprietà 1, 2, 3, 4, 5, 6, 7, 9 sopra elencate

Corpo: un insieme che soddisfa le proprietà 1, 2, 3, 4, 5, 6, 7, 8 sopra elencate

Campo: un insieme che soddisfa tutte le proprietà 1-9 sopra riportate

Assiomi spazio vettoriale

1. Per ogni u, v, w appartenenti allo spazio vettoriale V, si ha che: (u + v) + w = u + (v + w).

2. Esiste uno 0 appartenente allo spazio vettoriale V tale che, per ogni elemento v appartenente a V, si ha che: v + 0 = 0 + v = v.

3. Per ogni elemento v appartenente allo spazio vettoriale V, esiste un elemento -v (sempre appartenente allo spazio vettoriale V) tale che: v + (-v) = (-v) + v = 0.

4. Per ogni v, w appartenenti allo spazio vettoriale V si ha che: v + w = w + v.

5. Per ogni λ appartenente ad R (l’insieme dei Reali)  e per ogni v, w appartenenti allo spazio vettoriale V si ha che: λ · (v + w) = λ · v + λ · w.

6. Per ogni λ, μ appartenenti ad R (l’insieme dei Reali) e per ogni v appartenente allo spazio vettoriale V si ha che: (λ + μ) · v = λ · v + μ · v.

7. Per ogni λ, μ appartenenti ad R (l’insieme dei Reali) e per ogni v appartenente allo spazio vettoriale V si ha che: (λ · μ) · v = λ · (μ · v).

8. Per ogni elemento v appartenente allo spazio vettoriale V si ha che: 1 · v = v e 0 · v = 0.

Campo matematico

Rubrica: Officina della Matematica

Titolo o argomento: Introduzione ai campi matematici studiati in Analisi Matematica II

Quando sentiamo dire le espressioni verbali “il campo della moda”, “nel campo della ricerca”, “nel campo della meccanica”, e così via… siamo già pronti a comprendere che per campo intendiamo un insieme di cose attinenti tutte al medesimo argomento o comunque tutte in relazione con esso. Ebbene nella matematica il concetto è esattamente lo stesso. Un campo è una sorta di “zona”nella quale sono valide determinate operazioni matematiche e determinate proprietà di tali operazioni.

Più nello specifico un campo è un insieme di entità soggette a due operazioni binarie (addizione e moltiplicazione) tali che: l’insieme è un “gruppo commutativo” rispetto all’addizione; l’insieme privato dello zero è un gruppo commutativo rispetto all’addizione; la moltiplicazione è distributiva rispetto all’addizione.

Secondo tale definizione gli insieme dei numeri razionali e gli insiemi dei numeri reali sono dei campi, al contrario l’insieme dei numeri naturali non lo è (vedi le tipologie di numeri qui).

Nei prossimi articoli di questa rubrica vedremo in sintesi le principali particolarità dei campi vettoriali, dei campi conservativi e dei campi irrotazionali.