Clculo infinitesimal
El clculo infinitesimal, clculo de infinitesimales o simplemente "Clculo" constituye una parte
muy importante de la matemtica moderna. El clculo infinitesimal se divide en dos reas:
clculo diferencial y clculo integral.
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 y como ya se
mencion, 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 aplicado, clculo proposicional, el clculo predicativo, el clculo
relacional y el clculo lambda.
Historia
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.12
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,
denominado exahustacin, 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 Media
Artculos principales: Matemtica en el islam medieval, Matemtica en la India y Fibonacci.
Cerca del ao 1000 d. C., el matemtico islmico Alhacn 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, los cuales estn
referidos en el texto Yuktibhasa.8910
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 cambio 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.
Vase tambin: Controversia del clculo
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 recta tangente a 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 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.
Principios
Lmites e infinitesimales
Artculos principales: Lmite matemtico e Infinitesimal.
El clculo es usualmente desarrollado mediante la manipulacin de cantidades pequeas.
Histricamente, el primer mtodo para lograr eso se basaba en infinitesimales. Estos son
objetos que pueden ser tratados como nmeros pero que son, en algn sentido,
infinitamente pequeos. Tratndose de nmeros, stos seran puntos que no son cero, pero
que tienen una distancia cero del nmero 'cero'. Desde este punto de vista, el clculo es una
coleccin de tcnicas para manipular infinitesimales. Este punto de vista perdi terreno en el
siglo XIX porque era difcil lograr una nocin precisa del infinitesimal. El concepto cobr fuerza
nuevamente en el siglo XX con la introduccin del anlisis no estndar y del anlisis
infinitesimal suave (del ingls smooth infinitesimal analysis) , los que proporcionaron
fundamentos slidos para la manipulacin de infinitesimales.
En el siglo XIX, los infinitesimales fueron reemplazados por los lmites. Los lmites describen el
valor de una funcin en un cierto valor de entrada en trminos de sus valores en un punto
cercano. Capturan el comportamiento a pequea escala, como los infinitesimales, pero usan el
sistema ordinario de los nmeros reales. En este contexto, el clculo es una coleccin de
tcnicas usadas para la manipulacin de ciertos lmites. Los infinitesimales son reemplazados
por nmeros muy pequeos y el comportamiento infinitamente pequeo de la funcin es
encontrado mediante el comportamiento lmite para nmeros cada vez ms pequeos. Los
lmites son fcil de poner en fundamentos, y por esta razn son usualmente considerados
como el acercamiento estndar al clculo.
Clculo diferencial
Artculos principales: Clculo diferencial y Derivada.
Lnea tangente en (x, f(x)). La derivada f(x) de una curva en un punto es la pendiente de la
lnea tangente a esa curva en ese punto.
El clculo diferencial es el estudio de la definicin, propiedades, y aplicaciones de la derivada
de una funcin, o lo que es lo mismo, la pendiente de la tangente a lo largo de su grfica. El
proceso de encontrar la derivada se llama derivacin o diferenciacin. Dada una funcin y un
punto en su dominio, la derivada en ese punto es una forma de codificar el comportamiento a
pequea-escala de la funcin cerca del punto. Encontrando la derivada de una funcin para
cada punto en su dominio, es posible producir una nueva funcin, llamada la funcin
derivada o simplemente la derivada de la funcin original. En lenguaje tcnico, la derivada
es un operador lineal, el cual toma una funcin y devuelve una segunda funcin, de manera
que para cada punto de la primera funcin, la segunda obtiene la pendiente a la tangente en
ese punto.
El concepto de derivada es fundamentalmente ms avanzado que los conceptos encontrados
en el lgebra.
Para entender la derivada, los estudiantes deben aprender la notacin matemtica. En
notacin matemtica, un smbolo comn para la derivada de una funcin es una marca
parecida a un acento o apostrofo llamada smbolo primo. As la derivada de f es f
(pronunciado efe prima). En lo siguiente la segunda funcin es la derivada de la primera:
Si la entrada de la funcin representa el tiempo, entonces la derivada representa el cambio
con respecto del tiempo. Por ejemplo, si f es una funcin que toma el tiempo como entrada y
da la posicin de la pelota en ese momento como salida, entonces la derivada de f es cunto la
posicin est cambiando en el tiempo, esto es, es la velocidad de la pelota.
Si la funcin es lineal (esto es, la grfica de la funcin es una lnea recta), entonces la funcin
puede ser escrita de la forma y = mx + b, donde:
Clculo integral
Artculo principal: Clculo integral
El clculo integral es el estudio de las definiciones, propiedades, y aplicaciones de dos
conceptos relacionados, la integral indefinida y la integral definida. El proceso de encontrar el
valor de una integral es llamado integracin. En lenguaje tcnico, el clculo integral estudia
dos operadores lineales relacionados.
La integral indefinida es la antiderivada, es decir, la operacin inversa de la derivada. La
funcin F es una integral indefinida de la funcin f cuando f es una derivada de F. (El uso de
maysculas y minsculas para distinguir entre la funcin y su integral indefinida es comn en
el clculo).
La integral definida es un algoritmo que transforma funciones en nmeros, los cuales dan el
rea entre una curva de un grfico y el eje-x. La definicin tcnica de la integral definida es el
lmite de una suma de reas de rectngulos, llamada suma de Riemann.
Teorema fundamental
Artculo principal: Teorema fundamental del clculo
El teorema fundamental del clculo establece que la diferenciacin y la integracin son
operaciones inversas. Ms precisamente, relaciona los valores de las antiderivadas para definir
las integrales. Ya que es normalmente ms fcil computar una antiderivada que aplicar la
definicin de una integral definida, el teorema fundamental del clculo provee una forma
prctica de computar integrales definidas. Tambin puede ser interpretado como una
declaracin precisa del hecho de que la diferenciacin es la inversa de la integracin.
El teorema fundamental del clculo establece: Si una funcin f es continua en el intervalo [a, b]
y si F es una funcin cuya derivada es f en el intervalo (a, b), entonces
As entonces, para cada x en el intervalo (a, b), es cierto que:
Este hecho, descubierto tanto por Newton como Leibniz, quienes basaron sus resultados en el
trabajo previo de Isaac Barrow, fue clave para la masiva proliferacin de resultados analticos
luego que su trabajo fuese conocido. El teorema fundamental provee un mtodo algebraico
para calcular muchas integrales definidas sin realizar el proceso de clculo de lmites
mediante el encuentro de frmulas apropiadas para las antiderivadas. Las ecuaciones
diferenciales relacionan a una funcin a sus derivadas, y son omnipresentes en las ciencias.
Aplicaciones
La Espiral logartmica de la concha del Nautilus es una clsica imagen usada para representar el
crecimiento y cambio relacionados con el clculo.
El clculo es usado en cada rama de las ciencias fsicas y de informtica, estadstica, ingeniera,
economa, negocios, medicina, demografa y en otras reas donde un problema pueda ser
modelado matemticamente y una solucin ptima sea deseada.
La fsica hace un particular uso del clculo; todos los conceptos en la mecnica clsica estn
interrelacionados a travs del clculo. La masa de un objeto de conocida densidad, el
momento de inercia de los objetos, as como la energa total de un objeto dentro de un campo
conservativo pueden ser encontrados por el uso del clculo. En los sub-campos de electricidad
y magnetismo, el clculo puede ser usado para encontrar el flujo total de los campos
electromagnticos.
Un ejemplo ms histrico del uso del clculo en la fsica son las leyes del movimiento de
Newton, donde se usa expresamente el trmino tasa de cambio el cual hace referencia a la
derivada: La tasa de cambio de momentum de un cuerpo es igual a la fuerza resultante
actuando en el cuerpo y est tambin en la misma direccin. Incluso la expresin comn de la
segunda ley de Newton como Fuerza = Masa x Aceleracin involucra el clculo diferencial
porque la aceleracin puede ser expresada como la derivada de la velocidad. La ecuaciones de
Maxwell en su teora de electromagnetismo y la Teora de la relatividad general de Einstein
estn tambin expresadas en el lenguaje del clculo diferencial.
La qumica tambin usa el clculo para determinar los ritmos de las reacciones y el
decaimiento radioactivo.
El clculo tambin puede ser usado en conjunto con otras disciplinas matemticas. Por
ejemplo, puede ser usado con el lgebra lineal para encontrar la mejor aproximacin lineal
para un conjunto de puntos en un dominio. Tambin puede ser usado en la teora de la
probabilidad para determinar la probabilidad de una variable contina al azar desde una
densidad de funcin asumida.
El teorema de Green, el cual establece la relacin entre una integral lineal alrededor una
simple curva cerrada C y una doble integral sobre el plano de regin D delimitada por C, es
aplicado en un instrumento conocido como planmetro, el cual es usado para calcular el rea
de una superficie plana en un dibujo. Por ejemplo, puede ser usado para calcular la cantidad
de rea que toma una piscina cuando se bosqueja el diseo de un pedazo de propiedad.
En la medicina, el clculo puede ser usado para encontrar el ngulo de ramificacin ptimo de
vaso sanguneo para maximizar el flujo.
En geometra analtica, el estudio de los grficos de funciones, el clculo es usado para
encontrar puntos mximos y mnimos, la tangente, as tambin como para determinar la
concavidad y los puntos de inflexin.
En economa, el clculo permite determinar el beneficio mximo por medio del costo marginal
y del ingreso marginal.
El clculo tambin puede ser usado para encontrar soluciones aproximadas para ecuaciones,
usando mtodos como por ejemplo el mtodo de Newton, la iteracin de punto fijo y la
aproximacin lineal. Por ejemplo, las naves espaciales usan una variacin del mtodo de Euler
para aproximar trayectorias curvas dentro de entornos de gravedad cero.