Almost splitting sets in integral domains, II

Let D be an integral domain. A saturated multiplicative subset S of D is an almost splitting set if, for each 0≠d∈D, there exists a positive integer n=n(d) such that dⁿ=st for some s∈S and t∈D which is v-coprime to each element of S. We show that every upper to zero in D[X] contains a primary element if and only if D?{0} is an almost splitting set in D[X], if and only if D is a UMT-domain and Cl(D[X]) is torsion. We also prove that D[X] is an almost GCD-domain if and only if D is an almost GCD-domain and Cl(D[X]) is torsion. Using this result, we construct an integral domain D such that Cl(D) is torsion, but Cl(D[X]) is not torsion.     

Fundamental sets of continuous functions on spheres

LetS ^m andS ^∞ denote the unit spheres inR m+1 ande ², respectively. We look for functionsf inC[?1, 1] such that the family of functionsx →f(<s,v>) is fundamental in the spaceC(S ^m). Herev runs overS ^m. There is a similar question forC(S ^∞), when this space is given the topology of uniform convergence on compact sets.     

Inverse closedness of approximation algebras

We prove the inverse closedness of certain approximation algebras based on a quasi-Banach algebra X using two general theorems on the inverse closedness of subspaces of quasi-Banach algebras. In the first theorem commutative algebras are considered while the second theorem can be applied to arbitrary X and to subspaces of X which can be obtained by a general K-method of interpolation between X and an inversely closed subspace Y of X having certain properties. As application we present some inversely closed subalgebras of C(T) and C[−1,1]. In particular, we generalize Wiener's theorem, i.e., we show that for many subalgebras S of l¹(Z), the property {ck(f)}∈S (ck(f) being the Fourier coefficients of f) implies the same property for 1/f if f∈C(T) vanishes nowhere on T.     

On countable bounded tightness for spaces Cp(X)

It is well known that the space C_p([0,1]) has countable tightness but it is not Fréchet-Urysohn. Let X be a Cech-complete topological space. We prove that the space C_p(X) of continuous real-valued functions on X endowed with the pointwise topology is Fréchet-Urysohn if and only if C_p(X) has countable bounded tightness, i.e., for every subset A of C_p(X) and every x in the closure of A in C_p(X) there exists a countable and bounding subset of A whose closure contains x. We study also the problem when the weak topology of a locally convex space has countable bounded tightness. Additional results in this direction are provided.     

Rearrangement invariance of Rademacher multiplicator spaces

Let X be a rearrangement invariant function space on [0,1]. We consider the Rademacher multiplicator space Λ(R,X) of all measurable functions x such that x⋅h∈X for every a.e. converging series h=∑anrn∈X, where (rn) are the Rademacher functions. We study the situation when Λ(R,X) is a rearrangement invariant space different from L^∞. Particular attention is given to the case when X is an interpolation space between the Lorentz space Λ(φ) and the Marcinkiewicz space M(φ). Consequences are derived regarding the behaviour of partial sums and tails of Rademacher series in function spaces.     

Equivalence among various derivatives and subdifferentials of the distance function

For a nonempty closed set C in a normed linear space X with uniformly Gâteaux differentiable norm, it is shown that the distance function d_C is strictly differentiable at x∈X?C iff it is regular at x iff its modified upper or lower Dini subdifferential at x is a singleton iff its upper or lower Dini subdifferential at x is nonempty iff its upper or lower Dini derivative at x is subadditive. Moreover if X is a Hilbert space, then d_C is Fréchet differentiable at x∈X?C iff its Fréchet subdifferential at x is nonempty. Many characteristics of proximally smooth sets and convex closed sets in a Hilbert space are also given.     

A note on the class of paracompact spaces whose product with every paracompact space is paracompact

We prove that if X is a paracompact space which has a neighborhood assignment x→Hx such that for each y∈X the closure of the set is compact then the products T×X, for every paracompact space T, and Xω are paracompact. The first result answers a problem of H. Junnila.     

On the direct image of intersections in exact homological categories

