Fuzzy蕴涵代数的关联MP滤子和交换MP滤子

在Fuzzy蕴涵代数中对关联MP滤子和交换MP滤子的性质及应用作进一步研究.获得了关联MP滤子的若干新的等价刻画;利用交换MP滤子的性质给出了Fuzzy蕴涵代数成为可交换Fuzzy蕴涵代数的若干充要条件.     

效应代数的直觉模糊滤子

引入效应代数的直觉模糊滤子和它的水平滤子的概念,讨论了直觉模糊滤子与水平滤子间的关系,给出了直觉模糊滤子的等价描述,研究了直觉模糊滤子的几个运算性质。在两个经典效应代数的效应态射与效应同构意义下,讨论了这种直觉模糊滤子的像和前像问题。     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

剩余格蕴涵代数中多重模糊结合滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊结合滤子的概念,研究了其性质.然后,讨论了多重模糊结合滤子与模糊滤子之间的关系;接着,讨论了多重模糊结合滤子与多重模糊关联滤子之间的关系;最后,得到了在格H蕴涵代数中,不同的多重模糊结合滤子之间等价的结论.     

效应代数的(η,γ]-模糊滤子

在Lu D L和Wang G J提出效应代数中模糊滤子(简称LW-模糊滤子)概念的富有成效的工作基础上,利用模糊点与模糊集的属于与重于关系给出了一种新的模糊滤子——(η,γ]-模糊滤子的定义,指出LW-模糊滤子、(∈,∈Vq)-模糊滤子和(∈,∈Vq)-模糊滤子是它的三个特例,获得了这些模糊滤子的等价刻画.     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

R0代数的Fuzzy MP滤子

引入R0代数的Fuzzy MP滤于与Fuzzy素MP滤子的概念，给出R0代数的Fuzzy MP滤子与Fuzzy素MP滤子的若干等价刻画，并由此得到R0代数的MP滤于与素MP滤子的一些等价刻画。     

Fuzzy蕴涵代数的模糊正则滤子

在Fuzzy蕴涵代数中引入模糊正则滤子的概念并讨论其性质.获得了模糊正则滤子的若干等价刻画.深入考察了模糊正则滤子与其它类型的模糊滤子之间的关系,证明了一个模糊集是模糊Q-滤子当且仅当它既是模糊P-滤子又是模糊正则滤子的结论.     

FI代数的模糊滤子

在FI代数(Fuzzy蕴涵代数)上引入了模糊滤子的概念并给出了其等价刻画；探讨了由模糊滤子所诱导的同余关系及商代数,证明了由模糊滤子所诱导的同余关系是完备分配格.     

Heyting代数的扩张滤子

运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步研究.在Heyting代数H中引入了滤子F关于H的子集A的扩张滤子概念并考察其性质.证明了一个滤子F关于H的所有子集的扩张滤子全体之集构成一个完备Heyting代数且构成一个Stone格.     

Subsequential filters

Following N. Noble, we say that a space is subsequential if it is a subspace of a sequential space. A free filter F on ω is called subsequential if the space ω∪{F} is subsequential. In this paper, we state several properties of these filters.     

Fuzzy filters of BE-algebras

Characterizations of fuzzy filters in a BE-algebra are established. Conditions for a fuzzy set to be a fuzzy filter are given. For a fuzzy set µ the least fuzzy filter containing µ is constructed. The homomorphic properties of fuzzy filters of a BE-algebra are provided. Finally, characterizations of Noetherian BE-algebras and Artinian BE-algebras via fuzzy filters are obtained.     

Infinite products of filters

Stability of some classes of filters under the (infinite, Tikhonov) product operation is investigated. Applications to productivity of some types of set valued maps are given. Communicated by Ľubica Holá     

Characterizing filters by convergence (with respect to filters) in Banach spaces

Let X be a topological space and let F be a filter on N, recall that a sequence (xn)_n∈N in X is said to be F-convergent to the point x∈X, if for each neighborhood U of x, {n∈N:xn∈U}∈F. By using F-convergence in ?₁ and in Banach spaces, we characterize the P-filters, the P-filters⁺, the weak P-filters, the Q-filters, the Q-filters⁺, the weak Q-filters, the selective filters and the selective⁺ filters.     

Irreducible filters and sober spaces

A filterF on a convergence space is called irreducible, iff the set convF of convergence points ofF belongs toF. A space is sober, iff for every irreducible filterF there is a unique point x with convF=conv x. The categorySob-Conv of sober convergence spaces is a full productive, but not a reflective subcategory of the categoryConv of convergence spaces and continuous maps. For a topological space (X,t) the following are equivalent: (i) for every irreducible filterF on (X,t) there is a point x withF=x (ii) (X,t) is both sober and T_D (iii) every subspace of (X,t) is sober (iv) every topological space finer than (X,t) is sober (v) whenever (Y,s) is a T_o-space whose latticeO(Y,s) of open sets is isomorphic toO(x,t), then (Y,s)(X,t). The categorySob-T ₁ß of sober T₁-spaces is the greatest epi-reflective subcategory ofTop consisting of sober spaces, moreoverSob-T ₁ß is a dis-connectedness in the sense of Preuß- Arhangelskii-Wiegandt (generated by all irreducible spaces), henceSob-T ₁ is (extremal epi)-reflective inTop. It is strictly between T₁ and T₂ and different from various sorts of weak Hausdorffness discussed in the literature.     

Ample filters of invertible sheaves

Let X be a scheme, proper over a commutative Noetherian ring A. We introduce the concept of an ample filter of invertible sheaves on X and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also prove the Theorem of the Base for X and generalize Serre's Vanishing Theorem. We then generalize results for twisted homogeneous coordinate rings which were previously known only when X was projective over an algebraically closed field. Specifically, we show that the concepts of left and right σ-ampleness are equivalent and that the associated twisted homogeneous coordinate ring must be Noetherian.     

Ample filters and Frobenius amplitude

Let X be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample locally free sheaf and show that the vanishing given by the Frobenius morphism is, in a certain sense, the strongest possible. Our work can be viewed as various generalizations of the Serre Vanishing Theorem.     

Compactoid filters and USCO maps

The aim of this paper is to report in a short and self-contained way on the properties of compactoid and countably compactoid filters. We apply them to some questions in both topology and analysis such as the generation and extension of USCO maps, the study of some properties of K-analytic spaces and the study of bounds for the weight of compact sets in spaces obtained through inductive operations.     

Optimal thermal phase shift filters

In passive solar heating architecture the daily heat wave enters the structure, is attenuated in amplitude, and is shifted in phase. This poses the problem of minimizing the attenuation without changing the phase. Heat flow can be simulated by an RC electrical filter with grounded capacitors. This paper treats the problem of selecting the capacitors of such a filter to minimize the attenuation across a resistive load. An algorithm is developed and a graph of attenuation versus load is plotted when the phase lag of the inside temperature is twelve hours.