La Derivada de una funcin es la ecuacin de la recta tangente al punto P sobre el cual nos posicionamos.

En realidad, la derivada es una razn de cambio en la cual la parte independiente tiene un cambio muy pequeo, tan pequeo que es casi cero. Una razn de cambio instantneo. Esta es una rama del Calculo infinitesimal que fue trabajado y definido por los contemporneos Isaac Newton y Gottfried Leibniz, uno ingls y el otro alemn respectivamente.

Historia Definicin Matemtica

Grfica de la recta secante de una funcin. Ya que definimos la derivada como la pendiente en un punto de una funcin, veamos la siguiente. La recta y es una recta secante cuya pendiente definimos como:

Para encontrar la pendiente en el punto P podriamos ir acortando la distancia h de manera que se haga muy, muy pequea. Cuando h sea lo suficientemente pequea, la pendiente resultante ser casi igual a la pendiente en el punto P. Por esta razn agregamos el lmite cuando h tiende a 0. Esto har que la pendiente obtenida sea exactamente la pendiente en el punto P. Por lo que la definicin formal de la derivada seria:

Obtenido de "http://www.wikimatematica.org/index.php?title=Derivada"
Previo Captulo I: Una Introduccin Siguiente

Captulo I: Una Introduccin 1.1 En la antigedad Griega 1.2 En la Edad Media 1.3 Renacimiento y Revolucin Cientfica 1.4 De la Geometra Analtica al Clculo

La Geometra Analtica Descartes Fermat El lgebra Las matemticas del siglo XVII El Clculo

1.5 En el Siglo XVIII

1.6 El siglo XIX y las nuevas matemticas 1.7 Las Geometras No Euclidianas 1.8 Preguntas

1.4 DE LA GEOMETRA ANALTICA AL CLCULO

En esta seccin nos interesa resear una de los momentos ms importantes en la historia de las matemticas.
La Geometra Analtica

Una mencin aparte y especial para nosotros en este libro merece la Geometra Analtica que, como sabemos, conecta los conceptos de la geometra con los del lgebra y viceversa; al decir de Descartes, la expresin de curvas por medio de relaciones algebraicas. Ya desde la Antigedad esta vinculacin se trat de plantear. Por ejemplo Menecmo, quien fue discpulo de Eudoxo, se supone que conoca algo de geometra analtica; aunque con las limitaciones impuestas al lgebra por los griegos es difcil que esto haya sido muy desarrollado. Sin embargo, Apolonio de Perga en su famosa obra Las Cnicas, y quien vivi alrededor de los aos 262 y 190 a.C., us rectas de referencia para puntos, tambin un dimetro y una tangente a la misma para expresar esos puntos; es decir, algo parecido a lo que en geometra analtica moderna hacemos cuando usamos los ejes de coordenadas. Tambin Pappus y Omar Khayyam los usaron en su resolucin de ecuaciones cbicas. Parte de la obra de Las Cnicas fue traducida por los rabes y fue introducida en Europa precisamente por Edmund Halley (1556-1742) quien fue un cientfico amigo de Newton.
Descartes

Muchos otros matemticos hicieron algunos avances en esta relacin entre lgebra y geometra durante esta poca. Giovani di Casoli, Nicole Oresme (c. 1323-1382) y el mismo Galileo haban tratado de establecer representaciones grficas de conceptos como los de tiempo, rapidez, distancia y velocidad; sin embargo, fue Ren Descartes quien di el impulso definitivo en esta direccin a la geometra. Subrayemos que Descartes es considerado el primer filsofo moderno y, por eso mismo, debe interpretarse que la geometra analtica corresponde al espritu de lo que ya es una nueva era en el desarrollo de la sociedad occidental.

Ren Descartes

