Asymmetric norms and optimal distance points in linear spaces

In this paper we analyze the existence of points of a subset S of a linear space X where the shortest distance to a point x of X with respect to an asymmetric norm q is attained (q-nearest points). Since the structure of an asymmetric norm do not provide in general uniqueness of such points—due to the fact that the separation properties in these spaces are in general weaker than in normed spaces—we develop a technique to find particular subsets of the set of q-nearest points—that we call optimal distance points—that are also optimal for the norm qs associated to the asymmetric norm.     

Continuous operators on asymmetric normed spaces

If (X, p) and (Y, q) are two asymmetric normed spaces, the set LC(X, Y) of all continuous linear mappings from (X, p) to (Y, q) is not necessarily a linear space, it is a cone. If X and Y are two Banach lattices and p and q are, respectively, their associated asymmetric norms (p(x) = ‖⁺‖, q(y) = ‖y ⁺‖), we prove that the positive operators from X to Y are elements of the cone LC(X, Y). We also study the dual space of an asymmetric normed space and finally we give open mapping and closed graph type theorems in the framework of asymmetric normed spaces. The classical results for normed spaces follow as particular cases. The author acknowledges the support of the Ministerio de Educación y Ciencia of Spain and FEDER, under grant MTM2006-14925-C02-01 and Generalitat Valenciana under grant GV/2007/198.     

On the existence of continuous (approximate) roots of algebraic equations

The present paper considers the existence of continuous roots of algebraic equations with coefficients being continuous functions defined on compact Hausdorff spaces. For a compact Hausdorff space X, C(X) denotes the Banach algebra of all continuous complex-valued functions on X with the sup norm ∥⋅_∥∞. The algebra C(X) is said to be algebraically closed if each monic algebraic equation with C(X) coefficients has a root in C(X). First we study a topological characterization of a first-countable compact (connected) Hausdorff space X such that C(X) is algebraically closed. The result has been obtained by Countryman Jr, Hatori-Miura and Miura-Niijima and we provide a simple proof for metrizable spaces.Also we consider continuous approximate roots of the equation zn−f=0 with respect to z, where f∈C(X), and provide a topological characterization of compact Hausdorff space X with dimX?1 such that the above equation has an approximate root in C(X) for each f∈C(X), in terms of the first ?ech cohomology of X.     

Completeness,precompactness and compactness in finite-dimensional asymmetrically normed lattices

If (X,‖⋅‖)$(X,\Vert \cdot \Vert )$ is a real normed lattice, then p(x)=‖x⁺‖$p(x)=\Vert x^{+}\Vert$ defines an asymmetric norm on X. We characterise the left-K   sequentially complete, precompact and compact subsets of (R^m,p)$({\mathbb{R}}^m,p)$.     

On The Spaces of Linear Operators Acting Between Asymmetric Cone Normed Spaces

An asymmetric norm is a positive sublinear functional p on a real vector space X satisfying \(x=\theta _X\) whenever \(p(x)=p(-x)=0\). Since the space of all lower semi-continuous linear functionals of an asymmetric normed space is not a linear space, the theory is different in the asymmetric case. The main purpose of this study is to define bounded and continuous linear operators acting between asymmetric cone normed spaces. After examining the differences with symmetric case, we give some results related to Baire’s characterization of completeness in asymmetric cone normed spaces.     

Spaceability in Banach and quasi-Banach sequence spaces

Let X be a Banach space. We prove that, for a large class of Banach or quasi-Banach spaces E of X-valued sequences, the sets E-?_q∈Γ?_q(X), where Γ is any subset of (0,∞], and E-c₀(X) contain closed infinite-dimensional subspaces of E (if non-empty, of course). This result is applied in several particular cases and it is also shown that the same technique can be used to improve a result on the existence of spaces formed by norm-attaining linear operators.     

Polynomial numerical indices of Banach spaces with absolute norm

We study when a Banach space with absolute norm may have polynomial numerical indices equal to one. In the real case, we show that a Banach space X with absolute norm, which has the Radon-Nikodým property or is Asplund, satisfies n⁽²⁾(X)<1 unless it is one-dimensional. In the complex case, we show that the only Banach spaces X with absolute norm and the Radon-Nikodým property which satisfy n⁽²⁾(X)=1 are the spaces . Also, the only Asplund complex space X with absolute norm which satisfies n⁽²⁾(X)=1 is c₀(Λ).     

Infima of quasi-uniform anti-atoms

Let (q(X),⊆) denote the lattice consisting of the set q(X) of all quasi-uniformities on a set X, ordered by set-theoretic inclusion ⊆. We observe that a quasi-uniformity on X is the supremum of atoms of (q(X),⊆) if and only if it is totally bounded and transitive. Each quasi-uniformity on X that is totally bounded or has a linearly ordered base is shown to be the infimum of anti-atoms of (q(X),⊆). Furthermore, each quasi-uniformity U on X such that the topology of the associated supremum uniformity Us is resolvable has the latter property.     

Atoms, anti-atoms and complements in the lattice of quasi-uniformities

