Hiperreela nombro: Malsamoj inter versioj

1 bitokon aldonis ,  antaŭ 11 jaroj
[kontrolita revizio][kontrolita revizio]
Neniu resumo de redakto
La [[aro]] de hiperreeloj *'''R''' estas [[ordigita korpo|ordigita]] [[korpo (matematiko)|korpo]], kiu enhavas [[reelo]]jn kiel subkorpo. Malsimile al reeloj, la hiperreeloj ne havas difineblan [[metrika spaco|metrikan spacon]], sed, pro sia ordigiteco, havas ordan [[topologio]]n.
 
La uzo de vorteto ''la'' kiam ni parolas pri "la (aro de) hiperreeloj" estas ne tute ĝusta, ĉar ne estas iu evidentaĵo, ke la korpo de hiperreeloj estas unika. Tamen, en la verko de [[2003]] farfare de [[Vladimir Kanovei]] kaj [[Saharon Shelah]]<ref name=kanovei2003>{{Citation | last1=Kanovei|first1=Vladimir| last2=Shelah|first2=Saharon| title=[http://shelah.logic.at/files/825.pdf A definable nonstandard model of the reals]| journal=Journal of Symbolic Logic|volume=69|year=2004| pages=159–164}}</ref> montraspruvas, ke ekzistas definebladifinebla, [[ω-sata]] [[rudimenta enigo]] de reeloj, kiu, do, povas esti ''la'' aro de hiperreeloj.
 
La kondiĉoj por agnoski iun korpon hiperreela estas pli rigoraj ol por [[reela fermita korpo]], kiu enhavu na '''R'''. Ĝi estas ankaŭ pli rigora ol por [[superreela korpo]], kiun difinis [[William Hugh Woodin|W.H.Woodin]] kaj H.G.Dales<ref>{{Citation | last1=Woodin | first1=W. H. | last2=Dales | first2=H. G. | title=Super-real fields: totally ordered fields with additional structure | publisher=Clarendon Press | location=Oxford | isbn=978-0-19-853991-9 | year=1996}}</ref>