சார்புகளின் தொகுப்பு

t நேரத்தில் ஒரு வானூர்தி பறக்கும் உயரத்தைக் குறிக்கும் சார்பு h(t) மற்றும் x உயரத்தில் இருக்கக்கூடிய ஆக்ஸிஜனின் அளவைக் குறிக்கும் சார்பு c(x) எனில், இவ்விரண்டு சார்புகளின் தொகுப்புச் சார்பு (c ∘ h)(t) , t நேரத்தில் அந்த வானூர்தியைச் சுற்றியுள்ள பகுதியின் ஆக்ஸிஜன் அளவைக் குறிக்கும்.

${\displaystyle Y\subseteq X}$ எனில் ${\displaystyle f\colon X\rightarrow Y}$ சார்பை அதனுடனேயே தொகுக்கலாம்.

அவ்வாறு செய்யப்படும் தொகுப்புச் சார்பின் குறியீடு: ${\displaystyle f^{2}\,}$ .

${\displaystyle (f\circ f)(x)=f(f(x))=f^{2}(x)}$

${\displaystyle (f\circ f\circ f)(x)=f(f(f(x)))=f^{3}(x)}$

ஒரு சார்பை அச்சார்புடனேயே மீண்டும் மீண்டும் தொகுப்பு காண்பது சார்புத் தொடர்தல் எனப்படும்.

${\displaystyle f\circ f^{n}=f^{n}\circ f=f^{n+1},}$ ${\displaystyle n\,}$ இயல் எண்

• ${\displaystyle f^{0}=id_{D(f)}\,}$ (${\displaystyle f{\big )}}$ -ன் ஆட்களத்தின் மீதான முற்றொருமைச் சார்பு).
• ${\displaystyle f\colon X\rightarrow X}$ நேர்மாற்றத்தக்கது மற்றும் அதன் நேர்மாறுச் சார்பு ${\displaystyle (f^{-1}\,}$ எனில்:

${\displaystyle f^{-k}=f^{-1})^{k}\,}$ ${\displaystyle (k>0\,)}$

குறிப்பு: f -ன் மதிப்புகள் ஒரு வளையத்தில் அமையுமானால் f ⁿ என்பது சார்புத் தொடர்தலை மட்டுமில்லாது f, -ன் n மடங்கினையும் குறிக்கலாம்:

f ²(x) = f(x) · f(x).

எடுத்துக்காட்டு:

sin²(x) = sin(x) · sin(x).

இங்கும் எதிரெண் அடுக்குகள், குறிப்பாக −1, மடங்கைக் குறிக்காமல் நேர்மாறுச் சார்பைக் குறிக்கும்:

tan⁻¹ = arctan (≠ 1/tan).

• பெரும்பாலான கணிதவியலாளர்கள் g ∘ f என்பதற்குப் பதில் தொகுப்புக் குறி சிறுவட்டத்தை விட்டுவிட்டு gf எனக் குறிக்கின்றனர்.
• இருபதாம் நூற்றாண்டின் இடைக்காலத்தில் சில கணிதவியலாளர்கள், முதலில் சார்பு f ஐயும் அடுத்து சார்பு g -ஐயும் பயன்படுத்த வேண்டும் என்பதைச் சொல்வதற்கு "g ∘ f" எனக் குறித்தல் குழப்பத்தை ஏற்படுத்துகிறது என எண்ணி குறியீட்டை மாற்றுவதற்கு முற்பட்டனர். அவர்கள் "f(x)" என்பதற்குப் பதிலாக "xf"எனவும் மற்றும் "g(f(x))" என்பதற்குப் பதிலாக "(xf)g" எனவும் பயன்படுத்தினர்.

• "Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.