Sei sulla pagina 1di 6

6/11/2015

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:
+/

infinitesimal limitado apreciable ilimitado

infinitesimal infinitesimal limitado apreciable ilimitado


limitado

limitado

limitado

limitado

ilimitado

apreciable

apreciable

limitado

limitado

ilimitado

ilimitado

ilimitado

ilimitado ilimitado

ParalamultiplicacinlasreglasdeLeibnizsonlassiguientes:
x

infinitesimal

limitado

apreciable ilimitado

infinitesimal infinitesimal infinitesimal infinitesimal

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

Robinson, Abraham (1996) [1966], Nonstandard analysis (http://books.google.com/books?id=OkONWa4ToH4C), Princeton


Landmarks in Mathematics (2nd edicin), Princeton University Press, ISBN 9780691044903, http://books.google.com/books?
id=OkONWa4ToH4C
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Infinitesimal&oldid=85862621
Categoras: Anlisismatemtico Fracciones
Estapginafuemodificadaporltimavezel16oct2015alas09:32.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulas
adicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.

https://es.wikipedia.org/wiki/Infinitesimal

6/6

Potrebbero piacerti anche