A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. II. rész E cikknek az első részében megismerkedtünk a -adikus egész számokkal. Láttuk, hogy ezek tartalmazzák az összes egész számot; sőt még azokat a törteket is, amelyeket redukált alakban írva a nevezőjükben maga a prímszám nem lép fel tényezőként. A befejező feladatban az az állítás szerepelt, hogy a most említett törtek éppen a szakaszos -adikus egész számok lesznek. 1. Ha megkísérelnők ennek a bizonyítását, akkor azt láthatnánk, hogy -nél kisebb nevezőjű törtek esetében a szakaszosság viszonylag könnyen kimutatható (ezt később látni is fogjuk); míg -nél nagyobb nevező esetén a ,,többjegyű osztó'' túlságosan nagy bonyodalmakhoz vezetne. Márpedig a bizonyításból ezeket a törteket sem hagyhatjuk ki, hiszen ezek is szakaszos -adikus egész számok lesznek. Ezen a nehézségen úgy segítünk, hogy másképpen fogjuk felírni a -adikus egész számokat. A -adikus egész számban fellépő tagokat -asával összefoglaljuk, ahol olyan nagy, hogy már nagyobb legyen a vizsgált tört nevezőjénél. Ezzel a módszerrel az említett nehézséget el tudjuk kerülni. Először a kitevőt tetszőlegesen választjuk, mert az átírásnál ennek nagyságára semmiféle megszorítást nem kell tenni azonkívül, hogy természetes szám legyen. Válasszunk tehát egy tetszőleges természetes számot és jelöljük -val a -t. Ekkor az | | -adikus egész számot a következőképpen írhatjuk fel: | | amely felírásban:
Az ,,számjegyek'' itt is az alapnál ‐ azaz -nál ‐ kisebb nemnegatív egész számok. A kapott -adikus egész számot az eredeti -adikus egész -adikus alakjának fogjuk nevezni. Abból, hogy a műveletek során ,,későbbi számjegyek'' nem szerepelnek ,,korábbi számjegyek'' előállításában, belátható, hogy a műveletek eredménye nem függ attól, hogy ezeket a műveleteket a számok -adikus alakjában vagy -adikus alakjában végezzük el. Határozzuk meg most az adott és (közönséges) egész számokhoz azt az -adikus egész számot, amelyre teljesül. Természetesen , és azt is feltehetjük, hogy -nak és -nek nincs közös osztója. Így, kiindulásunk szerint nem osztója -nak. Célszerű a természetes számot olyan nagynak választani, hogy nagyobb legyen az -nál is és a -nél is. Azt már tudjuk, hogy létezik olyan -adikus egész szám, amelyre , és ennek a -adikus számnak létezik -adikus alakja: | | ahol az együtthatók a már ismertetett módon meghatározhatók. Ki fogjuk mutatni, hogy ezek az együtthatók valahonnan kezdve szakaszosan ismétlődnek. Ez már bizonyítja azt is, hogy a számjegyek ismétlődése az eredeti (-adikus) felírásban is fennáll; csak éppen a szakaszok hossza lesz -szor akkora, mint a -adikus felírásban, és az ismétlődés is ,,-szor később kezdődik'', mint emitt. Az összefüggést felhasználva az osztási eljárás alapján az -adikus alakjának az együtthatóira a következő összefüggéseket nyerjük: | |
Először is kimutatjuk, hogy esetünkben a fellépő hányadosok mindegyike -nál kisebb nemnegatív egész szám. Ezen állításunkat az indexre vonatkozó teljes indukcióval bizonyítjuk. A teljes indukciós bizonyítás első lépéseként re kell bizonyítani az állítást. Mivel és egyike sem negatív, és kisebb -nál, ezért nagyobb, mint. Másrészt és , mindegyike kisebb -nál, és nemnegatív, amiből az egyenlőtlenséghez jutunk. Ezeket összevetve az adódik, hogy , amiből -val való osztás útján azt kapjuk, hogy . Mivel egész, ezért ebből valóban következik az állítás. Az induktív lépés bizonyítására, azaz a vizsgált tulajdonság öröklődésének a kimutatására tegyük fel, hogy a összefüggés teljesül. Felhasználva a és a egyenlőtlenségeket, az alábbi egyenlőtlenségsorozatot nyerjük: | | Így a , amiből -val való osztás útján valóban a kívánt egyenlőtlenség adódik. Beláttuk tehát, hogy az végtelen számsorozatban csak a értékek fordulhatnak elő. Mivel ez véges sok lehetőség, azért ebben a sorozatban biztosan van két különböző indexű elem, amelyek megegyeznek. Azt természetesen nem tudhatjuk, hogy milyen ,,messze'' vannak egymástól ezek, vagy hogy mikortól kezdve lép fel ismétlődés; de annyi biztos, hogy vannak megegyező elemek. Legyen két ilyen például az , és az , ahol valamilyen természetes szám. Kimutatjuk, hogy ekkor mind az -ek, mind az -ek sorozata az -ik indextől kezdve szakaszosan ismétlődik, és a szakasz hosszat . (Ez esetleg több rövidebből állhat.) Mivel , ezért alakban írható, ahol nemnegatív egész szám. Azt állítjuk tehát, hogy minden nemnegatív egész -re és . Az -re vonatkozó teljes indukcióval fogjuk bizonyítani, hogy . Bizonyítás közben azonban az -ekre vonatkozó állítás is adódik. Az esetben az , állításhoz jutunk, amely az és megválasztása folytán fennáll. Az induktív lépés bizonyításához tegyük fel, hogy valamely -re . Az felírásból kapott összefüggés szerint: | | A két egyenlőséget kivonva és az indukciós feltételt felhasználva az | | egyenlőséghez jutunk. Itt a jobb oldalon szerepel a tényező; s ezért osztója a bal oldalnak is. Mivel csak olyan -kat tekintettünk, amelyek nem oszthatók -vel, ezért -nak a -nal sincs közös osztója. Így osztója lesz a bal oldali másik tényezőnek, az különbségnek. Figyelembe véve, hogy ennek a különbségnek a tagjai kisebbek a -nál és nem negatívak, ezért a különbségük, -nál nagyobb és -nál kisebb lesz. Ebben a számközben viszont csak egyetlen -val osztható szám van, nevezetesen . Ezzel kimutattuk, hogy . Ezt felhasználva az előbb felírt egyenlőség jobb oldalára is adódik. Mivel a jobb oldalon fellépő tényező -tól különbözik, ezért a másik tényező lesz egyenlő -val, vagyis . Ezzel az állítást bebizonyítottuk. Beláttuk tehát azt, hogy fennáll minden nemnegatív egész számra. Másrészt a teljes indukciós lépés során azt is bizonyítottuk, hogy az összefüggésből következik az egyenlőség is. Végeredményben tehát ez az egyenlőség is teljesül minden nemnegatív egész számra. Ezzel bizonyítást nyert az is, hogy szakaszos -adikus szám. 2. Most azt fogjuk bizonyítani, hogy ha egy -adikus egész szám szakaszos, akkor racionális szám lesz. Ehhez azt kell kimutatni, hogy egy alkalmas (közönséges) egész számmal megszorozva ismét egy (közönséges) egész számot nyerünk. Legyen az -adikus egész számban a szakasz előtti rész és a szakasz. Ekkor a -adikus egész számot felírhatjuk az alakban. Most már tulajdonképpen csak az -adikus egész számot kell a kívánt alakban felírni. Azonnal látható, hogy | | Ha ezt a -adikus egész számot -gyel szorozzuk, akkor ahhoz a -adikus egész számhoz jutunk, amelynek mindegyik jegye . Ha mármost ehhez -et adunk, akkor ‐ ugyanúgy, mint a -adikus számok esetében ‐ éppen -t kapunk. Tehát a jelöléssel eredményünket a következőképpen fogalmazhatjuk: illetve ahol mind mind az egész számok. (Sőt még az is látható, hogy a prímtényezős felbontásában nem szerepelhet a .) Ezzel nemcsak bizonyítottuk az állítást, hanem olyan eljárást adtunk, amelynek a segítségével a törtalakot fel is írhatjuk. Példaképpen nézzük meg a cikk I. része feladatából a speciális esetet. (Igaz, hogy ezek -adikus egész számok, de a fenti eredmények alkalmazhatók, mert -nek és -nak nem osztója sem a , sem az .) A tört esetében a szakasz előtti szám és a szakasz . A fenti jelölést használva, és , amiből . Így , azaz . A másik számnál ; itt , , , és . Ebből , azaz . Mármost ebből egyrészt , másrészt (amint a cikk első részében más úton láttuk). A feladat végén felvetett kérdésekre is válaszolhatunk.
Ha az felírást tekintjük, ahol , akkor ‐ a tárgyalt módon meghatározva az és számokat ‐ a következőket kapjuk:
Mivel , ezért , ahol az alsó kapoccsal megjelölt rész a szakasz. A másik feladatban legyen , ahol egy -adikus egész szám. Mivel 13 nagyobb 5-nél, de kisebb 25-nél, ezért -t a alakban célszerű felírni. Most:
Megint ismétlődés lépett fel, és így , illetve -t 5-adikus alakba visszaírva , ahol a megjelölt rész a szakasz. (Látható, hogy a szakasz már egy jeggyel előbb kezdődik; de ez a -adikus felírásnál természetesen nem derülhetett ki.) 3. Térjünk most vissza a -adikus egész számok közötti osztásra. Láttuk azt, hogy ezek körében a természetes számmal (és ennek többszöröseivel) nem lehet osztani. Ha ezen segíteni szeretnénk, akkor ki kellene bővítenünk a -adikus egész számok körét. Tekintetbe kellene venni minden -adikus egész számmal együtt annak ,,-edrészét'', ,,-edrészét'' és így tovább. Formálisan így | | alakú ,,számok''-hoz jutunk. Ki lehet mutatni, hogy ezeknek a körében valóban elvégezhető mind a négy alapművelet (persze -val itt sem lehet osztani); és a műveletek elvégzése úgy történik, ahogy azt ,,várjuk is''. Ezeket a számokat -adikus törtszámoknak, vagy röviden -adikus számoknak nevezik. 4. A -adikus számokról beszélve, illő tudni, hogy bevezetésük Kürschák Józsefnek, a nagy magyar matematikusnak a nevéhez fűződik. A -adikus számok fontos szerepet játszanak a ,,felsőbb'' matematikában. Ezek a számok bizonyos értelemben hasonlóképpen származtathatók, mint a valós számok. (Ennek a tárgyalása azonban még az egyetemi általános matematikai képzésben sem szerepel; csupán speciális előadások keretei között szokták tárgyalni.) Más vonatkozásban is kapcsolatban állnak ezek a számok a valós számokkal. Nevezetesen mind a valós számok, mind a -adikus számok tartalmazzák a racionális számokat. Ezt figyelembe véve, természetesen merül fel az a kérdés, hogy vajon a -adikus számok ninesenek-e ott a valós számok között; vagy esetleg fordítva, nem lehetséges-e az, hogy a -adikus számok tartalmazzák az összes valós számot. Ki fogjuk mutatni, hogy sem ez nem áll fenn, sem az; mégpedig tetszőleges prímszám esetében sem. Először azt mutatjuk ki, hogy a -adikus számok nem lehetnek ott a valós számok között; vagyis minden -hez található olyan -adikus szám, amely nem lehet valós. Tudjuk, hogy egy valós számnak a négyzete nem lehet negatív. Éppen ezért elég annak a bizonyítása, hogy minden prímszámhoz található olyan -adikus szám, amelyik negatív és egy -adikus számnak a négyzete. A fenti állítás bizonyítása páratlan prímszámokra egységesen történhet. Azt fogjuk kimutatni, hogy az szám egy alkalmas -adikus egész számnak a négyzete. (Természetesen minden egyes prímre más és más, de mindig az -re lesz szükségünk.) Erről a számról tudjuk, hogy negatív egész szám, hiszen nagyobb -nél. Az számot -adikus egész számként olyan alakban írhatjuk fel, ahol az első számjegy , a többi pedig . (Annak megfelelően, hogy -et ,,számlálunk vissza'' a számológépen.) Általánosabban, azt fogjuk bizonyítani, hogy tetszőleges | | alakú -adikus egész szám egy alkalmas | | alakú -adikus egész számnak a négyzete. Tulajdonképpen csak azt kell bizonyítani, hogy az számjegyeit egymás után meghatározhatjuk úgy, hogy az egyenlőség fennálljon. Ehhez‐ szokásos jelöléseinkkel ‐ az alábbi egyenleteket kell rendre megoldani:
Látjuk, hogy minden egyes egyenlet alakú, ahol már ismert szám, és olyan -t kell keresnünk, amely nemnegatív és kisebb -nél. Azt pedig már a cikk I. részében láttuk, hogy ez megoldható, mert . Nézzük most a esetet. (A -adikus számokat diadikus számoknak nevezik.) Most azt fogjuk bebizonyítani, hogy egy alkalmas diadikus egész szám négyzete; amelyre tehát teljesül. Az együtthatói helyett kényelmesebb a ,,részletösszegeket'' meghatározni, vagyis az | | szám esetében sem az számokat, hanem a , számokat. Ezekre a számokra nyilván igaz, hogy , vagy , vagy , aszerint, hogy , vagy . Ha az , számokat így adjuk meg, akkor az számokkal elkészíthetjük a fenti diadikus egészet. (Hiszen az számok mindegyike vagy lesz.) Az is világos, hogy ha mindig osztható -gyel, akkor mindegyik jegye lesz; aminek a bizonyítását éppen célul tűztük ki. Mivel kéttagúak négyzeténél a tagok kétszeres szorzata is fellép, ezért a diadikus egészek körében a négyzetre emelésnél bizonyos nehézség lép fel (amit tapasztalhatunk, ha a fenti bizonyítást minden módosítás nélkül megpróbáljuk végrehajtani). A nehézséget úgy tudjuk elkerülni, hogy azt bizonyítjuk be, hogy osztható -vel. Ha , akkor legyen . esetében legyen , azaz ; most is , ami tényleg osztható -vel. Tegyük most fel, hogy valamilyen pozitív egész számra már fennáll az összefüggés. Ha páros, akkor legyen , azaz . Az jelöléssel , és így az állítás esetén is teljesül. Ha páratlan, akkor legyen . Ekkor , és így | | Azt szeretnénk belátni, hogy a jobb oldali összeg osztható -mal. Az első tagra ez azért igaz, mert mind , mind páratlan. A második tag esetében pedig azt kell bizonyítani, hogy , azaz hogy , ami feltétel szerint igaz. Ezzel a teljes indukciós bizonyítást befejeztük, a kérdéses tulajdonsága tehát a diadikus számoknak is megvan. 5. Most bizonyítjuk a fordított állítást, azaz azt, hogy minden prímszámhoz található olyan valós szám, amely nincs a -adikus számok között. Ezt is a ,,négyzetgyökvonás'' segítségével mutatjuk ki. Tudjuk, hogy minden (pozitív) prímszámhoz található olyan valós szám, amelynek a négyzete . Bebizonyítjuk, hogy ilyen szám a -adikus számok között viszont nincs. Értelmezzük az első részben definiált függvényt a -adikus racionálisokra is, a következőképpen: ha | | ahol , akkor legyen . Itt is azonnal belátható, hogy Ennek alapján tetszőleges -adikus szám mellett ; azaz a prímnek egy páros kitevőjű hatványa. Mivel, másrészről nem páros kitevőjű hatványa -nek, ezért nem lehet egy -adikus szám négyzete. 6. Beláttuk tehát, hogy a -adikus számok másféle számok, mint a valós számok. Azt is ki lehet mutatni, hogy ezek a ,,számfajták'' különböző prímszámokat véve kiindulásul, ugyancsak különbözőek lesznek. Precízebben szólva: ha és különböző prímszámok, akkor mindig létezik olyan -adikus szám, amely nem lehet ott a -adikus számok között. Olyan számkört építettünk fel, amely a szemléletes számfogalomtól egészen távol esik. A felépítésnél ‐ a számok ,,elkészítésénél'' ‐ az analógiák vezettek minket. Sok minden furcsa dolgot tapasztaltunk e számkörben. A furcsaságokon túl e számoknak más hasznuk is van, például az absztrakt algebrának több ágában is felhasználják őket. Azok kedvéért, akik ismerik a komplex számokat, megemlítjük, hogy a komplex számok közé már ,,elhelyezhetők'' a -adikus számok. Azt azonban, hogy ‐ akár rögzített esetében is ‐ egy-egy -adikus számnak melyik komplex szám ,,felel meg'', nem lehet tudni, mert a -adikus számokat többféleképpen is megtalálhatjuk a komplex számok között. Ennek ellenére nem lehet a -adikus számokat úgy előállítani, hogy bizonyos komplex számokat tekintünk, mert a többféle lehetőség közül egyet sem tudunk konkrétan megadni. Feladatok 1. Páratlan prímszám esetén írjuk fel a -et és a -et, mint -adikus egészeket. 2. Határozzuk meg, hogy mely számokat lehet -adikus számként tiszta szakaszos alakban felírni. 3. Bizonyítsuk be, hogy van olyan -adikus szám, amelynek a négyzete . 4. Bizonyítsuk be, hogy van olyan prímszám, amelyhez található olyan -adikus egész, amelynek a negyedik hatványa . Határozzuk meg a legkisebb ilyen prímet. 5. Legyen tetszőleges egész együtthatós polinom és egy tetszőleges egész. Tegyük fel továbbá, hogy van olyan prímszám, amely osztója az -nak, de nem osztója az -nak az szokás szerint az polinom deriváltját jelöli). Bizonyítsuk be, hogy ekkor az polinomnak van gyöke a -adikus egészek körében. 6. Igaz-e a fenti állítás megfordítása: Ha az egész együtthatós polinomnak van gyöke a -adikus egész számok körében, akkor van olyan egész szám, amelyre osztható -vel, de nem osztható -vel. 7. Bizonyítsuk be, hogy tetszőleges páratlan prímszámra igaz az alábbi állítás: Ha van olyan egész szám, amelynek a négyzete -vel osztva -t ad maradékul, akkor létezik olyan -adikus szám, amelynek négyzete | |
8. Legyen páratlan prímszám és tetszőleges prímszám. Bizonyítsuk be, hogy esetén négyzete egy -adikus számnak, de nem lehet négyzete egyetlen -adikus számnak sem. 9. Ha olyan diadikus szám, amelyre , akkor létezik olyan diadikus szám, amelyre . 10. Bizonyítsuk be, hogy tetszőleges páratlan prímszámra nem lehet köbe egyetlen -adikus számnak sem, de köbe lesz egy alkalmas diadikus számnak. 11. Legyen és két különböző prímszám. Bizonyítsuk be, hogy van olyan -adikus szám, amely nem lehet a -adikus számok között. A feladatokra beküldött megoldásokat elfogadunk. |