|
Látum mengið C vera mengi R×R allra rauntölupara (a,b) í rétthyrndu hnitakerfi. Aðgerðirnar samlagning og deiling eru skilgreindar skilgreindar fyrir stök í C á eftirfarandi hátt:
(a,b) + (c,d) = (a+c, b+d) (a,b)(c,d) = (ac-bd, ad+bd) Auðvelt er að sannreyna að víxlregla og tengiregla gilda um báðar aðgerðirnar. Í samlagningu er hlutleysan (0, 0) og andhverfan við (a,b) er (-a,-b). Í margföldun er hlutleysan (1, 0) og andhverfan við (a,b) er Að lokum má sannreyna að dreifireglan sem tengir samlagningu og margföldun gildir um C og þar með hefur verið sýnt fram á að mengið C er fullgilt talnasvið.Tvennt er sérstaklega athyglisvert varðandi C:
|