Функције – теорија и пример 1

Објашњење појмова и једноставан пример композиције пресликавања.

Задаци


Текст задатака објашњених у видео лекцији.

Пр.1   Дата су пресликавања:

f:(1234bcad)g:(abcdsptq)f:\left( {\begin{array}{cccccccccccccccccccc} 1&2&3&4 \\ b&c&a&d \end{array}} \right)g:\left( {\begin{array}{cccccccccccccccccccc} a&b&c&d \\ s&p&t&q \end{array}} \right)

          Одреди композицију ових пресликавања.

                              g∘f=?g \circ f = ?


За оваj задатак користићемо дефиницију композицијe:

Диф. Ако су f:A→Bf:A \to B и g:B→Cg:B \to C пресликавања, f∘g:А→Сf \circ g: А\to С производ (композиција) функција f и g дефинисан условом: 

(∀х∈А)((g∘f)(x)=g(f(x)))\left( {\forall х \in А} \right)\left( {\left( {g \circ f} \right)\left( x \right) = g\left( {f\left( x \right)} \right)} \right)

Применимо ово на елементе првог скупа:

(g∘f)(1)=g(f(1))=g(b)=p(g∘f)(2)=g(f(2))=g(c)=t(g∘f)(3)=g(f(3))=g(a)=s(g∘f)(4)=g(f(4))=g(d)=q\begin{aligned}&\left( {g \circ f} \right)\left( 1 \right) = g\left( {f\left( 1 \right)} \right) = g\left( b \right) = p \\ &\left( {g \circ f} \right)\left( 2 \right) = g\left( {f\left( 2 \right)} \right) = g\left( c \right) = t \\ &\left( {g \circ f} \right)\left( 3 \right) = g\left( {f\left( 3 \right)} \right) = g\left( a \right) = s \\ &\left( {g \circ f} \right)\left( 4 \right) = g\left( {f\left( 4 \right)} \right) = g\left( d \right) = q\end{aligned}

Дакле сада имамо

g∘f=(1234ptsq)g \circ f = \left( {\begin{array}{cccccccccccccccccccc} 1&2&3&4 \\ p&t&s&q \end{array}} \right)

Пресликавање (функција) f:A→Bf: A \to B сваком елементу скупа AA придружује тачно један елемент скупа BB. Коначно пресликавање згодно је записати табелом у две врсте: горе су оригинали, а доле њихове слике. Функција је „1-1“ ако различити оригинали имају различите слике, „на“ ако је сваки елемент скупа BB нечија слика, а бијекција ако је и једно и друго.

Ако је f:A→Bf: A \to B и g:B→Cg: B \to C, композиција g∘f:A→Cg \circ f: A \to C дефинисана је са (g∘f)(x)=g(f(x))(g \circ f)(x) = g(f(x)). Прво делује ff, па затим gg, иако се gg пише прво. Зато за сваки оригинал идите редом: x↦f(x)↦g(f(x))x \mapsto f(x) \mapsto g(f(x)). У општем случају g∘f≠f∘gg \circ f \neq f \circ g, а f∘gf \circ g понекад није ни дефинисано.

ВаљевоЛесковацЗрењанинУжицеАБВНови СадНишКрагујевацекипегрупеградовиfg
Из сваке екипе полази тачно једна стрелица ff, а из сваке групе тачно једна стрелица gg. Укључите g∘fg \circ f: две узастопне стрелице постају једна, а у Нови Сад стижу две, па g∘fg \circ f није „1-1“.

У табелама, на пример у програму Excel, подаци се често повезују у два корака: из шифре ученика тражи се одељење, а из одељења разредни старешина. Тај ланац претраживања је композиција два пресликавања.

Жреб за турнир

На школском кошаркашком турниру жреб ff распоређује екипе школа из Ваљева, Лесковца, Зрењанина и Ужица у групе: Ваљево и Лесковац у групу А, Зрењанин у групу Б, а Ужице у групу В. Организатор затим пресликавањем gg свакој групи одређује град: групи А Нови Сад, групи Б Ниш, а групи В Крагујевац. Одредите g∘fg \circ f и објасните шта оно показује. Да ли постоји f∘gf \circ g?

Решење

  1. ff пресликава скуп екипа у скуп група, а gg скуп група у скуп градова, па g∘fg \circ f пресликава екипе у градове.
  2. По дефиницији је (g∘f)(x)=g(f(x))(g \circ f)(x) = g(f(x)): Ваљево → А → Нови Сад и Лесковац → А → Нови Сад.
  3. Даље, Зрењанин → Б → Ниш, а Ужице → В → Крагујевац. Ваљево и Лесковац имају исту слику, па g∘fg \circ f није „1-1“.
  4. Композиција f∘gf \circ g не постоји: gg даје градове, а ff је дефинисано само за екипе.

Одговор: g∘fg \circ f сваку екипу шаље у град у ком игра: Ваљево и Лесковац у Нови Сад, Зрењанин у Ниш, а Ужице у Крагујевац.

Задатак за вежбу

Дата су пресликавања скупа {1,2,3,4}\{1, 2, 3, 4\} у себе: f=(12343142)f = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 1 & 4 & 2 \end{pmatrix} и g=(12342143)g = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}. Одредите g∘fg \circ f и f∘gf \circ g.

Прикажи решење

(g∘f)(1)=g(3)=4(g \circ f)(1) = g(3) = 4, (g∘f)(2)=g(1)=2(g \circ f)(2) = g(1) = 2, (g∘f)(3)=g(4)=3(g \circ f)(3) = g(4) = 3 и (g∘f)(4)=g(2)=1(g \circ f)(4) = g(2) = 1, па је g∘f=(12344231)g \circ f = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 2 & 3 & 1 \end{pmatrix}. На исти начин f∘g=(12341324)f \circ g = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 2 & 4 \end{pmatrix}, дакле g∘f≠f∘gg \circ f \neq f \circ g.