Clculo

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda
Para otros usos de este trmino, vase Clculo (desambiguacin).

Para clculo infinitesimal (diferencial o integral) vase Clculo infinitesimal

Para el estudio de los nmeros reales, los complejos, los vectores y sus funciones
vase Anlisis matemtico

En general el trmino clculo (del latncalculus = piedra)1 hace referencia, indistintamente,

a la accin o el resultado correspondiente a la accin de calcular. Calcular, por su parte,
consiste en realizar las operaciones necesarias para prever el resultado de una accin
previamente concebida, o conocer las consecuencias que se pueden derivar de unos datos
previamente conocidos.
No obstante, el uso ms comn del trmino clculo es el lgico-matemtico. Desde esta
perspectiva, el clculo consiste en un procedimiento mecnico, o algoritmo, mediante el
cual podemos conocer las consecuencias que se derivan de unos datos previamente
conocidos.

Contenido
[ocultar]

1 Clculo como razonamiento y clculo lgico-matemtico

2 Historia del clculo

o 2.1 De la Roma Clsica a la Edad Media
o 2.2 Renacimiento
o 2.3 Siglos XVII y XVIII
o 2.4 Siglos XIX y XX
o 2.5 Actualidad

3 Concepto general de clculo

4 El clculo lgico
o 4.1 Sistematizacin de un clculo de deduccin natural

4.1.1 Reglas de formacin de frmulas

4.1.2 Reglas de transformacin de frmulas

4.1.3 Esquemas de inferencia

o 4.2 Concepto de modelo

4.2.1 El lenguaje natural como modelo de un clculo lgico

5 Clculos matemticos
o 5.1 Clculo aritmtico
o 5.2 Algoritmos

5.2.1 Sistema numrico y sistema de numeracin

5.2.2 Operaciones bsicas del clculo: suma, resta, multiplicacin y

divisin

5.2.3 Algoritmo de potencias y races

o 5.3 Clculo algebraico

o 5.4 Clculo infinitesimal: breve resea

6 Vase tambin

7 Referencias
o 7.1 Bibliografa

8 Enlaces externos

[editar] Clculo como razonamiento y clculo lgicomatemtico

Las dos acepciones del clculo (la general y la restringida) arriba definidas estn
ntimamente ligadas. El clculo es una actividad natural y primordial en el hombre, que
comienza en el mismo momento en que empieza a relacionar unas cosas con otras en un
pensamiento o discurso. El clculo lgico natural como razonamiento es el primer clculo
elemental del ser humano. El clculo en sentido lgico-matemtico aparece cuando se toma
conciencia de esta capacidad de razonar y trata de formalizarse.
Por lo tanto, podemos distinguir dos tipos de operaciones:
1. Operaciones orientadas hacia la consecucin de un fin, como prever, programar,
conjeturar, estimar, precaver, prevenir, proyectar, configurar, etc. que incluyen en
cada caso una serie de complejas actividades y habilidades tanto de pensamiento
como de conducta. En su conjunto dichas actividades adquieren la forma de
argumento o razones que justifican una finalidad prctica o cognoscitiva.
2. Operaciones formales como algoritmo que se aplica bien directamente a los datos
conocidos o a los esquemas simblicos de la interpretacin lgico-matemtica de
dichos datos; las posibles conclusiones, inferencias o deducciones de dicho
algoritmo son el resultado de la aplicacin de reglas estrictamente establecidas de
antemano.
Resultado que es:
Conclusin de un proceso de razonamiento.
Resultado aplicable directamente a los datos iniciales (resolucin de problemas).
Modelo de relaciones previamente establecido como teora cientfica y significativo
respecto a determinadas realidades (Creacin de modelos cientficos).
Mero juego formal simblico de fundamentacin, creacin y aplicacin de las reglas
que constituyen el sistema formal del algoritmo (Clculo lgico-matemtico,
propiamente dicho).
Dada la importancia que histricamente ha adquirido la actividad lgico-matemtica en la
cultura humana el presente artculo se refiere a este ltimo sentido. De hecho la palabra, en
su uso habitual, casi queda restringida a este mbito de aplicacin; para algunos, incluso,
queda reducida a un solo tipo de clculo matemtico, pues en algunas universidades se
llamaba "Clculo" a una asignatura especfica de clculo matemtico.
En un artculo general sobre el tema no puede desarrollarse el contenido de lo que supone el
clculo lgico-matemtico en la actualidad. Aqu se expone solamente el fundamento de
sus elementos ms simples, teniendo en cuenta que sobre estas estructuras simples se
construyen los clculos ms complejos tanto en el aspecto lgico como en el matemtico.

[editar] Historia del clculo

[editar] De la Roma Clsica a la Edad Media

Reconstruccin de un baco romano.

Un baco moderno.
El trmino "clculo" procede del latncalculus, piedrecita que se mete en el calzado y que
produce molestia. Precisamente tales piedrecitas ensartadas en tiras constituan el baco
romano que, junto con el suwanpan japons, constituyen las primeras mquinas de calcular
en el sentido de contar.
Los antecedentes de procedimiento de clculo, como algoritmo, se encuentran en los que
utilizaron los gemetras griegos, Eudoxo en particular, en el sentido de llegar por
aproximacin de restos cada vez ms pequeos, a una medida de figuras curvas; as como
Diofanto precursor del lgebra.
La consideracin del clculo como una forma de razonamiento abstracto aplicado en todos
los mbitos del conocimiento se debe a Aristteles, quien en sus escritos lgicos fue el
primero en formalizar y simbolizar los tipos de razonamientos categricos (silogismos).
Este trabajo sera completado ms tarde por los estoicos, los megricos, la Escolstica.
El algoritmo actual de clculo aritmtico como universal es fruto de un largo proceso
histrico a partir de las aportaciones de Muhammad ibnal-Juarismi en el siglo IX.2

Se introdujo el 0, ya de antiguo conocido en la India y se construye definitivamente el

sistema decimal de diez cifras con valor posicional de las mismas, introducido en Europa
por los rabes. La escritura antigua de nmeros en Babilonia, en Egipto, en Grecia o en
Roma, haca muy difcil un procedimiento mecnico de clculo.3
El sistema decimal fue muy importante para el desarrollo de la contabilidad de los
comerciantes de la Baja Edad Media, en los inicios del capitalismo.
El concepto de funcin por tablas ya era practicado de antiguo pero adquiri especial
importancia en la Universidad de Oxford en el siglo XIV.4 La idea de un lenguaje o
algoritmo capaz de determinar todas las verdades, incluidas las de la fe, aparecen en el
intento de Raimundo Lulio en su Ars Magna
A fin de lograr una operatividad mecnica se confeccionaban unas tablas a partir de las
cuales se poda generar un algoritmo prcticamente mecnico. Este sistema de tablas ha
perdurado en algunas operaciones durante siglos, como las tablas de logaritmos, o las
funciones trigonomtricas; las tablas venan a ser como la calculadora de hoy da; un
instrumento imprescindible de clculo. Las amortizaciones de los crditos en los bancos,
por ejemplo, se
calculaban a
Ejemplo de aplicacin de un clculo algebraico a la resolucin de
partir de tablas
un problema segn la interpretacin de una teora fsica
elementales
hasta que se
La expresin del clculo algebraico y = xt, indica las relaciones
produjo la
sintcticas que existen entre tres variables que no tienen
aplicacin de la
significado alguno.
informtica en
Pero si interpretamos y como espacio, x como velocidad y t
el tercer tercio
como tiempo, tal ecuacin modeliza una teora fsica que
del siglo XX.
establece que el espacio recorrido por un mvil con velocidad
constante es directamente proporcional a la velocidad con que
A finales de la
se mueve y al tiempo que dura su movimiento.
Edad Media la
Al mismo tiempo, segn dicha teora, sirve para resolver el
discusin entre
problema de calcular cuntos kilmetros ha recorrido un coche
los partidarios
que circula de Madrid a Barcelona a una velocidad constante de
del baco y los
60 km/h durante 4 horas de recorrido.
partidarios del
algoritmo se
240 kilmetros recorridos = 60 km x 4 h
decant
claramente por
estos ltimos.5
De especial importancia es la creacin del sistema contable por partida doble inventado por
Luca Pacioli fundamental para el progreso del capitalismo en el Renacimiento.6

[editar] Renacimiento

El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, y fue creado
y desarrollado para responder a la necesidad de la contabilidad en los negocios de la
burguesa renacentista.
El desarrollo del lgebra (con la introduccin de un sistema de smbolos por un lado, y la
resolucin de problemas por medio de las ecuaciones) vino de la mano de los grandes
matemticos renacentistas como Tartaglia, Stvin, Cardano o Vieta y fue esencial para el
planteamiento y solucin de los ms diversos problemas que surgieron en la poca como
consecuencia de los grandes descubrimientos que hicieron posible el progreso cientfico
que surgir en el siglo XVII.7

[editar] Siglos XVII y XVIII

Pgina del artculo de Leibniz "Explication de l'ArithmtiqueBinaire", 1703/1705.

En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores ms destacados
Descartes,8Pascal9 y, finalmente, Leibniz y Newton10 con el clculo infinitesimal que en
muchas ocasiones ha recibido simplemente, por absorcin, el nombre de clculo.

