Függvény (matematika)

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2022. június 4-én felülvizsgált verziótól ; az ellenőrzések 4 szerkesztést igényelnek .

A függvény a matematikában két halmaz elemei közötti megfelelés  - egy szabály, amely szerint az első halmaz minden eleme, amelyet definíciós tartománynak neveznek , a második halmaz egy elemének felel meg, amelyet értéktartománynak neveznek .

A függvény matematikai fogalma egy intuitív elképzelést fejez ki arról, hogy egy mennyiség hogyan határozza meg teljesen egy másik mennyiség értékét. Tehát a változó értéke egyértelműen meghatározza a kifejezés értékét , a hónap értéke pedig az azt követő hónap értékét. Egy funkció "mindennapi" példája: minden ember egyértelműen hozzárendelhető a biológiai apjához.

Hasonlóképpen, egy előre meghatározott algoritmus a bemeneti adatok értékét megadva állítja elő a kimeneti adatok értékét.

A "függvény" kifejezés gyakran numerikus függvényre utal , azaz olyan függvényre, amely egyes számokat másokkal összhangban állít. Ezek a függvények kényelmesen ábrázolhatók grafikonok formájában .

Történelem

A „funkció” kifejezést (valamivel szűkebb értelemben) Leibniz (1692) használta először . Johann Bernoulli pedig Leibniznek írt levelében ennek a kifejezésnek a maihoz közelebbi jelentést adott [1] [2] .

Kezdetben a függvény fogalma megkülönböztethetetlen volt az analitikus reprezentáció fogalmától. Ezt követően megjelent a függvény definíciója, amelyet Euler (1751), majd Lacroix (1806) adott meg, szinte modern formájában. Végül Lobacsevszkij (1834) és Dirichlet (1837) [3] adta meg a függvény általános meghatározását (modern formájában, de csak numerikus függvényekre) .

A 19. század végére a függvény fogalma túlnőtt a numerikus rendszerek körén. Először a függvény fogalmát kiterjesztették a vektorfüggvényekre , Frege hamarosan bevezette a logikai függvényeket ( 1879 ), majd a halmazelmélet megjelenése után Dedekind ( 1887 ) és Peano ( 1911 ) egy modern univerzális definíciót fogalmazott meg [2] .

Informális meghatározás

A halmazban lévő értékekkel definiált függvényt „szabálynak” nevezzük úgy, hogy a -ból származó minden elem egy benne lévő elemnek felel meg , ráadásul csak egy [4] .

Elfogadott jelölés: , , rövidítve vagy egyszerűen .

Egy gráfot nevezünk , ahol a közvetlen szorzata .

Általánosságban elmondható, hogy a függvény és a gráf fogalma ekvivalens, és mivel ez utóbbi matematikailag szigorúbban definiált, a függvény formális (halmazelméleti szempontból) definíciója a gráfja [4] .

A funkcióhoz :

Megjegyzések:

Több argumentumfüggvény:

Általánosságban elmondható, hogy egy függvény definiálható egy lineáris térben , ebben az esetben több argumentum függvényével van dolgunk.

Ha a halmaz a halmazok derékszögű szorzata , akkor a leképezés (ahol a valós számok halmaza) -hely leképezésnek bizonyul; ebben az esetben a rendezett halmaz elemeit argumentumoknak nevezzük (egy adott -local függvénynek), amelyek mindegyike a saját halmazán fut át:

ahol .

Ebben az esetben a jelölés azt jelenti, hogy .

A függvény meghatározásának módjai

Analitikai módszer

Egy függvény definiálható analitikus kifejezéssel (például egy képlettel). Ebben az esetben az egyenlőség formájában való megfelelésként jelöljük.

Példák:

Egyetlen képlettel megadott függvény:

Darabonként definiált függvény:

Implicit módon meghatározott függvény:

Grafikus mód

A függvény grafikon segítségével is megadható. Legyen a változók  valós függvénye . Ekkor a gráfja a -dimenziós térben lévő pontok halmaza: . Ez a pontkészlet gyakran hiperfelület . Különösen, ha egy függvény grafikonja bizonyos esetekben kétdimenziós térben görbével ábrázolható .

