1) infinite induction
无限归纳
2) inductive limit
归纳极限
1.
As an application,inductive limits of Toeplitz algebras are clarified.
本文给出了上述两个Toeplitz算子代数间的自然同态映照成为C~*-代数的单同态的充要条件,刻画了Toeplitz算子代数的归纳极限,证明了任何自由群上的Toeplitz算子代数是顺从的。
2.
It is also closed under the inductive limits.
我们证明了性质(C′)可以传递给C~*-子代数;若每个C~*-代数都具有性质(C′),则它们的有限张量积也具有性质(C′);性质(C′)对归纳极限封闭;我们如果用有限张量积的归纳极限来定义任意张量积,则任意张量积也具有性质(C′);同时,我们还给出了三个类似性质之间的关系。
4) inductionless induction
无归纳的归纳法
6) transfinite induction
超限归纳法
1.
In this paper, a general inductive principle for any ordered set is proved, and the mathematical induction, the transfinite induction and the continual induction are then deduced.
证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。
补充资料：无限归纳法
无限归纳法
infinite induction
无限归纳法[加‘‘往血川理‘佣;6eeKOlfe”H明“，J。劝月，，l，〔妞rnaP法则(〔泣功习p门』e)，。法则〔。一nde) 具有无限多个前提的一个非初等推导法则(deriva-tionl川e).更确切地说，在某逻辑数学语言中，设变数工在自然数上变化，并且设甲(x)是该语言的一个公式.如果无限多个公式 甲(0)，甲(1)，…，甲(。)，…中的每一个都可以推导出，那么无限归纳法则断言公式丫x切(x)也可推导出. 在推导公式的过程中使用无限归纳法则常常使得一个推导的存在性问题成为不可判定的.包含。法则的公理系统称为半形式理论(se而一fom飞d theory)(或半形式公理系统(se而一fomul糊matics笋加nl)).半形式理论在证明论(ploofl」1已)ry)中起着重要作用.为了使得理论中的推演概念是能行的，必须附加另外的限制以保证诸前提可以被能行地推导出.例如，可以要求诸前提的推导以由某一一般递归函数所枚举(所谓构造性的无限归纳法则(11111刀ite induction rUle)).已经知道，附加了构造性无限归纳法则的形式算术(aritll，此tic，folll祖1)关于经典真值是完全的.通过按步语义系统的方法，无限归纳法则在构作构造数学的语义中也找到了应用.A.r.八ParaJIHH撰【补注】。法则还有另一个名称是表拿归纳替刚(comP】ete耐uctjon nde).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条