Академический Документы
Профессиональный Документы
Культура Документы
Logaritmo
Grfica de Logaritmo
Definicin
Tipo
Funcin real
Descubridor(es)
Dominio
Codominio
Imagen
Propiedades
Biyectiva
Cncava
Estrictamente creciente
Trascendente
Clculo infinitesimal
Derivada
Funcin inversa
Lmites
Funciones
Funcin exponencial
relacionadas
El rojo representa el logaritmo en base e.
El verde corresponde a la base 10.
El prpura al de la base 1,7.
La nocin actual de los logaritmos viene de Leonhard Euler, quien conect estos con la
funcin exponencial en el siglo XVIII.
ndice
[ocultar]
1 Definicin
2 Propiedades generales
3 Identidades logartmicas
o 3.1 Eleccin y cambio de base
4 Propiedades analticas
o 4.1 Funcin logartmica
o 4.2 Funcin inversa
o 4.3 Derivada e integral indefinida
o 4.4 Representacin integral del logaritmo natural
o 4.5 Transcendencia del logaritmo
5 Clculo
o 5.1 Serie de potencias
o 5.2 Aproximacin mediante media aritmtico-geomtrica
6 Extensiones
o 6.1 Nmeros reales
o 6.2 Nmeros complejos
o 6.3 Logaritmo en base imaginaria
o 6.4 Matrices
o 6.5 Logaritmo discreto
7 Historia
8 Vase tambin
9 Notas
10 Referencias
o 10.1 Bibliografa
11 Enlaces externos
[editar] Definicin
Dado un nmero real (argumento x), la funcin logaritmo le asigna el exponente n (o
potencia) a la que un nmero fijo b (base) se ha de elevar para obtener dicho argumento.
Es la funcin inversa de b a la potencia n. Esta funcin se escribe como: n = logb x, lo
que permite obtener n.1
Los logaritmos mantienen ciertas identidades aritmticas muy tiles a la hora de realizar
clculos:
tiene una solucin x y que esta solucin es nica, provista de que y es positivo y que b
es positivo y distinto de 1. Una demostracin de este hecho requiere del teorema del
valor intermedio del clculo elemental.3 Este teorema establece que una funcin
continua que produce dos valores m y n tambin produce cualquier valor que se
encuentre entre m y n. Una funcin es continua si esta no salta, esto es, si su grfico
puede ser escrito sin levantar el lpiz del papel.
Esta propiedad se puede demostrar que se cumple para la funcin f(x) = bx. Puesto que f
toma arbitrariamente valores grandes positivos y valores pequeos positivos, cualquier
nmero y > 0 que se encuentra entre f(x0) y f(x1) para un adecuado x0 y x1. Por lo tanto,
el teorema del valor intermedio asegura que la ecuacin f(x) = y tiene una solucin. Ms
an, hay nicamente una solucin para esta ecuacin, puesto que la funcin f es
estrictamente creciente (para b > 1), o estrictamente decreciente (para 0 < b < 1).4
La nica solucin x es el logaritmo de y en la base b, logb(y). La funcin que asigna a
cada y su logaritmo se llama funcin logaritmo o funcin logartmica (o logaritmo a
secas).
Esto es, la pendiente de la tangente que toca el grfico del logaritmo en base-b en el
punto (x, logb(x)) es igual a 1/(xln(b)). En particular, la derivada de ln(x) es 1/x, lo que
implica que la integral indefinida de 1/x es ln(x) + C.La derivada con un argumento
funcional generalizado f(x) es
En otras palabras, ln(t) es igual al rea entre el eje x y el grfico de la funcin 1/x,
recorrido desde x = 1 a x = t (figura a la derecha). Esto es una consecuencia del teorema
fundamental del clculo y del hecho de que la derivada de ln(x) sea 1/x. El miembro de
la derecha de esta ecuacin puede servir con una definicin para el logaritmo natural.
Las frmulas del producto y potencias de logaritmo pueden ser obtenidas de esta
definicin.10 Por ejemplo, la frmula del producto ln(tu) = ln(t) + ln(u) se deduce como:
La igualdad (1) descompone la integral en dos partes, mientras que la igualdad (2) es un
cambio de variable (w = x/t). En la ilustracin de abajo, la descomposicin corresponde
a dividir el rea en las partes azul y amarilla. Reescalando el rea azul de la izquierda
verticalmente mediante el factor t y contrayendo esta por el mismo factor
horizontalmente no se cambia su tamao. Movindola apropiadamente, el rea de la
grfica se ajusta a la funcin f(x) = 1/x de nuevo. Por lo tanto, el rea azul del trmino
izquierdo, que es la integral de f(x) desde t a tu es la misma que la de la integral desde 1
a u. Esto justifica la igualdad (2) con otra demostracin geomtrica ms.
La segunda igualdad usa los cambios de variable (integracin por sustitucin), w := x1/r.
La suma sobre los inversos de los nmeros naturales,
Nmeros complejos que no son algebraicos son llamados transcendentes;12 por ejemplo,
y e son dos de esos nmeros. Casi todos los nmeros complejos son trascendentes.
Usando estas nociones, el teorema de GelfondScheider declara que dados dos nmeros
algebraicos a y b, logb(a) es, o un nmero trascendente, o un nmero racional p / q (en
cuyo caso aq = bp, de manera que, para empezar, a y b estaban estrechamente
relacionados).13
[editar] Clculo
Los logaritmos son fciles del calcular en algunos casos, tales como log10(1,000) = 3. En
general, los logaritmos pueden ser calculados usando series de potencias o la media
aritmtico-geomtrica, o ser obtenidos de una tabla de logaritmos precalculada que
proporciona una precisin fijada.14 15 El mtodo de Newton, un mtodo iterativo para
resolver ecuaciones aproximadamente, puede ser usado tambin para calcular el
logaritmo, porque su funcin inversa, la funcin exponencial, puede ser calculada
eficientemente.16 Usando tablas de referencias, mtodos como CORDIC pueden ser
usados para calcular logaritmos si la nicas operaciones disponibles son la adicin y el
desplazamiento de bits.17 18 Ms an, el algoritmo del logaritmo binario calcula lb(x)
recursivamente basado en la repeticin cuadrtica de x, aprovechando la relacin
Esta es una manera rpida de decir que ln(z) puede ser aproximado a un valor ms y
ms preciso mediante las siguientes expresiones:
Por ejemplo, con z = 1.5 la tercera aproximacin obtiene 0.4167, que es alrededor de
0.011 mayor que ln(1.5) = 0.405465. Esta serie aproxima ln(z) con precisin arbitraria,
siempre que el nmero de sumandos sea lo suficientemente grande. En clculo
elemental, ln(z) es por tanto, el lmite de la serie. Esta es la serie de Taylor del logaritmo
natural en z = 1. La serie de Taylor de ln z proporciona una particular aproximacin til
de ln(1+z) cuando z es pequeo, |z| << 1, puesto que
Por ejemplo, con z = 0.1 el primer orden de aproximacin da ln(1.1) 0.1, que es menor
del 5% del valor correcto 0.0953.
Series ms eficientes
para cualquier nmero real z > 0.nb 2 19 Usando la notacin sumatorio esta tambin puede
ser escrita como
Esta serie se puede obtener de la serie de Taylor anterior. Converge ms rpido que la
serie de Taylor, especialmente si z es cercano a 1. Por ejemplo, para z = 1.5, los tres
primeros trminos de la segunda serie aproximan ln(1.5) con un error del entorno de
3106. La rpida convergencia para z cercano a 1 puede ser tomada como una ventaja
de la siguiente manera.: da una aproximacin de baja exactitud y ln(z) y calculando
el logaritmo de z es:
Si el logaritmo de un entero grande n es conocido, entonces esta serie obtiene una veloz
serie convergente para log(n+1).
[editar] Extensiones
Es posible extender el concepto de logaritmo ms all de los reales positivos.
(*)
La ecuacin anterior no tiene solucin nica. De hecho, tiene un nmero infinito de
soluciones, aunque todas ellas son fciles de encontrar. Dado un nmero complejo z
escrito en forma polar, una solucin posible de la ecuacin (*) es b0:
Puede comprobarse que sta no es la nica solucin, sino que para cualquier valor
resulta que el nmero complejo bk, definido a continuacin, tambin es solucin:
Un logaritmo en base imaginaria es un logaritmo que tiene como base i (la unidad
imaginaria). Este tipo de logaritmos se puede resolver fcilmente con la frmula:
Dnde z es cualquier nmero complejo excepto 0. Sin embargo, cabe sealar que la
frmula anterior slo es una de las posibles soluciones ya que la ecuacin:
tambin es solucin.
[editar] Matrices
Artculo principal: Logaritmo de una matriz.
En el caso de una matriz diagonalizable es necesario que logaritmo est definido para
todos y cada uno de los autovalores o valores propios de la matriz. En ese caso el
logaritmo de la matriz est definido y es una matriz real.
Si el logaritmo no est definido sobre el espectro o conjunto de autovalores, aun as es
posible definir una matriz logaritmo (en forma similar a como se definen los logaritmos
de nmeros negativos o complejos), aunque no resulta nica.
En el caso de una matriz no diagonalizable, este proceso es ms complicado, ya que
requiere encontrar primero su forma cannica de Jordan.
Los logaritmos discretos son los anlogos en teora de grupos de los logaritmos
ordinarios. En particular, un logaritmo ordinario loga(b) es una solucin de la ecuacin
ax = b sobre nmeros reales o nmeros complejos. De manera similar, si g y h son
elementos de un grupo cclico finito G, entonces una solucin x de la ecuacin gx = h es
llamada logaritmo discreto en la base g de h en el grupo G.
Si (G,) es un grupo cclico finito de orden n, donde es el operador multiplicacin, si se
escoge un generador g de G, entonces cada elemento h de G puede ser escrito como h =
gk para algn entero k, de manera que la funcin
asigna a cada h la clase de equivalencia modulo n de k, esto es, todos los k que cumplan
que h gk mod n.
Este logaritmo tiene aplicaciones en criptografa, en especial en el mtodo de
intercambio de claves de Diffie-Hellman o en el sistema de ElGamal.
[editar] Historia
John Napier (Neper), fue el primero que defini y desarroll los logaritmos.
El mtodo de clculo mediante logaritmos fue propuesto por primera vez, pblicamente,
por John Napier (latinizado Neperus) en 1614, en su libro titulado Mirifici
Logarithmorum Canonis Descriptio. Joost Brgi, un matemtico y relojero suizo al
servicio del duque de Hesse-Kassel, concibi por primera vez los logaritmos; sin
embargo, public su descubrimiento cuatro aos despus que Napier. La inicial
resistencia a la utilizacin de logaritmos fue cambiada por Kepler, por el entusiasta
apoyo de su publicacin y la impecable y clara explicacin de cmo funcionaban.
Este mtodo contribuy al avance de la ciencia, y especialmente de la astronoma,
facilitando la resolucin de clculos muy complejos. Los logaritmos fueron utilizados
habitualmente en geodesia, navegacin martima y otras ramas de la matemtica
aplicada, antes de la llegada de las calculadoras y computadoras. Adems de la utilidad
en el clculo, los logaritmos tambin ocuparon un importante lugar en las matemticas
ms avanzadas; el logaritmo natural presenta una solucin para el problema de la
cuadratura de un sector hiperblico ideado por Gregoire de Saint-Vincent en 1647.
Napier no us una base tal como ahora se entiende pero, sus logaritmos, como factor de
escala, funcionaban de manera eficaz con base 1/e. Para los propsitos de interpolacin
y facilidad de clculo, eran tiles para hallar la relacin r en una serie geomtrica
tendente a 1. Napier escogi r = 1 - 107 = 0,999999 (Brgi eligi r = 1 + 104 =
1,0001). Los logaritmos originales de Napier no tenan log 1 = 0, sino log 107 = 0. As,
si N es un nmero y L es el logaritmo, Napier calcula: N = 107(1 107)L. Donde (1
107)107 es aproximadamente 1/e, haciendo L/107 equivalente a log1/e N/107. Vase
logaritmo neperiano.
Inicialmente, Napier llam nmeros artificiales a los logaritmos y nmeros
naturales a los antilogaritmos. Ms tarde, Napier usa la palabra logaritmo en el sentido
de un nmero que indica una proporcin: (logos) el sentido de proporcin, y
(arithmos) significado nmero, y se define, literalmente, como un nmero que
indica una relacin o proporcin. Se refiere a la proposicin que fue hecha por Napier
en su teorema fundamental, que establece que la diferencia de dos logaritmos
determina la relacin de los nmeros a los cuales corresponden, de manera que una
progresin aritmtica de logaritmos corresponde a una progresin geomtrica de
nmeros. El trmino antilogaritmo fue introducido a finales de siglo XVII y, aunque
nunca se utiliz ampliamente en matemticas, perdur en muchas tablas, hasta que cay
en desuso