Ֆունկցիայի գրաֆիկ  
 {\displaystyle {\begin{aligned}&\scriptstyle \\&\textstyle f(x)={\frac {(4x^{3}-6x^{2}+1){\sqrt {x+1}}}{3-x}}\end{aligned}}}.
**Ֆունկցիան** (կամ **գործառույթ**) մաթեմատիկայում երկու բազմությունների տարրերի միջև համապատասխանության կանոն է, ըստ որի առաջինի յուրաքանչյուր տարր համապատասխանում է երկրորդ բազմության մեկ և միայն մեկ տարրին։

Ֆունկցիայի մաթեմատիկական հասկացությունն արտահայտում է ինտուիտիվ գաղափար այն մասին, թե ինչպես է մի մեծությունն ամբողջությամբ որոշում մեկ այլ մեծության արժեքը։ Այսպիսով {\displaystyle x} փոփոխականի արժեքը եզակիորեն որոշում է {\displaystyle x^{2}} արտահայտության արժեքը, իսկ ամսվա արժեքը որոշում է դրան հաջորդող ամսվա արժեքը։ Ֆունկցիայի «կենցաղային» օրինակ է այն, որ յուրաքանչյուր մարդու կարելի է միանշանակ համապատասխանեցնել նրա կենսաբանական հորը։

Նմանապես, կանխորոշված ալգորիթմը, հաշվի առնելով մուտքային տվյալների արժեքը, որոշում է ելքային տվյալների արժեքը։

Հաճախ «ֆունկցիա» տերմինը հասկացվում է որպես թվային ֆունկցիա, այսինքն՝ ֆունկցիա, որը մի թվին համապատասխանեցնում է մյուսին։ Այս ֆունկցիաները հարմար է ներկայացնել գրաֆիկների տեսքով։

Պատմություն
-----------

«Ֆունկցիա» տերմինը (մի փոքր ավելի նեղ իմաստով) առաջին անգամ օգտագործել է Լայբնիցը (1692 թվական)։ Իր հերթին Յոհան Բեռնուլին Լայբնիցին ուղղված նամակում այս տերմինին ավելի մոտ իմաստ է տվել ժամանակակցին։

Սկզբում ֆունկցիա հասկացությունը չէր տարբերվում վերլուծական ներկայացման հասկացությունից։ Հետագայում հայտնվեց ֆունկցիայի սահմանումը, որը տրվել է Էյլերի (1751), այնուհետև Լակրուայի (1806) կողմից, գրեթե ժամանակակից ձևով։ Վերջապես, ֆունկցիայի ընդհանուր սահմանումը (ժամանակակից ձևով, բայց միայն թվային ֆունկցիաների համար) տրվել է Լոբաչևսկու (1834) և Դիրիխլեի (1837) կողմից։

19-րդ դարի վերջում ֆունկցիա հասկացությունը գերազանցել էր թվային համակարգերի շրջանակը։ Սկզբում ֆունկցիա հասկացությունը տարածվեց վեկտորային ֆունկցիաների վրա, Ֆրեգեն շուտով ներկայացրեց տրամաբանական ֆունկցիաները (1879 թվական), իսկ բազմությունների տեսության հայտնվելուց հետո Դեդեկինդը (1887 թվական) և Պեանոն (1911 թվական) ձևակերպեցին ժամանակակից ունիվերսալ սահմանումը։

Ոչ ֆորմալ սահմանում
-------------------

Ֆունկցիա, որը չորս ֆիգուրներից յուրաքանչյուրին համադրում է իր գույնը
{\displaystyle F} ֆունկցիան, որը սահմանված է {\displaystyle X} բազմության վրա {\displaystyle Y} բազմության արժեքով, տրվում է «կանոնով», որ {\displaystyle X}-ից յուրաքանչյուր x տարրը համապատասխանում է {\displaystyle Y}-ում գտնվող {\displaystyle f(x)} տարրին, ընդ որում, միայն մեկին։

Ընդունված նշաններ՝ {\displaystyle f:X\to Y}, {\displaystyle X{\stackrel {f}{\longrightarrow }}Y}, կրճատ գրում են {\displaystyle f\colon x\mapsto y} կամ ուղղակի {\displaystyle y=f(x)}.

{\displaystyle f:X\to Y} գրաֆիկ անվանում են {\displaystyle \Gamma \_{f}=\{\,(x,f(x))\in X\times Y\mid x\in X\,\}}, որտեղ {\displaystyle X\times Y}-ը բազմությունների դեկարտյան արտադրյալն է։

Ընդհանուր առմամբ, ֆունկցիայի և դրա գրաֆիկի հասկացությունները համարժեք են, և քանի որ վերջինս մաթեմատիկորեն ավելի խիստ է սահմանված, ֆունկցիայի ֆորմալ (բազմությունների տեսության տեսանկյունից) սահմանումը նրա գրաֆիկն է։

