Professional Documents
Culture Documents
fejezet
1.1. Vektorok
1.1.1. Vektor fogalma, m¶veletek
1.1. Deníció. Az irányított szakaszokat vektor oknak nevezzük. Jele : v vagy kézírás-
ban : v.
1.2. Deníció. A vektor abszolút értéke az irányított szakasz hossza. Ennek jele : |v|.
1.1. ábra.
1.3. Deníció. Azt a vektort, melynek abszolútértéke nulla, nullvektor nak vagy zé-
rusvektornak nevezzük és 0-val jelöljük.
1.4. Deníció. Azt a vektort, melynek a hossza egységnyi, egységvektor nak nevezzük.
1.5. Deníció. Két vektor egyenl®, ha hosszuk, irányuk, irányításuk megegyezik.
1.2. ábra.
1.6. Deníció. Legyen adott két vektor a és b. Toljuk el a b vektort úgy, hogy a
b vektor kezd®pontja az a végpontjába kerüljön. Az a és b vektorok összeg én azt az
a+b-vel jelölt vektort értjük, mely az a vektor kezd®pontjából a b vektor végpontjába
mutat.
1.3. ábra.
1.2. Tétel. Legyenek a, b, c síkbeli vagy térbeli vektorok. Ezek összeadására az alábbi
tulajdonságok teljesülnek:
(1) a + b = b + a (kommutatív)
(2) (a + b) + c = a + (b + c) (asszociatív)
1.1. VEKTOROK 3
(3) a + 0 = a
(4) a + (−a) = 0.
1.4. ábra.
1.8. Deníció. Adott a vektor és λ valós szám szorzatán azt a vektort értjük,
(2) λ(a + b) = λa + λb
(3) (λ + µ)a = λa + µa
1.4. Tétel. Ha a vektor párhuzamos a v-vel, akkor mindig egyértelm¶en található olyan
α valós számok, melyre
v = αa.
v = αa + βb.
4 1. LINEÁRIS ALGEBRA ALAPJAI
1.5. ábra.
1.9. Deníció. Két vektort egysíkú nak nevezünk, ha található olyan sík, mellyel mind-
két vektor párhuzamos.
−−→
c) az OD vektort, ahol D a BC oldal felez®pontja,
−−→
d) az AD vektort, ahol D a BC oldal felez®pontja,
−→
e) az OF vektort, ahol F a BC oldal B -hez közelebbi harmadolópontja,
−→
f) az OS vektort, ahol S az ABC háromszög súlypontja,
Megoldás:
−−→
a) OB = a + c
−→
b) AC = c − a
−−→
c) OD = 21 a + c
−−→
d) AD = −a + c + 12 a = c − 21 a
−→
e) OF = 32 a + c
f) Mivel az ABC háromszög B csúcsához tartozó súlyvonal az OB egyenessel egybe-
−→ 1 −−→ 1 1 −−→ 2 −−→ 2
esik, ezért OS = OB + OB = 3 OB = 3 (a + c).
2 32
1.1. VEKTOROK 5
v = xi + yj
alakban. Ekkor az x, y valós számokat a vektor koordinátáinak nevezzük az i, j rend-
szerben. Jelölése :
x
y
1.6. ábra.
v = xi + yj + zk
alakban. Ekkor az x, y , z valós számokat a vektor koordinátáinak nevezzük az i, j, k
rendszerben. Jelölése :
x
y
z
A térben általában olyan derékszög¶ koordinátarendszert szoktunk használni, mely-
2
ben az i, j, k jobbrendszert alkot, ezért a fenti denícióban is az i, j, k-t úgy kell
1 Az
i-t a j-be 90◦ -os pozitív elforgatás viszi.
2 Az
i, j, k vektorok jobbrendszert alkotnak, ha a vektorokat közös kezd®pontba eltolva a k vég-
pontjából az i, j síkjára tekintve az i-t a j-be 90◦ -os pozitív elforgatás viszi.
6 1. LINEÁRIS ALGEBRA ALAPJAI
a1 b1 a1 + b 1
a+b = + =
a2 b2 a2 + b 2
b1a1 a1 − b 1
a−b = − =
b2a2 a2 − b 2
a1 λa1
λa = λ =
a2 λa2
Háromdimenziós vektorok esetén hasonlóan végezhet®k el a m¶veletek.
ab = |a||b| cos ϕ
1.7. ábra.
1.9. Tétel. Két síkbeli vektor a = a1 i+a2 j és b = b1 i+b2 j skaláris szorzatát koordináták
segítségével az alábbiak szerint számíthatjuk ki:
ab = a1 b1 + a2 b2
1.10. Tétel. Két térbeli vektor a = a1 i+a2 j+a3 k és b = b1 i+b2 j+b3 k skaláris szorzatát
koordináták segítségével az alábbiak szerint számíthatjuk ki:
ab = a1 b1 + a2 b2 + a3 b3
1.2. Feladat. Legyenek adva az A(1,2,1), B(5, −1,3), C(−2, 2,5) háromszög csúcs-
pontjai. Számítsa ki a háromszög kerületét és a szögeit !
5 1 4
−→
AB = b − a = −1 − 2 = −3
3 1 2
−2 5 −7
−−→
BC = c − b = 2 − −1 = 3
5 3 2
1 −2 3
−→
CA = a − c = 2 − 2 = 0
1 5 −4
Majd kiszámoljuk ezeknek a hosszát :
−→ p √
AB = 42 + (−3)2 + 22 = 29
−−→ p √
BC = (−7)2 + 32 + 22 = 62
−→ p
CA = 32 + 02 + (−4)2 = 5
Így a kerület :
√ √
k= 29 + 62 + 5 ≈ 18,26.
8 1. LINEÁRIS ALGEBRA ALAPJAI
−→ −−→
BA BC
cos β = −→ −−→
BA BC
−→ −−→
BA BC 33
cos β = −→ −−→ = √ √ ≈ 0,78
BA BC 29 62
β = 38,9◦ .
A többi szög is hasonlóan számolható.
1.8. ábra.
1.1. VEKTOROK 9
1.3. Feladat. Legyenek adva az A(1,2,1), B(5, −1,3), C(−2, 2,5) háromszög csúcs-
pontjai. Számítsuk ki a A csúcsból kiinduló magasság hosszát.
−−→ −→ −−→ −→
BC BA sin ϕ BC × BA
T= =
2 2
Másrészt −−→
BC m
T=
2
Így az x oldalhoz tartozó magasság kiszámítható :
−−→ −→
BC × BA
m= −−→
BC
= (3 · (−2) − 3 · 2)i − ((−7) · (−2) − (−4) · 2)j + ((−7) · 3 − (−4) · 3)k = −12i − 22j − 9k
−−→ −→
A BC × BA vektor hossza :
−−→ −→ p √
BC × BA = (−12)2 + (−22)2 + (−9)2 = 709.
−−→
A BC vektor hossza :
−−→ p √
BC = (−7)2 + 32 + 22 = 62.
abc = (a × b)c
1.9. ábra.
1.1. VEKTOROK 11
V = |abc|,
másrészt
V = Tbc · m.
Az alapterület pedig a vektoriális szorzat segítségével számolható :
Tbc = |b × c|.
Így ezek felhasználásával :
|abc| = |b × c| · m,
melyb®l a magasságot kifejezve :
|abc|
m= .
|b × c|
Felhívjuk a gyelmet, hogy a |abc| az abc abszolút értékét jelöli, míg |b × c| a b×c
vektor hosszát. El®ször kiszámítjuk a vegyesszorzatot :
1 3 2
= 1 −1 4 − 3 2 4 + 2 2 −1 =
abc = 2 −1 4
3 1 −2 1 −2
−2
3
3 1
= 1 · ((−1) · 1 − 3 · 4) − 3 · (2 · 1 − (−2) · 4) + 2 · (2 · 3 − (−2) · (−1)) = −35.
Majd a b×c vektort :
i j k
−1 4 2 4 2 −1
b × c = 2 −1 4
=
3 1
i−
−2 1 j + −2
k =
−2 3
3 1
= ((−1) · 1 − 3 · 4)i − (2 · 1 − (−2) · 4)j + (2 · 3 − (−2) · (−1))k = −13i − 10j + 4k.
A b×c vektor hossza :
p √
|b × c| = (−13)2 + (−10)2 + 42 = 285
Tehát behelyettesítve a fenti képletbe :
|abc| | − 35|
m= = √ ≈ 2,07.
|b × c| 285
12 1. LINEÁRIS ALGEBRA ALAPJAI
párhuzamos összetev®kre !
xa1 + ya2 = b.
Behelyettesítés után :
1 2 5
x +y = .
3 1 5
Elvégezve a m¶veleteket :
x + 2y 5
=
3x + y 5
egy kétismeretlenes egyenletrendszert kapunk :
x + 2y = 5
3x + y = 5
Vonjuk ki az els® egyenlet 3-szorosát a második egyenletb®l, ezzel elértük azt, hogy
a második egyenletben már csak egy ismeretlen van.
x + 2y = 5 1 2 5
−→
−5y = −10 0 −5 −10
x + 2y = 5 1 2 5
−→
y = 2 0 1 2
Vonjuk ki a második egyenlet 2-szeresét az els® egyenletb®l, ezzel elértük azt, hogy
már az els® egyenletben is csak egy ismeretlen van, vagyis megvan a megoldás.
x = 1 1 0 1
−→
y = 2 0 1 2
1.2. GAUSS-JORDAN ELIMINÁCIÓ BEVEZETÉSE 13
(3) Majd rendre a kiválasztott elem alatt és fölött lév® sorokból kivonjuk a kiválasz-
tott elem sorának megfelel® elemekkel vett szorzatát.
(4) Újabb nem 0 elemet választunk, mely nincs az el®bbi választott elem sorában és
oszlopában és újra végrehajtjuk a lépéseket.
1 2 3 7 1 2 3 7 1 0 −5 −3 1 0 0 2
2 3 2 9 ∼ 0
-1 −4 −5 ∼ 0 1
4 5 ∼ 0 1 0 1
1 2 1 5 0 0 −2 −2 0 0 -2 −2 0 0 1 1
x+y +z = 6
2x + 3y + z = 10
x + 2y + 2z = 10.
1 1 1 6
x 2 + y 3 + z 1 = 10
1 2 2 10
14 1. LINEÁRIS ALGEBRA ALAPJAI
2x + y + 2z = 10
x + 3y + 3z = 17
x + 8y + 7z = 41.
Megoldás: Átírva a feladatot vektorokra, Gauss-Jordan eliminációval oldjuk meg :
2 1 2 10
x 1 + y 3 + z 3 = 17
1 8 7 41
A számolás menete a következ® :
0 1 45 24
2 1 2 10 2 1 2 10 5
1 3 3 17 ∼ -5 0 −3 −13 ∼ 1 0 35 13
5
1 8 7 41 −15 0 −9 −39 0 0 0 0
Mi is lett itt a végeredmény ? Írjuk vissza az utolsó táblázatot vektorokra :
4 24
0 1 5 5
x 1 + y 0 + z 35 = 13
5
0 0 0 0
Majd írjuk fel az egyenletrendszert :
y + 45 z = 24
5
x + 35 z = 13
5
0 = 0.
Végül fejezzük ki x-et és y -t :
y = 24
5
− 45 z
x = 13
5
− 35 z.
Tehát azt kaptuk, hogy z tetsz®leges értéke esetén x és y a fentiek alapján megkapható.
Azaz az egyenletrendszert végtelen sok x, y , z elégíti ki.
1.2. GAUSS-JORDAN ELIMINÁCIÓ BEVEZETÉSE 15
2x + y + 2z = 10
x + 3y + 3z = 17
x + 8y + 7z = 40.
2 1 2 10
x 1 + y 3 + z 3 = 17
1 8 7 40
0 1 45 24
2 1 2 10 2 1 2 10 5
1 3 3 17 ∼ -5 0 −3 −13 ∼ 1 0 35 13
5
1 8 7 40 −15 0 −9 −40 0 0 0 −1
Látjuk, hogy a számolás menete is hasonló az el®z® feladathoz, csak most a b vektort
nem lehet el®állítani az a1 , a2 , a3 vektorok segítségével, így az eredeti egyenletrend-
szernek sincs megoldása.
1 0 a b
0 1 c d
0 0 0 0
1 0 a b
0 1 c d
0 0 0 e
ahol e 6= 0.
16 1. LINEÁRIS ALGEBRA ALAPJAI
3 2 −3 2
összetev®k összegeként ?
2x + 3y + z = 6
a) x + 2y + 2z = 10
−x − y + z = 4
x+y +z = 3
b) 2x + 3y + 4z = 2
x + 2y + 3z = −1
3x + 2y + 4z = 7
c) 2x + 3y + 2z = 8
−x + y − 2z = 2
x+z +u = 2
d) x + y + u = −3
y + z + u = −1
x+y +u+z = 2
2x + 3y + 2u + z = 0
e) −x + 2y − u + z = 1
3x − 2y + 3u − z = −1
x+y +u+z = 10
−x + y − u + z = 0
f) 2x + 2y − 2u = 0
x − y − 3u − z = −12
1.3. MÁTRIXOK, DETERMINÁNSOK 17
x + 2y + u − z = −1
2x + 3y − u + z = 2
g) x + 3y + 2u + 4z = −5
−x − 3u − 5z = −7
1.14. Feladat. Határozza meg a p paraméter értékét úgy, ha lehet, hogy a következ®
egyenletrendszereknek 1, ill. 0, ill. ∞ megoldása legyen !
x+y +z = 3
a) x + py + 3z = −1
2x + 3y + 4z = 2
2x + 3y + 5z = 0
b) 3x + 5y + 2z = 6
2x − py − 2z = −5p
x + 2y + u + 3z = 1
y + 2u + z = 3
c) 2x + pu = 2
x+y +u+z = 1
1.15. Deníció. Mátrix nak nevezünk egy táblázatot, melynek elemei valós számok
(mi csak valós elem¶ és csak téglalap alakú mátrixokat vizsgálunk). Azt a mátrixot,
melynek n sora és m oszlopa van n × m-es (olv. : en szer em-es) mátrixnak nevezzük.
Jelölése :
a11 a12 · · · a1m
a21 a22 · · · a2m
A = .. = (aik )
. .
. . .
. .
an1 an2 · · · anm
1 2 −5 3
4 2 −3 3 2 1
4 2 7 −2
2 −3 , 5 3 2 −2 , 4 −1 .
5 2
3 −4 3 −2 3 −2
2 −2 4 5
1.16. Deníció. Nullmátrix nak nevezzük azt a mátrixot, melynek minden eleme 0.
18 1. LINEÁRIS ALGEBRA ALAPJAI
0 0 0
.
0 0 0
1 0
.
0 1
1.19. Deníció. Két mátrix összege a megfelel® elemek összege, skalárszorosnál min-
den elemet szorzuk a megadott számmal, azaz
4 2 −3 2 1 −3 6 3 −6
A+B = 5 3 2 + 1 3 2 = 6 6 4
3 −4 3 3 −2 2 6 −6 5
A 3A mátrix :
4 2 −3 12 6 −9
3A = 3 5 3 2 = 15 9 6
3 −4 3 9 −12 9
1.3. MÁTRIXOK, DETERMINÁNSOK 19
4 2 −3 1 2 −2
A= 1 3 2 , B = 2 1 0 .
3 −4 3 0 −1 3
Megoldás: A szorzat mátrix egy elemét, úgy kapjuk meg, hogy az els® mátrix sorá-
nak megfelel® elemeit szorozzuk a második mátrix oszlopának megfelel® elemeivel és a
kapott szorzatokat összeadjuk :
4 2 −3 1 2 −2 8 13 −17
A·B = 1 3 2 · 2 1 0 = 7 3 4
3 −4 3 0 −1 3 −5 −1 3
1 · 1 + 3 · 2 + 2 · 0 = 7, 1 · 2 + 3 · 1 + 2 · (−1) = 3, 1 · (−2) + 3 · 0 + 2 · 3 = 4.
1.21. Deníció. Egy n×n-es (négyzetes) A mátrix invertálható, ha létezik egy olyan
n×n -es B mátrix, melyre igaz :
AB = BA = E
1 3
A= .
2 1
1x11 + 3x21 1x12 + 3x22 1 0
= .
2x11 + 1x21 2x12 + 1x22 0 1
1x11 + 3x21 = 1
2x11 + 1x21 = 0
1x12 + 3x22 = 0
2x12 + 1x22 = 1.
1 3 1 0
2 1 0 1
0 − 12 1
1 −1 0 −1 0 2 1 0 4
1
1 1
0 4 0 2 1 −4 ∼ 0 1 0 2 4
−1
1
0 2 1 1 0 −1 0 0 1 0 −2 1
Tehát azt kaptuk, hogy az A mátrix inverze :
− 21 1
4
1
A−1 = 1
2
1
4
−1 .
0 − 12 1
1.3.2. Determináns
Determinánsokkal már találkoztunk a vektoriális és a vegyesszorzat tárgyalása so-
rán. A determináns értéke egy szám volt, melyet gyakorlatilag egy 3 × 3-es mátrixhoz
rendeltünk és 3-dimenzióban egy térfogatot jelölt. Szemléletesen általánosságban is egy
térfogatot jelöl, mégpedig n darab n-dimenziós vektor által kifeszített paralellepipedon
térfogatát. Tehát az n × n-es mátrixhoz is tudunk rendelni egy értéket, a determináns
értékét. Valójában a vektor hosszának egy általánosításáról van szó olyan értelemben,
hogy a hossz egy 1-dimenziós mérték, míg a determináns értéke egy n-dimenziós mér-
ték (térfogat). Persze azért különbözik is t®le hiszen n dimenzióban csakn vektorhoz
tartozik ilyen szám, míg egy vektor hosszát minden dimenzióban lehet értelmezni. Ér-
demes belegondolni, mit jelent a síkban egy 2 × 2-es determináns értéke és mért nincs
ez a térben már egyáltalán értelmezve se.
22 1. LINEÁRIS ALGEBRA ALAPJAI
ahol az A1k (n − 1)-ed rend¶ el®jeles aldeterminánst úgy kapjuk meg, hogy az els® sor
és a k -adik oszlop elhagyásával adódó (n−1)-ed rend¶ determinánst a sakktáblaszabály
szerint az a1k helyén álló el®jellel megszorozzuk. A sakktáblaszabály szerint az el®jelek :
+ − + − ···
− + − + ···
+ − + − ···
.. .. .. .. .
.
. . . . .
A fenti rekurzív deníció része az 1-rend¶ determináns értékének megadása, mely ma-
gával az elemmel egyezik meg.
d) Ha van olyan sor melyben csupa 0 áll, akkor a determináns értéke nyilván 0.
1 3 2 1 3 2 1 −1 0 1 0 0
2 2 0 ∼ 0 −4 −4 ∼ 0 4 0 ∼ 0 1 0
1 1 1 0 −2 -1 0 2 1 0 0 1
1 · (−1) · 4 = −4.
24 1. LINEÁRIS ALGEBRA ALAPJAI
4 5 1 5
1 3 4 1
2 −1 1 3
h)
1 −2 1 3
1 1 2 −2
0 1 2 3
1 0 1 4
i)
2 2 0 6
1 1 2 0
1.21. Feladat. Határozza meg a p paraméter értékét úgy, hogy az alábbi mátrixoknak
legyen inverzük !
1 3
a) p 2
0 1
b) p 2
1.3. MÁTRIXOK, DETERMINÁNSOK 25
0 p
c) 2 0
1 1 1
d) p 2 1
p 0 3
1 0 1
e) 1 p −1
3 1 p
2 1 2
c)
3 2 1
1 5 3
1 2 1
d)
2
3 −1
1 −1 4
3 2 −1
e)
−2 −3 1
1 1 0
1 2 2 2
2 2 2 2
f) 2 2 2 2 .
2 2 2 4
26 1. LINEÁRIS ALGEBRA ALAPJAI
ϕ(i) ϕ(j)
i 1 0
j 0 −1
1 0 6 6
= .
0 −1 1 −1
1.19. Tétel. Ebben az esetben egy tetsz®leges x pont y képét az A mátrix segítségével
a következ®képpen kaphatjuk meg.
y = Ax
Könnyen látható, hogy 2 × 2-es mátrixok segítségével csak olyan síkbeli transzfor-
mációkat tudunk leírni, melyeknek az origó xpontjuk. Így a következ® feladatoknál is
csak ilyen transzformációk szerepelnek. (Például nem szerepel eltolás vagy eltolás és
tükrözés, stb.)
1.4. LINEÁRIS TRANSZFORMÁCIÓK 27
−2 −1 −3
= + =
1 3 4
Majd az a+b elforgatottját :
0 −1 1 3
A(a + b) = + =
1 0 2 1
0 −1 4 −3
= =
1 0 3 4
A példából látszik, hogy Aa + Ab = A(a + b).
Hasonlóan könnyen látható, hogy az a vektor kétszeresének az elforgatottja meg-
egyezik az elforgatott kétszeresével. Azokat a transzformációkat, melyekre ez a két
tulajdonság teljesül lineáris transzformációknak nevezzük. Általánosan :
1.26. Deníció. Egy transzformáció esetén tengelynek nevezzük egy olyan egyenest,
mely pontonként x (Minden pont képe önmaga).
1.28. Deníció. A tengelyes anitás esetén egy pontot a képével összeköt® egyenes
irányát az anitás irányának nevezzük.
1.32. Feladat. Adja meg annak az anitásnak a mátrixát, melynek tengelye az y=x
egyenes, az anitás iránya y tengely irányú és az y=x tengelyt®l való távolság ebben
az irányban minden pont esetén kétszeresére változik !
(1) Hogyan kaphatjuk meg a két transzformáció egymásutánját ? Le tudjuk-e írni ezt
egyetlen mátrix segítségével ?
(3) Hogyan kaphatjuk vissza a képpontból az eredeti pontot. Adja meg azt a mátri-
xot, mely ezt a mozgást írja le !
0 −1
F=
1 0
0 0 −1 2 −1
a = Fa = = .
1 0 1 2
1 0
T=
0 −1
00 0 1 0 −1 −1
a = Ta = = .
0 −1 2 −2
30 1. LINEÁRIS ALGEBRA ALAPJAI
Bx0 = BAx = x.
Azaz
BA = E.
Tehát valójában az A mátix inverzét keressük. Ezt egyszer¶en Gauss-Jordan eliminá-
cióval számoljuk :
3 1 1 0 3 1 1 0 3 1 1 0
∼ ∼
2 2 0 1 −4 0 −2 1 1 0 1/2 −1/4
0 1 −1/2 3/4 1 0 1/2 −1/4
∼ ∼ .
1 0 1/2 −1/4 0 1 −1/2 3/4
Tehát az inverz transzformáció mátrixa :
1/2 −1/4
B= .
−1/2 3/4
1.4. LINEÁRIS TRANSZFORMÁCIÓK 31
a11 a12 0 0
A0 = = =0
a21 a22 0 0
A x = λx
teljesül.
Ax = λx,
3 1
2 2
Ax = λx
Ax − λx = 0
Ax − λEx = 0
(A − λE) x = 0
32 1. LINEÁRIS ALGEBRA ALAPJAI
Ha feltesszük, hogy x6= 0, akkor a fenti egyenletnek akkor és csak akkor van megoldása,
ha
|A − λE| = 0.
Behelyettesítve az A mátrixot és kiszámolva a determináns értékét :
3−λ 1
= (3 − λ)(2 − λ) − 2 = λ2 − 5λ + 4 = 0
2 2−λ
Ax = x.
Ezt a fentiekhez hasonlóan átrendezve :
(A − E) x = 0
3−1 1 x 0
=
2 2−1 y 0
2x + y = 0
y = −2x
y=x
0 −1
1 0
Halmazelméleti és algebrai
alapismeretek
2.1. Halmazok
2.1.1. Alapfogalmak, m¶veletek
A halmaz és a halmaz eleme fogalmakat mi nem deniáljuk, alapfogalomnak tekint-
1
jük . Persze akkor honnan tudjuk, hogy mi a halmaz ? Valójában onnan, hogy láttunk
a halmazra példákat általános iskolában és középiskolában is. Ezekb®l kialakult egy
képünk arról, hogy mi is a halmaz. Röviden úgy írhatnánk körül, hogy a halmaz adott,
különböz® dolgok összessége. A halmazt alkotó dolgokat pedig a halmaz elemeinek hív-
juk. Egy adott dolog vagy benne van egy halmazban, vagy nincs, de a kett® egyidej¶leg
nem fordulhat el®. Egy halmazban minden dolog legfeljebb egy példányban van benne.
A halmazokat nagybet¶vel, elemeit kisbet¶vel jelöljük. a ∈ A jelöli, hogy a eleme az
A halmaznak. A halmazt elemeinek magadásával adjuk meg. Ennek módjai lehetnek :
B = {x | x ∈ R, 1 ≤ x < 4}
A = {1,2,3,5,8}
B = {{1}, {1,4}}
2.1. Deníció. Azt a halmazt, melynek nincs egyetlen eleme sem, üres halmaznak
nevezzük. Jele : ∅ vagy {}.
A = {1,2,3,4,6,12}
A komplementer halmazt mindig egy el®re megadott, lehet®ség szerint minél b®vebb
2
halmazra, egy úgy nevezett alaphalmazra vonatkozólag értelmezzük. Az alaphalmazt
U -val jelöljük. A továbbiakban az alaphalmaz általában a valós számok, a valós függ-
vények halmaza lesz. Ezen tárgyalás esetén az A halmaz komplementere (valójában az
U -ra vonatkozó komplementere) az U \A különbséghalmaz.
A∪B A∩B
2.1. ábra.
A\B A4B
2.2. ábra.
A komplementer Venn-diagramja :
38 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
2.1.2. Számhalmazok
El®ször a valós számok kialakulását vizsgáljuk. Megnézzük, hogy az egyes szám-
köröket hogyan b®vítettük, ezek milyen tulajdonságokkal rendelkeznek. Majd ezeket
a tulajdonságokat mint axiómákat megfogalmazva megmondjuk, hogy mit nevezünk
valós számnak.
A természetes számok körében értelmezeht® a < reláció. Azt mondjuk, hogy a < b, ha
létezik olyan c 6= 0 természetes szám, hogy a + c = b. Ha a 6= b, akkor a < b vagy b < a.
Az a + c = b-t írhatjuk, úgy is, hogy c = b − a, azaz a c a b és az a különbsége. Ezt
a m¶veletet kivonásnak nevezzük. A kivonás már nem feltétlenül végezhet® el, hiszen
például 2 − 5 = −3 nem természetes szám. Ezért a természetes számokat kib®vítjük a
negatív számokkal.
2.1. HALMAZOK 39
2.10. Deníció. A ..., −3, −2, −1, 0,1,2, 3, ... számokat egész számoknak nevezzük.
Halmazuk jele : Z.
Ebben a számkörben az összeadás, a szorzás és a kivonás is mindig elvégezhet® és
a fenti tuljadonságokon kívül teljesül, hogy
(8) Bármely a-ra létezik olyan −a-val jelölt elem (ellentett), melyre a + (−a) = 0.
Viszont az osztás nem végezhet® el, így tovább b®vítjük a számkört :
2.11. Deníció. Racionális számoknak nevezzük a két egész szám hányadosaként fel-
írható számokat. Halmazuk jele : Q.
Ebben a számkörben a négy alapm¶velet mindegyike elvégezhet®. Az összeadást és
a kivonást a
a c ad ± bc
± = b, d 6= 0
b d bd
összefüggés alapján végezzük el. A szorzásra
a c ac
· = b, d 6= 0
b d bd
tejesül. Az osztást pedig a reciprokkal való szorzással számoljuk ki :
a c a d ad
: = · = b, c, d 6= 0,
b d b c bc
Tehát a racionális számok körében a fenti nyolc tulajdonságon kívül teljesül a következ®
is :
1
(1) Minden 0-tól különböz® a valós számhoz, létezik olyan a
-val jelölt elem (reciprok),
melyre a · a1 = 1.
2.3. Feladat. Írja fel két egész szám hányadosaként az alábbi számot :
2
− 45 32 21
3
3 + · !
7
· 14
9
9 20
2.1. Tétel. Bármely racionális szám felírható véges tizedestört, vagy szakaszos végtelen
tizedestört alakban és bármely ilyen alakú tizedestört racionális szám.
2.4. Feladat. Írja fel tizedestört alakban a következ® racionális számokat :
121 2 12
, ,
20 3 21
,
32 21
, .
7 22
2.5. Feladat. Írja fel a következ® számokat két egész szám hányadosaként : 0, 6̇7̇ ;
0, 4̇386̇ ; 0,132̇329̇.
Már az ókorban felismerték, hogy az egység oldalú négyzet átlóját nem tudják két
egész szám hányadosaként felírni. Az ilyen számokat irracionális számoknak nevezzük.
40 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
Ha nem tudjuk ezeket a számokat két egész szám hányadosaként felírni, akkor ho-
gyan adhatjuk meg ®ket ? Az egyik lehet®ség, hogy ha valamilyen probléma során fel-
merül egy olyan szám, mely nem racionális, akkor erre bevezetünk egy új jelet. Például
√
az egység oldalú négyzet átlójának hosszára bevezettük a 2 jelet. Persze, ha az ilyen
alakú számokkal számolni is akaruk, jó lenne tudni, milyen szabályok alapján tehetjük
meg ezt. Ezt a problémát általánosítva bevezethetjük a négyzetgyök fogalmát :
√ √ √
(1) a · b = a · b, ahol a, b ≥ 0
√
a pa
(2) √ = , ahol a ≥ 0, b > 0
b b
√ √
(3) ( a)n = an , ahol a > 0 (Ha n ∈ N+ , akkor a lehet 0 is különben nem deniált a
0n . Lásd kés®bb a hatványozásnál.)
√
(4) a2 = |a| (Az |a| fogalmát lásd kés®bb.)
3
Leggyakrabban a közelít® tizedestört alakot a számológép segítségével számítjuk ki.
Persze a válaszunk is csak közelít®leg jó :
√ √
2 + 3 ≈ 1,42 + 1,73 = 3,15.
√ √
2.6. Feladat. Igazolja számológép használata nélkül, hogy 2+ 3 > 3!
√
Például a 2 tizedestört alakja, mivel nem racionális szám, csak nem szakaszos
√
végtelen tizedestört lehet. Tehát tizedestört alakban a 2 pontos értékét nem tudjuk
felírni, hiszen nincs a jegyeknek szabályszer¶ ismétl®dése, melyet leírhatnánk, viszont
elvileg tetsz®leges jegyét meg tudjuk adni a fenti két oldali közelítés segítségével.
Viszonylag könnyedén látható, hogy bármely két racionális szám között mindig van
racionális szám, hiszen a két szám számtani átlaga a két szám közé esik. Ez alapján az
is nyilvánvaló, hogy két racionális szám között végtelen sok racionális szám van. Talán
a számok tizedestört alakjából az is elhihet®, hogy két racionális szám között mindig
van irracionális szám. És pillanatnyilag elképzelhetetlennek t¶nik, hogy van más szám,
hiszen a számok tizedestört alakban felölelnek minden számot. Ezt nevezzük a valós
számok teljességi tulajdonságának. Kicsit pontosabban fogalmazva azt mondhatjuk,
hogy minden valós számnak megfeleltethetünk egy pontot a számegyenesen és minden
pontnak a számegyenesen megfelel egy valós szám. Megjegyezzük, hogy például az 1
és a 0,999999 . . . ugyanazt a számot jelöli. A következ®kben a valós számoknak ezt a
tulajdonságát (pontosan megfogalmazva) és a többit is mint axiómát tekintjük és azt
mondjuk, hogy amire ezek teljesülnek azt nevezzük valós számoknak.
A valós számok R-rel jelölt halmaza, egy olyan számhalmaz, melyre az alábbi axi-
ómák teljesülnek.
(1) Bármely a, b valós számra a < b , a = b, b < a közül pontosan egy teljesül.
III. Bármely A⊆R felülr®l korlátos nem üres részhalmaznak van legkisebb fels® kor-
látja.
42 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
2.15. Deníció. Egy A számhalmaz felülr®l korlátos, ha létezik olyan K szám, hogy
minden a ∈ A-ra a ≤ K . Ekkor a K számot a számhalmaz fels® korlát jának nevezzük.
2.16. Deníció. Egy A számhalmaz legkisebb fels® korlát jának vagy szuprémum ának
nevezzük azt a H számot, amely fels® korlát és a legkisebb, azaz valamely H 0 < H -ra
H 0 már nem fels® korlát. Jelölése : sup A.
Nézzük meg, hogy teljesül-e ez a legkisebb fels® korlát tulajdonság a racionális
7
számokra ! Legyen az A = x | x < és x ∈ Q . Ebben az esetben a legkisebb fels®
11
7
korlát nyilvánvalóan a . Ezek után nem is olyan könny¶ olyan racionális számhalmazt
11 √
megadni, melyre nem teljesül ez a tulajdonság. A segítséget a 2 problémája nyújtja,
2
mégpedig, hogy az x =2 egyenletnek a racionális számok körében nincs megoldása. Így
2
a B = {x | x < 2 és x ∈ Q} halmaznak a racionális számok körében nincs szuprémuma.
A valós számok körében viszont van ez következik a III. axiómából. A
√ B halmaznak a
legkisebb fels® korlátja pontosan a 2, azaz
√
sup A = 2.
2.1.3. Intervallumok
2.17. Deníció. A valós számegyenes olyan legalább két elem¶ részhalmazát, mely
a halmaz bármely két eleme közötti összes valós számot tartalmazza intervallum nak
nevezzük.
(5) (a + b)(a − b) = a2 − b2
(6) (a − b)(a2 + ab + b2 ) = a3 − b3
(7) (a + b)(a2 − ab + b2 ) = a3 + b3
a0 = 1 a ∈ R és a 6= 0.
1
a−n = n ∈ N+ , a ∈ R és a 6= 0.4
an
A racionális számokra való kiterjesztés el®tt bevezetjük az
√ n-edik gyök fogalmát. Már az
el®z®ekben is láttuk, hogy 2-nek neveztük azt a pozitív számot, melyet ha négyzetre
emelünk 2-t kapunk. Ezt a fogalmat általánosítjuk most.
2.18. Deníció. Legyen n∈N+ , n>1 páros szám. Valamely a nemnegatív szám n-edik
gyöke olyan nemnegatív szám, melynek n-edik hatványa a.
2.19. Deníció. Legyen n ∈ N+ , n > 1 páratlan szám. Valamely a valós szám n-edik
gyöke olyan szám, melynek n-edik hatványa a.
√ √
n
√
n
(1)
n
a· b= a·b
√
na
n a
p
(2) √
n
b
= b
√ √
(3) ( k a)n = k an
pk n
√ p√ √
(4) a = n k a = n·k a
4 Tehát a nullának se a nulladik, se a negatív kitev®j¶ hatványait nem értelmeztük.
44 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
(1) am an = am+n
am
(2)
an
= am−n
(3) (ab)n = an bn
a n n
= abn
(4)
b
2.2.3. Logaritmus
Az el®z®ekben láttuk a hatványozás és az n-edik gyök kapcsolatát. Most is hasonló
dologról lesz szó csak most a kitev®t nem is merjük. Ha azt kérdezzük, hogy a 2-t ha-
nyadik hatványra kell emelni, hogy 8-at kapjunk mindenki egyszer¶en tud válaszolni,
3
hogy harmadik hatványra, hiszen 2 =8. Ha azt kérdezzük, hogy a kett®t hanyadik hat-
ványra kell emelni, hogy hármat kapjunk, nem tudunk könnyen válaszolni, hiszen nem
ismerünk olyan egész, s®t még racionális számot sem, mely megfelel® lenne. Igazolha-
tó, hogy a kitev® egy irracionális szám lesz, melyre bevezetünk egy új jelet. log2 3-mal
jelöljük azt a számot, melyre a kett®t emelve hármat kapunk. Tehát
2log2 3 = 3.
Így a
2x = 3
5 Az a = 0-ra a pozitív racionális kitev®t lehetne értelmezni, de mi nem tesszük.
2.3. FELADATOK 45
egyenlet megoldása :
x = log2 3.
Ezt általánosítja a következ® deníció :
2.2.4. Abszolútérték
2.22. Deníció. Az a szám abszolútértéke a következ® :
a, ha a≥0
|a| =
−a, ha a<0
2.3. Feladatok
2.7. Feladat. A = {2,4,6,8} és B = {3,6, 9}. Adja meg elemeinek felsorolásával
Legyen
az A ∩ B , A4B , (A4B) \ (A \ B) halmazokat !
2.8. Feladat. Legyen A = [2,5[ és B =]3,7[. Adja meg az A∩B , A4B , (A4B)\(A\B)
halmazokat !
2.9. Feladat. Legyen A = {x | 2x+3 < 0, x ∈ R}, B = {x | 3x−5 > 0, x ∈ R}. Adja meg
az A ∩ B , A ∩ B , (A ∩ B) ∪ (A ∩ B), A ∪ B halmazokat !
2.10. Feladat. Oldja meg a
2x+3
3x−5
<0 egyenl®tlenséget !
a) 2x+5
3
− x−3
4
<3
b) x+2
3x−4
≥2
c) |x − 2| > 3x + 4.
46 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
2.15. Feladat. Számítsa ki, hogy mely racionális számmal egyezik meg a következ®
szám :
√ √
q q
7 + 2 6 − 7 − 2 6.
a) x2 − 7 = 0
b) x2 + 7 = 0
c) x5 − 15 = 0
d) x5 + 15 = 0
√
e) x−3 = 2
√
f) x − 3 = −2
2.17. Feladat. Számítsa ki, hogy mely egész számmal egyezik meg a következ® szám :
√
104+lg 25 .
2.18. Feladat. Számítsa ki, hogy mely egész számmal egyezik meg a következ® szám :
a) 2x − 8 = 0
b) 2x + 8 = 0
c) 2x − 15 = 0
d) 2x + 15 = 0
e) log3 (x − 3) = 2
f) log3 (x − 3) = −2
2.4. POLINOMOK, EGYENLETEK 47
2a2 + a a + 1 a2 + 5a
a+1
3
− 2 1+ − 2 ,
a −1 a +a+1 a a +a
ahol a 6= 0, |a| 6= 1.
√
x+3 2
2+ √ ,
x − 16 x+3
ahol x ≥ 0, x 6= 16.
g = an xn + an−1 xn−1 + · · · + a1 x + a0
x2 + 3x + 2 + x2 + 5 = 2x2 + 3x + 7
(x2 + 3x + 2) · (x2 + 5) = x4 + 3x3 + 2x2 + 5x2 + 15x + 10 = x4 + 3x3 + 7x2 + 15x + 10.
2.24. Deníció. Ha a
g = an xn + an−1 xn−1 + · · · + a1 x + a0
egyR feletti polinom és x helyére c∈R számot helyettesítünk, akkor szintén egy számot
kapunk, melyet a polinom c helyen vett helyettesítési értékének nevezzük és g(c)-vel
jelölünk.
2.25. Deníció. Ha a g polinom c∈R helyen vett helyettesítési értéke 0 akkor azt
mondjuk, hogy c a g polinom gyöke.
ax2 + bx + c = 0 (a 6= 0)
a(x − x1 )(x − x2 ) = 0
D = b2 − 4ac
x2 + 1 = 0
egyenletet. Nyilván ennek a valós számok körében nincs megoldása, hiszen egy négy-
zetszám mindig nem negatív és ha ehhez 1-et adunk 0-nál nagyobb számot kapunk.
Viszont próbáljuk formálisan megoldani a feladatot :
x2 = −1
2.5. KOMPLEX SZÁMOK 49
√
x1,2 = ± −1
√
A −1 jelöli azt a számot, melyet, ha négyzetre emelünk −1-et kapunk. Természete-
6
sen ilyen valós szám nincs, de formálisan visszahelyettesítve az egyenletbe kielégíti azt.
√
Tehát mégis valamiféle számnak érdemes tekinteni. A −1-re vezessünk be i jelölést.
További példaként oldjuk meg az
x2 − 2x + 5 = 0
2 + 3i + 4 − 5i = 6 − 2i
6Amatematika történetében a harmadfokú egyenlet megoldása során fordultak el® el®ször ezek a
különös alakú számok, majd kés®bb Gauss adta meg ezek pontos értelmezését.
50 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
cos α = e1 .
2.4. ábra.
1
tg α= , tg α 6= 0, ctg α 6= 0
ctg α
A Pitagorasz-tétel alapján pedig teljesül a
sin2 α + cos2 α = 1
összefüggés. A szabályos háromszög és az egyenl®szárú derékszög¶ háromszög oldalai-
◦ ◦ ◦
nak segítségével kiszámíthatjuk a 30 , a 60 és a 45 szögfüggvényeinek pontos értékét :
√
sin 30◦ = cos 60◦ = 12 tg 30◦ = ctg 60◦ = 33
√ √
cos 30◦ = sin 60◦ = 23 ctg 30◦ = tg 60◦ = 3
√
sin 45◦ = cos 45◦ = 22 tg 45◦ = ctg 45◦ = 1
Megjegyezzük, hogy a szögeket nem csak fokban hanem radiánban is mérhetjük :
2.30. Deníció. 1 radián nagyságú az r sugarú kör azon középponti szöge, melyhez
tartozó ív hossza r.
Így
1(rad) ≈ 57,3◦ .
2π = 360◦
Az átváltás ívmértékr®l fokra és fordítva a következ®k szerint történik :
◦ 180◦
α = α
π
π
α= α◦
180◦
52 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
2.31.
√ Deníció. Az a + bi alakú komplex szám abszolút értékének nevezzük a r =
= 2 2
a + b valós számot, az x-tengely pozitív irányával bezárt szögét a komplex szám
argumentumának nevezzük és ϕ-vel jelöljük.
2.5. ábra.
a = r cos ϕ
b = r sin ϕ.
Ezeket az algebrai alakba helyettesítve kapjuk a komplex szám trigonometrikus alakját :
z = r(cos ϕ + i sin ϕ)
z1 r1
= (cos(ϕ1 − ϕ2 ) + i sin(ϕ1 − ϕ2 )).
z2 r2
√
2.25. Feladat. Írja fel a trigonometrikus alak segítségével a 2 + 2i és a −1 + 3i
szorzatát és hányadosát !
2.4. Tétel. Tetsz®leges 0-tól különböz® z = r(cos ϕ+i sin ϕ) komplex számra és bármely
n egészre
z n = rn (cos nϕ + i sin nϕ).
2.33. Deníció. Legyen n pozitív egész szám. A z 6= 0 komplex szám komplex n-edik
gyök ének nevezzük a w komplex számot, ha wn = z .
Megjegyezzük, hogy középiskolában a valós számok esetén egy valós számnak csak
legfeljebb egyetlen egy
√ n-edik gyöke volt és az a valós szám n-edik gyökét ha létezett
n
a-val jelöltük. Komplex számok esetén viszont ugyan ennek a valós számnak deníció
7
szerint n darab komplex n-edik gyöke van. Tehát megkülönböztetjük a valós és a
komplex n-edik gyök fogalmát. A komplex n-edik gyökökre nem vezetünk be és nem
8
is használunk külön jelölést egyszer¶en w0 , w1 , w2 , . . . wn−1 -nel jelöljük a z komplex
szám komplex n-edik gyökeit az alábbi tételben megadottaknak megfelel®en :
2.5. Tétel. Minden 0-tól különböz® z = r(cos ϕ+i sin ϕ) komplex számnak pontosan n
különböz® komplex n-edik gyöke van és ezek
√ ϕ 360◦ ϕ 360◦
wk = n
r cos + · k + i sin + ·k
n n n n
2.34. Deníció. Az 1 komplex szám komplex n-edik gyökeit komplex n-edik egység-
gyökök nek nevezzük. Jelölése : ε0 , ε1 , . . . εn−1 .
2.28. Feladat. Határozza meg a komplex hatodik egységgyököket !
7 Tehát a komplex számok körében a komplex n-edik gyökvonás egy n érték¶ m¶veletnek tekinthet®.
8 Jelölhetnénk √
n
z -vel a z komplex szám komplex n-edik gyökeinek halmazát, de mivel ez eltér
a√középiskolában szokásos egyértelm¶ jelölést®l, nem használjuk a jegyzetben. Másrészt jelölhetnénk
n
z -vel a w0 f®értéket, azaz melynek legkisebb az argumentuma, de mivel ez páratlan n és negatív
valós z esetén nem egyezik meg a valós n-edik gyök fogalmával, így inkább ezt sem használjuk.
54 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
g = an xn + an−1 xn−1 + · · · + a1 x + a0
2.6. Tétel (Az algebra alaptétele). Minden legalább els®fokú komplex együtthatós po-
linomnak van legalább egy komplex gyöke.
2.7. Tétel. Ha c1 gyöke a g polinomnak, akkor
g = (x − c1 ) · g1 ,
2.8. Következmény. Legyen g=an xn +an−1 xn−1 +· · ·+a1 x+a0 egy komplex együtthatós
n-edfokú polinom. Ekkor a g polinomnak és a g = 0 egyenletnek is pontosan n komplex
gyöke van.
Természetesen a többszörös gyököket multiplicitással számoltuk az el®z® tételben
és így jön ki a pontosan n gyök, különben csak legfeljebb n-et mondhatnánk, de az nem
hangzik olyan szépen. Ezt az eredményt fogalmazza meg a következ® tétel gyöktényez®s
alakban és ez már teljesen pontos.
1 = cos 0◦ + i sin 0◦
x0 = cos 0◦ + i sin 0◦ = 1
√
x1 = cos 60◦ + i sin 60◦ = 1
2
+ 2
3
i
√
x2 = cos 120◦ + i sin 120◦ = − 12 + 2
3
i
x3 = cos 180◦ + i sin 180◦ = −1
√
x4 = cos 240◦ + i sin 240◦ = − 12 − 2
3
i
√
x5 = cos 300◦ + i sin 300◦ = 1
2
− 2
3
i
√ ! √ ! √ ! √ !
1 3 1 3 1 3 1 3
(x − 1) · (x + 1) · x + − i · x+ + i · x− − i · x− + i
2 2 2 2 2 2 2 2
y 2 − 2y + 2 = 0.
A megoldóképlet alapján :
√
2 ± 4 − 4 · 2 2 ± 2i
y1,2 = = = 1 ± i.
2 2
Az y = x3 egyeneltbe az y helyére visszaírva a kapott értékeket két harmadfokú egyen-
letet kapunk. Az els® :
x3 = 1 + i
Az 1 + i-t trigonometrikus alakba átírjuk :
√
x3 = 2(cos 45◦ + i sin 45◦ ).
√
x0 = 6
2(cos 15◦ + i sin 15◦ )
√
x1 = 6
2(cos 135◦ + i sin 135◦ )
√
x2 = 6
2(cos 255◦ + i sin 255◦ )
A második egyenelet :
x3 = 1 − i
Az 1 − i-t trigonometrikus alakba átírjuk :
√
x3 = 2(cos 315◦ + i sin 315◦ ).
√
x3 = 6
2(cos 105◦ + i sin 105◦ )
√
x4 = 6
2(cos 225◦ + i sin 225◦ )
√
x5 = 6
2(cos 345◦ + i sin 345◦ )
2.7. Feladatok
2.31. Feladat. Legyen z = 1 + 2i, w = 5 − 3i. Írja fel algebrai alakban a következ®
komplex számokat : z + w, zw, wz , z + z , zz , z 2 .
2.7. FELADATOK 57
b) sin x = −0,3
c) cos x = 12
d) cos x = −0,6
e) tg x=2
f) tg x = −1.
2.33. Feladat. Határozza meg a 3+i komplex szám negyedik hatványát és komplex
harmadik egységgyökeit !
a) x2 + 25 = 0, x3 + 27 = 0, x4 + 16 = 0, x5 + 32 = 0, x6 + 1 = 0
√ √
b) x2 = 1 + 2i, x√3 = 2(cos 135◦ + i sin 135◦ ), x3 = i, x4 = 3(cos 120◦ + i sin 120◦ ),
(1 − i)x3 = 128(cos 225◦ + i sin 225◦ )
c) x2 − 6x + 13 = 0, x2 + 4x + 8 = 0, 4x2 + 3x + 1 = 0, x3 − 4x2 + 5x = 0,
d) ix2 + (2 + 3i)x + 8 + 3i = 0, (1 + i)x2 − (2 + i)x + 2i = 0, x2 + (i − 2)x + 6 − 6i = 0,
x2 − (2 + i)x + 7i − 1 = 0
f) x3 + x2 + x + 1 = 0, x4 + x3 + 2x2 + x + 1 = 0, x4 + x3 + x2 + x + 1 = 0 *.
58 2. HALMAZELMÉLETI ÉS ALGEBRAI ALAPISMERETEK
3. fejezet
3.1. Számsorozatok
3.1.1. Számsorozat fogalma, megadása
3.1. Deníció. Sorozatnak nevezzük az olyan függvényeket, amelyek minden pozitív
egész számhoz egy-egy valós számot rendelnek hozzá.
1
an =
n
Ekkor a sorozat elemei :
1 1
a1 = 1, a2 = , a3 = , . . .
2 3
(2) A sorozatot megadhatjuk utasítással is. Legyen an a π szám n-edik tizedesjegye !
Ekkor az {an } sorozat elemei :
a1 = 1, a2 = 4, a3 = 1, . . .
(3) A sorozatot megadhatjuk rekurzióval is. Ekkor úgy járunk el, hogy megadjuk
a sorozat els® elemét, majd leírunk egy olyan eljárást, amelynek segítségével a
sorozat bármely eleme megadható az ®t megel®z® elem (vagy elemek) segítségével.
Ilyen megadásnak az egyik legegyszer¶bb esete a számtani sorozat. Legyen tehát
a sorozat els® tagja a, majd a sorozat bármely további tagja az ®t megel®z®b®l
egy d szám hozzáadásával álljon el® :
a1 = a, an = an−1 + d.
60 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
3.1. Feladat. Adjuk meg az els® öt tagját és ábrázoljuk az alábbi képlettel megadott
sorozatokat. Milyen tulajdonságokkal rendelkeznek ezek a sorozatok ?
1 1 1
an = , bn = (−1)n , cn = (−1)n + 1 , dn = n2 .
n n n
1
an = n
bn = (−1)n n1
3.1. ábra.
1
cn = (−1)n n
+1 dn = n2
3.2. ábra.
an+1 ≥ an
monoton csökken®nek nevezzük, ha
an+1 ≤ an
3.1. SZÁMSOROZATOK 61
an+1 > an
monoton szigorúan csökken®nek nevezzük, ha
an+1 < an
teljesül minden n-re.
1 1 n − (n + 1) −1
− = =
n+1 n (n + 1)n (n + 1)n
Mivel az n>0 ezért az (n + 1)n > 0 is teljesül. Ez alapján a
−1
an+1 − an = < 0.
(n + 1)n
Melyb®l következik, hogy
an+1 < an .
Tehát szigorúan monoton csökken® a vizsgált sorozat.
an+1
A második megoldás során vizsgáljuk a hányados értékét. Ez pozitív tagú
an
sorozatok esetén általában egyszer¶bb :
1
an+1 n+1 1 n n
= 1 = =
an n
n+1 1 n+1
Mivel an > 0 minden n-re
an+1 n
= < 1,
an n+1
így
an+1 < an .
1
Tehát szigorúan monoton csökken® az an = n
sorozat.
3.3. Feladat. Vizsgálja meg az an = 5n+1
2n+3
sorozat monotonitását !
3.1. Tétel. Egy sorozat akkor és csak akkor korlátos, ha van olyan L szám, hogy |an |≤
≤ L minden n-re.
Másképpen fogalmazva ez a tétel azt mondja ki, hogy korlátos sorozat esetén van
olyan L szám, melyre a sorozat elemei mindig a [−L, L] intervallumba esnek.
Megoldás: A sorozat alulról korlátos, hiszen n>0 miatt minden tagja pozitív. Más-
részt viszont az el®z®ekben igazoltuk, hogy a sorozat szigorúan monoton csökken®,
tehát az els® tagja egy fels® korlátnak alkalmas :
1
an = < a1 = 1,
n
3n
an =
4n + 5
sorozat korlátos !
Megoldás: A sorozat alulról korlátos, hiszen minden tagja pozitív. A egy fels® korlátot
a sorozat tagjainak fels® becslésével állapítunk meg :
3n 3n 4n
an = < < =1
4n + 5 4n 4n
3.3. ábra.
|an − a| < ε
teljesülni fog. Az elég nagy n-et pontosabban úgy fogalmazhatjuk, hogy létezik olyan
N, hogy ha n > N, akkor az |an − a| < ε. Tehát a határérték denícióját az alábbiak
szerint adhatjuk meg :
|an − a| < ε.
Az olyan sorozatokat, melyeknek van határértéke, konvergens sorozatoknak nevezzük.
Jelölése :
lim an = a
n→∞
64 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
3.4. ábra.
3.5. Deníció. Az{an } sorozatról azt mondjuk, hogy a ∞-hez tart, ha bármely K
számhoz van olyan N szám, hogy ha n > N , akkor an > K . Jelölése :
lim an = ∞
n→∞
Mivel a ∞ nem egy szám, ezért ezt a sorozatot nem nevezzük konvergensnek. Össze-
foglaló néven a nem konvergens sorozatokat, idegen szóval divergens a sorozatnak mond-
juk. Hasonlóan deniálhatjuk a −∞-hez tartó sorozatot is. Ezt is divergens sorozatnak
1 Megjegyezzük,
hogy az irodalomban mind a sorozat határértékének, mind a küszöbszámnak vál-
tozatos értelmezései találhatók. A N -r®l nem tettük fel, hogy csak pozitív egész szám lehet, hiszen
csak az a lényeg, hogy van ilyen N szám. Ez akár a feladatoknál, akár a bizonyításoknál el®nyös
lehet. Ha viszont azt keressük, hogy pontosan mely tagtól esnek a sorozat elemei a határérték egy
adott környezetébe, akkor ez egy egyértelm¶ szám megadását indokolja, melyet mi küszöbszámnak
neveztünk.
3.1. SZÁMSOROZATOK 65
nevezzük. A divergens sorozatok egy másik fontos osztályát alkotják azok a sorozatok,
melyek nem egy számhoz tartanak. Tekintsük erre a követekez® feladatot :
3.11. Feladat. 1
Igazolja, hogy a an = (−1)n n
+1 sorozat divergens.
{c · an }.
Az {an } és {bn } sorozatok összegét, különbségét, szorzatát, hányadosát rendre az aláb-
biak szerint deniáljuk :
an
{an + bn }, {an − bn }, {an · bn }, ,
bn
lim an + bn a+b ∞
n→∞
lim an · bn a·b ∞
n→∞
a
b
, ha b 6= 0
an ∞
lim divergens, ha a 6= 0, b = 0 N (
∞
típus)
n→∞ bn
0
N ( típus),
0
ha a = 0, b = 0
lim an + bn ∞ ∞
n→∞
lim an − bn ∞ −∞
n→∞
an ±∞ (b el®jelét®l függ), ha b 6= 0
lim 0
n→∞ bn
divergens, ha b=0
√
3.16. Feladat. Határozza meg az an = n2 + n − n sorozat határértékét !
3.8. Tétel. A an = qn sorozatra az alábbi teljesül:
ha |q| < 1
0
ha q = 1
1
lim q n =
n→∞ ∞ ha q > 1
divergens ha q ≤ −1
3.5. ábra.
3.11. Tétel. Legyen |a| > 1 valós szám, k egy rögzített valós szám, akkor
nk
lim = 0,
n→∞ an
an
lim = 0.
n→∞ n!
3.2. Függvények
3.2.1. A függvény fogalma
3.8. Deníció. Legyen A és B nem üres halmaz. Függvénynek nevezzük azt a hozzá-
rendelést, mely az A halmaz minden eleméhez hozzárendeli a B halmaz egy elemét. A
függvények jelölése :f , g , . . .
3.6. ábra.
f : R → R, f (x) = x2
Nagyon gyakran, ha a félreértést®l nem kell tartani, beszélünk f (x) = x2 függvényr®l.
Ebben az esetben az értelmezési tartomány mindig a valós számok halmazának legb®-
vebb olyan részhalmaza, melyen az adott kifejezés értelmezve van. A képhalmaz pedig
a valós számok halmaza.
3.2. FÜGGVÉNYEK 69
3.19. Feladat. Döntse el, hogy az alábbi függvények közül melyek azonosak :
f: R→R f (x) = x2 − 1
g: g(x) = x2 − 1
h: R→R h(x) = (x − 1)(x + 1)
+
k: R →R k(x) = x2 − 1
l: R → [−1, ∞] f (x) = (x − 1)(x + 1)
f (x) = 2x + 3
3.7. ábra.
f (x) = x2 f (x) = x3
3.8. ábra.
1 1
f (x) = x 2 f (x) = x 3
3.9. ábra.
f (x) = x−1
3.10. ábra.
f (x) = x4 − 4x2
3.11. ábra.
x+1
f (x) = x−1
3.12. ábra.
Trigonometrikus függvények
3.13. ábra.
72 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
3.14. ábra.
1 x
f (x) = 2x és f (x) = 2
3.15. ábra.
3.16. ábra.
3.2. FÜGGVÉNYEK 73
3.20. Feladat. Adja meg az f : [−5,5] → R, f (x) = x2 −4x függvény értelmezési tarto-
mányát, értékkészletét, grakonját !
3.17. ábra.
sin
√ x, ha −6 < x < 0
f : [−6,8] → R, f (x) = x, ha 0≤x<4 .
x2
8
, ha 4≤x<8
3.18. ábra.
3.22. Feladat. Adja meg az f : R → R, f (x) = |x| függvény grakonját és felírását
intervallumonként adott függvényként !
3.23. Feladat. Adja meg az f : R → R, f (x) = sgn (x) függvény grakonját és felírását
intervallumonként adott függvényként !
2 Megjegyezzük, hogy az irodalomban több helyen az összetett függvényt csak akkor értelmezik, ha
Rg ⊆ Df . Ezen értelmezés alapján az összett függvény nagyon sok esetben nem lenne képezhet®, mikor
azt mégis használjuk. Lásd a következ® feladatoknál.
3.2. FÜGGVÉNYEK 75
f ◦ g : Df ◦g → D, (f ◦ g)(x) = f (g(x)),
ahol
Df ◦g = {x | g(x) ∈ Rg ∩ Df } .
3.19. ábra.
g ◦f f ◦g
3.20. ábra.
3.21. ábra.
3.22. ábra.
Megoldás: Az f
függvény nem kölcsönösen egyértelm¶, tehát nincs inverze. Ha az
+ + 2
f függvény helyett a g : R → R , g(x) = x függvényt vizsgáljuk, akkor ennek már
3.2. FÜGGVÉNYEK 77
3.23. ábra.
3.22. Deníció. Az f függvényt periodikus nak nevezzük, ha létezik olyan p > 0 valós
szám amelyre teljesül hogy, ha x eleme az értelmezési tartománynak, akkor x + p is
eleme az értelmezési tartománynak, és fennáll, hogy f (x+p) = f (x). Ha létezik az ilyen
tulajdonságú p számok között legkisebb, akkor ezt a függvény periódus ának nevezzük.4
3.31. Feladat. Ábrázolja az összes ismert alapfüggvényt és inverzét egy-egy közös ko-
ordinátarendszerben ! Döntse el, hogy a fenti tulajdonságok közül melyikkel rendelkezik
a függvény !
4 Megjegyezzük, hogy több könyv bármely p értéket periódusnak nevez, melyre teljesül, hogy f (x+
+ p) = f (x). Mi ezt nem tesszük.
3.2. FÜGGVÉNYEK 79
x
f A
, A>0 A függvény képe az x tengellyel párhuzamo-
san A-szorosára nyúlik.
3.24. ábra.
3.25. ábra.
80 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
3.26. ábra.
x−a
B ·f +b
A
a) f (x) = 2x2 − 4x + 6
√
b) f (x) = 2x − 4 + 5
c) f (x) = 1−x
1+x
d) f (x) = 2arctg (x − 5)
3.3. FÜGGVÉNY HATÁRÉRTÉKE, FOLYTONOSSÁG 81
x2 − 4
f : R \ {2} → R, f (x) = .
x−2
Ez a függvény nincs értelmezve az x = 2 pontban, tehát azt mondjuk, hogy ebben
a pontban szakadása van a függvénynek. A többi pontban folytonos-e ez a függvény,
vagy általában ahol értelmezve van a függvény ott biztosan folytonos-e ? Sajnos nem !
Módosítsuk a fenti függvényt, úgy hogy x = 2-ben is értelmezve legyen :
x2 −4
, ha x 6= 2
f : R → R, f (x) = x−2
0, ha x=2
3.27. ábra.
Így a függvényértékek sorozata 4-hez és nem nullához tart. Tehát azt mondjuk, hogy
ez a függvény nem folytonos az x = 2 pontban, hiába van ott értelmezve. Tehát a
folytonosság szoros kapcsolatban van a függvény adott pontbeli határértékével, melyet
a fenti példa alapján az alábbiak szerint deniálunk :
lim f (x) = a
x→x0
3.34. Feladat. Mely pontban folytonos és melyben nem az f : R\{2} → R, f (x) = xx−2
−4 2
függvény ?
x2 − 4 (x − 2)(x + 2)
lim = lim = lim x + 2 = x0 + 2
x→x0 x−2 x→x0 x−2 x→x0
3.28. ábra.
Általában a feldatok esetén nem a deníció alapján döntjük el a folytonosságot,
hanem felhasználjuk, hogy a folytonos függvények összege, különbsége, szorzata és há-
nyadosa (a nevez® zérushelyét kivéve) is folytonos :
x2 − 4 (x − 2)(x + 2)
lim = lim = lim x + 2 = 2 + 2 = 4.
x→2 x − 2 x→2 x−2 x→2
1
lim = ∞,
x→0 |x|
84 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
3.29. ábra.
Tehát azt kaptuk, hogy a függvény határértéke 0-ban +∞. Ennek pontos deníciója
az alábbi :
3.25. Deníció. Tegyük fel, hogy az f (x) függvény értelmezve van valamely az x0 -
t tartalamzó nyílt intervallum minden pontjában (kivéve esetleg az x0 pontot). Azt
mondjuk, hogy az f (x) határértéke az x0 pontban ∞, szimbolikusan
lim f (x) = ∞
x→x0
3.30. ábra.
3.26. Deníció. Tegyük fel, hogy az f (x) függvény értelmezve van valamely az x0 -
t tartalamzó nyílt intervallum minden pontjában (kivéve esetleg az x0 pontot). Azt
mondjuk, hogy az f (x) függvény jobboldali (baloldali) határértéke az x0 pontban az
A, szimbolikusan
lim f (x) = A lim f (x) = A
x→x0 + x→x0 −
lim f (x) = f (x0 ) lim f (x) = f (x0 ) .
x→x0 + x→x0 −
86 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
x x
lim = lim = lim 1 = 1.
x→0+ |x| x→0+ x x→0+
3.31. ábra.
x
Összességében az f (x) = |x|
függvény jobboldali határértéke 0-ban 1, a baloldali ha-
tárértéke −1. Így a függvény nem tehet® folytonossá az adott pontban, viszont azt el
tudjuk érni, hogy például jobbról folytonos legyen :
x
|x|
, ha x 6= 0
f : R → R, f (x) =
1, ha x=0
(3) értelmezve van a függvény az adott pontban, de az adott pontbeli határérték nem
létezik.
3.13. Tétel. Korlátos zárt [a, b] intervallumon folytonos függvény korlátos, felveszi a
széls®értékeit, felvesz minden f (a) és f (b) közti értéket.
3.14. Tétel.
sin x
lim = 1.
x→0 x
3.29. Deníció. Tegyük fel, hogy az f (x) függvény értelmezve van minden x>K∈
∈ R-ra. Azt mondjuk, hogy az f (x) függvény határértéke ∞-ben A, szimbolikusan
lim f (x) = A
x→+∞
3.32. ábra.
3.3.3. Feladatok
3.40. Feladat. Számítsa ki az alábbi függvények (jobb-, illetve baloldali) határérté-
keit a szakadási pontokban és ±∞-ben. Továbbá adja meg, hogy megszüntethet®-e a
szakadása a függvénynek ! Ha tudja vázolja a függvény grakonját !
a) f (x) = xx−1
2
−1 x+6 x −2x−3 2
, f (x) = 2 , f (x) = 2 ,
x +4x−12 x −4x+3
b) f (x) = x−2
6 4x +2x+5 2 2x +5 1 2
, f (x) = , f (x) = , f (x) = 2
2x2 +3 5x+4 x −4
c) f (x) = xx+2
4
−16 x −3 2
, f (x) = 4 ,
x −2x2 −3
√ √ √ √
d) f (x) = x−2
x−4
, f (x) = 1+x2 −1
x
, f (x) = x+13−2 x+1
2
x −9
, f (x) = √ x−3
x+1−2
√
e) f (x) = sinx x , f (x) = sin x1 , f (x) = x sin x1 , f (x) = x2 sin x1 , f (x) = x sin x1
f) f (x) = 1−cos x sin x+2 sin x 2
, f (x) = ,
x2 x cos x
g) f (x) = | xxsin x x −1 2
2 +1 | f (x) = |x|−1
√ √ √
h) f (x) =
4 5
x2 x6 +2− 2x7 −1
x
, f (x) = √
2 x3 +3x
,
√ √
i) f (x) = x − x + 1,
j) f (x) = 3x+1 2x−15
3x+7
3.4. Dierenciálszámítás
3.4.1. Deníció, érint® egyenlete
3.41. Feladat. Rajzoljuk meg az f (x) = x2 függvény x0 = 1 , x1 = 3 abszcisszájú pont-
jaihoz tartozó szel®k egyenletét.
f (x1 ) − f (x0 )
m=
x1 − x0
f (x1 ) − f (x0 )
y= · (x − x0 ) + f (x0 )
x1 − x0
Behelyettesítve
9−1
y= · (x − 1) + 1
3−1
y = 4x − 3
3.33. ábra.
y = 2(x − 1) + 1
y = 2x − 1
3.34. ábra.
3.4. DIFFERENCIÁLSZÁMÍTÁS 91
Tehát azt kaptuk, hogy bármely x0 pontban az f (x) = x2 függvény érint®jének a me-
redeksége 2x0 .
Azt a függvényt mely az x0 -hoz 2x0 -t rendel az f (x) = x2 függvény
0
deriváltjának nevezzük és f (x) = 2x-szel jelöljük. Nezzük ezeket a fogalmakat általá-
nosan :
f (x) − f (x0 )
lim
x→x0 x − x0
f f0 f f0
f (x) = ln x f 0 (x) = 1
x
f (x) = arctg x f 0 (x) = 1
1+x2
alkalmazzuk a deníciót :
sin x − sin x0
(sin x)0 = lim =
x→x0 x − x0
Majd felhasználjuk a szögfügvények különbségére vonatkozó összefüggést
2 cos x+x
2
0
sin x−x
2
0
cos x+x
2
0
sin x−x
2
0
f (x) − f (x0 )
lim
x→x0 + x − x0
határértéket, ha létezik. Jelölése : f+0 (x0 ).
f (x) − f (x0 )
lim
x→x0 − x − x0
3.44. Feladat. Határozzuk meg az f (x)=|x2 −1| függvény jobb- és baloldali deriváltjait
az x0 = 1 pontban !
3.15. Tétel. Az f 0 (x0 ) akkor és csak akkor létezik, ha f+0 (x0 ) és f−0 (x0 ) léteznek és
egyenl®k.
Az el®z® példák mutatják, hogy egy folytonos függvény nem feltételenül dierenci-
álható minden pontban. Viszont a tétel megfordítása teljesül :
x ln x 0 x ln x 1
=e (x ln x) = e ln x + x = xx (ln x + 1)
x
x − sin x
lim
x→0 x3
3.18. Tétel. Legyenek az f és g függvények az x0 hely valamely környezetében die-
renciálhatók, amelyekre
lim f (x) = lim g(x) = ∞ (vagy − ∞)
x→x0 x→x0
lim (x ln x)
x→0
ln x
lim
x→∞ x
ln x
lim
x→0 x
Természetesen itt sem következik, hogy a függvénynek széls®értéke van, ahol f 0 nem
1
létezik : vizsgáljuk az f (x) = x 3 függvényt.
derivált nem létezik, van széls®érték derivált nem létezik, nincs széls®érték
3.36. ábra.
(5) Számítsuk ki f 00 -t, majd keressük meg azokat a pontokat, ahol f 00 = 0 vagy f 00
nem létezik. Ezek lehetnek az inexiós pontok.
(9) Vegyük fel a görbe fontos pontjait, azaz a tengelyekkel való metszéspontjait, a
széls®érték-, inexióspontokat, azután pedig rajzoljuk meg a görbét.
Megoldás:
a) Df = R, azaz az értelmezési tartomány a valós számok halmaza.
b) A függvény deriváltja f 0 (x) = 3x2 + 6x − 9. Ha a deriváltat egyenl®vé tesszük 0-val
egy másodfokú egyenletet kapunk, melynek megoldásai : x1 = −3, x2 = 1. Ezek
a lehetséges széls®értékhelyek, melyek segítségével a valós számok halmazát 3
intervalumra osztjuk, így megkapjuk a táblázatunk legfels® sorát.
A helyettesítési érték 15, tehát pozitív, így ezen az intervallumon növekv® a függ-
vény, ezt jelzi az alsó sorban a kis nyíl. A másik két intervallumon is hasonlóan
kiszámítjuk a helyettesítési értékeket és megkapjuk, hol n®, hol csökken a függ-
vény. Ezután beírjuk a táblázatba, hogy a lehetséges széls®érték helyek közül az
x1 =−3 helyen maximuma van a függvénynek, az x2 =1 helyen minimuma. Ezeken
a helyeken a függvényértékek :
x < −1 x = −1 −1 < x
00
f − 0 +
f konkáv inexiós pont konvex
f 00 (−2) = 6 · (−2)0 + 6 = −6
Tehát negatív a második derivált a −2 helyen, így az x<−1 intervallumon konkáv
a függvény. Ezen a helyen a függvényérték :
lim x3 + 3x2 − 9x = ∞
x→∞
lim x3 + 3x2 − 9x = −∞
x→−∞
x3 + 3x2 − 9x = 0
(x2 + 3x − 9)x = 0
Egy szorzat akkor nulla, ha valamelyik tényez®je nulla, így x=0 vagy x2 + 3x −
− 9 = 0, melynek megoldásai :
√
−3 ± 3 5
x1,2 =
2
x1 ≈ −4,85
x2 ≈ 1,85
3.38. ábra.
100 3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK
bevezetése
(4) létezik nullvektor, azaz olyan elem, melyre teljesül, hogy a+0 = 0+a = a
(5) létezik ellentett (−a), azaz melyre teljesül, hogy (−a) + a = a + (−a) = 0
(6) αa is vektor
(7) 1a = a
(9) (α + β)a = αa + βa
kaptuk, hogy két síkbeli vektor pontosan akkor alkot bázist, ha nem párhuzamosak. Ha
koordinátákkal írjuk fel, akkor alkotnak bázist, ha nem egymás szám szorosai. Három
térbeli vektor akkor alkot bázist, ha nem párhuzamosak és nem is egysíkúak, hiszen
ezen esetben a három vektor segítségével nem állítható el® a tér összes vektora csak az
adott vektorokkal párhuzamos vagy egysíkú vektorok. Például a
1 2 3
3 , 4 , 7
2 3 5
vektorok habár látszólag különböz®k és nem is egymás szám szorosai, mégsem alkot-
nak bázist, mert egysíkúak. Honnan látszik ez ? Ha az els® két vektort összeadjuk a
harmadikat kapjuk. Tehát a három vektor, mint helyvektor a derékszög¶ koordináta
rendszerünkben egy ferde síkban található, mely átmegy az origón (ezt altérnek nevez-
zük). Tehát ez a három helyvektor csak egy síkot generál, így ezek segítségével nem
állítható el® a tér összes vektora. Gyakran használjuk, hogy a sík 2 dimenziós, a tér 3.
A dimenzió a bázis elemek számát jelenti vagy intuitíven a szabad elmozdulási irányo-
kat. Nézzük ezeket a fogalmakat általánosan ! Valójában az alábbi deníciók kicsit feje
tetejére állítják az eddigi felépítést.
A.2. Deníció. Az n-számú valós számból álló szám n-est n-dimenziós vektornak
nevezzük és oszlopba írjuk.
k
X
αi ai
i=1
sík bázisvektorai.
a1 a2
e1 3 1 .
e2 1 2
Nyilvánvalóan
e1 e2
e1 1 0 ,
e2 0 1
hiszen e1 = 1 · e1 + 0 · e2 , e2 = 0 · e1 + 1 · e2 .
α1 (3e1 + e2 ) + α2 e2 = 0,
a1 e2
e1 3 0 .
e2 1 1
a1 e2
a1 1 0 ,
e2 0 1
hiszen a1 pontosan a1 = 1·a1 +0·e2 . A fenti bizonyításból látható, hogy ez a csere akkor
végezhet® el, ha e1 sorának és a1 oszlopának metszetében nem 0 elem áll, azaz ha a1 és
e1 nem egymás számszorosa. Ezt a cserét nevezzük elemi bázistranszformációnak.
1 3
A.3. Feladat. Bázist alkotnak-e az a1 =
2
, a2 =
1
vektorok ?
a1 a2
e1 1 3 .
e2 2 1
a1 a2
a1 1 ? .
e2 0 ?
a1 a2
a1 1 3 .
e2 0 -5
a1 a2
a1 1 0 .
a2 0 1
Nézzük meg általánosan, hogy lehet megkapni az els® csere során a második oszlo-
pot. Adott a1 = α1 e1 + α2 e2 , a2 = x1 e1 + x2 e2 . Az els® egyenl®ségb®l kifejezzük e1 -t :
a1 − α2 e2
e1 =
α1
és behelyettesítjük a2 = x1 e1 + x2 e2 -be, így
a1 − α2 e2 x1 x1
a2 = x1 + x2 e2 = a1 + x2 − α2 e2 .
α1 α1 α1
A fenti jelölést alkalmazva :
a1 a2 a1 a2
x1
e1 α1 x1 −→ a1 1
α1
e2 α2 x2 e2 0 x2 − αx11 α2
Tehát látható, hogy az elemi bázistranszformáció során az új táblázatot úgy kapjuk
meg, hogy a generáló elem helyére 1-et írunk, oszlopában a többi elem 0 lesz. Sorát
pedig osztjuk a generáló elemmel. A többi elemet rendre úgy számítjuk ki, hogy a régi
táblazat eleméb®l (x2 ) kivonjuk a sorának és a generáló elem oszlopának metszetében
A.1. VEKTORTÉR, ELEMI BÁZISTRANSZFORMÁCIÓ 109
álló régi elemnek (α2 ) és oszlopának és a generáló elem sorának metszetében álló új
x
elemnek ( 1 ) a szorzatát.
α1
Megjegyezzük, hogy a fentieket fogalmazhatjuk a következ®képpen is : A generáló
elem sorát osztjuk a generáló elemmel, majd az így kapott sor α2 szeresét (általá-
ban αi szeresét) kivonjuk az α2 (általában αi ) sorából. Ezt az eljárást Gauss-Jordan
eliminációnak is nevezzük.
1 4 5
A.4. Feladat. Döntsük el, hogy a 3 ,
2 ,
5 három térbeli vektor bázist
2 5 7
alkot-e, lineárisan független-e ?
a1 a2 a3 a1 a2 a3 a1 a2 a3
e1 1 4 5 a1 1 4 5 a1 1 0 1
e2 3 2 5 e2 0 -10 -10 a2 0 1 1
e3 2 5 7 e3 0 -3 -3 e3 0 0 0
4
El®ször az e1 helyére a1 -t cserélünk, a második oszlopban
1
= 4, 2 − 41 · 3 = −10, 5 −
− 14 ·2 = −3, a harmadik oszlopban 51 = 5, 5− 15 ·3 = −10, 7− 15 ·2 = −3 adódik. Majd e2
−10
helyére a2 -t cserélünk, így a harmadik oszlop 5−
−10
·4 = 1, −10
−10
= 1, −3− −10−10
·(−3) = 0.
A harmadik bázis vektort viszont nem tudjuk kicserélni, mert sorának és oszlopának
metszetében 0 áll. Tehát azt kaptuk, hogy a 3 vektor nem lineárisan független, így nem
is alkot bázist. Az utolsó oszlopból az is kiderül, hogy a3 pontosan az a1 és a2 összege.
Szemléletesen ez a három vektor egy síkban van, amit a 3-dimenziós tér egy altérének
nevezünk. Ennek az altérnek a dimenziója 2 hiszen két független vektor a1 és a2 már
generálja, azaz az altér(sík) tetsz®leges elemét el®állítja.
(2) Lépései :
a) Egy nem 0 elem (generáló elem) kiválasztása (célszer¶ 1-t választani), a ge-
neráló elem helyére 1 kerül oszlopában a többi helyre 0.
d) Újabb nem 0 elemet választunk, mely nincs az el®bbi generáló elem sorában
és oszlopában és újra végrehajtjuk a lépéseket.
a1 a2 a3
a1 1 0 0
a2 0 1 0
a3 0 0 1
a1 a2 a3
a1 1 0 a
a2 0 1 b
e3 0 0 0
A.1.2. Feladatok
A.5. Feladat. Bizonyítsuk be, hogy a 2×2-es (n×m-es) mátrixok vektorteret alkotnak
és ebben a vektortérben
1 0 0 1 0 0 0 0
, , ,
0 0 0 0 1 0 0 1
mátrixok bázist alkotnak (HF).
a1 a2 a3 a4 a1 a2 a3 a4 a1 a2 a3 a4
e1 1 2 1 3 a1 1 2 1 3 a1 1 0 -3 1
e2 0 1 2 1 e2 0 1 2 1 a2 0 1 2 1
e3 2 0 2 0 e3 0 -4 0 -6 e3 0 0 8 -2
e4 1 1 1 1 e4 0 -1 0 -2 e4 0 0 2 -1
a1 a2 a3 a4 a1 a2 a3 a4
a1 1 0 1 0 a1 1 0 0 0
a2 0 1 4 0 a2 0 1 0 0
e3 0 0 4 0 a3 0 0 1 0
a4 0 0 -2 1 a4 0 0 0 1
A.7. Feladat. Bázist alkotnak-e, lineárisan függetlenek-e, hány dimenziós teret gene-
rálnak az alábbi vektorok :
1 4 −2
a) a1 = 2 , a2 = 2 , a3 = 2 ,
3 2 4
1 2 1
b) a1 = 1 , a2 = −3 , a3 = −5 ,
0 4 5
1 3 5
c) a1 = 2 , a2 = 2 , a3 = 6 ,
3 4 10
2 1 4 3
1 3 2 4
d)
a1 =
3 , a2 = 2 , a3 = 1 , a4 =
,
2
4 4 3 1
112 A. ELEMI BÁZISTRANSZFORMÁCIÓ KLASSZIKUS BEVEZETÉSE
−1 −1 0 −2
2 0 2
e) , a4 = 4
a1 =
1 , a2 = 3 , a3 = −1
3 .
3 2 −3 2
A.8. Feladat. Határozza meg a p paraméter értékét úgy, hogy az alábbi vektorok
bázist alkossanak Rn vektortérben :
1 2 1
a) a1 = 2 , a2 =
1 , a3 =
1 ,
1 1 p
1 1 0 −1
0 1 p
b) , a4 = 1
a1 =
1 , a2 = −1 , a3 = 1
1 .
−1 0 −1 −p
A.9. Feladat. Igazolja, hogy a legfeljebb harmadfokú polinomok vektorteret alkotnak
a valós számok felett ! Adja meg a vektortér egy bázisát !
A.11. Feladat. Írjuk fel az 5+6i komplex számot az 1−2i és a 3+2i komplex számok
lineáris kombinációjaként.
A.12. Feladat. 3 2
Bázist alkotnak-e a 3x +x +2x+1, az x3 +5x2 +4x+2, az x3 +4x2 +
3 2
+x+3 és a 4x + 2x + x + 2 polinomok ?
A.13. Feladat. Igazolja, hogy a 2×3 mátrixok vektorteret alkotnak a valós számok
felett ! Adja meg a vektortér egy bázisát !
A.14. Feladat. Hány dimenziós vektorteret alkotnak a valós számok felett a 3 × 4-es
mátrixok ?
1 2 3 1 4 3 5 1 1 2
A.15. Feladat. Az 1 2 , 2 1 , 4 4 , 7 2 , 3 0 mátrixok li-
neárisan függetlenek-e
? Hány
dimenziós vektorteret generálnak ? El®áll-e a ezek lineáris
4 5
kombinációjaként mátrix ?
2 7