On fuzzy subgroups and fuzzy ideals under triangular norms

In this communication, we explicitly point out that the principal results of Liu 1982 basically deduced from the definition of binary operation ° on the set F(X) of all fuzzy subsets of X, also hold if one uses the weaker definition of product under triangular norm °_t. Fuzzy ideals with respect to the triangular norms are also defined.     

Who's who in fuzzy sets

In this paper some fuzzy relation equations provided with one solution on a finite set are characterized: we consider fuzzy relation equations H ° Q = T with Q?F(XxY) and card X ? cardY. After recalling the definition of equivalent fuzzy relation equations, we introduce the definition of ρ-equivalent ones, which allows us to constrain our research without loss of generality to fuzzy relation equations where T does not have zero-components.     

Solution of fuzzy equations with extended operations

Assuming that 1 is any operation defined on a product set X × Y and taking values on a set Z, it can be extended to fuzzy sets by means of Zadeh's extension principle. Given a fuzzy subset C of Z, it is here shown how to solve the equation $\text{A 1 B = C}$ (or $\text{A 1 B ? C}$) when a fuzzy subset A of X (or a fuzzy subset B of Y) is given. The methodology we provide includes, as a special case, the resolution of fuzzy arithmetical operations, i.e. when 1 stands for +, ?, × or ÷, extended to fuzzy numbers (fuzzy subsets of the real line). The paper is illustrated with several examples in fuzzy arithmetic.     

On fuzzy almost continuous convergence in fuzzy function spaces

In this paper, we study the fuzzy almost continuous convergence of fuzzy nets on the set FAC(X, Y) of all fuzzy almost continuous functions of a fuzzy topological space X into another Y. Also, we introduce the notions of fuzzy splitting and fuzzy jointly continuous topologies on the set FAC(X, Y) and study some of its basic properties.     

Fuzzy dynamical systems

A fuzzy dynamical system on an underlying complete, locally compact metric state space X is defined axiomatically in terms of a fuzzy attainability set mapping on X. This definition includes as special cases crisp single and multivalued dynamical systems on X. It is shown that the support of such a fuzzy dynamical system on X is a crisp multivalued dynamical system on X, and that such a fuzzy dynamical system can be considered as a crisp dynamical system on a state space of nonempty compact fuzzy subsets of X. In addition fuzzy trajectories are defined, their existence established and various properties investigated.     

Fixed points for fuzzy mappings

In this paper the problem of the existence and computation of fixed points for fuzzy mappings is approached. A fuzzy mapping R over a set X is defined to be a function attaching to each x in X a fuzzy subset R_χ of X. An element x of X is called fixed point of R iff its membership degree to R_χ is at least equal to the membership degree to R_χ of any y?X, i.e. R_χ(χ)? R_χ(y)(?y?X). Two existence theorems for fixed points of a fuzzy mapping are proved and an algorithm for computing approximations of such a fixed point is described. The convergence theorem of our algorithm is proved under the restrictive assumption that for any x in X, the membership function of R_χ has a ‘complementary function’. Examples of fuzzy mappings having this property are given, but the problem of proving general criteria for a function to have a complementary remain open.     

Almost compactness in fuzzy topological spaces

We introduce and study almost compactness for fuzzy topological spaces. We show that the almost continuous image of an almost compact fuzzy topological space is almost compact. Moreover, we show that generally almost compactness for fuzzy topological spaces is not product-invariant, but if X and Y are almost fuzzy topological spaces and X is product related to Y, then their fuzzy topological product is almost compact.     

Descriptions of equivalence of O-connectivity

We first study some properties of the subspace, and investigate into the relationship of separation between a fuzzy topological space (fts) and its subspace. Then we obtain the equivalence conditions for O-connectivity. The results on O-connectivity and separation are very similar to those in general topology. Finally we discuss the relationship of connectivity between an O-connected set A in the fts (X, ω ($\text{T}$)) induced by the crisp topological space (X, $\text{T}$) and the crisp set A₀ (=supp A) in (X, $\text{T}$).     

Some comments on fuzzy variables

Nahmias introduced the concept of a fuzzy variable as a possible axiomatic framework from which a rigorous theory of fuzziness may be constructed. In this paper we attempt to shed more light on fuzzy variables in analogy with random variables. In particular, we study the problem: if X₁, X₂,…,X_n are mutually unrelated fuzzy variables with common membership function μ and α₁, α₂,…,α_n are real numbers satisfying α_i ? o for every i and Σ_i=1ⁿα_i=1, when does does Z = Σ_{i = 1}ⁿα_iX_i have the same membership function μ?     

Coherent sequences and threads

The combinatorial principle □(λ) says that there is a coherent sequence of length λ that cannot be threaded. If λ=κ⁺, then the related principle κ_□ implies □(λ). Let κ?ℵ₂ and X⊆κ. Assume both □(κ) and κ_□ fail. Then there is an inner model N with a proper class of strong cardinals such that X∈N. If, in addition, κ?ℵ₀² and n<ω, then there is an inner model Mn(X) with n Woodin cardinals such that X∈Mn(X). In particular, by Martin and Steel, Projective Determinacy holds. As a corollary to this and results of Todorcevic and Velickovic, the Proper Forcing Axiom for posets of cardinality ⁺(ℵ₀²) implies Projective Determinacy.     

