Topological vector spaces, compacta, and unions of subspaces

In the first two sections, we study when a σ-compact space can be covered by a point-finite family of compacta. The main result in this direction concerns topological vector spaces. Theorem 2.4 implies that if such a space L admits a countable point-finite cover by compacta, then L has a countable network. It follows that if f is a continuous mapping of a σ-compact locally compact space X onto a topological vector space L, and fibers of f are compact, then L is a σ-compact space with a countable network (Theorem 2.10). Therefore, certain σ-compact topological vector spaces do not have a stronger σ-compact locally compact topology.In the last, third section, we establish a result going in the orthogonal direction: if a compact Hausdorff space X is the union of two subspaces which are homeomorphic to topological vector spaces, then X is metrizable (Corollary 3.2).     

Symetries isometriques applications a la dualite des espaces reticules

We show that ifE is a non-reflexive Banach lattice, there exists for everyn a dual of finite even order ofE which contins isometicallyl _n ^/l . We show that itE is a Banach lattice which is isometric to the dual of a Banach spaceX, then the order intervals are σ (E, X)-compact. We prove then that under various conditions, a Banach lattice which is a dual as a Banach space, is a dual as a Banach lattice. In particular, this is true when the predual ofE is unique.      

Extensions of Isometric Dual Representations of Semigroups

Let T be a dual representation of a suitable subsemigroup Sof a locally compact abelian group G by isometries on a dualBanach space X=(X_*)^*. It is shown that (X, T) can be extendedto a dual representation of G on a dual Banach space Y containingX, and that this extension can be done in a canonical way. Inthe case of a representation by *-monomorphisms of a von Neumannalgebra, the extension is a representation of G by *-automorphismsof a von Neumann algebra.     

Some results on embeddings of algebras, after de Bruijn and McKenzie

In 1957, N.G. de Bruijn showed that the symmetric group Sym(Ω) on an infinite set Ω contains a free subgroup on 2^card(Ω) generators, and proved a more general statement, a sample consequence of which is that for any group A of cardinality card(Ω), the group Sym(Ω) contains a coproduct of 2^card(Ω) copies of A, not only in the variety of all groups, but in any variety of groups to which A belongs. His key lemma is here generalized to an arbitrary variety of algebras V, and formulated as a statement about functors Set V. From this one easily obtains analogs of the results stated above with “group” and Sym(Ω) replaced by “monoid” and the monoid Self(Ω) of endomaps of Ω, by “associative K-algebra” and the K-algebra End_K (V) of endomorphisms of a K-vector-space V with basis Ω, and by “lattice” and the lattice Equiv(Ω) of equivalence relations on Ω. It is also shown, extending another result from de Bruijn's 1957 paper, that each of Sym(Ω), Self(Ω) and End_K(V) contains a coproduct of 2^card(Ω) copies of itself.That paper also gave an example of a group of cardinality 2^card(Ω) that was not embeddable in Sym(Ω), and R. McKenzie subsequently established a large class of such examples. Those results are shown here to be instances of a general property of the lattice of solution sets in Sym(Ω) of sets of equations with constants in Sym(Ω). Again, similar results - this time of varying strengths - are obtained for Self(Ω), End_K(V), and Equiv(Ω), and also for the monoid Rel(Ω) of binary relations on Ω.Many open questions and areas for further investigation are noted.     

A linear algorithm for the domination number of a series-parallel graph

A vertex u in an undirected graph G = (V, E) is said to dominate all its adjacent vertices and itself. A subset D of V is a dominating set in G if every vertex in G is dominated by a vertex in D, and is a minimum dominating set in G if no other dominating set in G has fewer vertices than D. The domination number of G is the cardinality of a minimum dominating set in G.The problem of determining, for a given positive integer k and an undirected graph G, whether G has a dominating set D in G satisfying ¦D¦ ≤ k, is a well-known NP-complete problem. Cockayne have presented a linear time algorithm for finding a minimum dominating set in a tree. In this paper, we will present a linear time algorithm for finding a minimum dominating set in a series-parallel graph.     

Onn-th commutators with nilpotent or regular values in rings

Then-th commutator for a,b in a ringR is defined inductively as follows: [a,b]₁=[a,b]=ab−ba and[a,b] _n=[[a,b]₋₁,b]. We characterize the ringsR without non-zero nil right ideals in which[a,b] _nis nilpotent or regular for alla,b∈R. We also examine the case whereR is a semiprime ring with involution in which[t ₁, t₂]_nis nilpotent or regular for all tracest ₁,t₂∈R.     

Tambarization of a Mackey functor and its application to the Witt–Burnside construction

