HALMAZELMLET

Halmaz Tetszleges objektumok sszessgt halmaznak nevezzk.

Halmaz eleme Legyen tetszleges halmaz, ha az halmaz tartalmazza az objektumot, akkor , azaz eleme az
halmaznak.
Komplementer halmaz Legyen tetszleges halmaz, ekkor az

halmazt az halmaz komplementernek nevezzk.

Rszhalmaz Legyen tetszleges halmaz, ha minden esetn , akkor , azaz az halmazt az halmaz
rszhalmaznak nevezzk.
Ttel Legyen tetszleges halmaz, ha s , akkor .
Halmaz megszortsa Legyen tetszleges halmaz s tetszleges tulajdonsg, ekkor

halmaz az halmaz
megszortsa a tulajdonsg szerint.
res halmaz Legyen tetszleges halmaz, ekkor ltezik olyan halmaz, amelyre minden esetn , az halmazt
res halmaznak nevezzk.
Hatvnyhalmaz Legyen tetszleges halmaz, ekkor a

halmazt, az halmaz sszes rszhalmaznak halmazt

az halmaz hatvnyhalmaznak nevezzk.
Uni halmaz Legyen tetszleges halmaz, ekkor az

halmazt az halmaz s az halmaz unijnak

nevezzk.
Metszet halmaz Legyen tetszleges halmaz, ekkor az

halmazt az halmaz s az halmaz

metszetnek nevezzk.
Diszjunkt halmazok Legyen tetszleges halmaz, ha , akkor az halmaz s az halmaz diszjunkt halmazok.
Klnbsg halmaz Legyen tetszleges halmaz, ekkor az

halmazt az halmaz s az halmaz

klnbsgnek nevezzk.
Szimmetrikus differencia Legyen tetszleges halmaz, ekkor az halmazt az halmaz s az halmaz
szimmetrikus differencijnak nevezzk.
Direkt sszeg Legyen tetszleges halmaz, ekkor az

halmazt az halmaz s az halmaz direkt

sszegnek nevezzk.
Direkt szorzat Legyen tetszleges halmaz, ekkor az

halmazt az halmaz s az halmaz direkt

szorzatnak nevezzk s minden s esetn .
Direkt hatvny Legyen tetszleges halmaz, ekkor az

halmazt az halmaz direkt hatvnynak nevezzk.

De Morgan-ttel Legyen tetszleges halmaz, ekkor s .
De Morgan-ttel Legyen

tetszleges halmazsorozat, ekkor s .

Relci Legyen tetszleges halmaz, ha ltezik olyan halmaz, amely esetn , azaz minden esetn ltezik olyan
s , amelyre , akkor az halmazt relcinak nevezzk.
Relci rtelmezsi tartomnya Legyen tetszleges halmaz, relci s olyan halmaz, amelyre minden
esetn ltezik olyan , amelyre s nem ltezik olyan amelyre ltezik olyan , amelyre
, ekkor a halmazt az relci rtelmezsi tartomnynak nevezzk.
Relci rtkkszlete Legyen tetszleges halmaz, relci s olyan halmaz, amelyre minden
esetn ltezik olyan , amelyre s nem ltezik olyan , amely esetn ltezik olyan , amelyre
, ekkor az halmazt az relci rtkkszletnek nevezzk.
Reflexivits Legyen nemres halmaz s olyan relci, amelyre , ha minden esetn , akkor az
relcit tranzitv relcinak nevezzk.
Szimmetria Legyen nemres halmaz s olyan relci, amelyre , ha minden esetn ,
akkor az relcit szimmetrikus relcinak nevezzk.
Antiszimmetria Legyen nemres halmaz s olyan relci, amelyre , ha s , akkor ,
akkor az relcit antiszimmetrikus relcinak nevezzk.
Tranzitivits Legyen nemres halmaz s olyan relci, amelyre , ha s , esetn
, akkor az relcit tranzitv relcinak nevezzk.
Ekvivalencia relci Legyen nemres halmaz s olyan relci, amelyre , az az relci reflexv, szimmetrikus
s tranzitv, akkor az relcit ekvivalencia relcinak nevezzk.
Rendezsi relci Legyen nemres halmaz s olyan relci, amelyre , az az relci reflexv,
antiszimmetrikus s tranzitv, akkor az relcit ekvivalencia relcinak nevezzk.
Ekvivalencia osztly Legyen nemres halmaz s ekvivalencia relci, ekkor minden esetn az

halmazt ekvivalencia osztlynak nevezzk.

Ttel Legyen nemres halmaz s ekvivalencia relci, ekkor ltezik olyan

diszjunkt halmazokbl ll
halmazsorozat, amelyre minden

ekvivalencia osztly s

Inverz relci Legyen tetszleges halmaz, relci, ekkor az

relcit az relci
inverznek nevezzk.
Relcik kompozcija Legyen tetszleges halmaz, relci s relci, ekkor olyan
relci, amelyre minden esetn ltezik olyan , amelyre s , ekkor az
relci az relci s az relci kompozcija.
Ttel Legyen tetszleges halmaz, relci s relci, ekkor

.
Fggvny Legyen tetszleges halmaz, halmaz, halmaz s olyan egyrtelm hozzrendels, amelyre
minden esetn egyrtelmen ltezik olyan , amelyre , ekkor az

halmazt fggvnynek nevezzk.

Halmaz halmazkitevs hatvnya Legyen tetszleges halmaz, ekkor az

fggvny halmaz minden

fggvny halmaza.
Indiktor fggvny Legyen tetszleges halmaz, ekkor minden esetn az halmaz indiktor fggvnye

.
Fggvny megszortsa Legyen tetszleges halmaz, fggvny s tetszleges halmaz, ekkor az

fggvny az fggvny halmazra val megszortsa,

s minden esetn

