The space of maps from a locally compact space to a Banach space

The space of continuous maps from a topological spaceX to topological spaceY is denoted byC(X,Y) with the compact-open topology. In this paper we prove thatC(X,Y) is an absolute retract ifX is a locally compact separable metric space andY a convex set in a Banach space. From the above fact we know thatC(X,Y) is homomorphic to Hilbert spacel ₂ ifX is a locally compact separable metric space andY a separable Banach space; in particular,C(R ⁿ,R^m) is homomorphic to Hilbert spacel ₂. This research is supported by the Science Foundation of Shanxi Province's Scientific Committee     

Characterization and properties of extreme operators intoC(Y)

LetE be a real (or complex) Banach space,Y a compact Hausdorff space, andC(Y) the space of real (or complex) valued continuous functions onY. IfT is an extreme point in the unit ball of bounded linear operators fromE intoC(Y), then it is shown thatT ^* maps (the natural imbedding inC(Y) ^* of)Y into the weak ^*-closure of extS(E ^*), provided thatY is extremally disconnected, orE=C(X), whereX is a dispersed compact Hausdorff space.     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ℝ) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

Dual spaces of C∞ (X)

ForX a locally compact Stonian Space, letC _∞ (X) denote the universally complete Riesz space of all extended-real-valued continuous functionsf onX for which {x∈X| |f (x)|=∞} is nowhere dense. In this paper the dual spaces ofC _∞ (X) (i.e. the spaces of order bounded; of σ-order continuous; of order continuous linear forms onC _∞ (X), and the extended order dual ofC _∞ (X) denote here byC _∞ (X)^ρ (introduced by W.A.J. Luxemburg and J.J. Masterson)) are characterized. It is shown thatC _∞ (X)^ρ can be identified in a canonical way with the inductive limitM _q (X) of the Riesz spaces of all normal Radon measures defined on the dense open subsets ofX. More generally, ifY is a locally compact space thenM _q (Y) is the extended order dual of the inductive limit of the Riesz spaces of all real-valued continuous functions defined on the dense open subsets ofY. IfX is locally compact and hyperstonian, then it is proved thatC _∞ (X) andC _∞ (X)^ρ are isomorphic, and a criterion forC _∞ (X)^ρ to be the universal completion of the space of order continuous linear forms onC _∞ (X) is given.     

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ?) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

Tiling convex sets by translates

LetK be a compact, convex subset ofE ^dwhich can be tiled by a finite number of disjoint (on interiors) translates of some compact setY. Then we may writeK=X+Y, whereX is finite. The possible structures forK, X andY are completely determined under these conditions.     

A note on compact Kähler manifolds with nef tangent bundles

In this paper, we study the compact Kähler manifolds whose tangent bundles are numerically effective and whose anti-Kodaira dimensions are equal to one. LetX be a compact Kähler manifold with nef tangent bundle and semiample anti-canonical bundle. We prove that κ(?K _X )=1 if and only if there exists a finite étale coverY→X such thatY??¹×A, whereA is a complex torus. As a consequence, we are able to improve upon a result of T. Fujiwara [3, 4].     

An example of a nuclear space in infinite dimensional holomorphy

LetU be an open subset of a complex locally convex spaceE, andH(U) the space of holomorphic functions fromU toC. If the dualE′ ofE is nuclear with respect to the topology generated by the absolutely convex compact subsets ofE, then it is shown thatH(U) endowed with the compact open topology is a nuclear space. In particular, ifE is the strong dual of a Fréchet nuclear space, thenH(U) is a Fréchet nuclear space.     

Hereditary order convexity inL(X,Y)

LetX be a topological vector space,Y an ordered topological vector space andL(X,Y) the space of all linear and continuous mappings fromX intoY. The hereditary order-convex cover [K] ^h of a subsetK ofL(X,Y) is defined by [K] ^h ={A∈L(X,Y):Ax∈[Kx] for allx∈X}, where[Kx] is the order-convex ofKx. In this paper we study the hereditary order-convex cover of a subset ofL(X,Y). We show how this cover can be constructed in specific cases and investigate its structural and topological properties. Our results extend to the spaceL(X,Y) some of the known properties of the convex hull of subsets ofX ^*.     

Some ℵ0-bounded subsets of stone-čech compactifications

We characterize the maximalm-bounded extension of an arbitrary completely regular Hausdorff spaceX. The other principal results are:Theorem. LetX be a locally compact, σ-compact non-compact space with no more than 2^ℵ0 zero-sets. Then assuming the continuum hypothesis,βX − X can be written as the union of 2^2ℵ0 pairwise disjoint, dense ℵ₀-bounded subspaces.Theorem. LetX be a locally compact, σ-compact metric space without isolated points. Then both the set of remote points ofβX and the complement of this set inβX −X are ℵ₀-bounded.     

On factors ofC([0, 1]) with non-separable dual

