Clculo infinitesimal

Saltar a: navegacin, bsqueda El clculo infinitesimal o clculo de infinitesimales constituye una parte muy importante de la matemtica moderna. Es normal en el contexto matemtico, por simplificacin, simplemente llamarlo clculo. El clculo, como algoritmo desarrollado en el campo de la matemtica, incluye el estudio de los lmites, derivadas, integrales y series infinitas, y constituye una gran parte de la educacin de las universidades modernas. Ms concretamente, el clculo infinitesimal es el estudio del cambio, en la misma manera que la geometra es el estudio del espacio. El clculo infinitesimal tiene amplias aplicaciones en la ciencia y la ingeniera y se usa para resolver problemas para los cuales el lgebra por s sola es insuficiente. Este clculo se construye con base en el lgebra, la trigonometra y la geometra analtica e incluye dos campos principales, clculo diferencial y clculo integral, que estn relacionados por el teorema fundamental del clculo. En matemtica ms avanzada, el clculo es usualmente llamado anlisis y est definido como el estudio de las funciones. Ms generalmente, el clculo puede referirse a cualquier mtodo o sistema de cuantificacin guiado por la manipulacin simblica de las expresiones. Algunos ejemplos de otros clculos bien conocidos son el clculo proposicional, el clculo predicativo, el clculo relacional y el clculo lambda.

ndice

1 Historia o 1.1 Edad Antigua o 1.2 Edad Medieval o 1.3 Modernidad o 1.4 Significado y aplicaciones o 1.5 Fundamentos 2 Principios o 2.1 Lmites e infinitesimales o 2.2 Clculo diferencial o 2.3 Clculo integral o 2.4 Teorema fundamental 3 Aplicaciones 4 Vase tambin 5 Referencias 6 Enlaces externos

Historia

Sir Isaac Newton es uno de los ms famosos contribuyentes del desarrollo del clculo, el cual utiliz en sus leyes de movimiento y gravitacin.

Edad Antigua
El perodo antiguo introdujo algunas de las ideas del clculo integral, pero no parece haber desarrollado estas ideas en una manera rigurosa o sistemtica. En el clculo de reas y volmenes, la funcin bsica del clculo integral puede ser rastreada en el tiempo hasta los papiros matemticos de Mosc que datan del ao 1890 a. C, en los que un egipcio calcul satisfactoriamente el volumen del tronco de una pirmide.1 2 De la escuela de los matemticos griegos, Eudoxo (408355 a. C.) us el mtodo exhaustivo, el cual prefiguraba el concepto de lmite, para calcular reas y volmenes, mientras que Arqumedes (287212 a. C.) desarroll ms all su idea inventando un mtodo heurstico que se asemeja al clculo infinitesimal.3 El mtodo exhaustivo fue ms tarde usado en China por Liu Hui en el siglo III a. C. para encontrar el rea de un crculo. En el siglo V d. C., Zu Chongzhi us lo que ms tarde sera llamado la teora de los indivisibles por el matemtico italiano Bonaventura Cavalieri para encontrar el volumen de una esfera.2

Edad Medieval
Cerca del ao 1000 d. C., el matemtico islmico Alhazen fue el primero en derivar la frmula para la suma de la cuarta potencia de una progresin aritmtica, usando un mtodo a partir del cual es fcil encontrar la frmula para la suma de cualquier potencia integral de mayor orden.4 En el siglo XI, el polmata chino Shen Kuo desarroll ecuaciones que se encargaban de integrar. En el siglo XII, el matemtico indio, Bhaskara II, desarroll una derivada

temprana representando el cambio infinitesimal, y describi una forma temprana del Teorema de Rolle.5 Tambin en el siglo XII, el matemtico persa Sharaf al-Din al-Tusi descubri la derivada de la funcin cbica, un importante acontecimiento en el clculo diferencial.6 En el siglo XIV, Madhava de Sangamagrama, en conjunto con otros matemticos y astrnomos de la Escuela de Kerala, describieron casos especiales de las series de Taylor,7 los cuales estn referidos en el texto Yuktibhasa.8 9 10