For an arbitrary group G, a (semi-)Mackey functor is a pair of covariant and contravariant functors from the category of G-sets, and is regarded as a G-bivariant analog of a commutative (semi-)group. In this view, a G-bivariant analog of a (semi-)ring should be a (semi-)Tambara functor. A Tambara functor is firstly defined by Tambara, which he called a TNR-functor, when G is finite. As shown by Brun, a Tambara functor plays a natural role in the Witt–Burnside construction.It will be a natural question if there exist sufficiently many examples of Tambara functors, compared to the wide range of Mackey functors. In the first part of this article, we give a general construction of a Tambara functor from any Mackey functor, on an arbitrary group G. In fact, we construct a functor from the category of semi-Mackey functors to the category of Tambara functors. This functor gives a left adjoint to the forgetful functor, and can be regarded as a G-bivariant analog of the monoid-ring functor.In the latter part, when G is finite, we investigate relations with other Mackey-functorial constructions — crossed Burnside ring, Elliott?s ring of G-strings, Jacobson?s F-Burnside ring — all these lead to the study of the Witt–Burnside construction.     

Invariant Cocycles Have Abelian Ranges

 Let R be a discrete nonsingular equivalence relation on a standard probability space , and let V be an ergodic strongly asymptotically central automorphism of R. We prove that every V-invariant cocycle with values in a Polish group G takes values in an abelian subgroup of G. The hypotheses of this result are satisfied, for example, if A is a finite set, a closed, shift-invariant subset, V is the shift, μ a shift-invariant and ergodic probability measure on X, the two-sided tail-equivalence relation on X, a shift-invariant subrelation which is μ-nonsingular, and a shift-invariant cocycle.     

EP morphisms

The concept of an EP matrix is extended to a morphism of a category C with involution. It is shown that an EP morphism has a group inverse iff it has a Moore-Penrose inverse, and in this case the inverses are identical. On the other hand, if a morphism has a Moore-Penrose inverse that is a group inverse, then C is a full subcategory of a category in which φ is EP. Also, if C is an additive category with involution 1 and with 1-biproduct factorization, then a morphism of φ of C is EP iff there is a 1-biproduct J ⊕ K and an invertible morphism θ : J → J such that φ is congruent to a morphism of the form

$\text{θ 0}\text{0 0}\text{: J⊕K → J⊕K.}$

In particular, a square matrix over a principal-ideal domain with involution is EP iff it is congruent to a matrix of the form dg(θ, 0) with θ invertible.     

Buckling of an axisymmetric vesicle under compression: the effects of resistance to shear

We consider the axisymmetric deformation of an initially spherical,porous vesicle with incompressible membrane having finite resistanceto in-plane shearing, as the vesicle is compressed between parallelplates. We adopt a thin-shell balance-of-forces formulationin which the mechanical properties of the membrane are describedby a single dimensionless parameter, C, which is the ratio ofthe membrane's resistance to shearing to its resistance to bending.This results in a novel free-boundary problem which we solvenumerically to obtain vesicle shapes as a function of plateseparation, h. For small deformations, the vesicle contactseach plate over a small circular area. At a critical value ofplate separation, h_TC, there is a transcritical bifurcationfrom which a new branch of solutions emerges, representing buckledvesicles which contact each plate along a circular curve. Forthe values of C investigated, we find that the transcriticalbifurcation is subcritical and that there is a further saddle-nodebifurcation (fold) along the branch of buckled solutions ath = h_SN (where h_SN > h_TC). The resulting bifurcation structureis commensurate with a hysteresis loop in which a sudden transitionfrom an unbuckled solution to a buckled one occurs as h is decreasedthrough h_TC and a further sudden transition, this time froma buckled solution to an unbuckled one, occurs as h is increasedthrough h_SN. We find that h_SN and h_TC increase with C, thatis, vesicles that resist shear are more prone to buckling.     

关于指数、Neuman-Sándor和二次平均的一个精确双向不等式

本文证明了双向不等式αI(a; b)+(1-α )Q(a; b) < M(a; b) < βI(a; b)+(1-β)Q(a; b) 对所有不相等的正实数a和b成立当且仅当α≥1/2 和β≤[e(√2log(1+√2)-1)]/[(√2e-2) log(1+√2)]=0:4121…,其中I(a; b), M(a; b)和Q(a; b)分别表示a和b的指数平均、Neuman-Sándor平均和二次平均.     

Special Weingarten surfaces foliated by circles

In this paper we study surfaces in Euclidean 3-space foliated by pieces of circles that satisfy a Weingarten condition of type aH + bK = c, where a,b and c are constant, and H and K denote the mean curvature and the Gauss curvature respectively. We prove that such a surface must be a surface of revolution, one of the Riemann minimal examples, or a generalized cone. Authors’ address: Departamento de Geometría y Topología, Universidad de Granada, 18071 Granada, Spain     

A note on the computational complexity of graph vertex partition

