KOVCS BLA,

MATEmATIkA I.

V. ELEmI ALGEbRA
1. BINRIS mveletek
Definci Az

binris mvelet egy olyan fggvny, amely

halmazon definilt
akkor az

elempr kpt jelljk

-vel, a

-bl kpez

-be. Ha

mvelet hatsra.

A kvetkez lltsban (lemma, segdttel) rszletesen kifejtjk, hogy pontosan mit jelent a definci.

binris mvelet egy olyan megfeleltets, amely az

Lemma Az

halmazon definilt

halmaz kt

elemhez az

halmaz egy harmadik elemt rendeli hozz. Ennek a hozzrendelsnek ki kell elgtenie a

kvetkez sszefggseket:
(a)

(Az

(b) Minden

halmaz zrt a

mveletre nzve).

-beli elemre

(Behelyettestsi szably.)

(c) Minden

-beli elemre

(d) Minden

-beli elemre

Bizonyts
fggvny az

Emlkeztetnk arra, hogy az

halmaz minden

elemhez a

halmaz egy

-el

jellt elemt rendeli. Emellett ez a hozzrendels teljesti a kvetkez felttelt

(1.1)
Descartes szorzat

Ezenkvl, az
A rendezett prok

az sszes

rendezett prbl ll, ahol

defincija a kvetkez:

(1.2)

Most pedig ttelezzk fel, hogy a

jells helyett rjunk
prnak egy

egy fggvny, amely

-t. Ha

akkor

-bl az
gy a

halmazba kpez, s a
fggvny megfeleltet minden

elemet. Ez bizonytja (a)-t. Jelen esetben az (1.1) a kvetkez alak lesz:

(1.3)

(1.2)-bl s (1.3)-bl pedig

s

(1.4)

Ezzel belttuk (b) t.

A (c) bizonytshoz fel kell tteleznnk, hogy
minden

esetn

gy

Az egyenlsg reflexivitsa miatt azt kapjuk, hogy

alapjn (b) lltst felhasznlva

az

eredmny, amit bizonytani akartunk. A (d) llts bizonytsa hasonlan trtnik.

Definci Az (a) rszben az

nha elfordulhat, de

sorrendje fontos. Nem tteleztk fel,

a binris mvelet defincijnak nem rsze.

A binris mveleteket rendszerint a kvetkez jelekkel szoktk jellni:

megegyezik az

-val. Br ez

Gyakran az

jellst hasznljuk egy ltalnos fggvny jellsre, s ugyanakkor a

egy adott binris mvelet az

binris mvelet jellsre. Emellett, ha

jellst alkalmazzuk

jellst pedig egy ltalnos

halmazon, akkor inkbb az

helyett. Ezt nfix jellsnek nevezzk.

A gyakorlatban ezt mg tovbb rvidtjk; a felsfok algebrban

-t hasznlunk

vagy

helyett, st

ltalnos binris mvelet helyett is.

t runk az

binris mveletre ktfle jellst hasznlnak szles krben:

Az additv jellsmdban

-ot

-al jelljk, ekkor

A multiplikatv jellsmd esetn

-ot

-al vagy

sszeads.
-al jelljk, ekkor

szorzst jelent.

Pldk binris mveletekre

Az albbiakban pldkat sorolunk fel binris mveletekre. Nhny nagyon ismers lesz ezek kztt. Nhny teljesen
j.
a pozitv egsz szmok halmaza
az egszek gyrje
a racionlis szmok teste
a vals szmok teste
a komplex szmok teste

Tovbbi pldk:
1. A kznsges sszeads az

2. A kznsges szorzs az

3. A kznsges kivons az

,
,

eltvoltani a

s a

halmazokon. Megjegyezzk, hogy az oszts nem binris

-n, mert pldul:

. Megjegyezzk mg azt is, hogy a

-t muszj

-bl, mivel 0-val val oszts nincs definilva.

-bl s az

5. Minden

halmazokon.

4. A kznsges oszts a
-en s

halmazokon.

halmazokon. Megjegyezzk, hogy a kivons nem binris mvelet az

halmazon, mivel pldul:

mvelet

esetn definilunk egy halmazt:

Minden

esetn legyen

az

az

kznsges szorzatnak

kznsges sszegnek

-el val osztsi maradka,

-el val osztsi maradka.

A pldban definilt binris mveleteket rendszerint sszeads modulo n-nek s szorzs modulo n-nek
nevezzk. A

-ben szerepl n neve modulus. A modulus tbbszrse a moduli. Megjegyezzk, hogy ebben

a pldban valjban vgtelen sok osztly szerepel :

6. Legyen

az

halmazok kzl valamelyik. Legyen

stb.
az sszes mtrixok halmaza:

 tetszleges elemei

ahol

