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 “a₀” tale che per ogni “a” abbiamo che (a + a₀) = (a₀ + a) = a, dove l’elemento a₀ (ovvero l’elemento neutro)  non è altro che lo zero.

3. Esistenza dell’opposto: per ogni “a” esiste un “a₁” tale che (a + a₁) = (a₁ + a) = a₀, dove a₁ 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 “a₁” tale che per ogni a · a₁ = a₁ · a =  a, dove  l’elemento a₁ (ovvero l’elemento neutro) non è altro che 1.

8. Esistenza dell’inverso: per ogni a diverso da zero, esiste  un ã tale che a · ã = ã · a = a₁, dove l’elemento “a_1″ 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.