Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Kodaira dimension of irregular varieties

Let f:X→Y be an algebraic fiber space with general fiber F. If Y is of maximal Albanese dimension, we show that κ(X)≥κ(Y)+κ(F).     

A Criterion of Normality Concerning Holomorphic Functions Whose Derivative Omits a Function

The authors discuss the normality concerning holomorphic functions and get the following result. Let F be a family of holomorphic functions on a domain D ⊂ ℂ, all of whose zeros have multiplicity at least k, where k ≥ 2 is an integer. And let h(z) ≢ 0 be a holomorphic function on D. Assume also that the following two conditions hold for every f ∈ F: (a) f(z) = 0 ⇒ |f ^(k)(z)| < |h(z)|; (b) f ^(k)(z) ≠ h(z). Then F is normal on D.     

Spaces of lower semicontinuous set-valued maps II

We introduce a lower semicontinuous analog, L ⁻(X), of the well-studied space of upper semicontinuous set-valued maps with nonempty compact interval images. Because the elements of L ⁻(X) contain continuous selections, the space C(X) of real-valued continuous functions on X can be used to establish properties of L ⁻(X), such as the two interrelated main theorems. The first of these theorems, the Extension Theorem, is proved in this Part I. The Extension Theorem says that for binormal spaces X and Y, every bimonotone homeomorphism between C(X) and C(Y) can be extended to an ordered homeomorphism between L ⁻(X) and L ⁻(Y). The second main theorem, the Factorization Theorem, is proved in Part II. The Factorization Theorem says that for binormal spaces X and Y, every ordered homeomorphism between L ⁻(X) and L ⁻(Y) can be characterized by a unique factorization.     

Certain condition on the second fundamental form of CR submanifolds of maximal CR dimension of complex Euclidean space

We treat m-dimensional real submanifolds M of complex space forms ̿M when the maximal holomorphic tangent subspace is (m−1)-dimensional. On these manifolds there exists an almost contact structure F which is naturally induced from the ambient space and in this paper we study the condition h(FX,Y)−h(X,FY) = g(FX,Y)η, η∊ T⊥(M), on the structure F and on the second fundamental form h of these submanifolds. Especially when the ambient space ̿M is a complex Euclidean space, we obtain a complete classification of submanifolds M which satisfy these conditions.Mathematics Subject Classifications (2000): 53C15, 53C40, 53B20.     

Lipschitz algebras and peripherally-multiplicative maps

Let X be a compact metric space and let Lip（X） be the Banach algebra of all scalar- valued Lipschitz functions on X, endowed with a natural norm. For each f ∈ Lip（X）, σπ（f） denotes the peripheral spectrum of f. We state that any map Φ from Lip（X） onto Lip（Y） which preserves multiplicatively the peripheral spectrum：
σπ（Φ（f）Φ（g）） = σπ（fg）, A↓f, g ∈ Lip（X）
is a weighted composition operator of the form Φ（f） = τ· （f °φ） for all f ∈ Lip（X）, where τ ： Y → {-1, 1} is a Lipschitz function and φ ： Y→ X is a Lipschitz homeomorphism. As a consequence of this result, any multiplicatively spectrum-preserving surjective map between Lip（X）-algebras is of the form above.     

A criterion of normality based on a single holomorphic function

Let F be a family of functions holomorphic on a domain D ⊂ ℂ Let k ≥ 2 be an integer and let h be a holomorphic function on D, all of whose zeros have multiplicity at most k −1, such that h(z) has no common zeros with any f ∈ F. Assume also that the following two conditions hold for every f ∈ F: (a) f(z) = 0 ⇒ f′(z) = h(z); and (b) f′(z) = h(z) ⇒ |f ^(k)(z)| ≤ c, where c is a constant. Then F is normal on D.     

Points of joint continuity and large oscillations

For topological spaces X and Y and a metric space Z, we introduce a new class N( X ×Y, Z ) \mathcal{N}\left( {X \times Y,\,Z} \right) of mappings f: X × Y → Z containing all horizontally quasicontinuous mappings continuous with respect to the second variable. It is shown that, for each mapping f from this class and any countable-type set B in Y, the set C _B (f) of all points x from X such that f is jointly continuous at any point of the set {x} × B is residual in X: We also prove that if X is a Baire space, Y is a metrizable compact set, Z is a metric space, and f ? N( X ×Y, Z ) f \in \mathcal{N}\left( {X \times Y,\,Z} \right) , then, for any ε > 0, the projection of the set D ^ε (f) of all points p ∈ X × Y at which the oscillation ω _f (p) ≥ ε onto X is a closed set nowhere dense in X.     

Special uniform approximations of continuous vector-valued functions. Part II: special approximations in CX(T)CY(S)