Három vagy több argumentummal rendelkező függvények esetén az ilyen grafikus ábrázolás nem alkalmazható. Azonban még az ilyen függvények esetében is jöhet egy vizuális félgeometrikus ábrázolás (például egy pont negyedik koordinátájának minden értéke hozzárendelhető egy bizonyos színhez a grafikonon, ahogy az összetett függvények grafikonjain történik ).

Értékek felsorolása

Egy véges halmaz függvénye értéktáblázattal definiálható - úgy, hogy közvetlenül megadja annak értékét a definíciós tartomány minden eleméhez. Ezt a módszert például logikai függvények meghatározására használják . Valójában ez a módszer a függvény gráfjának is a feladata , ha a függvény gráfját formájú rendezett párok halmazának tekintjük .

Általános tulajdonságok

Leképezések összetétele

Adjunk meg két leképezést úgy, hogy az első értékkészlete a második tartományának részhalmaza legyen. Ekkor az első és a második leképezés egymást követő művelete az első leképezés bármely argumentumára egyedileg illeszkedik a második leképezés tartományából származó elemhez:

Ilyen esetben leképezések összetételének nevezzük , és egy kifejezéssel jelöljük, amely " utána " olvasható. Általában az összetétel nem kommutatív : vagy

Injekció

Egy függvényt injektívnek (vagy egyszerűen injekciónak ) nevezünk, ha a halmaz bármely két különböző eleme a halmaz különböző (egyenlőtlen) elemeivel is társítva van . Formálisabban egy függvény injektív , ha -ból . Más szóval, injektív, ha .

Surjection

Egy függvényt szürjektívnek (vagy egyszerűen szürjekciónak ) nevezünk, ha a halmaz minden eleme társítható a halmaz legalább egy eleméhez . Vagyis egy függvény szürjektív , ha .

Az ilyen leképezést set -to -set leképezésnek is nevezik . Ha a szürjektivitás feltétele megsérül, akkor az ilyen leképezést set -to - set leképezésnek nevezzük .

Bijekció

Egy szürjektív és injektív függvényt bijektívnek vagy egy az egyhez ( röviden bijekció ) nevezünk.

Inverz függvény

Ha a függvény bijekció , akkor létezik , amelyre .

A függvényt ebben az esetben inverzének nevezzük ; ráadásul bijektív is.

Magyarázat:

Mivel ez egy injekció, általában véve egy funkció, a sejtésből következik, hogy a -n adják be . Egy függvény injektív, mert függvény, és szürjektivitása a definíciójából következik.


Általánosságban elmondható, hogy az inverzekkel rendelkező leképezés invertálható . A reverzibilitási tulajdonság két feltétel egyidejű teljesüléséből áll: és .

A funkció összehúzódása és folytatása

Legyen adott egy leképezés és egy halmaz, amely a halmaz szigorú részhalmaza

A függvényével azonos értékeket felvevő leképezést a függvény halmazra való korlátozásának (vagy más módon korlátozásának ) nevezzük .

Egy függvény halmazra való korlátozását jelöljük .

Ebben az esetben az eredeti függvényt a függvény halmazra való kiterjesztésének nevezzük .

Kép és prototípus

Kép és előkép (ha megjelenik), érték a pontban

Az elemhez leképezett elemet az elem (pont) képének (amikor megjelenik ) vagy a pontban megjelenített értéknek nevezzük .

Ha a függvénydefiníciós terület teljes részhalmazát vesszük , akkor ennek a halmaznak az összes elemének képhalmazát, vagyis az űrlap értékterületének (függvény) részhalmazát

,

a leképezés alatti halmaz képének nevezzük . Ezt a halmazt néha vagy jelöléssel jelölik .

A függvény teljes tartományának képét a függvény képének, vagy ha a függvény szurjektív , általában a függvény tartományának nevezzük .

És fordítva, figyelembe véve a függvény értéktartományának néhány részhalmazát, figyelembe vehetjük a függvény beállítási területének összes elemének halmazát , amelynek képei a halmazba esnek , vagyis a a nyomtatvány