-nak. Mtrixok kztti sszeadst s szorzst a kvetkez szablyok

szerint definiljuk:

minden
7. Az

elemek esetn.

binris mveletek, amelyek az

rtelmezve. Emlkeztetnk, arra hogy

halmazok, akkor

2. FLCSOPORTOk,

unijt

halmaz sszes rszhalmazainak

-et az

halmazn vannak

halmaz hatvnyhalmaznak nevezzk, s ha

jelli, valamint

metszett pedig

CSOPORTOk

Flcsoportok
Definci A flcsoport egy olyan rendezett pr
amely teljesti a kvetkez tulajdonsgot:
minden

ahol

egy halmaz s a

egy olyan binris mvelet

-n,

esetn.

Csoportok
Egy csoport egy olyan rendezett pr

ahol

egy halmaz s a

egy olyan binris mvelet

-n, amely

teljesti a kvetkez tulajdonsgokat:

minden
(a)
(b) Ltezik egy olyan
(c) Minden

elem, amelyre

esetn ltezik egy olyan

minden

elem amelyre

esetn.
s

Ebben az esetben, ellenriznnk kell, hogy a binris mvelet asszociatv-e (a), ltezik-e egysgelem a halmazban (b),
s ltezik-e minden elemnek inverze (c).
Pldk
1.
2.
3.

egy csoport amelynek az egysgeleme a 0. Az

egy csoport amelynek az egysgeleme a 0. Az
egy csoport amelynek az egysgeleme a 0. Az

elem inverze
elem inverze
elem inverze

4.

egy csoport amelynek az egysgeleme a 1. Az

inverze

5.

egy csoport amelynek az egysgeleme a 1. Az

inverze

6.

s a

, ahol

az

halmazok kzl akrmelyik, amelynek az egysgeleme a zrusmtrix

mtrix inverzmtrixa:

Megjegyezzk, hogy a fenti pldk esetn a binris mvelet mind kommutatv. Trtnelmi okokbl ezeknek a csoportoknak kln
specilis neve van.

csoport Abel csoport [1 ], ha

Definci Egy

minden

esetn. Egy csoport nem Abel

csoport ha nem kommutatv.

llts Ha

egy csoport, akkor:

csoport egysgeleme egyrtelm. Ms szval, legyenek

amelyekre minden

olyan elemei a csoportnak,

esetn

igaz.
Ekkor
Bizonyts Mivel

Msrszt,

egysgelem, ezrt

is egysgelem, gy

Ekkor

llts Ha
A

egy csoport, akkor:

csoport minden elemnek az inverze egyrtelm. Ms szval legyen

(ami egyrtelm) s

csoport egysgeleme

-nek tetszleges elemei. Ttelezzk fel, hogy

Ekkor
Bizonyts Tudjuk, hogy
sszefggst kapjuk.
Az asszociativitst felhasznlva, a
egyenletet kapjuk, ahonnan
s gy
Ez az amit bizonytani akartunk.

Szorozzuk meg

-val balrl az utbbi egyenletet akkor a

llts Legyen
hogy

egy csoport,

egysgeleme

teljesti vagy a

-nek s

vagy a

tetszleges eleme

egyenletet. Ekkor

-nek. Ttelezzk fel,

egy (egyrtelm) inverze

nek.
Bizonyts Ahhoz, hogy belssuk, hogy
hogy

inverze

-nek, be kell bizonytanunk, hogy

s azt is,

Ekkor a clunk az, hogy belssuk, hogy ebbl

Ttelezzk fel, mondjuk, azt hogy

kvetkezik a
Mivel

Az asszociatv trvny kvetkeztben:

Most, pedig a csoport defincija kvetkeztben igaz az, hogy

-nek van inverze. Legyen

(Termszetesen, a vgn, arra a kvetkeztetsre jutunk, hogy

Szorozzuk meg jobbrl az utbbi egyenletet

-val, e asszociativits miatt

Hasonl mdon belthat, hogy ha

akkor

Megjegyezzk, hogy abbl a clbl, hogy bebizonytsuk, hogy

felhasznltuk azt a tnyt, hogy

ez az inverz.

de most ezt mg nem ttelezhetjk.)

egyenletbl kvetkezik

-nek van inverze, mivel ez egy eleme egy csoportnak. ltalnos esetben,

(azaz amikor a vizsglt rendszer nem egy csoport), elfordulhat, hogy

teljesl, de

gy, beszlhetnk egy csoportban a csoport egysgelemrl, s a csoport egy elemnek inverzrl. Mivel

nem.

elem

inverze egyrtelm, gy a kvetkez defincinak van rtelme.

Definci Legyen
elemnek inverzt

egy csoport. Legyen a

csoport egy tetszleges eleme

Definiljuk a csoport

-el.