In this paper, which is a continuation of Timofte (J. Approx. Theory 119 (2002) 291–299, we give special uniform approximations of functions from C_XY(T×S) and C_∞(T×S,XY) by elements of the tensor products C_X(T)C_Y(S), respectively C₀(T,X)C₀(S,Y), for topological spaces T,S and Γ-locally convex spaces X,Y (all four being Hausdorff).     

Rings of Continuous Functions on Spaces of Finite Rank and the SV Property

Let X be a compact topological space and let C(X) denote the f-ring of all continuous real-valued functions defined on X. A point x in X is said to have rank n if, in C(X), there are n minimal prime ?-ideals contained in the maximal ?-ideal M _x  = {f ? C(X):f(x) = 0}. The space X has finite rank if there is an n ? N such that every point x ? X has rank at most n. We call X an SV space (for survaluation space) if C(X)/P is a valuation domain for each minimal prime ideal P of C(X). Every compact SV space has finite rank. For a bounded continuous function h defined on a cozeroset U of X, we say there is an h-rift at the point z if h cannot be extended continuously to U ∪ {z}. We use sets of points with h-rift to investigate spaces of finite rank and SV spaces. We show that the set of points with h-rift is a subset of the set of points of rank greater than 1 and that whether or not a compact space of finite rank is SV depends on a characteristic of the closure of the set of points with h-rift for each such h. If X has finite rank and the set of points with h-rift is an F-space for each h, then X is an SV space. Moreover, if every x ? X has rank at most 2, then X is an SV space if and only if for each h, the set of points with h-rift is an F-space.     

Factorization of weakly continuous differentiable mappings

Given real Banach spaces X and Y, let C _wbu¹(X, Y) be the space, introduced by R.M. Aron and J.B. Prolla, of C ¹ mappings from X into Y such that the mappings and their derivatives are weakly uniformly continuous on bounded sets. We show that f ∈ C _wbu¹(X, Y) if and only if f may be written in the form f = g ∘ S, where the intermediate space is normed, S is a precompact operator, and g is a Gateaux differentiable mapping with some additional properties.     

Points of continuity and quasicontinuity

Let C(f), Q(f), E(f) and A(f) be the sets of all continuity, quasicontinuity, upper and lower quasicontinuity and cliquishness points of a real function f: X → ℝ, respectively. The triplets (C(f),Q(f),A(f)), (C(f),E(f),A(f) and (Q(f),E(f),A(f)are characterized for functions defined on Baire metric spaces without isolated points.     

On the location of fixed points on pairs of spaces

Let f: (X, A)→(X, A) be an admissible selfmap of a pair of metrizable ANR's. A Nielsen number of the complement Ñ(f; X, A) and a Nielsen number of the boundary ñ(f; X, A) are defined. Ñ(f; X, A) is a lower bound for the number of fixed points on C1(X - A) for all maps in the homotopy class of f. It is usually possible to homotope f to a map which is fixed point free on Bd A, but maps in the homotopy class of f which have a minimal fixed point set on X must have at least ñ(f; X, A) fixed points on Bd A. It is shown that for many pairs of compact polyhedra these lower bounds are the best possible ones, as there exists a map homotopic to f with a minimal fixed point set on X which has exactly Ñ(f; X - A) fixed points on C1(X−A) and ñ(f; X, A) fixed points on Bd A. These results, which make the location of fixed points on pairs of spaces more precise, sharpen previous ones which show that the relative Nielsen number N(f; X, A) is the minimum number of fixed points on all of X for selfmaps of (X, A), as well as results which use Lefschetz fixed point theory to find sufficient conditions for the existence of one fixed point on C1(X−A).     

Weak similarities of metric and semimetric spaces

Let (X,d _X ) and (Y,d _Y ) be semimetric spaces with distance sets D(X) and D(Y), respectively. A mapping F:?X→Y is a weak similarity if it is surjective and there exists a strictly increasing f:?D(Y)→D(X) such that d _X =f°d _Y °(F?F). It is shown that the weak similarities between geodesic spaces are usual similarities and every weak similarity F:?X→Y is an isometry if X and Y are ultrametric and compact with D(X)=D(Y). Some conditions under which the weak similarities are homeomorphisms or uniform equivalences are also found.     

The limit space Cc(X,Y) and the connected components of X and Y

Let X and Y be limit spaces (in the sense of FISCHER). For f ? C(X, Y), let [f] denote the subset of C(X, Y), where the maps take the connected components of X into those of Y quite analogously to f. The subspace [f] of the continuous convergence space C_c(X, Y) is written as a product II C_c(X_i, Y_k(i)), where X_i runs through the components of X and Y_k(i) always is the component of Y which contains the set f(X_i). Sufficient conditions for the representation C_c(X, Y) = Σ [f] are given (in terms of the spaces X and Y). Some applications on limit homeomorphism groups are included.     

Banach–Stone Theorems for maps preserving common zeros

Let X and Y be completely regular spaces and E and F be Hausdorff topological vector spaces. We call a linear map T from a subspace of C(X, E) into C(Y, F) a Banach–Stone map if it has the form T f (y) =  S _y (f (h(y))) for a family of linear operators S _y : E → F, \({y \in Y}\) , and a function h: Y → X. In this paper, we consider maps having the property:

$\bigcap^{k}_{i=1}Z(f_{i}) \neq\emptyset \iff \bigcap^{k}_{i=1}Z(Tf_{i})\neq\emptyset , \quad({\rm Z}) $

where Z(f) =  {f =  0}. We characterize linear bijections with property (Z) between spaces of continuous functions, respectively, spaces of differentiable functions (including C ^∞), as Banach–Stone maps. In particular, we confirm a conjecture of Ercan and Önal: Suppose that X and Y are realcompact spaces and E and F are Hausdorff topological vector lattices (respectively, C ^*-algebras). Let T: C(X, E) → C(Y, F) be a vector lattice isomorphism (respectively, *-algebra isomorphism) such that

$ Z(f) \neq\emptyset\iff Z(Tf) \neq\emptyset. $

Then X is homeomorphic to Y and E is lattice isomorphic (respectively, C ^*-isomorphic) to F. Some results concerning the continuity of T are also obtained.