Given a regular epimorphism f:X?Y in an exact homological category C, and a pair (U,V) of kernel subobjects of X, we show that the quotient (f(U)∩f(V))/f(U∩V) is always abelian. When C is nonpointed, i.e. only exact protomodular, the translation of the previous result is that, given any pair (R,S) of equivalence relations on X, the difference mappingδ:Y/f(R∩S)?Y/(f(R)∩f(S)) has an abelian kernel relation. This last result actually holds true in any exact Mal'cev category. Setting Y=X/T, this result says that the difference mapping determined by the inclusion T∪(R∩S)?(T∪R)∩(T∪S) has an abelian kernel relation, which casts a new light on the congruence distributive property.     

Normality of products of monotonically normal spaces with compact spaces

Let S be the class of all spaces, each of which is homeomorphic to a stationary subset of a regular uncountable cardinal (depending on the space). In this paper, we prove the following result: The product X×C of a monotonically normal space X and a compact space C is normal if and only if S×C is normal for each closed subspace S in X belonging to S. As a corollary, we obtain the following result: If the product of a monotonically normal space and a compact space is orthocompact, then it is normal.     

Legendrian Links, Causality, and the Low Conjecture

Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of ${\mathbb{R}^{m}}Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of \mathbbR^m{\mathbb{R}^{m}} . The Legendrian Low conjecture formulated by Natário and Tod says that two events x, y ? X{x, y \in X} are causally related if and only if the Legendrian link of spheres \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} whose points are light geodesics passing through x and y is non-trivial in the contact manifold of all light geodesics in X. The Low conjecture says that for m = 2 the events x, y are causally related if and only if \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} is non-trivial as a topological link. We prove the Low and the Legendrian Low conjectures. We also show that similar statements hold for any globally hyperbolic (X ^m+1, g) such that a cover of its Cauchy surface is diffeomorphic to an open domain in \mathbbR^m{\mathbb{R}^{m}} .     

On the dimension of ordered sets with the 2-cutset property

An ordered setP is said to have 2-cutset property if, for every elementx ofP, there is a setS of elements ofP which are noncomparable tox, with |S|?2, such that every maximal chain inP meets {x}∪S. We consider the following question: Does there exist ordered sets with the 2-cutset property which have arbitrarily large dimension? We answer the question in the negative by establishing the following two results.Theorem: There are positive integersc andd such that every ordered setP with the 2-cutset property can be represented asP=X∪Y, whereX is an ordinal sum of intervals ofP having dimension ?d, andY is a subset ofP having width ?c. Corollary: There is a positive integern such that every ordered set with the 2-cutset property has dimension ?n.     

Hyperreflexivity and operator ideals

Suppose (B,β) is an operator ideal, and A is a linear space of operators between Banach spaces X and Y. Modifying the classical notion of hyperreflexivity, we say that A is called B-hyperreflexive if there exists a constant C such that, for any T∈B(X,Y) with α=supβ(qTi)<∞ (the supremum runs over all isometric embeddings i into X, and all quotient maps of Y, satisfying qAi=0), there exists a∈A, for which β(T−a)?Cα. In this paper, we give examples of B-hyperreflexive spaces, as well as of spaces failing this property. In the last section, we apply SE-hyperreflexivity of operator algebras (SE is a regular symmetrically normed operator ideal) to constructing operator spaces with prescribed families of completely bounded maps.     

Divisibility properties of power LCM matrices by power GCD matrices on gcd-closed sets

Let e and n be positive integers and S={x₁,…,x_n} a set of n distinct positive integers. For x∈S, define . The n×n matrix whose (i,j)-entry is the eth power (x_i,x_j)^e of the greatest common divisor of x_i and x_j is called the eth power GCD matrix on S, denoted by (S^e). Similarly we can define the eth power LCM matrix [S^e]. Bourque and Ligh showed that (S)∣[S] holds in the ring of n×n matrices over the integers if S is factor closed. Hong showed that for any gcd-closed set S with |S|≤3, (S)∣[S]. Meanwhile Hong proved that there is a gcd-closed set S with max_x∈S{|G_S(x)|}=2 such that (S)?[S]. In this paper, we introduce a new method to study systematically the divisibility for the case max_x∈S{|G_S(x)|}≤2. We give a new proof of Hong’s conjecture and obtain necessary and sufficient conditions on the gcd-closed set S with max_x∈S{|G_S(x)|}=2 such that (S^e)|[S^e]. This partially solves an open question raised by Hong. Furthermore, we show that such factorization holds if S is a gcd-closed set such that each element is a prime power or the product of two distinct primes, and in particular if S is a gcd-closed set with every element less than 12.     