A fenti defincit akkor hasznljuk, ha a csoport mvelet szorzs. Ha ehelyett a mveletet + jelli, akkor a kvetkez
jellst alkalmazzuk.
Definci Legyen
elemnek inverzt
Ha

egy csoport. Legyen a

csoport egy tetszleges eleme

Definiljuk a csoport

-val.

-t runk, akkor multiplikatv csoportrl beszlnk.

Ha pedig

-t runk, akkor additv csoportrl beszlnk.

ADDITV CSOPORT

MULTIPLIKATV CSOPORT

1)

Ha

Ha

2)

0 ltezik gy, hogy

akkor

minden

-ra.

akkor

1 ltezik gy, hogy

minden

-ra.

3)

Minden

-ra

ltezik gy, hogy

Minden

-ra

ltezik gy, hogy

4)

Ha 1), 2), s 3) teljeslnek, akkor

csoport.

Ha mg ezenfell a 4) is teljesl, akkor azt mondjuk, hogy a csoport Abel-csoport vagy kommutatv csoport.
Definci Legyen

csoport. A

-nek egy

-nek, ha kvetkez felttelek

rszhalmaza rszcsoportja

teljeslnek:
-nak eleme.

Az egysgelem a
Ha

akkor

Ha
A

akkor
-ra vonatkoz felttelek garantljk, hogy

is egy csoport, ugyanazzal a mvelettel ami

-ben van (de

megszortjuk). A mvelet zrtsgt (3) garantlja, az asszociativits abbl kvetkezik, hogy

-ra

-ben teljesl az

asszociativits s az egysgelem valamint az inverz ltezse (1) s (2) kvetkezmnye.

A

csoport izomorfizmusa egy

csoporttal egy olyan

felttelt minden

fggvny ami bijekci, s teljesti a

-re. Ebbl azonnal kvetkeznek az albbi tulajdonsgok:

(vegyk
(vegyk
kielgti

(vve

a jobb oldalon)

A harmadik tulajdonsg azt mutatja, hogy egy izomorfizmus inverze is izomorfizmus, gy a izomorf relci
szimmetrikus. Mivel az identikus fggvny izomorfizmus, ezrt a relci reflexiv is. Mivel az izomorf fggvnyek
kompozcijra a tranzitivits is teljesl, gy ez a relci ekvivalencia relci. Egy ltalnos jells
s
kztti
izomorfira:

s a szimmetria kvetkeztben azt mondhatjuk, hogy

izomorfak.

3. TESTEk, gyrk
Az algebra nagyrszt olyan rendszereket vizsgl amelyeknek elemei kztt, hasonlan a szmokhoz, sszeads vagy
szorzs vagy mindkett rtelmezhet.
Adott egy rendszer amelynek elemeit

jelli. Hasznljuk az

jellst erre. Ebben ktfle

mveletet rtelmeznk az sszeadst s a szorzst. Ezek jellse, rviden gy trtnhet, hogy kerek zrjelbe berjuk
az alaphalmazt, majd vesszvel elvlasztva a kt mveletet:
Kt nagyon fontos ktmveletes algebrai struktrt fogunk vizsglni a testeket s a gyrket.

Testek s gyrk tulajdonsgai

Ezeknek a rendszereknek a tulajdonsgai attl fggnek, hogy a kvetkez alaptrvnyek kzl melyiket teljestik:
SSZEADS

SZORZS

Az sszeads jl definilt.

A szorzs jl definilt.

Ez azt jelenti, hogy az

hasonlan pontosan egy
mveletekre nzve.

rendszer brmely

rendezett prjhoz pontosan egy

elem. Ezt mskppen gy is mondhatjuk, hogy az

elem ltezik s
halmaz zrt az adott

Asszociatv trvnyek:
A1.

M1.

Kommutatv trvnyek:
A2.

M2.

Nulla elem s egysgelem:

A3. Ltezik egy 0 elem amelyre

M3. Ltezik egy 1 elem amelyre

minden a esetn.

a esetn.

minden

Negatv elem s inverz elem:

A4. Minden a esetn ltezik olyan b elem amelyre
.

M4. Minden
amelyre

esetn ltezik olyan c inverz elem

.

Disztributv trvnyek:
D1.

D2.

Definci Azt a rendszert ami mindezeket a trvnyeket teljesti testnek nevezzk. Azt a rendszert pedig ami
kielgti az A1, A2, A3, A4, M1, D1, D2 trvnyeket gyrnek nevezzk.
Ha egy gyrben mg M2 is teljesl akkor kommutatv gyrrl beszlnk. Ha pedig M3 teljesl akkor
egysgelemes gyrt kapunk.
Ltszik, hogy a gyrkben lnyegben az M4 tulajdonsg nem teljesl, vagyis nem minden elemnek ltezik
multiplikatv inverze, azaz nem lehet mindig osztani gy mint ahogy azt a testekben megszoktuk. Ezeket a krdseket
ksbb
mg megvizsgljuk rszletesen.
egsz szmok gyrje. Ebben tudunk sszeadni, kivonni s szorozni, de nem mindig
Nagyon j plda gyrkre a
lehet osztani. Pldul 3-nak s 2-nek hnyadosa mr nincs benne az egszek halmazban, s egyiknek sincs
multiplikatv inverze
-ben. Egy msik fontos pldt ltunk ksbb gyrre, ami a polinomok gyrje
lesz.

Testek
1) Vegyk szre, hogy az

halmazban az sszeads mveletre nzve A1, A2, A3 s A4 teljeslse pontosan azt

az sszeads mveletre nzve kommutatv csoport. Teht, korbbi jellsmdnak megfelelen,

jelenti, hogy

kommutatv csoport. A csoportelmleti tanulmnyaink sorn lttuk, hogy egy csoportban pontosan egy nulla
elem

van

minden

2) Hasonlan az
hogy