{\displaystyle f:X\to Y} ֆունկցիայի համար՝

* {\displaystyle X} բազմությունը կոչվում է ֆունկցիայի որոշման տիրույթ, որը նշվում է {\displaystyle D(f)} կամ {\displaystyle \mathrm {dom} \,f}-ով;
* {\displaystyle Y} բազմությունը կոչվում է ֆունկցիայի արժեքների տիրույթ, որը նշվում է {\displaystyle E(f)} կամ {\displaystyle \mathrm {cod} \,f} ({\displaystyle \mathrm {ran} \,f})-ով;
* {\displaystyle X} բազմության յուրաքանչյուր {\displaystyle x} տարր կոչվում է անկախ փոփոխական կամ ֆունկցիայի արգումենտ։
* {\displaystyle x} կետին համապատասխանող {\displaystyle y=f(x)} տարրը կոչվում է ֆունկցիայի մասնակի արժեք {\displaystyle x} կետում։

#### Նշումներ

* {\displaystyle f} ֆունկցիան, որի համար {\displaystyle D(f)\equiv E(f)}, կոչվում է տրված բազմության քարտեզագրում իր մեջ կամ փոխակերպում, մասնավորապես, եթե {\displaystyle \forall x\in D(f):f(x)=x}, ապա խոսվում է նույնական փոխակերպման մասին, որը հաճախ նշվում է {\displaystyle \operatorname {id} \_{X}}։
* Եթե օգտագործվում է օպերատոր տերմինը, ապա ասում են, որ {\displaystyle f} օպերատորը գործում է {\displaystyle X} բազմությունից դեպի {\displaystyle Y} բազմություն և ավելացվում է {\displaystyle y=fx}նշումը։
* Եթե ուզում ենք ընդգծել, որ համապատասխանության կանոնը համարվում է հայտնի, ապա ասում ենք, որ {\displaystyle X} բազմության վրա տրված է {\displaystyle f} ֆունկցիա՝ {\displaystyle Y}-ից արժեքներ վերցնելով։ Եթե ինչ-որ հավասարման լուծման արդյունքում պետք է գտնել {\displaystyle f} ֆունկցիան, ապա ասում են,որ {\displaystyle f} -ը անհայտ կամ անուղղակի տրված ֆունկցիա է։ Այդ դեպքում ֆունկցիան դեռ համարվում է տրված, թեկուզ անուղղակի։
* Քանի որ ֆունկցիաների հավասարությունը (իր սահմանումներից որևէ մեկում) ներառում է ոչ միայն բազմությունների տարրերի միջև հմապատասխանության կանոնների համընկնումը, ապա {\displaystyle f\_{1}(x)=x\colon \mathbb {R} \to \mathbb {R} } և {\displaystyle f\_{2}(x)=x\colon \mathbb {R} ^{+}\to \mathbb {R} }, որտեղ {\displaystyle \mathbb {R} } ֆունկցիաները իրական թվերի բազմություն են, իսկ {\displaystyle \mathbb {R} ^{+}}-ը դրական թվերի բազմություն է, որոնք տարբեր ֆունկցիաներ են։
* Կա նաև {\displaystyle y=x^{f}}ֆունկցիայի օպերատորի նշում, որը կարելի է գտնել ընդհանուր հանրահաշվում։
* Չորչի լամբդա հաշվարկն օգտագործում է {\displaystyle \lambda x.y} ֆունկցիայի նշանը։

Ֆունկցիա սահմանելու եղանակներ
-----------------------------

### Վերլուծական մեթոդ

Ֆունկցիան կարելի է սահմանել՝ օգտագործելով վերլուծական արտահայտություն (օրինակ՝ բանաձև)։ Այս դեպքում այն նշվում է որպես համապատասխանություն հավասարության տեսքով։

Օրինակներ․

Ֆունկցիա, որը տրվում է մեկ բանաձևով․

{\displaystyle f(x)=x^{2}+a\sin(x)-{\frac {\pi }{\ln(x)}}\;\;(a\in \mathbb {R} );}

Մասամբ տրված ֆունկցիա․

{\displaystyle f(x)=|x|={\begin{cases}x,\;\forall x\geqslant 0,\\-x,\;\forall x<0;\end{cases}}}

Անուղղակիորեն սահմանված ֆունկցիա․

{\displaystyle f(x)=y:x^{2}+y^{2}=R^{2}\;(R\in \mathbb {R} ,\;R\geqslant 0);}

### Գրաֆիկական եղանակ