On a family of IFSs whose attractors are not connected

For an infinite-dimensional Banach space X, S and T bounded linear operators from X to X such that ‖S‖,‖T‖<1 and w∈X, let us consider the IFS Sw=(X,f₁,f₂), where f₁,f₂:X→X are given by f₁(x)=S(x) and f₂(x)=T(x)+w, for all x∈X. We prove that if the operator S is finite-dimensional, then the set {w∈X|the attractor of Sw is not connected} is open and dense in X.     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

Subcompactness and domain representability in GO-spaces on sets of real numbers

In this paper we explore a family of strong completeness properties in GO-spaces defined on sets of real numbers with the usual linear ordering. We show that if τ is any GO-topology on the real line R, then (R,τ) is subcompact, and so is any Gδ-subspace of (R,τ). We also show that if (X,τ) is a subcompact GO-space constructed on a subset X⊆R, then X is a Gδ-subset of any space (R,σ) where σ is any GO-topology on R with τ=σX_|. It follows that, for GO-spaces constructed on sets of real numbers, subcompactness is hereditary to Gδ-subsets. In addition, it follows that if (X,τ) is a subcompact GO-space constructed on any set of real numbers and if τS is the topology obtained from τ by isolating all points of a set S⊆X, then (X,τS) is also subcompact. Whether these two assertions hold for arbitrary subcompact spaces is not known.We use our results on subcompactness to begin the study of other strong completeness properties in GO-spaces constructed on subsets of R. For example, examples show that there are subcompact GO-spaces constructed on subsets X⊆R where X is not a Gδ-subset of the usual real line. However, if (X,τ) is a dense-in-itself GO-space constructed on some X⊆R and if (X,τ) is subcompact (or more generally domain-representable), then (X,τ) contains a dense subspace Y that is a Gδ-subspace of the usual real line. It follows that (Y,τY_|) is a dense subcompact subspace of (X,τ). Furthermore, for a dense-in-itself GO-space constructed on a set of real numbers, the existence of such a dense subspace Y of X is equivalent to pseudo-completeness of (X,τ) (in the sense of Oxtoby). These results eliminate many pathological sets of real numbers as potential counterexamples to the still-open question: “Is there a domain-representable GO-space constructed on a subset of R that is not subcompact”? Finally, we use our subcompactness results to show that any co-compact GO-space constructed on a subset of R must be subcompact.     

The extension of the Krein-Šmulian theorem for Orlicz sequence spaces and convex sets

If X is a Banach space and C⊂X∗∗ a convex subset, for x∗∗∈X∗∗ and A⊂X∗∗ let be the distance from x∗∗ to C and . In this paper we prove that if φ is an Orlicz function, I an infinite set and X=?φ(I) the corresponding Orlicz space, equipped with either the Luxemburg or the Orlicz norm, then for every w^∗-compact subset K⊂X∗∗ we have if and only if φ satisfies the Δ₂-condition at 0. We also prove that for every Banach space X, every nonempty convex subset C⊂X and every w^∗-compact subset K⊂X∗∗ then and, if K∩C is w^∗-dense in K, then .     

A class of vectorfields on S2 that are topologically equivalent to polynomial vectorfields

Let X be a C¹ vectorfield on S² = {(x, y, z)?R: x² + y² + z² = 1} such that no open subset of S² is the union of closed orbits of X. If X has only a finite number of singular orbits and satisfies one additional condition, then it is shown that X is topologically equivalent to a polynomial vectorfield. A corollary is that a foliation $\text{F}$ of the plane is topologically equivalent to a foliation by orbits of a polynomial vectorfield if and only if $\text{F}$ has only a finite number of inseparable leaves.     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

Limiting -subgradient characterizations of constrained best approximation

In this paper, we show that the strong conical hull intersection property (CHIP) completely characterizes the best approximation to any x in a Hilbert space X from the set

K:=C∩{xX:-g(x)S},