Workshop lecture on products of Fréchet spaces

The general question, “When is the product of Fréchet spaces Fréchet?” really depends on the questions of when a product of α₄ Fréchet spaces (also known as strongly Fréchet or countably bisequential spaces) is α₄, and when it is Fréchet. Two subclasses of the class of strongly Fréchet spaces shed much light on these questions. These are the class of α₃ Fréchet spaces and its subclass of ℵ₀-bisequential spaces. The latter is closed under countable products, the former not even under finite products. A number of fundamental results and open problems are recalled, some further highlighting the difference between being α₃ and Fréchet and being ℵ₀-bisequential.     

Productive local properties of function spaces

We characterize the spaces X for which the space Cp(X) of real valued continuous functions with the topology of pointwise convergence has local properties related to the preservation of countable tightness or the Fréchet property in products. In particular, we use the methods developed to construct an uncountable subset W of the real line such that the product of Cp(W) with any strongly Fréchet space is Fréchet. The example resolves an open question.     

Countable connected Hausdorff and Urysohn bunches of arcs in the plane

In this paper, we answer a question by Krasinkiewicz, Reńska and Sobolewski by constructing countable connected Hausdorff and Urysohn spaces as quotient spaces of bunches of arcs in the plane. We also consider a generalization of graphs by allowing vertices to be continua and replacing edges by not necessarily connected sets. We require only that two “vertices” be in the same quasi-component of the “edge” that contains them. We observe that if a graph G cannot be embedded in the plane, then any generalized graph modeled on G is not embeddable in the plane. As a corollary we obtain not planar bunches of arcs with their natural quotients Hausdorff or Urysohn. This answers another question by Krasinkiewicz, Reńska and Sobolewski.     

Topological structure of solution sets for impulsive differential inclusions in Fréchet spaces

In this paper, we consider the existence of solutions as well as the topological and geometric structure of solution sets for first-order impulsive differential inclusions in some Fréchet spaces. Both the initial and terminal problems are considered. Using ingredients from topology and homology, the topological structures of solution sets (closedness and compactness) as well as some geometric properties (contractibility, acyclicity, AR and R_δ) are investigated. Some of our existence results are obtained via the method of taking the inverse system limit on noncompact intervals.     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.     

Equivalence among various derivatives and subdifferentials of the distance function

For a nonempty closed set C in a normed linear space X with uniformly Gâteaux differentiable norm, it is shown that the distance function d_C is strictly differentiable at x∈X?C iff it is regular at x iff its modified upper or lower Dini subdifferential at x is a singleton iff its upper or lower Dini subdifferential at x is nonempty iff its upper or lower Dini derivative at x is subadditive. Moreover if X is a Hilbert space, then d_C is Fréchet differentiable at x∈X?C iff its Fréchet subdifferential at x is nonempty. Many characteristics of proximally smooth sets and convex closed sets in a Hilbert space are also given.     

Projectively bounded Fréchet measures

A scalar valued set function on a Cartesian product of -algebras is a Fréchet measure if it is a scalar measure independently in each coordinate. A basic question is considered: is it possible to construct products of Fréchet measures that are analogous to product measures in the classical theory? A Fréchet measure is said to be projectively bounded if it satisfies a Grothendieck type inequality. It is shown that feasibility of products of Fréchet measures is linked to the projective boundedness property. All Fréchet measures in a two dimensional framework are projectively bounded, while there exist Fréchet measures in dimensions greater than two that are projectively unbounded. A basic problem is considered: when is a Fréchet measure projectively bounded? Some characterizations are stated. Applications to harmonic and stochastic analysis are given.

     

Topologies on groups determined by discrete subsets

Let G be an infinite group. Given a filter F on G, let T[F] denote the largest left invariant topology on G in which F converges to the identity. In this paper, we study the topology T[F] in case when F contains the Fréchet filter and there is such that all the subsets xM(x), where x∈G, are pairwise disjoint. We show that T[F] possesses interesting extremal properties. We consider also the question whether T[F] can be a group topology.     

Fréchet-Urysohn fans in free topological groups

In this paper we answer the question of T. Banakh and M. Zarichnyi constructing a copy of the Fréchet-Urysohn fan S_ω in a topological group G admitting a functorial embedding [0,1]⊂G. The latter means that each autohomeomorphism of [0,1] extends to a continuous homomorphism of G. This implies that many natural free topological group constructions (e.g. the constructions of the Markov free topological group, free abelian topological group, free totally bounded group, free compact group) applied to a Tychonov space X containing a topological copy of the space Q of rationals give topological groups containing S_ω.     

Quasi-reflexive Fréchet spaces and mean ergodicity

We characterize quasi-reflexive Fréchet spaces with a basis in terms of the properties of this basis. As a consequence we prove that a Fréchet space with a basis is quasi-reflexive of order one if and only if for every power bounded operator T, either T or T^′ is mean ergodic.     

Quotient-reflective and bireflective subcategories of the category of preordered sets