La obra de Descartes es autnticamente revolucionaria. Podemos decir que el mtodo que l propona se reduce a tres pasos: 1- La expresin de un problema geomtrico en forma algebraica. 2- Resolucin de las ecuaciones algebraicas que corresponden al problema geomtrico. 3- Construir o interpretar geomtricamente lo que planteaba la solucin. Descartes se dice que buscaba liberar a la geometra del exceso de figuras, pero tambin buscaba darle sentido o significado al lgebra por medio de la geometra. Fue revolucionario Descartes al establecer que una curva se construye con solamente ofrecer una ecuacin algebraica. Recordemos que en la Antigedad para que una curva existiera era necesario que hubiera un procedimiento con regla y comps para poderla construir.

Fermat

Se le atribuye tambin la creacin de la geometra analtica a Pierre de Fermat, quien escribi sobre estos temas antes incluso que Descartes hubiera publicado su obra seminal sobre el tema, pero que, desafortunadamente, fue publicada de manera pstuma posteriormente a la obra de Dercartes.
El lgebra

Lo importante a subrayar ac es el uso de los mtodos algebraicos. Podramos decir que hasta el siglo XVII el lgebra estuvo subordinada a la geometra y a partir de este momento el rol se invirti y, con ello, se dio un cambio sustancial en la historia de las matemticas. A pesar del impacto de la geometra analtica desarrollada por Descartes y Fermat, su repercusin no fue tan grande en esa poca; fue hasta el trabajo de Gaspard Monge (1746-1818) y sus discpulos en la Escuela Politcnica Francesa, ya en el siglo XVIII y XIX, que lleg a tener la importancia, proyeccin, dinamismo e impacto que hoy reconocemos a la geometra analtica. Sin embargo, debemos decir que la geometra analtica fue decisiva para el desarrollo del Clculo Diferencial e Integral, que constituy una autntica revolucin en el pensamiento matemtico.
Las matemticas del siglo XVII

De manera general, podemos decir que durante el siglo XVII las matemticas tuvieron un carcter muy aplicado, lo cual corresponda a una demanda en

crecimiento del uso de las ciencias en la vida social, y a flujos e influjos en la economa y en las tcnicas que afectaron los trabajos en las matemticas; aunque no puede decirse de una manera mecnica y determinista que las demandas de la vida social y fsica fueron las que generaron los resultados matemticos.

En el siglo XVII las ideas cientficas se abrieron con gran intensidad. Gassendi (1592-1655) introdujo de nuevo una forma de la teora atomista de Leucipo y Demcrito. Grimaldi (1618-1663) y despus Newton obtuvieron resultados en la ptica y en el esclarecimiento de la naturaleza de la luz. Huygens hizo una descripcin matemtica de un funcionamiento ondulatorio de la luz. Torricelli (1608-1647), discpulo de Galileo, invent el barmetro descubriendo la presin atmosfrica y tambin el "vaco''. Es el siglo de Boyle con sus resultados sobre el vaco y la teora de gases; tambin de Hooke, a quien se le atribuye haber sido el principal fsico experimental antes de Faraday. Los resultados y las figuras cientficas del XVII pueden seguir enumerndose pero, sin duda, es la obra de Newton la que culmina la llamada Revolucin Cientfica. La teora newtoniana de la gravitacin universal complet la destruccin del modelo cosmolgico anterior. Con Newton, efectivamente, puede considerarse que una fase intelectual fue completada. En las etapas histricas siguientes nuevos saltos cualitativos hacia adelante en la ciencia van a demandar ms condiciones econmicas, tcnicas, polticas y sociales.

Isaac Newton
El Clculo

