On Homotopes of Novikov Algebras

Given a unital associative commutative ring containing , we consider a homotope of a Novikov algebra, i.e., an algebra that is obtained from a Novikov algebra A by means of the derived operation on the -module A, where the mapping satisfies the equality . We find conditions for a homotope of a Novikov algebra to be again a Novikov algebra.     

On the existence of a cyclic vector for some families of operators

Under certain restrictions, it is proved that a family of self-adjoint commuting operatorsA=(A ) _where is a nuclear space, possesses a cyclic vector iff there exists a Hubert spaceH of full operator-valued measureE, where is the space dual to andE is the joint resolution of the identity of the familyA.Published in Ukrainskii Matematicheskii Zhurnal, Vol.45, No. 10, pp. 1362–1370, October, 1993.     

Anticommutative Algebras Satisfying Standard Identities of Degree Four

We define an anticommutative -algebra A(D,a) whose multiplication generalizes the concept of a Jacobi bracket in the form (4). It is proved that A(D,a) is a J-algebra and that it satisfies a standard identity of degree four. A subclass of algebras A(D,a) over which is connected with some class of 3-Lie algebras is distinguished. We establish a criterion of being simple for factor algebras of non-Lie algebras in , given a 1-dimensional annihilator, and then use it to construct examples of simple infinite-dimensional (of dimension p³-1) non-Lie J-algebras over a field satisfying standard identities of degree 4, if the characteristic p of is zero (for p > 2). Also, the criterion of algebras belonging to is given.     

On Right Symmetric and Novikov Nil-Algebras of Bounded Index

Let be a field of characteristic zero. It is proved that a right symmetric nil-algebra of index n over is right nilpotent, and a Novikov nil-algebra of index n over is nilpotent.     

Steepest Descent with Curvature Dynamical System

Let H be a real Hilbert space and let <..,.> denote the corresponding scalar product. Given a function that is bounded from below, we consider the following dynamical system:

Combinatorics of first order structures and propositional proof systems

We define the notion of a combinatorics of a first order structure, and a relation of covering between first order structures and propositional proof systems. Namely, a first order structure M combinatorially satisfies an L-sentence iff holds in all L-structures definable in M. The combinatorics Comb(M) of M is the set of all sentences combinatorially satisfied in M. Structure M covers a propositional proof system P iff M combinatorially satisfies all for which the associated sequence of propositional formulas _n, encoding that holds in L-structures of size n, have polynomial size P-proofs. That is, Comb(M) contains all feasibly verifiable in P. Finding M that covers P but does not combinatorially satisfy thus gives a super polynomial lower bound for the size of P-proofs of _n. We show that any proof system admits a class of structures covering it; these structures are expansions of models of bounded arithmetic. We also give, using structures covering proof systems R^*(log) and PC, new lower bounds for these systems that are not apparently amenable to other known methods. We define new type of propositional proof systems based on a combinatorics of (a class of) structures.Partially supported by grant # A 101 99 01 of the Academy of Sciences of the Czech Republic and by project LN00A056 of The Ministry of Education of the Czech Republic.Also member of the Institute for Theoretical Computer Science of the Charles University. A part of this work was done while visiting the Mathematical Institute, Oxford.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Frattini Theory for Classes of Finite Universal Algebras of Malcev Varieties

We extend the Frattini theory of formations and Schunck classes of finite groups to some Frattini theory of formations and Schunck classes of finite universal algebras of Malcev varieties. We prove that if F(1) is a nonempty formation (Schunck class) of algebras of a Malcev variety, then its Frattini subformation (Frattini Schunck subclass) (F) consists of all nongenerators of F; moreover, if M is a formation (Schunck class) in F; then (M) (F).     

A Weighted Enumeration of Maximal Chains in the Bruhat Order

Given a finite Weyl group W with root system , assign the weight to each covering pair in the Bruhat order related by the reflection corresponding to . Extending this multiplicatively to chains, we prove that the sum of the weights of all maximal chains in the Bruhat order has an explicit product formula, and prove a similar result for a weighted sum over maximal chains in the Bruhat ordering of any parabolic quotient of W. Several variations and open problems are discussed.     

Über die mittelfläche einer isotropen geradenkongruenz

Let be the middle surface of an isotropic rectilinear congruence of class C³ in the real Euclidean space E³. When the spherical image of is parametrized by special isothermal coordinates (u,v) G ², can be described by a generating harmonic function A(u,v). Using such a C-representation of , the basic properties of regularity and curvature of are discussed. Moreover, the cases that be a minimal (regular) surface ₁, or a plane surface ₂ are solved explicitly. In connection with the latter results (which are already well-known from Ribaucour) several new characterizations for being a regular surface ₁ resp. ₂ are given: they are based on special properties (like: being asymptotic lines resp. lines of curvature of ) of those curves c (-Spurlinien) in the tangents of which form in each point Xc a minimal angle with the straight line of passing through X.

---

---

Herrn Prof. Dr. Karl Strubecker zum 80. Geburtstag gewidmet     

Infinitely divisible completely positive mappings

Summary We generalise the theory of infinitely divisible positive definite functions f:G on a group G to a theory of infinite divisibility for completely positive mappings : G() taking values in the algebra of bounded operators on some Hilbert space .We prove a structure theorem for normalised infinitely divisible completely positive mappings which shows that the mapping , its Stinespring representation and its Stinespring isometry are of type S (in the sense of Guichardet [Gui]). Furthermore, we prove that a completely positive mapping is infinitely divisible if and only if it is the exponential (as defined in this paper) of a hermitian conditionally completely positive mapping.     

