Understanding preservation theorems,II

We present an exposition of much of Sections VI.3 and XVIII.3 from Shelah's book Proper and Improper Forcing. This covers numerous preservation theorems for countable support iterations of proper forcing, including preservation of the property “no new random reals over V ”, the property “reals of the ground model form a non‐meager set”, the property “every dense open set contains a dense open set of the ground model”, and preservation theorems related to the weak bounding property, the weak ^ωω ‐bounding property, and the property “the set of reals of the ground model has positive outer measure” (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Topological finite-determinacy of functions with non-isolated singularities

We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal I, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the following statement which generalizes classical results of Thom and Varchenko: let A be the complement in the ideal I of the space of germs whose topological type remains unchanged under a deformation within the ideal that only modifies sufficiently large order terms of the Taylor expansion. Then A has infinite codimension in I in a suitable sense. We also prove the existence of generic topological types of families of germs of I parametrized by an irreducible analytic set.     

On the Distribution Behaviour of Sequences

This paper presents results concerning those sets of finite Borel measures μ on a locally compact Hausdorff space X with countable topological base which can be represented as the set of limit distributions of some sequence. They arc characterized by being nonanpty, closed, connected and containing only measures μ with μ(X) = 1 (if X is compact) or 0 ≤ μ(X) ≤ 1 (if X is not compact). Any set with this properties can be obtained as the set of limit distributions of a sequence even by rearranging an arbitrarily given sequence which is dense in the sense that the set of accumulation points is the whole space X. The typical case (in the sense of Baire categories) is that a sequence takes as limit distributions all possible measures of this kind. This gives new aspects for the recent theory of maldistribukd sequences.     

Equicontinuity and balanced topological groups

It was proved by V.G. Pestov in 1988 that a locally compact group G is balanced if and only if any countable subset of G is thin in G. This unexpected result was obtained by using a non-elementary transfinite induction involving properties of infinite ordinals. In the present work, this result is reconsidered in a more general context by using an approach which is comparable, in spirit, to Pestov's, but uses a notably simplified technique. Let X be a topological space, Y a uniform space and $\text{H}$ a set of continuous mappings of X into Y. First, new conditions concerning X are given under which $\text{H}$ is equicontinuous provided its countable subsets are. Next, X and Y are supposed equal to a topological group equipped with its right uniform structure, and the set $\text{H}$ taken into account is the group of all its inner automorphisms. We then obtain theorems such as the following which includes, as a special case, Pestov's result: Let G be a topological group; let us suppose that the space G is strongly functionally generated by the set of all its subspaces of countable o-tightness; then G is balanced if and only if any right uniformly discrete countable subset of G is thin in G. As an application, it is proved that if G satisfies the above hypothesis and is non-Archimedean, then G is balanced if and only if G is strongly functionally balanced.     

The structure of non-completely regular spaces

F.B. Jones has proved that for many different topological properties P if there exists a non-normal space with property P then there exists a non-completely regular space Y with property P. In this paper we study the topological structure of the space Y and we characterize the topological spaces with a similar structure to that possessed by Y.     

Function Spaces and Continuous Algebraic Pairings for Varieties

Given a quasi-projective complex variety X and a projective variety Y, one may endow the set of morphisms, Mor(X, Y), from X to Y with the natural structure of a topological space. We introduce a convenient technique (namely, the notion of a functor on the category of 'smooth curves') for studying these function complexes and for forming continuous pairings of such. Building on this technique, we establish several results, including (1) the existence of cap and join product pairings in topological cycle theory; (2) the agreement of cup product and intersection product for topological cycle theory; (3) the agreement of the motivic cohomology cup product with morphic cohomology cup product; and (4) the Whitney sum formula for the Chern classes in morphic cohomology of vector bundles.     

Duality theorems on an infinite network *

We study conjugate duality for optimization problems on an infinite, but locally finite network with countable node set X and countable are set Y In contrast to earlier approaches we do not employ Hilbert or Banach space methods. Instead we work in the spaces R^X and R^Y which are siven their Droduct toDolosv, As an application we obtain generalizations of some basic inverse relations from discrete potential theory     

On Normed Lattices and Their Banach Completions

It is known that the Banach completion Y = bX of a normed lattice X need not preserve the properties to be Dedekind complete or σ-Dedekind complete. In this paper it is proved that the countable interpolation property and the property to be sequentially order complete are preserved under the Banach completion. To prove this results we found some sufficient conditions (which are close to necessary ones) on X which secure for Y to have the countable interpolation property and (respectively) to be sequentially order complete. These conditions are obtained with the help of the newly developed techniques based on representations of normed lattices. It is well known that order continuity, and σ-order continuity of a norm are preserved under the Banach completion. Here necessary and sufficient conditions on X to secure these properties in Y are discussed. Mathematics Subject Classification 2000: 46B42, 46E15     

Generalizing Mutational Equations for Uniqueness of Some Nonlocal 1<Superscript>st</Superscript>-Order Geometric Evolutions

The mutational equations of Aubin extend ordinary differential equations to metric spaces (with compact balls). In first-order geometric evolutions, however, the topological boundary need not be continuous in the sense of Painlevé–Kuratowski. So this paper suggests a generalization of Aubin’s mutational equations that extends classical notions of dynamical systems and functional analysis beyond the traditional border of vector spaces: Distribution-like solutions are introduced in a set just supplied with a countable family of (possibly non-symmetric) distance functions. Moreover their existence is proved by means of Euler approximations and a form of “weak” sequential compactness (although no continuous linear forms are available beyond topological vector spaces). This general framework is applied to a first-order geometric example, i.e. compact subsets of ? ^N evolving according to the nonlocal properties of both the current set and its proximal normal cones. Here neither regularity assumptions about the boundaries nor the inclusion principle are required. In particular, we specify sufficient conditions for the uniqueness of these solutions.     

