On intervals and isometries of MV-algebras

Let Int be the lattice of all intervals of an MV-algebra . In the present paper we investigate the relations between direct product decompositions of and (i) the lattice Int , or (ii) 2-periodic isometries on , respectively.     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

Convex Chains in a Pseudo MV-Algebra

For a pseudo MV-algebra we denote by the underlying lattice of . In the present paper we investigate the algebraic properties of maximal convex chains in containing the element 0. We generalize a result of Dvureenskij and Pulmannová.     

Exceptional Sequences in Hall Algebras and Quantum Groups

Let be a finite-dimensional hereditary algebra over a finite field k, () and () be, respectively, the Hall algebra and the composition algebra of , be the isomorphism classes of finite dimensional -modules and I the isomorphism classes of simple -modules. We define and , in , to be the right and left derivations of () respectively. By using these derivations and the action of the braid group on the set of exceptional sequences of -mod, we provide an effective algorithm of calculating the root vectors of real Schur roots. This means that we get an inductive method to express u as the combinations of elements u_i in the Hall algebra, where i I and in is any exceptional -module. Because of the canonical isomorphism between the Drinfeld–Jimbo quantum group and the generic composition algebra, our algorithm is applicable directly to quantum groups. In particular, all the root vectors are obtained in this way in the finite type cases.     

Some remarks on the product of two C α-compact subsets

For a cardinal , we say that a subset B of a space X is C -compact in X if for every continuous function is a compact subset of . If B is a C-compact subset of a space X, then (B, X) denotes the degree of C -compactness of B in X. A space X is called -pseudocompact if X is C -compact into itself. For each cardinal , we give an example of an -pseudocompact space X such that X × X is not pseudocompact: this answers a question posed by T. Retta in Some cardinal generalizations of pseudocompactness Czechoslovak Math. J. 43 (1993), 385–390. The boundedness of the product of two bounded subsets is studied in some particular cases. A version of the classical Glicksberg's Theorem on the pseudocompactness of the product of two spaces is given in the context of boundedness. This theorem is applied to several particular cases.     

Lifting Automorphisms

Let A be a unital nuclear separable C*-algebra which satisfies the Universal Coefficient Theorem and E be a unital essential extension of the form:

A Canonical Directly Infinite Ring

Let be the set of nonnegative integers and the ring of integers. Let be the ring of N × N matrices over generated by the following two matrices: one obtained from the identity matrix by shifting the ones one position to the right and the other one position down. This ring plays an important role in the study of directly finite rings. Calculation of invertible and idempotent elements of yields that the subrings generated by them coincide. This subring is the sum of the ideal consisting of all matrices in with only a finite number of nonzero entries and the subring of generated by the identity matrix. Regular elements are also described. We characterize all ideals of , show that all ideals are finitely generated and that not all ideals of are principal. Some general ring theoretic properties of are also established.     

The third boundary value problem in potential theory for domains with a piecewise smooth boundary

The paper investigates the third boundary value problem for the Laplace equation by the means of the potential theory. The solution is sought in the form of the Newtonian potential (1), (2), where is the unknown signed measure on the boundary. The boundary condition (4) is weakly characterized by a signed measure the corresponding operator on the space of signed measures on the boundary of the investigated domain G. If there is 0 such that the essential spectral radius of is smaller than || (for example, if G R ³ is a domain with a piecewise smooth boundary and the restriction of the Newtonian potential on G is a finite continuous functions) then the third problem is uniquely solvable in the form of a single layer potential (1) with the only exception which occurs if we study the Neumann problem for a bounded domain. In this case the problem is solvable for the boundary condition for which (G) = 0.     

Defining relations of semigroups of all directed transformations of an ordered finite set

The semigroup of all transformations X of a finite (partially) ordered set , such that X for all , is considered. All possible generating sets of a are elucidated. Only one of those sets is irreducible. A system of defining relations is found for that generating set.Translated from Matematicheskie Zametki, Vol. 3, No. 6, pp. 657–662, June, 1968.     

The Product of Independent Random Variables with Regularly Varying Tails

A distribution is said to have regularly varying tail with index – (0) if lim _x(kx,)/(x,)=k ^– for each k>0. Let X and Y be independent positive random variables with distributions and , respecitvely. The distribution of product XY is called Mellin–Stieltjes convolution (MS convolution) of and . It is known that D() (the class of distributions on (0,) that have regularly varying tails with index –) is closed under MS convolution. This paper deals with decomposition problem of distributions in D() related to MS convolution. A representation of a regularly varying function F of the following form is investigated: F(x)= _k=0 ^n–1 b _k f(a ^k x), where f is a measurable function and a and b _k (k=1,...,n–1) are real constants. A criterion is given for these constants in order that f be regularly varying. This criterion is applicable to show that there exist two distributions and such that neither nor belongs to D() (>0) and their MS convolution belongs to D().     

On a new class of multiplicative pseudo-random number generators

