Função (matemática)

Uma função é uma relação de um conjunto ${\textstyle A}$ com um conjunto ${\textstyle B.}$ Usualmente, denotamos uma tal função por ${\textstyle f:A\to B,}$ ${\textstyle y=f(x),}$ onde ${\textstyle f}$ é o nome da função, ${\textstyle A}$ é chamado de domínio, ${\textstyle B}$ é chamado de imagem e ${\textstyle y=f(x)}$ expressa a lei de correspondência (relação) dos elementos ${\textstyle x\in A}$ com os elementos ${\textstyle y\in B.}$ Conforme suas características, as funções são agrupadas em várias categorias, entre as principais temos: função trigonométrica, função afim (ou função polinomial do 1° grau), função modular, função quadrática (ou função polinomial do 2° grau), função exponencial, função logarítmica, função polinomial, dentre inúmeras outras.^[1]^[2]^[3]

Conceito Editar

As funções são definidas por certas relações. Por causa de sua generalidade, as funções aparecem em muitos contextos matemáticos e muitas áreas da matemática baseiam-se no estudo de funções. Deve-se notar que as palavras "função", "mapeamento", "mapa" e "transformação" são geralmente usadas como termos equivalentes. Além disso pode-se ocasionalmente se referir a funções como "funções bem definidas" ou "funções totais". O conceito de uma função é uma generalização da noção comum de fórmula matemática. As funções descrevem relações matemáticas especiais entre dois elementos. Intuitivamente, uma função é uma maneira de associar a cada valor do argumento ${\textstyle x}$ (às vezes denominado variável independente) um único valor da função ${\textstyle f(x)}$ (também conhecido como variável dependente). Isto pode ser feito através de uma equação, um relacionamento gráfico, diagramas representando os dois conjuntos, uma regra de associação, uma tabela de correspondência, etc.. Muitas vezes, é útil associar cada par de elementos relacionados pela função com um ponto em um espaço adequado (por exemplo, no espaço ${\textstyle \mathbb {R} ^{2},}$ geometricamente representado no plano cartesiano). Neste caso, a exigência de unicidade da imagem (valor da função) implica um único ponto para cada entrada ${\textstyle x}$ (valor do argumento).^[3]^[4]^[5]

Assim como a noção intuitiva de funções não se limita a cálculos usando números individuais, a noção matemática de funções não se limita a cálculos e nem mesmo a situações que envolvam números. De forma geral, uma função liga um domínio (conjunto de valores de entrada) com um segundo conjunto, o contradomínio ou codomínio (conjunto de valores de saída), de tal forma que a cada elemento do domínio está associado exatamente um elemento do contradomínio. O conjunto dos elementos ${\textstyle y}$ do contradomínio para os quais existe pelo menos um ${\textstyle x}$ no domínio tal que ${\textstyle y=f(x)}$ (i.e., ${\textstyle x}$ se relaciona com ${\textstyle y}$ ), é o conjunto imagem ou chamado simplesmente de imagem da função.^[5]

Definição formal Editar

Sejam dados os conjuntos ${\textstyle A,}$ ${\textstyle B,}$ uma relação ${\textstyle f:A\to B}$ e o conjunto dos pares ordenados ${\textstyle \mathbb {P} =\{(a,b)\in A\times B;a~{\mbox{se relaciona com}}~b~{\mbox{por}}~f\}.}$ Dizemos que ${\textstyle f}$ é uma função se, e somente se, para todos ${\textstyle b_{1}\neq b_{2}\in B}$ com ${\textstyle (a_{1},b_{1}),(a_{2},b_{2})\in \mathbb {P} ,}$ temos ${\textstyle a_{1}\neq a_{2}.}$ Ou, em outras palavras, para todo ${\textstyle a\in A}$ existe no máximo um ${\textstyle b\in B}$ tal que ${\textstyle a}$ se relaciona com ${\textstyle b.}$ ^[3] Assim sendo, escrevemos ${\textstyle b=f(a)}$ quando ${\textstyle a}$ se relaciona com ${\textstyle b}$ por ${\textstyle f.}$ O conjunto ${\textstyle A}$ é chamado de conjunto de partida e ${\textstyle B}$ é chamado de contradomínio da função ${\textstyle f.}$

