Congruences on Menger algebras

We discuss some types of congruences on Menger algebras of rank n, which are generalizations of the principal left and right congruences on semigroups. We also study congruences admitting various types of cancellations and describe their relationship with strong subsets.     

Identities for primal Menger algebras

This note gives a small set of identities for the primal unitary Menger algebra with n elements. It treats the constants uniformly.     

Menger algebras of n-place interior operations

Algebraic properties of n-place interior operations on a fixed set are described. Conditions under which a Menger algebra of rank n can be represented by n-place interior operations are found.     

On some Menger algebras of multiplace transformations of ordered sets

Presented by B. M. Schein.     

Integral Menger curvature for surfaces

We develop the concept of integral Menger curvature for a large class of nonsmooth surfaces. We prove uniform Ahlfors regularity and a C1,λ-a priori bound for surfaces for which this functional is finite. In fact, it turns out that there is an explicit length scale R>0 which depends only on an upper bound E for the integral Menger curvature Mp(Σ) and the integrability exponent p, and not on the surface Σ itself; below that scale, each surface with energy smaller than E looks like a nearly flat disc with the amount of bending controlled by the (local) Mp-energy. Moreover, integral Menger curvature can be defined a priori for surfaces with self-intersections or branch points; we prove that a posteriori all such singularities are excluded for surfaces with finite integral Menger curvature. By means of slicing and iterative arguments we bootstrap the Hölder exponent λ up to the optimal one, λ=1−(8/p), thus establishing a new geometric ‘Morrey–Sobolev’ imbedding theorem.As two of the various possible variational applications we prove the existence of surfaces in given isotopy classes minimizing integral Menger curvature with a uniform bound on area, and of area minimizing surfaces subjected to a uniform bound on integral Menger curvature.     

Minimal dynamics on Menger manifolds

The Menger universal spaces are realized as invariant sets of noninvertible, expanding maps. Minimal actions on these spaces of free groups with two or three generators are exhibited.     

Stabilizers of Functional Menger Systems

A functional Menger system is a set of n-place functions containing n projections and closed under the so-called Menger's composition of n-place functions. We give the abstract characterization for subsets of these functional systems which contain functions having one common fixed point.     

On homeomorphism groups of Menger continua

It is shown that the homeomorphism groups of the (generalized) Sierpinski carpet and the universal Menger continua are not zero-dimensional. These results were corollaries to a 1966 theorem of Brechner. New proofs were needed because we also show that Brechner's proof is inadequate. The method by which we obtain our results, the construction of closed imbeddings of complete Erdos space in the homeomorphism groups, is of independent interest.

     

Menger空间的收敛性和隔离性

Suppose that (X,F,△) is a Menger spece and that t-norm △ satisfies (?)△(x, a) = a for all a∈[0,l]. The main result of the paper is as follows:     

Products of Menger spaces: A combinatorial approach

We construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than earlier ones, and holds in almost all canonical models of set theory of the real line. On the other hand, we establish productive properties for versions of Menger's property parameterized by filters and semifilters. In particular, the Continuum Hypothesis implies that every productively Menger set of real numbers is productively Hurewicz, and each ultrafilter version of Menger's property is strictly between Menger's and Hurewicz's classic properties. We include a number of open problems emerging from this study.     

The Menger property for infinite ordered sets

It is shown that, if an ordered set P contains at most k pairwise disjoint maximal chains, where k is finite, then every finite family of maximal chains in P has a cutset of size at most k. As a corollary of this, we obtain the following Menger-type result that, if in addition, P contains k pairwise disjoint complete maximal chains, then the whole family, M (P), of maximal chains in P has a cutset of size k. We also give a direct proof of this result. We give an example of an ordered set P in which every maximal chain is complete, P does not contain infinitely many pairwise disjoint maximal chains (but arbitrarily large finite families of pairwise disjoint maximal chains), and yet M (P) does not have a cutset of size <x, where x is any given (infinite) cardinal. This shows that the finiteness of k in the above corollary is essential and disproves a conjecture of Zaguia.     

On some knot energies involving Menger curvature

We investigate knot-theoretic properties of geometrically defined curvature energies such as integral Menger curvature. Elementary radii-functions, such as the circumradius of three points, generate a family of knot energies guaranteeing self-avoidance and a varying degree of higher regularity of finite energy curves. All of these energies turn out to be charge, minimizable in given isotopy classes, tight and strong. Almost all distinguish between knots and unknots, and some of them can be shown to be uniquely minimized by round circles. Bounds on the stick number and the average crossing number, some non-trivial global lower bounds, and unique minimization by circles upon compaction complete the picture.