El concepto de clculo formal en el sentido de algoritmo reglado para el desarrollo de un

razonamiento y su aplicacin al mundo de lo real11 adquiere una importancia y desarrollo
enorme respondiendo a una necesidad de establecer relaciones matemticas entre diversas
medidas, esencial para el progreso de la ciencia fsica que, debido a esto, es tomada como
nuevo modelo de Ciencia frente a la especulacin tradicional filosfica, por el rigor y
seguridad que ofrece el clculo matemtico. Cambia as el sentido tradicional de la Fsica
como Ciencia de la Naturaleza y toma el sentido de ciencia que estudia los cuerpos
materiales, en cuanto materiales.
A partir de entonces el propio sistema de clculo permite establecer modelos sobre la
realidad fsica, cuya comprobacin experimental12 supone la confirmacin de la teora
como sistema. Es el momento de la consolidacin del llamado mtodo cientfico cuyo
mejor exponente es en aquel momento la Teora de la Gravitacin Universal y las leyes de
la Mecnica de Newton.13

[editar] Siglos XIX y XX

George Boole.
Durante el siglo XIX y XX el desarrollo cientfico y la creacin de modelos tericos
fundados en sistemas de clculo aplicables tanto en mecnica como en electromagnetismo y
radioactividad, etc. as como en astronoma fue impresionante. Las geometras no
euclidianas encuentran aplicacin en modelos tericos de astronoma y fsica. El mundo
deja de ser un conjunto de infinitas partculas que se mueven en un espacio-tiempo absoluto
y se convierte en un espacio de configuracin o espacio de fases de n dimensiones que
fsicamente se hacen consistentes en la teora de la relatividad, la mecnica cuntica, la
teora de cuerdas etc. que cambia por completo la imagen del mundo fsico.
La lgica asimismo sufri una transformacin radical.14 La formalizacin simblica fue
capaz de integrar las leyes lgicas en un clculo matemtico, hasta el punto que la

distincin entre razonamiento lgico-formal y clculo matemtico viene a considerarse

como meramente utilitaria.
En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de
formalizacin de todo el sistema matemtico, Frege, y de matematizacin de la lgica,
(Bolzano, Boole, Whitehead, Russell) fue posible la generalizacin del concepto como
clculo lgico. Se lograron mtodos muy potentes de clculo, sobre todo a partir de la
posibilidad de tratar como objeto conjuntos de infinitos elementos, dando lugar a los
nmeros transfinitos de Cantor.
Mediante el clculo la lgica encuentra nuevos desarrollos como lgicas modales y lgicas
polivalentes.
Los intentos de axiomatizar el clculo como clculo perfecto por parte de Hilbert y
Poincar, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a
nuevos intentos de axiomatizacin, Axiomas de Zermelo-Fraenkel y a la demostracin de
Gdel de la imposibilidad de un sistema de clculo perfecto: consistente, decidible y
completo en 1931, de grandes implicaciones lgicas, matemticas y cientficas.

[editar] Actualidad
En la actualidad, el clculo en su sentido ms general, en tanto que clculo lgico
interpretado matemticamente como sistema binario, y fsicamente hecho material
mediante la lgica de circuitoselctrnicos, ha adquirido una dimensin y desarrollo
impresionante por la potencia de clculo conseguida por los ordenadores, propiamente
mquinas computadoras. La capacidad y velocidad de clculo de estas mquinas hace lo
que humanamente sera imposible: millones de operaciones por segundo.
El clculo as utilizado se convierte en un instrumento fundamental de la investigacin
cientfica por las posibilidades que ofrece para la modelizacin de las teoras cientficas,
adquiriendo especial relevancia en ello el clculo numrico.

[editar] Concepto general de clculo

El clculo es un sistema de smbolos no interpretados, es decir, sin significado alguno, en el
que se establecen mediante reglas estrictas, las relaciones sintcticas entre los smbolos
para la construccin de frmulas bien formadas (fbf), as como las reglas que permiten
transformar dichas expresiones en otras equivalentes; entendiendo por equivalentes que
ambas tienen siempre y de forma necesaria el mismo valor de verdad. Dichas
transformaciones son meramente tautologas.
Un clculo consiste en:
1. Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por
enumeracin, o definidos por una propiedad tal que permita discernir sin duda
alguna cundo un elemento pertenece o no pertenece al sistema.

2. Un conjunto de reglas de formacin de expresiones bien formadas(EBFs) que

permitan en todo momento establecer, sin forma de duda, cundo una expresin
pertenece al sistema y cundo no.
3. Un conjunto de reglas de transformacin de expresiones, mediante las cuales
partiendo de una expresin bien formada del clculo podremos obtener una nueva
expresin equivalente y bien formada que pertenece al clculo.
Cuando en un clculo as definido se establecen algunas expresiones determinadas como
verdades primitivas o axiomas, decimos que es un sistema formal axiomtico.
Un clculo as definido si cumple al mismo tiempo estas tres condiciones decimos que es
un Clculo Perfecto:
1. Es consistente: No es posible que dada una expresin bien formada del sistema, f, y
su negacin, no f, sean ambas teoremas del sistema. No puede haber
contradiccin entre las expresiones del sistema.
2. Decidible: Dada cualquier expresin bien formada del sistema podemos encontrar
un mtodo que nos permita decidir mediante una serie finita de operaciones si dicha
expresin es o no es un teorema del sistema.
3. Completo: Cuando dada cualquier expresin bien formada del sistema, podemos
establecer la demostracin o prueba de que es un teorema del sistema.
La misma lgica-matemtica ha demostrado que tal sistema de clculo perfecto "no es
posible" (vase el Teorema de Gdel).

[editar] El clculo lgico

Artculo principal:Clculo lgico

Entendemos aqu por clculo lgico, un algoritmo que permite cmoda y fcilmente inferir
o deducir un enunciado verdadero a partir de otro u otros que se tienen como vlidamente
verdaderos.
La inferencia o deduccin es una operacin lgica que consiste en obtener un enunciado
como conclusin a partir de otro(s) (premisas) mediante la aplicacin de reglas de
inferencia.15
Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de
verdad V, entonces, necesariamente, "T" tiene valor de verdad V.
Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo.
Partimos de enunciados empricos -supuestamente verdaderos y vlidos- para concluir en
otro enunciado que se deriva de aquellos, segn las leyes de la lgica natural.16

La lgica, como ciencia formal, se ocupa de analizar y sistematizar dichas leyes,

fundamentarlas y convertirlas en las reglas que permiten la transformacin de unos
enunciados -premisas- en otros -conclusiones- con objeto de convertir las operaciones en un
algoritmo riguroso y eficaz, que garantiza que dada la verdad de las premisas, la conclusin
es necesariamente verdadera.
Al aplicar las reglas de este clculo lgico a los enunciados que forman un argumento
mediante la simbolizacin adecuada de frmulas o Expresiones bien formadas (EBF)
construimos un modelo o sistema deductivo.

[editar] Sistematizacin de un clculo de deduccin natural

[editar] Reglas de formacin de frmulas
I. Una letra enunciativa (con o sin subndice) es una EBF.
II. Si A es una EBF, A tambin lo es.
III. Si A es una EBF y B tambin, entonces A
son.

B; A B; A

B; A

B, tambin lo

IV. Ninguna expresin es una frmula del Clculo sino en virtud de I,II,III.
Notas:

A, B,... con maysculas estn utilizadas como metalenguaje en el que cada

variable expresa cualquier proposicin, atmica (p,q,r,s....) o molecular
(p/\q), (p\/q)...

A, B,... son smbolos que significan variables; ,

smbolos constantes.

Existen diversas formas de simbolizacin. Utilizamos aqu la de uso ms

frecuente en Espaa.17

,,

, son

[editar] Reglas de transformacin de frmulas

1) Regla de sustitucin (R.T.1):
Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el resultado de
sustituir una, algunas o todas esas variables por expresiones bien formadas (EBF) del
clculo, ser tambin una tesis EBF del clculo. Y ello con una nica restriccin, si bien
muy importante: cada variable ha de ser sustituida siempre que aparece y siempre por el
mismo sustituto.
Veamos el ejemplo:

1
2

Transformacin
donde

; y donde
donde

O viceversa
1

Transformacin

2
3

donde
donde

; y donde

2) Regla de separacin (R.T.2):

Si X es una tesis EBF del sistema y lo es tambin X
sistema.

Y, entonces Y es una tesis EBF del

[editar] Esquemas de inferencia

Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la
forma:

lo que constituye un esquema de inferencia en el que una vez conocida la verdad de cada
una de las premisas A, B,...N y, por tanto, de su producto, podemos obtener la conclusin
Y con valor de verdad V, siempre y cuando dicho esquema de inferencia sea una ley lgica,
es decir su tabla de verdad nos muestre que es una tautologa.
Por la regla de separacin podremos concluir Y, de forma independiente como verdad.
Dada la poca operatividad de las tablas de verdad, el clculo se construye como una cadena
deductiva aplicando a las premisas o a los teoremas deducidos las leyes lgicas utilizadas
como reglas de transformacin, como se expone en clculo lgico.

[editar] Concepto de modelo