Con la creacin del Clculo infinitesimal va a completar los trabajos matemticos que desde Eudoxo y Arqumedes en la Antigedad hasta Kepler, Fermat y Descartes (entre muchos otros en la nueva poca) se venan dando en busca de un mtodo para abordar el "continuo''. El Clculo infinitesimal represent el resultado matemtico ms decisivo del siglo XVII, que generara un extenso territorio intelectual para los siglos siguientes no solo en las matemticas sino en la ciencia en general. Ya slo esto hubiera sido suficiente para inmortalizar a Newton, pero realiz otra hazaa intelectual: la mecnica celeste; es decir, la descripcin del movimiento de los astros a partir de las leyes de la mecnica terrestre. Fue la fundicin terica de los resultados de Coprnico y Kepler con los de Galileo. No se trataba de un sistema filosfico, sino de una descripcin matemtica. La obra que condens sus extraordinarias contribuciones a la mecnica fue el famoso Philosophiae naturalis principia mathematica ("Principios matemticos de la filosofa natural''), publicado en 1687. Es una de las joyas del pensamiento humano. En ella, donde aplica hasta cierto punto el Clculo, formula con gran rigor matemtico las leyes de Kepler sobre el movimiento planetario, las cuales haban sido establecidas de manera emprica. Newton demostr que estas leyes se deducan de la ley de gravitacin de los cuadrados inversos: La fuerza gravitacional entre dos masas es igual a una constante por el producto de las masas, dividido ste por el cuadrado de la distancia entre ellas. Explic el movimiento de los cuerpos celestes y de las mareas. Tambin estableci los fundamentos de la teora del movimiento de la Luna. Newton asumi

un tratamiento axiomtico y matemtico, en el que asuma el espacio y el tiempo como absolutos. El descubrimiento-construccin del Clculo lo realiz entre 1665 y 1666 mientras estaba en su lugar de nacimiento en el campo para escapar de la peste que atormentaba Cambridge. Newton construy el Clculo entre 1665 y 1666 mientras Leibniz lo hizo entre 1773 y 1776, pero fue Leibniz quien public primero sus resultados entre 1684 y 1686 y, luego, lo hizo Newton entre 1704 y 1736. Ambos hicieron sus contribuciones de manera independiente y con caractersticas propias, sin embargo se dio una polmica muy famosa, que dur dcadas, sobre quin lo haba encontrado primero. Con el Clculo se resolvieron problemas fundamentales que implicaban el uso de un concepto central: el lmite. Tanto Newton como Leibniz usaron esta nocin pero lo hicieron de una manera ms bien intuitiva, fsica o geomtrica. Una formulacin ms precisa y rigurosa tendra que esperar ms de un siglo en la historia de las matemticas.

Wilhelm Leibniz

Con la idea de "lmite'' no solo se respondera a los problemas inmediatos con los que se enfrentaron los matemticos de la Revolucin Cientfica, sino a aquellos originados en la Antigedad alrededor del infinito y la continuidad. Todos esos procesos matemticos en los que se us el trmino "indefinidamente'' hacan referencia al lmite. Ya fuera que se planteara realizar sumas indefinidas de trminos o subdivisin indefinida de una longitud, rea o volumen, hay una relacin con los mtodos infinitos. Es la nocin de lmite a la que se apela cuando

en el mtodo de Exhauscin se pasa del rea de polgonos regulares inscritos en un crculo con lados, al rea del crculo. O, tambin, cuando se puede dividir un rea en un nmero infinito de rectas "indivisibles'', o cuando para calcular el rea bajo la curva se construye rectngulos y, luego, este nmero se vuelve infinito o, lo que es igual, la base de los mismos "se va hacia el cero''.

Para el clculo de reas se retom el espritu del mtodo de eshauscin con aproximaciones al rea por medio de figuras geomtricas representadas analticamente; los rectngulos sustituyeron los tringulos (o polgonos compuestos por tringulos) que se usaron anteriormente. El concepto de la integral posee su origen en estos objetivos. Debe subrayarse la existencia de una ntima relacin entre Geometra Analtica y Clculo. Aunque el clculo de reas, longitudes y volmenes ocup una historia ms larga en las matemticas, el clculo de la tangente a una curva (planteado en el siglo XVII) fue decisivo y determinante para el desarrollo de los mtodos El clculo de la recta tangente y el de la velocidad instantnea se redujeron al clculo de la derivada, lo que hoy reconocemos como un tipo particular de lmite. Newton, incluso, consider sus derivadas como velocidades. No podemos dejar de mencionar que la relacin complementaria o inversa entre los procesos de la derivacin y la integracin fue uno de los resultados ms interesantes y sorprendentes de esta temtica.
Demostracin La demostracin se hace por reduccin al absurdo. Suponemos que f(x) tiene dos lmites distintos b y c, cuando x tiende a a. Suponemos que b > c.

limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x perteneciente al E*a,1 f(x) pertenece al Eb,. limx->af(x)=c => (por def. de lmite) para todo Ec, existe un E*a,2 / para todo x perteneciente al E*a,2 f(x) pertenece al Ec,. Consideremos un tal que Eb, Ec, = .

Queremos que c+ < b- => < (b - c)/2 Sea = min {1,2} Para todo x perteneciente al E*a, se cumple f(x) pertenece a Eb, f(x) pertenece a Ec,

Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos. Absurdo de suponer b c. Por lo tanto b = c.

Definicin
Lmites laterales
Lmite de f(x) en el punto a por la derecha : limx->a+f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a,a +

) |f(x) - b| < . Lmite de f(x) en el punto a por la izquierda : limx->a-f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a) |f(x) - b| < . Nota: x->a+ indica que x tiende a a por la derecha, es decir que x pertenece al entorno (a,a + ). x->a- indica que x tiende a a por la izquierda, es decir que x pertenece al entorno (a ,a). A veces las funciones son discontinuas o no estn definidas en un punto a, pero son continuas a uno y otro lado. En estos casos, el lmite por la izquierda puede ser distinto del lmite por la derecha.

Ejemplo
f(x) = x2 si x <= 2 -2x + 1 si x > 2

limx->2-f(x)=4 limx->2+f(x)=-3 No existe limx->2f(x)

Teorema
Existe el lmite finito de una funcin <=> los lmites laterales son iguales.

H) limx->af(x)=b T) limx->a+f(x) = limx->a-f(x) = b

Demostracin: Directo: limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x perteneciente al E*a, f(x) pertenece al Eb,. => para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a) f(x) pertenece al Eb, => (por def. de lmites laterales) limx->a-f(x)=b. y para todo > 0 existe > 0 / para todo x perteneciente a (a,a + ) f(x) pertenece al Eb, => (por def. de lmites laterales) limx->a+f(x)=b. Recproco: limx->a+f(x)=b => (por def. de lmites laterales) para todo > 0 existe 1 > 0 / para todo x perteneciente a (a,a + 1) f(x) pertenece al Eb,. limx->a-f(x)=b => (por def. de lmites laterales) para todo > 0 existe 2 > 0 / para todo x perteneciente a (a - 2,a) f(x) pertenece al Eb,. Sea = min {1,2} Para todo x perteneciente a E*a, f(x) pertenece al Eb,. => (por def. de lmite) limx->af(x) = b. Ejemplo: en la funcin del ejemplo anterior, no existe limx->2f(x), pues limx->2-f(x) limx->2+f(x).

Teorema
Conservacin del signo

Para valores de x suficientemente prximos al valor de tendencia, la funcin tiene el mismo signo que su lmite.

H) limx->af(x)=b > 0 T) Existe > 0 / para todo x perteneciente al E*a, f(x) > 0

Demostracin: limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x perteneciente al E*a, f(x) pertenece al Eb,. Es decir, b - < f(x) < b + . Consideremos < b => 0 < b - < f(x) => f(x) > 0. As, basta considerar un menor que b, para tener un entorno de a donde f(x) es mayor que 0.

Nota: El teorema tambin se cumple para valores negativos. Si la funcin tiene distinto signo en la mitad izquierda del entorno de a que en la mitad derecha, entonces su lmite en a vale 0.

Teorema de la funcin comprendida

Si una funcin est comprendida entre otras dos que tienen igual lmite cuando x tiende a a, entonces tiene el mismo lmite.

H) limx->af(x) = limx->ag(x) = b

Existe 1 > 0 / para todo x perteneciente al E*a,1 f(x) <= h(x) <= g(x) T) limx->ah(x)=b

Demostracin: limx->af(x)=b => (por def. de lmite) para todo > 0 existe 2 > 0 / para todo x perteneciente al E*a,2 b - < f(x) < b + . limx->ag(x)=b => (por def. de lmite) para todo > 0 existe 3 > 0 / para todo x perteneciente al E*a,3 b - < g(x) < b + . Sea = min {1,2,3} Para todo x perteneciente al E*a, b - < f(x) <= h(x) <= g(x) < b + => (por def. de lmite) limx->ah(x) = b.

