Verificare che l'insieme dei numeri reali positivi è uno spazio vettoriale

Question

Sono alle prese con un esercizio sulla verifica degli spazi vettoriali che proprio non riesco a risolvere. Nell'insieme dei numeri reali positivi vengono definite due strane operazioni di somma e prodotto, e si deve verificare che l'insieme è uno spazio vettoriale. Potete mostrarmi come fare, riportando tutti i passaggi? Sia R^+l'insieme dei numeri reali positivi e definiamo su R^+le seguenti operazioni: ; x+y = xy ; λ·x = x^(λ) Verificare che R^+è uno spazio vettoriale su R rispetto a queste operazioni.

Giuseppe Carichino · Accepted Answer

Uno spazio vettoriale V su R è un insieme dotato di due operazioni, dette somma tra vettori e prodotto scalare-vettore, che godono delle seguenti proprietà: 1) V è un gruppo abeliano rispetto alla somma, ossia: 1a) la somma è associativa; 1b) esiste l'elemento neutro rispetto alla somma; 1c) esiste l'opposto di ogni elemento di V rispetto alla somma; 1d) la somma è commutativa. 2) Il prodotto scalare-vettore deve soddisfare le seguenti caratteristiche: 2a) omogeneità (o pseudo-associatività) λ·(β·v) = (λ β)·v ∀ λ, β ∈ R, ∀ v ∈ V 2b) Esistenza dell'elemento neutro rispetto al prodotto. 2c) Distributività del prodotto rispetto alla somma tra vettori λ·(v+w) = λ·v+λ·w ∀ λ ∈ R, ∀ v, w ∈ V 2d) Distributività del prodotto rispetto alla somma tra scalari (λ+β)·v = λ·v+β·v ∀ λ, β ∈ R, ∀ v ∈ V Tornando all'esercizio, per verificare che R^+è uno spazio vettoriale su R rispetto alle operazioni a) x+y = xy b) λ·x = x^(λ) dobbiamo controllare che valgano le precedenti 8 proprietà. Procediamo passandole in rassegna una per volta. 1a) Associatività della somma Per ogni x,y,z ∈ R^+: (x+y)+z = la somma tra due elementi di x,y ∈ R^+è uguale all'usuale prodotto tra i numeri reali x,y = xy+z = xyz Analogamente x+(y+z) = x+yz = xyz I due risultati sono uguali, per cui la somma gode della proprietà associativa. 1b) Esiste l'elemento neutro rispetto alla somma Per ogni x ∈ R^+: x+1 = x1 = x e 1+x = 1x = x di conseguenza esiste l'elemento neutro rispetto alla somma ed è 1. 1c) Esiste l'opposto rispetto alla somma di ogni elemento di R^+Per dimostrare l'esistenza dell'opposto dobbiamo provare che per ogni x ∈ R^+esiste x ∈ R^+tale che la somma tra x e x restituisca l'elemento neutro della somma, che è 1. Fissato x ∈ R^+, si ha (1)/(x)+x = (1)/(x) x = (x)/(x) = 1 Allo stesso tempo x+(1)/(x) = x (1)/(x) = (x)/(x) = 1 dunque ogni elemento ha inverso additivo. Da notare che la quantità (1)/(x) è ben definita in quanto x ∈ R^+, e quindi è sicuramente non nullo. 1d) La somma è commutativa Per ogni x,y ∈ R^+: x+y = xy = per la proprietà commutativa del prodotto tra numeri reali = yx = y+x Questo prova la commutatività della somma, e possiamo passare alle proprietà del prodotto. 2a) Omogeneità (o pseudo-associatività) Siano λ, β ∈ R, x ∈ R^+. Allora: λ·(β·x) = l'operazione·associa alla coppia (β, x) la potenza di x^(β) λ·x^(β) = (x^(β))^(λ) = per le proprietà delle potenze = x^(β λ) = (λ β)·x 2b) Esistenza dell'elemento neutro rispetto al prodotto Evidentemente, per ogni x ∈ R^+: 1·x = x^1 = x dunque l'elemento neutro rispetto al prodotto esiste ed è pari a 1. 2c) Distributività del prodotto rispetto alla somma tra vettori Fissiamo λ ∈ R e x,y ∈ R^+. Dobbiamo dimostrare che λ·(x+y) = λ·x+λ·y Analizziamo il primo membro: λ·(x+y) = ricordiamo che x+y = xy = λ·xy = per com'è definito il prodotto = (xy)^(λ) Passiamo al secondo membro λ·x+λ·y = calcoliamo i prodotti = x^(λ)+y^(λ) = calcoliamo la somma = x^(λ) y^(λ) = (xy)^(λ) Primo e secondo membro ci hanno portato allo stesso risultato, quindi vale la proprietà distributiva del prodotto rispetto alla somma. 2d) Distributività del prodotto rispetto alla somma tra scalari Eccoci all'ultima proprietà. Affinché il prodotto sia distributivo rispetto alla somma tra scalari, dev'essere: (λ+β)·x = λ·x+β·x ∀ λ, β ∈ R, ∀ x ∈ R^+Fissati λ, β ∈ R e x ∈ R^+abbiamo che (λ+β)·x = x^(λ+β) = per una delle proprietà delle potenze = x^(λ)x^(β) = per com'è definita l'operazione di somma = x^(λ)+x^(β) = per com'è definito il prodotto λ·x+β·x Le proprietà sono tutte verificate, pertanto R^+munito di queste operazioni è uno spazio vettoriale su R.