Documente Academic
Documente Profesional
Documente Cultură
InfinitesimalWikipedia,laenciclopedialibre
Infinitesimal
DeWikipedia,laenciclopedialibre
Uninfinitesimaloinfinitsimosepuededefinircomounacantidadinfinitamentepequea,originalmentefundamentciertosrazonamientos
delclculoinfinitesimal.EnlacrisisdelosfundamentosmatemticosdeprincipiosdelsigloXIXlosinfinitsimosfueronabandonadosporlos
matemticos,aunquesiguieronsiendotratadosinformalmenteenlascienciasaplicadas,ysesuelenconsiderarcomonmerosenlaprctica.
SlodespusdelasegundamitaddelsigloXXapareciunenfoquetotalmenterigurosodelosnmerosinfinitesimales.
El anlisis no estndar introducido en los aos 1960 por Abraham Robinson es un enfoque axiomtico y riguroso que permite introducir
infinitesimales(nmeroshiperrealesnonuloscuyovalorabsolutoesmspequeoquecualquiernmerorealestndar).Sibienlosresultados
que pueden lograrse mediante el anlisis no estndar pueden ser alcanzados por la teora estndar de los nmeros reales, existen muchas
demostracionesmatemticasydeduccionesquesonmssimplesybrevescuandoseusanelanlisisnoestndar.Elinversomultiplicativode
uninfinitesimalesunnmerorealnoestndarilimitado.
ndice
1 Introduccin
2 Anlisisestndar
2.1 Definicin
2.2 Propiedadesdelosinfinitsimos
2.3 Comparacindeinfinitsimos
2.4 AlgunosInfinitsimosequivalentes
3 Anlisisnoestndar
4 Vasetambin
5 Referencias
5.1 Bibliografa
https://es.wikipedia.org/wiki/Infinitesimal
1/6
6/11/2015
InfinitesimalWikipedia,laenciclopedialibre
5.1 Bibliografa
Introduccin
ElclculoinfinitesimalfuepropuestoinicialmenteporArqumedes.LuegofueutilizadoporIsaacNewtonyGottfriedLeibniz,enlosalbores
delsurgimientodelAnlisismatemticomoderno,peroposteriormentefuedesacreditadoporGeorgeBerkeleyyfinalmenteolvidado.Durante
elsigloXIXKarlWeierstrassyCauchycomenzaronautilizarladefinicinformaldelmitematemtico,porloqueelclculoinfinitesimalya
noeranecesario.SinembargoduranteelsigloXXlosinfinitesimalesfueronrescatadoscomounaherramientaqueayudaacalcularlmitesde
formasimple.Esbastantepopularelusodeinfinitsimosenlabibliografarusa.
Otra manera de trabajar con los infinitsimos es considerarlos como nmeros, y no como lmites, es decir trabajar en un conjunto
contengamsnmerosquelosusuales.Selesllamannmeroshiperreales,ysonunacreacindelanlisisnoestndar.
que
Anlisisestndar
Definicin
Uninfinitesimaloinfinitsimoesunacantidadinfinitamentepequea.Sepuededefinirmatemticamentecomo:
sedicequefesuninfinitsimoenx=a
Algunasfuncionessoninfinitsimosendeterminadospuntos,porejemplo:
f(x)=x1esuninfinitsimoenx=1.
g(x)=sen(x)esuninfinitsimoen
con
Porlotanto,todafuncincuandotiendea0enunpuntosedenominainfinitsima.
Propiedadesdelosinfinitsimos
1. Lasumafinitadeinfinitsimosesuninfinitsimo.
2. Elproductodedosinfinitsimosesuninfinitsimo.
3. Elproductodeuninfinitsimoporunafuncinacotadaesuninfinitsimo.
4. Elproductodeunaconstanteporuninfinitsimoesuninfinitsimo.
5. Ladivisindeuninfinitsimoporunescalarnonuloesuninfinitsimo
https://es.wikipedia.org/wiki/Infinitesimal
2/6
6/11/2015
InfinitesimalWikipedia,laenciclopedialibre
Comparacindeinfinitsimos
Dadas
1. Si
fygsoninfinitsimoscomparablesenx=ayfesuninfinitsimodeordeninferioragenx=a.
2. Si
fygsoninfinitsimoscomparablesenx=ayfesuninfinitsimodeordensuperioragenx=a.
3. Si
conlpertenecientea
4. Enparticular,si
fygsoninfinitsimosdelmismoordenenx=a.
fesuninfinitsimoequivalenteagenx=a
Sidosinfinitsimossonequivalentesentoncessepuedeaproximarunoaotro.Esdecirsif(x)yg(x)soninfinitsimosequivalentescuando
entoncessepuededecirque
cuando
.Sisepresentancomofactorodivisorpuedensustituirseunoporotro
paraelclculodelmitescuando
.
AlgunosInfinitsimosequivalentes
esuninfinitsimocuando
1.
2.
3.
4.
5.
6.
7.
esuninfinitsimocuando
https://es.wikipedia.org/wiki/Infinitesimal
.
3/6
6/11/2015
InfinitesimalWikipedia,laenciclopedialibre
1.
Anlisisnoestndar
Elanlisisnoestndaresunageneralizacindelanlisisreal.Elanlisisnoestndarpermitedefinirademsdelosobjetosdefiniblesenla
teoraordinariadelosnmerosrealesnuevosobjetosdenomiandos"externos"o"noestndar".Cualquierobjeto(nmero,conjuntoofuncin)
definible en la teora convencional de los nmeros reales es un objeto "estndar" dentro del anlisis no estndar. Junto con los objetos
"estndar"elanlisisnoestndardeRobinsonpermiteintroducir"objetosnoestndar"comonmeroinifinitesimalesonmerosilimitados
(infinitos)ymanejarlosdemaneratotalmentecoherentedentrodelateora.
Lateoranoestndarpartedeintroducirunnuevopredicado
,esepredicadopermiteconstruirunlenguajeformalqueincluyealateora
ordinariadelosnmerosrealesperopermitedefinirnuevosnmeros(concretamentelanocindenmero"ipequeo"e"igrande"permiten
construirnmerosinfinitesimalesynmerosilimitadosmsgrandesquecualquiernmerorealestndaruordinario).Elpredicado"estndar"
secaracterizaportresaxiomasadicionalesquenoposeelateoraordinariadelosnmerosreales,yqueportantocreanunlenguajeformalque
permiteformalizarnmerosadicionales.Elanlisisnoestndarhaceunusocrucialdenmerosinfinitesimaleseilimitados:
Unnmeroesinfinitesimalsiparacualquiernmeroenteroestndarnsecumpleque||<1/n.Elniconmerorealestndarconesa
propiedadeselcero,peroexisteunainfinidadrdenmerosrealesnoestndartalesque:r<1/n,paracualquiernmeroenteroestndar.
Elpredicadoinf()formalizalanocindeinfinitesimal,apartirdelarelacinprimitivadeestndar:
Anlogamente puede definirse un nmero ilimitado (o infinito) como cualquier nmero real r tal que r>n para todo nmero entero
estndar.Laclaveenesadefinicineseltrminoestndar,enlateoraordinariadelosnmerosrealesalnoexistirlanocindeestndar
no puede formalizarse el concepto de infinito. El predicado Inf() formaliza la nocin de nmero ilimitado, a partir de la relacin
primitivadeestndar:
https://es.wikipedia.org/wiki/Infinitesimal
4/6
6/11/2015
InfinitesimalWikipedia,laenciclopedialibre
El anlisis no estndar por tanto permite construir un conjunto de nmeros que extiende al de los nmeros reales, este conjunto es de los
nmeroshiperrealesyserepresentacomo yenlsepuedendefinirsereglasaritmticasparalosnmerosinfinitesimales(inf()),ilimitados
(Inf()),limitados(complementodelanterior:Inf())yapreciables(niinfinitesimos,niilimitados:inf()Inf()),apartirdeestoscuatro
conjuntossetienenlassiguientesreglasdeLeibnizparalasoperacionesaritmticasdeestosconjuntos:
+/
limitado
limitado
limitado
ilimitado
apreciable
apreciable
limitado
limitado
ilimitado
ilimitado
ilimitado
ilimitado ilimitado
ParalamultiplicacinlasreglasdeLeibnizsonlassiguientes:
x
infinitesimal
limitado
apreciable ilimitado
limitado
infinitesimal
limitado
limitado
apreciable
infinitesimal
limitado
apreciable
ilimitado
ilimitado
ilimitado
ilimitado
Vasetambin
Nmeroshiperreales
RegladeL'Hpital
Lmitedeunafuncin
Derivada
Integral
Referencias
Bibliografa
Diner&Diener,ed.(1995).NonstandardAnalysisinPractice(http://www.springer.com/mathematics/analysis/book/978354060297
2)(eningls).SpringerVerlag.ISBN9783540602972.Consultadoel11dejuniode2012.
https://es.wikipedia.org/wiki/Infinitesimal
5/6
6/11/2015
InfinitesimalWikipedia,laenciclopedialibre
https://es.wikipedia.org/wiki/Infinitesimal
6/6