Recurrent and sweep-out sets for Markov processes

LetP be a Markov process on a probability space (X, ,m). Roughly speaking, a sweep-out set is a set which is reached with probability 1 under the action of the process form-almost all starting points. Obviously, in a finite state space no sweep-out sets of arbitrary small measure exist. The authors show that in general arbitrary small sweep-out sets exist, unless there is an invariant subset of the state space on which the process behaves as on a finite state space. Moreover, if there exist arbitrary small sweep-out sets and if is countably generated, then there exists an algebra of sweepout sets generating . The main tool to obtain these results is the use of embedded processes. Some properties of these processes are collected, and as a side-result a short and elementary proof of the decomposition theorem ofE. Hopf of the state space in a conservative and a dissipative part is given.     

Σ-Subsets of Natural Numbers

It is shown that the class of all possible families of -subsets of finite ordinals in admissible sets coincides with a class of all non-empty families closed under e-reducibility and . The construction presented has the property of being minimal under effective definability. Also, we describe the smallest (w.r.t. inclusion) classes of families of subsets of natural numbers, computable in hereditarily finite superstructures. A new series of examples is constructed in which admissible sets lack in universal -function. Furthermore, we show that some principles of classical computability theory (such as the existence of an infinite non-trivial enumerable subset, existence of an infinite computable subset, reduction principle, uniformization principle) are always satisfied for the classes of all -subsets of finite ordinals in admissible sets.     

Uniform boundedness of a family of set functions

Let be a ring of sets, X a normed space, : X ( ) a bounded family of triangular functions. The following generalized Nikodym theorem is established: the family {} is uniformly bounded on if and only if it is bounded on every sequence of pairwise disjoint sets of which the union is a part of some set in . An analogous criterion is established also for semiadditive functions. In addition, it is shown that uniform boundedness of a family of triangular functions is preserved in passing from a ring to the -ring it generates.Translated from Matematicheskie Zametki, Vol. 23, No. 6, pp. 855–861, June, 1978.     

Spreads admitting net generating regulizations

We say a spread S carries a regulization , if is a collection of reguli contained in S and if each element of S, except at most two lines, is contained either in exactly one regulus of or in all reguli of . Replacement of each regulus of by its complementary regulus (exceptional lines remain unchanged) yields the complementary congruence S^c of S with respect to . If S^c is a hyperbolic or parabolic or elliptic linear congruence of lines, then is called a net generating, in particular, a hyperbolic or parabolic or elliptic regulization, respectively. For hyperbolic and parabolic regulizations we also give other geometric characterizations.     

On the Ershov Upper Semilattice

We find some links between -reducibility and T-reducibility. We prove that (1) if a quasirigid model is strongly -definable in a hereditarily finite admissible set over a locally constructivizable B-system, then it is constructivizable; (2) every abelian p-group and every Ershov algebra is locally constructivizable; (3) if an antisymmetric connected model is -definable in a hereditarily finite admissible set over a countable Ershov algebra then it is constructivizable.     

Weighted Polynomial Approximation for Weights with Logarithmic Singularities in the Extremal Measure

Let w : [0, ) be a weight function on a set R. We assume that the associated extremal measure has density function v(t) with finitely many singularities of logarithmic type. We show that any continuous function f on which vanishes outside the set where v is positive or has a logarithmic singularity, is the uniform limit on of a sequence of weighted polynomials of the form wⁿ P_n, where P_n is of degree n. This extends previous results for continuous densities to densities having logarithmic singularities.     

Entropy loss and risk of improved estimators for the generalized variance and precision

Let the distributions of X(p×r) and S(p×p) be N(, I _r) and W _p(n, ) respectively and let them be independent. The risk of the improved estimator for || or {ei329-1} based on X and S under entropy loss (=d/|| –log(d/||)–1 or d||–log(d||)–1) is evaluated in terms of incomplete beta function of matrix argument and its derivative. Numerical comparison for the reduction of risk over the best affine equivariant estimator is given.Dedicated to Professor Yukihiro Kodama on his 60th birthday.     

4-Dimensional compact projective planes with small nilradical

We consider 4-dimensional compact projective planes with a solvable 6-dimensional collineation group and with orbit type (2, 1), i.e. fixes a flagv W, acts transitively onL \{W} and fixes no point in the setW\{v}. We We prove a series of lemmas concerning the action of invariant subgroups of . These lemmas are applied to prove that the maximal connected nilpotent invariant subgroup of has dimension at least 4.Dedicated to Prof. H. Salzmann on the occasion of his 65th birthday     