.
Fggvny rtelmezsi tartomnya Legyen tetszleges halmaz, fggvny s olyan halmaz, amelyre minden
esetn egyrtelmen ltezik olyan , amelyre s nem ltezik olyan , amely esetn ltezik olyan
, amelyre , ekkor a halmazt az fggvny rtelmezsi tartomnynak nevezzk.
Fggvny rtkkszlete Legyen nemres halmaz, fggvny s olyan halmaz, amelyre minden
esetn egyrtelmen ltezik olyan , amelyre s nem ltezik olyan , amely esetn ltezik olyan ,
amelyre , ekkor az halmazt az fggvny rtkkszletnek nevezzk.
Helyettestsi rtk Legyen tetszleges halmaz s fggvny, ekkor az pontban az pontot
az fggvny helyettestsi rtknek nevezzk.
Sorozat Legyen tetszleges halmaz, ekkor az fggvnyt sorozatnak nevezzk.
Fggvnysorozat Legyen tetszleges halmaz, ekkor az

fggvnyek sorozatt

fggvnysorozatnak
nevezzk.
Kompozci Legyen tetszleges halmaz, fggvny s fggvny, ekkor az fggvny s a fggvny
kompozcija az fggvny, amelyre minden esetn
Injektv fggvny Legyen tetszleges halmaz, fggvny s

, ha minden

esetn

, akkor
az fggvnyt injektv fggvnynek nevezzk.
Szrjektv fggvny Legyen tetszleges halmaz s fggvny, ha minden esetn ltezik olyan , amelyre
, akkor az fggvnyt szrjektv fggvnynek nevezzk.
Bijektv fggvny Legyen tetszleges halmaz s fggvny, ha az fggvny injektv s szrjektv, akkor az fggvnyt
bijektv fggvnynek nevezzk.
Inverz fggvny Legyen tetszleges halmaz s bijektv fggvny, ha az

fggvnyre minden
esetn

, akkor az

fggvnyt az fggvny inverz fggvnynek nevezzk.

Mvelet Legyen nemres halmaz,

nemres halmazsorozat s

fggvny, ekkor az fggvnyt

mveletnek nevezzk.
Homogn mvelet Legyen nemres halmaz s

fggvny, ekkor az fggvnyt homogn mveletnek nevezzk.

Unris mvelet Legyen nemres halmaz s fggvny, ekkor az fggvnyt unris mveletnek nevezzk.
Egysgelem Legyen nemres halmaz s mvelet, ha ltezik olyan , amelyre minden esetn
, akkor az elem az mvelet neutrlis eleme.
Kommutativits Legyen nemres halmaz s mvelet, ha minden s esetn , akkor
az mveletet kommutatv mveletnek nevezzk.
Asszociativits Legyen nemres halmaz s mvelet, ha minden esetn ,
akkor az mveletet asszociatv mveletnek nevezzk.
Disztributivits Legyen nemres halmaz s mvelet, ha minden esetn
, akkor az mveletet disztributv mveletnek nevezzk a mveletre nzve.
Mvelet kiterjesztse Legyen nemres halmaz s asszociatv mvelet, ha ltezik olyan

mveletsorozat,
amelyre minden

esetn

Ttel Legyen nemres halmaz s egysgelemes asszociatv mvelet, ha az mvelet egysgeleme, akkor
minden esetn a

mvelet egysgelemes mvelet, a

mvelet egysgeleme s

Halmazelmleti aximk
y Ltezsi axima Ltezik halmaz.
y Meghatrozottsgi axima Legyen tetszleges halmaz, ha minden esetn s minden esetn ,
akkor
y Praxima Legyen tetszleges halmaz, ekkor ltezik olyan halmaz, amelyre .
y Uni axima Legyen

tetszleges halmaz, ekkor ltezik olyan halmaz, amelyre

y Hatvnyhalmaz axima Legyen tetszleges halmaz, ekkor ltezik olyan halmaz, amelyre .
y Rszhalmaz axima Legyen tetszleges halmaz s tetszleges tulajdonsg, ekkor ltezik olyan

halmaz, amely pontosan az halmaz tulajdonsg elemeit tartalmazza.
y Vgtelensgi axima Ltezik olyan halmaz, amely monoton halmaz, azaz s minden halmaz esetn
.
y Kivlasztsi axima Legyen nemres halmaz, ekkor .
y Ptlsi axima Legyen tetszleges halmaz s fggvny, ekkor

halmaz.
y Regularitsi axima Legyen nemres halmaz, ekkor ltezik olyan halmaz, amelyre .
Tranzitv halmaz Legyen tetszleges halmaz, ha minden esetn , akkor az halmazt tranzitv halmaznak nevezzk.
Ttel Legyen tetszleges halmaz, ekkor ltezik olyan

tranzitv halmaz, amelyre

.
Tranzitv lezrt Legyen tetszleges halmaz, ekkor az

halmazt az halmaz tranzitv lezrtjnak nevezzk.

Szigma-algebra Legyen nemres halmaz, ekkor az -algebra, ha , minden esetn s minden

halmazsorozat esetn
Ttel Legyen nemres halmaz s -algebra, ekkor , minden

halmazsorozat esetn ,
minden vges halmaz esetn s s minden esetn
Generlt szigma algebra Legyen nemres halmaz s tetszleges halmaz s

-algebra,
ekkor az ltal generlt legszkebb -algebra.
Algebra Legyen nemres halmaz ekkor az algebra, ha , minden esetn s
Gyr Legyen nemres halmaz s nemres halmaz, ekkor gyr, ha minden esetn s .
Ttel Legyen gyr, ekkor , minden esetn s minden vges halmaz esetn
s
Generlt gyr Legyen s

gyr, ekkor az ltal generlt legszkebb gyr.

Flgyr Legyen nemres halmaz s nemres halmaz, ekkor flgyr, ha minden esetn s
ltezik olyan
pronknt diszjunkt halmazokbl ll vges halmaz, amelyre
Ttel Legyen nemres halmaz s flgyr, ekkor s minden vges halmaz esetn s
Ttel Legyen nemres halmaz s flgyr, ekkor pontosan akkor, ha ltezik olyan pronknt diszjunkt
halmazokbl ll
vges halmaz, amely esetn
Vals szmok aximi Legyen nemres halmaz, amely teljesti a kvetkez tulajdonsgokat:
y Testaximk
y rtelmezve van az sszeads, amely minden elemprhoz az elemet rendeli hozz.
y Az sszeads asszociatv, azaz minden esetn .
y Az sszeads kommutatv, azaz minden esetn .
y Ltezik nullelem, azaz ltezik olyan , amelyre minden esetn .
y Ltezik additv inverz, azaz minden esetn ltezik olyan , amelyre .
y rtelmezve van a szorzs, amely minden elemprhoz az elemet rendeli hozz.
y A szorzs asszociatv, azaz minden esetn .
y A szorzs kommutatv, azaz minden esetn .
y Ltezik egysgelem, azaz ltezik olyan , amelyre minden esetn .