Cuando en un Clculo C, se establece una "correspondencia" de cada smbolo con

elementos determinados individuales distinguibles entre s, de un Universo L, real, (tal
universo L no es un conjunto vaco, por las mismas condiciones que hemos establecido)
ENTONCES se dice que L es un MODELO de C.
[editar] El lenguaje natural como modelo de un clculo lgico
Artculo principal:Clculo lgico

Naturalmente el clculo lgico es til porque puede tener aplicaciones, pero en qu

consisten o cmo se hacen tales aplicaciones?
Podemos considerar que el lenguaje natural es un modelo de C si podemos someterlo, es
decir, aplicarle una correspondencia en C.
Para ello es necesario someter al lenguaje natural a un proceso de formalizacin de tal
forma que podamos reducir las expresiones lingsticas del lenguaje natural a EBFs de un
clculo mediante reglas estrictas manteniendo el sentido de verdad lgica de dichas
expresiones del lenguaje natural. Esto es lo que se expone en clculo lgico.
Las diversas formas en que tratemos las expresiones lingsticas dan lugar a sistemas
diversos de formalizacin y clculo:

Clculo proposicional o clculo de enunciados

Cuando se toma la oracin simple significativa del lenguaje natural con posible
valor de verdad o falsedad como una proposicin atmica, como un todo sin
analizar.

La oracin simple: "Llueve", o "Las farolas se apagan por la noche" son consideradas como
posible valor de verdad o falsedad de una variable "p".

Clculo como lgica de clases

Cuando se toma la oracin simple significativa del lenguaje natural con posible
valor de verdad o falsedad como resultado del anlisis de la oracin como una
relacin de individuos o posibles individuos que pertenecen o no pertenecen a una
clase.
Siendo una clase el criterio, como una propiedad o una definicin, que permite
ordenar a todos los posibles individuos de un Universo determinado como
pertenecientes o no pertenecientes a dicha clase. La clase como propiedad o
definicin define al conjunto de posibles individuos, pero es independiente de la
existencia de dichos individuos; no se identifica con el conjunto de individuos.
Clase = Pegaso; Propiedad o definicin = Caballo con alas; Individuos = ninguno.
Esta es la forma en la que en la actualidad se interpreta la lgica silogstica de
Aristteles, que queda as se reducida a un clculo segn la lgica de clases.

La oracin simple "Todos los caballos corren por el campo" est analizada como: La clase
de todos los posibles seres que corren por el campo (B) incluye a la clase formada por todos
los posibles seres que sean caballos (A).

Clculo de predicados o cuantificacional

Cuando se toma la oracin simple significativa del lenguaje natural con posible
valor de verdad o falsedad como resultado del anlisis de la misma de forma que
una posible funcin predicativa (P), se predica de unos posibles sujetos variables (x)

[tomados en toda su posible extensin: (Todos los x); o referente a algunos indeterminados: (algunos
x)], o de una constante individual existente (a).
La oracin simple "los perros muerden" se formaliza de la siguiente manera:
Todos los posibles perros;
P = todas las posibles acciones de morder.
Para todo x (siendo x un perro) x muerde = Todos los perros muerden.
En el caso de Desko que es mi perro al que simbolizo como una constante a:
P(a) = Mi perro Desko muerde.

Clculo como lgica de relaciones

Cuando se toma la oracin simple significativa con posible valor de verdad propio,
verdado o falso, como resultado del anlisis de la oracin como una relacin "R"
que se establece entre un sujeto y un predicado.

As la oracin simple "Antonio es mayor que Pedro", se considera y simboliza bajo la

relacin "ser mayor que" (R) que se da entre Antonio (a) y Pedro (p) y se simboliza como

aRp.
La simbolizacin y formacin de EBFs en cada uno de esos clculos, as como las reglas de
clculo se trata en clculo lgico.

[editar] Clculos matemticos

[editar] Clculo aritmtico
Artculo principal:Aritmtica

Aritmtica es la rama de las matemticas que estudia ciertas operaciones de los nmeros y
sus propiedades elementales. Proviene del griego arithmos y techne que quieren decir
respectivamente nmeros y habilidad.
El nmero en aritmtica elemental tiene la consideracin de nmero natural referido, en el
campo de la experiencia, a la unidad, entendida bien como cantidad bien como medida.
De hecho el clculo ms natural y primitivo surge de la necesidad de contar y medir.18 Pero
las formas y modos para realizar el clculo han surgido segn las diversas formas de
sistemas de numeracin, as como su transcripcin grfica.

[editar] Algoritmos
Artculo principal:Algoritmo
[editar] Sistema numrico y sistema de numeracin

Artculo principal:Sistema numrico

Artculo principal:Sistema de numeracin

El sistema de numeracin decimal, considerado como universal en la utilizacin ms

corriente, es un sistema posicional con base en 10 elementos o cifras (0, 1, 2, 3, 4, 5, 6, 7, 8,
9),19 que adquieren un valor posicional a la hora de determinar el nmero.
Las posiciones se inician por la derecha: La primera indica las unidades; la segunda las
decenas; la tercera las centenas; la cuarta el millar; siendo cada cifra a la izquiera tantas
unidades de la potencia de 10 que corresponda al nmero de la posicin.20
El nmero 7452: Se lee: Siete mil cuatrocientos cincuenta y dos. Y consta de 7 unidades de
mil (7 unidades de millar; millar = 10), 4 de cien (4 unidades de centenas; centena = 10),
5 de 10 (5 unidades de decenas; decena = 10) y 2 unidades.
[editar] Operaciones bsicas del clculo: suma, resta, multiplicacin y divisin
Las cuatro operaciones suma, resta, multiplicacin y divisin son las operaciones bsicas
del clculo, sobre las cuales se construyen todas las dems. Es lo que se ensea en la
Escuela Primaria y se conoce como "Las cuatro reglas" y es considerado como la mnima
expresin de un conocimiento bsico.
Algoritmo de la Suma
Artculo principal:Suma

El algoritmo se construye a partir de unas tablas elementales. La operacin de suma

consiste en la unin de las unidades contenidas en dos nmeros, "sumandos", siendo el
resultado la "Suma". Las tablas se leen como "una y una dos".

Algoritmo de la resta
Artculo principal:Resta

El algoritmo se construye a partir de unas tablas elementales. La operacin de resta se

considera como la diferencia entre dos nmeros, uno mayor "Minuendo" y otro menor
"Sustraendo", siendo el resultado "Resta". Las tablas se leen como "de tres a cinco 2".
Algoritmo de la multiplicacin

Una multiplicacin de ejemplo

Artculo principal:Multiplicacin
La multiplicacin es una suma reiterativa de un mismo nmero, el "multiplicando", tantas
veces como unidades tenga otro nmero, el "multiplicador". El algoritmo se construye a
partir de unas tablas elementales. "Que se leen "una por una es 1"; "cinco por cuatro veinte"
etc.(vase el artculo Tabla de multiplicar)
Algoritmo de la divisin
Artculo principal:Divisin

La operacin se realiza entre dos nmeros, "dividendo" y "divisor", cuyo resultado expresa
cuntas veces se encuentra contenido el divisor en el dividendo. Equivale a medir el
dividendo tomando como unidad el divisor. El resultado se llama "cociente", y las unidades
no divisibles se denominan "resto". Operacionalmente consiste en ir restando
sucesivamente el divisor al dividendo hasta que finalmente quede un resto menor que el
divisor. El algoritmo se construye a partir de unas tablas elementales que se leen: "una entre
una a una".
[editar] Algoritmo de potencias y races

Algoritmo de la raz cuadrada

Potencias
Por potencia se entiende el resultado de multiplicar un mismo nmero, llamado "base",
tantas veces como indica un ndice o "exponente".
Se representa como bn, donde b es la base y n el exponente.
As:
El algoritmo de clculo de una potencia, aplicando las tablas de multiplicar sucesivamente
y su algoritmo no ofrecen problema alguno.
Races
Artculo principal:Formas de resolver la raz cuadrada

Mayor dificultad ofrece el clculo de races, exponiendo como caso elemental, el algoritmo
de la raz cuadrada.
La raz es la operacin inversa de la potencia. Se expresa
y n "raiz", y se trata de calcular un nmero y tal que y
hubiera, por no ser la raz exacta.

donde x se llama "radicando"

+ r = x siendo r un resto, si lo

Este algoritmo de clculo aritmtico est en desuso desde la introduccin de las

calculadoras electrnicas en el ambiente educativo.

[editar] Clculo algebraico

Artculo principal:lgebra elemental

[editar] Clculo infinitesimal: breve resea

El clculo infinitesimal, llamado por brevedad "clculo", tiene su origen en la antigua
geometra griega. Demcrito calcul el volumen de pirmides y conos considerndolos