In the computing literature, there are few detailed analytical studies of the global statistical characteristics of a class of multiplicative pseudo-random number generators.We comment briefly on normal numbers and study analytically the approximately uniform discrete distribution or (j,)-normality in the sense of Besicovitch for complete periods of fractional parts {x _{0 1} ⁱ /p} on [0, 1] fori=0, 1,..., (p–1)p^–1–1, i.e. in current terminology, generators given byx _{n+1 1} x _n mod p wheren=0, 1,..., (p–1)p ^–1–1,p is any odd prime, (x ₀,p)=1, ₁ is a primitive root modp ², and 1 is any positive integer.We derive the expectationsE(X, ),E(X ², ),E(X _nX_n+k); the varianceV(X, ), and the serial correlation coefficient k. By means of Dedekind sums and some results of H. Rademacher, we investigate the asymptotic properties of k for various lagsk and integers 1 and give numerical illustrations. For the frequently used case =1, we find comparable results to estimates of Coveyou and Jansson as well as a mathematical demonstration of a so-called rule of thumb related to the choice of ₁ for small k.Due to the number of parameters in this class of generators, it may be possible to obtain increased control over the statistical behavior of these pseudo-random sequences both analytically as well as computationally.     

On the circles of Apollonius associated with a triangle

Given a ratio , >>0, and a triangle ABC, on the sides and , using ratios , and , three circles of Apollonius are denned. In this paper, we will show that the three centers are collinear, the circles are coaxal and develop a necessary and sufficient condition that these circles intersect. J. A. Hoskins, W. D. Hoskins and R. G. Stanton obtained these results in a recent paper using algebraic computation. Our aim is to establish all these results using only results from elementary Euclidean geometry and thereby uncovering more geometric insights and avoid lengthy calculations.     

M-estimators of structural parameters in pseudolinear models

Real valued M-estimators in a statistical model 1 with observations are replaced by -valued M-estimators in a new model with observations where are regressors, is a structural parameter and a structural function of the new model. Sufficient conditions for the consistency of are derived, motivated by the sufficiency conditions for the simpler parent estimator The result is a general method of consistent estimation in a class of nonlinear (pseudolinear) statistical problems. If F has a natural exponential density e^{x–b( x )} then our pseudolinear model with u = (g o )^–1 reduces to the well known generalized linear model, provided () = db()/d and g is the so-called link function of the generalized linear model. General results are illustrated for special pairs and leading to some classical M-estimators of mathematical statistics, as well as to a new class of generalized -quantile estimators.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

Fonctions Séparément Finement Surharmoniques

Nous montrons que toute fonction séparément finement surharmonique sur un ouvert de la topologie produit _{n_1}×s× _{n_k} des topologies fines des espaces R ⁿ ₁,. . ., R ⁿ _k, _{n_1}×s× _{n_k}-localement bornée inférieurement est finement surharmonique dans . On en déduit que toute fonction séparément finement harmonique, _{n_1}×s× _{n_k}-localement bornée sur est finement harmonique dans .Separately Finely Superharmonic Functions Abstract.We prove that every separately finely surperharmonic function on an open set in R ⁿ ₁×s×R ⁿ _k for the product _{n_1}×s× _{n_k} of the fine topologies on the spaces R ⁿ ₁,. . ., R ⁿ _k, _{n_1}×s× _n-_klocally lower bounded, is finely superharmonic in . We then deduce that every separateltly finely harmonic function _{n_1}×s× _{n k}-locally bounded in is finely harmonic.     

On positive solutions of quasilinear elliptic systems

In this paper, we consider the existence and nonexistence of positive solutions of degenerate elliptic systems where –_p is the p-Laplace operator, p > 1 and is a C ^1,-domain in . We prove an analogue of [7, 16] for the eigenvalue problem with and obtain a non-existence result of positive solutions for the general systems.     

α-Sober spaces via the orthogonal closure operator

Each ordinal equipped with the upper topology is a T ₀-space. It is well known that for =2 the reflective hull of in Top₀ is the subcategory of sober spaces. Here, we define -sober space for each 2 in such a way that the reflective hull of in Top₀ is the subcategory of -sober spaces. Moreover, we obtain an order-preserving bijective correspondence between a proper class of ordinals and the corresponding (epi)reflective hulls. Our main tool is the concept of orthogonal closure operator, first introduced in [12].The author acknowledges financial support from Instituto Politécnico de Viseu and from Centro de Matemática da Universidade de Coimbra.     

The local limit problem and Hölder-continuity

Summary The local limit problem is investigated for sequences (p _n ) of probability densities with stable limit densitiesq having characteristic exponent (0, 2).It is shown that certain continuity-properties (Hölder-continuity) are necessary and - under appropriate additional conditions-sufficient for asn. In this sence the speed of convergence is also studied.     

Eulerian numbers with fractional order parameters

Summary The aim of this paper is to generalize the well-known Eulerian numbers, defined by the recursion relationE(n, k) = (k + 1)E(n – 1, k) + (n – k)E(n – 1, k – 1), to the case thatn is replaced by . It is shown that these Eulerian functionsE(, k), which can also be defined in terms of a generating function, can be represented as a certain sum, as a determinant, or as a fractional Weyl integral. TheE(, k) satisfy recursion formulae, they are monotone ink and, as functions of , are arbitrarily often differentiable. Further, connections with the fractional Stirling numbers of second kind, theS(, k), > 0, introduced by the authors (1989), are discussed. Finally, a certain counterpart of the famous Worpitzky formula is given; it is essentially an approximation ofx in terms of a sum involving theE(, k) and a hypergeometric function.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

On computing the number of subgroups of a finite Abelian group

We consider the numberN _A (r) of subgroups of orderp ^r ofA, whereA is a finite Abelianp-group of type =₁,₂,..., _l ()), i.e. the direct sum of cyclic groups of order ⁱⁱ. Formulas for computingN _A (r) are well known. Here we derive a recurrence relation forN _A (r), which enables us to prove a conjecture of P. E. Dyubyuk about congruences betweenN _A (r) and the Gaussian binomial coefficient .