# አስረካቢ
በሒሳብ ጥናት አስረካቢ (ፈንክሽን) አንድን ብዘት(ኳንትቲ) ከሌላ ብዘት ጋር ያጣምራል። የመጀመሪያው ተጣማሪ ብዘት ግቤት ይባላል፣ ሁለተኛው ውጤት ይሰኛል። አስረካቢ ምንግዜም አንድ ግቤት ወስዶ ለአንድ ብቻ ውጤት ያስረክባል እንጂ ለሁለት ውጤቶች አይሰጥም። ይህ ባህሪው ከሌላ አይነት ዝምድና ይለየዋል። አስረካቢ በአብዛኛው እንዲህ ይጻፋል f(x) ፣ ሲነበብ "ኤፍ ኦፍ ኤክስ" ወይን የ ኤክስ አስረካቢ ይባላል። 

## ቀኖናዊ የአስረካቢ ትርጉምና የተለያዩ አስረካቢን ለመወከል የሚረዱ ዘዴዎች
አስረካቢ በጥንቃቄ ሲተረጎም የሦስት ቅደም-ተከተከል ያላቸው ስብስቦች (X, Y, F) ጥንድ ሊባል ይችላል። X የአስረካቢው ግዛት, Y ተጣማሪ ግዛት, እና F ደግሞ የሁለቱ ቅደም ተከተል ያላቸው አባላት (a, b) ጥንድ ነው። በመጨረሻው ጥንድ ውስጥ ያለው የመጀመሪያ አባል a ከአስረካቢው ግዛት የተወሰደ ሲሆን፣ b ደግሞ ከተጣማሪ ግዛቱ የተወሰደ ነው። እዚህ ላይ መረሳት የሌለበት ማናቸውም በግዛቱ ስብስብ ያሉ አባላት በጥንዶቹ ውስጥ መካተት አለባቸው። የተጣማሪው ግዛት አባላት ግን ላይወከሉ ይችላሉ። ƒ:X→Y ማለት ƒ አስረካቢ ሲሆን፣ X ግዛቱ Y ተጣማሪ ግዛቱ ናቸው። f የ X ን አባላት ለ Y አባላት ያስረክባል ወይንም አባላቶቹን ያጣምራል እንላለን።
የአስረካቢው ግዛት እና ተጣማሪ ግዛት እውን ቁጥሮች ቢሆኑና ተጣማሪው በሚከተለው ቀመር መልኩ ቢጻፍ {\displaystyle y=x^{2}} ይህን ሁኔታ ከላይ በተቀመጠው የሦስት ጥን ቀኖናዊ አጻጻፍ መሰረት እንዲህ ይጻፋል፦
{\displaystyle \left(\mathbb {R} ,\mathbb {R} ,\left\{\left(x,x^{2}\right):x\in \mathbb {R} \right\}\right)},
ብዙ ጊዜ የአንድ አስረካቢ የግቤቱና የውጤቱ ግዛትና ተጣማሪ ግዛት ስለሚታወቅ እኒህ ግዛቶች አይጻፉም። ስለሆነም አስረካቢው እንዲሁ ግቤቱን እና ውጤቱን በሚያዛምድ ቀመሩ ብቻ ተጽፎ ይታያል። 
ከቀኖናዊ አጻጻፍ በተጨማሪ አስረካቢዎች በብዙ አይነት መንገድ ሊወከሉ ይችላሉ። በቀመር መልክ፣ በአልጎሪዝም፣ ግራፍ፣ ሰንጠረዥ እንዲሁም በስብስብ ቬን ዳያግራም፣ ወዘተ መልኩ ይቀርባሉ። 
| {\displaystyle {\begin{aligned}f\colon \mathbb {R} &\to \mathbb {R} \\x&\mapsto \ 2x\end{aligned}}} | {\displaystyle {\begin{aligned}\ f(x)=\ 2x\end{aligned}}} | \| x \| 1 \| 2 \| 3 \| 4 \| 5 \| 6 \| 7 \| … \| \| {\displaystyle y} \| 2 \| 4 \| 6 \| 8 \| 10 \| 12 \| 14 \| … \| |   |   |    |    |    |   |
| x                                                                                                   | 1                                                         | 2                                                                                                                  | 3 | 4 | 5  | 6  | 7  | … |
| {\displaystyle y}                                                                                   | 2                                                         | 4                                                                                                                  | 6 | 8 | 10 | 12 | 14 | … |