formados por un nmero infinito de secciones de grosor infinitesimal (infinitamente

pequeo). Eudoxo y Arqumedes utilizaron el "mtodo de agotamiento" o exhaucin para
encontrar el rea de un crculo con la exactitud finita requerida mediante el uso de
polgonos regulares inscritos de cada vez mayor nmero de lados. En el periodo tardo de
Grecia, el neoplatnico Pappus de Alejandra hizo contribuciones sobresalientes en este
mbito. Sin embargo, las dificultades para trabajar con nmeros irracionales y las paradojas
de Zenn de Elea impidieron formular una teora sistemtica del clculo en el periodo
antiguo.
En el siglo XVII, Cavalieri y Torricelli ampliaron el uso de los infinitesimales, Descartes y
Fermat utilizaron el lgebra para encontrar el rea y las tangentes (integracin y Derivacin
en trminos modernos). Fermat y Barrow tenan la certeza de que ambos clculos estaban
relacionados, aunque fueron Newton (hacia 1660), en Inglaterra y Leibniz en Alemania
(hacia 1670) quienes demostraron que los problemas del rea y la tangente son inversos, lo
que se conoce como teorema fundamental del clculo.
El descubrimiento de Newton, a partir de su teora de la gravitacin universal, fue anterior
al de Leibniz, pero el retraso en su publicacin an provoca controversias sobre quin de
los dos fue el primero. Newton utiliz el clculo en mecnica en el marco de su tratado
"Principios matemticos de filosofa natural", obra cientfica por excelencia, llamando a su
mtodo de "fluxiones". Leibniz utiliz el clculo en el problema de la tangente a una curva
en un punto, como lmite de aproximaciones sucesivas, dando un carcter ms filosfico a
su discurso. Sin embargo, termin por adoptarse la notacin de Leibniz por su versatilidad.
En el siglo XVIII aument considerablemente el nmero de aplicaciones del clculo, pero
el uso impreciso de las cantidades infinitas e infinitesimales, as como la intuicin
geomtrica, causaban todava confusin y duda sobre sus fundamentos. De hecho, la nocin
de lmite, central en el estudio del clculo, era aun vaga e imprecisa en ese entonces. Uno
de sus crticos ms notables fue el filsofo George Berkeley.
En el siglo XIX el trabajo de los analistas matemticos sustituyeron esas vaguedades por
fundamentos slidos basados en cantidades finitas: Bolzano y Cauchy definieron con
precisin los conceptos de lmite en trminos de psilon_delta y de derivada, Cauchy y
Riemann hicieron lo propio con las integrales, y Dedekind y Weierstrass con los nmeros
reales. Fue el periodo de la fundamentacin del clculo. Por ejemplo, se supo que las
funciones diferenciables son continuas y que las funciones continuas son integrables,
aunque los recprocos son falsos. En el siglo XX, el anlisis no convencional, legitim el
uso de los infinitesimales, al mismo tiempo que la aparicin de las Computadoras ha
incrementado las aplicaciones y velocidad del clculo.
Actualmente, el clculo infinitesimal tiene un doble aspecto: por un lado, se ha consolidado
su carcter disciplinario en la formacin de la sociedad culta del conocimiento, destacando
en este mbito textos propios de la disciplina como el de Louis Leithold, el de Earl W.
Swokowski o el de James Stewart entre muchos otros; por otro su desarrollo como
disciplina cientfica que ha desembocado en mbitos tan especializados como el clculo
fraccional, la teora de funciones analticas de variable compleja o el anlisis matemtico.
El xito del clculo ha sido extendido con el tiempo a las ecuaciones diferenciales, al

clculo de vectores, al clculo de variaciones, al anlisis complejo y a las topologa

algebraica y topologa diferencial entre muchas otras ramas.
El desarrollo y uso del clculo ha tenido efectos muy importantes en casi todas las reas de
la vida moderna: es fundamento para el clculo numrico aplicado en casi todos los campos
tcnicos y/o cientficos cuya principal caracterstica es la continuidad de sus elementos, en
especial en la fsica. Prcticamente todos los desarrollos tcnicos modernos como la
construccin, aviacin, transporte, meteorologa, etc. hacen uso del clculo. Muchas
frmulas algebraicas se usan hoy en da en balstica, calefaccin, refrigeracin, etc.
Como complemento del clculo, en relacin a sistemas tericos o fsicos cuyos elementos
carecen de continuidad, se ha desarrollado una rama especial conocida como Matemtica
discreta.

[editar] Vase tambin

Clculo lgico

algoritmo de Euclides

Lenguaje formalizado

Lenguaje formal

Lgica proposicional

Lgica de primer orden

Sistema formal

Silogismo

Cifra (matemtica)

Puerta lgica

Tabla de valores de verdad

Calculista

Teora de conjuntos

Historia del hardware de computador

Regla de clculo

Sistema de numeracin

Teora de nmeros

Matemticas en el Antiguo Egipto

Numeracin egipcia

Numeracin griega

Numeracin romana

acarreo

Potenciacin

Radicacin

Logaritmacin

lgebra

[editar] Referencias
1. La palabra castellana clculo se deriva del latncalculus que significa piedra, ya
que se utilizaban guijarros para auxiliarse en la resolucin de los problemas de
clculo aritmtico, para contar y realizar las operaciones aritmticas elementales. En
medicina las piedras de la vescula o del rin se llaman clculos
2. La palabra algoritmo se introdujo en matemticas en honor a este matemtico
rabe.
3. Muy interesante la descripcin de este proceso en Cifra (matemtica)
4. Ver lgica emprica
5. Sacrobosco, Algoritmos 1488; Georg von Peurbach, Algorithmus, 1492; Luca
Pacioli; Summa de Arithmeticaproportioni et porportionalita, 1494. Muy
interesante y divertida exposicin de esta guerra en Cifra (matemtica)
6. Sombart W.: El burgus:Contribucin a la historia espiritual del hombre
econmico moderno. 1979. Madrid. Alianza

7. La brjula y las grandes rutas martimas, con el descubrimiento de Amrica; la

transformacin de la guerra por la aplicacin de la plvora, que suscita el inters por
el estudio del movimiento de los proyectiles Tartaglia;la aceptacin del prstamo
con inters y la creacin de las sociedades por acciones que iniciaron el primer gran
capitalismo; la nuevas tablas astronmicas sustituyendo las tablas alfonsinas
(TychoBrahe); y el copernicanismo que rompe la imagen medieval del mundo
8. Que llega a concebir el mundo como racional sometido a una mathesis universal,
la extensin, que convierte el mundo material en un inmenso mecanismo, teora
mecanicista, perfectamente calculable segn un orden matemtico que surge del
anlisis concebido como mtodo de investigacin.
9. Clculo de cnicas, estudio mecnico de las presiones, principio de Pascal de
enorme importancia en la hidroesttica, y finalmente en el clculo de
probabilidades.
10. Con su famosa polmica acerca de la invencin del clculo infinitesimal de tanta
importancia y que parece comprobado ser producto independiente de cada uno de
ellos
11. Clculo de movimientos como el de cada libre de los graves, Galileo,; trayectoria
de los planetas, Kepler; trayectoria de proyectiles para la artillera; medidas
astronmicas y geogrficas; presiones, Torricelli y Pascal; y todas las aplicaciones
prcticas de estos clculos para la prctica de la navegacin y la naciente industria:
bombas de vaco, prensa hidrulica, electricidad, magnetismo etc.
12. Vase en Lgica emprica su aplicacin por Galileo al movimiento de cada libre
de los graves.
13. El modelo de Newton se basa en una geometra analtica espacial de tres
dimensiones inmutables como espacio absoluto y una sucesin constante e
inmutable en una direccin de tiempo absoluto en los que una infinidad de
partculas materiales masas se mueven segn un principio universal la Gravitacin
Universal
, y unas leyes dinmicas que rigen el movimiento:
Principio de inercia; Principio de accin y reaccin; y Principio fundamental de la
dinmica, f = m * a
14. La Lgica de Aristteles se mantuvo prcticamente como tal a lo largo de los
siglos. Kant, a finales del siglo XVIII, opinaba que la Lgica aristotlica no haba
sufrido modificaciones sustanciales durante tanto tiempo por tratarse de una ciencia
formal, a priori y analtica, y consideraba que haba dado de s todo lo que poda
ofrecer
15. La deduccin suele definirse como una inferencia en la que a partir de verdades
universales se concluye verdades particulares. Este criterio no se acomoda bien a la

lgica actual, pues se prefiere la idea de inferencia como transformacin conforme

las reglas establecidas; en cualquier caso dichas reglas, que necesariamente se basan
en tautologas, pueden considerarse como principios universales o generales, sobre
los cuales se construye una deduccin; por ello la distincin no deja de ser una
matizacin tcnica de poca importancia.
16. La habilidad peculiar del Sr.Holmes
17. Desgraciadamente la representacin grfica de los smbolos no est normalizada,
lo que lleva a veces a ciertas dificultades de interpretacin.
18. ..."La aritmtica no es, como tampoco, la geometra, una promocin natural de
una razn inmutable. La Aritmtica no est fundada en la razn. Es la doctrina de la
razn la que est fundada en la aritmtica elemental. Antes de saber contar apenas
sabamos qu era la razn. En general, el espritu debe plegarse a las condiciones
del saber. Bachelard. Filosofa del No
19. La grafa es normalmente aceptada como numeracin arbiga, introducida en
occidente en sustitucin de la antigua numeracin romana no posicional, que
dificultaba enormemente los clculos
20. Por lo que el 0 a la izquierda no significa nada.

[editar] Bibliografa

MITCHELL, D. (1968). INTRODUCCIN A LA LGICA. BARCELONA:

EDITORIAL LABOR.

DEAO, ALFREDO (1974). INTRODUCCIN A LA LGICA FORMAL.

MADRID: ALIANZA EDITORIAL. ISBN 84-206-2064-5.

QUINE, W.V. (1981). FILOSOFA DE LA LGICA. MADRID: ALIANZA

EDITORIAL. ISBN 84-206-2043-2.

COPI, IRVING M. (1982). LGICA SIMBLICA. MEXICO 22 D.F: EDITORIAL

CONTINENTAL S.A. DE C.V..ISBN 968-26-0134-7.

GARRIDO, M. (1974). LGICA SIMBLICA. MADRID. EDITORIAL TECNOS

S.A..ISBN 84-309-0537-5.

Trueta i Raspall, J. etalii. (1977). Historia de la Ciencia. I.

BARCELONA.ED.PLANETA. 84-320-0841-9.

BERGAD, D. (1979). La matemtica renacentista. Historia de la Ciencia.

BARCELONA.ED.PLANETA. 84-320-0842-7.

PERELL I VALLS, C. (1979). El clculo en los siglos XVII y XVIII. Historia de

la Ciencia. BARCELONA.ED.PLANETA. 84-320-0842-7.

HONDERICH, T. (Editor) (2001). Enciclopedia Oxford de Filosofa. Trd. Carmen

Garca Trevijano. Madrid. Editorial Tecnos. 84-309-3699-2001.

NAVARRO, C. Y NADAL, B. (1982). Aspectos de la Matemtica en el siglo XX.

Historia de la Ciencia. BARCELONA.ED.PLANETA. 81-320-0840-0.

BUNGE, M. (1972). Teora y realidad. Barcelona. Ariel.

STEWART I. (1977). Conceptos de matemtica moderna. Madrid. Alianza

Universidad. 84-206-2187-0.

BLACKBURN, S. (2001). Enciclopedia Oxford de Filosofa. Madrid. Editorial

Tecnos. 84-309-3699-2001.

Tablas de Aritmtica. Ed.EDIVAS S.L. Ref. 25. Zamudio. Espaa.

[editar] Enlaces externos

CIVILIZACIONES ANTIGUAS
En este momento de la historia, la Civilizacin Egipcia, llevaba la pauta con el avance en sus
conocimientos matemticos. Segn varios papiros escritos en esa poca, los egipcios
inventaron el primer sistema de numeracin, basado en la implementacin de jeroglficos. El
sistema de numeracin egipcio, se basaba en sustituir los nmeros clave (1, 10, 100...), con
figuras (palos, lazos, figuras humanas...), los dems nmeros eran escritos por la superposicin
de estas mismas figuras, pero en clave. Este sistema es la pauta para lo que hoy conocemos
como el sistema romano.
Otras civilizaciones importantes en la historia, como la babilnica, crearon otros sistemas de
numeracin. En la Antigua Babilonia, la solucin al problema de contar los objetos, se vio
resuelto con la implementacin de un mtodo sexagesimal. Este mtodo tenia la particularidad
de escribir un mismo signo como la representacin de varios nmeros diferenciados por el
enunciado del problema.
Civilizaciones como la China Antigua, y la India Antigua, utilizaron un sistema decimal
jeroglfico, con la cualidad de que estas implementaron el nmero cero.
Los avances obtenidos desde que cada cultura implemento su sistema numrico, an son
utilizados actualmente. El avance algebraico de los egipcios, dio como resultado la resolucin a
ecuaciones de tipo
. La correcta implementacin de la regla aritmtica de clculo,
por parte de los Indios, aumento el conocimiento matemtico, y la creacin de los nmeros
irracionales, a dems que ayud a la resolucin de sistemas de ecuaciones de la forma
.

En la Antigua Mesopotamia, se introduce el concepto de nmero inverso, a dems de las

soluciones a distintos problemas logartmicos, e incluso lograron la solucin a sistemas de
ecuaciones de la forma
,y
. Su avance fue tal que crearon algoritmos
para el calculo de sumas de progresiones. Y en geometra, se cree que conocan el teorema de
Pitgoras, aunque no como un teorema general.
China sin duda tubo que ver en gran medida en el avance matemtico. Su aporte principal se
basaba en la creacin del "mtodo del elemento celeste", desarrollado por ChouShiHi, con el
cual era posible la resolucin de races enteras y racionales, e incluso aproximaciones
decimales para ecuaciones de la forma Pn(x)=a4x4+a3x3+a2x2+a1x+ao.
MATEMTICAS EN GRECIA
Sin embargo las matemticas obtuvieron su mayor aporte de la cultura Greco Romana. Fue en
Grecia, don de se hizo popular la creacin de escuelas, en donde los grandes pensadores de la
poca daban resolucin a los problemas ms populares de geometra, lgebra, y trigonometra.
Los aportes de esta cultura a las matemticas son de enorme magnitud. Por ejemplo en el
campo de la geometra, se dio la demostracin del teorema de Pitgoras, a dems que fue
hallado el mtodo para conseguir la serie indefinida de ternas de nmeros pitagricos, que
satisfacen la ecuacin
. Incluso se trabaj enormemente en la resolucin y
demostracin de distintos problemas, como en la triseccin de un ngulo, y en la cuadratura de
reas acotadas por una curva. Esto conllev a al avance en l calculo del nmero pi y a la
creacin del mtodo de exaucin (predecesor del clculo de limites), creado por Euxodo.
El avance que obtuvieron los griegos en cuanto al lgebra y la geometra, los llev a la
constriccin de una nueva rama de las matemticas, llamada, lgebra geomtrica. Esta nueva
rama inclua entre otros conceptos el mtodo de anexin de reas, el conjunto de proposiciones
geomtricas que interpretaban las cantidades algebraicas, y la expresin de la arista de un
poliedro regular a travs del dimetro de la circunferencia circunscrita.
En Grecia, no se hicieron esperar los problemas que implicaban la construccin de lmites, por
lo que en su poca, Demcrito y otros grandes pensadores intentan darles respuesta con la
unificacin de las matemticas y la teora filosfica atomicista. Considerando de esta forma la
primera concepcin del mtodo del lmite.
El inters que produjeron las matemticas en Grecia, hace que se considere como la cuna de
esta ciencia. Por lo cual se bautiz a la poca comprendida de los aos 300 a.c y 200 a.c, como
la edad de oro de las matemticas.
Despus de esta poca, Grecia deja de ser el centro evolutivo de las matemticas, conflictos
sociales y polticos que se vivan en esa poca alejan a Grecia de esta ciencia. Por esta situacin
otro imperio toma las riendas de los avances matemticos.
MATEMTICAS EN LA CULTURA RABE
Los rabes, que en esos momentos vivan un momento de expansin, no slo territorial sino
intelectual, en poco tiempo logran descifrar ms conocimientos de esta materia. La historia de
las matemticas en Los pueblos rabes comienza a partir del siglo VIII.

El imperio musulmn fue el primero en comenzar este desarrollo, intentando traducir todos los
textos Griegos al rabe. Por lo que se crean gran cantidad de escuelas de gran importancia, en
donde se traducen libros como el Brahmagupta, en donde se explicaba de forma detallada el
sistema de numeracin hind, sistema que luego fue conocido como "el de Al-Khowarizmi",
que por deformaciones lingsticas termin como "algoritmo".
Los avances obtenidos en esta poca, enmarcan al concepto del lmite, la introduccin de los
nmeros racionales e irracionales, especialmente los reales positivos, y el desarrollo en la
trigonometra, en donde se construyeron tablas trigonomtricas de alta exactitud.
RENACIMIENTO Y MATEMTICAS MODERNAS
La siguiente poca importante en la historia de las matemticas esta comprendida en la poca
del renacimiento. En este momento de la historia es cuando aparece el cercano oriente como
conocedor de las matemticas. Aunque la historia de las matemticas en el cercano oriente, no
es tan antigua como en el lejano oriente, su aporte es de gran magnitud, especialmente con la
aparicin de gran cantidad de obras escritas por los grandes matemticos de la poca.
Es de destacar la obra de Leonardo de Pissa, titulada LiberAbaci, en donde se explicaba de una
forma clara el uso del baco y el sistema de numeracin posicional. Igualmente entre otras
obras importantes, se puede mencionar l practicaGeometrie, en donde se resolvan
problemas geomtricos, especialmente los de calculo de reas de polgonos.
Uno de los grandes aportes de esta cultura se obtuvo en la introduccin de los exponentes
fraccionarios y el concepto de nmeros radicales, a dems se estableci un sistema nico de
nmeros algebraicos, con lo que se izo posible expresar ecuaciones en forma general.
Despus de esta larga evolucin, las matemticas entraron en el siglo XIX, en donde se
postularon los fundamentos de las matemticas modernas.
Avances en la resolucin de ecuaciones y en lo que hoy se conoce como calculo, hicieron de esta
poca la de mayor riqueza para esta ciencia.
Entre los grandes desarrollos de esta poca se puede mencionar, la resolucin de ecuaciones
algebraicas radicales, el desarrollo del concepto de grupo, avances en los fundamentos de la
geometra hiperblica no euclidiana, a dems de la realizacin una muy profunda
reconstruccin sobre la base de la creada teora de lmites y la teora del nmero real.
Se separaron crearon varias ramas de las matemticas en ecuaciones diferenciales, la teora de
funciones de variable real y la teora de funciones de variable compleja.
En el mbito de la teoria de los conjuntos, se compuso una serie de teoras altamente
desarrolladas: los grupos finitos, los grupos discretos infinitos, los grupos continuos, entre ellos
los grupos de Lie. Durante los aos 1879 a 1884 se elaboraron de forma sistemtica la teora de
conjuntos, introduciendo el concepto de potencia de un conjunto, el concepto de punto lmite,
de conjunto derivado. La teora general de las potencias de conjuntos, las transformaciones y
operaciones sobre conjuntos y las propiedades de los conjuntos ordenados constituyeron
fundamentalmente la teora abstracta de conjuntos
En relacin con el anlisis matemtico en este siglo, se fundamento en un conjunto de
procedimientos y mtodos de solucin de numerosos problemas que creca rpidamente. Todos
estos mtodos aun podan dividirse en tres grandes grupos, constituidos en el clculo
diferencial, el clculo integral y la teora de ecuaciones diferenciales. Con estos fundamentos se