Outra maneira de dizer isto é afirmar que ${\textstyle f}$ é uma relação binária entre os dois conjuntos tal que ${\textstyle f}$ é unívoca, i.e. se ${\textstyle b=f(a)}$ e ${\textstyle c=f(a),}$ então ${\textstyle b=c.}$ Algumas vezes, na definição de função, impõe-se que todo o elemento do conjunto ${\textstyle A}$ se relaciona com algum elemento de ${\textstyle B.}$

Exemplos Editar

Vejamos as seguintes relações ${\textstyle f:X\to Y:}$

	Esta não é uma função, pois o elemento ${\textstyle 3\in X}$ é associado (se relaciona) com dois elementos ${\textstyle Y,}$ a saber com ${\textstyle c,d\in Y.}$ Esta é, entretanto, um exemplo das chamadas funções multivaloradas.
	Este é um exemplo de uma função dita parcial (função parcial), pois há pelo menos um elemento no conjunto de partida, a saber ${\textstyle 1\in X,}$ que não se relaciona com nenhum elemento do contradomínio (conjunto ${\textstyle Y}$ ).
	Este é um exemplo de uma função dita discreta (veja, função discreta). Sua lei de correspondência pode ser escrita da seguinte forma: $f(x)=\left\{{\begin{matrix}a,&{\mbox{se }}x=1\\c,&{\mbox{se }}x=2\\d,&{\mbox{se }}x=3.\end{matrix}}\right.$

Exemplo de aplicação Editar

Podemos usar uma função para modelar o número de indivíduos em uma população de acordo com o tempo (modelos de crescimento demográfico). Por exemplo, denotando o tempo por $t$ e o número de indivíduos em um dado tempo ${\textstyle t}$ por ${\textstyle y,}$ escrevemos ${\textstyle N:\mathbb {R} ^{+}\to \mathbb {N} ,}$ ${\textstyle y=N(t).}$ Assim, temos abstratamente modelado o número de indivíduos (variável dependente) em função do tempo (variável independente). Aqui, o nome da função foi arbitrariamente escolhido como ${\textstyle N,}$ o conjunto de partida é o conjunto dos números reais não negativos (assumindo que o tempo é contínuo e não negativo) e o contradomínio é o conjunto dos números naturais (assumindo que o número de indivíduos é sempre um número inteiro não negativo).

Elementos de uma função Editar

Da definição, temos que uma função tem um nome, um conjunto de partida, um contradomínio (conjunto de chegada) e uma lei de correspondência. Por exemplo, denotamos ${\textstyle f:X\to Y,}$ ${\textstyle y=f(x),}$ onde ${\textstyle f}$ é o nome da função, ${\textstyle X}$ é seu conjunto de partida, ${\textstyle Y}$ é seu contradomínio e ${\textstyle y=f(x)}$ denota sua lei de correspondência.

Em muitos casos, nem todos os elementos do conjunto de partida se relacionam com algum elemento do contradomínio. Aqueles que se relacionam são elementos do chamado domínio da função. Mais precisamente, o domínio de uma função ${\textstyle f:X\to Y,}$ ${\textstyle y=f(x),}$ é o conjunto:

Dom(f):=\{x\in X;\exists y\in Y~{\mbox{com}}~y=f(x)\}\subset X

Também, geralmente, nem todos os elementos do contradomínio se relacionam com algum elemento do conjunto de partida. Aqueles que se relacionam são elementos da chamada imagem da função. A imagem de uma função

{\textstyle f:X\to Y,}

{\textstyle y=f(x),}

é o conjunto:

Im(f):=\{y\in Y;\exists x\in X~{\mbox{com}}~y=f(x)\}\subset Y

Exemplo Editar

Seja ${\textstyle f:C\to CD,}$ ${\textstyle y=x^{2},}$ onde o conjunto de partida é dada por ${\textstyle C=\{-3,-2,-1,0\}}$ e o contradomínio por ${\textstyle CD=\{0,1,2,\dotsc ,9\}.}$ Pela lei de correspondência, vemos que, neste caso, ${\textstyle Dom(f)=C}$ e ${\textstyle Im(f)=\{0,1,4,9\}.}$ Veja a ilustração.

Representação em diagrama de Venn da função

{\textstyle f:C\to CD,}

{\textstyle y=x^{2}.}

A imagem de

{\textstyle f}

está delineada por uma linha tracejada.

Gráfico de uma função Editar

Esboço do gráfico de uma função arbitrária de uma variável com representação do par ordenado

{\textstyle (a,f(a)).}

O gráfico de uma função ${\textstyle f:X\to Y,}$ ${\textstyle y=f(x),}$ é o conjunto:

Graf(f):=\{(x,y)\in X\times Y;y=f(x)\}

i.e, é o conjunto dos pares ordenados

{\textstyle (x,y)}

tal que

{\textstyle y=f(x).}

Quando possível, usualmente fazemos uma representação geométrica do gráfico da função. Tal representação é usualmente chamada de esboço do gráfico da função (ou, simplesmente gráfico, quando subentendido).

Popularmente, temos os gráficos de funções de uma variável, para as quais seu esboço é dado pelo conjunto de pontos ${\textstyle (x,f(x))}$ no plano cartesiano (veja a ilustração). Neste caso, usualmente as variáveis independentes são chamadas de abcissas e marcadas sobre o eixo horizontal (chamado de eixo das abcissas). As variáveis dependentes são chamadas de ordenadas e marcadas sobre o eixo vertical (chamado de eixo das ordenadas).

Classificação quanto a imagem Editar

Funções são usualmente classificadas quanto a sua imagem como: funções injetoras, funções sobrejetoras e funções bijetoras. Seja dada a função ${\textstyle f:X\to Y,}$ ${\textstyle y=f(x).}$ Por definição, ${\textstyle f}$ é injetora (ou injetiva) se, e somente se, para todos ${\textstyle x_{1}\neq x_{2}\in Dom(f)}$ temos ${\textstyle f(x_{1})\neq f(x_{2}).}$ A função ${\textstyle f}$ é dita sobrejetora (ou sobrejetiva) quando ${\textstyle Im(f)=Y.}$ Por fim, uma função injetora e sobrejetora é dita ser bijetora (ou bijetiva). Veja a seguinte tabela.

Tipo de função	Característica da função	Conjunto imagem	Exemplo	Admite função inversa? É inversível?
Injetora ou injetiva	Cada elemento da imagem está associado a apenas um elemento do domínio, isto é, quando $x$ ≠ $y$ no domínio tem-se $f(x)$ ≠ $f(y)$ no contradomínio.	Pode haver elementos do contradomínio que não pertençam à imagem da função.	A função $f:$ $N$ $\rightarrow$ $N$ dada por $f(x)=2x$ , é injetiva porque números distintos possuem dobros distintos.	Nem sempre, mas sempre admite inversa à esquerda.
Sobrejetora ou sobrejetiva	Todos os elementos do contradomínio estão associados a algum elemento do domínio.	O conjunto imagem é igual ao conjunto contradomínio	A função $f:\mathbb {R} \to \mathbb {R} ,$ ${\textstyle f(x)=x}$ , é sobrejetiva.	Nem sempre, mas sempre admite inversa à direita.
Bijetora ou bijetiva	São ao mesmo tempo sobrejetoras e injetoras, isto é, cada elemento do domínio está associado a um único elemento do contradomínio e vice-versa.	O conjunto imagem é igual ao conjunto contradomínio	A função ${\textstyle f:\mathbb {N} \to \mathbb {N} ,}$ $f(x)=x$ , é bijetiva.	Sim.

Funções implícitas e explicitas Editar

Dizemos que uma função ${\textstyle f:X\to Y}$ é definida de forma explícita (função explícita) quando seus valores ${\textstyle y}$ podem ser expressados pela variável independente ${\textstyle x,}$ i.e., quando temos uma relação da forma ${\textstyle y=f(x).}$ Por outro lado, dizemos que uma tal função é definida de forma implícita (função implícita) quando a relação entre as variáveis dependente e independente é dada como ${\textstyle F(x,y)=0,}$ onde ${\textstyle F(x,y)}$ denota uma expressão envolvendo ${\textstyle x}$ e ${\textstyle y.}$ ^[6]

Exemplo Editar

Seja ${\textstyle G:\mathbb {R} ^{2}\to \mathbb {R} }$ dada por ${\textstyle G(x,y)=xy.}$ Isto é, a função que toma dois valores reais e os associa ao produto entre eles. Trata-se de uma função explícita. Agora, a equação ${\textstyle xy-1=0,}$ define implicitamente a função ${\textstyle f:\mathbb {R^{*}} \to \mathbb {R} }$ que associa um número real não nulo ${\textstyle x}$ ao seu inverso. Ou seja, tal função ${\textstyle f}$ está, aqui, definida implicitamente por ${\textstyle F(x,y):=xy-1=0.}$ Notamos que neste caso em particular, podemos definir a função ${\textstyle f}$ de forma explícita, escrevendo ${\textstyle f(x)={\frac {1}{x}}.}$

Composição de funções Editar

Dadas uma função ${\textstyle f:A\to B,}$ ${\textstyle y=f(x)}$ e uma função ${\textstyle g:C\to D,}$ ${\textstyle y=g(x)}$ com ${\textstyle Im(g)\subset Dom(f),}$ definimos a função composta de ${\textstyle f}$ com ${\textstyle g}$ por ${\textstyle (f\circ g):C\to B,}$ ${\textstyle (f\circ g)(x)=f(g(x)).}$ Analogamente, quando ${\textstyle Im(f)\subset Dom(g)}$ também podemos definir a função composta de ${\textstyle g}$ com ${\textstyle f}$ dada por ${\textstyle (g\circ f):A\to D,}$ ${\textstyle (g\circ f)(x)=g(f(x)).}$ ^[3]

Exemplo Editar

Considere as seguintes funções ${\textstyle f:\mathbb {R} \to \mathbb {R} }$ e ${\textstyle g:\mathbb {R} \to \mathbb {R} }$ dada por:

$f(x)=2x+3$ e $g(x)=x-1.$

Notamos que ${\textstyle Im(f)\subset Dom(g)}$ e, portanto, podemos definir a função composta ${\textstyle (g\circ f):\mathbb {R} \to \mathbb {R} }$ por:

(g\circ f)(x)=g(f(x))=(2x+3)-1=2x+2.

Também, como

{\textstyle Im(g)\subset Dom(f),}

temos a composição

{\textstyle (f\circ g):\mathbb {R} \to \mathbb {R} }

dada por:

$(f\circ g)(x)=f(g(x))=2(x-1)+3=2x+1.$

Outras classificações Editar

Funções são classificadas quanto a uma séries de propriedades (características) além das já mencionadas. Alguns desses tipos de funções são listados a seguir.

História Editar

O conceito matemático de função emergiu no século XVII em conexão com o desenvolvimento do Cálculo.^[7]^[8] O termo "função" foi introduzido por Gottfried Leibniz em uma de suas cartas, datada de 1673, na qual ele descreve a declividade de uma curva em um ponto específico.^[9] Na antiguidade, embora não se conheça o uso explícito de funções, tal conceito pode ser observado em alguns trabalhos percursores de filósofos e matemáticos medievais, como Oresme.^[10]

Matemáticos do século XVII tratavam por funções aquelas definidas por expressões analíticas.^[11] Foi durante os desenvolvimentos rigorosos da Análise Matemática por Weierstrass e outros, a reformulação da Geometria em termos da análise e a invenção da Teoria dos Conjuntos por Cantor, que se chegou ao conceito moderno e geral de uma função como um mapeamento unívoco de um conjunto em outro. Não há consenso sobre a quem se deva os créditos da noção moderna de função, sendo cotada os matemáticos Nikolai Lobachevsky, Peter Gustav Lejeune Dirichlet e Dedekind.^[12]^[13]^[14]

Ver também Editar

Referências

↑ STEWART, James. Cálculo Vol. I - 4ª edição. São Paulo: Pioneira Thomson Learning, 2002. Página 12.
↑ FRANK AYRES, Philip A. Schmidt. Matemática para Ensino Superior - 3ª edição. São Paulo: Editora Artmed, 2003. Página 16.
↑ ^a ^b ^c ^d Iezzi, Gelson (1977). Fundamentos de Matemática Elementar: conjuntos e funções. São Paulo: Atual. pp. 73–74A, 179A–180A
↑ STEWART, James. Cálculo Vol. I - 4ª edição. São Paulo: Pioneira Thomson Learning, 2002.
↑ ^a ^b FRANK AYRES, Philip A. Schmidt. Matemática para Ensino Superior - 3ª edição. São Paulo: Editora Artmed, 2003.
↑ Bronshtein, I.N. (2007). Handbook of Mathematics. Berlin: Springer. 120 páginas
↑ "The emergence of a notion of function as an individualized mathematical entity can be traced to the beginnings of infinitesimal calculus". (Ponte 1992)
↑ Kleiner, Israel (2009). «Evolution of the Function Concept: A Brief Survey». In: Marlow Anderson; Victor Katz; Robin Wilson. Who Gave You the Epsilon?: And Other Tales of Mathematical History. [S.l.]: MAA. pp. 14–26. ISBN 978-0-88385-569-0
↑ Eves dates Leibniz's first use to the year 1694 and also similarly relates the usage to "as a term to denote any quantity connected with a curve, such as the coordinates of a point on the curve, the slope of the curve, and so on" (Eves 1990, p. 234).
↑ "...although we do not find in [the mathematicians of Ancient Greece] the idea of functional dependence distinguished in explicit form as a comparatively independent object of study, nevertheless one cannot help noticing the large stock of functional correspondences they studied." (Medvedev 1991)
↑ N. Bourbaki (18 de setembro de 2003). Elements of Mathematics Functions of a Real Variable: Elementary Theory. [S.l.]: Springer Science & Business Media. pp. 154–. ISBN 978-3-540-65340-0
↑ "On the vanishing of trigonometric series," 1834 (Lobachevsky 1951).
↑ Über die Darstellung ganz willkürlicher Funktionen durch Sinus- und Cosinusreihen," 1837 (Dirichlet 1889).
↑ "By a mapping φ of a set S we understand a law that assigns to each element s of S a uniquely determined object called the image of s, denoted as φ(s). Dedekind 1995

Bibliografia Editar

Ávila, Geraldo Severo de Souza. (2005). Análise matemática para licenciatura. São Paulo. Edgard Blücher. ISBN 85-212-0371-3.
Barboni, Ayrton; Paulette, Walter. (2007). Fundamentos de Matemática: Cálculo e Análise. Editora LTC. ISBN 978-85-216-1546-0.
Iezzi, G; Murakami, C.. (2013). Fundamentos de Matemática Elementar: Conjuntos e Funções. vol. 1, 9. ed., Atual Editora:São Paulo. ISBN 9788535716801.

Ligações externas Editar

[1] STEWART, James. Cálculo Vol. I - 4ª edição. São Paulo: Pioneira Thomson Learning, 2002. Página 12.

[2] FRANK AYRES, Philip A. Schmidt. Matemática para Ensino Superior - 3ª edição. São Paulo: Editora Artmed, 2003. Página 16.

[:0-3] Iezzi, Gelson (1977). Fundamentos de Matemática Elementar: conjuntos e funções. São Paulo: Atual. pp. 73–74A, 179A–180A

[stewart-02-4] STEWART, James. Cálculo Vol. I - 4ª edição. São Paulo: Pioneira Thomson Learning, 2002.

[Ayres-03-5] FRANK AYRES, Philip A. Schmidt. Matemática para Ensino Superior - 3ª edição. São Paulo: Editora Artmed, 2003.

[6] Bronshtein, I.N. (2007). Handbook of Mathematics. Berlin: Springer. 120 páginas

[7] "The emergence of a notion of function as an individualized mathematical entity can be traced to the beginnings of infinitesimal calculus". (Ponte 1992)

[Kleiner_20092-8] Kleiner, Israel (2009). «Evolution of the Function Concept: A Brief Survey». In: Marlow Anderson; Victor Katz; Robin Wilson. Who Gave You the Epsilon?: And Other Tales of Mathematical History. [S.l.]: MAA. pp. 14–26. ISBN 978-0-88385-569-0

[:02-9] Eves dates Leibniz's first use to the year 1694 and also similarly relates the usage to "as a term to denote any quantity connected with a curve, such as the coordinates of a point on the curve, the slope of the curve, and so on" (Eves 1990, p. 234).

[10] "...although we do not find in [the mathematicians of Ancient Greece] the idea of functional dependence distinguished in explicit form as a comparatively independent object of study, nevertheless one cannot help noticing the large stock of functional correspondences they studied." (Medvedev 1991)

[Bourbaki20032-11] N. Bourbaki (18 de setembro de 2003). Elements of Mathematics Functions of a Real Variable: Elementary Theory. [S.l.]: Springer Science & Business Media. pp. 154–. ISBN 978-3-540-65340-0

[:12-12] "On the vanishing of trigonometric series," 1834 (Lobachevsky 1951).

[:22-13] Über die Darstellung ganz willkürlicher Funktionen durch Sinus- und Cosinusreihen," 1837 (Dirichlet 1889).

[:32-14] "By a mapping φ of a set S we understand a law that assigns to each element s of S a uniquely determined object called the image of s, denoted as φ(s). Dedekind 1995

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]