查询词典 totally bounded set

The converse does not hold, since any infinite set can be given the discrete metric under which it is bounded and yet not totally bounded.

但逆命题不成立，因为任何无限集合可以用离散度量给出，在其下它是有界但非完全有界的。

Since the set of the centres of these balls is finite, it has finite diameter, from which it follows that every totally bounded space is bounded.

因为这些球的中心的集合是有限的，它有有限半径，从而得出所有完全有界空间是有界的。

For an abitrary set X, appropriate order relations on WCL (the set of all weak closure operators), WIN (the set of all weak interior operators), WOU (the set of all weak exterior operators), WB (the set of all weak boundary operators), WD (the set of all weak derived operators), WD*(the set of all weak difference derived operators), WR (the set of all weak remote neighborhood system operators) and WN (the set of all weak neighborhood system operators) can be defined respectively, which make WCL, WIN, WOU, WB, WD, WD*, WR and WN to be complete lattices that are ismorphic to CS(X,CS is the set of all closure systems on X.

证明了可以在WCL(X上的弱闭包算子的全体)、 WIN(X上的弱内部算子的全体)、 WOU (X上的弱外部算子的全体)、 WB (X上的弱边界算子的全体)、WD、 WD*(X上的弱差导算子的全体)、 WR(X上的弱远域系算子的全体)和WN(X上的弱邻域系算子的全体)上定义适当的序关系，使它们成为与CS(X，〖JX-*5[JX*5]同构的完备格其中CS(X是给定集合X上的闭包系统的全体。

A set is "less than" another set if and only if the first set is a proper subset of the second set, and a set is "greater than" another set if and only if the first set is a proper superset of the second set.

只有当第一个集合是第二个集合的严格子集时，我们才称第一个集合"小于"第二个集合，同理，只有当第一个集合是第二个集合的严格超集时，我们才称第一个集合"大于"第二个集合。

To declare what we can do with a set, we start a header file Set.h:#ifndef SET_H #define SET_H extern const void * Set; void * add (void * set, const void * element); void * find (const void * set, const void * element); void * drop (void * set, const void * element); int contains (const void * set, const void * element);#endif The preprocessor statements protect the declarations: no matter how many times we include Set.h, the C compiler only sees the declarations once.

宣布我们能做些什么用一套，我们开始一个头文件Set.h ：＃ ifndef SET_H ＃定义SET_H 外部构造无效*设置；无效*地址（无效*一套，无效*常量元素）；无效*找到（常量无效*一套，无效*常量元素）；无效*下降（无效*一套，无效*常量元素）；国际载（常量无效*一套，无效*常量元素）；＃ endif 预报表保护声明：无论多少次我们包括Set.h ， C编译器将只看到申报一次。

Thesis and mainly discuss the following problems:What we mainly discussed in the second chapter as follows:(1) S1,S2 are sets of symmetric orth-symmetric matrices;(2) S1,S2 are sets of bisymmetric matrices;(3) S1,S2 are sets of anti-symmetric orth-anti-symmetric matrices;(4) S1,S2 are sets of bi-anti-symmetric matrices;(5) S1 is the set of symmetric orth-symmetric matrices, S2 is the set of anti-symmetric orth-anti-symmetric matrices;(6) S1 is the set of bisymmetric matrices, S2 is the set of bi-anti-symmetric matrices;(7) S1 is the set of anti-symmetric orth-anti-symmetric matrices, S2 is the set of symmetric orth-symmetric matrices;(8) S1 is the set of bi-anti-symmetric matrices, S2 is the set of bisymmetricmatrices;On the base of studying the basic properties of the matrices, the expression of solutions and some numerical examples are presented.

本文第二章将主要就上述问题讨论如下几种情况： 1.S_1，S_2为对称正交对称矩阵； 2.S_1，S_2为双对称矩阵； 3.S_1，S_2为反对称正交反对称矩阵； 4.S_1，S_2为双反对称矩阵； 5.S_1为对称正交对称矩阵，S_2为反对称正交反对称矩阵； 6.S_1为双对称矩阵，S_2为双反对称矩阵； 7.S_1为反对称正交反对称矩阵，S_2为对称正交对称矩阵； 8.S_1为双反对称矩阵，S_2为双对称矩阵。

The fixed assets are 78 million Yuan. The main equipment for mould is imported from abroad such as: Three coordinate numerical control milling machine imported from Japan, on set; large type the five coordinate milling machine typed dragon imported from Spain, sise (4000 x 2500), one set; three coordinate numerical control processing center size (2000 x 1000) imported from Spain, one set; powerful numerical control milling machine typed dragon imported from Taiwan, size (3200 x 2540), one set; five coordinate milling machine typed with five drift link movement imported from Italy, size (4000 x 2500), one set; Five faces numerical control milling machine HVM502T typed dragon imported from Taiwan, one set; numerical control scanning measuring machine imported from America size (5000 x 2438 x l824), one set. Others sophisticated equipment are made in China, such as numerical control cutting machine, planer typed dragon, pressing machine for research, total 16 set; advanced computer graphical working station, total 40 sets. The automobile cover has become into advantage, which is supplied various auto. Cover mould and cool Press mould to many big factories, such as: Jinan Auto. Manufacturing General Factory, Beijing Light-duty Auto. Manufacture Co., Changhe Auto. Manufacturing Factory, Shandonq Bulldozed General Factory, Jinan Diesel Factory, Qongdao Sifang Locomotive Factory, Dongfeng Auto.

该厂现有固定资产7800万元，用于模具制造的有日本引进的数控三座标铣床一台，西班牙引进的大型五坐标龙门仿形铣床一台（4000*2500），三座标数控加工中心一台（2000*1000），从台湾引进的强力数控龙门铣床一台（32O0*2540），从意大利引进的五轴联动五座标龙门铣床一台（4000*2500），从台湾引进五面体数控龙门铣床HVM502T一台，从美国引进的数控扫描测量机一台（5000*2438*1824）以及国产联高精尖的数控切割机，龙门刨床、研配压床等大型设备 I6 台套，高档计算机图形工作站40多台，在模具制造方面已形成制造汽车覆盖件模具的优势，产品质量达到国内先进水平，多年来为济南汽车制造总厂、北京轻型汽车制造有限公司，昌河汽车制造厂、山东推土机总厂、济南柴油机厂、青岛四方机车厂、东风汽车公司等大型骨干企业的产品更新换代生产制造了各种类型的覆盖件模具及冷冲模具，受到用户的好评，并建立了较稳定的供需关系。

Armour rods (to be installed in suspension clamps) Parallel clamps Sub-Total, items 4.1-4.7 OTHER HARDWARE Counterweights for jumper or suspension insulator strings, including necessary device for attachement 50 kg 100 kg Sub-total, item 5.1 – 5.3 SPARES Insulator Units Type U160 Type U210BS Hardware for Conductor ACSR-BISON Complete set of hardware and fittings for suspension string Complete set of hardware and fittings for tension string Complete set of hardware and fittings for jumper string Complete set of hardware and fittings for transposition string Extra suspension clamps Extra tension clamps Extra tension joints Extra repair sleeves Extra vibration dampers Extra armour rods Extra spacers: for span for jumper alternatively spacer dampers Hardware for Earthwire 7 No. 6 AWG Complete suspension set Complete tension set Vibration dampers, Stockbridge type Extra tension clamps Extra tension joints Extra vibration dampers Extra parallel clamps Extra armour rods Hardware for Earthwire 7 No. 6 AWG Complete suspension set Complete tension set Vibration dampers, Stockbridge type Extra tension clamps Extra tension joints Extra vibration dampers Extra parallel clamps Extra armour rods Sub-Total, items 6.1-6.4 Sub-total, Items 1.4, 2.7, 3.8, 4.8, 5.4 and 6.5 Transfer to Summary, Schedule AS-1

装甲棒 平行夹具小计，项目4月1号至4月7号其他硬件重物跳线或中止绝缘子串，包括必要的设备attachement 50公斤 100公斤小计，项目5月1号至5月3号备件绝缘子单位型U160 类型U210BS 硬件导体钢芯铝绞线，拜森一套完整的硬件和配件的暂停字符串一套完整的硬件和配件的紧张字符串一套完整的硬件和配件的跳投字符串一套完整的硬件和配件的转字符串额外的悬浮夹额外的紧张局势夹额外的紧张关节额外的修理袖子额外的振动阻尼器额外的装甲棒额外的间隔：为跨度跳线或者间隔减震器硬件Earthwire 7特设工作组第6号完整的悬挂设定一套完整的紧张局势振动阻尼器，斯托克型额外的紧张局势夹额外的紧张关节额外的振动阻尼器额外的平行夹具额外的装甲棒硬件Earthwire 7特设工作组第6号完整的悬挂设定一套完整的紧张局势振动阻尼器，斯托克型额外的紧张局势夹额外的紧张关节额外的振动阻尼器额外的平行夹具额外的装甲棒小计，项目6月1号至6月4号小计，项目1.4 ， 2.7 ， 3.8 ， 4.8 ， 5.4和6.5 （换乘摘要，附表1 仅供参考

This paper gives a smooth variational principle of lower semicontinuous functions which are bounded below on each bounded set.

本文给出了在每个有界子集上有下界的下半连续广义实值函数的一个光滑变分原理。

H-2: The measurable set-valued mapping F : X - CC is -bounded (n+1)-lower semicontinuos where X is a closed, bounded and convex subset of a n-dimension Bana...

的。 H-3：X是1-维赋范线性空间中的有界闭凸子集，可测集值映射F：X→C_c是2-下半连续的(2-l.s.c。)。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。