lleg a lo que se conoce como teora de lmites y de funciones, que fueron el tema central en
este siglo.
Bernard Bolzano, fue el pionero en el anlisis de funciones, en sus trabajos estudio del criterio
de convergencia de sucesiones y dio una definicin rigurosa de continuidad de funciones.
Estudi profundamente las propiedades de las funciones continuas y demostr en relacin con
stas una serie de notables teoremas, destacando el denominado teorema de Bolzano: una
funcin continua toma todos los valores comprendidos entre su mximo y su mnimo.
Tambin ampli la clase de curvas continuas, aplicando el mtodo de acumulacin de
singularidades y obtuvo, entre otras funciones originales, la funcin que no tiene derivada en
ningn punto y conocida actualmente como funcin de Bolzano
Otro de los grandes avances obtenidos en esta poca, fue la introduccin de la variable
compleja, con ella se pudieron resolver los clculos de integrales, lo que ejerci una grandsima
influencia sobre el desarrollo de la teora de funciones de variable compleja. Matemticos como
Laplace acudieron a la interpretacin en variable compleja, con lo que fue desarrollando el
mtodo de resolucin de ecuaciones lineales diferenciales.
Ya e el siglo VII, es cuando se hacen populares la construccin de academias reconocidas en
mbito de las matemticas, como la Academia de Londres y Pars. En este siglo es cuando
comienzan todas las disciplinas matemticas actuales, como la geometra analtica, los mtodos
diferenciales e infinitesimales, y el clculo de probabilidades.
Alrededor del ao 1636 Apolonio comienza sus estudios en geometra analtica, descubriendo el
principio fundamental de la geometra analtica: "siempre que en una ecuacin final aparezcan
dos incgnitas, tenemos un lugar geomtrico, al describir el extremo de uno de ellos una lnea,
recta o curva".
Con esto despus formulo e identific las expresiones xy=k2; a2+x2=ky; x2+y2+2ax+2by=c2;
a2-x2=ky2 como la hiprbola, parbola, circunferencia y elipse respectivamente. Para el caso
de ecuaciones cuadrticas ms generales, en las que aparecen varios trminos de segundo
grado, aplicaron rotaciones de los ejes con objeto de reducirlas a los trminos anteriores.
A nivel de los mtodos integrales, la mayor fama la adquiri la geometra de los indivisibles,
creada por Cavalieri, pensado como un mtodo universal de la geometra. Este mtodo fue
creado para la determinacin de las medidas de las figuras planas y cuerpos, los cuales se
representaban como elementos compuestos de elementos de dimensin menor. As, las figuras
constan de segmentos de rectas paralelas y los cuerpos de planos paralelos. Sin embargo, este
mtodo era incapaz de medir longitudes de curvas, ya que los correspondientes indivisibles (los
puntos) eran adimensionales. Pese a ello, la integracin definida en forma de cuadraturas
geomtricas, adquiri fama en la primera mitad del siglo XVII, debido a la gran cantidad de
problemas que podan resolver.
En el transcurso de este siglo los problemas diferenciales, aun se resolvan por los mtodos ms
diversos, Hacia mediados del siglo XVII se acumul una reserva lo suficientemente grande de
recursos de resolucin de estos problemas, actualmente resolubles mediante le diferenciacin.
La aparicin del anlisis infinitesimal fue la culminacin de un largo proceso, cuya esencia
matemtica interna consisti en la acumulacin y asimilacin terica de los elementos del
clculo diferencial e integral y la teora de las series. Para el desarrollo de este proceso se
contaba con: el lgebra; las tcnicas de clculo; introduccin a las matemticas variables; el

mtodo de coordenadas; ideas infinitesimales clsicas, especialmente de Arqumedes;

problemas de cuadraturas; bsqueda de tangentes... Las causas que motivaron este proceso
fueron, en primer trmino, las exigencias de la mecnica, la astronoma y la fsica. En la
resolucin de problemas de este gnero, en la bsqueda de problemas generales de resolucin y
en la creacin del anlisis infinitesimal tomaron parte muchos cientficos: Kepler, Galileo,
Cavalieri, Torricelli, Pascal, Walis, Roberval, Fermat, Descartes, Barrow, Newton, Leibniz, y
Euler.
El concepto de Calculo y sus ramificaciones se introdujo en el siglo XVIII, con el gran
desarrollo que obtuvo el anlisis matemtico, creando ramas como el calculo diferencial,
integral y de variaciones.
El clculo diferencial fue desarrollado por los trabajos de Fermat, Barrow, Wallis y Newton
entre otros. As en 1711 Newton introdujo la frmula de interpolacin de diferencias finitas de
una funcin f(x); frmula extendida por Taylor al caso de infinitos trminos bajo ciertas
restricciones, utilizando de forma paralela el clculo diferencial y el clculo en diferencias
finitas. El aparato fundamental del clculo diferencial era el desarrollo de funciones en series
de potencias, especialmente a partir del teorema de Taylor, desarrollndose casi todas las
funciones conocidas por los matemticos de la poca. Pero pronto surgi el problema de la
convergencia de la serie, que se resolvi en parte con la introduccin de trminos residuales, as
como con la transformacin de series en otras que fuesen convergentes. Junto a las series de
potencias se incluyeron nuevos tipos de desarrollos de funciones, como son los desarrollos en
series asintticas introducidos por Stirling y Euler. La acumulacin de resultados del clculo
diferencial transcurri rpidamente, acumulando casi todos los resultados que caracterizan su
estructura actual
Introducir el calculo integral, se logro con el estudio de J.Bernoulli, quien escribi el primer
curso sistemtico de clculo integral en 1742. Sin embargo, fue Euler quien llev la integracin
hasta sus ltimas consecuencias, de tal forma que los mtodos de integracin indefinida
alcanzaron prcticamente su nivel actual. El clculo de integrales de tipos especiales ya a
comienzos de siglo, conllev el descubrimiento de una serie de resultados de la teora de las
funciones especiales. Como las funciones gamma y beta, el logaritmo integral o las funciones
elpticas.
Este es el desarrollo las matemticas han obtenido desde que el hombre vi la necesidad de
contar, hasta nuestros das. Actualmente gran cantidad de matemticos siguen en el desarrollo
de las matemticas denominadas matemticas modernas, de donde sus conceptos son la base
de la mayor parte de las ciencias actuales.
CONCLUSIONES

La historia del clculo, comienza desde que comenz la historia del hombre, cuando
este vio la necesidad de contar

Han sido muchos los grandes matemticos que han influido en el desarrollo que
actualmente posee el calculo, igualmente que han sido muchas las culturas que han influido
en sus avances

Las matemticas, actualmente son la base de todas las ciencias que maneja el hombre,
debido a que su campo de accin cubre la totalidad de los conocimientos cientficos.

BIBLIOGRAFA

LGEBRA, Dr Aurelio Baldor, ed. Cultura Centroamericana S.A.

Matemtica Constructiva 6, Gustavo Centeno, ed. Libros y Libres

http://almez.pntic.mec.es (PGINA RECOMENDADA)

Solucin de los numerales pares de los Ejercicios 4.10: "Aplicaciones de la

derivada a la economa" de El Clculo Con Geometra Analtica - cuarta
edicin - de Louis Leithold:2- 4 - 6 - 8 - 10 - 12 - 14 - 16 - 18 - 20 - 22 - 24 26 - 28 - 30

Soluciones

Aplicaciones en fsica

Soluciones

Funcin continua
De Wikipedia, la enciclopedia libre
Saltar a navegacin, bsqueda
En matemticas, una funcincontinua es aquella para la cual, intuitivamente, para puntos
cercanos del dominio se producen pequeas variaciones en los valores de la funcin. Si la
funcin no es continua, se dice que es discontinua. Generalmente una funcin continua es
aquella cuya grfica puede dibujarse sin levantar el lpiz del papel.
La continuidad de funciones es uno de los conceptos principales de la topologa. El artculo
describe principalmente la continuidad de funciones reales de una variable real.

Contenido
[ocultar]

