共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
在Lω-空间中,借助于ω-连续的L值Zadeh型函数,给出ω-Tychonoff分离性的定义,并系统研究ω-Tychonoff分离性的特征性质。证明ω-Tychonoff分离性是可遗传的、任意可乘的、ω-弱同胚不变的。 相似文献
3.
在Lω-空间中引入分子网和理想的ωθ*-极限点、ωθ*-聚点等概念,证明ω-Urysohn空间中分子网和理想的ωθ*-极限点均唯一等特征性质,并证明ω-Urysohn分离性是可ω-遗传的,在(ω1,ω2)-同胚和(ω1,ω2)θ-同胚映射下是拓扑不变的,在满层条件下是任意可乘的,而且是R.Lowen意义下好的推广等性质。 相似文献
4.
5.
6.
7.
Lω-空间的ωθ-连通性 总被引:1,自引:1,他引:0
研究了Lω-空间的ωθ-连通性问题。利用Lω-空间的的ωθ-闭集和ωθ-连通集等概念,系统讨论了这些概念的特征性质,证明了Lω-空间的ωθ-连通性具有同胚不变性等性质。 相似文献
8.
9.
左R-模M称为Eω-内射模,如果对环R中任意的ω阶Euclid理想I来说,任何R-模同态能够拓展为R-模同态。左R-模M称为Eω-投射模,若对环R中任意的ω阶Euclid理想I和任何R-模同态f∈HomR(M,R/I),存在R-模同态g∈HomR(M,R)使得f=πg,其中π是自然同态。本文证明P和Q均是Eω-投射模当且仅当PQ是Eω-投射模。进而,又证明了每一个左R-模是Eω-投射的当且仅当每一个左R-模是Eω-内射。 相似文献
10.
11.
The simplicial algorithm is a kind of branch-and-bound method for computing a globally optimal solution of a convex maximization
problem. Its convergence under the ω-subdivision strategy was an open question for some decades until Locatelli and Raber proved it (J Optim Theory Appl 107:69–79,
2000). In this paper, we modify their linear programming relaxation and give a different and simpler proof of the convergence.
We also develop a new convergent subdivision strategy, and report numerical results of comparing it with existing strategies. 相似文献
12.
Grzegorz Jarzembski 《Algebra Universalis》1982,14(1):231-234
In this paper we prove that for an arbitrary type Ω and an arbitrary strict ω-complete posetX the free ω-complete algebra of type Ω overX exists. Moreover, we prove, that for an arbitrary type (not necessary finitary!) this free algebra is, obtained by Adamek's construction in ω steps. 相似文献
13.
The natural language computing today demands for the study of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, the concept of fuzzy local ω-language, Büchi fuzzy local ω-language, and some closure properties of fuzzy local ω-languages are presented. We introduce deterministic fuzzy finite automaton with different acceptance mode on fuzzy ω-languages and establish the relationship between these various classes of fuzzy ω-languages. We have defined deterministic fuzzy local automaton and also establish relationships between deterministic fuzzy local automaton, fuzzy local ω-language and Büchi fuzzy local ω-language. Further we show that every fuzzy regular ω-language is a projection of a Büchi fuzzy local ω-language. 相似文献
14.
The investigation of U-ample ω-semigroups is initiated. After obtaining some properties of such semigroups, a structure of U-ample ω-semigroups is established. It is proved that a semigroup is a U-ample ω-semigroup if and only if it can be expressed by WBR(T, 0), namely, the weakly Bruck-Reilly extensions of a monoid T. This result not only extends and amplifies the structure theorem of bisimple inverse ω-semigroups given by N. R. Reilly, but also generalizes the structure theorem of ,-bisimple type A ω-semigroups given by U. Asibong-Ibe in 1985. 相似文献
15.
《Annals of Pure and Applied Logic》2018,169(12):1246-1269
In this paper we calibrate the strength of the soundness of a set theory with the assumption that ‘there exists an uncountable regular ordinal’ in terms of the existence of ordinals. 相似文献
16.
Let R (C) T be an extension of commutative rings. T is called ω-linked over R if T as an R-module is a ω-module. In the case of R (C) T (C) Q0(R), T is called a ω-linked overring of R. As a generalization of Wang-McCsland-Park-Chang Theorem, we show that if R is a reduced ring, then R is a ω-Noetherian ring with ω-dim(R) ≤1 if and only if each ω-linked overring T of R is a ω-Noetherian ring with ω-dim(T) ≤ 1. In particular, R is a ω-Noetherian ring with ω-dim(R) = 0 if and only if R is an Artinian ring. 相似文献
17.
Let be a property (or, equivalently, a class) of topological spaces. A space X is called -bounded if every subspace of X with (or in) has compact closure. Thus, countable-bounded has been known as ω-bounded and (σ-compact)-bounded as strongly ω-bounded. In this paper we present a systematic study of the interrelations of these two known “boundedness” concepts with -boundedness where is one of the further countability properties weakly Lindelöf, Lindelöf, hereditarily Lindelöf, and ccc. 相似文献
18.
19.
Given a real (finite-dimensional or infinite-dimensional) Hilbert space H with a Jordan product, we introduce the concepts of ω-unique and ω-P properties for linear transformations on H, and investigate some interconnections among these concepts. In particular, we discuss the ω-unique and ω-P properties for Lyapunov-like transformations on H. The properties of the Jordan product and the Lorentz cone in the Hilbert space play important roles in our analysis. 相似文献
20.
An n ×nω-circulant matrix which has a specific structure is a type of important matrix. Several norm equalities and inequalities are proved for ω-circulant operator matrices with ω = eiθ (0 ≤ θ < 2π) in this paper. We give the special cases for norm equalities and inequalities, such as the usual operator norm and the Schatten p-norms. Pinching type inequality is also proposed for weakly unitarily invariant norms. Meanwhile, we present that the set of ω-circulant matrices with complex entries has an idempotent basis. Based on this basis, we introduce an automorphism on the ω-circulant algebra and then show different operators on linear vector space that are isomorphic to the ω-circulant algebra. The function properties, other idempotent bases and a linear involution are discussed for ω-circulant algebra. These results are closely related to the special structure of ω-circulant matrices. 相似文献