We describe the atoms of the complete lattice (q(X),⊆) of all quasi-uniformities on a given (nonempty) set X. We also characterize those anti-atoms of (q(X),⊆) that do not belong to the quasi-proximity class of the discrete uniformity on X. After presenting some further results on the adjacency relation in (q(X),⊆), we note that (q(X),⊆) is not complemented for infinite X and show how ideas about resolvability of (bi)topological spaces can be used to construct complements for some elements of (q(X),⊆).     

The bicompletion of an asymmetric normed linear space

A biBanach space is an asymmetric normed linear space (X,‖·‖) such that the normed linear space (X,‖·‖^s) is a Banach space, where ‖x‖^s= max {‖x‖,‖-x‖} for all x∈X. We prove that each asymmetric normed linear space (X,‖·‖) is isometrically isomorphic to a dense subspace of a biBanach space (Y,‖·‖_Y). Furthermore the space (Y,‖·‖_Y) is unique (up to isometric isomorphism). This revised version was published online in August 2006 with corrections to the Cover Date.     

Modular metric spaces, I: Basic concepts

The notion of a modular is introduced as follows. A (metric) modular on a set X is a function w:(0,∞)×X×X→[0,∞] satisfying, for all x,y,z∈X, the following three properties: x=y if and only if w(λ,x,y)=0 for all λ>0; w(λ,x,y)=w(λ,y,x) for all λ>0; w(λ+μ,x,y)≤w(λ,x,z)+w(μ,y,z) for all λ,μ>0. We show that, given x₀∈X, the set X_w={x∈X:lim_λ→∞w(λ,x,x₀)=0} is a metric space with metric , called a modular space. The modular w is said to be convex if (λ,x,y)?λw(λ,x,y) is also a modular on X. In this case X_w coincides with the set of all x∈X such that w(λ,x,x₀)<∞ for some λ=λ(x)>0 and is metrizable by . Moreover, if or , then ; otherwise, the reverse inequalities hold. We develop the theory of metric spaces, generated by modulars, and extend the results by H. Nakano, J. Musielak, W. Orlicz, Ph. Turpin and others for modulars on linear spaces.     

Submaximal and door compactifications

In this paper, a characterization is given for compact door spaces. We, also, deal with spaces X such that a compactification K(X) of X is submaximal or door.Let X be a topological space and K(X) be a compactification of X.We prove, here, that K(X) is submaximal if and only if for each dense subset D of X, the following properties hold:

(i)

D is co-finite in K(X);

(ii)

for each x∈K(X)?D, {x} is closed.

If X is a noncompact space, then we show that K(X) is a door space if and only if X is a discrete space and K(X) is the one-point compactification of X.     

Extremal structure and Samuel compactification

Let M be a uniform space and X the Banach space of bounded and uniformly continuous functions from M into R, provided with its supremum norm.The aim of this paper is to discuss the connection between the geometry of X and the nature of M. In particular, we will prove that certain reconstructions of the unit ball of X by means of its extreme points admit a translation in terms of extension of uniformly continuous functions. We also analyze the impact of these properties on the Samuel compactification of M.     

The Ptolemy and Zb?ganu constants of normed spaces

In every inner product space H the Ptolemy inequality holds: the product of the diagonals of a quadrilateral is less than or equal to the sum of the products of the opposite sides. In other words, ‖x−y‖‖z−w‖≤‖x−z‖‖y−w‖+‖z−y‖‖x−w‖ for any points w,x,y,z in H. It is known that for each normed space (X,‖⋅‖), there exists a constant C such that for any w,x,y,z∈X, we have ‖x−y‖‖z−w‖≤C(‖x−z‖‖y−w‖+‖z−y‖‖x−w‖). The smallest such C is called the Ptolemy constant of X and is denoted by C_P(X). We study the relationships between this constant and the geometry of the space X, and hence with metric fixed point theory. In particular, we relate the Ptolemy constant C_P to the Zb?ganu constant C_Z, and prove that if X is a Banach space with , then X has (uniform) normal structure and therefore the fixed point property for nonexpansive mappings. We derive general lower and upper bounds for both C_P and C_Z, and calculate the precise values of these two constants for several normed spaces. We also present a number of conjectures and open problems.     

Compactness in asymmetric normed spaces

A systematic study of precompact and compact subsets on asymmetric normed linear spaces is developed, centering our attention in the case of linear lattices with an asymmetric norm.     

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.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

Chain conditions and weak topologies

We study conditions on Banach spaces close to separability. We say that a topological space is pcc if every point-finite family of open subsets of the space is countable. For a Banach space E, we say that E is weakly pcc if E, equipped with the weak topology, is pcc, and we also consider a weaker property: we say that E is half-pcc if every point-finite family consisting of half-spaces of E is countable. We show that E is half-pcc if, and only if, every bounded linear map E→c₀(ω₁) has separable range. We exhibit a variety of mild conditions which imply separability of a half-pcc Banach space. For a Banach space C(K), we also consider the pcc-property of the topology of pointwise convergence, and we note that the space Cp(K) may be pcc even when C(K) fails to be weakly pcc. We note that this does not happen when K is scattered, and we provide the following example:

-

There exists a non-metrizable scattered compact Hausdorff space K with C(K) weakly pcc.