Research on,1/0,0/0,/0°and Complete Theorem of1/0-1/0=0/0-0°

It is known that 0 cannot be taken as a denominator which not only leads 1/0,0/0and 0°as meaningless but also compels many functions to appear discontinuous while numerous existing formulas would be subjected to restrictions.More importantly,the research on mathematics is also restricted to a certain extent in terms of their direction.Therefore,it is of great significance to endow 0 as a denominator in perfecting the current algorithm to solve a series of problem in the mathematics field that has been persistently present for a long time,to fill in many research gaps that have been neglected,as well as to elevate mathematical research to a higher level.

ON COMPLETE SUBMANIFOLDS WITH PARALLEL MEAN CURVATURE IN NEGATIVE PINCHED MANIFOLDS

A rigidity theorem for oriented complete submanifolds with parallel mean curvature in a complete and simply connected Riemannian （n ＋ p）-dimensional manifold N^n＋p with negative sectional curvature is proved. For given positive integers n（≥ 2）, p and for a constant H satisfying H 〉 1 there exists a negative number τ（n,p, H） ∈ （-1, 0） with the property that if the sectional curvature of N is pinched in [-1, τ-（n,p, H）], and if the squared length of the second fundamental form is in a certain interval, then N^n＋p is isometric to the hyperbolic space H^n＋P（-1）. As a consequence, this submanifold M is congruent to S^n（1√H^2 - 1） or the Veronese surface in S^4（1/√H^2-1）.

CONTACT PROCESS ON HEXAGONAL LATTICE

In this article, we discuss several properties of the basic contact process on hexagonal lattice H, showing that it behaves quite similar to the process on d-dimensional lattice Zd in many aspects. Firstly, we construct a coupling between the contact process on hexagonal lattice and the oriented percolation, and prove an equivalent finite space-time condition for the survival of the process. Secondly, we show the complete convergence theorem and the polynomial growth hold for the contact process on hexagonal lattice. Finally, we prove exponential bounds in the supercritical case and exponential decay rates in the subcritical case of the process.

On the Relationship Between the Baum-Katz-Spitzer Complete Convergence Theorem and the Law of the Iterated Logarithm

For a sequence of i.i.d. Banach space-valued random variables {Xn; n ≥ 1} and a sequence of positive constants {an; n ≥ 1}, the relationship between the Baum-Katz-Spitzer complete convergence theorem and the law of the iterated logarithm is investigated. Sets of conditions are provided under which （i） lim sup n→∞ ｜｜Sn｜｜/an〈∞ a.s.and ∞ ∑n=1（1/n）P（｜｜Sn｜｜/an ≥ε〈∞for all ε 〉 λ for some constant λ ∈ [0, ∞） are equivalent;（ii） For all constants λ ∈ [0, ∞）,lim sup ｜｜Sn｜｜/an =λ a.s.and ^∞∑ n=1（1/n） P（｜｜Sn｜｜/an ≥ε）{〈∞, if ε〉λ =∞,if ε〈λare equivalent. In general, no geometric conditions are imposed on the underlying Banach space. Corollaries are presented and new results are obtained even in the case of real-valued random variables.

A Supplement to the Baum-Katz-Spitzer Complete Convergence Theorem

Let {X, Xn; n≥ 1} be a sequence of i.i.d. Banach space valued random variables and let {an; n ≥ 1} be a sequence of positive constants such thatan↑∞ and 1〈 lim inf n→∞ a2n/an≤lim sup n→∞ a2n/an〈∞Set Sn=∑i=1^n Xi,n≥1.In this paper we prove that∑n≥1 1/n P（｜｜Sn｜｜≥εan）〈∞ for all ε〉0if and only if lim n→∞ Sn/an=0 a.s. This result generalizes the Baum-Katz-Spitzer complete convergence theorem. Combining our result and a corollary of Einmahl and Li, we solve a conjecture posed by Gut.

A unified approximate reasoning theory suitable for both propositional calculus system L and predicate calculus system K

The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.

Complete Convergence and Complete Moment Convergence for Martingale Diference Sequence

In the paper,we investigate the complete convergence and complete moment convergence for the maximal partial sum of martingale diference sequence.Especially,we get the Baum–Katz-type Theorem and Hsu–Robbins-type Theorem for martingale diference sequence.As an application,a strong law of large numbers for martingale diference sequence is obtained.

Variant quantifiers in L_(3)-valued first-order logic

Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.