查询词典 countable infinite set

According to two logical judgements, the relation of the semi-infinite plane strain problem and semi-infinite spatial problem is found through analyzing the classical answer of wedge, semi-infinite plane, cone and semi-infinite spatial etc. The Flament answer of semi-infinite plane strain problem and the Boussinesq answer of semi-infinite spatial problem are confinable from the relation.

根据两个合理的判断依据，对弹性力学中的楔形体、半平面体、圆锥体和半空间体等经典解答进行了比较分析，发现了半无限平面应变问题和半空间体问题解答之间的关系；通过对解答之间的关系进行研究分析指出，弹性力学中的半无限平面体的符拉芒解答和半空间体的布希涅斯克解答存在局限性。

This paper tries to give a definition of the sum and the product of infinite infinite simal,and it also tries to give some examples to illustrate the sum and the product of infinite infinite simal being or not being infinite simal.

给出了无限个无穷小的和、积的一种定义，并用例子指出无限个无穷小的和、积既可能是无穷小，也可能不是无穷小。

The main results in this chapter are as follows:Theorem 2.1.2Let〓be a countable atomic model.If〓is infinite,then〓is a countable atomic model.

本章的主要结果有：定理2.1.2若〓是可数的原子模型，〓不是〓的代数公式，则〓也是可数的原子模型。

To seek new infinite sequence exact solutions to nonlinear evolution equationsNEE(s, the formula of nonlinear superposition of the solutions of the second kind of elliptic equation are given, infinite sequence exact solutions to combined KdV with varible coefficients and forcible term is constructed with the aid of symbolic computation system Mathematica, which include Jacobi-like elliptic function solutions, infinite sequence soliton-like solutions and infinite sequence triangular function solutions.

为了获得变系数非线性发展方程的无穷序列精确解，给出第二种椭圆方程解的非线性叠加公式，借助符号计算系统Mathematica构造了带强迫项变系数组合KdV方程的无穷序列精确解。这里包括无穷序列类Jacobi椭圆函数解、无穷序列类孤子解和无穷序列三角函数解。

It investigates mainly infinite matrix conver-gence、infinite matrix transformations、the automatic continuity and boundedness of infinitematrix operators、infinite matrix topological algebras、invariant theory、infinite matrix meth-ods、compact operators series and Eberlein-Smulian theorem,etc.

主要研究了无穷矩阵收敛、无穷矩阵变换、无穷矩阵算子的自连续性和自有界性、无穷矩阵拓扑代数、不变性理论、无穷矩阵方法、紧算子级数与Eberlein-Smulian定理等。

Aristotle distinguished between the potential infinite and the actual infinite, and concluded there is in general no actual infinite object because the infinite is the unfinished, the indefinite, the unrealizable, which cannot be completed and actualized.

亚里士多德把潜无穷和实无穷区别开来，得出结论：一般不存在实无穷的对象，无穷是没有结束的、非确定的、没有实现的，并且是不能完善和实在化的东西。

To obtain the function and imbedding properties about relative countable tightness spaces,in this paper the question whether the relative countable tightness space can be adversely preserved by a closed map is studied by means of function and imbedding theories.

为了得到相对可数紧度空间的映射及嵌入性质，借助映射方法和紧化理论讨论了相对可数紧度空间被闭映射逆保持问题及嵌入紧空间问题，得到了相对可数紧度空间被闭映射逆保持的一个充分条件、局部紧的可数紧度空间可嵌入紧空间的几个充分条件以及某一类局部紧空间在任意紧化中不具有可数紧度等结果。

Used before an un countable noun to refer to a countable meaning of noun.

用在不可数名词前，使该名词作为可数名词的用法。

In chapter 2, we prove that sn—first countable spaces are preserved by the finite subsequence-covering mappings.By this result, we prove that the finite subsequence-covering, quotient mappings preserve g—metrizable spaces, also prove that the finite subsequence-covering, closed mappings preserve sn—metrizable spaces, g-metrizable spaces, metrizable spaces, point-countable bases.

在第二章中，我们主要证明了有限子序列覆盖映射保持sn-第一可数空间，作为它的应用，又证明了有限子序列覆盖、商映射保持g-第一可数空间，也证明了有限子序列覆盖闭映射保持sn-度量空间，g-度量空间，度量空间，点可数基。

Theorem 2.1.11 Let T be〓-categorical.Then for any formula〓,fractiontheory〓is either〓-categorical,or has exactly countably many countable models up toisomorphism.Moreover,all these countable models are〓-homogeneous.

定理2.1.11 若T是〓范畴理论，则任给公式〓，分式理论〓或者是ω-范畴理论，或者只有可数多个可数模型并且这些可数模型都是可数地齐次模型。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。