Функциялар композицияһы

**Фу́нкциялар компози́цияһы** (йәки **фу́нкциялар суперпози́цияһы**) — ул бер функцияны икенсе функция һөҙөмтәһенә ҡулланыу.

G һәм F функциялары композицияһын ғәҙәттә G\circ F тип тамғалайҙар, был G функцияһын F функцияһы һөҙөмтәһенә ҡулланыуҙы аңлата, йәғни (G\circ F)(x) = G(F(x)).

## Билдәләмә

F:X \to Y һәм G: F(X) \to Z — ике функция булһын, ти (F(X) \subset Y). Ул саҡта был функцияларҙың композицияһы тип түбәндәге тигеҙлек менән билдәләнгән G \circ F: X \to Z функцияһы атала:
: (G \circ F)(x) = G(F(x)),\; x\in X.

## Бәйле билдәләмәләр

* «Ҡатмарлы функция» термины ике функция композицияһына ла ҡулланыла, шуға ҡарамаҫтан ул йышыраҡ бер нисә үҙгәреүсәнле функцияның эсенә бер юлы бер йәки бер нисә үҙгәреүсәнле бер нисә функция бирелгән осраҡта ҡулланыла. Мәҫәлән, ҡатмарлы функция тип түбәндәге күренештәге G функцияһын атарға була
*: G(x,y)=F(u(x,y),v(x,y)),

: сөнки ул эсенә u һәм v функцияларының һөҙөмтәһе индерелгән F функцияһы булып тора.

## Композициялар үҙсәнлектәре

* Композиция :
*: (H \circ G ) \circ F = H \circ ( G \circ F ).
* Әгәр F = \mathrm{id}_X — X-ҡа тождестволы сағылдырыу булһа, йәғни
*: F(x) = \mathrm{id}_X(x) = x,\; \forall x \in X,
: ул саҡта
:: G \circ \mathrm{id}_X = G.
* Әгәр G = \mathrm{id}_Y — Y-кәтождестволы сағылдырыу булһа, йәғни
*: G(y) = \mathrm{id}_Y(y) = y,\; \forall y \in Y,
: ул саҡта
::  \mathrm{id}_Y \circ F = F.
* X күмәклегенең үҙенә бөтә биекциялары арауығын ҡарайыҡ һәм уны \mathcal{F}_X тип тамғалайыҡ. Йәғни, әгәр F\in \mathcal{F}_X булһа, ул саҡта F:X \to X — биекция. Ул саҡта \mathcal{F}_X-тан функциялар композицияһы бинар операция була, ә (\mathcal{F}_X, \circ) — . \mathrm{id}_X был төркөмдөң нейтраль элементы була. F^{-1}\in \mathcal{F}_X — F \in \mathcal{F}_X элементына кире элемент (кире функция) була.
** (\mathcal{F}_X, \circ) төркөмө, дөйөм әйткәндә, коммутатив түгел, йәғни F_1 \circ F_2 \not= F_2 \circ F_1.

## Өҫтәлмә үҙсәнлектәре

* f:X \to Y функцияһының a нөктәһендә \lim_{x \to a}f(x) = b сикләмәһе булһын, ти, ә g:f(X) \subset Y \to Z функцияһының b нөктәһендә \lim_{y \to b}g(x) сикләмәһе булһын. Ул саҡта, әгәр a нөктәһенең тишек тирә-яғы булһа, уның X күмәклеге менән киҫелешен f:X \to Y функцияһы b нөктәһенең тишек тирә-яғына сағылдырһа, ул саҡта a нөктәһендә g \circ f: X \to Z функциялар композицияһының сикләмәһе була һәм артабанғы тигеҙлек үтәлә: \lim_{x \to a}g(f(x)) = \lim_{y \to b}g(y).
* Әгәр f:X \to Y функцияһының a нөктәһендә \lim_{x \to a}f(x) = b сикләмәһе булһа, ә g:f(X) \subset Y \to Z функцияһы b нөктәһендә өҙлөкһөҙ булһа, ул саҡта a нөктәһендә g \circ f: X \to Z функциялар композицияһының сикләмәһе була һәм артабанғы тигеҙлек үтәлә: \lim_{x \to a}g(f(x)) = g(\lim_{x \to a}f(x))=g(b).
* Өҙлөкһөҙ функциялар композицияһы өҙлөкһөҙ була. (X,\mathcal{T}_X), (Y,\mathcal{T}_Y), (Z,\mathcal{T}_Z) — топологик арауыҡтар булһын, ти. f:X \to Y һәм g:f(X) \subset Y \to Z — ике функция икән, ти, y_0 = f(x_0), f \in C(x_0) һәм g\in C(y_0). Ул саҡта g \circ f \in C(x_0).

* Дифференциалланыусы функциялар композицияһы дифференциалланыусы функция була. f,g: \mathbb{R} \to \mathbb{R}, y_0 = f(x_0), f \in \mathcal{D}(x_0) һәм g \in \mathcal{D}(y_0) булһын, ти. Ул саҡта g \circ f \in \mathcal{D}(x_0), һәм
: (g \circ f)'(x_0) = g'(y_0) \cdot f'(x_0).