Weak barrelledness for C(X) spaces

Buchwalter and Schmets reconciled C_c(X) and C_p(X) spaces with most of the weak barrelledness conditions of 1973, but could not determine if -barrelled ⇔ ?^∞-barrelled for C_c(X). The areas grew apart. Full reconciliation with the fourteen conditions adopted by Saxon and Sánchez Ruiz needs their 1997 characterization of Ruess' property (L), which allows us to reduce the C_c(X) problem to its 1973 status and solve it by carefully translating the topology of Kunen (1980) and van Mill (1982) to find the example that eluded Buchwalter and Schmets. The more tractable C_p(X) readily partitions the conditions into just two equivalence classes, the same as for metrizable locally convex spaces, instead of the five required for C_c(X) spaces. Our paper elicits others, soon to appear, that analytically characterize when the Tychonov space X is pseudocompact, or Warner bounded, or when C_c(X) is a df-space (Jarchow's 1981 question).     

A second-dual method for C(X) isomorphisms

Let X and Y denote compact Hausdorff spaces, C(X) and C(Y) the sup-norm Banach spaces of continuous real-valued functions on X and Y respectively, and φ: C(X) → C(Y) an onto isomorphism whose bound is less than three. With the aid of second duals, we construct a natural function from X into the set of finite subsets of Y. This provides a new approach to results of Amir and Cambern. We then obtain necessary conditions on X and Y for the existence of a bound-two isomorphism; for instance, the existence of open sets U and V of X and Y respectively such that U and V are homeomorphic and XßU and YßV are homeomorphic.     

Some properties of C(X), I

By a result of A.V. Arhangel'skiǐ and E.G. Pytkeiev, the space C(X) of the continuous real functions on X with the topology of pointwise convergence has tightness ω iff Xⁿ is Lindelöf for every n ∈ ω. In this paper we describe other convergence properties of C(X) (e.g. the Fréchet-Urysohn properly) in terms of covering properties of X.In some cases the equivalence between these properties turn out to be dependent on the set theory we choose. Some open problems are also stated.     

Some properties of C(X), II

The main result of the paper is that for a Tychonoff space X the space C_p(X) of the continuous real functions on X with the topology of pointwise convergence is a k-space iff it is Fréchet. This theorem improves a recent joint result by Zs. Nagy and the author.     

Bounded tightness for locally convex spaces and spaces C(X)

We show that metrizability and bounded tightness are actually equivalent for a large class of locally convex spaces including (LF)-spaces, (DF)-spaces, the space of distributions D′(Ω), etc. A consequence of this fact is that for the bounded tightness for the weak topology of X is equivalent to the following one: X is linearly homeomorphic to a subspace of . This nicely supplements very recent results of Cascales and Raja. Moreover, we show that a metric space X is separable if the space C_p(X) has bounded tightness.     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

Compactifications determined by subsets of C1(X)

It is well known that every compactification of a completely regular space X can be generated, via a Tychonoff-type embedding, by some suitably chosen subset of C¹(X). Different subsets may give rise to equivalent compactifications, and we are concerned with the problem of finding all subsets of C¹(X) which yield a given compactification αX. The problem is easier if generalized: we say that a subset F of C¹(X) “determines” the compactification αX if αX is the smallest compactification to which every element of F extends, and give a simple necessary and sufficient condition for F to determine a given compactification αX. A number of sufficient conditions for two sets to determine the same compactification are given, and the relation between sets which determine αX and those which generate αX (via an embedding) is considered. Generally, a much smaller set of functions is required to determine αX than to generate it; the number needed to determine αX is never more than the weight of αX?X, while the number required to generate it is, if infinite, equal to the weight of αX.     

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.     

Annihilating measures of the algebra R(X)

A special class of “analytic measures” in the totality of measures orthogonal to the algebra of rational functions on a compact set X?C is introduced. It is proved that there always exist nontrivial (i.e., nonzero) analytic measures provided that R(X) ≠ C(X). We also give sufficient conditions in order to have the linear span of analytic measures be weak (1) dense in the whole annihilator of the algebra R(X).     

Polynomial sequential continuity on C(K,E) spaces

We show that, for bounded sequences in C(K,E), the polynomial sequential convergence is not equivalent to the pointwise polynomial sequential convergence. We introduce several conditions on E under which different versions of the result are true when K is a scattered compact space. These conditions are related with some others appeared in the literature and they seem to be of independent interest.     

Representing measures for R(X) and their Green's functions

Let X be a compact subset of the complex plane with a nonempty interior, R(X) the uniform closure in C(X) of the rational functions with poles off X, and m a representing measure on ∂X for the functional on R(X) of evaluation at a point a in int X. Let N² be the space of functions f in L²(m) satisfying ∝ fdm = ∝ fKdm = 0 for all h in R(X), and let T be the operator on N² of multiplication by z followed by projection onto N². The spectral properties of T are investigated and shown to depend in part on the behavior of the so-called Green's function of m. In case m is the harmonic measure on ∂X for a the latter function is the classical Green's function for int X with singularity at a. Special attention is paid to the case where X is the closure of a finitely connected Jordan domain whose boundary curves are analytic. In that context, new proofs are given of Beurling's invariant subspace theorem and of Forelli's theorem on extreme points in the unit ball of the Hardy space H¹(m).     

Norm or numerical radius attaining polynomials on C(K)

Let be the Banach space of all complex-valued continuous functions on a compact Hausdorff space K. We study when the following statement holds: every norm attaining n-homogeneous complex polynomial on attains its norm at extreme points. We prove that this property is true whenever K is a compact Hausdorff space of dimension less than or equal to one. In the case of a compact metric space a characterization is obtained. As a consequence we show that, for a scattered compact Hausdorff space K, every continuous n-homogeneous complex polynomial on can be approximated by norm attaining ones at extreme points and also that the set of all extreme points of the unit ball of is a norming set for every continuous complex polynomial. Similar results can be obtained if “norm” is replaced by “numerical radius.”     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

Nonnegative (s, t)-potent matrices

This paper contains a study of matrices satisfying A^s = A^t for different positive integers s and t. Representations, similar to Flor's well-known characterization of a nonnegative idempotent matrix, are obtained for nonnegative matrices of this type.     

Uniqueness of norm on L(G) and C(G) when G is a compact group

Let G be a compact group. If the trivial representation of G is not weakly contained in the left regular representation of G on L₀²(G) and X is either L^p(G) for 1<p?∞ or C(G), then we show that every complete norm |·| on X that makes translations from (X,|·|) into itself continuous is equivalent to ||·||_p or ||·||_∞ respectively. If 1<p?∞ and every left invariant linear functional on L^p(G) is a constant multiple of the Haar integral, then we show that every complete norm |·| on L^p(G) that makes translations from (L^p(G),|·|) into itself continuous and that makes the map t?L_t from G into bounded is equivalent to ||·||_p.     

An example of a non quasi well-behaved derivation in C(I)

The aim of this paper is to study the closed derivations in C(I) induced by non-atomic signed measures with support I and to give an example of a non quasi well-behaved closed derivation in C(I).     

Structural stability of (C, A)-marked subspaces

Given an observable pair of matrices (C, A) we consider the manifold of (C, A)-invariant subspaces having a fixed Brunovsky-Kronecker structure. Using Arnold techniques we obtain the explicit form of a miniversal deformation of a marked (C, A)-invariant subspace with respect to the usual equivalence relation. As an application, we obtain the dimension of the orbit and we characterize the structurally stable subspaces (those with open orbit).