Existence and Construction of Simple B-Splines of Class C k on a Four-Directional Mesh of the Plane

In this paper we present a study of spaces of splines in C ^k (R ²) with supports the square ₁ and the lozenge ₁ formed respectively by four and eight triangles of the uniform four directional mesh of the plane. Such splines are called ₁ and ₁-splines. We first compute the dimension of the space of ₁-splines. Then we prove the existence of a unique ₁-spline of minimal degree for any fixed k0. By using this last result, we also prove the existence of a unique ₁-spline of minimal degree. Finally, we describe algorithms allowing to compute the Bernstein–Bézier coefficients of ₁-spline and ₁-spline of minimal degree.     

The inverse hull of the free semigroup on a set X

In this paper the inverse hull of the free semigroup on a non-empty set X is characterized. It is shown that if F^O is a certain semilattice and (G,*) is the free group on X, then is isomorphic to a Rees factor semigroup of a subsemigroup of (F^O x G, #), where (A,w)#(B,u) = ((A*w B)*w^–1, w*u). Several properties of , including Green's relations on are also determined.     

Embedding a non-embeddable stable plane

In [4], K. Strambach describes a 2-dimensional stable plane admitting =SL₂ as a group of automorphisms such that there exists no -equivarient embedding into a 2-dimensional projective plane. R. Löwen [3] has given a 4-dimensional analogue , admitting =SL₂. He posed the question whether there are embeddings of Strambach's plane into . We show that such embeddings exist, in fact we determine all -equivariant embeddings of 2-dimensional stable planes admitting as atransitive group of automorphisms.     

Proper 2-Covers of PG(3,q), q Even

A k-cover of =PG(3q) is a set S of lines of such that every point is on exactly k lines of S. S is proper if it contains no spread. The existence of proper k-covers of is necessary for the existence of maximal partial packings of q ²+q+1–k spreads of . Here we give the first construction of proper 2-packings of PG(3,q) with q even; for q odd these have been constructed by Ebert.     

Subgroups generated by root-elements of groups generated byk-root subgroups

LetG be a Chevalley group over the fieldk and the class of long root subgroups ofG or an abstract group generated by a class of k-root subgroups. Then elements ofA, A are called root-elements. This paper is concerned with the question, whether a subgroupU ofG generated by root-elements is already generated byl-root subgroups,l a subfield ofk. Especially if it is shown that this is the case, whenU is a fixpoint subgroup under some set of automorphisms.     

C k -B-splines with Square Support on a Three-Direction Mesh of the Plane

Let be the uniform triangulation generated by the usual three-directional mesh of the plane and let ₁ be the unit square consisting of two triangles of . We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ having a sufficiently high degree n, which are symmetrical with respect to the first diagonal of ₁. Such splines are called ₁-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁-splines of class C ^k and minimal degree. These splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines, and we give an example.     

G-Covering Systems of Subgroups for Classes of p-Supersoluble and p-Nilpotent Finite Groups

Let be a class of groups. Given a group G, assign to G some set of its subgroups =(G). We say that is a G-covering system of subgroups for (or, in other words, an -covering system of subgroups in G) if G whenever either =Ø or Ø and every subgroup in belongs to . We find the systems of subgroups in the class of finite soluble groups G which are simultaneously the G-covering systems of subgroups for the classes of p-supersoluble and p-nilpotent groups.     

Presentability of Groups of Σ-Definable Permutations over Admissible Sets

It is proved that a group of all -permutations of an arbitrary locally countable, recursively listed, admissible set is not -presentable over that set. An example is constructed showing that this group could be presentable provided that the condition of being locally countable is dropped.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

Trigonometry (II)

This paper considers geodesic triangies in a Riemannian manifoldM. First we imbed the set of geodesic triangles inM into a big spaceE, then find some equations inE satisfied by tangent vectors of . Finally we give an application of the result.     

Classification de certains feuilletages associés à un cusp

We study singularities of foliations given by R. Moussu closely related to a conjecture of R. Thom. We give their analytic classification and prove their topological rigidity.

---

Notations , ,F 0 - H 0, III - H ₁,H _p I - H-cusp,H _r -cusp I-3 - H _p I-3, III-2 - -cusp II-1 - _r -cusp III-1