1 Funciones reales de una variable real

o 1.1 Continuidad de una funcin en un punto
o 1.2 Continuidad lateral
o 1.3 Continuidad de una funcin en un intervalo {a;b}
o 1.4 Algunas funciones continuas importantes

1.4.1 Funciones definidas por intervalos

1.4.2 Funcin racional

o 1.5 Teoremas sobre funciones continuas

o 1.6 Derivada y continuidad

1.6.1 Clase de continuidad

2 Funciones continuas en espacios topolgicos

3 Vase tambin

[editar] Funciones reales de una variable real

Informalmente hablando, una funcin f definida sobre un intervaloI es continua si la curva

que la representa, es decir el conjunto de los puntos (x, f(x)), con x en I, est constituida por
un trazo continuo, es decir un trazo que no est roto, ni tiene "hoyos" ni "saltos", como en
la figura de la derecha.
El intervalo I de x es el dominio de definicin de f, definido como el conjunto de los
valores de x para los cuales f(x) existe.
El intervalo J de y es el rango (tambin conocido como imagen) de f, el conjunto de los
valores de y, tomados como y = f(x). Se escribe J = f(I). Notar que en general, no es igual
que el codominio (slo es igual si la funcin en cuestin es suprayectiva.)

El mayor elemento de J' se llama elmximo absoluto de f en I, y el menor valor de J es su

mnimo absoluto en el dominio I.

[editar] Continuidad de una funcin en un punto

Definicin de continuidad en un punto

Una funcin f es continua en un punto Xo en el dominio de la funcin
si:

tal que para toda x en el dominio de la funcin:

Otra manera ms simple:

Si xo es punto de acumulacin del dominio de la funcin entonces f es continua en xo
si y slo si
. Cuando xo no es de acumulacin del dominio, la
funcin es continua en ese punto.
En el caso de aplicaciones de en , y de una manera ms rigurosa se dice que una
funcin f es continua en un punto x1 si existe f(x1), si existe el lmite de f(x) cuando x tiende
hacia x1 por la derecha, si existe el lmite de f(x) cuando x tiende hacia x1 por la izquierda, y
adems ambos coinciden con f(x1).

As pues, una funcin f continua en el punto x1 implica lo siguiente:

1. existe el lmite por la derecha:

2. existe el lmite por la izquierda:

3. La funcin tiene limite por la derecha y por la izquierda del punto x1

4. El lmite por la derecha, el lmite por la izquierda coinciden:

5. Si existen el limite por la derecha y por la izquierda y sus valores coinciden, la funcin
tiene limite en este punto:

6. Existe f(x1):

7. El lmite y el valor de la funcin coinciden:

La funcin es continua en ese punto. Una funcin es continua en un intervalo si es continua

en todos sus puntos.

Si f(x1)= y1, la continuidad en x1 se expresa as:

parafraseando, cuando x se aproxima a x1, f(x) se aproxima a y1'. Por definicin de los
lmites, esto significa que para todo intervalo abierto J, centrado en y1, existe un intervalo
abierto I, centrado en x1, tal que

Si f ejecuta un salto en el punto, el teorema cae en falta. En efecto no todo intervalo I

alrededor de x1 tiene su imagen en un intervalo J centrado en y1, con un radio inferior al
salto de f, no importa lo pequeo que este intervalo sea, hay valores de x del intervalo I
alrededor de x1 que tiene su imagen en un intervalo K centrado en y2, siendo y1 y y2 valores
distintos, esto es: x tiene imgenes que se salen de J.
La ventaja de esta definicin es que se generaliza a cualquier espacio topolgico.

[editar] Continuidad lateral

Una funcin f es continua por la izquierda en el punto x = x1 si el lmite lateral por la

izquierda y el valor de la funcin en el punto son iguales. Es decir:

como en la figura.
Una funcin f es continua por la derecha en el punto x = x1 si su lmite lateral por la
derecha y el valor de la funcin en el punto son iguales. Es decir:

Una funcin f es continua en un punto si es continua por la izquierda y es continua por

la derecha. Esto es:

[editar] Continuidad de una funcin en un intervalo {a;b}

Una funcin, f es continua en un intervalo I, si y solo si la funcin es continua en todos los
puntos del intervalo, es decir:
f es continua en un intervalo I
Dado que una funcin f es continua en un intervalo abierto (a, b) si la funcin es continua
en todos los puntos del intervalo, entonces f es continua en el intervalo cerrado [a, b] si y
solo si es continua en el intervalo (a, b) y adems es continua en el punto a por la derecha y
en el punto b por la izquierda.
La funcin anterior es continua tanto en [-6, 1) como en (1, 6].

[editar] Algunas funciones continuas importantes

Funciones seno y coseno.

Las funciones polinomiales, trigonomtricas: seno y coseno, las exponenciales y los
logaritmos son continuas en sus respectivos dominios de definicin.
La parbola, como funcin polinmica, es un ejemplo de funcin continua a lo largo de
todo el dominio real.
En la grfica se ve la funcin seno que es peridica, acotada y continua en todo el domino
real, dado su carcter peridico, con ver uno solo de los ciclos es suficiente para comprobar
la continuidad, porque el resto de los ciclos son exactamente iguales.
[editar] Funciones definidas por intervalos

Artculo principal:Funcin definida a trozos

Las funciones definidas para distintos intervalos de x, puede ser discontinua en los puntos
de cambio de intervalo, como por ejemplo:

La Funcin parte entera de x, E(x), donde E(x) es el mayor nmero entero inferior o
igual a x, tal que:
E(x) x< E(x) + 1.

Su curva es una sucesin de segmentos horizontales a distintas alturas. Esta funcin no es

continua en los enteros, pues los lmites a la izquierda y a la derecha difieren de uno, pero
es continua en los segmentos abiertos (n, n+1) donde es constante.

Otras funciones definidas por intervalos son:

Funcin escaln unitario
Funcin signo

[editar] Funcin racional

Artculo principal:funcin racional

Las funciones racionales son continuas en un intervalo adecuado. Un ejemplo de esto es la

funcin inverso de x:

Esta funcin es una hiprbola compuesta por dos tramos. x< 0 y x> 0. Como vemos,
efectivamente es continua en todo el dominio
porque no est
definida en x= 0. Si se extiende el dominio de la funcin a R (dndole un valor arbitrario a

f(0)) la funcin ser discontinua.

[editar] Teoremas sobre funciones continuas

Estos son algunos de los teoremas ms importantes sobre funciones continuas.
1. Teorema de Weierstrass: Si f es continua en [a,b] entonces presenta mximos y
mnimos absolutos.
2. Teorema de Bolzano: Si f es continua en [a,b] y f(a) > 0 y f(b) < 0, entonces
tal que f(c) = 0
3. Teorema del valor intermedio: Si f es continua en [a,b] y f(a) <k<f(b) entonces
tal que f(c) = k

[editar] Derivada y continuidad

Las funciones derivables son continuas. Si una funcin es derivable en x= a entonces es
continua en x= a.
[mostrar]Demostracin

Es importante notar que el recproco no es vlido; es decir que nada se puede afirmar sobre
la derivabilidad de una funcin continua. Un ejemplo claro de esta situacin es la funcin
valor absolutof(x)= |x| que si bien es continua en todo su dominio no es derivable en x= 0.
Incluso hay funciones continuas en todo pero no derivables en ningn punto (las
funciones del movimiento browniano verifican esto con probabilidad 1).
[editar] Clase de continuidad
Una funcin

de clase
orden

, se dice:
si est definida en todo el dominio junto con sus derivadas hasta
y todas ellas son continuas.

Una funcin continua aunque no diferenciable en todo el domino, se dice que es de

clase

Una funcin es de clase

si tiene derivadas continuas de cualquier orden.
Aunque muchas s lo son, no toda funcin de este tipo es analtica.

Una funcin es de clase

de una funcin de clase

si es la derivada en el sentido de las distribuciones

.

Una funcin generalizada se dice de clase

si es la derivada k-sima en el

sentido de las distribuciones de una funcin de clase

[editar] Funciones continuas en espacios topolgicos

Sean (X,TX) e (Y,TY) dos espacios topolgicos. Una aplicacin
continua si:

se dice que es

f 1(G) es un abierto de X,
cualquiera que sea el abierto G de Y.
Con la misma notacin, si
, diremos que f es continua en x cuando se obtiene que f
1
(V) es un entorno de x, cualquiera que sea el entorno V de f(x).
Es "inmediato" entonces comprobar que f es continua si y solo si es continua en
cualquiera que sea ste, es decir, cuando sea continua en cada uno de los puntos de su
dominio.

Funciones Discontinuas
partner-pub-8555 ISO-8859-1
w w w .mitecnolog

Buscar

w w w .mitecnolog

Las funciones discontinuas son aquellas que en algn punto de su dominio, el lmite por
ambos lados del punto es distinto. De manera ms vulgar, son aquellas funciones que estn
cortadas, y que cuando uno las dibuja, tiene que levantar el lpiz. Cabe notar que existen
varias funciones en las cuales se tiende a pensar en un comienzo que son discontinuas, pero
lo que ocurre es que el punto que se evala no pertenece al dominio de la funcin. Un
ejemplo de esto es la siguiente funcin
f(x)=(x+2)/(x-3)