,

amelyet a halmaz ( teljes ) inverz képének nevezünk (leképezéskor ).

Különösen, ha a halmaz egyetlen elemből áll - mondjuk -, akkor a halmaznak egyszerűbb a jelölése .

A képek és prototípusok tulajdonságai

Kép tulajdonságai

Legyen és  a függvény beállítási tartományának részhalmazai . Ekkor a halmazok képei és a leképezés alatt a következő tulajdonságokkal rendelkeznek:

  • ;
  • ;
  • .
  • a halmazok uniójának képe egyenlő a képek uniójával:
  • a halmazok metszéspontjának képe a képek metszéspontjának részhalmaza: .

Az utolsó két tulajdonság tetszőleges számú halmazra általánosítható.

Ha a leképezés invertálható (lásd fent ), akkor a tartomány minden pontjának inverz képe egypontos, tehát invertálható leképezéseknél a metszéspontokra a következő erős tulajdonság érvényesül:

  • a metszés képe egyenlő a képek metszéspontjával: .
Prototípusok tulajdonságai

Legyen és  a halmaz részhalmazai . Ekkor a halmazok inverz képei és a leképezés alatt a következő két nyilvánvaló tulajdonsággal rendelkeznek:

  • Az egyesülés előképe egyenlő az előképek uniójával: ;
  • A metszés inverz képe egyenlő az előképek metszéspontjával: .

Ezek a tulajdonságok tetszőleges számú halmazra általánosíthatók.

Viselkedés

Növekvő és csökkenő

Legyen akkor adott függvény

  • egy függvényt nem- csökkenőnek nevezünk , ha
  • egy függvényt nem- növekvőnek nevezünk , ha
  • függvényt ha - val növekvőnek nevezünk
  • egy függvényt ha - val csökkenőnek nevezünk

A nem növekvő és nem csökkenő függvényeket ( nem szigorúan ) monotonnak , míg a növekvő és csökkenő függvényeket szigorúan monotonnak nevezzük . Egy tetszőleges függvényhez találhatunk monotonitási intervallumokat - a tartomány azon részhalmazai, amelyeken a függvény így vagy úgy (a szigort a legtöbb esetben megegyezés szerint választjuk), monotonok.

Periodika

Egy függvényt periodikusnak nevezünk periódusosnak, ha az egyenlőség

.

Mivel egy periódusos függvény periodikus alakkal is periodikus , akkor általánosságban elmondható, hogy a függvény legkisebb periódusa.

Ha ez az egyenlőség egyikre sem teljesül , akkor a függvényt aperiodikusnak nevezzük .

Paritás

Egy páratlan függvény grafikonja szimmetrikus az origóhoz képest.
  • Egy függvényt akkor is hívunk, ha az egyenlőség
Egy páros függvény grafikonja szimmetrikus az y tengelyre.

Függvény extrém

Legyen adott egy függvény, és egy pont az  akkor feladatterület belső pontja

  • lokális maximumpontnak nevezzük, ha létezik a pontnak olyan környéke
  • lokális minimumpontnak nevezzük, ha létezik a pontnak olyan környéke, hogy

Függvények a halmazelméletben

A referenciaterület és az értékterület jellegétől függően a következő területeket különböztetjük meg:

  1. absztrakt halmazok - halmazok minden további struktúra nélkül;
  2. valamilyen szerkezettel felruházott halmazok.

Az 1 -es esetben a leképezéseket a legáltalánosabb formában vizsgáljuk, és a legáltalánosabb kérdéseket oldjuk meg - például a halmazok kardinalitás szerinti összehasonlításáról : ha két halmaz között van egy-egy leképezés (bijekció), akkor ezek halmazokat egyenértékűnek vagy egyenértékűnek nevezzük . Ez lehetővé teszi, hogy a halmazokat kardinalitásuk szerint osztályozzuk, és közülük a legkisebbek, növekedési sorrendben, a következők:

Így a következő típusú leképezéseket kapjuk - a definíciós tartomány erejének megfelelően:

  • a véges függvények véges halmazok leképezései;
  • szekvenciák  — egy megszámlálható halmaz leképezése tetszőleges halmazba;
  • A kontinuumfüggvények a megszámlálhatatlan halmazok véges, megszámlálható vagy megszámlálhatatlan halmazokra való leképezése.

A 2. esetben a fő szempont a halmazon megadott struktúra (ahol a halmaz elemei további tulajdonságokkal vannak felruházva, amelyek ezeket az elemeket összekapcsolják, például csoportokban , gyűrűkben , lineáris terekben ), és mi történik ezzel struktúra a leképezés során: ha egy-egy leképezéssel egy adott struktúra tulajdonságai megmaradnak, akkor azt mondjuk, hogy a két struktúra között izomorfizmus jön létre . Így a különböző halmazokban megadott izomorf struktúrák általában nem különböztethetők meg, ezért a matematikában szokás azt mondani, hogy egy adott szerkezetet "az izomorfizmusig " tekintenek.

A halmazokon sokféle struktúra definiálható. Ebbe beletartozik:

Előfordulhat, hogy egy adott tulajdonsággal rendelkező függvények nem léteznek azokon a halmazokon, amelyek nem rendelkeznek a megfelelő szerkezettel. Például egy olyan tulajdonság megfogalmazásához, mint egy halmazon definiált függvény folytonossága , meg kell határozni egy topológiai struktúrát ezen a halmazon .

Változatok és általánosítások

Részben meghatározott függvények

Egy halmazból halmazba részben meghatározott függvény egy feladatterülettel rendelkező függvény .

Egyes szerzők magán a függvényen csak a szűkítését értik, így a függvény teljes egészében a „szűkített” definíciós tartományon van definiálva. Ennek megvannak az előnyei: például lehet írni , ahol - jelen esetben azt jelenti .

Többértékű függvények

Egy adott argumentumértéknek pontosan egy függvényértéknek kell egyeznie, a függvénydefiníció miatt. De ennek ellenére gyakran találkozhatunk az úgynevezett többértékű függvényekkel . Valójában ez nem más, mint egy olyan függvény kényelmes jelölése, amelynek tartománya maga is halmazcsalád.

Legyen , ahol  a halmaz részhalmazainak családja . Ezután mindegyikhez lesz egy készlet .

Egy függvény akkor egyértékű , ha az argumentum minden értéke a függvény egyetlen értékének felel meg. Egy függvény akkor többértékű , ha legalább egy argumentumérték megfelel két vagy több függvényértéknek [5] .

Lásd még

Jegyzetek

  1. V. A. Zorich . I. fejezet Néhány általános matematikai fogalom és jelölés. 3. § Függvény // Matematikai elemzés. I. rész – negyedik, javítva. - M. : MTsNMO, 2002. - S. 13, 22, 25, 31. - 664 p. — ISBN 5-94057-056-9 .
  2. 1 2 Kolmogorov A. N. , Abramov A. M. , Dudnitsyn Yu. P. Algebra és az elemzés kezdetei. Tankönyv a gimnázium 10-11 évfolyamának. - M., Oktatás, 1994. - ISBN 5-09-006088-6 . - C. 86-87
  3. G. E. Shilov . 2. fejezet A halmazelmélet elemei. § 2.8. A függvény általános fogalma. Grafikon // Matematikai elemzés (egy változó függvényei). - M. : Nauka, 1969. - S. 69. - 528 p.
  4. 1 2 V. A. Zorich . I. fejezet Néhány általános matematikai fogalom és jelölés. 3. § Függvény // Matematikai elemzés. I. rész – negyedik, javítva. - M. : MTsNMO, 2002. - S. 13, 22, 25, 31. - 664 p. — ISBN 5-94057-056-9 .
  5. G. Korn, T. Korn. A matematika kézikönyve. Tudósoknak és mérnököknek. M., 1973 4. fejezet Függvények és határértékek, differenciál- és integrálszámítás. 4.2. Funkciók. 4.2-2. Különleges tulajdonságokkal rendelkező funkciók . ( a ), 99. o. . Hozzáférés dátuma: 2012. január 26. Az eredetiből archiválva : 2015. január 19.

Irodalom