y Ltezik multiplikatv inverz, azaz minden esetn, ha , akkor ltezik olyan , amelyre .
y A szorzs disztributv az sszeadsra nzve, azaz minden esetn .
y Rendezsi aximk
y rtelmezve van a rendezsi relci, amelyre teljeslnek a kvetkez tulajdonsgok:
y Trichotmia: minden esetn , , kzl pontosan egy llts teljesl.
y Tranzitivits: minden esetn, ha s , akkor .
y Minden esetn, ha , akkor .
y Minden esetn, ha s , akkor .
y Arkhimdeszi axima Minden esetn ltezik olyan , amelyre .
y Cantor axima Legyen

monoton cskken zrt intervallumsorozat, azaz minden esetn

, ekkor
ltezik olyan , amelyre minden esetn

.
Ttel Minden esetn, ha , akkor ltezik olyan , amelyre .
Termszetes szmok halmaza
Egsz szmok halmaza
Racionlis szmok halmaza

Irracionlis szmok halmaza

Sr halmaz Legyen ija be az egyenletet iue
Ttel Minden esetn
Hromszg egyenltlensg Legyen , ekkor .
Bernoulli-egyenltlensg Legyen , ha , akkor minden esetn

.
Szmtani kzp Legyen

, ekkor az

szmok szmtani kzepe.

Mrtani kzp Legyen

, ha

, akkor az

szmok mrtani kzepe.

Harmonikus kzp Legyen

, ha

, akkor

az

szmok szmtani kzepe.

Ngyzetes kzp Legyen

, ekkor

az

szmok ngyzetes kzepe.

Ttel Legyen

, ha

, akkor
min

max

Fellrl korltos halmaz Legyen halmaz, ha ltezik olyan , amelyre minden esetn , akkor az halmazt
fellrl korltos halmaznak nevezzk.
Alulrl korltos halmaz Legyen halmaz, ha ltezik olyan , amelyre minden esetn , akkor az halmazt
alulrl korltos halmaznak nevezzk.
Korltos halmaz Legyen halmaz, ha az halmaz alulrl s fellrl korltos, akkor az halmazt korltos halmaznak nevezzk.
Ttel Legyen fellrl korltos nemres halmaz, ekkor az halmaznak egyrtelmen ltezik legkisebb fels korltja.
Szuprmum Legyen fellrl korltos nemres halmaz, ekkor az halmaz legkisebb fels korltja sup .
Ttel Legyen alulrl korltos nemres halmaz, ekkor az halmaznak egyrtelmen ltezik legnagyobb als korltja.
Infimum Legyen alulrl korltos nemres halmaz, ekkor az halmaz legnagyobb als korltja inf .
Direkt sszeg Legyen , ekkor

az s halmazok direkt sszege.

Ttel Legyen nemres halmaz, ekkor sup sup sup s inf inf inf.

Sorozatok sszege Legyen

sorozat, ekkor

az

sorozat s a

sorozat sszege.
Sorozatok szorzata Legyen

sorozat, ekkor

az

sorozat s a

sorozat szorzata.

Sorozat hatrrtke Legyen

sorozat, ha minden esetn ltezik olyan , amelyre minden esetn

, akkor az

sorozat hatrrtke.
Konvergens sorozat Legyen

sorozat, ha ltezik s akkor az

sorozat konvergens sorozat.

Divergens sorozat Legyen

sorozat, ha nem ltezik vagy akkor az

sorozat divergens sorozat.

Oszcilll sorozat Legyen

sorozat, ha nem ltezik, akkor az

sorozatot oszcilll sorozatnak nevezzk.

Ttel Legyen

konvergens sorozat, ekkor az

halmaz korltos halmaz.

Ttel Legyen

sorozat, ha s akkor .
Monoton nvekv sorozat Legyen

sorozat, ha minden esetn

, akkor az

sorozatot monoton nvekv

sorozatnak nevezzk.
Monoton cskken sorozat Legyen

sorozat, ha minden esetn

, akkor az

sorozatot monoton
cskken sorozatnak nevezzk.
Fellrl korltos sorozat Legyen

sorozat, ha ltezik olyan , amelyre minden esetn

, akkor az

sorozatot fellrl korltos sorozatnak nevezzk.
Alulrl korltos sorozat Legyen

sorozat, ha ltezik olyan , amelyre minden esetn

, akkor az

sorozatot alulrl korltos sorozatnak nevezzk.
Korltos sorozat Legyen

sorozat, ha az

sorozat alulrl s fellrl korltos sorozat, akkor az

sorozatot korltos
sorozatnak nevezzk.
Rszsorozat Legyen

sorozat, ekkor minden

esetn ha

, akkor az

sorozat

tagjaibl ll sorozatot az

sorozat

rszsorozatnak nevezzk.
Ttel Legyen

sorozat, ha ltezik, akkor az

sorozat minden

rszsorozata esetn ltezik s

lim

lim

Ttel Legyen

sorozat, ha s ltezik olyan , amelyre minden esetn

, akkor
lim

Ttel Legyen

sorozat, ha s ltezik olyan , amelyre minden esetn

, akkor
lim

Rendr-elv Legyen

sorozat, ha ltezik olyan , amelyre minden esetn

s
, akkor
Ttel Legyen

konvergens sorozat, ha , akkor ltezik olyan , amelyre minden esetn

.
Ttel Legyen

konvergens sorozat, ha ltezik olyan , amelyre minden esetn

, akkor
lim

lim

Ttel Legyen

konvergens sorozat, ekkor

konvergens sorozat,

konvergens sorozat,
s
Ttel Legyen

sorozat s

konvergens sorozat, ha , akkor

Ttel Legyen

sorozat s

konvergens sorozat, ha s , akkor

Ttel Legyen

sorozat s

konvergens sorozat, ha s , akkor

Ttel Legyen

