Função logarítmica
(→Função logarítmica de base ${\large a}$, com $a>1$) |
(→Função logarítmica de base $a$, com $a>1$) |
||
| Line 27: | Line 27: | ||
===Função logarítmica de base $a$, com $a>1$=== | ===Função logarítmica de base $a$, com $a>1$=== | ||
| − | + | [[File:log1.jpg]] | |
%\begin{center} | %\begin{center} | ||
\begin{minipage}{5cm}\centering | \begin{minipage}{5cm}\centering | ||
Revision as of 16:22, 8 November 2012
Chama-se função logarítmica de base $a$, com $a>0$ e $a\neq 1$, à correspondência $$\begin{array}{llll} g: &\mathbb{R^+} & \longrightarrow& \mathbb{R} \\ & x & \longmapsto & \log_a{x}, \end{array}$$
A função logarítmica é a inversa da função exponencial, isto é, $$\begin{array}{ccc} \begin{array}{llll} f: &\mathbb{R} &\longrightarrow & \mathbb{R} \\ & y & \longmapsto & x=a^y \end{array} & \hspace{1cm} & \begin{array}{llll} f^{-1}=g: &\mathbb{R^+} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & y=\log_a{x} \end{array} \end{array} $$ Como o domínio da exponencial é $\mathbb{R}$ e o contradomínio é $\mathbb{R}^+$, o domínio da função logarítmica é $\mathbb{R}^+$, o contradomínio da exponencial, e o contradomínio da função logarítmica é $\mathbb{R}$, o domínio da exponencial. Note-se que, pelas propriedades dos logaritmos, temos $$\left(f^{-1}\circ f\right)(x)=\log_a{a^x}=x \hspace{0.5cm} \mbox{ e }\hspace{0.5cm} \left(f\circ f^{-1}\right)(y)=a^{\log_a{y}}=y.$$
Função logarítmica de base $a$, com $a>1$
%\begin{center}
\begin{minipage}{5cm}\centering
\begin{pvplot}[name=logc,unit=10mm,build](-.5,5)(-2.5,3)
\pvaxes[x=\scriptstyle x,y=\scriptstyle y]
\pvfunct[size=2]{5*log(x)/3:(0,4.5)->(-2.2,2.7)}
\pvpoint[x={}](1,0)[t]{\scriptstyle1} \pvpoint[y=\scriptstyle
1,x=\scriptstyle a,dash](1.82,1){} \pvpoint(1.5,2.5)[]{y=\log_ax}
\pvpoint(3,.5)[]{\scriptstyle(a>1)}
\end{pvplot}
%\end{center}
\end{minipage}
%
\hfill
%
\begin{minipage}{115mm}%\centering
\begin{itemize}
\item Domínio UNIQ26e324e7384defbd-MathJax-17-QINU. Contradomínio UNIQ26e324e7384defbd-MathJax-18-QINU.
\item A função tem um único zero em UNIQ26e324e7384defbd-MathJax-19-QINU. O gráfico de UNIQ26e324e7384defbd-MathJax-20-QINU não intersecta o eixo das ordenadas.
\item É uma função \emph{contínua} em todo o domínio.
\item A função é estritamente crescente em UNIQ26e324e7384defbd-MathJax-21-QINU e portanto injectiva.
\item Se UNIQ26e324e7384defbd-MathJax-22-QINU está próximo de UNIQ26e324e7384defbd-MathJax-23-QINU, UNIQ26e324e7384defbd-MathJax-24-QINU toma valores negativos de valor absoluto muito elevado\footnote{Se UNIQ26e324e7384defbd-MathJax-25-QINU, temos UNIQ26e324e7384defbd-MathJax-26-QINU, UNIQ26e324e7384defbd-MathJax-27-QINU, UNIQ26e324e7384defbd-MathJax-28-QINU, UNIQ26e324e7384defbd-MathJax-29-QINU \\ Se UNIQ26e324e7384defbd-MathJax-30-QINU, UNIQ26e324e7384defbd-MathJax-31-QINU, UNIQ26e324e7384defbd-MathJax-32-QINU, UNIQ26e324e7384defbd-MathJax-33-QINU }. Dizemos que UNIQ26e324e7384defbd-MathJax-4-QINU ou que UNIQ26e324e7384defbd-MathJax-34-QINU é uma assímptota vertical ao gráfico de UNIQ26e324e7384defbd-MathJax-35-QINU.
\item Se UNIQ26e324e7384defbd-MathJax-36-QINU toma valores muito elevados, isto é, se UNIQ26e324e7384defbd-MathJax-37-QINU tende para UNIQ26e324e7384defbd-MathJax-38-QINU, a função UNIQ26e324e7384defbd-MathJax-39-QINU também assume valores muito elevados\footnote{UNIQ26e324e7384defbd-MathJax-40-QINU, UNIQ26e324e7384defbd-MathJax-41-QINU, UNIQ26e324e7384defbd-MathJax-42-QINU, UNIQ26e324e7384defbd-MathJax-43-QINU \\ Se UNIQ26e324e7384defbd-MathJax-44-QINU, UNIQ26e324e7384defbd-MathJax-45-QINU, UNIQ26e324e7384defbd-MathJax-46-QINU, UNIQ26e324e7384defbd-MathJax-47-QINU}, tende para UNIQ26e324e7384defbd-MathJax-48-QINU, e escrevemos
UNIQ26e324e7384defbd-MathJax-5-QINU
\end{itemize}
\end{minipage}
Função logarítmica de base $a$, com $0<a<1$
\begin{minipage}{5cm}%\centering \begin{pvplot}[name=logd,unit=10mm,build](-.5,5)(-2.5,3) \pvaxes[x=\scriptstyle x,y=\scriptstyle y] \pvfunct[size=2]{-5*log(x)/3:(0,4.5)->(-2.2,2.7)} \pvpoint[x={}](1,0)[t]{\scriptstyle1} \pvpoint[y=\scriptstyle 1,x=\scriptstyle a,dash](.55,1){} \pvpoint(3,2)[]{y=\log_ax} \pvpoint(3,1)[]{\scriptstyle(0<a<1)} \end{pvplot} \end{minipage} % \hfill % \begin{minipage}{115mm}%\centering \begin{itemize} \item Domínio UNIQ26e324e7384defbd-MathJax-51-QINU. Contradomínio UNIQ26e324e7384defbd-MathJax-52-QINU. \item O gráfico de UNIQ26e324e7384defbd-MathJax-53-QINU intersecta o eixo das abcissas no ponto UNIQ26e324e7384defbd-MathJax-54-QINU e não intersecta o eixo das ordenadas. \item A função é \emph{contínua} em todo o domínio. \item A função é estritamente decrescente em UNIQ26e324e7384defbd-MathJax-55-QINU e portanto injectiva. \item Se UNIQ26e324e7384defbd-MathJax-56-QINU está próximo de UNIQ26e324e7384defbd-MathJax-57-QINU, UNIQ26e324e7384defbd-MathJax-58-QINU toma valores muito elevados. Dizemos que UNIQ26e324e7384defbd-MathJax-6-QINU ou que UNIQ26e324e7384defbd-MathJax-59-QINU é uma assímptota vertical ao gráfico de UNIQ26e324e7384defbd-MathJax-60-QINU. \item Se UNIQ26e324e7384defbd-MathJax-61-QINU toma valores muito elevados, isto é, se UNIQ26e324e7384defbd-MathJax-62-QINU tende para UNIQ26e324e7384defbd-MathJax-63-QINU, a função UNIQ26e324e7384defbd-MathJax-64-QINU também assume valores muito elevados em módulo, mas negativos, isto é, tende para UNIQ26e324e7384defbd-MathJax-65-QINU e escrevemos UNIQ26e324e7384defbd-MathJax-7-QINU \end{itemize} \end{minipage}