Modernidad
En la poca moderna, descubrimientos independientes relacionados con el clculo se estaban llevando a cabo por la matemtica japonesa del siglo XVII, gracias al aporte de matemticos como Seki Kwa, quien expandi el mtodo exhaustivo. En Europa, el trabajo fundacional fue un tratado del matemtico italiano Bonaventura Cavalieri, quien argument que los volmenes y reas deberan ser calculados como las sumas de los volmenes y reas de delgadas secciones infinitesimales. Estas ideas eran similares a las expuestas en el trabajo "El Mtodo de los Teoremas Mecnicos" de Arqumedes, el cual estuvo perdido hasta principios del siglo XX. El trabajo de Cavalieri no fue bien respetado ya que sus mtodos pueden llevar a resultados errneos, y porque las cantidades infinitesimales que introdujo eran desacreditadas al principio. El estudio formal del clculo combin los infinitesimales de Cavalieri con el clculo de diferencias finitas desarrollado en Europa ms o menos al mismo tiempo. La combinacin fue lograda por John Wallis, Isaac Barrow y James Gregory, probando estos ltimos el teorema fundamental del clculo integral cerca del ao 1675. La regla del producto y la regla de la cadena, la nocin de derivada de mayor orden, las series de Taylor, y las funciones analticas fueron introducidas por Isaac Newton en una notacin idiosincrsica que us para resolver problemas de fsica matemtica. En sus publicaciones, Newton reformul sus ideas para acomodar el idioma matemtico de la poca, reemplazando clculo con infinitesimales por argumentos geomtricos equivalentes, los cuales estaban ms all de reproches. Us los mtodos del clculo para resolver el problema del movimiento planetario, la forma de la superficie de un fluido rotante, y se refiri a lo achatada que es la tierra por los polos, as como a muchos otros problemas, los cuales discuti en Principia Mathematica. En otro trabajo, desarroll una serie de expansiones para las funciones, incluyendo las potencias fraccionarias e irracionales. Fue claro que Newton entenda los principios de las series de Taylor. No public todos estos descubrimientos. En su tiempo los sistemas infinitesimales eran considerados como reprochables.

Gottfried Wilhelm Leibniz fue originalmente acusado de plagiar el trabajo indito de Isaac Newton, pero es ahora considerado como un inventor independiente y gran desarrollador del clculo. Estas ideas fueron sistematizadas en un verdadero clculo de infinitesimales por Gottfried Wilhelm Leibniz, quien fue originalmente acusado de plagio por Newton. Es ahora reconocido como inventor independiente del clculo y un gran contribuyente a ste. Su principal contribucin fue el proveer un conjunto de reglas claras para la manipulacin de cantidades infinitesimales, permitiendo el cmputo de derivadas de segundo orden y de orden superior, y estableciendo la regla del producto y regla de la cadena en su forma diferencial e integral. A diferencia de Newton, Leibniz le puso mucha atencin al formalismo y a menudo le dedicaba varios das a determinar los smbolos apropiados para los conceptos. Usualmente se le acredita a ambos Leibniz y Newton la invencin del clculo. Newton fue el primero en aplicar el clculo a la fsica general y Leibniz desarroll mucho de la notacin usada en clculo hasta al menos principio del siglo XIX. Las ideas principales que ambos Newton y Leibniz estipularon fueron las leyes de diferenciacin e integracin, las segundas derivadas, las derivadas de orden superior, y la nocin de una aproximacin de series de polinomios. Ya por la poca de Newton, el teorema fundamental de clculo era conocido. Cuando Newton y Leibniz primero publicaron sus resultados, hubo gran controversia sobre qu matemtico (y por ende qu pas) mereca el crdito por la invencin de esta disciplina. Newton lleg primero a sus resultados, pero Leibniz public primero. Newton acus a Leibniz de robar sus ideas de sus notas inditas, las cuales Newton haba compartido con unos cuantos miembros de la Royal Society. Esta controversia dividi a los matemticos de habla inglesa de los matemticos continentales por varios aos, causando un retraso de las matemticas inglesas. Un cuidadoso examen de los papeles de ambos matemticos demuestra que ellos llegaron a sus resultados independientemente, con Leibniz empezando primero con la integracin y Newton con la diferenciacin. Hoy, se les da crdito a ambos matemticos por desarrollar el clculo independientemente. Fue Leibniz, sin embargo, quien le dio el nuevo nombre a su disciplina. Newton llam su clculo el "mtodo de las