elemnek pontosan egy additv inverze van, ez utbbit

jelli. Teht:

halmazban a szorzs mveletre nzve M1, M2, M3 s M4 teljeslse pontosan azt jelenti,

a szorzs mveletre nzve kommutatv csoport. Teht, korbbi jellsmdnak megfelelen,

kommutatv csoport. A csoportelmleti tanulmnyaink sorn lttuk, hogy egy csoportban pontosan egy

egysgelem van s minden

elemnek pontosan egy multiplikatv inverze van, ez utbbit

jelli. Teht:

Ha ezekhez mg hozzvesszk a disztributv trvnyt is akkor teht kommutatv testet (vagy rviden csak testet)
kapunk. Ha a szorzsra nzve nem teljesl a kommutativits, (vagyis az M2 tulajdonsg), akkor nem kommutatv
testrl beszlnk, amit gyakran ferdetestnek is szoktak nevezni. Ez utbbira a legjobb plda a kvaternik, ezeket
ksbb ismertetjk
.
Jl ismert, hogy a vals szmok halmaza az sszeadsra s a szorzsra nzve testet alkot. De nemcsak a vals
szmok rendszere alkot egyedl testet. A racionlis szmok (olyan vals szmok amelyek felrhatk

alakban ahol

) szintn testet alkotnak az sszeads s a szorzs mveletre nzve.

egszek s

Ksbb foglakozunk a komplex szmokkal

tartalmaznak. Ezek a vges testek.

, amely szintn test. Vannak olyan testek is amely vges szm elemet

MINTAFELADAT

Feladat Keressnk meg egy ktelem testet.

Megolds A3 s M3 szerint a keresett testben van nulla elem is s egysgelem is, jellje ezeket rendre 0 s 1.
A halmaznak tbb eleme nincs. Ezutn hatrozzuk meg a mveleti szablyokat.
(ez A3 kvetkezmnye)
(A3 s A2)
Ekkor az sszeads mveleti tblja, ha az eddig ismert mveleteket berjuk:

meghatrozsa. Ennek rtke elmletileg vagy 0 vagy 1 lehet. A4. szerint minden
Htra van mg
esetn ltezik olyan
elem amelyre
. Teht ltezik additv inverze 1-nek is:
Krds az, hogy

lehet-e nulla? Nulla azrt nem lehet, mert, ahogyan azt az sszeads

mveleti tbljbl kiolvashatjuk

. A testnek csak kt eleme van, gy innen az kvetkezik,

hogy 1 additv inverze csak 1 lehet, hiszen nincs ms vlasztsi lehetsgnk. Teht:

Vgl az

sszeads mveleti tblja:

Nzzk szorzs mvelett.

(A3 egyenletbl)
Szorozzuk meg az utbbi egyenletet 1-el illetve 0-val:

(D1 disztributvits)
rtke elmletileg vagy 0 vagy 1 lehet. Hasonlan

rtke is vagy 0 vagy 1.

Azonban az sszeads mveleti tbljbl jl ltszik, hogy:

s
.
gy ezzel sszevetve a korbban nyert egyenleteket:

azaz

M2 figyelembevtelvel termszetesen

azaz
is igaz. Vagyis a 0-val val szorzs mindig a nulla elemet

adja eredmnyl.
gy a szorzs mvelet tbljnak eddig ismert rtkei:

Htra van mg
rtknek a meghatrozsa. Ehhez az M4 aximra van szksgnk. M4 szerint minden
esetn ltezik olyan inverz elem amelyre
. Itt
-et berva
egyenletet kapjuk. A
hogy

multiplikatv inverz rtke elmletileg vagy

rtke nulla nem lehet

, hiszen

