Topos is a set-like category. In topos, the axiom of choice can be expressed as (AC1), (AC2) and (AC3). Category Fuz of fuzzy sets has a similar function to the topos Set and it forms weak topos. But Fuz does not satisfy (AC1), (AC2) and (AC3). So we define (WAC1), (WAC2) and (WAC3) in weak topos Fuz. And we show that they are equivalent in Fuz.

We consider matrices whose entries can be viewed as elements of both nonnegative integers and nonnegative rational numbers. We determine the differences of factor rank of matrices over the two semirings.

Several authors find all the derivations of an algebra [1], [3], [7]. A Weyl type non-associative algebra and its sub algebra are defined in the paper [2], [3], [10]. All the derivations of the non-associative algebra is found in this paper [4]. We find all the derivations of the non-associative algebra in this paper [5].

In this paper, we introduce and study a new iterative algorithm for approximating zeroes of accretive operators in Banach spaces.

Let T be a bounded linear operator on a Banach space X. And let be the local resolvent set of T at . Then we prove that a complex number belongs to if and only if there is a sequence in X such that for n = 0, 1, 2,..., = x and is bounded.

In this paper, we define the sequence spaces: , where E is any Banach space, and u = () be any sequence such that for any k , examine them and give various properties and inclusion relations on these spaces. We also show that the space may be represented as a space. These are generalizations of those defined and studied by M. Et., Y. Altin and H. Altinok [7].

In this paper, we shall give an affirmative answer to the question raised by Kim and Tan [1] dealing with generalized vector quasi-variational inequalities which generalize many existence results on (VVI) and (GVQVI) in the literature. Using the maximal element theorem, we derive two theorems on the existence of weak solutions of (GVQVI), one theorem on the existence of strong solution of (GVQVI), and one theorem on strong solution in the 1-dimensional case.

On the unit disk of the complex plane, a characterization of Bloch function is expressed extending known result.

Using calculus inequalities and embedding theorems in , we establish -estimates for the solutions of prey-predator population model with cross-diffusion and self-diffusion terms. Two cases are considered; (i) $d_1\;

Generic submanifolds of a Riemannian manifold endowed with a hypercosymplectic 3-structure are studied. Integrability conditions for certain distributions on the generic submanifold are discussed. Geometry of leaves of certain distributions are also studied.

John Harer conjectured that the canonical map from braid group to mapping class group induces zero homology homomorphism. To prove the conjecture it suffices to show that this map preserves the first Araki-Kudo-Dyer-Lashof operation. To get information on this homology operation we need to investigate the image of braiding under the Harer map. The main result of this paper is to give both algebraic and geometric interpretations of the image of braiding under the Harer map. For this we need to calculate long chains of consecutive actions of Dehn twists on the fundamental group of surface.

In this paper, we show that if the minimal basically disconnected cover is given by the space of fixed a -ultrafilters on $X_\imath\;(\imath

We prove that if a continuous surjective map f on a compact metric space X has the average shadowing property, then every point x is chain recurrent. We also show that if a homeomorphism f has more than two fixed points on , then f does not satisfy the average shadowing property. Moreover, we construct a homeomorphism on a circle which satisfies the shadowing property but not the average shadowing property. This shows that the converse of the theorem 1.1 in [6] is not true.

A new bivariate beta distribution based on the Appell function of the third kind is introduced. Various representations are derived for its product moments, marginal densities, marginal moments, conditional densities and conditional moments. The method of maximum likelihood is used to derive the associated estimation procedure as well as the Fisher information matrix.

We consider a class of bilinear models with periodic regime switching and find easy-to-check sufficient conditions that ensures the existence of a stationary process obtained from given difference equation. Existence of a higher order moments is examined.

We study the exponential fuzzy probability for quadratic fuzzy number and trigonometric fuzzy number defined by quadratic function and trigonometric function, respectively. And we calculate the exponential fuzzy probabilities for fuzzy numbers driven by operations.

We construct polynomial-fitting interpolation rules to agree with a function f and its first derivative f` at equally spaced nodes on the interval of interest by introducing a linear functional with which we produce systems of linear equations. We also introduce a matrix whose determinant is not zero. Such a property makes it possible to solve the linear systems and then leads to a conclusion that the rules are uniquely determined for the nodes. An example is investigated to compare the rules with Hermite interpolating polynomials.