A stable set of a graph is a vertex set in which any two vertices are not adjacent. It was proven in [A. Brandstädt, V.B. Le, T. Szymczak, The complexity of some problems related to graph 3-colorability, Discrete Appl. Math. 89 (1998) 59-73] that the following problem is NP-complete: Given a bipartite graph G, check whether G has a stable set S such thatG-Sis a tree. In this paper we prove the following problem is polynomially solvable: Given a graph G with maximum degree 3 and containing no vertices of degree 2, check whether G has a stable set S such thatG-Sis a tree. Thus we partly answer a question posed by the authors in the above paper. Moreover, we give some structural characterizations for a graph G with maximum degree 3 that has a stable set S such that G-S is a tree.     

Asymptotically Nonexpansive Mappings in Modular Function Spaces

In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying a Δ₂-type condition, C a convex, ρ-bounded, ρ-a.e. compact subset of L_ρ, and T: C → C a ρ-asymptotically nonexpansive mapping, then T has a fixed point. In particular, any asymptotically nonexpansive self-map defined on a convex subset of L¹(Ω, μ) which is compact for the topology of local convergence in measure has a fixed point.     

Partially ordered knapsack and applications to scheduling

In the partially ordered knapsack problem (POK) we are given a set N of items and a partial order ?_P on N. Each item has a size and an associated weight. The objective is to pack a set N^′⊆N of maximum weight in a knapsack of bounded size. N^′ should be precedence-closed, i.e., be a valid prefix of ?_P. POK is a natural generalization, for which very little is known, of the classical Knapsack problem. In this paper we present both positive and negative results. We give an FPTAS for the important case of a two-dimensional partial order, a class of partial orders which is a substantial generalization of the series-parallel class, and we identify the first non-trivial special case for which a polynomial-time algorithm exists. Our results have implications for approximation algorithms for scheduling precedence-constrained jobs on a single machine to minimize the sum of weighted completion times, a problem closely related to POK.     

Minimal cogenerators need not be unique

A_n = A_n(?) denotes the unique left distributive binary system on {0, 1,…,2ⁿ?1) that satisfies a ? 1 = a + 1 mod 2ⁿfor all a ? A_n, and o_n(a) = k indicates the period 2^kof a ? A_n (if b,c ? A_n, then a ? b = a ? c iff b ‵ c mod 2^kand if 0 < b < c < 2^kthen a < a ? b < a ? c). Amongs others, we prove that o_t2(2^t?2) ≤ t holds for every integer t ≥ 2, the equality taking place iff t is of the form 2^2? for an integer s ≥ 0.     

Full Ideals

Contractedness of 𝔪-primary integrally closed ideals played a central role in the development of Zariski's theory of integrally closed ideals in two-dimensional regular local rings (R, 𝔪). In such rings, the contracted 𝔪-primary ideals are known to be characterized by the property that I: 𝔪 = I: x for some x ∈ 𝔪 ?𝔪². We call the ideals with this property full ideals and compare this class of ideals with the classes of 𝔪-full ideals, basically full ideals, and contracted ideals in higher dimensional regular local rings. The 𝔪-full ideals are easily seen to be full. In this article, we find a sufficient condition for a full ideal to be 𝔪-full. We also show the equivalence of the properties full, 𝔪-full, contracted, integrally closed, and normal, for the class of parameter ideals. We then find a sufficient condition for a basically full parameter ideal to be full.     

Cauchy’s residue theorem for a class of real valued functions

Let [a, b] be an interval in ℝ Rand let F be a real valued function defined at the endpoints of [a, b] and with a certain number of discontinuities within [a, b]. Assuming F to be differentiable on a set [a, b] | E to the derivative f, where E is a subset of [a, b] at whose points F can take values ±∞ or not be defined at all, we adopt the convention that F and f are equal to 0 at all points of E and show that KH-vt ∝ _a ^b f = F(b) − F(a), where KH-vt denotes the total value of the Kurzweil-Henstock integral. The paper ends with a few examples that illustrate the theory.     

Geometry of 2 × 2 hermitian matrices

LetD be a division ring which possesses an involution a → α . Assume that is a proper subfield ofD and is contained in the center ofD. It is pointed out that ifD is of characteristic not two, D is either a separable quadratic extension of F or a division ring of generalized quaternions over F and that if D is of characteristic two,D is a separable quadratic extension ofF. Thus the trace map Tr:D → F, a → a + a is always surjective, which is formerly posed as an assumption in the fundamental theorem of n×n hermitian matrices overD when n ≥ 3 and now can be deleted. WhenD is a field, the fundamental theorem of 2 × 2 hermitian matrices overD has already been proved. This paper proves the fundamental theorem of 2×2 hermitian matrices over any division ring of generalized quaternions of characteristic not two This research was completed during a visit to the Academy of Mathematics and System Sciences, Chinese Academy of Sciences.     

Multivalued contractions

LetE be a Banach space,C a closed convex subset ofE, F a multivalued contraction fromC to itself with closed values. Ifx ₀ is a fixed point and ifF(x ₀) is not a singleton, then there exists a fixed pointx ₁ ofF which is different fromx ₀. We prove also that there is in the Euclidean space ?² a multivalued contraction with compact connected values having a nonconnected set of fixed points.