vagy 1. Azonban az eddigiekbl lttuk,

miatt a szorzat rtke 0 nem pedig 1. Teht

Mskppen fogalmazva az 1 multiplikatv inverze sajt maga. Teht

Az gy kapott testet

. gy

Megmutatjuk, hogy brmilyen ktelem test izomorf

-vel jelljk:

egy msik ktelem test: elemei p s q

-vel. Legyen
s

A szorzsi tbla pedig:

a kt mveletet pedig jellje

-vel jelljk ezt a testet. A mveleti tblk pedig kvetkezk:

kt elembl ll halmazra ugyanolyan gondolatmenettel lehet levezetni a

Ez azrt nyilvnval, mert a

mveleteket (mveleti tblkat), mint ahogyan azt

Bebizonytjuk, hogy

izomorf

halmazra tettk.

val.

Elszr is van egy bijekci a kt halmaz elemei kztt:

Msrszt ez a lekpezs mvelettart mind a kt mvelet tekintetben:

minden

ra.

Az utbbi egyenletek teljeslse knnyen ellenrizhet.

4. VALS SzmOk
Ezutn fordtsuk figyelmnket a vals szmok teste fel.
Ahogyan mr korbban jeleztk

-el jelljk,

kommutatv csoport az sszeadsra nzve,

kommutatv csoport a szorzsra nzve s teljesl a

szintn

disztributv trvny. A nulla elemet 0 az

egysgelemet pedig 1 jelli.

Ms szval a vals szmok halmazban teljeslnek az A1, A2, A3, A4, M1, M2, M3, M4, D1, D2 aximk , amiket

testaximknak is szoks nevezni.

A szorzs tekintetben azrt kell a nulla elemet kivenni az

halmazbl, mert neki nincs multiplikatv inverze, azaz M4 r nem

teljesl.
A szorzs kommutativitsa miatt

disztributv trvnyek kzl elg egyet

szerepeltetni.

Testaximkbl levezethet ttelek

Most nhny ttelt mutatunk be amelyeket a testaximkbl lehet levezetni.

Ttel Minden

-hez pontosan egy olyan

ltezik amelyre

Bizonyts Az A4 axima szerint ilyen elem ltezik, most azt fogjuk beltni, hogy pontosan egy ilyen van.
Ttelezzk fel, hogy az lltssal ellenttben
s
is teljesl. Bebizonytjuk, hogy
(A3 axima)
(

felttel s A2)

(A1 axima)
(

felttel s A2)

(A3 s A2)
Teht

Az utbbi ttel teht azt mondja, hogy minden

vals szmnak pontosan egy additv inverze van. A

szm

-val szoks jellni, teht

additv inverzt

Ttel Minden

-hez pontosan egy olyan

Bizonyts Elszr ttelezzk fel, hogy a

ltezik amelyre
egyenletnek ltezik megoldsa, jellje ezt

