This paper discussed the compactness of lawson topology in continuous dcpo,presents that a continuous dcpo is coherent, but it’s not compact in lawson topology.
本文主要讨论了连续dcpo上lawson拓扑紧性的问题。
Devoted to the study on the theory of H-connected space,which has been investigated by Jungck [1] in detail,we first give Jungck’s theorem another proof free from Whyburn [2] ,and then give another theorem in which“compact”hypothesis in Jungck’s theorem is replaced by the locally connected one.
首先给出了Jungck[1] 关于“紧T2 的H -连通第一可数空间具有有限乘积”的一个不依赖Whyburn[2 ] 工作的一个初等证明 。
In this article, the definition of a kind of weak convergence about real measures on a compact metric space is given, and this kind of weak convergence is stronger than the usual one, and it is proven that all real measures form a separable and complete metric space about this kind of weak convergence topology.
给出了紧距离空间上实测度的一种较强的弱收敛的定义,并由此证明了实测度全体所成的空间关于此种弱收敛拓扑成一可分完备距离空间。
By this,we give the characteristics of an optimum 2L shape and a necessary and sufficient condition that a 2L shaper is tight.
由此,给出了2 L形达到最优时的特征以及2 L为紧(或几乎紧)的充要条件。
The sun rose thinly from the sea.
太阳从海上淡淡地升起。
The faint smell of flowers lay on the air.
空气里带着淡淡的花香。
Of a pale grayish or bluish green.
淡灰蓝色的,淡灰绿色的
of a light grayish-brown color.
指一种淡淡的灰褐色。
He answered coolly,"Good morning."
她淡淡地应了声:“你好。”
Or softly lightens o'er face;
或者散布淡淡的光辉。
Her life is humdrum.
她的生活平平淡淡.
The freshness of the hills in the pale night was sad.
在淡淡的夜色中,清新的山岗显得黯淡。
glacial indifference, politeness
冷漠、 冷淡的礼貌.
Market is quiet.
市场清淡(平静)。
a chilly greeting [welcome]
冷淡的招呼 [接待]
light-salted fish
淡[轻]盐鱼(制品)
International Year of Freshwater 2003
2003国际淡水年
a dry, sexless person
冷淡、 无性感的人
watery coffee [soup]
味淡的咖啡 [汤]
That was the time when "leisurely conversations" were in vogue.
当时,“清淡”盛行。
Then just enjoy the wonderful scenes of rain cascade, with light smiles rising.
淡淡地,淡淡地笑着,欣赏这一幕连一幕的人间美景。
Light poems are in leisurely clouds and continuous missing is in light poems.
悠悠的云里有淡淡的诗,淡淡的诗里有我绵绵的思念。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号