查询词典 derivable

At a formal level, an axiom is just a string of symbols , which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system .

在正式一级，公理只是一个字符串的符号，它的内在含义只有在所有derivable公式的公理化体系。

We prove that the Jordan semi-triple derivable maps of the algebra of all n×n matrices over a 2-torsion free commutative ring with unity is the sum of an inner derivation and A_φ, where A_φis the image of A underφapplied entrywise andφis an additive derivation over R.

证明了作用在一个包含单位元的可交换的2-无挠环上的矩阵代数上的拟三重Jordan可导映射是一个内导子与A_φ的和(这里A_φ是A在φ下逐点作用的像)。

The paper studied how to structure a kind of counterexample function in the analysis and widespread application emphatically, further pointed out the misunderstandings easily appeared in the concept and theorem of continuity, derivable, integrable, and other analytic properties of the function and gave the corresponding counter-example finally.

研究了一类函数在分析学相关反例构造中的应用，进一步指出有关函数的连续、可导、可积等分析性质的概念与定理中容易出现的误区，并给出相应的反例，希望能引起高校师生对该类函数的重视，进一步提高教学效果。

These results are derivable from the theory of quantum mechanics.

这些结果是根据量子力学理论推导出来的。

When there is one harmonic source in electric power system, the harmonic component could be derivable.

当电力系统中只有一个谐波源时，各点的谐波电压可以方便的求出。

Derivable mappings play an important role in the study of the structure of operator algebras.

引言导子是算子代数领域的一类重要映射，它对认识算子代数的结构有着重要的作用，如文献[2-3]。

The sharing with derivable CAPP is discussed in theory.

并对系统与派生型CAPP系统之间的信息共享问题，进行了初步的理论探讨。

In chapterⅡ, Firstly, we research the derivable mappings at unit and the anti-derivable mappings at zero point on Von Neumann algebra M.

证明了在单位可导和在单位反可导的范数连续的线性映射是M上的内导子，在零点反可导的范数连续的线性映射是M上的广义内导子。

Subsequently, we discuss the generalized derivable mappings at zero point on standard operator algebras and show that every generalized derivable mapping at zero point on standard operator algebras is a generalized inner derivation.

其次又对标准算子代数上的在零点广义可导的线性映射进行了讨论，证明了标准算子代数上的在零点广义可导的线性映射是广义内导子。

Secondly, we discuss generalizedderivable mappings at unit and Jordan derivable mappings at unit on Von Neumannalgebra, and we prove that every norm continuous linear mapping generalized deriv- able at unit is a generalized inner derivation, every norm continuous linear mappingJordan derivable at unit is a inner derivation.

其次对Von Neumann代数M上的在单位广义可导和在单位Jordan可导的线性咉射进行了讨论，证明了在单位广义可导的范数连续的线性映射是M上的广义内导子，在单位Jordan可导的范数连续的线性映射是M上的内导子。

Graf, without question, is the greatest women's player in history.

格拉芙，现在，毫无疑问是女子网坛历史上最伟大的选手。

If not, you will have to look around at all your important data.

如果没有，您将需要检查所有的重要数据。