sorozat, ha , akkor s
Ttel Legyen

sorozat, ha s , akkor
Ttel Legyen

korltos sorozat s

sorozat, ha akkor
Aszimptotikusan egyenl sorozatok Legyen

sorozat,
lim

lim

s
lim

akkor az

sorozat s a

sorozat aszimptotikusan egyenl sorozatok.

Cauchy-kritrium Legyen

sorozat, ekkor az

sorozat pontosan akkor konvergens, ha minden esetn ltezik

olyan , amelyre minden esetn

.
Cauchy- sorozat Legyen

sorozat, ha minden esetn ltezik olyan , amelyre minden esetn

, akkor az

sorozatot Cauchy-sorozatnak nevezzk.

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

lim

Dirichlet-fggvny Legyen fggvny, amelyre minden esetn

Riemann fggvny Legyen fggvny, amelyre minden esetn

Bolzano-Weierstrass-ttel Legyen

sorozat, ha

korltos sorozat, akkor ltezik konvergens rszsorozata.

VALSFGGVNY ANALZIS




Pros fggvny Legyen fggvny, ha minden esetn s , akkor az fggvnyt pros
fggvnynek nevezzk.
Pratlan fggvny Legyen fggvny, ha minden esetn s , akkor az fggvnyt
pratlan fggvnynek nevezzk.
Periodikus fggvny Legyen fggvny s , ha ltezik olyan , amelyre minden esetn
s , akkor a szmot az fggvny peridusnak nevezzk.
Fellrl korltos fggvny Legyen fggvny s halmaz, ha ltezik olyan , amelyre minden esetn
, akkor az halmazon az fggvnyt fellrl korltos fggvnynek nevezzk.
Alulrl korltos fggvny Legyen fggvny s halmaz, ha ltezik olyan , amelyre minden esetn
, akkor az halmazon az fggvnyt alulrl korltos fggvnynek nevezzk.
Korltos fggvny Legyen fggvny s halmaz, ha az fggvny az halmazon alulrl s fellrl korltos,
akkor az halmazon az fggvnyt korltos fggvnynek nevezzk.
Monoton nvekv fggvny Legyen fggvny s halmaz, ha minden

, esetn

, akkor az halmazon az fggvnyt monoton nvekv fggvnynek nevezzk.

Monoton cskken fggvny Legyen fggvny s halmaz, ha minden

, esetn

, akkor az halmazon az fggvnyt monoton cskken fggvnynek nevezzk.

Konvex fggvny Legyen fggvny s intervallum, ha minden s minden esetn




akkor az intervallumon az fggvnyt konvex fggvnynek nevezzk.
Konkv fggvny Legyen fggvny s intervallum, ha minden s minden esetn




akkor az intervallumon az fggvnyt konkv fggvnynek nevezzk.
Ttel Legyen fggvny s intervallum, ekkor az fggvny pontosan akkor konvex az intervallumon, ha
minden s minden esetn .
Jensen egyenltlensg Legyen fggvny, az fggvny pontosan akkor konvex az intervallumon, ha minden

s minden

esetn, ha minden

akkor

Krnyezet Legyen s , ekkor a intervallumot az pont sugar krnyezetnek nevezzk.
Pontozott krnyezet Legyen s , ekkor a

halmazt az pont sugar pontozott

krnyezetnek nevezzk.
Folytonossg Legyen s az fggvny legyen rtelmezve a
ha minden esetn ltezik olyan , amelyre ha , akkor
Baloldali folytonossg
Jobboldali folyonossg
Fggvny hatrrtke
Ttel Legyen fggvny





DIFFERENCILSZMTS
Derivlt Legyen az fggvny rtelmezve az

pont egy krnyezetben, ha a

lim

ltezik s
lim

, akkor a
lim

az fggvny

pontbeli derivltja.
rint Legyen fggvny s

, ekkor az fggvny ija be az egyenletet iue grafikonjnak

pontbeli
rintje az az egyenes, amely tmegy az

ponton s meredeksge

.
Derivltfggvny Az fggvny derivltfggvnye az az fggvny, amely rtelmezve van minden pontban, ahol derivlhat s
rtke minden pontban a derivlt rtke.
Ttel Ha derivlhat az

pontban, akkor folytonos az

pontban.
Derivlsi szablyok Legyen fggvny, ha az s a fggvny derivlhat az

pontban, akkor minden

esetn , , s

esetn

derivlhat az

pontban s teljeslnek a kvetkez szablyok:

y

Lncszably Ha derivlhat az pontban s derivlhat a pontban, akkor derivlhat az pontban s

.
Ttel

.
Ttel Ha

differencilhat, akkor

Inverz fggvny derivltja Legyen szigoran monoton, folytonos fggvny az intervallumon s legyen derivlhat a
pontban, ha

, akkor

derivlhat az pontban s

Abszolt maximum Legyen fggvny, ha ltezik olyan

, amelyre minden esetn

, akkor az
fggvnynek a halmazon az

pontban abszolt maximuma van.

Abszolt minimum Legyen fggvny, ha ltezik olyan

, amelyre minden esetn

, akkor az
fggvnynek a halmazon az

pontban abszolt minimuma van.

Loklis maximum Legyen rtelmezve

pont egy krnyezetben, ha

-nak van olyan krnyezete, ahol minden -re

, akkor -nek az

pontban loklis maximuma van.

Loklis minimum Legyen rtelmezve

pont egy krnyezetben, ha

-nak van olyan krnyezete, ahol minden -re

, akkor -nek az

pontban loklis minimuma van.

Szigor loklis maximum Legyen rtelmezve

pont egy krnyezetben, ha

-nak van olyan krnyezete, ahol minden

-ra

, akkor -nek az

pontban szigor loklis maximuma van.

Szigor loklis maximum Legyen rtelmezve

pont egy krnyezetben, ha

-nak van olyan krnyezete, ahol minden

-ra

, akkor -nek az

pontban szigor loklis maximuma van.

Msodik derivlt Ha derivlhat, akkor

.
derivlt Ha derivlhat, akkor az . derivljtja az

.
Ttel Ha derivlhat az

pontban, s -nek az

pontban loklis szlsrtke van, akkor