## ለአስረካቢ ጽንሰ ሐሳብ የሚረዱ ቃላቶች ትርጓሜ
- የአስረካቢ ግዛት፡ የአንድ አስረካቢ ግቤቶች ሙሉ ስብስብ የአስረካቢው ግዛት (ዶሜይን) ይሰኛል።
- ተጣማሪ ግዛት፡ አንድ አስረካቢ ሊያስረክባቸው የሚችላቸው ውጤቶች ሙሉ ስብስብ ተጣማሪ ግዛት (ኮዶሜይን) ይሰኛል። ተጣማሪ ግዛት ውስት ያሉ አባላት የግዴት ተረካቢ ሊሆኑ አይገባም። ሊረከቡ የመቻል አዝማሚያ ካላቸውም ብስብስቡ ይጠቃለላሉ።
- የአስረካቢ ምስል፡ የአንድ አስረካቢ እውን ውጤቶች ስብስብ የአስረካቢ ምስል (ሬንጅ ወይንም ኢሜጅ) ይሰኛል።
- ግራፍ፡ የአንድ አስረካቢ ግቤቶች እና ውጤቶች ቅደም ተክተላዊ ጥንድ { (x, f(x) }ስብስብ፣ የዚያ አስረካቢ ግራፍ ይሰኛል።

ለምሳሌ f(x) = 2x፣ የሚሰጠውን ግቤት እጥፍ የሚሰጥ አስረካቢ ነው። ለምሳሌ 5 ቢገባበት ውጤቱ 10 ያወጣል። f(5) = 10.።
f(x) = 2x ፣ ግዛቱ እውን ቁጥሮች (ሪል ነምበርስ) ከሆኑ ተጣማሪ ግዛቱ እና ምስሉ እንዲሁ እውን ቁጥሮች ናቸው። ግዛቱ የተፈጥሮ ቁጥሮች (ናቹራል ነምበርስ) ከሆነ ግን ምስሉ ተካፋይ ቁጥሮች (ኢቭን ነምበርስ) ሲሆኑ፣ ተጣማሪ ግዛቱ ያው የተፈጥሮ ቁጥሮች ናቸው።
የአንድ አስረካቢ ግቤት ቁጥር ሊሆን ግድ አይደለም። ይልቁኑ ማናቸውም አይነት የስብስብ አባላት ሊሆኑ ይችላሉ። ለምሳሌ ወፍጮ የአስረካቢ አይነት ነው፣ አንድን እህል ወስዶ የዚያን እህል ዱቄት ይሰጣል። አንድ ወፍጮ ጤፍ ግቤቱ ቢሆን ሁለት አይነት ውጤት (ለምሳሌ የጤፍና የስንዴ ዱቄት) አይሰጥም። ደብዳቤ አስረካቢ ለምሳሌ አንድን ደብዳቤ ለአንድ አድራሻ በማድረስ የአስረካቢ አይነት ስራ ይሰራል፣ ወዘተ...

## የአስረካቢ ቅብብል
ዋና መጣጥፍ፦ ቅብብል
የአስረካቢ ቅብብል ከሁለት ወይንም ከዚያ በላይ አስረካቢዎች የተሰራ ሲሆን፣ የአንዱ አስረካቢ ውጤት ለሌላኛው አስረካቢ እንደ ግቤት የሚያገለግልበት ስርዓት ነው። አስረካቢ ƒ: X → Y እና g: Y → Z እንዲህ ሲደረግ ሊቀባበሉ ይችላሉ፣ መጀመሪያ አስረካቢ ƒ ግቤት x ን ወስዶ ለውጤት y = ƒ(x) ያስረክባል፣ ከዚያ አስረካቢ g ይህን ውጤት y ወስዶ ለውጤት z = g(y) ያስረክባል። በዚህ መልኩ የተሰራ ቅብብል አስረካቢ በሒሳብ ቋንቋ እንዲህ ይጻፋል 
{\displaystyle {\begin{aligned}g\circ f\colon X&\to Z\\x&\mapsto g(f(x)).\end{aligned}}}
ወይን በቀላሉ ሲጻፍ
{\displaystyle (g\circ f)(x)=g(f(x)).\ } ፣ ሲነበብ ከƒ ለg የሚያቀብል አስረካቢ።
የቅብብሉ ቅደም ተከተል ወሳኝ ነው፣ ምክንያቱም ከ ƒ ለg ማቀበልና ከg ለƒ ማቀበል ብዙ ጊዜ የተለያዩ ግቤቶችንና ውጤቶችን ያመጣሉና። ለምሳሌ፦
ƒ(x) = x2 እና g(x) = x+1 ቢሰጡን
g(ƒ(x)) = x2+1, ከƒ ለg አቀባይ አስረካቢ
ƒ(g(x)) = (x+1)2 = x2+2x+1, ከg ለƒ አቀባይ አስረካቢ
በዚህ አይነት መንገድ ብዙ ውስብስብ የሚመስሉ አስረካቢዎችን ከቀላል አስረካቢዎች ቅብብል መፍጠር ይቻላል።

### መላሽ አስረካቢ
ዋና መጣጥፍ፦  መላሽ አስረካቢ
አስረካቢ ƒ ከ X ወደ Y እሚያስረክብ ቢሆን፣ የ ƒ መላሽ አስረካቢ ƒ−1, በተቃራኒ አቅጣጫ Y ን ወደ X, የሚያስረክብ ነው። ሁሉም አስረካቢዎች መላሽ አስረካቢ የላቸውም። መላሽ አስረካቢ ካላቸው ግን ተመላላሽ ይሰኛሉ። 
አንድ አስረካቢ ተመላላሽ የሚሆነው አንድ ለአንድ አስረካቢ ከሆነና ከሆነ ብቻ ነው። 
ለምሳሌ አስረካቢ ƒ በዲግሪ ሴልሲየስ C የተቀመጠን ሙቀት መጠን ወደ ፋረን ሃይት F ቢቀይር, የዚህ አስረካቢ መላሽ ƒ−1. የሙቀት መጠንን ከፋረርሃይት F ወደ ሴልሲየስ C መልሶ ያመጣል ማለት ነው። 
{\displaystyle {\begin{aligned}f(C)&={\frac {9}{5}}C+32\\f^{-1}(F)&={\frac {5}{9}}(F-32)\end{aligned}}}
ከአንድ ለአንድ ውጭ ያሉ የአስረካቢ አይነቶች (እንደ ትርፍ አስረካቢዎች፣ እና እንስ አስረካቢዎች)፣ ግዛቶቻቸውንና ጥምር ግዛቶቻቸውን በማስተካከል ተመላላሽ አስረካቢዎች ሊሆኑ የሚችሉበት መንገድ ሊዘጋጅ ይቻላል።

## የሥነ አስረካቢ ታሪክ
ስለ አስረካቢ ታሪክ በተብራራ መልኩ በእንግሊዝኛው ውክፔዲያ ተጽፎ ይገኛል። (እንግሊዝኛ) የአስረካቢ ታሪክ

## የአስረካቢ አይነቶች
የአሰረካቢ ግዛት አባላት በቋሚ ሁኔታ ሁላቸውም መጣመር ስላለባቸውና እያንዳንዳቸው ከአንድ የጥምረት ግዛት አባል ጋር የግድ መዛመድ ስላለባቸው አስረካቢዎችን ለመክፈል አይጠቅሙም። ይልቁኑ የአስረካቢ ተጣማሪ ግዛቶች (ውጤቶች) 4 ዓይነት መልኩ ከግዛቱ አባላት (ግቤቶች) ጋር ስለሚዛመዱ አስረካቢዎችን በ4 ይከፍላሉ። እነርሱም፦
| ቁር. | ምልክት                                                                                                                                                                                                                                                | ዓይነት ስም                                                                  | በምስል | ግቤት ብዛት/ውጤት ብዛት | ገለጻ                                                                                                                                                                                                                          | ሒሳባዊ ጸባይ                                                                                                       | በተሰጡት ግቤቶችና ውጤቶች ልክ ሊሰሩ ሚችሉ አስላኪዎች                                  |
| --- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------ | ---- | --------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------- |
| 1   | {\displaystyle f\colon \,P\rightarrowtail C}                                                                                                                                                                                                        | ከ {\displaystyle P} ወደ {\displaystyle C} ጎደሎ አስረካቢ (ኢንጄክቲቭ፣ ኢንቱ)         |      | ≤ 1             | ጎደሎ አስረካቢ አንድን ግቤት ለአንድ ብቻ ውጤት ያስረክባል። በሌላ አነጋገር፣ ጎደሎ-አስረካቢ የተጣማሪ ግዛቱን C አባላት ቢበዛ ቢበዛ ከአንድ የግዛቱ አባላት P ጋር ያጣምራል። የግቤቱ ግዛት ከውጤቱ ግዛት ወይ እኩል ናቸው ወይንም ያንሳሉ።                                                                     | {\displaystyle \forall x\in P,} {\displaystyle \forall y\in P,} {\displaystyle [f(x)=f(y)]\Rightarrow [x=y]\,} | {\displaystyle c^{\underline {p}}}                                  |
| 2   | {\displaystyle f\colon \,P\twoheadrightarrow C}                                                                                                                                                                                                     | ከ {\displaystyle P} ወደ {\displaystyle C} ትርፍ አስረካቢ ( ሰርጀክቲቭ፣ ኦንቱ)        |      | ≥ 1             | ትርፍ አስረካቢ ሁሉን የተጣማሪ ግዛት አባላቱን ከላኪ ግዛት አባላቱ በማጣመር ያለብሳል። በሌላ አነጋገር፣ ትርፍ-አስረካቢ የተጣማሪ ግዛት C አባላቱን ቢያንስ ቢያንስ ከአንድ የግዛቱ P አባላት ጋር ያጣምራል። የግዛቱ አባላት ብዛት ከአስረካቢው-ምስል ብዛት ወይ እኩል ናቸው ወይ ይበልጣሉ።                                       | {\displaystyle \forall y\in C,} {\displaystyle \exists x\in P,\ f(x)=y}                                        | {\displaystyle {c!}\left\{{\begin{matrix}p\\c\end{matrix}}\right\}} |
| 3   | {\displaystyle f\colon \,P\;\operatorname {\leftrightarrow } \;C} {\displaystyle f\colon \,P\;\operatorname {\rightleftarrows } \;C} {\displaystyle f\colon \,P\;\,\operatorname {\twoheadrightarrow \!\!\!\!\!\!\!\!\!\!\;\;\rightarrowtail } \;C} | ከ{\displaystyle P} ወደ {\displaystyle C} አንድ ለአንድ አስረካቢ (ባይጄክቲቭ፣ ዋን ቱ ዋን) |      | =1              | አንድ ለአንድ አስረካቢ እያንዳንዱን የተጣማሪ ግዛት አባላቱን ከአንድ ከአንድ ግዛት አባላቱ በማጣመር አንድ ለአንድ ጥምረት ይፈጥራል። በሌላ አነጋገር፣ አንድ ለአንድ-አስረካቢ የተጣማሪ ግዛት C አባላቱን ልዩ ከሆነ ከአንድ የግዛቱ P አባል ጋር ያጣምራል። የግዛቱ አባላት ብዛት ከአስረካቢው-ምስል ብዛት እና ከተጣማሪው ግዛት ብዛት ጋር እኩል ነው። | {\displaystyle \forall y\in C,} {\displaystyle \exists !\ x\in P,\ f(x)=y}                                     | {\displaystyle C!}                                                  |
| 4   | {\displaystyle f\colon \,P\ C}                                                                                                                                                                                                                      | ዝብርቅ አስረካቢ                                                               |      | ♥ እንደልብ         | ከላይ ከተጠቀሱት የአስረካቢ ዓይነቶች የሌለና አራተኛው የመጨረሻው አስረካቢ ዓይነት                                                                                                                                                                         | ለማንኛውም አስረካቢ የሚሰራ ጸባይ ለዚህም ይሰራል                                                                                | {\displaystyle C^{P}} - የላዮቹ ብዛት                                    |


## ተጨማሪ ንባቦች
- (እንግሊዝኛ) ወልፍራም ድረ ገጽ  የተለያዩ ቀመሮችና ምስሎች
- (እንግሊዝኛ) አስረካቢ መሳያ, ለግራፍ መሳያ ሚያገለግሉ የተለያዩ የጃቫ ፍርገማዎች
- (እንግሊዝኛ) xአስረካቢዎች, አስረካቢዎች በጃቫ
- (እንግሊዝኛ)አስረካቢ ግራፍ መሳያ, አስረካቢ መሳያ
- (እንግሊዝኛ)አስረካቢዎች
- (እንግሊዝኛ)አስረካቢዎች.
- (እንግሊዝኛ)ኦንላይን አስረካቢ መሳያ Archived ኖቬምበር 30, 2010 at the Wayback Machine.
- (እንግሊዝኛ)አስረካቢ ጨዋታ, አስረካቢዎችን መገመቻ ጨዋታ


አስረካቢ
[[ስዕል:Codomain2.SVG|thumb| {{legend|#cc6677|  X - የአስረካቢ ግዛት}}{{legend|Monkey business|Household income}}{{legend|#5555cc| ከአስረካቢ ምስል ጋር ተዳምሮ - Y-ተጣማሪ ግዛት}} </br> x - ግቤት፣ የአስረካቢ ግዛት አባል </br> f(x) - አስረካቢ። ግቤትን ወደ ውጤት ቀያሪ </br> f:X -> Y - የአስረካቢ ግዛትን ከተጣማሪ ግዛት ጋር የሚያቆራኝ አስረካቢ]]

በ[[ሒሳብ]] ጥናት '''አስረካቢ''' (ፈንክሽን) አንድን ብዘት(ኳንትቲ) ከሌላ ብዘት ጋር ያጣምራል። የመጀመሪያው ተጣማሪ ብዘት [[ግቤት]] ይባላል፣ ሁለተኛው [[ውጤት]] ይሰኛል። አስረካቢ ምንግዜም አንድ ግቤት ወስዶ ለአንድ ብቻ ውጤት ያስረክባል እንጂ ለሁለት ውጤቶች አይሰጥም። ይህ ባህሪው ከሌላ አይነት [[ዝምድና]] ይለየዋል። አስረካቢ በአብዛኛው እንዲህ ይጻፋል f(x) ፣ ሲነበብ "ኤፍ ኦፍ ኤክስ" ወይን የ ''ኤክስ አስረካቢ'' ይባላል። 


==ቀኖናዊ የአስረካቢ ትርጉምና የተለያዩ አስረካቢን ለመወከል የሚረዱ ዘዴዎች==
'''አስረካቢ''' በጥንቃቄ ሲተረጎም የሦስት ቅደም-ተከተከል ያላቸው ስብስቦች (''X'', ''Y'', ''F'') ጥንድ ሊባል ይችላል። ''X'' የአስረካቢው ግዛት, ''Y'' ተጣማሪ ግዛት, እና ''F'' ደግሞ የሁለቱ ቅደም ተከተል ያላቸው አባላት (''a'', ''b'') ጥንድ ነው። በመጨረሻው ጥንድ ውስጥ ያለው የመጀመሪያ አባል ''a'' ከአስረካቢው ግዛት የተወሰደ ሲሆን፣ ''b'' ደግሞ ከተጣማሪ ግዛቱ የተወሰደ ነው። እዚህ ላይ መረሳት የሌለበት ማናቸውም በግዛቱ ስብስብ ያሉ አባላት በጥንዶቹ ውስጥ መካተት አለባቸው። የተጣማሪው ግዛት አባላት ግን ላይወከሉ ይችላሉ። ƒ:''X''→''Y'' ማለት ƒ አስረካቢ ሲሆን፣ ''X'' ግዛቱ ''Y'' ተጣማሪ ግዛቱ ናቸው። ''f'' የ ''X'' ን አባላት ለ ''Y'' አባላት ያስረክባል ወይንም አባላቶቹን ያጣምራል እንላለን።

የአስረካቢው ግዛት እና ተጣማሪ ግዛት እውን ቁጥሮች ቢሆኑና ተጣማሪው በሚከተለው ቀመር መልኩ ቢጻፍ <math>y = x^2</math> ይህን ሁኔታ ከላይ በተቀመጠው የሦስት ጥን ቀኖናዊ አጻጻፍ መሰረት እንዲህ ይጻፋል፦

:<math>\left( \mathbb{R}, \mathbb{R}, \left\{ \left( x, x^2\right) : x \in \mathbb{R} \right\} \right) </math>,

ብዙ ጊዜ የአንድ አስረካቢ የግቤቱና የውጤቱ ግዛትና ተጣማሪ ግዛት ስለሚታወቅ እኒህ ግዛቶች አይጻፉም። ስለሆነም አስረካቢው እንዲሁ ግቤቱን እና ውጤቱን በሚያዛምድ ቀመሩ ብቻ ተጽፎ ይታያል። 
ከቀኖናዊ አጻጻፍ በተጨማሪ አስረካቢዎች በብዙ አይነት መንገድ ሊወከሉ ይችላሉ። በ[[ቀመር]] መልክ፣ በ[[አልጎሪዝም]]፣ [[ግራፍ]]፣ [[ሰንጠረዥ]] እንዲሁም በ[[ስብስብ]] [[ቬን ዳያግራም]]፣ ወዘተ መልኩ ይቀርባሉ። 

{| align="center"  class="wikitable" 
|-
!ቀመር
!አጭር ቀመር
!ሰንጠረዥ
!ግራፍ
!ስብስብ (ቬን ዳያግራም)
|-
|<math>\begin{align}
 f\colon \mathbb{R} &\to \mathbb{R} \\
  x  &\mapsto \ 2x
\end{align}</math>

||<math>\begin{align}
 \ f(x)= \ 2x
\end{align}</math>

||
{| cellpadding="3" cellspacing="0"
| align="right" style="width:2ex; border-right:1px double black; border-bottom:1px solid black" |  x
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 1
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 2
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 3
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 4
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 5
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 6
| align="right" style="width:2ex; border-right:1px solid black; border-bottom:1px solid black" | 7
| align="right" style="width:2ex; border-bottom:1px solid black" | …
|-
| align="right" style="border-right:1px double black" | <math>y</math>
| align="right" style="border-right:1px solid black" | 2
| align="right" style="border-right:1px solid black" | 4
| align="right" style="border-right:1px solid black" | 6
| align="right" style="border-right:1px solid black" | 8
| align="right" style="border-right:1px solid black" | 10
| align="right" style="border-right:1px solid black" | 12
| align="right" style="border-right:1px solid black" | 14
| align="right" | …
|}

||[[ስዕል:Variables proporcionals.png|100px]]
||[[ስዕል:Aplicación 2 inyectiva sobreyectiva02.svg|100px]]

|}

== ለአስረካቢ ጽንሰ ሐሳብ የሚረዱ ቃላቶች ትርጓሜ ==
* '''የአስረካቢ ግዛት'''፡ የአንድ አስረካቢ ግቤቶች ሙሉ [[ስብስብ]] [[የአስረካቢ ግዛት|የአስረካቢው ግዛት]] (ዶሜይን) ይሰኛል። 
* '''ተጣማሪ ግዛት'''፡ አንድ አስረካቢ ሊያስረክባቸው የሚችላቸው ውጤቶች ሙሉ ስብስብ [[ተጣማሪ ግዛት]] (ኮዶሜይን) ይሰኛል። ተጣማሪ ግዛት ውስት ያሉ አባላት የግዴት ተረካቢ ሊሆኑ አይገባም። ሊረከቡ የመቻል አዝማሚያ ካላቸውም ብስብስቡ ይጠቃለላሉ።
* '''የአስረካቢ ምስል'''፡ የአንድ አስረካቢ እውን ውጤቶች ስብስብ [[የአስረካቢ ምስል]] (ሬንጅ ወይንም ኢሜጅ) ይሰኛል። 
* '''ግራፍ'''፡ የአንድ አስረካቢ ግቤቶች እና ውጤቶች [[ቅደም ተክተላዊ ጥንድ]] { (''x'', ''f''(''x'') }ስብስብ፣ የዚያ አስረካቢ [[ግራፍ]] ይሰኛል።

ለምሳሌ ''f''(''x'') = 2''x''፣ የሚሰጠውን ግቤት እጥፍ የሚሰጥ አስረካቢ ነው። ለምሳሌ 5 ቢገባበት ውጤቱ 10 ያወጣል። ''f''(5) = 10.።
: ''f''(''x'') = 2''x'' ፣ ግዛቱ [[እውን ቁጥሮች]] (ሪል ነምበርስ) ከሆኑ ተጣማሪ ግዛቱ እና ምስሉ እንዲሁ እውን ቁጥሮች ናቸው። ግዛቱ [[የተፈጥሮ ቁጥሮች]] (ናቹራል ነምበርስ) ከሆነ ግን ምስሉ [[ተካፋይ ቁጥሮች]] (ኢቭን ነምበርስ) ሲሆኑ፣ ተጣማሪ ግዛቱ ያው የተፈጥሮ ቁጥሮች ናቸው። 

የአንድ አስረካቢ ግቤት [[ቁጥር]] ሊሆን ግድ አይደለም። ይልቁኑ ማናቸውም አይነት የ[[ስብስብ]] አባላት ሊሆኑ ይችላሉ። ለምሳሌ ወፍጮ የአስረካቢ አይነት ነው፣ አንድን እህል ወስዶ የዚያን እህል ዱቄት ይሰጣል። አንድ ወፍጮ ጤፍ ግቤቱ ቢሆን ሁለት አይነት ውጤት (ለምሳሌ የጤፍና የስንዴ ዱቄት) አይሰጥም። ደብዳቤ አስረካቢ ለምሳሌ አንድን ደብዳቤ ለአንድ አድራሻ በማድረስ የአስረካቢ አይነት ስራ ይሰራል፣ ወዘተ...

== የአስረካቢ ቅብብል ==
{{ዋና|ቅብብል}} 
[[ስዕል:Function machine5.png|250px|right|thumbnail| ቅብብል አስረካቢ ''g''(''f''(''x'')) በሁለት ወፍጮዎች ሊመሰል ይችላል። የመጀመሪያው ግቤት ''x'' ን ይወስድና ለውጤት ''f''(''x'') ያስረክባል። ሁለተኛው ''f''(''x'') እንደ ግቤት ይወስድና ውጤት ''g''(''f''(''x''))ን ያወጣል ወይንም ያስረክባል]]

የ'''አስረካቢ ቅብብል''' ከሁለት ወይንም ከዚያ በላይ አስረካቢዎች የተሰራ ሲሆን፣ የአንዱ አስረካቢ ውጤት ለሌላኛው አስረካቢ እንደ ግቤት የሚያገለግልበት ስርዓት ነው። አስረካቢ ƒ:&nbsp;''X''&nbsp;→&nbsp;''Y'' እና ''g'':&nbsp;''Y''&nbsp;→&nbsp;''Z'' እንዲህ ሲደረግ ሊቀባበሉ ይችላሉ፣ መጀመሪያ አስረካቢ ƒ ግቤት ''x'' ን ወስዶ ለውጤት ''y'' = ƒ(''x'') ያስረክባል፣ ከዚያ አስረካቢ ''g'' ይህን ውጤት ''y'' ወስዶ ለውጤት ''z'' = ''g''(''y'') ያስረክባል። በዚህ መልኩ የተሰራ ቅብብል አስረካቢ በሒሳብ ቋንቋ እንዲህ ይጻፋል 
: <math>\begin{align}
 g\circ f\colon X &\to Z \\
 x &\mapsto g(f(x)).
\end{align}</math>

ወይን በቀላሉ ሲጻፍ
:<math>(g\circ f)(x) = g(f(x)).\ </math> ፣ ሲነበብ ከƒ ለg የሚያቀብል አስረካቢ። 

የቅብብሉ ቅደም ተከተል ወሳኝ ነው፣ ምክንያቱም ከ ƒ ለg ማቀበልና ከg ለƒ ማቀበል ብዙ ጊዜ የተለያዩ ግቤቶችንና ውጤቶችን ያመጣሉና። ለምሳሌ፦
:ƒ(''x'')&nbsp;= ''x''<sup>2</sup> እና ''g''(''x'')&nbsp;= ''x''+1 ቢሰጡን 
:''g''(ƒ(''x''))&nbsp;= ''x''<sup>2</sup>+1, ከƒ ለg አቀባይ አስረካቢ 
:ƒ(''g''(''x''))&nbsp;= (''x''+1)<sup>2</sup> = ''x''<sup>2</sup>+2''x''+1, ከg ለƒ አቀባይ አስረካቢ 

በዚህ አይነት መንገድ ብዙ ውስብስብ የሚመስሉ አስረካቢዎችን ከቀላል አስረካቢዎች ቅብብል መፍጠር ይቻላል።

=== መላሽ አስረካቢ ===
{{ዋና| መላሽ አስረካቢ}}

[[ስዕል:Inverse Function.png|thumb|right|180px| አስረካቢ ƒ እና መላሹ ƒ<sup>–1</sup>. አስረካቢ ƒ ግቤት ''a'' ን ለ 3 ስለሚያስረክብ, መላሹ ƒ<sup>–1</sup> 3 ን ለ ''a'' ያስረክባል.]]

አስረካቢ ƒ ከ ''X'' ወደ ''Y'' እሚያስረክብ ቢሆን፣ የ ƒ መላሽ አስረካቢ ƒ<sup>&minus;1</sup>, በተቃራኒ አቅጣጫ ''Y'' ን ወደ ''X'', የሚያስረክብ ነው። ሁሉም አስረካቢዎች መላሽ አስረካቢ የላቸውም። መላሽ አስረካቢ ካላቸው ግን '''ተመላላሽ''' ይሰኛሉ። 

አንድ አስረካቢ ተመላላሽ የሚሆነው [[አንድ ለአንድ አስረካቢ]] [[ከሆነና ከሆነ ብቻ]] ነው። 
 
ለምሳሌ አስረካቢ ƒ በዲግሪ ሴልሲየስ ''C'' የተቀመጠን [[ሙቀት መጠን]] ወደ ፋረን ሃይት ''F'' ቢቀይር, የዚህ አስረካቢ መላሽ ƒ<sup>−1</sup>. የሙቀት መጠንን ከፋረርሃይት F ወደ ሴልሲየስ C መልሶ ያመጣል ማለት ነው። 
:<math>\begin{align}
 f(C) &= \frac {9}{5} C + 32 \\
 f^{-1}(F) &= \frac {5}{9} (F - 32)
\end{align}</math>

ከአንድ ለአንድ ውጭ ያሉ የአስረካቢ አይነቶች (እንደ ትርፍ አስረካቢዎች፣ እና እንስ አስረካቢዎች)፣ ግዛቶቻቸውንና ጥምር ግዛቶቻቸውን በማስተካከል ተመላላሽ አስረካቢዎች ሊሆኑ የሚችሉበት መንገድ ሊዘጋጅ ይቻላል።



== የሥነ አስረካቢ ታሪክ ==
ስለ አስረካቢ ታሪክ በተብራራ መልኩ በእንግሊዝኛው ውክፔዲያ ተጽፎ ይገኛል። [[:en: Function_(mathematics)# History|{{en}} የአስረካቢ ታሪክ]]


== የአስረካቢ አይነቶች ==
የአሰረካቢ ግዛት አባላት በቋሚ ሁኔታ ሁላቸውም መጣመር ስላለባቸውና እያንዳንዳቸው ከአንድ የጥምረት ግዛት አባል ጋር የግድ መዛመድ ስላለባቸው አስረካቢዎችን ለመክፈል አይጠቅሙም። ይልቁኑ የአስረካቢ ተጣማሪ ግዛቶች (ውጤቶች) 4 ዓይነት መልኩ ከግዛቱ አባላት (ግቤቶች) ጋር ስለሚዛመዱ አስረካቢዎችን በ4 ይከፍላሉ። እነርሱም፦

{|align = "center" class="prettytable" width="100%"
|- 
!ቁር.
! ምልክት
! ዓይነት ስም 
! በምስል
! ግቤት ብዛት/ውጤት ብዛት
!ገለጻ
! ሒሳባዊ ጸባይ
! [[አስራ ሁለቱ መንገዶች|በተሰጡት ግቤቶችና ውጤቶች </br> ልክ ሊሰሩ ሚችሉ አስላኪዎች]]

|-
| 1 || <math>f\colon\, P\rightarrowtail C</math> ||  ከ <math>P</math> ወደ <math>C</math> [[ጎደሎ አስረካቢ]]  (ኢንጄክቲቭ፣ ኢንቱ) ||[[ስዕል:Correspon 1402.svg|160px]] || ≤ 1||  [[ጎደሎ አስረካቢ]] አንድን ግቤት ለአንድ ብቻ ውጤት ያስረክባል። በሌላ አነጋገር፣ ጎደሎ-አስረካቢ የተጣማሪ ግዛቱን C አባላት  '''ቢበዛ ቢበዛ''' ከአንድ የግዛቱ አባላት P ጋር ያጣምራል።     የግቤቱ ግዛት ከውጤቱ ግዛት ወይ እኩል ናቸው ወይንም ያንሳሉ።
|| <math> \forall x \in P ,</math>
<math> \forall y \in P ,  </math> </br>
<math> [ f ( x ) = f ( y ) ] \Rightarrow [ x = y ] \,</math> 
||   [[ሰልፍ|<math>c^{\underline {p}}</math>]]
|-
| 2 || <math>f\colon\, P\twoheadrightarrow C</math> ||  ከ <math>P</math> ወደ <math>C</math> [[ትርፍ አስረካቢ]] ( ሰርጀክቲቭ፣ ኦንቱ) ||[[ስዕል:Correspon_1502.svg|160px]] || ≥ 1||[[ትርፍ አስረካቢ]] ሁሉን የተጣማሪ ግዛት አባላቱን ከላኪ ግዛት አባላቱ በማጣመር ያለብሳል።  በሌላ አነጋገር፣ ትርፍ-አስረካቢ የተጣማሪ ግዛት C አባላቱን '''ቢያንስ ቢያንስ''' ከአንድ የግዛቱ P አባላት ጋር ያጣምራል። የግዛቱ አባላት ብዛት ከአስረካቢው-ምስል ብዛት ወይ እኩል ናቸው ወይ ይበልጣሉ።|| <math> \forall y \in C , </math>  </br>
<math>  \exists x \in P,\ f ( x ) = y </math> 
||   [[አስራ ሁለቱ መንገዶች #የተሰየመ ኳስ፣ የተሰየመ ቁና፣ ≥1 (ተ ተ + )|<math>{c!}\left\{\begin{matrix} p \\ c\end{matrix}\right\}</math>]]
|-
| 3 ||
<math>f\colon\, P\;\operatorname\leftrightarrow\;                                               C</math><br />
<math>f\colon\, P\;\operatorname\rightleftarrows\;                                              C</math><br />
<math>f\colon\, P\;\,\operatorname{\twoheadrightarrow\!\!\!\!\!\!\!\!\!\!\;\;\rightarrowtail}\; C</math>
|ከ<math>P</math> ወደ <math>C</math> [[አንድ ለአንድ አስረካቢ]] (ባይጄክቲቭ፣ ዋን ቱ ዋን) ||[[ስዕል:Correspon_1602.svg|160px]] || =1|| [[አንድ ለአንድ አስረካቢ]]  እያንዳንዱን የተጣማሪ ግዛት አባላቱን ከአንድ ከአንድ ግዛት አባላቱ በማጣመር አንድ ለአንድ ጥምረት ይፈጥራል።  በሌላ አነጋገር፣ አንድ ለአንድ-አስረካቢ የተጣማሪ ግዛት C አባላቱን '''ልዩ ከሆነ''' ከአንድ የግዛቱ P አባል ጋር ያጣምራል። የግዛቱ አባላት ብዛት ከአስረካቢው-ምስል ብዛት እና ከተጣማሪው ግዛት ብዛት ጋር  '''እኩል'''  ነው። || <math>\forall y\in C ,</math> <math> \exists !\ x\in P,\ f(x) = y</math>
||   [[ሰልፍ|<math>C!</math>]]
|-
| 4 || <math>f\colon\, P\ C</math> || [[ዝብርቅ አስረካቢ]]||[[ስዕል:Correspon_1302.svg|160px]] || ♥ እንደልብ||ከላይ ከተጠቀሱት የአስረካቢ ዓይነቶች የሌለና አራተኛው የመጨረሻው አስረካቢ ዓይነት
||  ለማንኛውም አስረካቢ የሚሰራ ጸባይ ለዚህም ይሰራል || <math>C^{P} </math> - የላዮቹ ብዛት
|}

== ተጨማሪ ንባቦች ==
* {{en}} [http://functions.wolfram.com/ [[ወልፍራም]] ድረ ገጽ ] የተለያዩ ቀመሮችና ምስሎች 
* {{en}} [http://www.shodor.org/interactivate/activities/FunctionFlyer/ አስረካቢ መሳያ], ለግራፍ መሳያ ሚያገለግሉ የተለያዩ የ[[ጃቫ]] ፍርገማዎች
* {{en}} [http://math.hws.edu/xFunctions/ xአስረካቢዎች], አስረካቢዎች በጃቫ
* {{en}}[http://rechneronline.de/function-graphs/ አስረካቢ ግራፍ መሳያ], አስረካቢ መሳያ
* {{en}}[http://www.cut-the-knot.org/do_you_know/FunctionMain.shtml አስረካቢዎች] 
* {{en}}[http://www.apronus.com/provenmath/cartesian.htm አስረካቢዎች].
* {{en}}[http://sporkforge.com/math/fcn_graph_eval.php ኦንላይን አስረካቢ መሳያ] {{Wayback|url=http://sporkforge.com/math/fcn_graph_eval.php |date=20101130023249 }}.
* {{en}}[http://www.functiongame.com/ አስረካቢ ጨዋታ], አስረካቢዎችን መገመቻ ጨዋታ

[[መደብ:ሥነ ስብስብ]]
[[መደብ:ሒሳባዊ ዝምድና]]
[[መደብ:አልጀብራ]]
[[መደብ:አስረካቢ|*]]