LetC denote the Banach space of scalar-valued continuous functions defined on the closed unit interval. It is proved that ifX is a Banach space andT:C→X is a bounded linear operator withT ^* X ^* non-separable, then there is a subspaceY ofC, isometric toC, such thatT|Y is an isomorphism. An immediate consequence of this and a result of A. Pelczynski, is that every complemented subspace ofC with non-separable dual is isomorphic (linearly homeomorphic) toC. The research for this paper was partially supported by NSF-GP-30798X. An erratum to this article is available at .     

A characterization of Gaussian law in Hilbert space

Summary In the present paper the main result is the following:Let be a real separable Hilbert space. LetX andY be two independently distributed random variables taking values in . Then the random variablesX+Y andX–Y are independently distributed if and only if each ofX andY follows a Gaussian law.The proof of the above result depends on the solution of a functional equation in the general framework of a real separable Hilbert space.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth     

Finite projective spaces and intersecting hypergraphs

Let ? be a family ofk-subsets on ann-setX andc be a real number 0 <c<1. Suppose that anyt members of ? have a common element (t ≧ 2) and every element ofX is contained in at mostc|?| members of ?. One of the results in this paper is (Theorem 2.9): If $$c = {{(q^{t - 1} + ... + q + 1)} \mathord{\left/ {\vphantom {{(q^{t - 1} + ... + q + 1)} {(q^t + ... + q + 1)}}} \right. \kern-\nulldelimiterspace} {(q^t + ... + q + 1)}}$$ . whereq is a prime power andn is sufficiently large, (n >n (k, c)) then The corresponding lower bound is given by the following construction. LetY be a (q ^t + ... +q + 1)-subset ofX andH ₁,H ₂, ...,H _|Y| the hyperplanes of thet-dimensional projective space of orderq onY. Let ? consist of thosek-subsets which intersectY in a hyperplane, i.e., ?={F∈( _k ^X ): there exists ani, 1≦i≦|Y|, such thatY∩F=H _i }.     

The partially ordered set of one-point extensions

A space Y is called an extension of a space X if Y contains X as a dense subspace. Two extensions of X are said to be equivalent if there is a homeomorphism between them which fixes X point-wise. For two (equivalence classes of) extensions Y and Y^′ of X let Y?Y^′ if there is a continuous function of Y^′ into Y which fixes X point-wise. An extension Y of X is called a one-point extension of X if Y?X is a singleton. Let P be a topological property. An extension Y of X is called a P-extension of X if it has P.One-point P-extensions comprise the subject matter of this article. Here P is subject to some mild requirements. We define an anti-order-isomorphism between the set of one-point Tychonoff extensions of a (Tychonoff) space X (partially ordered by ?) and the set of compact non-empty subsets of its outgrowth βX?X (partially ordered by ⊆). This enables us to study the order-structure of various sets of one-point extensions of the space X by relating them to the topologies of certain subspaces of its outgrowth. We conclude the article with the following conjecture. For a Tychonoff spaces X denote by U(X) the set of all zero-sets of βX which miss X.

Conjecture. For locally compact spaces X and Y the partially ordered sets(U(X),⊆)and(U(Y),⊆)are order-isomorphic if and only if the spacesclβX(βX?υX)andclβY(βY?υY)are homeomorphic.     

Geometry of spaces of compact operators

We introduce the notion of compactly locally reflexive Banach spaces and show that a Banach space X is compactly locally reflexive if and only if for all reflexive Banach spaces Y. We show that X ^* has the approximation property if and only if X has the approximation property and is compactly locally reflexive. The weak metric approximation property was recently introduced by Lima and Oja. We study two natural weak compact versions of this property. If X is compactly locally reflexive then these two properties coincide. We also show how these properties are related to the compact approximation property and the compact approximation property with conjugate operators for dual spaces.     

An extension theorem for holomorphic functions of slow growth on covering spaces of projective manifolds

LetX be a projective manifold of dimension n ≥ 2 andY →X an infinite covering space. EmbedX into projective space by sections of a sufficiently ample line bundle. We prove that any holomorphic function of sufficiently slow growth on the preimage of a transverse intersection ofX by a linear subspace of codimension <n extends toY. The proof uses a Hausdorff duality theorem for L₂ cohomology. We also show that every projective manifold has a finite branched covering whose universal covering space is Stein.     

Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ^?1. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ^?1 and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.     

Topological direct sum decompositions of banach spaces

LetY andZ be two closed subspaces of a Banach spaceX such thatY≠lcub;0rcub; andY+Z=X. Then, ifZ is weakly countably determined, there exists a continuous projectionT inX such that ∥T∥=1,T(X)⊃Y, T ⁻¹(0)⊂Z and densT(X)=densY. It follows that every Banach spaceX is the topological direct sum of two subspacesX ₁ andX ₂ such thatX ₁ is reflexive and densX ₂**=densX**/X.