Razlika između verzija stranice "Superrealan broj"

[pregledana izmjena][pregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
m Bot: premještanje 7 međuwiki linkova koji su sada dostupni na stranici d:q2111211 na Wikidati
m Replacing deprecated latex syntax mw:Extension:Math/Roadmap
Red 5:
== Formalna definicija ==
Pretpostavi da je X [[Tychnoffov prostor]] (također nazvano T<sub>3.5</sub> prostor) i da je C(X) algebra kontinuirane realne funkcije na X.
Pretpostavi da je P [[prost ideal]] u C(X). Onda je [[faktorski prsten|faktorska algebra]] A = C(X)/P po definiciji integralni domen koji je realna algebra i koji [[potpuni red|potpuno poredan]]. [[Polje razlomaka]] F od A je '''superrealno polje''' ako F samo posjeduje realne brojeve <math>\Bbbmathbb{R}</math> tako da F nije poredno [[izomorfizam|izomorfičan]] prema <math>\Bbbmathbb{R}</math>.
 
Ako je prosti ideal P maksimalni ideal, onda je F polje [[hiperrealan broj|hiperrealnih brojeva]].