Weighted composition operators on nonlocally convex weighted spaces of continuous functions

LetV be a system of weights on a completely regular Hausdorff spaceX and letB(E) be the topological vector space of all continuous linear operators on a general topological vector spaceE. LetCV ₀(X, E) andCV _b (X, E) be the weighted spaces of vector-valued continuous functions (vanishing at infinity or bounded, respectively) which are not necessarily locally convex. In the present paper, we characterize in this general setting the weighted composition operatorsW _π,? onCV ₀(X, E) (orCV _b (X, E)) induced by the operator-valued mappings π:X→B(E) (or the vector-valued mappings π:X→E, whereE is a topological algebra) and the self-map ? ofX. Also, we characterize the mappings π:X→B(E) (or π:x→E) and ?:X→X which induce the compact weighted composition operators on these weighted spaces of continuous functions.     

Topological dynamics of transformations induced on the space of probability measures

LetT be a continuous transformation of a compact metric spaceX. T induces in a natural way a transformationT _M on the spaceM (X) of probability measures onX, and a transformationT _K on the spaceK (X) of closed subsets ofX. This note investigates which of the topological properties ofT∶X→X (like distality, transitivity, mixing property etc. ...) are “inherited” byT _M∶M (X)→M (X) andT _K∶K (X)→K (X).     

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

The present paper gives a new construction of a quotient BCI(BCK)-algebraX/μ by a fuzzy ideal μ inX and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if μ is a fuzzy ideal (closed fuzzy ideal) ofX, thenX/μ is a commutative (resp. positive implicative, implicative) BCK (BCI)-algebra if and only if μ is a fuzzy commutative (resp positive implicative, implicative) ideal ofX. Moreover we prove that a fuzzy ideal of a BCI-algebra is closed if and only if it is a fuzzy subalgebra ofX. We show that if the period of every element in a BCI-algebraX is finite, then any fuzzy ideal ofX is closed. Especially, in a well (resp, finite, associative, quasi-associative, simple) BCI-algebra, any fuzzy ideal must be closed.     

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 ^*.     

Extreme points and retractions in Banach spaces

ForT a completely regular topological space andX a strictly convex Banach space, we study the extremal structure of the unit ball of the spaceC(T,X) of continuous and bounded functions fromT intoX. We show that when dimX is an even integer then every point in the unit ball ofC(T, X) can be expressed as the average of three extreme points if, and only if, dimT< dimX, where dimT is the covering dimension ofT. We also prove that, ifX is infinite-dimensional, the aforementioned representation of the points in the unit ball ofC(T, X) is always possible without restrictions on the topological spaceT. Finally, we deduce from the above result that the identity mapping on the unit ball of an infinite-dimensional strictly convex Banach space admits a representation as the mean of three retractions of the unit ball onto the unit sphere. The author wishes to express his gratitude to Dr. Juan Francisco Mena Jurado for many helpful suggestions during the preparation of this paper.     

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.     

Essential ideals inC(X)

It is shown thatX is finite if and only ifC(X) has a finite Goldie dimension. More generally we observe that the Goldie dimension ofC(X) is equal to the Souslin number ofX. Essential ideals inC(X) are characterized via their corresponding z-filters and a topological criterion is given for recognizing essential ideals inC(X). It is proved that the Fréchet z-filter (cofinite z-filter) is the intersection of essential z-filters. The intersection of idealsO _x wherex runs through nonisolated points inX is the socle ofC(X) if and only if every open set containing all nonisolated points is cofinite. Finally it is shown that if every essential ideal inC(X) is a z-ideal thenX is a P-space.     

Vector Variational Inequalities and the (S)<Subscript>+</Subscript> Condition

Let $${\cal Z}$$ and X be Hausdorff real topological vector spaces and let $${\cal L}_b(X,{\cal Z})$$ be the space of continuous linear mappings from X into $${\cal Z}$$ equipped with the topology of bounded convergence. In this paper, we define the (S)₊ condition for operators from a nonempty subset of X into $${\cal L}_b(X,{\cal Z})$$ and derive some existence results for vector variational inequalities with operators of the class (S)₊. Some applications to vector complementarity problems are given.     

A superreflexive banach spaceX withL(X) admitting a homomorphism onto the Banach algebraC(βN)

A separable superreflexive Banach spaceX is constructed such that the Banach algebraL(X) of all continuous endomorphisms ofX admits a continuous homomorphism onto the Banach algebraC(βN) of all scalar valued functions on the Stone-Čech compacification of the positive integers with supremum norm. In particular: (i) the cardinality of the set of all linear multiplicative functionals onL(X) is equal to 2^c and (ii)X is not isomorphic to any finite Cartesian power of any Banach space.     

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.     

A hypercyclicity criterion with applications

A continuous linear operator on a topological vector space X is called hypercyclic if there is x∈X such that the orbit {Tnx}_n?0 is dense in X. We establish a criterion for hypercyclicity, and study some applications. In particular, we establish hypercyclic left-multipliers on the space L(X,Y) of continuous linear operators between X and Y, provided with the topology of uniform convergence on bounded sets, for some spaces X,Y of holomorphic functions.     

Linear extensions of some Baire-one functions

