Complete stability of large order statistics

Fix an integerr1. For eachnr, letM _nr be the rth largest ofX ₁,...,X _n, where {X _n,n1} is a sequence of i.i.d. random variables. Necessary and sufficient conditions are given for the convergence of _n=r n P[|M _nr /a _n –1|<] for every >0, where {a _n} is a real sequence and –1. Moreover, it is shown that if this series converges for somer1 and some >–1, then it converges for everyr1 and every >–1.     

μ-Statistically Convergent Function Sequences

In the present paper we are concerned with convergence in -density and -statistical convergence of sequences of functions defined on a subset D of real numbers, where is a finitely additive measure. Particularly, we introduce the concepts of -statistical uniform convergence and -statistical pointwise convergence, and observe that -statistical uniform convergence inherits the basic properties of uniform convergence.     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

On the Integrability of Eigenfunctions of the Laplace-Beltrami Operator in the Unit Ball of C n

Let B denote the unit ball in C ⁿ , n1, and let , , and denote the volume measure, gradient, and Laplacian respectively, with respect to the Bergman metric on B. For R and 0<p<, we denote by L ^p the set of real, or complex-valued measurable functions f on B for which _B (1–|z|²)|f(z)| ^p d(z)<, and by D ^p the Dirichlet space of C ¹ functions f on B for which | f|L ^p . Also, for C, we denote by X the set of C ² real, or complex-valued functions f on B for which f=f. The main result of the paper is as follows: Let 0<p< and suppose R with –n ². Then L ^p X ={0}, and for 0, D ^p X ={0}(a) for all n+ when p1, and(b) for all when 0<p<1.By example it is shown that the result is best possible for all values of p with pn/(n+ .     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

We prove the completeness and decidability of the Hornlike sequents, specifically, the socalled D₂sequents (of the firstorder linear temporal logic) considered in the author's paper [Lith. Math. J., 41(3), 266–281 (2001)]. In this paper, with the help of the infinitary calculus G_L, grounded by the author in his earlier papers, for D₂sequents we construct a D₂Sat calculus of the socalled saturated type consisting of decidable deductive procedures replacing the omegarule for the always operator. In the present paper, in order to prove the completeness and decidability of the calculus D₂Sat, we construct the socalled invariant decidable calculus D₂IN. We prove the equivalence of the calculi D₂IN, D₂Sat, and G _L ^** for the socalled saturated D₂sequents. From this equivalence, by reducing an arbitrary D₂sequent to a saturated D₂sequent, and also from the completeness of the G _L ^** calculus and decidability of the invariant calculus D₂IN, we deduce the completeness and decidability of the calculus D₂Sat in the class of D₂sequents.     

On the smoothness of conjugacy for circle covering maps

A conjugacy betweenC ¹⁺ -hyperbolic circle covering maps isC ¹⁺ if it has a positive derivative on some point in the -set.     

Stability for Quadratic K1

The general quadratic group GQ _2n and its elementary subgroup EQ _2n are analogs in the theory of quadratic forms of the general linear group GL _n and its elementary subgroup E _n . This article proves that the stabilization map GQ _2n /EQ _2n GQ _2(n+1) /EQ _2(n+1) is an isomorphism whenever n +1 and S denotes the -stable rank of rings with anti-involution. As a corollary, a result is obtained which has been anticipated since the late 1960s: over rings of finite Bass–Serre dimension d, the stabilization map is an isomorphism whenever n d + 2.     

Metric and Complete Metric σ-Frames

A -frame is a lattice in which countable joins exist and binary meets distribute over countable joins. In this paper, the category MFrm, of metric -frames, is introduced, and it is shown to be equivalent to the category MLFrm _u, of metric Lindelöf frames.Finally, it is shown that the complete metric -frames are exactly the cozero parts of complete metric Lindelöf frames.     

Perturbation des résolvantes et représentation des mesures excessives

Résumé Etant donnée une résolvante V=(V )_>0 sous-markovienne sur un espace mesurable (X, B) de noyau initial V propre; on étudie alors le balayage des mesures surmédianes au moyen de la résolvante perturbée V de V par une function mesurable positive bornée sur X.Dans le cas où (X, E _v) est un espace de balayage, on montre que toute mesure excessive vérifiant , s'écrit d'une manière unique sous la forme =V où est une mesure positive sur X.     

A Note on π-Engel Conditions

In this paper we show that the weakly -Engel conditions are closely related to the existance of normal -complements; while the -Engel conditions are closely related to the -nilpotent groups.AMS Subject Classification (2000): 20D20     

Computational complexity of the integration problem for anisotropic classes

We determine the exact order of -complexity of the numerical integration problem for the anisotropic class W^r(I^d) and H^r(I^d) with respect to the worst case randomized methods and the average case deterministic methods. We prove this result by developing a decomposition technique of Borel measure on unit cube of d-dimensional Euclidean space. Moreover by the imbedding relationship between function classes we extend our results to the classes of functions W_p(I^d) and H_p(I^d). By the way we highlight some typical results and stress the importance of some open problems related to the complexity of numerical integration. Project supported by the fund of Personnel Division of Nankai University and the Program of One Hundred Distinguished Chinese Scientists of the Chinese Academy of Sciences.     

A little theorem of the bigℳ in interior point algorithms

When we apply interior point algorithms to various problems including linear programs, convex quadratic programs, convex programs and complementarity problems, we often embed an original problem to be solved in an artificial problem having a known interior feasible solution from which we start the algorithm. The artificial problem involves a constant (or constants) which we need to choose large enough to ensure the equivalence between the artificial problem and the original problem. Theoretically, we can always assign a positive number of the order O(2 ^L ) to in linear cases, whereL denotes the input size of the problem. Practically, however, such a large number is impossible to implement on computers. If we choose too large, we may have numerical instability and/or computational inefficiency, while the artificial problem with not large enough will never lead to any solution of the original problem. To solve this difficulty, this paper presents a little theorem of the big, which will enable us to find whether is not large enough, and to update during the iterations of the algorithm even if we start with a smaller. Applications of the theorem are given to a polynomial-time potential reduction algorithm for positive semi-definite linear complementarity problems, and to an artificial self-dual linear program which has a close relation with the primal—dual interior point algorithm using Lustig's limiting feasible direction vector.     

Some topological properties of ω-covering sets

We prove the following theorems:1. There exists an -covering with the property s ₀.2. Under cov there exists X such that is not an -covering orX \ B is not an -covering].3. Also we characterize the property of being an -covering.     

On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

Indivisibility of Class Numbers and Iwasawa λ-Invariants of Real Quadratic Fields

Let D>0 be the fundamental discriminant of a real quadratic field, and h(D) its class number. In this paper, by refining Ono's idea, we show that for any prime p>3, {0<D<X|h(D)0(mod p)}>> _p (X)/logX.     

Almost π-Lattices

In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.     

On the Ordered K0‐Group of Universal, Free Product C*‐Algebras

The ordered K₀-group of the universal, unital free product C^*-algebra M_k()*M_l()is calculated in the case where k is prime and not a divisor in l. It is shown that the positive cone of K₀(M_k()*M_l())is as small as possible in this case. The article also contains results (full and partial) on the ordered K₀0-group of more general universal, unital free product C^* algebras.     

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.