Teorema de la acotacin
Si una funcin tiene lmite finito cuando x tiende a a, entonces est acotada en un entorno reducido de a.

H) limx->af(x)=b T) Existe > 0 y existen h y k reales / para todo x perteneciente al E*a, h < f(x) < k

Demostracin.

limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x perteneciente al E*a, b - --^-h cota inferior < f(x) < b + --^-k cota superior

Nota: tambin podemos expresar la tesis como: Existe >0 y existen h y k reales positivos / para todo x perteneciente al E*a, h < |f(x)| < k.

Hiptesis de Riemann
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

Parte real (rojo) y parte imaginaria (azul) de la lnea crtica Re(s) = 1/2 de la funcin zeta de Riemann. Pueden verse los primeros ceros no triviales en Im(s) = 14,135, 21,022 y 25,011.

En matemtica pura, la hiptesis de Riemann, formulada por primera vez por Bernhard Riemann en 1859, es una conjetura sobre la distribucin de los ceros de la funcin zeta de Riemann (s).1 La hiptesis de Riemann, por su relacin con la distribucin de los nmeros primos en el conjunto de los naturales, es uno de los problemas abiertos ms importantes en la matemtica contempornea. Se ha ofrecido un premio de un milln de dlares por el Instituto Clay de Matemticas para la primera persona que desarrolle una demostracin correcta de la conjetura.2 La mayora de la comunidad matemtica piensa que la conjetura es cierta, aunque otros grandes matemticos como J. E. Littlewood y Atle Selberg se mostraron escpticos, si bien el escepticismo de Selberg fue disminuyendo desde sus das de juventud. En un artculo en

1989 sugiri que un anlogo debe ser cierto para una clase mucho ms amplia de funciones (la clase de Selberg).

Contenido
[ocultar]

1 Definicin 2 Historia 3 La hiptesis de Riemann y los nmeros primos 4 Clculo numrico 5 Vase tambin 6 Referencias 7 Enlaces externos

[editar] Definicin
La funcin zeta de Riemann (s) est definida de la siguiente manera:

Para todos los nmeros complejos s 1, se puede prolongar analticamente mediante la ecuacin funcional:

Esta posee ciertos valores, llamados ceros "triviales" para los cuales la funcin zeta se anula. De la ecuacin se puede ver que s = 2, s = 4, s = 6, ... son ceros triviales. Existen otros valores complejos s comprendidos entre 0 < Re(s) < 1, para los cuales la funcin zeta tambin se anula, llamados ceros "no triviales". La conjetura de Riemann hace referencia a estos ceros no triviales afirmando: La parte real de todo cero no trivial de la funcin zeta de Riemann es 1/2

Por lo tanto los ceros no triviales deberan encontrarse en la lnea crtica s = 1/2 + i t donde t es un nmero real e i es la unidad imaginaria. La funcin zeta de Riemann, a lo largo de la lnea crtica ha sido estudiada en trminos de la funcin Z, cuyos ceros corresponden a los ceros de la funcin zeta sobre la lnea crtica.

Un grfico polar de zeta, esto es, Re(zeta) vs. Im(zeta), a lo largo de la lnea crtica s=it+1/2, con t con valores desde 0 a 34.