Let X be a Hausdorff topological space, and let \({\mathscr {B}}_1(X)\) denote the space of all real Baire-one functions defined on X. Let A be a nonempty subset of X endowed with the topology induced from X, and let \({\mathscr {F}}(A)\) be the set of functions \(A\rightarrow {\mathbb R}\) with a property \({\mathscr {F}}\) making \({\mathscr {F}}(A)\) a linear subspace of \({\mathscr {B}}_1(A)\). We give a sufficient condition for the existence of a linear extension operator \(T_A:{\mathscr {F}}(A)\rightarrow {\mathscr {F}}(X)\), where \({\mathscr {F}}\) means to be piecewise continuous on a sequence of closed and \(G_\delta \) subsets of X and is denoted by \({\mathscr {P}_0}\). We show that \(T_A\) restricted to bounded elements of \({\mathscr {F}}(A)\) endowed with the supremum norm is an isometry. As a consequence of our main theorem, we formulate the conclusion about existence of a linear extension operator for the classes of Baire-one-star and piecewise continuous functions.     

Continuity of the hausdorff dimension for piecewise monotonic maps

In this paper a piecewise monotonic mapT:X→?, whereX is a finite union of intervals, is considered. DefineR(T)= \(\mathop \cap \limits_{n = 0}^\infty \overline {T^{ - n} X} \) . The influence of small perturbations ofT on the Hausdorff dimension HD(R(T)) ofR(T) is investigated. It is shown, that HD(R(T)) is lower semi-continuous, and an upper bound of the jumps up is given. Furthermore a similar result is shown for the topological pressure.     

Automatic continuity for linear surjective mappings decreasing the local spectral radius at some fixed vector

Let X be a complex Banach space and denote by L( X){\mathcal{L}\left( X\right)} the space of bounded linear operators on X. Let e be a nonzero element of X. We prove that if φ is a linear and surjective mapping from L( X){ \mathcal{L}\left( X\right) } into itself which decreases the local spectral radius at e, then φ is automatically continuous.     

Even continuity and topological equicontinuity in topologized semigroups

A topologized semigroup X having an evenly continuous resp., topologically equicontinuous, family RX of right translations is investigated. It is shown that: (1) every left semitopological semigroup X with an evenly continuous family RX is a topological semigroup, (2) a semitopological group X is a paratopological group if and only if the family RX is evenly continuous and (3) a semitopological group X is a topological group if and only if the family RX is topologically equicontinuous. In particular, we get that for any paratopological group X which is not a topological group, the family RX provides an example of a transitive group of homeomorphisms of X that is evenly continuous and not topologically equicontinuous. The last conclusion answers negatively a question posed by H.L. Royden.     

A note on λ-compact spaces

We extend the well-known and important fact that “a topological space X is compact if and only if every ideal in C(X) is fixed”, to more general topological spaces. Some interesting consequences are also observed. In particular, the maximality of compact Hausdorff spaces with respect to the property of compactness is generalized and the topological spaces with this generalized property are characterized.     

Extension theorems for linear lattices with positive algebraic basis

An ordered linear spaceV with positive wedgeK is said to satisfy extension property (E1) if for every subspaceL ₀ ofV such thatL ₀ ∩K is reproducing inL ₀, and every monotone linear functionalf ₀ defined onL ₀,f ₀ has a monotone linear extension to all ofV. A linear latticeX is said to satisfy extension property (E2) if for every sublatticeL ofX, and every linear functionalf defined onL which is a lattice homomorphism,f has an extensionf′ to all ofX which is also a linear functional and a lattice homomorphism. In this paper it is shown that a linear lattice with a positive algebraic basis has both extension property (E1) and (E2). In obtaining this result it is shown that the linear span of a lattice idealL and an extremal element not inL is again a lattice ideal. (HereX does not have to have a positive algebraic basis.) It is also shown that a linear lattice which possesses property (E2) must be linearly and lattice isomorphic to a functional lattice. An example is given of a function lattice which has property (E2) but does not have a positive algebraic basis. Yudin [12] has shown a reproducing cone in ann-dimensional linear lattice to be the intersection of exactlyn half-spaces. Here it is shown that the positive wedge in ann-dimensional archimedean ordered linear space satisfying the Riesz decomposition property must be the intersection ofn half-spaces, and hence the space must be a linear lattice with a positive algebraic basis. The proof differs from those given for the linear lattice case in that it uses no special techniques, only well known results from the theory of ordered linear space.     

On a characterization of a convolution of Gaussian and idempotent distributions

We prove some analogues of the well-known Skitovich-Darmois and Heyde characterization theorems for a second countable locally compact Abelian group X under the assumption that the distributions of the random variables have continuous positive densities with respect to a Haar measure on X and the coefficients in the linear forms considered are topological automorphisms of the group X.     

An extension of the Aumann-shapley value concept to functions on arbitrary banach spaces

LetX denote a linear space of real valued functions defined on a subset of a Banach space such thatX containsE′ the dual space ofE as a subspace. Given a distinguished vectorx ₀ inE anx ₀-value (onX) is defined to be a projectionP fromX ontoE′ which satisfies the following two hypotheses: (VA) (PF)(x₀)=Fx₀ for allF inX; (VB) IfT is a continuous isomorphism fromE intoE such thatTx ₀=x ₀ thenP(F?T) = (PF) ? T for allF inX. The existence and uniqueness of a value is established for two choices ofX, one of which is the space of polynomials in functional onE. The existence and partial uniqueness of a value is established on a third choice forX.