Eigen fuzzy sets and fuzzy relations

When R is a fuzzy relation between the elements of a finite set X, the fuzzy sets A of X such that R ° A = A (MAX-MIN composition) are called eigen fuzzy sets. The main result of this paper is the determination of the greatest eigen fuzzy set associated with a given fuzzy relation and we give three methods illustrated by an example. We then state that the greatest eigen fuzzy set associated with $\text{R}\text{?}$, the transitive closure of R, is exactly the one associated with R. Finally we describe how to obtain all fuzzy relations keeping invariant a given fuzzy set.     

Effective non-vanishing of global sections of multiple adjoint bundles for polarized 3-folds

Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this paper, we provide a lower bound for h⁰(m(K_X+L)) under the assumption that κ(K_X+L)≥0. In particular, we get the following: (1) if 0≤κ(K_X+L)≤2, then h⁰(K_X+L)>0 holds. (2) If κ(K_X+L)=3, then h⁰(2(K_X+L))≥3 holds. Moreover we get a classification of (X,L) with κ(K_X+L)=3 and h⁰(2(K_X+L))=3 or 4.     

A characterization of fuzzy compactifications

It is shown that if X is a fuzzy T₂-space, then X has a fuzzy T₂-compactification if and only if X is a weakly induced ultra completely regular space. Also, for an arbitrary fuzzy topological space, a characterization is given of the set of all ultra fuzzy Compactifications.     

Resolvability vs. almost resolvability

A space X is κ-resolvable (resp. almost κ-resolvable) if it contains κ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X).Answering a problem raised by Juhász, Soukup, and Szentmiklóssy, and improving a consistency result of Comfort and Hu, we prove, in ZFC, that for every infinite cardinal κ there is an almost κ²-resolvable but not ω₁-resolvable space of dispersion character κ.     

Method of solution to fuzzy relation equations in a complete Brouwerian lattice

Up to now, how to solve a fuzzy relation equation in a complete Brouwerian lattice is still an open problem as Di Nola et al. point out. To this problem, the key problem is whether there exists a minimal element in the solution set when a fuzzy relation equation is solvable. In this paper, we first show that there is a minimal element in the solution set of a fuzzy relation equation AX=b (where A=(a₁,a₂,…,a_n) and b are known, and X=(x₁,x₂,…,x_n)^T is unknown) when its solution set is nonempty, and b has an irredundant finite join-decomposition. Further, we give the method to solve AX=b in a complete Brouwerian lattice under the same conditions. Finally, a method to solve a more general fuzzy relation equation in a complete Brouwerian lattice when its solution set is nonempty is also given under similar conditions.     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Fuzzy set approach to the utility,preference relations,and aggregation operators

Score x = (x₁, … , x_n) describing an alternative α is modelled by means of a continuous quasi-convex fuzzy quantity μ_α = μ_x, thus allowing to compare alternatives (scores) by means of fuzzy ordering (comparison) methods. Applying some defuzzification method leads to the introduction of operators acting on scores. A special stress is put on the Mean of Maxima defuzzification method allowing to introduce several averaging aggregation operators. Moreover, our approach allows to introduce weights into above mentioned aggregation, even in the non-anonymous (non-symmetric) case. Finally, Ordered Weighted Aggregation Operators (OWAO) are introduced, generalizing the standard OWA operators.     

The Hurewicz dichotomy for generalized Baire spaces

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space X is covered by a K_σ subset of X if and only if it does not contain a closed-in-X subset homeomorphic to the Baire space ^ww. We consider the analogous statement (which we call the Hurewicz dichotomy) for ∑₁¹j subsets of the generalized Baire space ^κκ for a given uncountable cardinal κ with κ = κ^<κ. We show that the statement that this dichotomy holds at all uncountable regular cardinals is consistent with the axioms of ZFC together with GCH and large cardinal axioms. In contrast, we show that the dichotomy fails at all uncountable regular cardinals after we add a Cohen real to a model of GCH. We also discuss connections with some regularity properties, like the κ-perfect set property, the κ-Miller measurability, and the κ-Sacks measurability.     

Inadmissible forcing

A structure is E-closed if it is closed under all partial E-recursive functions from V into V, a set theoretic extension of Kleene's partial recursive functions of finite type in the normal case. Let L(κ) be E-closed and ∑₁ inadmissible. Then L(κ) has reflection properties useful in the study of generic extensions of L(κ). Every set generic extension of L(κ) via countably closed forcing conditions is E-closed. A class generic construction shows: if L(κ) is countable, and inside L(κ) the greatest cardinal gc(κ), has uncountable cofinality, then there exists a T ⊆ gc(κ) such that L(κ, T) = E(T), the least E-closed set with T as a member. A partial converse is obtained via a selection theorem that implies E(X) is ∑₁ admissible when X is a set of ordinals and the greatest cardinal in the sense of E(X) has countable cofinality in E(X).     

测试模糊码的一种算法

Abstract. How to verify that a given fuzzy set A∈F(X ) is a fuzzy code? In this paper, an al-gorithm of test has been introduced and studied with the example of test. The measure notionfor a fuzzy code and a precise formulation of fuzzy codes and words have been discussed.