Zenbaki-teoriak zenbaki osoen arteko zatigarritasuna aztertzen du bereziki.
Zenbaki osoen multzoan batuketa, biderketa eta kenketa eragiketak definiturik daude; hau da, bi zenbaki oso batzen, bidertzen
edo kentzen baditugu, emaitza zenbaki oso bat da. Aitzitik, zatiketa ezin da multzoan egin beti: , baina . Hala ere, kasu batzuetan, zenbaki oso batek beste zenbaki oso bat zehazki
zatitzen du.
Zatigarritasuna. Zenbaki lehenak
Definizioa
zenbakiak emanik eta izanik, esango dugu zenbakiak zenbakia zatitzen duela, eta adieraziko dugu, baldin
, non den.
Hori gertatzen denean, esango dugu zenbakia zenbakiaren zatitzaile bat dela, edo
zenbakia
zenbakiaren multiplo bat dela.
Teorema
emanik,
-
-
-
-
Definizioa
Izan bedi ,
.
Esango dugu
zenbaki lehena dela bere zatitzaile positibo bakarrak eta
1
badira:
, edo ;
eta esango dugu
zenbaki konposatua dela lehena ez bada:
, non den, , izanik.
Adibidea
zenbaki konposatua da, delako eta zatitzaileak dituelako.
zenbaki lehena da, delako eta bere zatitzaile positibo bakarrak eta direlako.
Teorema
Zenbaki konposatu orok zatitzaile lehenen bat dauka, hau da, ,
emanik,
konposatua ,
lehena da eta
.
Teorema
Infinitu zenbaki lehen daude.
Froga
Absurdora eramanez frogatuko dugu.
Suposa dezagun zenbaki lehenen kopurua finitua dela: .
Izan bitez eta .
Orduan, dugu eta, hortaz, hortik aterako dugu. Beraz, konposatua da. Aurreko teoremaren arabera, badago zenbaki lehenen bat, non betetzen den.
Orduan, eta betetzen dira; hortaz, ere beteko da. Baina dugu; beraz, dugu; eta hori ezinezkoa da delako.
Beraz, ezin da egon zenbaki lehenen kopuru finitu bat bakarrik, hau da,
infinitu zenbaki lehen daude.
Zatiketa euklidearra
Hurrengo emaitzak aukera emango digu
0
ez diren zenbaki osoen arteko zatiketarekin lan egiteko, zatiketa zehatza
ez denean. Adibidez,
38>
zati 7
egiten badugu, zatidura
5
eta hondarra
3
aterako ditugu. Euklidesek frogatu zuen zenbaki horiek bakarrak direla
baldintza batzuk betez gero.
Teorema
emanik eta izanik,
, non den, izanik.
zatidura da,
hondarra ,
zatikizuna eta
zatitzailea .
Adibidea
27
|
6
|
|
-27
|
6
|
|
6
|
27
|
|
-6
|
27
|
3
|
4
|
|
3
|
-5
|
|
6
|
0
|
|
21
|
-1
|
Zatitzaile komun handiena
Definizioa
Izan bitez eta izan bedi . Esango dugu zenbakia eta zenbakien zatitzaile komun bat dela eta betetzen badira.
Adibidea
−24
zenbakiaren zatitzaile positiboak
1, 2, 3, 4, 6, 8, 12
eta
24
dira.
32
zenbakiaren zatitzaile positiboak
1, 2, 4, 8, 16
eta
32
dira. Bion zatitzaile positibo komunak
1, 2, 4
eta
8
dira.
Definizioa
Izan bitez , edo , eta izan bedi . Esango dugu zenbakia eta zenbakien zatitzaile komun handienetako bat dela baldin
-
bada eta zenbakien zatitzaile komun bat:
eta
-
eta zenbakien edozein zatitzaile komunek zatitzen badu:
,
Adibidea
Aurreko adibidean ikus dezakegu
−24
eta
32
zenbakien zatitzaile komun handiena
8
dela.
Galdera batzuk egin ditzakegu: beti aurkitu ahal izango dugu zatitzaile
komun handienetako bat? Bi zenbaki osok zenbait zatitzaile komun handien izan
ditzakete?
Teorema
emanik, eta zenbakien zatitzaile komun handiena existitzen bada, bakarra da.
Oharrak
-
emanik, eta zenbakien zatitzaile komun handiena badago, adierazten dugu.
-
badago, beteko da.
-
ez dago definiturik.
-
bada, frogatu daiteke badagoela eta dela.
Laburbilduz, edo zenbakietako bat bakarrik
0
bada, badago Beraz, existitzen dela frogatzeko, eta positiboak direla suposatuko dugu.
Teorema
zenbaki oso positibo guztietarako existitzen da zatitzaile komun handiena.
Oharrak
-
Emaitza horretan oinarriturik, beste hau frogatu daiteke: emanik, beti existitzen da denean izan ezik).
-
Aurreko teoremaren frogan agertzen da emaitza hau: emanik, edo
izango da eta zenbakien konbinazio lineal gisa adieraz daitekeen zenbaki oso positiborik
txikiena:
-
Aurreko oharrak esaten digu bi zenbakiren zatitzaile komun handiena bi
zenbakien konbinazio lineala dela; baina konbinazio lineal hori ez da bakarra. emanik, edo
da, izanik; baina ez dira bakarrak; izan ere, bada, guztietarako hau beteko da:
.
Adibidea
dugu; hortik,
Definizioa
emanik, esango dugu zenbaki lehen erlatiboak
direla denean.
Ondorioa
emanik,
lehen erlatiboak , non den.
Adibidea
denez, da eta zenbaki lehen erlatiboak dira.
Euklidesen algoritmoa
emanik, bada, izango da. Bestela, kalkulatzeko, algoritmo hau erabiliko dugu:
Euklidesen algoritmoa
Zatiketa hauek egingo ditugu:
|
|
|
,
|
|
|
|
|
|
|
|
|
|
,
|
|
;
|
|
|
|
|
|
|
|
,
|
|
;
|
|
|
|
|
...
|
|
|
...
|
|
...
|
|
|
|
,
|
|
;
|
|
|
|
|
...
|
|
|
...
|
|
...
|
Gero eta hondar txikiagoak lortzen ditugunez, noizbait
0
hondarra lortuko dugu:
|
|
|
;
|
|
|
|
.
Orduan,
0
ez den azkeneko hondarra da, hots,
Adibidea
kalkulatzeko:
250
|
12
|
|
12
|
10
|
|
10
|
2
|
10
|
20
|
|
2
|
1
|
|
0
|
5
|
Hortaz,
Oharrak
-
Euklidesen algoritmoa bai denean bai denean erabil daiteke; azken kasu horretan, zatiketa bat gehiago egin
beharko da.
-
Euklidesen algoritmoak balioa zenbakien konbinazio lineal gisa adierazteko metodoa erakusten du.
Adibidea
Aurreko adibidean, kalkulatu dugu.
2
emaitza
250
eta
12
zenbakien konbinazio lineal gisa adierazteko,
2
azkeneko hondar ez-nulua
10
eta
12
zenbakien konbinazio lineal gisa adierazten hasiko gara:
12
|
10
|
|
12 = 1 · 10
+ 2,
|
|
2 = 12
1 · 10.
|
2
|
1
|
|
|
Orain, kontuan izanik
10
dela aurreko hondarra,
10
hori
250
eta
12
zenbakien konbinazio lineal gisa adieraz dezakegu:
250
|
12
|
|
250 = 20 ·
12 + 10,
|
|
10 = 250
20 · 12.
|
10
|
20
|
|
|
Orduan, hau lortuko dugu:
2 = 12 − 1 · 10
= 12 − 1 · (250 − 20 · 12) =
(−1) · 250 + 21 · 12.
Multiplo komun txikiena
Definizioa
Izan bitez , esango dugu zenbakia eta zenbakien multiplo komun bat dela baldin eta bada.
Adibidea
40
zenbakia
2
eta
10
zenbakien multiplo komun bat da; izan ere, eta betetzen dira.
Definizioa
Izan bitez , esango dugu
zenbakia eta zenbakien multiplo komun txikiena dela eta zenbakien multiplo komunen artean zenbaki oso txikiena bada; hau da,
-
zenbakia eta zenbakien multiplo komun bat da:
eta
-
eta zenbakien edozein multiplo komun m baino handiago edo berdina da:
,
Adibidea
40
zenbakia
2
eta
10
zenbakien multiplo komuna da, baina ez da
izan ere,
20
ere
2
eta
10
zenbakien multiplo komuna da eta
20 ≤ 40
. Frogatu dezakegu dela:
-
eta betetzen badira, da; beraz, da.
Teorema
emanik, bada, eta zenbakien edozein multiplo komun
zenbakiaren multiploa da:
Adibidea
denez,
12
eta
18
zenbakien edozein multiplo komun
36
zenbakiaren multiploa da. (Esaterako,
Beheko teoreman, zatitzaile komun handiena eta multiplo komun txikiena
erlazionatuko ditugu.
Teorema
emanik,
Oharra
. bi zenbakiak emanik, kalkula dezakegu Euklidesen algoritmoa erabiliz, eta, ondoren, aurreko teorema
erabili, kalkulatzeko.
Adibidea
da; hortaz, da.
Aritmetikaren oinarrizko teorema
Aurreko teorema batean ikusi dugu edozein zenbaki konposatuk gutxienez
zatitzaile lehen bat duela. Emaitza hura zabalduko dugu atal honetan, eta beste hau
frogatuko dugu: , izanik, lehena da edo zenbaki lehenen biderketa gisa idatz daiteke era bakarrean, faktoreen ordena
kontuan izan gabe.
Lema
emanik eta lehena izanik,
edo
Lema
emanik eta lehena izanik,
baterako.
Teorema
Aritmetikaren oinarrizko teorema
Edozein ,
, emanik, lehena da edo zenbaki lehenen biderketa gisa idatz daiteke era bakarrean, faktoreen ordena
kontuan izan gabe.
lehena bada, bera da faktore lehen bakarra.
Adibidea
Kalkula dezagun 6.552 zenbakiaren faktorizazioa zenbaki lehenekin:
-
-
-
2
1 . 638: 1.638 = 2 ·819
-
-
-
3
91; 5
91; 7
91: 91 = 7 · 13
-
lehena da; beraz, bukatu dugu.
6.552
|
2
|
3.276
|
2
|
1.638
|
2
|
819
|
3
|
273
|
3
|
91
|
7
|
13
|
|
.
n
moduluko
kongruentzia
Definizioa
Izan bedi , . emanik, -rekin
kongruentea
da
moduluz , eta idatziko dugu, bada, hau da, , non den.
Adibideak
da, betetzen delako.
da, betetzen delako.
Teorema
Izan bedi
moduluko kongruentzia baliokidetasun-erlazioa da multzoan.
Baliokidetasun-erlazio honetarako zatidura-multzoa bi eratan adierazi ohi
da, edo :
Frogatu daiteke zatidura-multzoaren klaseak “zati " zatiketaren hondar posibleen bidez defini daitezkeela, eta guztira direla. emanik eta bada, , eta izanik, dela ondoriozta dezakegu. Bestalde, “zati " zatiketaren hondarra denez, hondar desberdin bakarrik egon daitezke:
Adibidea
da, delako.
da, delako.
Egitura aljebraikoak
Orain, eta multzoetan defini daitezkeen egitura aljebraikoak aipatuko ditugu. Horretarako,
batuketa eta biderketa erabiliko ditugu.
-
multzoari dagozkion egiturak:
-
egitura aljebraikoa talde abeldarra edo trukakorra da.
-
ez da taldea; adibidez, .
-
egitura ere ez da taldea; adibidez, .
-
eraztun trukakor unitateduna da.
-
egitura osotasun-eremua da, ez baitu zeroren zatitzailerik.
-
ez da gorputza multzoan ez baitaude bere elementu ez-nulu guztien alderantzizkoak.
-
multzoari dagozkion egiturak:
-
egitura ordenako talde abeldar finitua da, .
-
Teorema
egitura taldea da, baldin eta soilik baldin
n
zenbaki lehena bada.
Adibidez, talde abeldarra da eta ez da taldea.
-
eraztun trukakor unitateduna da, .
-
Teorema
osotasun-eremua da baldin eta soilik baldin gorputza bada.
-
Teorema
gorputza da baldin eta soilik baldin lehena bada.
Adibidez, gorputzak dira.
Bestalde, ez dira gorputzak.