Hauptregelflächen einer Verallgemeinerten Regelfläche mit Zentralregelfläche

We consider generalized ruled surfaces in euclidean n-space ⁿ with k-dimensional generators and central ruled surface of dimension k–m+1 (O < m < k). Every orthogonal trajectoryy of the generators of defines a principal ruled surface _y with generators totally orthogonal to the generators of . In each generator of _y there exists an ellipsoid — called the indicatrix of the distribution parameters — which is defined by the distribution parameters of the tangent spaces to or _y. Formulars will be given for the distribution parameters of and _y .

---

---

Herrn Prof. Dr. H.R. Müller zum 70. Geburtstag     

On the Representation of Approximate Subdifferentials for a Class of Generalized Convex Functions

Given a family of real-valued functions defined in a normed vector space X, we study a class of -convex functions having a simpler representation for the --subdifferential. The case =X^* with X being a Banach space (the Fenchel case) is particularly analysed, and we find that the sublinear lower semicontinuous functions satisfy the simpler representation with respect to X^*. As a side result, we provide various new subdifferential-type charaterizations of positively homogeneous functions among those which are lower semicontinuous and convex. In addition, we also discuss that family related to the the so-called prox-bounded functions. In this more general framework our simpler representation may give rise to a new notion of enlargement of the subdifferential.Mathematics Subject Classifications (2000) 47H05, 46B99, 47H17.This work is based on research material supported in part by CONICYT-Chile through FONDECYT 101-0116 and FONDAP-Matemáticas Aplicadas II.     

Das kinematische Bild einer Regelfläche des einfach isotropen Raumes

TheClifford parallelism of the three-dimensional isotropic space J ₃ ⁽¹⁾ induces thekinematic mapping of an element of surface in J ₃ ⁽¹⁾ onto a pair of points in a fixed plane ₀ . By identifying a regular surface with the manifold of its osculating elements of surface thekinematic image of is defined and equivalent to an area preserving transformation of the plane ₀ . In this paper we will examine the connections between the isotropic invariants of a skew ruled surface and its kinematic image. Since the striction line y of exactly consists of the singular points of the kinematic images of the osculating planes of y are considered in addition. In this way we obtain a correspondence between the theory of ruled surfaces and the elementary geometry of two pairs of plane curves with a common middle curve.     

Über die Minimalflächen des isotropen Raumes,welche zugleich Affinminimalflächen sind

One determines all the minimal surfaces of the isotropic space, which simultaneously are affinminimal surfaces. A characteristic property of those surfaces is that the isotropic spherical imagines of the asymptotic lines of form two orthogonal pencils of circles. There are three types of such surfaces : first the well known right helicoid _I , second an interesting transcendental surface _II , and third the isotropic analogy _III of the minimal surface ofEnneper. The surfaces permit cinematic generations. Especially _II and _III can be generated byClifford screws in a certain indefinite quasielliptic space.In the isotropic space conjugate to the surfaces are isotropic minimal surfaces ^* with plane lines of curvature. There are also three types of such surfaces: _I ^* is a logarithmic surface of revolution, _II ^* is an interesting transcendental surface, and _III ^* is again the isotropic minimal surface ofEnnerper.     

General Topology — the Monadic Case, Examples, Applications

The paper deals with monadic as well as monadic-free topological notions. For defining these monadic-free notions the notion of basic triple is introduced. A lot of monadic-free topological notions are presented, for instance that of -convergence structure, -hull operator and -uniform structure. By means of a generalized metric, e.g. a probabilistic metric, and the general notion of -zero approach introduced in this paper, a -uniform structure is generated. In case of a fuzzy metric the related -uniform structure defines in a canonic way a fuzzy topology which is used for developing a fuzzy analysis and fuzzy calculus.     

On a zero-crossing probability

Let {X(t), 0E{exp (–sX(t))}=exp (–t(s)), where (s)=(1–(s)), is the intensity of the Poisson process, and (s) is the Laplace transform of the distribution of nonnegative jumps. Consider the zero-crossing probability =P{X(t)–t=0 for some t,0<t<}. We show that =() where is the largest nonnegative root of the equation (s)=s. It is conjectured that this result holds more generally for any stochastic process with stationary independent increments and with sample paths that are nondecreasing step functions vanishing at 0.     

On Vector Valued Measure Spaces of Bounded Φ-variation containing copies of ℓ∞

Given a Young function , we study the existence of copies of c ₀ and in cabv (,X) and in cabsv (,X), the countably additive, -continuous, and X-valued measure spaces of bounded -variation and bounded -semivariation, respectively.     

A characterization of semimartingales on nuclear spaces

Summary This work is devoted to prove the following fact: Suppose that is a nuclear space whose dual is nuclear under the strong topology. IfX is a weakly adapted mapping with values in such that for any,X'() has a modification which is a semimartingale then there exists a unique projective system of Hubert space-valued semimartingales indexed by the Hilbert-Schmidt neighbourhood base of the dual space whose projective limit isX.In the last part we study in detail a semimartingale defined as the convolution of a distribution by a random Dirac measure whose support is determined by the trajectories of a real-valued semimartingale.     

A Theorem of Liouville Type for p-Harmonic Morphisms

In this article we prove a Liouville type theorem for p-harmonic morphisms. We show that if : MNis a p-harmonic morphism (p2) from a complete noncompact Riemannian manifold Mof nonnegative Ricci curvature into a Riemannian manifold Nof nonpositive scalar curvature such that the p-energy E _p (), or (2p–2)-energy E _2p–2() is finite, then is constant.