.
Rolle ttel Ha folytonos -ben s derivlhat -ben s , akkor ltezik olyan , amelyre

.
Lagrange kzprtkttel Ha folytonos -ben s derivlhat -ben, akkor ltezik olyan , amelyre

Ttel Ha minden esetn

, akkor ltezik olyan , amely esetn .

Ttel Ha folytonos -ben s derivlhat -ben, akkor pontosan akkor monoton nvekv -ben, ha

minden -re.
Ttel Ha folytonos -ben s derivlhat -ben, akkor pontosan akkor monoton cskken -ben, ha

minden -re.
Ttel Ha folytonos -ben s derivlhat -ben, akkor pontosan akkor szigoran monoton nvekv -ben, ha

minden -re, de egyik intervallumon sem .

Ttel Ha folytonos -ben s derivlhat -ben, akkor pontosan akkor szigoran monoton nvekv -ben, ha

minden -re, de egyik intervallumon sem .

Ttel Ha minden -re

, akkor szigoran monoton nvekv -n.

Ttel Ha minden -re

, akkor szigoran monoton cskken -n.

Ttel Ha

, akkor -nek az pontban loklis minimuma van.

Ttel Ha

, akkor -nek az pontban loklis maximuma van.

Ttel Ha -szor derivlhat az pontban s

, akkor -nek az pontban

loklis maximuma van.
Ttel Ha -szor derivlhat az pontban s

, akkor -nek az pontban

loklis minimuma van.
Ttel Ha -szer derivlhat az pontban s

, akkor -nek az
pontban nincs loklis szlsrtke.
Ttel Ha ktszer derivlhat az intervallumon, akkor pontosan akkor konvex, ha minden -re

.
Ttel Ha ktszer derivlhat az intervallumon, akkor pontosan akkor konkv, ha minden -re

.
Inflexis pont Ha ktszer derivlhat -ban s -nak van olyan baloldali krnyezete, ahol konvex s van olyan jobboldali
krnyezete, ahol konkv vagy fordtva, akkor -nek az pontban inflexis pontja van.
Ttel Ha ktszer derivlhat az pontban s -nek az pontban inflexis pontja van, akkor

.
Ttel Ha els nemnulla derivltjnak rendje az pontban pratlan akkor az pontban -nek inflexis pontja van, ha az els
nemnulla derivlt rendje pros, akkor -nek az pontban nincs inflexis pontja.
Taylor polinom Legyen -szer derivlhat az pontban, ekkor a

polinomot az Taylor polinomjnak nevezzk.

LHospital szably Legyen s derivlhat egy pontozott krnyezetben s s tegyk fel, hogy itt s s hogy
lim

lim

, vagy lim

, ha lim

, akkor lim

.
Darboux ttel Ha derivlhat -n, jobbrl derivlhat az pontban s balrl derivlhat a pontban, akkor az -n

kztt minden rtket felvesz.

INTEGRLSZMTS
Primitv fggvny Ha derivlhat az intervallumon s

minden -re, akkor az primitv fggvnye.

Integrlszmts alapttele Ha minden esetn

, akkor .
Ttel Ha primitv fggvnye -nek, akkor sszes primitv fggvnye alak.
Hatrozatlan integrl Az primitv fggvnyeinek sszessgt hatrozatlan integrljnak nevezzk s .
Integrlsi szablyok Ha -nek s -nek van primitv fggvnye az intervallumon s , akkor -nek s -nek is van
primitv fggvnye s teljeslnek a kvetkez szablyok:
y
y
Lineris helyettests Ha

egy intervallumon, akkor

minden ,
esetn.
Parcilis integrl Ha s derivlhat egy intervallumon, ha -nek van primitv fggvnye, akkor

.
Helyettestses integrl Legyen folytonos s folytonosan derivlhat az intervallumon, ha -nek ltezik primitv fggvnye a
intervallumon s

, akkor -nek is van primitv fggvnye az intervallumon s

log

Ttel Minden racionlis trtfggvny felbonthat elemi trtfggvnyek sszegre.



Folytonos fggvnyek halmaza Legyen halmaz, ekkor C

folytonos fggvny a halmazon folytonos

fggvnyek halmaza.


FGGVNYSOROZATOK
Fggvnysorozat Az

fggvnyek sorozatt

fggvnysorozatnak nevezzk.
Fggvnysor Az

fggvnysorozat esetn a

fggvnysor.
Pontonknti konvergencia Legyen

fggvnysorozat s

, ha pontonknt konvergl az fggvnyhez a

halmazon, ha minden esetn
lim

, vagyis

.
Egyenletes konvergencia Legyen

fggvnysorozat
egyenletesen konvergl az fggvnyhez a halmazon, ha minden esetn ltezik olyan , amelyre minden s
esetn

.
Cauchy-kritrium Az

fggvnysorozat pontosan akkor egyenletesen konvergens a halmazon, ha minden esetn ltezik

olyan , amelyre minden s esetn

.
Weierstass-kritrium Ha ltezik olyan

szmsorozat, amelyre

konvergens s

, akkor

egyenletesen
konvergens.
Ttel Az

pontosan akkor egyenletesen konvergens a halmazon, ha minden esetn sup

.
Ttel Ha az

egyenletesen tart az fggvnyhez a halmazon s a halmaz torldsi pontja, s minden esetn

lim

ltezik s vges, akkor a lim

is ltezik s vges s lim

, ekkor
lim

lim

lim

lim

Ttel Ha

egyenletesen tart az fggvnyhez az intervallumon, akkor s

lim

lim

Ttel Ha

derivlhat a halmazon s ltezik olyan , amely esetn

egyenletesen, akkor ltezik

olyan , amely esetn

egyenletesen, derivlhat s

.
Fourier-sor Legyen s szerint periodikus, azt az

cos

sin alak trigonometrikus sort,

amely ellltja az fggvnyt, az Fourier-sornak nevezzk s Fourier-sornak egytthati:

cos

sin

Ttel Ha ktszer derivlhat a intervallumon s , akkor minden esetn

cos

sin

Ttel Ha ktszer derivlhat a intervallumon s , akkor Fourier-sora egyenletesen konvergens.
Dirichlet-formula Ha s szerint periodikus s az

fggvnysorozat az Fourier-sora, akkor