Comnmente se cree que la funcin no es continua en x=3, pero en realidad el 3 no

pertenece al dominio de la funcin.

Sucesin matemtica
De Wikipedia, la enciclopedia libre
Saltar a navegacin, bsqueda
Se ha sugerido que Secuencia (matemticas) sea fusionado en este artculo o
seccin. (Discusin).
Una vez que hayas realizado la fusin de artculos, pide la fusin de historiales en WP:TAB/F.

Este artculo o seccin sobre matemticas necesita ser wikificado con un

formato acorde a las convenciones de estilo.
Por favor, edtalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 24 de marzo
de 2011.
Tambin puedes ayudar wikificando otros artculos.

En terminologa matemtica se incluye sucesin para designar la existencia de elementos

encadenados o sucesivos.
Se excluye totalmente la sinonimia con el trmino serie.
En textos acadmicos se suele llamar simplemente sucesin con el bien entendido que todas
son del mismo tipo. Esto no impide la existencia de sucesiones de diversas entidades
matemticas.
Cuando abundan sucesiones de todo tipo se puede cambiar incluso el nombre de sucesin
por otro.
Vase secuencia, tupla, coleccin, familia y conjuntos en matemticas.

Contenido
[ocultar]

1 Definiciones
o 1.1 Definicin abstracta
o 1.2 Definicin conjuntista
o 1.3 Notacin

o 1.4 Definicin de trmino general

o 1.5 Definicin de parcial

2 Ejemplos en distintas reas

o 2.1 En
o 2.2 En el espacio de las sucesiones finitas en
o 2.3 En K[x]
o 2.4 En
o 2.5 En un espacio vectorial topolgico
o 2.6 Sucesiones funcionales
o 2.7 En el lenguaje proposicional
o 2.8 En homologa simplicial
o 2.9 En el lenguaje de las categoras

3 Sucesiones numricas
o 3.1 Notas y ejemplos bsicos

3.1.1 Sucesin finita

3.1.2 Sucesin constante

3.1.3 Sucesin creciente

3.1.4 Sucesin decreciente

3.1.5 Sucesin alternada

3.1.6 Segn el trmino general

3.1.6.1 Ejemplos

o 3.2 Vase tambin

o 3.3 Enlaces externos

[editar] Definiciones
Las diferentes definiciones suelen estar ligadas al rea de trabajo, la ms comn y poco
general es la definicin de sucesin numrica, en la prctica se usan sucesiones de forma
intuitiva.

[editar] Definicin abstracta

Clase de finitos o numerables objetos ordenados.

[editar] Definicin conjuntista

Una sucesin en un conjunto X es una enumeracin de elementos de X, es decir una
aplicacin de en X.

[editar] Notacin
Notaremos por
digamos

a una sucesin, donde x la identifica como distinta de otra

.

La notacin es permisiva en cuanto a su modificacin si realmente es necesario.

[editar] Definicin de trmino general

Llamaremos trmino general de una sucesin a
dicha sucesin.

,donde

indica el lugar que ocupa en

[editar] Definicin de parcial

Llamaremos parcial de

a una sucesin

donde

[editar] Ejemplos en distintas reas

Estos ejemplos pretenden ser una pequea muestra de la infinidad, propiamente dicha, de
usos que tienen dichas sucesiones en matemticas.
El trabajo interno en el desarrollo de cada tema en cada rea obliga a diversificar el modo
de nominar y notar las sucesiones, hacindose frecuente el uso de ndices, subndices y

superndices para salvar la sobrecarga de notacin y hacerlas ms legibles y estticas en

cuanto a la presentacin.

[editar] En
Se puede tener una sucesin

tal que

[editar] En el espacio de las sucesiones finitas en

Se puede tener una sucesin

tal que

[editar] En K[x]
Un polinomio

no es ms que una sucesin finita

representada como

tal que
.

[editar] En

Se puede tener una sucesin

tal que

, donde

[editar] En un espacio vectorial topolgico

Se puede tener una sucesin
, donde
sucesin real arbitraria y B un abierto.

, donde

es una

[editar] Sucesiones funcionales

Se puede tener una sucesin de funciones continuas

[editar] En el lenguaje proposicional

Sea un alfabeto, llamaremos

al conjunto de sucesiones finitas de n elementos de A, se
define inductivamente por la sucesin de productos cartesianos siguiente:

as
.

[editar] En homologa simplicial

El complejo de cadenas simplicial del complejo simplicial K, no es ms que una
determinada sucesin de grupos abelianos y morfismos

[editar] En el lenguaje de las categoras

Sea

una categora, podemos tener una sucesin

, donde

[editar] Sucesiones numricas

Una sucesin numrica se formaliza como una aplicacin de los naturales en los reales, es
decir :

que escribiremos simplemente como

son enteros, tambin vale

o, si se da por entendido que los subndices

El nombre que recibe la sucesin tambin puede hacer referencia a los valores que toma
sobre los reales, as, si la imagen de fuesen los racionales, es decir fracciones enteras del
tipo
, podemos llamarla sucesin de nmeros racionales, y lo mismo para los
irracionales, naturales, enteros, algebraicos, trascendentes, ... .

[editar] Notas y ejemplos bsicos

Para definir trmino a trmino la sucesin, se indica para cada termino el valor que le
corresponde directamente:

El primero es

a por ejemplo 3,

el segundo es

a por ejemplo -10,

el tercero es

Para indicar, si hace falta, el comportamiento del resto de los valores, se usa
el trmino general y se escribe acompaado como
a por
ejemplo nmero al azar, ... .

a por ejemplo 9, y as sucesivamente.

Los puntos suspensivos dan por entendido que los valores de la sucesin se omiten
ya que estos quedan claramente determinados hasta el infinito, siendo el n-simo
valor,
, el portador del mtodo para generar el valor de cada trmino, y el
nombre puede ser cambiado, si hace falta, por , , , , ... .
Materialmente seria: 3, -10, 9, 7, ... , nmero al azar, ... .

[editar] Sucesin finita

Diremos que una sucesin es finita si determinamos su ltimo termino, por ejemplo el nsimo:
Genricamente:
si hiciese falta.
ejemplo: 100, 99, 98, ... , 1, 0.

, donde

sera el trmino general

[editar] Sucesin constante

Diremos que una sucesin es constante si todos los trminos valen un mismo valor, , es
decir, un mismo nmero real cualquiera, ejemplo:
Genricamente
.
ejemplo: si
queda como 1, 1, 1, 1, ... ,1 ,... , es decir, que todos los valores
son el mismo, 1.

[editar] Sucesin creciente

Si imponemos al termino general, de una sucesin numrica, la condicin que
es decir, que el siguiente trmino,
, siempre sea mayor estricto que su predecesor,
se llaman sucesiones estrictamente crecientes:
Para naturales: 1, 2, 3, 4, 5, 6, ... .
Para enteros: -10, -9, -8, -7, -6, ... .
Para reales:

Si imponemos
, es decir, una desigualdad no estricta, entonces se pueden
incluir, entre otras, las sucesiones constantes.

[editar] Sucesin decreciente

,
,

Al igual que las crecientes tenemos, segn el termino general, que:

si

entonces la sucesin es decreciente,

si

es estrictamente decreciente.

[editar] Sucesin alternada

Intuitivamente se llama sucesin alternada cuando alterna valores de signo opuesto, como
an = ( 1)n que nos genera la sucesin: 1, -1, 1, -1, 1, -1, ... . Utilizado por las series
llamadas series alternas.

[editar] Segn el trmino general

El termino general de la sucesin queda definido de forma explcita si su valor est en
funcin del valor del subndice, es decir, si
cualquiera como por ejemplos:

donde

es una funcin

que dara la sucesin de naturales sucesivos, es decir, 1, 2, 3, 4, 5, ... .

que dara todos los nmero pares incluido el cero, es decir, 0, 2, 4, 6, 8, ... .
que dara la sucesin de cuadrados siguiente, 0, 1, 4, 9, 16, ... .
Dada una funcin
, llamaremos extensin en los reales de a una funcin
cuyos valores coinciden en el dominio de , es decir,
.

Error fatal es nombrar a la extensin en los reales con el mismo nombre

!, pues, se trata de una asociacin totalmente arbitraria y no
univoca que trae confusin y no tiene sentido para algunas funciones
definidas a trozos. Comprubese que
solo
si la sucesin que determinan sobre los enteros es la misma, pero no son la
misma funcin!, llamemos a la extendida por ejemplo
o si es
un polinomio, o o si son funciones trigonomtricas, agregando subndices
si hace falta.

La funcin f puede adquirir propiedades de la extendida P, si existe P con dichas

propiedades, como lmites al infinito, monotona, acotaciones... .
Casos en los que f no puede extenderse sobre los reales:

si definimos un como el nmero de factores propios de n.

funciones aritmticas, como la funcin fi de Euler o la Funcin de Mbius .

El trmino general de la sucesin queda definido de forma implcita si su valor depende de

sus predecesores, esto se indica en general del modo siguiente:
Dados previamente los valores de
general de forma inductiva como
ejemplo con la ecuacin en diferencias

, podemos definir el trmino

como por
.