ÜHE MUUTUJA MATEMAATILINE ANALÜÜS
Seega on hulgad Z ja
Z kujutuse ϕ abil samastatavad.
Edasi, kui m ∈ Z ja n ∈ N, siis korpus F sisaldab ka elemendi m n
:= m n1 , teisisõnu, F
sisaldab kõigi ratsionaalarvude hulga
Q := mn | m ∈ Z, n ∈ N
n o
(paneme tähele, et need ratsionaalarvud mn−1 ja m1 n−11 , mille korral mn1 = nm1 , on võrd-
sed). Paneme tähele, et Q on alamkorpus. Tõepoolest, kui a = m n
ja b = pq on ratsionaalarvud
(s.o. taandatud harilikud murrud), siis korpuses F kehtivad seosed
m p 1 1 1 1 1 mq + np
a+b= + = m + p = mq + np = (mq + np) = ,
n q n q nq nq nq nq