.
Ekkor
(A3)
(A2)
(

)
(A1)
(

Vgl:

Ez utbbi azt jelenti, hogy ha egyltaln van megolds, akkor ez csak

lehet. Azt hogy ez

valban megolds behelyettestssel dnthet el:

(A2)
(A1)
(A4)
(A3)
teht
ami azt jelenti, hogy

az egyetlen megolds.

 kt tetszleges vals szm. Az

Legyen

kapjuk: adjuk ssze

-t s

additv inverzt

egyenlet (egyetlen) megoldst a kvetkezkppen

-t :

ezt szoks rvidebben jellni s

kivonsnak nevezni:

Ttel Minden

-hez pontosan egy olyan

ltezik amelyre

Bizonyts Az M4 axima szerint ilyen elem ltezik, most azt fogjuk beltni, hogy pontosan egy ilyen van.
Ttelezzk fel, hogy az lltssal ellenttben
s
is teljesl. Bebizonytjuk, hogy
(A3 axima)
(

felttel s M2)

(M1 axima)
(

felttel s M2)

(M3 s M2)
Teht

Az utbbi ttel teht azt mondja, hogy minden

A

szm multiplikatv inverzt

vals szmnak pontosan egy multipliklatv inverze van.

-val szoks jellni, teht

Ttel Minden

vals szmhoz s minden

vals szmhoz pontosan egy olyan

ltezik

amelyre
Bizonyts Elszr ttelezzk fel, hogy a

egyenletnek ltezik megoldsa, jellje ezt

.
Ekkor
(M3)
(M2)
(

(M1)
(

Vgl:

Ez utbbi azt jelenti, hogy ha egyltaln van megolds, akkor ez csak

megolds behelyettestssel dnthet el:

(A2)

lehet. Azt hogy ez valban

 (A1)
(A4)
(A3)
teht
ami azt jelenti, hogy

az egyetlen megolds.

kt tetszleges vals szm s

Legyen

kvetkezkppen kapjuk: szorozzuk ssze

-t s

Az

egyenlet (egyetlen) megoldst a

multiplikatv inverzt

-t :

ezt szoks

rvidebben jellni s osztsnak nevezni:

Ttel Minden

vals szmra

Bizonyts Legyen

Meg kell mutatnunk, hogy

(0=0+0)
(D1)
(
azaz:
Ugyanakkor
(M3)
Teht egyszerre igaz

Egy korbbi ttel szerint minden

Alkalmazzuk ezt a ttelt gy, hogy legyen

-hez pontosan egy olyan

Ekkor a

ltezik amelyre

egyenletnek pontosan egy megoldsa

van, ahonnan kvetkezik

A vals szmok mveleti tulajdonsgai

A vals szmok mveleti tulajdonsgai kzl nhnyat bemutatunk

Ezek mind az A1, A2, A3, A4, M1, M2, D1, D2 kvetkezmnyei . Felttelezzk, hogy az olvas ismeri ezeket s
knnyen le tudja vezetni a fenti aximkbl.

A vals szmok rendezsi aximi

Felttelezzk, hogy a vals szmok halmazn van egy < rendezsi relci, amely azt jelenti, hogy brmely kt vals
szmra
llts vagy igaz vagy hamis s teljeslnek r a kvetkez aximk:
Brmely kt

Ha

Ha

, akkor

Ha

vals szmra az
akkor

lltsok kzl pontosan egy igaz.

minden

vals szm esetn.

minden

vals szm esetn.

akkor

minden

vals szm esetn.

sszefggsek a vals szmokkal kapcsolatban

Szmegyenes
A vals szmokat a szmegyenesen brzoljuk.

Az x vals szm abszolt rtke:

Intervallum: A vals szmhalmaz albbi rszhalmazai kzl brmelyik:

Az intervallum teht a szmegyenes sszefgg szakasza, melynek hossza

,

rszhalmazok is.

Az a vals szm

sugar krnyezetn az

nylt intervallumot rtjk.

Hatvny-s gykmennyisgekre vonatkoz azonossgok

(k darab szorztnyez);

, ha n pros;

. Intervallumok a

, ha n pratlan.

Trtekkel kapcsolatos szablyok

az

szm reciproka;

reciproka

(b -vel egyszersthetnk);

(itt b -vel nem lehet egyszersteni!);

(b -vel bvthetnk);

nincs rtelmezve;

Zrjelek hasznlata
;

(az a kzs tnyezt kiemeltk);

rtelmetlen, de

; s

rtelmetlen, de

rtelmetlen, de

;
;

Algebrai kifejezsek s azokkal kapcsolatos mveletek

Ha szmokat s vltozkat az sszeads, kivons, szorzs, oszts, hatvnyozs s gykvons jelvel kapcsolunk
ssze, akkor algebrai kifejezst kapunk.

Egytag algebrai kifejezsek

sszeadskor s kivonskor (azaz sszevonskor) az egynem tagokat sszevonjuk, a tbbieket vltozatlanul
hagyjuk. Szorzskor, ill. osztskor az egytthatkat s a kzs alap hatvnyokat sszeszorozzuk, ill. elosztjuk
egymssal, a tbbit vltozatlanul hagyjuk.
A szorzat egytag kifejezs. Szorzatot tnyeznknt hatvnyozunk, ill. szorzatbl tnyeznknt vonunk gykt.

Tbbtag algebrai kifejezsek

Tbbtag algebrai kifejezsek szorzsakor minden tagot, minden taggal szorozni kell. Ha a tbbtag kifejezs minden
tagjnak van kzs tnyezje, akkor annak kiemelsvel a kifejezs szorzatt alakthat. Tbbtagt egy taggal
tagonknt lehet osztani.
Tbbtagt nem lehet tagonknt hatvnyozni s tbbtagbl nem lehet tagonknt gykt vonni.

Egyenletek s egyenltlensgek rendezse

Ha kt kifejezst az egyenlsg jelvel kapcsolunk ssze, akkor egyenletet kapunk. Ha az egyenltlensg jelvel
kapcsoljuk ket ssze, akkor egyenltlensget kapunk.

Az egyenlet ltalnos alakja:

. Itt x az ismeretlen. Az

szm az egyenlet gyke, ha

Ha az egyenletet az ismeretlen minden lehetsges rtke kielgti, akkor az egyenlsg neve azonossg.
Az egyenlet rendezsekor szabad az egyenlet mindkt oldalhoz ugyanazt a kifejezst hozzadni, s szabad az
egyenlet mindkt oldalt ugyanazzal a zrustl klnbz kifejezssel szorozni vagy osztani.
Az egyenltlensg mindkt oldalhoz ugyanazt a kifejezst hozzadva, az egyenltlensg irnya nem vltozik meg.
Ugyancsak nem vltozik meg az irnya, ha mindkt oldalt ugyanazzal a pozitv szmmal szorozzuk meg. Negatv
szmmal val szorzskor azonban az egyenltlensg irnya megvltozik.

5. SzmRENdSzEREk bvtse
Ismert, hogy a szmrendszereknek ltezik egy

lnca, amelyben mindegyik rsze a

rkvetkezknek s mindegyikben tbb egyenlet oldhat meg mint az elzkben. Lehetsges azonban jabb
szmrendszereket beszrni a lnc kt tagja kz.
Pldul:

szmhalmazt gy lltjuk el, hogy

-t hozzadjuk a racionlis szmokhoz s alkalmazzuk r az

szmhalmaz zrt a ngy aritmetikai mveletre legyenek

aritmetikai mveleteket. A

racionlis

szmok, ekkor

ahol
Mind a ngy fenti egyenletben a jobb oldalon
ezek

-ben fekszenek. Teht

alak szmok vannak, ahol

racionlis szmok, gy

zrt a ngy aritmetikai mveletre nzve. Ez a rendszer teljesti az A0,

M0, A1, A2, A3, A4, M0, M1, M3, M4, D1, D2 aximkat , gy az sszeadsra s a szorzsra nzve testet alkot.
A fenti eljrssal a

racionlis szmhalmazt bvtettk a

szmokat is tartalmazzon, amelyek megoldsaik a

Ugyanezt az eljrst kvetjk az

vagy az

halmazt gy, hogy hozzadjuk az j

j szmot

-t gy, hogy

szmhalmazz, abbl a clbl, hogy olyan

egyenletnek.
egyenlet esetn is, kiterjesztve az

vals szmok

szmot, amely megoldsa az

egyenletnek. Definilunk teht az

teljesljn. Ez az j szm, az

nem vals szm gy nincs rajta a vals

szmegyenesen. Ezt imaginrius (kpzetes) szmnak nevezzk, mert nem vals.

j szm, s ezekbl ksztnk egy j szmrendszert, amely az
vals szmok bvtse lesz, gy, hogy az sszes algebrai mveletet felhasznljuk.
Rendelkezsnkre llnak a vals szmok s az

Az j szmrendszert komplex szmoknak nevezzk s

gy

-vel jelljk.

halmazban mindenhol, ahol csak elfordul helyettestsk

-et

-el.

A ngy aritmetikai mveletet termszetes mdon definiljuk a komplex szmokon gy, hogy kiterjesztjk a vals
szmokon rtelmezett mveleteket.

ahol
A fenti egyenletek jobb oldaln mindenhol komplex szm ll, gy a
zrt a ngy aritmetikai mveletre nzve.
Emellett, minden aritmetikai talakts s algebrai tulajdonsg rvnyben marad a
halmazban. Pldul, az
sszeads s a szorzs kommutatvak, s gy

teljesl.
Ez a rendszer teljesti az A0, M0, A1, A2, A3, A4, M0, M1, M3, M4, D1,D2 aximkat , gy testet alkot az sszeadsra
s a szorzsra nzve.

6. MINTAPLdk

Megoldsok:

lthatk

nem lthatk

1. Az albbi szmok kzl melyek racionlisak:

; 0;

; 8,6;

... ?

Megolds. Racionlisak azok a szmok, amelyek felrhatk

(s
gy

alakban, ahol p s q egsz szmok

).
, 0 s

nyilvnvalan racionlisak (ugyanis pldul

, amely

alak. Ugyancsak racionlis az

tizedestrt is. Ugyanis kis talaktssal igazolhat, hogy

s

viszont

2.

, teht

vgtelen szakaszos

racionlis. Irracionlis

is.

3. Mekkora az x vals szm

). A 8,6 is racionlis, mert

-sugar krnyezetnek hossza ?

Megolds.

Ez

krnyezet

az

nylt

intervallum,

melynek

hossza

4. Bizonytsuk be teljes indukcival, hogy

,

Megolds. A bizonytand llts

1. lps: Megnzzk, hogy az llts

.
-re igaz-e. Ekkor a bal oldali sszeg mindssze egyetlen

tagbl (1-bl) ll. A jobb oldalra pedig n helyre helyettestsnk 1 -et. Ekkor
, teht igaz.
2. lps: Felttelezzk, hogy az llts

-ra igaz, azaz

.
3. lps:

igaz voltt felhasznlva bizonytjuk, hogy

igaz. rjuk fel a

s azt alaktsuk t, felhasznlva, hogy

llts bal oldalt

.
A jobb oldalon megkaptuk az eredeti llts jobb oldalt

-re, ami azt jelenti, hogy a

llts is igaz. Teht az llts igaz minden 1 -nl nagyobb termszetes szmra (1 -re is).

5.

6.

7.

8.

9.

10.

11.

rtelmetlen;

12.

13.

Nhny nevezetes szorzat

14.

, teht

15.

16.

17.

Kiemelsek, szorzatt alaktsok

18.

19.

;
20.

21.

Kiegszts teljes ngyzett

22.

23.

Mveletek trtekkel
24.

25.

26.

27.

28.

29.

30.

31.

32.

33. Oldjuk meg az albbi egyenleteket:

a)

b)

;
.

c)
Megolds:

a) Rendezzk:

b) Rendezs utn:

, ami lehetetlen, teht az egyenletnek nincs megoldsa.

. Ez az egyenlsg minden x rtk esetn fennll, teht

c)
ez az egyenlsg azonossg (a bal oldal azonos a jobb oldallal).

34. Oldjuk meg az albbi egyenleteket:

a)

b)
c)

;
;

d)
e)

;
;

f)

g)

Megolds
a) Alkalmazzuk a msodfok egyenlet megold kplett:
,

;
. Egy szorzat akkor nulla, ha valamelyik tnyezje nulla. Ez

b) Emeljnk ki 2x -et:
csak akkor lehet, ha

vagy

. A kt gyk teht:

c)

d)

. Teht

A kt gyk egyenl (kszeres gyk). Ez onnan is lthat, hogy az egyenlet bal oldala teljes ngyzet:
, azaz
e)

, ahonnan
, ami lehetetlen (

nem lehet negatv). Az egyenletnek nincs

megoldsa (a vals szmok halmazn);

f)

. Mivel a gykjel alatti mennyisg (a diszkriminns)

negatv, ezrt a vals szmok halmazn az egyenletnek nincs megoldsa.

g) Vezessk be az

jellst. Ekkor az

msodfok egyenletet kapjuk.

Ennek gykei:
,
, akkor