sin

sin

Ttel Ha ktszer derivlhat s szerint periodikus s

folytonos, akkor minden esetn az

cos

sin s egyenletesen konvergens.

METRIKUS TEREK
Metrika Legyen tetszleges halmaz, ekkor a fggvnyt metriknak nevezzk, ha minden esetn
, pontosan akkor, ha , s .
Metrikus tr Legyen tetszleges halmaz s metrika, ekkor metrikus tr.
Metrikus altr Legyen metrikus tr, ha halmaz s

, akkor metrikus altr az metrikus trben.

Metrikus szorzat Az

metrikus terek metrikus szorzata , ha s

metrika.
Diszkrt metrika Tetszleges halmaz esetn diszkrt metrikus tr, ha minden esetn

.
Nylt gmb Az metrikus trben az kzppont,

sugar nylt gmb .

Bels pont Az metrikus trben az a halmaz bels pontja, ha ltezik olyan , amelyre . int
Kls pont Az metrikus trben az a halmaz kls pontja, ha ltezik olyan , amelyre

. ext
Hatrpont Az metrikus trben az a halmaz hatrpontja, ha minden esetn s

.
Nylt halmaz Az metrikus trben a nylt halmaz, ha minden esetn ltezik olyan , amelyre .
Zrt halmaz Az metrikus trben a zrt halmaz, ha minden

esetn ltezik olyan , amelyre

.
Ttel Az metrikus trben s nylt halmazok.
Ttel Vges sok nylt halmaz metszete s tetszlegesen sok nylt halmaz unija is nylt.
Ttel Egy nylt gmb nylt halmaz.
Sorozat hatrrtke Legyen metrikus tr s

sorozat, ekkor ha ltezik olyan pont, amelyre

lim

, akkor
lim

az

sorozat hatrrtke.
Ttel Legyen metrikus tr, ekkor minden

konvergens sorozat esetn egyrtelmen ltezik olyan , amelyre

lim

Ttel Legyen metrikus tr s

konvergens sorozat, ha
lim

s
lim

akkor
lim

Ttel Legyen metrikus tr s

konvergens sorozat, ha
lim

akkor minden

rszsorozat esetn
lim

Ttel Az metrikus trben a pontosan akkor zrt, ha tartalmazza minden -beli konvergens sorozat hatrrtkt.
Flmetrika Legyen tetszleges halmaz rtelmezett fggvnyt flmetriknak neveznk, ha
y minden esetn .
y Szimmetrikus, azaz minden esetn .
y teljesl a hromszg-egyenltlensg, azaz minden esetn .
Hlder egyenltlensg Ha s

, akkor minden

esetn:
Minkowski egyenltlensg Ha , akkor minden

esetn:
Teljes metrikus tr Legyen metrikus tr, ha minden

Cauchy-sorozat konvergens, akkor teljes metrikus tr.

Banach-tr Legyen teljes metrikus tr, ekkor az metrikus teret Banach-trnek nevezzk.
Ttel Legyen teljes metrikus tr, ha zrt halmaz, akkor teljes metrikus tr.
Fggvny hatrrtke Legyenek s metrikus terek, az fggvny hatrrtke az pontban , ha
minden esetn ltezik olyan , amelyre minden esetn, ha , akkor .
Folytonossg Legyenek s metrikus terek, az fggvny folytonos az pontban, ha minden esetn
ltezik olyan , amelyre ha akkor .
Egyenletes folytonossg Legyenek s metrikus terek, az fggvny egyenletesen folytonos a halmazon, ha
minden esetn ltezik olyan , amelyre minden esetn, ha , akkor .
Lipschitz folytonossg Legyenek s metrikus terek, az fggvny Lipschitz-folytonos a halmazon, ha ltezik
olyan , amelyre minden esetn .
Banach fixpont ttel Legyen teljes metrikus tr, ha kontrakci, azaz minden esetn ltezik olyan ,
amelyre , akkor egyrtelmen ltezik olyan , amelyre .
Kompakt halmaz Az metrikus trben, a kompakt halmaz, ha minden

sorozatnak van torldsi pontja ban.

Kompakt metrikus tr Az metrikus tr kompakt metrikus tr, ha az kompakt halmaz.
Ttel Az metrikus trben, ha a kompakt halmaz, akkor zrt.
Ttel Az metrikus trben, ha a kompakt halmaz, akkor korltos.
Ttel Legyenek s metrikus terek, ha folytonos s kompakt halmaz, akkor kompakt halmaz.
Weierstrass ttel Legyen kompakt metrikus tr s folytonos fggvny, ekkor korltos s felveszi a minimumt s
a maximumt.
Heine ttel Legyen kompakt metrikus tr s metrikus tr, ha folytonos, akkor egyenletesen folytonos.
Ttel Legyen kompakt halmaz, ekkor s kompakt halmaz.
Cantor ttel Legyenek

egymsba gyazott nemres kompakt halmazok, ekkor

.
Norma Legyen vektortr, ekkor a fggvnyt normnak neveznk, ha minden s minden esetn
, pontosan akkor, ha , s .
Normlt tr Legyen vektortr s norma, ekkor normlt tr.
Induklt norma Legyen vektortr s metrikus tr, ha olyan norma, amelyre minden esetn ,
akkor normlt tr s az fggvnyt induklt normnak nevezzk.
Induklt metrika Legyen normlt tr s olyan fggvny, amelyre minden esetn ,
ekkor a fggvnyt induklt metriknak nevezzk.
Ttel Legyen normlt tr s induklt metrika, ekkor metrikus tr.
Ttel Legyen normlt tr s

sorozat, ekkor
lim

pontosan akkor, ha
lim

Ttel Legyen normlt tr s

sorozat, ha
lim

s
lim

akkor
lim

Ttel Legyen normlt tr,

sorozat s

sorozat, ha
lim

s
lim

, akkor
lim

Ttel Legyen

normlt tr, ha az fggvny folytonos az pontban, akkor az fggvny

folytonos az pontban.
Ttel Legyen

normlt tr, fggvny s fggvny, ha az s fggvny folytonos az

pontban, akkor az fggvny folytonos az pontban.
Ekvivalens normk Legyen

normlt tr, ha ltezik olyan

