无穷小量等价类集的代数结构

实现了无穷小量集合的分类,建立了两种无穷小等价类的分划,指出了无穷小等价类的存在性与元素结构,为寻求无穷小等价类的元素特征提供了理论基础.并在此基础之上,分析了无穷小等价类的代数结构,为进一步运用无穷小量进行各种运算提供了系统的理论基础.     

关于一元含参量变上限积分的等价无穷小

本文应用等价无穷小量理论,对一类一元含参量变上限积分,在满足一定条件下,分别对积分限和被积函数做相应的等价无穷小量替换.,使替换后的一元含参量变上限积分与替换前的一元含参量变上限积分是等价无穷小.     

一类幂指函数求极限的新认识

通过无穷小量的比较的三种不同的形式,从一个新的视角讨论了一种幂指函数求极限的不定型,得出了简单有用的结论.根据两个变量趋于零的快慢,即等价无穷小量、同阶无穷小量、高阶无穷小量,来分析极限的结果,当趋于零较慢时,可视为是有限数.并给出几个计算实例说明这个新方法.     

无穷小量在1~∞型极限中的应用

通过无穷小量讨论1∞型极限是否存在,并且介绍一种用无穷小量的等价代换快速求解1∞型极限的方法     

无穷小量在1∞型极限中的应用

通过无穷小量讨论1^∞型极限是否存在,并且介绍一种用无穷小量的等价代换快速求解1^∞型极限的方法。     

用等价无穷小代换求极限的两个误区

普遍认为利用等价无穷小代换求代数和及复合函数的极限时常常隐藏着两个误区,通过对其进行探讨可以发现．只要加以适当的条件,代数和各部分为无穷小量以及复合函数的中间变量为无穷小量时．对这些部分是可以进行等价无穷小代换的．     

使无穷小等价成为一个等价关系

修订等价无穷小的定义,可使无穷小量的等价真正成为一种等价关系,即满足自反性,对称性和传递性。     

关于等价无穷小量代换的一个应用

讨论了等价无穷小量代换在含有变上下限定积分的未定式中的应用     

一道数学赛题的推广

通过对2018年(非数学类)的一道求极限问题分析,利用等价无穷小量理论将其结果推广到一般情况.     

利用Taylor公式选择恰当的等价无穷小

在求函数极限的过程中,利用等价无穷小代换常常会使计算简单,但对形如的极限,若无穷小量有时权限并不相等.这里的关键是与的选取不当．本文着重讨论这种情况下利用Taylor公式选取适当的等价无穷小量作代换保持权限不变．为叙述方便,我们只讨论的情况．同时假定下文中所涉及的都是当时的连续且具有任意阶导数的函数无穷小量,以后不再交代．引理1若引理2若则,这里不全为0引理3若a在处的Taylor展开式（带皮亚诺余项）为（按前面假设,常数项为0）：证明显然,从而实际上,通常我们所用的等价无穷小都是取Tayfor展式的第一个非零项．如…     

关于二重变上限积分的等价无穷小

将二重变上限积分看作是一类特殊的一元诱导函数,本文给出了两种二重变上限积分的定义方式,分别对积分限和被积函数做相应的等价无穷小量替换.在一定的条件下,替换后的二重变上限积分与替换前的二重变上限积分是等价无穷小,从而得到一类求极限的方法,并给出了应用实例.     

关于变上限积分的等价无穷小

利用微分中值定理和L’Hospital法则证明含有变上限积分的等价无穷小代换问题,并提供两个实例作为应用．     

The ring of Fermat reals

We give the definition of the ring of Fermat reals, a simple extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from smooth infinitesimal analysis, but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular it is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the characterization of invertible elements and some applications to Taylor's formulas.     

关于“一致有界的一族无穷小的积是无穷小”定理

针对微积分教材关于"无穷小的积是否是无穷小"的命题的模糊叙述,证明"一致有界的一族无穷小的积仍是无穷小".     

再论无穷多个无穷小量的乘积

对文[6]提出的质疑给出回答,表明由于不同的无穷小量趋近于0的速度有快有慢,因此无穷多个无穷小量的乘积∏∞k=1{x_n~(k)}∞n=1,有可能不是无穷小量(其中对每个正整数k,{x_n~(k)}_(n=1)~∞表示极限为0的数列),而验证∏∞k=1{x_n~(k)}∞n=1是否是无穷多个无穷小量的乘积,只需验证对每个正整数k,当n→+∞时,{x_n~(k))_(n=1)~∞是否趋近于0,而无需考虑函数列{{x_n~(k)}_(n=1)~∞}_(k=1)~∞的极限limk→∞x_n~(k)是不是无穷小量.进而,对无穷多个无穷小量的乘积是无穷小量或不是无穷小量给出了一些充分条件,     

Topological and algebraic structures on the ring of Fermat reals

The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring by using standard topological and algebraic structures. We present the Fermat topology, generated by a complete pseudo-metric, and the omega topology, generated by a complete metric. The first one is closely related to the differentiation of (non-standard) smooth functions defined on open sets of Fermat reals. The second one is connected to the differentiation of smooth functions defined on infinitesimal sets. Subsequently, we prove that every (proper) ideal is a set of infinitesimals whose order is less than or equal to some real number. Finally, we define and study roots of infinitesimals. A computer implementation as well as an application to infinitesimal Taylor formulas with fractional derivatives are presented.     

由重积分的坐标变换透视微元法

本文针对极坐标、柱坐标和球坐标给出相应的微元和坐标变换公式,并分析不同微元的本质.     

Alpha-theory: An elementary axiomatics for nonstandard analysis

The methods of nonstandard analysis are presented in elementary terms by postulating a few natural properties for an infinite “ideal” number . The resulting axiomatic system, including a formalization of an interpretation of Cauchy's idea of infinitesimals, is related to the existence of ultrafilters with special properties, and is independent of ZFC. The Alpha-Theory supports the feeling that technical notions such as superstructure, ultrapower and the transfer principle are definitely not needed in order to carry out calculus with actual infinitesimals.     

An Isomorphism in a Category with a Ring Object

An isomorphism between the object of units of the real line and the automorphism group object of first order infinitesimals is established.AMS Mathematics subject classification 18B     

多元无穷小量不可以比较吗？──兼论无穷小的同阶性质

文章论述了同阶无穷小．