Superreal numero

Yleisessä algebrassa superrealistiset (superreal) luvut ovat reaalilukuluokan laajennus , jonka G. Delz ja W. Woodin esittelivät hyperreaalilukujen yleistyksenä pääasiassa epästandardin analyysin , malliteorian , ja myös Banach-algebroiden tutkimus . Superrealististen lukujen joukko on surrealististen lukujen joukon osajoukko .

G. Delzin ja W. Woodinin superreaaliset luvut eroavat D. Tollin superrealisista luvuista , jotka ovat muodollisten potenssisarjojen murto- osien leksikografista järjestystä reaalilukukentän yli. [yksi]

Muodollinen määritelmä

Oletetaan, että X on Tikhonovin avaruus , jota kutsutaan myös T 3.5 -avaruudeksi , ja että C(X) on jatkuvien reaalifunktioiden algebra X:llä. Oletetaan, että P on C(X:n ) alkuideaali. Tällöin osamäärärengas A = C (X) / P, on määritelmän mukaan todellinen algebra ja sitä voidaan pitää lineaarisesti järjestettävänä joukkona . A:n murto-osien F rengas on superrealistinen kenttä, jos F sisältää tiukasti reaalilukuja ja F ei ole isomorfinen .

Jos alkuideaali P on maksimiideaali , niin F on hyperreaalilukujen kenttä .

Muistiinpanot

  1. David Tall, "Katsele kaavioita äärettömän pienten mikroskooppien, ikkunoiden ja teleskooppien läpi", Mathematical Gazette, 64 22-49, uusintapainos osoitteessa http://www.warwick.ac.uk/staff/David.Tall/downloads.html

Kirjallisuus