In previous papers, the notions of “closedness” and “strong closedness” in set-based topological categories were introduced. In this paper, we give the characterization of closed and strongly closed subobjects of an object in the category Prord of preordered sets and show that they form appropriate closure operators which enjoy the basic properties like idempotency (weak) hereditariness, and productivity.We investigate the relationships between these closure operators and the well-known ones, the up- and down-closures. As a consequence, we characterize each of T₀, T₁, and T₂ preordered sets and show that each of the full subcategories of each of T₀, T₁, T₂ preordered sets is quotient-reflective in Prord. Furthermore, we give the characterization of each of pre-Hausdorff preordered sets and zero-dimensional preordered sets, and show that there is an isomorphism of the full subcategory of zero-dimensional preordered sets and the full subcategory of pre-Hausdorff preordered sets. Finally, we show that both of these subcategories are bireflective in Prord.     

Lindelöf spaces which are Menger, Hurewicz, Alster, productive, or D

We discuss relationships in Lindelöf spaces among the properties “Menger”, “Hurewicz”, “Alster”, “productive”, and “D”.     

Solution of Shapirovskii's question

Boris Shapirovskii posed the following question: “Suppose a continuous mapping from one compact space onto another is given. Suppose that the π-character of any point in the domain is greater than the weight of the target space. Will there be two disjoint closed sets in the domain mapping onto?”. There is a zero-dimensional counterexample (Corollary 12), but the one cardinal up version is true in zero-dimensional case (Corollary 14). Nevertheless, there always will be two disjoint open sets mapping densely (Theorem 7).     

Lindelöf spaces which are indestructible, productive, or D

We discuss relationships in Lindelöf spaces among the properties “indestructible”, “productive”, “D”, and related properties.     

Almost disjoint large subsets of semigroups

There are several notions of largeness in a semigroup S that originated in topological dynamics. Among these are thick, central, syndetic and piecewise syndetic. Of these, central sets are especially interesting because they are partition regular and are guaranteed to contain substantial combinatorial structure. It is known that in (N,+) any central set may be partitioned into infinitely many pairwise disjoint central sets. We extend this result to a large class of semigroups (including (N,+)) by showing that if S is a semigroup in this class which has cardinality κ then any central set can be partitioned into κ many pairwise disjoint central sets. We also show that for this same class of semigroups, if there exists a collection of μ almost disjoint subsets of any member S, then any central subset of S contains a collection of μ almost disjoint central sets. The same statement applies if “central” is replaced by “thick”; and in the case that the semigroup is left cancellative, “central” may be replaced by “piecewise syndetic”. The situation with respect to syndetic sets is much more restrictive. For example, there does not exist an uncountable collection of almost disjoint syndetic subsets of N. We investigate the extent to which syndetic sets can be split into disjoint syndetic sets.     

Cosheaves and connectedness in formal topology

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π₀ together with certain additional structure and properties that constrain π₀ to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf.A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics.     

Convergence preserving mappings on topological groups

It is well known that a mapping is convergence preserving, that is, whenever an infinite series ∑an converges, the series ∑φ(an) converges, if and only if there exists m∈R such that φ(x)=mx in some neighborhood of 0. We explore convergence preserving mappings on Hausdorff topological groups, showing in particular, that if G×G is a Fréchet group, and H has no small subgroups, then a mapping is convergence preserving if and only if there is a neighborhood of the identity in G on which φ is a sequentially continuous homomorphism.     

Metric regularity and subdifferential calculus in Banach spaces

In this paper we give verifiable conditions in terms of limiting Fréchet subdifferentials ensuring the metric regularity of a multivalued functionF(x)=–g(x)+D. We apply our results to the study of the limiting Fréchet subdifferential of a composite function defined on a Banach space.     

Exponential objects and Cartesian closedness in the constructPrtop

We give an internal characterization of the exponential objects in the constructPrtop and investigate Cartesian closedness for coreflective or topological full subconstructs ofPrtop. If $ is the set {0} {1/n;n 1} endowed with the topology induced by the real line, we show that there is no full coreflective subconstruct ofPrtop containing $ and which is Cartesian closed. With regard to topological full subconstructs ofPrtop we give an example of a Cartesian closed one that is large enough to contain all topological Fréchet spaces and allT ₁ pretopological Fréchet spaces.Aspirant NFWO     

Tightness and distinguished Fréchet spaces

Valdivia invented a nondistinguished Fréchet space whose weak bidual is quasi-Suslin but not K-analytic. We prove that Grothendieck/Köthe's original nondistinguished Fréchet space serves the same purpose. Indeed, a Fréchet space is distinguished if and only if its strong dual has countable tightness, a corollary to the fact that a (DF)-space is quasibarrelled if and only if its tightness is countable. This answers a Cascales/K?kol/Saxon question and leads to a rich supply of (DF)-spaces whose weak duals are quasi-Suslin but not K-analytic, including the spaces Cc(κ) for κ a cardinal of uncountable cofinality. Our level of generality rises above (DF)- or even dual metric spaces to Cascales/Orihuela's class G. The small cardinals b and d invite a novel analysis of the Grothendieck/Köthe example, and are useful throughout.