On the minimal cover property and certain notions of finite

In set theory without the axiom of choice, we investigate the deductive strength of the principle “every topological space with the minimal cover property is compact”, and its relationship with certain notions of finite as well as with properties of linearly ordered sets and partially ordered sets.     

The separable extension problem

It is proved that every infinite dimensional separable Banach space having the separable extension property is isomorphic to c₀. It is also proved that every Banach space with a separable dual is “close” to a space of continuous functions on a countable compact space.     

On Some Types of Rigid Sets in Banach Spaces

One of the properties characterizing Euclidean spaces says - roughly speaking- that their unit sphere has nice invariant properties. More precisely, a finite dimensional normed space has an Euclidean norm if and only if the group of isometries acts transitively on its unit sphere (the norm is “transitive”); such property of the sphere is also called “rigidity”. More recently, another notion of “rigidity” for compact sets, connected with “isometric sequences”, received some attention. Infinite rigid sets are diametral; moreover, under suitable assumptions on the space, they are also contained in the boundary of a sphere. These notions are connected with many problems, in different areas. Here we discuss and compare these two notions of rigid set, trying to indicate new relations among them and with some other properties of sets. Several examples complete the paper.     

Almost maximal spaces

A topological space X is called almost maximal if it is without isolated points and for every x∈X, there are only finitely many ultrafilters on X converging to x. We associate with every countable regular homogeneous almost maximal space X a finite semigroup Ult(X) so that if X and Y are homeomorphic, Ult(X) and Ult(Y) are isomorphic. Semigroups Ult(X) are projectives in the category F of finite semigroups. These are bands decomposing into a certain chain of rectangular components. Under MA, for each projective S in F, there is a countable almost maximal topological group G with Ult(G) isomorphic to S. The existence of a countable almost maximal topological group cannot be established in ZFC. However, there are in ZFC countable regular homogeneous almost maximal spaces X with Ult(X) being a chain of idempotents.     

Hyperbolic rank and subexponential corank of metric spaces

We introduce a new quasi-isometry invariant corank X of a metric space X called subexponential corank. A metric space X has subexponential corank k if roughly speaking there exists a continuous map , T is a topological space, such that for each the set g ^-1(t) has subexponential growth rate in X and the topological dimension dimT = k is minimal among all such maps. Our main result is the inequality for a large class of metric spaces X including all locally compact Hadamard spaces, where rank _h X is the maximal topological dimension of among all CAT(—1) spaces Y quasi-isometrically embedded into X (the notion introduced by M. Gromov in a slightly stronger form). This proves several properties of rank _h conjectured by Gromov, in particular, that any Riemannian symmetric space X of noncompact type possesses no quasi-isometric embedding of the standard hyperbolic space H ⁿ with . Submitted: February 2001, Revised: October 2001.     

On the extent of star countable spaces

For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ? X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have arbitrary extent. It is proved that for any ω ₁-monolithic compact space X, if C _p (X)is star countable then it is Lindelöf.     

Computability in structures representing a Scott set

Continuing work begun in [10], we utilize a notion of forcing for which the generic objects are structures and which allows us to determine whether these “generic” structures compute certain sets and enumerations. The forcing conditions are bounded complexity types which are consistent with a given theory and are elements of a given Scott set. These generic structures will “represent” this given Scott set, in the sense that the structure has a certain weak saturation property with respect to bounded complexity types in the Scott set. For example, if ? is a nonstandard model of PA, then ? represents the Scott set ? = n∈ω | ?⊧“the nth prime divides a” | a∈?. The notion of forcing yields two main results. The first characterizes the sets of natural numbers computable in all models of a given theory representing a given Scott set. We show that the characteristic function of such a set must be enumeration reducible to a complete existential type which is consistent with the given theory and is an element of the given Scott set. The second provides a sufficient condition for the existence of a structure ? such that ? represents a countable jump ideal and ? does not compute an enumeration of a given family of sets ?. This second result is of particular interest when the family of sets which cannot be enumerated is ? = Rep[Th(?)]. Under this additional assumption, the second result generalizes a result on TA [6] and on certain other completions of PA [10]. For example, we show that there also exist models of completions of ZF from which one cannot enumerate the family of sets represented by the theory. Received: 8 October 1997 / Published online: 25 January 2001     

Chaos among self-maps of the Cantor space

Glasner and Weiss have shown that a generic homeomorphism of the Cantor space has zero topological entropy. Hochman has shown that a generic transitive homeomorphism of the Cantor space has the property that it is topologically conjugate to the universal odometer and hence far from being chaotic in any sense. We show that a generic self-map of the Cantor space has zero topological entropy. Moreover, we show that a generic self-map of the Cantor space has no periodic points and hence is not Devaney chaotic nor Devaney chaotic on any subsystem. However, we exhibit a dense subset of the space of all self-maps of the Cantor space each element of which has infinite topological entropy and is Devaney chaotic on some subsystem.     

Are wooden tables necessarily wooden?

This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both empirical and essential with respect to particular individuals and natural kinds. The key notion of intensional essentialism isrequisite. A requisite is explicated as a relation-in-extension between two intensions (functions from possible worlds and moments of time)X, Y such that wherever and wheneverX is instantiatedY is also instantiated. We predict three readings of the sentence. “Every wooden table is necessarily wooden”, one involving modalityde re and the other two modalityde dicto. The first reading claims that no individual which is a wooden table is necessarily wooden. The claim is backed up by bare particular anti-essentialism. The two other interpretations claim that it is necessary that whatever is a wooden table is wooden. However, as we try to show, one is logically far more perspicuous thanks to the concept of requisite and thus preferable to more standardde dicto formalizations.