, amelyre minden esetn

, akkor

ekvivalens normk.
Tyihonov ttel Ha vges dimenzis vektortr, akkor brmely kt norma ekvivalens.
Ttel Ekvivalens normk szerint a konvergens sorozatok megegyeznek.
Ttel Ha

teljes normlt tr s

ekvivalens normk, akkor

teljes normlt tr.

Ttel Minden

sorozat esetn, ha , akkkor

vagy

esetn

pontosan akkor, ha

.
Ttel Egy

pontosan akkor kompakt, ha korltos s zrt.

Lineris lekpezs Legyen vektortr s fggvny, ha minden esetn s minden
esetn , akkor az fggvnyt lineris lekpezsnek nevezzk.
Ttel Legyen

normlt tr, ekkor az lineris lekpezs pontosan akkor folytonos, ha ltezik olyan
, amelyre minden esetn

.
Ttel Legyen

normlt tr, ekkor az lineris lekpezs pontosan akkor folytonos lineris lekpezs, ha
Lipschitz folytonos lineris lekpezs.
Opertornorma Az lineris opertor opertornormja inf

Ttel Legyen

normlt tr, ekkor az lineris lekpezs pontosan akkor folytonos minden esetn
ha ltezik olyan amelyben folytonos.
Ttel Az lineris opertorra a kvetkez lltsok ekvivalensek:
y folytonos,
y Lipschitz folytonos,
y folytonos az

pontban,
y folytonos az

pontban,
y korltos az egysggmbn, azaz ltezik olyan , amelyre

, ha

,
y korltos, azaz ltezik olyan , amelyre

.
Ttel Ha lineris opertor, akkor .
Ttel Ha lineris opertor s , akkor

.
Ttel Ha

s invertlhat mtrix s

, akkor invertlhat.
DIFFERENCILSZMTS
Derivlt Legyen

normlt tr s az fggvny legyen rtelmezve az

pont krnyezetben, ha
ltezik olyan folytonos lineris lekpezs, amelyre
lim

akkor fggvny derivlhat az

pontban s

.
Caratheodory-ttel Az pontosan akkor derivlhat az pontban, ha ltezik olyan fggvny, amelyre
lim

esetn .
Ttel Legyen

normlt tr, ha az fggvny derivlhat az

pontban, akkor az fggvny

folytonos az pontban.
Irny menti derivlt Ha derivlhat az pontban, akkor minden esetn a lim

az
fggvny irny menti derivltja.
Parcilis derivlt Ha rtelmezve az pont egy krnyezetben, akkor edik parcilis derivltja a

lim

, ahol

.
Gradiens Legyen , ha derivlhat, akkor

az gradiense.
Ttel A derivls lineris, azaz ha s derivlhatk az pontban, akkor

.
Ttel Legyen s , ha s derivlhatk az pontban, akkor is derivlhat az pontban s

rintsk egyenlete Az fggvny rintskjnak egyenlete az

pontban

.
Hesse-mtrix Legyen , ha ktszer derivlhat, akkor

az Hesse-mtrixa.
Jacobi-mtrix Legyen s

, ha derivlhat, akkor

az

Jacobi-mtrixa.
Young-ttel Legyen , ha ktszer derivlhat, akkor

, azaz a Hesse-mtrix szimmetrikus.

Pozitv definit Az

pozitv definit, ha minden esetn

.
Negatv definit Az

negatv definit, ha minden esetn

.
Indefinit Az

indefinit, ha ltezik olyan

, amely esetn

s ltezik olyan

, amely esetn

.
Ttel Legyen

az edik majorns rszmtrixa, az mtrix pontosan akkor pozitv definit, ha uet

.
Ttel Legyen

az edik majorns rszmtrixa, az mtrix pontosan akkor negatv definit, ha uet

s
uet

.
Ttel Legyen

s ktszer derivlhat az pontban, ha az fggvnynek az pontban loklis minimuma van, akkor

s az

mtrix pozitv szemidefinit.

Ttel Legyen

s ktszer derivlhat az pontban, ha az fggvnynek az pontban loklis maximuma van, akkor

s az

mtrix negatv szemidefinit.

Ttel Legyen

s hromszor derivlhat az pontban, ha

s az

mtrix pozitv definit, akkor az

fggvnynek az pontban loklis minimuma van.
Feltteles szlsrtk Legyen s , az feltteles szlsrtk, ha az fggvnynek az
pontban a felttel mellett szlsrtke van.
Lagrange multipliktor mdszer Legyen

, ekkor az feltteles szlsrtk, ha lteznek

olyan

, amelyekre teljesl, hogy nem minden

.
Ttel Legyen

nylt gmb, ha

folytonosan derivlhat s minden esetn

, akkor minden
esetn .
Inverzfggvny ttel Legyen

nylt gmb, ha

folytonosan derivlhat s esetn , ha

invertlhat mtrix, akkor lteznek olyan

nylt halmazok, amelyekre teljesl, hogy , , injektven hat az

halmazon s , akkor ha az inverze a halmazon, akkor folytonosan derivlhat s

.
Lineris implicitfggvny ttel Legyen

, ha L

akkor
egyrtelmen ltezik olyan

, hogy minden

esetn

vagyis

, ekkor, ha

invertlhat, akkor minden

esetn egyrtelmen
ltezik olyan

, amelyre , ekkor

.
Implicitfggvny ttel Legyen

, ha

nylt halmaz s az

folytonosan derivlhat s ltezik , amelyre , akkor legyen

invertlhat,
ekkor lteznek olyan

nylt halmazok, amelyekre , s minden esetn egyrtelmen

ltezik olyan

, amelyre s Ha

s , akkor folytonosan derivlhat,

s , ekkor

.
vhossz Legyen

folytonos fggvny s

az egy felosztsa, ekkor

, a grbe vhossza sup .

Rektifiklhatsg Legyen

folytonos fggvny, ha vges, akkor rektifiklhat.

Ttel Ha

folytonosan derivlhat fggvny, akkor

Ttel Legyenek

folytonos injektv fggvnyek, ha , azaz rtkkszletk azonos, akkor

ltezik olyan folytonos s szigoran monoton fggvny, amely esetn , ekkor .
Ttel Legyen