{\displaystyle f(x)=x^{3}-3x} գրաֆիկը
Ֆունկցիան կարող է սահմանվել նաև գրաֆիկի միջոցով։ Եթե {\displaystyle y=f(x\_{1},x\_{2},\ldots ,x\_{n})\;} — {\displaystyle n} փոփոխականով իրական ֆունկցիա,ապա նրա գրաֆիկը կետերի բազմություն է {\displaystyle (n+1)}-աչափ միջակայքում {\displaystyle \{(x\_{1},x\_{2},\ldots ,x\_{n},f(x\_{1},x\_{2},\ldots ,x\_{n})\}}։ Այս կետերի բազմությունը հաճախ հիպերմակերևույթ է։ Մասնավորապես, երբ {\displaystyle n=1} ֆունկցիայի գրաֆիկը որոշ դեպքերում կարող է ներկայացվել երկչափ տարածության կորով։

Երեք կամ ավելի արգումենտներով ֆունկցիաների համար նման գրաֆիկական ներկայացումը կիրառելի չէ։ Այնուամենայնիվ, նույնիսկ նման ֆունկցիաները կարելի է ներկայացնել տեսողական կիսաերկրաչափական պատկերով (օրինակ, կետի չորրորդ կոորդինատների յուրաքանչյուր արժեքին տանք որոշակի գույն գրաֆիկի վրա, ինչպես դա տեղի է ունենում կոմպլեքս ֆունկցիաների գրաֆիկներում).

### Արժեքների թվարկում

Վերջավոր բազմության վրա ֆունկցիան կարող է սահմանվել արժեքների աղյուսակով՝ ուղղակիորեն նշելով դրա արժեքները սահմանման տիրույթի յուրաքանչյուր տարրի համար։Այս մեթոդը օգտագործվում է, օրինակ, Բուլյան ֆունկցիաները սահմանելու համար։ Փաստորեն, այս մեթոդը նաև ֆունկցիայի գրաֆիկի սահմանումն է, եթե ֆունկցիայի գրաֆիկը {\displaystyle f\colon A\to B} դիտարկենք որպես ձևի կարգավորված զույգերի բազմություն {\displaystyle (x,f(x))}։

Ընդհանուր հատկություններ
------------------------

### Բիեկցիա

Հիմնական հոդված՝ Փոխմիարժեք համապատասխանություն
Ֆունկցիան, որը միևնույն ժամանակ սուբեկտիվ և օբեկտիվ է, կոչվում է բիեկտիվ կամ փոխադարձ միանշանակ (կարճ՝ բիեկցիա)։

### Հակադարձ ֆունկցիա

Հիմնական հոդված՝ Հակադարձ ֆունկցիա
Եթե {\displaystyle f\colon X\to Y} ֆունկցիան բիեկցիա է, ապա գոյություն ունի {\displaystyle f^{-1}\colon Y\to X}, որի համար {\displaystyle x=f^{-1}(y)\;\Leftrightarrow y=f(x)}։

{\displaystyle f^{-1}} ֆունկցիան այս դեպքում կոչվում է հակադարձ {\displaystyle f}-ի նկատմամբ, բացի այդ, {\displaystyle f^{-1}} նույնպես բիեկտիվ ֆունկցիա է։

Պարզաբանում
Քանի որ {\displaystyle f}-ը ինեկցիա է, {\displaystyle f^{-1}} ընդհանուր առմամբ ֆունկցիա է, {\displaystyle f} սյուրեկցիայից իր հերթին հետևում է, որ {\displaystyle f^{-1}}-ը տրված է {\displaystyle Y}-ով։ {\displaystyle f^{-1}} ֆունկցիան ինյեկտիվ է, քանի որ {\displaystyle f}-ը ֆունկցիա է, և նրա սյուբեկտիվությունը հետևում է նրա սահմանումից։

Ընդհանուր առմամբ, արտապատկերումը, որն ունի հակադարձ, կոչվում է հակադարձ։ Հակադարձելիության հատկությունը միաժամանակ բավարարելն է երկու պայմանների․ {\displaystyle f^{-1}\circ f=\operatorname {id} \_{X}} և {\displaystyle f\circ f^{-1}=\operatorname {id} \_{Y}}։

### Ֆունկցիայի սահմանափակում և անընդհատություն

Դիցուք տրված է {\displaystyle f\colon X\to Y} արտապատկերումը և {\displaystyle M\subsetneq X} բազմությունը, որը {\displaystyle X} բազմության խիստ ենթաբազմությունն է։

{\displaystyle g\colon M\to Y} արտապատկերումը, որը {\displaystyle M}-ի դեպքում ընդունում է նույն արժեքները, ինչ {\displaystyle f} ֆունկցիան, կոչվում է {\displaystyle f} ֆունկցիայի սահմանափակում {\displaystyle M} բազմության վրա։

{\displaystyle f} ֆունկցիայի սահմանափակումը {\displaystyle M} բազմության վրա նշվում է հետևյալ կերպ․ {\displaystyle f{\big |}\_{M}}։

Այս դեպքում սկզբնական {\displaystyle f} ֆունկցիան, ընդհակառակը, կոչվում է {\displaystyle g} ֆունկցիայի շարունակություն {\displaystyle X} բազմություն վրա։

Պատկեր և նախապատկեր
-------------------

### Պատկեր և նախապատկեր (երբ ցուցադրվում է), կետի արժեքը

{\displaystyle y=f(x)} տարրը, որը կապված է {\displaystyle x} տարրի հետ, կոչվում է {\displaystyle x} **պատկերի տարր** (կետ) (երբ ցուցադրվում է {\displaystyle f}) կամ {\displaystyle f}-ի ցուցադրման **արժեքը** {\displaystyle x} կետում։

Եթե վերցնենք {\displaystyle f} ֆունկցիայի տիրույթի ամբողջ {\displaystyle A} ենթաբազմությունը, ապա այս բազմության բոլոր տարրերի պատկերների բազմությունը, այսինքն ({\displaystyle f} ձևի ֆունկցիայի) տիրույթի ենթաբազմությունը.

{\displaystyle f(A):=\{f(x)\colon x\in A\}}

կոչվում է {\displaystyle A} բազմության պատկեր՝ {\displaystyle f} ցուցադրման տակ։ Այս բազմությունը երբեմն նշվում է որպես {\displaystyle f[A]} կամ {\displaystyle A^{f}}:

Ֆունկցիայի ողջ տիրույթի պատկերը կոչվում է **ֆունկցիայի պատկեր** կամ, եթե ֆունկցիան ցրված է, սովորաբար կոչվում է ֆունկցիայի տիրույթ։

Եվ հակառակը, {\displaystyle f} ֆունկցիայի միջակայքում վերցնելով {\displaystyle B} ենթաբազմություն, մենք կարող ենք դիտարկել {\displaystyle f} ֆունկցիայի տիրույթի բոլոր տարրերի բազմությունը, որոնց պատկերներն ընկնում են {\displaystyle B} բազմության, այսինքն՝ ձևի բազմության մեջ.

{\displaystyle f^{-1}(B):=\{x\colon f(x)\in B\}},
որը կոչվում է {\displaystyle B} բազմության **(ամբողջական**) նախապատկեր ({\displaystyle f}-ը ցուցադրելիս)։

Մասնավորապես, երբ {\displaystyle B} բազմությունը բաղկացած է մեկ տարրից, ասենք, {\displaystyle B=\{y\}}, ապա {\displaystyle f^{-1}(\{y\})=\{x\colon f(x)=y\}} բազմությունը ունի ավելի պարզ՝ {\displaystyle f^{-1}(y)}նշում։

### Պատկերների և նախապատկերների հատկություններ

#### Պատկերների հատկություններ

Ենթադրենք {\displaystyle A} և {\displaystyle B}-ն {\displaystyle f\colon X\to Y} ֆունկցիայի որոշման տիրույթի ենթաբազմություններ են։ Այդ դեպքում {\displaystyle A} և {\displaystyle B} բազմությունների նախապատկերները {\displaystyle f} արտապատկերման դեպքում ունեն հետևյալ հատկությունները․

* {\displaystyle A\neq \varnothing \Rightarrow f[A]\neq \varnothing },
* {\displaystyle A\subseteq B\Rightarrow f[A]\subseteq f[B]}։
* բազմությունների միավորման նախատիպը հավասար է նախապատկերների միավորմանը․ {\displaystyle f[A\cup B]=f[A]\cup f[B]},
* Բազմությունների հատման նախատիպը նախապատկերների հատման ենթաբազմություն է. {\displaystyle f[A\cap B]\subseteq f[A]\cap f[B]}։

Վերջին երկու հատկությունները կարող են ընդհանրացվել ցանկացած քանակի բազմությունների համար։

Եթե պատկերումը հակադարձելի է, ապա արժեքների տիրույթի յուրաքանչյուր կետի նախատիպը մեկ կետ է, այդ պատճառով շրջուն պատկերումների համար գործում է հետևյալ խիստ հատկությունը հատումների համար.

* Հատման տիպը հավասար է պատկերների հատմանը. {\displaystyle f[A\cap B]=f[A]\cap f[B]}։

#### Նախապատկերների հատկություններ

Ենթադրենք {\displaystyle A} և {\displaystyle B}-ն Y բազմության ենթաբազմություններ է։ Այդ դեպքում {\displaystyle A} և {\displaystyle B} բազմություննորի նախապատկերները {\displaystyle f\colon X\to Y} պատկերման դեպքում ունեն հետևյալ ակնհայտ հատկությունները․

* Միավորման հակադարձ պատկերը հավասար է հակադարձ պատկերների միավորմանը. {\displaystyle f^{-1}[A\cup B]=f^{-1}[A]\cup f^{-1}[B]},
* Հատման նախապատկերը հավասար է նախապատկերների հատմանը․ {\displaystyle f^{-1}[A\cap B]=f^{-1}[A]\cap f^{-1}[B]}։

Այս հատկությունները կարող են ընդհանրացվել ցանկացած քանակի բազմություննորի համար։

Մոնոտոնություն
--------------

### Աճող և նվազող

Հիմնական հոդված՝ Մոնոտոն ֆունկցիա
Տրված է {\displaystyle f\colon M\subseteq \mathbb {R} \to \mathbb {R} } ֆունկցիան, ապա

* {\displaystyle f} ֆունկցիան կոչվում է ոչ նվազող {\displaystyle M} կետի նկատմամբ, եթե

{\displaystyle (\forall x,y\in M)\ x>y\Rightarrow f(x)\geq f(y),}
* {\displaystyle f} ֆունկցիան կոչվում է ոչ աճող {\displaystyle M} կետի նկատմամբ, եթե

{\displaystyle (\forall x,y\in M)\ x>y\Rightarrow f(x)\leq f(y),}
* {\displaystyle f} ֆունկցիան կոչվում է աճող {\displaystyle M} կետի նկատմամբ, եթե

{\displaystyle (\forall x,y\in M)\ x>y\Rightarrow f(x)>f(y),}
* {\displaystyle f} ֆունկցիան կոչվում է նվազող {\displaystyle M} կետի նկատմամբ, եթե

{\displaystyle (\forall x,y\in M)\ x>y\Rightarrow f(x)<f(y)}։
Չաճող և չնվազող ֆունկցիաները կոչվում են (ոչ խիստ) միատոն, մինչդեռ աճող և նվազող ֆունկցիաները կոչվում են խիստ միատոն։ Կամայական ֆունկցիայի համար կարելի է գտնել մոնոտոնության միջակայքեր՝ որոշման տիրույթի ենթաբազմություններ, որոնց վրա ֆունկցիան այս կամ այն կերպ(խստությունը մեծ մասամբ ընտրվում է պայմանականորեն) մոնոտոն է։

### Զույգություն

* Ֆունկցիա {\displaystyle f\colon X\to \mathbb {R} } կոչվում է կենտ, եթե տեղի ունի հետևյալ հավասարումը․

{\displaystyle f(-x)=-f(x),\quad \forall x\in X.}
Կենտ ֆունկցիայի գրաֆիկը համաչափ է սկզբնակետի նկատմամբ։
* {\displaystyle f} ֆունկցիան կոչվում է զույգ, եթե տեղի ունի հետևյալ հավասարումը․

{\displaystyle f(-x)=f(x),\quad \forall x\in X.}
Կենտ ֆունկցիայի գրաֆիկը համաչափ է օրդինատների առանցքի նկատմամբ։
### Ֆունկցիայի էքստրեմումներ

Տրված է {\displaystyle f\colon X\to \mathbb {R} } կետը և {\displaystyle x\_{0}\in X}, որը {\displaystyle f} ֆունկցիայի համընդհանուր ներքին կետն է։ 

* այդ դեպքում {\displaystyle x\_{0}} կետը կոչվում է մեծագույն արժեք, եթե գոյություն ունի {\displaystyle x\_{0}} կետի այնպիսի {\displaystyle M} միջակայք, որտեղ՝
{\displaystyle \forall x\in M,x\neq x\_{0}\colon \quad f(x)<f(x\_{0})},
* {\displaystyle x\_{0}} կետը կոչվում է փոքրագույն արժեք, եթե գոյություն ունի {\displaystyle x\_{0}} կետի այնպիսի {\displaystyle M} միջակայք, որտեղ՝
{\displaystyle \forall x\in M,x\neq x\_{0}\colon \quad f(x)>f(x\_{0})}։

### Պարբերականություն

Հիմնական հոդված՝ Պարբերական ֆունկցիա
{\displaystyle f\colon M\to N} ֆունկցիան կոչվում է պարբերական {\displaystyle T\not =0} պարբերույթով, եթե ճիշտ է հետևյալ հավասարությունը․

{\displaystyle f(x+T)=f(x),\quad \forall x,x+T\in M}.
Քանի որ {\displaystyle T} պարբերույթով պարբերական ֆունկցիան պարբերական է նաև {\displaystyle nT\;(n\in \mathbb {N} )} տիպի պարբերույթներով, ապա {\displaystyle T}-ն ֆունկցիայի նվազագույն պարբերույթն է։

Եթե այդ հավասարությունը ճիշտ չէ ոչ մի {\displaystyle T\in M,\,T\not =0} դեպքում, ապա {\displaystyle f} ֆունկցիան կոչվում է ոչ պարբերական։

Ֆունկցիաները բազմությունների տեսության մեջ
------------------------------------------

Կախված նրանից, թե ինչպիսին է առաջադրման ոլորտի և նշանակումների տարածության բնույթը, տարբերակում են ոլորտների հետևյալ դեպքերը.

1. վերացական բազմություններ, որոնք առանց որևէ լրացուցիչ կառուցվածքի բազմություններն են,
2. բազմություններ, որենք օժտված է որոշակի կառուցվածքով։

1-ի դեպքում դիտարկվում են ընդհանուր ձևով արտապատկերումները և լուծվում են ամենատարածված հարցերը, օրինակ՝ բազմությունների համեմատումն ըստ հզորության․ եթե երկու բազմությունների միջև առկա է փոխմիարժեք արտապատկերում (բիեկցիա), ապա այդ բազմությունները կոչվում են *էկվիվալենտ* կամ *համարժեք*։ Սա թույլ է տալիս դասակարգել բազմությունները ըստ իրենց հզորության, և դրանցից ամենափոքրը, ըստ մեծացման, հետևյալն են.

* վերջավոր բազմություններ, այստեղ բազմության հզորությունը համընկնում է տարրերի քանակի հետ,
* հաշվելի բազմություններ, բնական թվերի բազմությանը համարժեք բազմություններ,
* կոնտինուումի հզորության բազմություններ (օրինակ, թվային առանցքի հատվածը կամ թվային առանցքը)։

Այսպիսով, ստացվում են արտապատկերումների հետևյալ տեսակները՝ ըստ սահմանման տիրույթի հզորության.

* վերջավոր ֆունկցիաներ՝ վերջավոր բազմությունների արտապատկերում,
* հաջորդականություններ՝ հաշվելի բազմության արտապատկերում կամայական բազմության մեջ,
* շարունակական ֆունկցիաներ՝ անհաշվելի բազմությունների արտապատկերումը վերջավոր, հաշվելի կամ անհաշվելի բազմությունների մեջ։

2-րդ դեպքում դիտարկման հիմնական առարկան բազմության մեջ տրված կառուցվածքն է (որտեղ բազմության տարրերն օժտված են որոշ լրացուցիչ հատկություններով, որոնք կապում են այդ տարրերը, օրինակ՝ խմբերում, օղակներում, վեկտորական տարածություններում) և այն, ինչ տեղի է ունենում այդ կառուցվածքի հետ արտապատկերման ժամանակ. եթե փոխմիարժեք արտապատկերման դեպքում պահպանվում են տվյալ կառուցվածքի հատկությունները, ապա ասում են, որ երկու կառուցվածքների միջև հաստատվում է իզոմորֆություն։ Այսպիսով, տարբեր բազմությունների մեջ տրված իզոմորֆ կառուցվածքները, ընդհանուր առմամբ, հնարավոր չէ տարբերվել, հետևաբար մաթեմատիկայում ընդունված է ասել, որ տվյալ կառուցվածքը դիտարկվում է «մինչև իզոմորֆիզմի ճշգրտությամբ»։

Գոյություն ունեն բազմաթիվ տարբեր կառուցվածքներ, որոնք կարելի է սահմանել բազմությունների մեջ։ Դրանց թվում են.

* կարգի կառուցվածք – բազմության տարրերի մասնակի կամ գծային կարգը,
* հանրահաշվական կառուցվածք – խմբոիդ, կիսախումբ, խումբ, օղակ, մարմին, ամբողջականության ոլորտ կամ դաշտ, որը սահմանված է բազմության տարրերի վրա,
* մետրիկական տարածության կառուցվածք – բազմության տարրերի համար որոշվում է տարածության ֆունկցիան,
* Էվկլիդեսյան տարածության կառուցվածք – բազմության տարրերի համար որոշվում է սկալյար արտադրյալը,
* Տոպոլոգիական տարածության կառուցվածք – բազմության վրա տրվում է «բաց բազմությունների» ամբողջություն (որոնք չեն պարունակում իրենց սահմանը),
* չափելի տարածության կառուցվածք – բազմության վրա տրվում է սկզբնական բազմության ենթաբազմությունների սիգմա հանրահաշիվը (օրինակ՝ տվյալ սիգմա հանրահաշիվը որպես ֆունկցիայի որոշման տիրույթ նշելով)։

Որոշակի հատկություն ունեցող ֆունկցիաներ կարող են չլինել այն բազմությունների վրա, որոնք չունեն համապատասխան կառուցվածք։ Օրինակ, այնպիսի հատկություն ձևակերպելու համար, ինչպիսին է բազմության վրա սահմանված *անընդհատ ֆունկցիան*, այդ բազմության վրա անհրաժեշտ է սահմանել *տոպոլոգիական կառուցվածք*։

Ընդհանրացում
------------

### Մասամբ սահմանված ֆունկցիաներ

{\displaystyle X} բազմությունից {\displaystyle Y} բազմության վրա {\displaystyle f} մասամբ սահմանված ֆունկցիա է կոչվում {\displaystyle f\colon X'\to Y} ֆունկցիան {\displaystyle X'={\rm {Dom}}f\subsetneq X} որոշման տիրույթով։

Որոշ հեղինակներ ֆունկցիա ասելով կարող են նկատի ունենալ միայն դրա սահմանափակումը, այնպես որ «սահմանափակ» որոշման տիրույթում ֆունկցիան ամբողջությամբ սահմանված է։ Սա ունի իր առավելությունները, օրինակ՝ հնարավոր է {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } գրառումը, որտեղ {\displaystyle f(x)=1/x}, այդ դեպքում նկատի է առնվում՝ {\displaystyle \mathop {\rm {Dom}} f=\mathbb {R} \backslash \{0\}}։

### Բազմարժեք ֆունկցիաներ

Արգումենտի տրված արժեքին պետք է համապատասխանի ֆունկցիայի միայն մեկ արժեք, որը կապված է բուն ֆունկցիայի սահմանման հետ։ Բայց, չնայած դրան, հաճախ հնարավոր է հանդիպել այսպես կոչված բազմարժեք ֆունկցիաների։ Իրականում սա միայն այնպիսի ֆունկցիայի հարմար նշանակման ձև է, որի արժեքների տիրույթը ինքնին բազմությունների ընտանիք է։

Դիցուք {\displaystyle f\colon X\to \mathbb {B} }, որտեղ {\displaystyle \mathbb {B} }-ն {\displaystyle Y} բազմության ենթաբազմությունների ընտանիքն է։ Այդ դեպքում {\displaystyle f(x)} բազմություն է ցանկացած {\displaystyle x\in X} դեպքում։

Ֆունկցիան միարժեք է, եթե արգումենտի յուրաքանչյուր արժեքի համապատասղանում է ֆունկցիայի մեկ արժեք։ Ֆունկցիան բազմարժեք է, եթե արգումնենտի գոնե մեկ արժեքի համապատասխանում են ֆունկցիայի երկու կամ ավելի արժեքներ։

Ծանոթագրություններ
------------------

* Տեսաձայնային նյութեր Վիքիպահեստում

1. ↑  *В. А. Зорич* Глава I. Некоторые общематематические понятия и обозначения. § 3. Функция // Математический анализ. Часть I. — четвертое, исправленное. — М.: МЦНМО, 2002. — С. 13, 22, 25, 31. — 664 с. — ISBN 5-94057-056-9
2. 1 2  *Колмогоров А. Н. Абрамов А. М. Дудницын Ю. П.* Алгебра и начала анализа. Учебник для 10-11 классов средней школы. — М. Просвещение, 1994. — ISBN 5-09-006088-6. — С. 86-87
3. ↑  *Г. Е. Шилов* Глава 2. Элементы теории множеств. § 2.8. Общее понятие функции. График // Математический анализ (функции одного переменного). — М.: Наука, 1969. — С. 69. — 528 с.
4. ↑  Г. Корн, Т. Корн. Справочник по математике. Для научных работников и инженеров. М. 1973 г. Глава 4. Функции и пределы, дифференциальное и интегральное исчисление. 4.2. Функции. 4.2-2. **Функции со специальными свойствами**. (**а**), стр.99.

Գրականություն
-------------

* Функция. Математический энциклопедический словарь. — Гл. ред. Ю. В. Прохоров. — М.։ «Большая российская энциклопедия», 1995.
* Клейн Ф. Общее понятие функции. В кн.։ Элементарная математика с точки зрения высшей. Т. 1. М.—Л. 1933.
* И. А. Лавров, Л. Л. Максимова. Часть I. Теория множеств // Задачи по теории множеств, математической логике и теории алгоритмов. — 3-е изд. — М.։ Физматлит, 1995. — С. 13—21. — 256 с. — ISBN 5-02-014844-X
* А. Н. Колмогоров, С. В. Фомин. Глава 1. Элементы теории множеств // Элементы теории функций и функционального анализа. — 3-е изд. — М.։ Наука, 1972. — С. 14—18. — 256 с.
* Дж. Л. Келли. Глава 0. Предварительные сведения // Общая топология. — 2-е изд. — М.։ Наука, 1981. — С. 19—27. — 423 с.
* В. А. Зорич. Глава I. Некоторые общематематические понятия и обозначения. § 3. Фунция // Математический анализ, часть I. — М.։ Наука, 1981. — С. 23—36. — 544 с.
* Г. Е. Шилов. Глава 2. Элементы теории множеств. § 2.8. Общее понятие функции. График // Математический анализ (функции одного переменного). — М.։ Наука, 1969. — С. 65—69. — 528 с.
* А. Н. Колмогоров. «Что такое функция» // «Квант». — М.։ «Наука», 1970. — В. 1. — С. 27—36. — ISSN 0130-2221.
* Գ․ Մ․ Ֆիխտենգոլց «Մաթեմատիկական անալիզի հիմունքները»Օնլայն հայերեն տարբերակ Արխիվացված 2019-01-02 Wayback Machine
* Bartle, Robert (1967). *The Elements of Real Analysis*. John Wiley & Sons.
* Bloch, Ethan D. (2011). *Proofs and Fundamentals: A First Course in Abstract Mathematics*. Springer. ISBN 978-1-4419-7126-5.
* Cunningham, Daniel W. (2016). *Set theory: A First Course*. Cambridge University Press. ISBN 978-1-107-12032-7.
* Gödel, Kurt (1940). *The Consistency of the Continuum Hypothesis*. Princeton University Press. ISBN 978-0-691-07927-1.
* Halmos, Paul R. (1970). *Naive Set Theory*. Springer-Verlag. ISBN 978-0-387-90092-6.
* Jech, Thomas (2003). *Set theory* (Third Millennium ed.). Springer-Verlag. ISBN 978-3-540-44085-7.
* Spivak, Michael (2008). *Calculus* (4th ed.). Publish or Perish. ISBN 978-0-914098-91-1.
* Anton, Howard (1980). *Calculus with Analytical Geometry*. Wiley. ISBN 978-0-471-03248-9.
* Bartle, Robert G. (1976). *The Elements of Real Analysis* (2nd ed.). Wiley. ISBN 978-0-471-05464-1.
* Dubinsky, Ed; Harel, Guershon (1992). *The Concept of Function: Aspects of Epistemology and Pedagogy*. Mathematical Association of America. ISBN 978-0-88385-081-7.
* Hammack, Richard (2009). «12. Functions» (PDF). *Book of Proof*. Virginia Commonwealth University. Վերցված է 2012 թ․ օգոստոսի 1-ին.
* Husch, Lawrence S. (2001). *Visual Calculus*. University of Tennessee. Վերցված է 2007 թ․ սեպտեմբերի 27-ին.
* Katz, Robert (1964). *Axiomatic Analysis*. D. C. Heath and Company.
* Kleiner, Israel (1989). «Evolution of the Function Concept: A Brief Survey». *The College Mathematics Journal*. **20** (4): 282–300. CiteSeerX 10.1.1.113.6352. doi:10.2307/2686848. JSTOR 2686848.
* Lützen, Jesper (2003). «Between rigor and applications: Developments in the concept of function in mathematical analysis». In Porter, Roy (ed.). *The Cambridge History of Science: The modern physical and mathematical sciences*. Cambridge University Press. ISBN 978-0-521-57199-9. An approachable and diverting historical presentation.
* Malik, M. A. (1980). «Historical and pedagogical aspects of the definition of function». *International Journal of Mathematical Education in Science and Technology*. **11** (4): 489–492. doi:10.1080/0020739800110404.
* Reichenbach, Hans (1947) *Elements of Symbolic Logic*, Dover Publishing Inc. New York, 0-486-24004-5.
* Ruthing, D. (1984). «Some definitions of the concept of function from Bernoulli, Joh. to Bourbaki, N.». *Mathematical Intelligencer*. **6** (4): 72–77.
* Thomas, George B.; Finney, Ross L. (1995). *Calculus and Analytic Geometry* (9th ed.). Addison-Wesley. ISBN 978-0-201-53174-9.


|  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |
| --- | --- |
|  ⛭   Բառարաններ և հանրագիտարաններ | Բրիտանիկա (11-րդ) · Բրիտանիկա · Բրոքհաուսի և Եփրոնի · Բրոքհաուսի և Եփրոնի փոքր · Լարուսի · Կրուգոսվետ · Մեծ նորվեգական · Treccani |
|  |
| 

|  Չափորոշչային վերահսկողություն |
| --- |
|  |
| BNF: 11946892t · GND: 4071510-3 · LCCN: sh85052327 · Microsoft: 58442840, 145877681 · NDL: 00564960 · NKC: ph114594 |

 |

 |

|  |
| --- |
| *Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 12, էջ 739)։*  |