Ha
,

. Ha
,

, akkor

.
. Teht az eredeti egyenlet megoldsa:

35. Oldjuk meg az albbi egyenltlensgeket:

a)

; b)

Megolds
a)
, majd 2 -vel osztva:
. Ez a megolds;
olvasni). Ekkor
. Mindkt oldalt osztva

b)
.

7. FELAdATOk
1. Szmtsa ki a kvetkez trtek rtkt:

. Clszer a kt oldalt felcserlni (vagy jobbrl balra

-vel, mikzben az egyenltlensg irnya megfordul,

a)

b)
2. Rendezze nvekv sorrendbe az albbi szmokat:
.
3. Egyszerstse a kvetkez trteket:

a)

b)

4. Hozza egyszerbb alakra a kvetkez trteket:

a)

b)

5. Vgezze el a kvetkez mveleteket:

;

a)

b)

6. Egyszerstse a kvetkez trteket:

a)

b)

7. Gyktelentse a nevezt az albbi trteknl:

8. Oldja meg az albbi egyenleteket:

a)

b)

9. Oldja meg az albbi msodfok egyenleteket:

a)

b)

c)

10. Igazolja teljes indukcival az albbi lltsokat:

a)

b)

c)

d)

Megoldsok
1. a) Hasznljuk ki az egyszerstsi lehetsgeket:

jellst. Ekkor a trt

b) Vezessk be az

alak

lesz.

Vgezzk

el

kijellt

mveleteket.

Ekkor

. Teht a trt rtke 1.

2. A ngy szm kzl

negatv (a tbbi pozitv), teht ez a legkisebb. A tbbit prbljuk felrni 10

hatvnyaknt.
,

A kitevket sszehasonltva:

3. a) A hatvnyozsokat elvgezve:

b)

4. a) A szmllban vgezzk el a kijellt mveleteket:

;

b)

5. Hozzunk kzs nevezre:

a)

b)

6. a) Szorozzuk meg mind a szmllt, mind a nevezt

- gyel:

= Egy kis gyeskedssel a szmllt talaktva =

b) Szorozzuk meg mind a szmllt, mind a nevezt

- gyel:

7.

8. a) 12 -vel szorozzuk meg az egyenlet mindkt oldalt.

- mal:

b) Szorozzuk meg az egyenlet mindkt oldalt

9. a) A gykold kplettel:

b)

c)

ha

, akkor

10. a) 1. lps:
2. lps:

- re,

igaz,

- ra,

3. lps:

-re,
, teht az llts igaz;

b) s c) az elzhz hasonlan, igaz;

d) 1. lps:
2. lps:
3. lps:

- re,
- ra,

igaz,
,

-re,

, igaz.

[1] Niels Henrik Abel (18021829) norvg matematikus utn.

Digitlis Egyetem, Copyright Kovcs Bla, 2011