EDB — 1ZX

view in whole PDF view in whole HTML

Vista

Italiano

Esercizio 17

[1ZX] In un campo ordinato \(F\) chiamiamo \(P = \{ x ∈ F : x ≥ 0\} \) l’insieme dei numeri positivi (o nulli); soddisfa le seguenti proprietà: 1

  • \(x, y ∈ P ⇒ x + y , x · y ∈ P \),

  • \(P ∩ (−P ) = \{ 0 \} \) e

  • \(P ∪ (−P ) = F \).

viceversa se in un campo \(F\) possiamo trovare un insieme \(P⊆ F\) che le soddisfi, allora \(F\) è un campo ordinato ponendo \(x ≤ y ⇔ y−x ∈ P\).

  1. Dal Cap. 2 Sec. 7 in [ 3 ]
Scarica PDF
Bibliografia
Indice analitico
  • campo, ordinato
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese