A három féléves
fôiskolai algebra és számelmélet tanulmányaink
során elôször az egész számok és
a test fölötti polinomok vizsgálatával foglalkoztunk.
Megismertük a maradékos, más néven EUKLIDESZ-i
osztást és ennek egy speciális sorozatát az
EUKLIDESZ-i algoritmust. (Itt jegyeztük meg, hogy maga az algoritmus
szó AL-KHWARIZMI
nevéhez fûzõdik annak kapcsán, hogy õ
írta le elsõként azt az eljárást- algoritmust
-amelyet ma is használunk az írásbeli osztás
végzésekor.)
Bevezettük az EUKLIDESZ-i gyûrû
fogalmát.
Az integritástartományban
(kommutatív, egységelemes, zérusosztómentes
gyûrûben) megismerkedtünk az oszthatóság,
a legnagyobb közös osztó, a legkisebb közös
többszörös, irreducibilis elem, prím elem fogalmával
és kapcsolatával.
Bevezettük az irreducibilis
faktorizációs fogalmát, s ezzel kapcsolatban bebizonyítottuk
az egyértelmû irreducibilis faktorizáció tételét.
Az olyan integritástartományt melyben érvényes
ez a tétel GAUSS-féle gyûrûnek
neveztük és megnéztük a kapcsolatát más
gyûrûkkel. Késôbb hallottunk a kommutatív
csoport, ABEL csoport fogalmáról is.
Említést tettünk
a számelmélet alaptételérôl és
a következményeirôl.
Prímszámokkal kapcsolatos
eredményeket és problémákat tanulmányozva
megismertük EUKLIDESZ és DIRICHLET
prímszámokkal kapcsolatos tételeit. Megemlítettük
a GOLDBACH-féle sejtést, melyet a
mai napig nem bizonyítottak és nem is cáfoltak. A
tétel bizonyításával kapcsolatban jelentôs
részeredményeket VINOGRADOV tett.
Kimondtuk a prímszámtételt, melyet elôször
1896-ban HADAMARD és DE
LA VALLÉE-POUSSIN egymástól függetlenül
bizonyított. 1949-ben
ERDÔS PÁL
és SELBERG elemi számelméleti
eszközök segítségével adtak megoldást.
A prímszámok körében
kimondtuk még a CSEBISEV-tételt,
melynek bizonyításához a LEGENDRE-féle
azonosságot használtuk fel. Megismertük a prímszámok
mechanikus kikeresésére alkalmas ún. ERATOSZTHENÉSZ-i
szita módszerét.
A DIOFANTOSZ-i
egyenletek kapcsán vizsgáltuk az ilyen egyenletek megoldhatóságát,
a megoldásaik számát és módját.
Így jutottunk el a PITAGORASZ-i számhármasokhoz,
ezen belül a HÉRON-féle háromszögekhez.
Nevezetes DIOFANTOSZ-i eredményekkel
és problémákkal kapcsolatban említettük
meg a máig sem megoldott FERMAT-féle
sejtést, más néven „nagy Fermat tételt”, amely
az utóbbi pár évben nyert végleges megoldást.
A tökéletes számmal kapcsolatban kimondtuk az EULER-tôl
származó tételt, melyben szerepel a MERSENNE-féle
prímszám.
A számelméleti függvények
meghatározása során ismertük meg a MÖBIUSZ-féle
és az EULER-féle függvényt. A számelméleti
függvények gyûrûjében a multiplikatív
és additív függvényekkel kapcsolatban tételeket
bizonyítottunk, s megemlítettük a MÖBIUSZ-féle
inverziós formulát.
Megismertük az egész
számok gyûrûjében kongruenciarelációt
és a maradékosztályokat, s ezzel kapcsolatban kimondtuk
a „kis Fermat-tételt”. Erre a tételre, amelyen kongruenciák
elmélete alapozik, elôször EULER adott bizonyítást.
A számfogalom bôvítése
során jutottunk el a komplex számok fogalmához. Megfogalmaztuk
a komplex számok konjugált és abszolút értékét,
geometriai jelentését. Az RxR DESCARTES-féle
szorzatot egy síkbeli derékszögû koordinátarendszerrel
ábrázoltuk és ebben vettük fel a komplex számokat.
A komplex számok hatványozásánál hallottunk
a MOIVRE-képletrôl.
A számrendszerek és
a g-adikus törtek áttekintése után a komplex
számok testét. (megadásukat és geometriai interpretációjukat)
tanulmányoztuk és kimondtuk a komplex számok algebrájának
alaptételét.
A komplex együtthatás
algebrai egyenletek és egyenletrendszerek fogalmának megismerése
után részletesen foglalkoztunk az elsôfokú egyenletrendszerek
vizsgálatával, majd a magasabb fokú egyenletekkel.
Megemlítettünk néhány olyan egyszerûbb
típusú magasabb fokú egyenletet is, melyet alacsonyabb
fokúra vissza tudtunk vezetni. Itt ismerkedtünk meg a RUFFINI-ABEL
tétellel és a ROLLE-tétellel.
Az algebrai egyenletek algebrai megoldhatóságának
kérdését teljes mélységben GALOIS
tárgyalta. Megismertük BÉZOUT-tételét,
mely a magasabb fokú egyenletrendszerre adott megoldási módot.
Kimondtuk a komplex együtthatós harmadfokú egyenlet
algebrai megoldhatóságát, melynek gyökeit a CARDANO-féle
formula szolgáltatja. Késôbb a negyedfokú egyenletek
gyökeinek megadásánál említettük
meg FERRARI és EULER módszerét.
Az egyenlet gyökei és
együtthatói közötti összefüggéssel
kapcsolatban ismertük meg a VIÉTE-formulát.
A lineáris egyenletrendszerek
megoldhatóságának kérdésére a
KRONECKER-tétel ad választ.
A polinomok átalakításával
kapcsolatosan megemlítettük a HORNER-féle
elrendezést.
Foglalkoztunk az irreducibilis polinomokkal
a komplex, a valós és a racionális számok teste
felett és említést tettünk a NEWTON-féle
valamint a LAGRANGE-féle interpolációról.
Az egész számok fölötti irreducibilis polinomok
tárgyalása során bizonyítottuk SCHÖNEMANN
és EISENSTEIN tételét.
Vizsgáltuk a polinomok közös
gyökeit (rezultánsait), s ezzel kapcsolatban bizonyítottunk
tételeket is. Itt ismerhettük meg a SYLVESTER-féle
determinánst. Hasonló felépítésben foglalkoztunk
a polinomok többszörös gyökeivel (diszkriminánsaival).
Megismerkedtünk a félcsoport,
csoport, gyûrû, test fogalmakkal, s nevezetes példákat
is mondtunk rájuk. A csoport vizsgálatánál
említettük a CAYLEY-féle mûvelettáblázatot.
A csoport és a gyûrû
kompatíbilis osztályozásánál mondtuk
ki a LAGRANGE-tételt.
Foglalkoztunk az EUKLIDESZ-i
gyûrû, a GAUSS-gyûrû, a BÉZOUT-gyûrû
és a fôideál-gyûrû kapcsolatával.
Külön említettük meg a DEDEKIND-gyûrût.
Megismerkedtünk a hálóval,
a hálószerûen rendezett halmazokkal és a HASSE-diagrammal.
Hallottunk a nyolcelemû háló speciális diagramjáról,
a BOOLE-féle hálóról.
Ismereteinket tovább bôvítettük
a részcsoport, részgyûrû, résztest és
az algebra részalgebrájának fogalmaival.
Végül a számfogalom
felépítésével kapcsolatban egyszerû testbôvítéssel
foglalkoztunk, s megemlítettük FROBENIUS-tételét.
|
|
|
|
|
Al-Khwarizmi, Muhammad ibn Musza | Bézout Etienne
Cardano, Gerolamo Descartes, René Euler, Leonhard Fermat, Pierre de Ferrari, Ludovico Goldbach, Cristian Mersenne, Marin Moivre, Abraham de Newton, Sir Isaac Rolle, Michel Viéte, Francois |
Abel, Niels Henrik
Boole, George Csebisev, Pafnutyij Lvovics Cayley, Arthur Dirichlet, Peter Gustav Lejeune Dedekind, Richard Erdõs Pál Eisenstein, Ferdinand Gotthold Max Frobenius, Georg Ferdinand Galois, Evariste Gauss, Carl Friedrich Hadamard, Jacques-Salomon Horner, Willian Georg Hasse, Helmut Kronecker, Leopold Lagrange, Joseph Louis Legendre, Adrien-Marie Möbius, August Ferdinand Ruffini, Paolo Selberg, Atle Schönemann Sylvester, James Joseph Vinogradov, Ivan Matrejevics Vallée-Poussin, Charles Jean de la |