fluxiones". La simbologa usada por Newton, tal como (derivada primera), (derivada segunda), no fue funcional, lo que entramp el avance del clculo en Gran Bretaa. En cambio, la simbologa de Leibniz fue manejable y apuntal el progreso del clculo en Europa.[cita requerida] Desde los tiempos de Leibniz y Newton, muchos matemticos han contribuido al desarrollo continuo del clculo. En el siglo XIX, el clculo comenz a ser planteado ms rigurosamente por matemticos como Cauchy, Riemann y Weierstrass. Tambin fue en este perodo que las ideas del clculo fueron generalizadas al espacio euclidiano y al plano complejo. Lebesgue generaliz la nocin de la integral de tal manera que virtualmente cualquier funcin tenga una integral, mientras que Laurent Schwartz extendi la diferenciacin casi de la misma manera. El clculo es un tema omnipresente en la mayora de los programas de educacin superior y en las universidades. Los matemticos alrededor del mundo continan contribuyendo al desarrollo de esta disciplina, la cual ha sido considerada como uno de los logros ms grandes del intelecto humano.11 El desarrollo de las ecuaciones diferenciales ha jugado un gran papel de cambi cualitativo en la ciencia y la tecnologa, comparable con el control del fuego en la poca primitiva, las ecuaciones diferenciales son un salto enorme para la ciencia.

Significado y aplicaciones
Mientras que algunas ideas del clculo fueron desarrolladas tempranamente en las matemticas griegas, chinas, indias, islmicas y japonesas, el uso moderno del clculo comenz en Europa, durante el siglo XVII, cuando Isaac Newton y Gottfried Leibniz construyeron con base al trabajo de antiguos matemticos los principios bsicos de esta disciplina. El desarrollo del clculo fue constituido con base en los conceptos de movimiento instantneo y el rea bajo las curvas. Las aplicaciones del clculo diferencial incluyen cmputos que involucran velocidad, aceleracin, la pendiente de una curva y optimizacin. Las aplicaciones del clculo integral estn en cmputos que incluyen elementos de rea, volumen, centro de masa, longitud de arco, trabajo y presin. Aplicaciones ms avanzadas incluyen series de potencias y series de Fourier. El clculo puede ser usado para computar la trayectoria de una nave acoplndose a una estacin espacial o la cantidad de nieve en una calzada para coches. El clculo es tambin usado para obtener un entendimiento ms preciso de la naturaleza del espacio, el tiempo y del movimiento. Por siglos, matemticos y filsofos lucharon con paradojas que involucraban la divisin por cero o sumas de series infinitas de nmeros. Estas preguntas surgen en el estudio del y el movimiento y rea. El antiguo filsofo griego Zenn dio varios ejemplos famosos de tales paradojas. El clculo provee herramientas que pueden resolver tales paradojas, especialmente los lmites y las series infinitas.

Fundamentos

En matemticas, los fundamentos se refiere al desarrollo riguroso de un tema desde axiomas y definiciones precisas. El obtener un fundamento riguroso para el clculo ocup a los matemticos por la mayor parte del siglo que sigui a Leibniz y Newton y todava es un rea activa en la actualidad. Los fundamentos del clculo fueron objeto de diversas especulaciones filosficas e interpretaciones informales, la falta de rigor y laxitud con que fueron afrontados ciertos problemas de fundamentacin contribuyeron a la Crisis de los fundamentos de las matemticas. Sin embargo, ya durante el siglo XIX se empez a trabajar en una aproximacin rigurosa para los fundamentos del clculo. El ms usual hoy en da es el concepto de lmite definido en la continuidad de los nmeros reales (el concepto de lmite es esencialmente un concepto topolgico). Una alternativa es el anlisis no estndar, en el cual el sistema de nmeros reales es aumentado con infinitesimales y nmeros infinitos, como en la concepcin original de Newton y Leibnitz. Los fundamentos del clculo son incluidos en el campo del anlisis real, el cual contiene las definiciones completas y pruebas matemticas de los teoremas del clculo, as como tambin generalizaciones tales como la teora de la medida y la teora de distribuciones.