[editar] Historia
Riemann mencion la conjetura, que sera llamada la hiptesis de Riemann, en su artculo de 1859 Sobre los nmeros primos menores que una magnitud dada, al desarrollar una frmula explcita para calcular la cantidad de primos menores que x. Puesto que no era esencial para el propsito central de su artculo, no intent dar una demostracin de la misma. Riemann saba que los ceros no triviales de la funcin zeta estn distribuidos en torno a la recta s = 1/2 + i t, y saba tambin que todos los ceros no triviales deban estar en el rango 0 Re(s) 1.3 En 1896, Hadamard y de la Valle-Poussin probaron independientemente, que ningn cero poda estar sobre la recta Re(s) = 1. Junto con las otras propiedades de los ceros no triviales demostradas por Riemann, esto mostr que todos los ceros no triviales deben estar en el interior de la banda crtica 0 < Re(s) < 1. Este fue un paso fundamental para las primeras demostraciones del teorema de los nmeros primos. En 1900, Hilbert incluy la hiptesis de Riemann en su famosa lista de los 23 problemas no resueltos es parte del problema 8 en la lista de Hilbert junto con la conjetura de Goldbach. Cuando se le pregunt qu hara si se despertara habiendo dormido quinientos aos, remarcablemente Hilbert contest que su primera pregunta sera si la hiptesis de Riemann haba sido probada. La hiptesis de Riemann es el nico problema de los que propuso Hilbert que est en el premio del milenio del Instituto Clay de Matemticas. En 1914, Hardy demostr que existe un nmero infinito de ceros sobre la recta crtica Re(s) = 1/2. Sin embargo todava era posible que un nmero infinito (y posiblemente la mayora)

de los ceros no triviales se encontraran en algn otro lugar sobre la banda crtica. En trabajos posteriores de Hardy y Littlewood en 1921 y de Selberg en 1942 se dieron estimaciones para la densidad promedio de los ceros sobre la lnea crtica. Trabajos recientes se han concentrado en el clculo explcito de la localizacin de grandes cantidades de ceros (con la esperanza de hallar algn contraejemplo) y en el establecimientos de cotas superiores en la proporcin de ceros que puedan estar lejos de la lnea crtica (con la esperanza de reducirlas a cero).

[editar] La hiptesis de Riemann y los nmeros primos

La formulacin tradicional de la hiptesis de Riemann oscurece un poco la importancia real de la conjetura. La funcin zeta de Riemann tiene una profunda conexin con los nmeros primos y Hege von Koch demostr en 1901 que la hiptesis de Riemann es equivalente al considerable refinamiento del teorema de los nmeros primos: Existe una constante C > 0 tal que

para todo x suficientemente grande, donde (x) es la funcin contadora de primos y ln(x) es el logaritmo natural de x. Lowell Schoenfeld mostr que se puede tomar C = 1/(8 ) para todo x 2657. Los ceros de la funcin zeta y los nmeros primos satisfacen ciertas propiedades de dualidad, conocidas como frmulas explcitas, que muestran, usando anlisis de Fourier, que los ceros de la funcin zeta de Riemann pueden interpretarse como frecuencias armnicas en la distribucin de los nmeros primos. Ms an, si la conjetura de Hilbert-Polya es cierta, entonces cualquier operador que nos d las partes imaginarias de los ceros como sus valores propios debe satisfacer:

donde Tr es la traza del operador (suma de sus valores propios),

es un nmero imaginario

y es la Funcin de Chebyshov que nos suma el log(x) sobre los primos y sus potencias enteras, dicha frmula es una conclusin de la 'frmula explicita' de V. Mangoldt.4 Varios operadores propuestos por C. Perelman, J. Macheca y J. Garca, parecen corroborar los resultados de la conjetura de Hilbert sobre el operador, reproduciendo la parte imaginaria de los ceros.

[editar] Clculo numrico

Valor absoluto de la -function.

En el ao 2004 Xavier Gourdon verific la conjetura de Riemann numricamente a lo largo de los primeros diez trillones de ceros no triviales de la funcin. Sin embargo esto no es estrictamente una demostracin, numricamente es ms interesante encontrar un contraejemplo, es decir un valor de cero que no cumpla con que su parte real es 1/2, pues esto echara por los suelos la validez de la conjetura. Hasta el 2005, el intento ms serio para explorar los ceros de la funcin-, es el ZetaGrid, un proyecto de computacin distribuida con la capacidad de verificar billones de ceros por da. El proyecto acab en diciembre de 2005, y ninguno de los ceros pudo ser identificado como contraejemplo de la hiptesis de Riemann.

[editar] Vase tambin

Teorema de los nmeros primos Funcin zeta de Riemann Funcin contador de nmeros primos Frmula explcita