Composição de funções: diferenças entre revisões
Linha 27: | Linha 27: | ||
:<math>(h \circ g) \circ f = h \circ (g \circ f)\,</math> |
:<math>(h \circ g) \circ f = h \circ (g \circ f)\,</math> |
||
Por transitividade, define-se a função composta: |
Por transitividade e associatividade, define-se a função composta: |
||
:<math>h\circ g\circ f:A \rightarrow D</math> |
:<math>h\circ g\circ f:A \rightarrow D</math> |
||
Revisão das 19h16min de 21 de março de 2015
Este artigo não cita fontes confiáveis. (Junho de 2014) |
Em matemática, uma função composta é criada aplicando uma função à saída, ou resultado, de uma outra função, sucessivamente. Como uma função deve possuir um domínio e contradomínio bem definidos e estamos falando de aplicar funções mais de um vez, devemos ser precisos com relação a como estamos aplicando estas funções.
Definição
Seja:
e
duas funções, Se o domínio de g contiver o contradomínio de f, podemos definir a função composta:
como:
Isto é ilustrado na figura abaixo:
Associatividade
Pode-se então estender a definição para a composição de três ou mais funções, de maneira análoga. Sejam
- .
É fácil mostrar que:
Por transitividade e associatividade, define-se a função composta:
como:
De uma forma geral, basta a imagem estar contida no domínio de g para podermos definir a função composta (a definição rigorosa seria uma composição com a função inclusão).
Potência de uma função
Seja . Neste caso, pode-se definir , , etc. Pode-se portanto definir (por indução: ) para . Definindo-se:
Chega-se facilmente a:
Eventualmente, conforme a estrutura do conjunto A e da função f, é possível estender a definição de para n inteiro (ou mesmo outros superconjuntos dos naturais).