Ֆունկցիա (մաթեմատիկա)

Ֆունկցիան (կամ գործառույթ) մաթեմատիկայում երկու բազմությունների տարրերի միջև համապատասխանության կանոն է, ըստ որի առաջինի յուրաքանչյուր տարր համապատասխանում է երկրորդ բազմության մեկ և միայն մեկ տարրին։

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

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

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

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

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

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

${\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 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}$ դեպքում։

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

Վիքիպահեստն ունի նյութեր, որոնք վերաբերում են «Ֆունկցիա (մաթեմատիկա)» հոդվածին։

Բառարաններ և հանրագիտարաններ Բրիտանիկա (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)։