, valamint

is folytonosan derivlhat s injektv fggvnyek s legyen

is folytonosan ueiivlhato ha

s s akkoi

Vonalintegrl Az

fggvny vonalintegrlja a grbe mentn

Ttel Legyen

folytonosan derivlhat fggvny s

, ha

folytonos s injektv fggvny s

, akkor

.
Ttel Legyen a halmaz nylt s sszefgg s folytonos fggvny, amelynek vonalintegrlja tfggetlen, ekkor gradiens.
Young ttel Az fggvny pontosan akkor folytonosan derivlhat, ha

.
Ttel Ha a halmaznak ltezik olyan pontja, amelyre minden pont esetn a szakasz minden pontja eleme a
halmaznak s

folytonosan derivlhat fggvny s

, akkor gradiens.
Ttel Legyen folytonos fggvny, ha ltezik az els parcilis derivltja s folytonos s

,
akkor derivlhat s

.
Nabla-opertor

Laplace-opertor
Gradiens Legyen

, ekkor gradiense giau

.
Divergencia Legyen

, ekkor divergencija uiv

.
Rotci Legyen

, ekkor rotcija iot uet

.
Laplace-opertor Legyen

, ekkor Laplace-opertora uivgiau ti

.
Gauss-Osztrogradszkij ttel Legyen az zrt fellet a test hatrvonala, azaz , ekkor egy fggvny esetn
divergencijnak trfogati integrlja megegyezik a felletbl kifel irnytott normlirny komponensnek felleti integrljval.

Stokes ttel Legyen zrt grbe, ekkor a fggvny grbe menti vonalintegrlja megegyezik a fggvny rotcijnak a grbe
ltal bezrt felletre merleges komponensnek felleti integrljval.
F

JORDAN MTRKELMLET
Terlet A terlet olyan fggvny, amely a skidomok halmazbl kpez a vals szmok halmazba s teljeslnek r a kvetkez
tulajdonsgok:
y az egysgngyzet terlete ,
y egybevg skidomok terlete egyenl,
y ha egy skidomot egy egyenessel kt rszre vgunk, akkor az gy kapott rszek terletnek sszege megegyezik az eredeti
skidom terletvel.
Als mrtk Legyen

s az -edik rcsot meghatroz egyenesek

, ekkor legyen

azon ngyzetek unija,

amelyek teljesen benne vannak a halmazban, ekkor

, teht

, ekkor ltezik a lim

,
amelyet a halmaz als mrtknek neveznk.
Fels mrtk Legyen

s az -edik rcsot meghatroz egyenesek

, ekkor legyen

azon ngyzetek unija,

amelyeknek van kzs rsze a halmazzal, ekkor

, teht

, ekkor ltezik a lim

,
amelyet a halmaz fels mrtknek neveznk.
Jordan mrtk Legyen

, ha ltezik, akkor a halmaz Jordan mrhet.

Nullmrtk halmaz Legyen

, ha , akkor a halmaz nullmrtk.

Ttel Ha

nullmrtk halmazok, akkor .

Ttel A

pontosan akkor mrhet halmaz, ha korltos s B .

Ttel Ha

mrhet halmazok, akkor , s is mrhet halmazok.

Ttel Ha

mrhet halmazok s int int , akkor .

Ttel Ha

s s mrhet halmazok, akkor .

Ttel Ha

mrhet halmazok, akkor .

Jordan ttel A

pontosan akkor mrhet, ha lteznek olyan

mrhet halmazok, amelyekre

esetn

.
Ttel Legyen tglalap, ha mrhet, akkor .
Ttel A

pontosan akkor nullmrtk, ha ltezik olyan

halmaz, amelyre teljesl, hogy

.
Ttel Ha , akkor giaph .
Lpcss fggvny Legyen , lpcss fggvnysorozat, ha ltezik olyan

diszjunkt tglalapok, amelyekre

minden

esetn

.
Ttel Ha az

lpcss fggvnysorozat egyenletesen konvergl az fggvnyhez, akkor az

fggvnysorozat konvergens.
Ha

s a

lpcss fggvnysorozat is egyenletesen konvergl az fggvnyhez, akkor

.
Fubini ttel Legyen folytonos fggvny s , ekkor

Karakterisztikus fggvny Legyen

, ekkor

a halmaz karakterisztikus fggvnye.

Majdnem egyenletes konvergencia Az

lpcss fggvnysorozat majdnem egyenletesen konvergl az fggvnyhez a

halmazon, ha minden esetn lteznek olyan

diszjunkt tglalapok, amelyre

egyenletesen tart
az fggvnyhez minden

esetn.
Integrl Az fggvny integrlhat, ha ltezik olyan

lpcss fggvnysorozat, hogy

majdnem egyenletesen konvergl

az fggvnyhez, ekkor

lim

.
Ttel A

pontosan akkor mrhet halmaz, ha

integrlhat, ekkor

Ttel Ha az

majdnem egyenletesen tart az fggvnyhez s a

majdnem egyenletesen tart az fggvnyhez, akkor az

majdnem egyenletesen tart az fggvnyhez.
Ttel Ha a mrhet halmaz s folytonos fggvny, akkor

integrlhat fggvny s

.
Ttel Ha lteznek olyan

folytonos fggvnyek hogy

s az fggvny folytonos, akkor

Helyettestses integrl Legyen

s folytonosan derivlhat fggvny, ha uet

, akkor

uet

Halmazok egyenlsge Legyen tetszleges halmaz, ha minden esetn s minden esetn , akkor az
s halmazok egyenlk, azaz .




Ttel Legyen

konvergens sorozat, ekkor

konvergens sorozat,

konvergens sorozat s
lim

lim

lim

s
lim

lim

lim

Ttel Legyen

sorozat s

konvergens sorozat, ha
lim

, akkor
lim

Ttel Legyen

sorozat s

konvergens sorozat, ha
lim

s
lim

, akkor
lim

Ttel Legyen

sorozat s

konvergens sorozat, ha
lim

s
lim

, akkor
lim

Ttel Legyen

sorozat, ha
lim

lim

, akkor
lim

s
lim

Ttel Legyen

sorozat, ha
lim

s
lim

, akkor
lim

ija be az egyenletet iue