Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

Unbounded sets of maps and compactification in extension theory

Suppose that K is a CW-complex. When we say that a space Y is an absolute co-extensor for K, we mean that K is an absolute extensor for Y, i.e., that for every closed subset A of Y and any map , there exists a map that extends f.Our main theorem will provide several statements that are equivalent to the condition that whenever K is a CW-complex and X is a space which is the topological sum of a countable collection of compact metrizable spaces each of which is an absolute co-extensor for K, then the Stone-?ech compactification of X is an absolute co-extensor for K.     

Michael's problem and weakly infinite-dimensional spaces

Let X be a compact Hausdorff space. Suppose that any multivalued map , where Y is a Gδ subset of a Banach space, such that the values of F are convex and closed in Y, has a continuous single-valued selection. Then we prove that X is weakly infinite-dimensional. This provides a partial solution of Gδ-problem, posed by Ernest Michael.     

Luzin measurability of Carathéodory type mappings

A topological space X is said to have the Scorza-Dragoni property if the following property holds: For every metric space Y and every Radon measure space (T,μ), any Carathéodory function is Luzin measurable, i.e., given ε>0, there is a compact set K in T with μ(T?K)?ε such that the mapping is continuous. We present a selection of spaces without the Scorza-Dragoni property, among which there are first countable hereditarily separable and hereditarily Lindelöf compact spaces, separable Moore spaces and even countable k-spaces. In the positive direction, it is shown that every space which is an ℵ₀-space and kR-space has the Scorza-Dragoni property. We also prove that every separately continuous mapping , where Y is a metric space, is Luzin measurable, provided the space X is strongly functionally generated by a countable collection of its bounded subsets. If Martin's Axiom is assumed then all metric spaces of density less than c, and all pseudocompact spaces of cardinality less than c, have the Scorza-Dragoni property with respect to every separable Radon measure μ. Finally, the class of countable spaces with the Scorza-Dragoni property is closely examined.     

Topological structure of complete Riemannian manifolds with cyclic holonomy groups

Let M be a complete m-dimensional Riemannian manifold with cyclic holonomy group, let X be a closed flat manifold homotopy equivalent to M, and let L→X be a nontrivial line bundle over X whose total space is a flat manifold with cyclic holonomy group. We prove that either M is diffeomorphic to X×Rm-dimX or M is diffeomorphic to L×Rm-dimX−1.     

The mapping properties of filling radius and packing radius and their applications

Let be a map between closed, oriented Riemannian n-manifolds. It is shown that FillRad(W)?dil(f)⋅FillRad(V), if |deg(f)|=1. By this mapping property, we obtain an estimate from below for the filling radius of a closed, oriented, nonpositively curved manifold, or a manifold with sectional curvature bounded above by a positive constant. In addition, a similar mapping property of packing radius and a corollary are also obtained.     

Fréchetness of inverse limits and products

Let X be a Suslin-Borel set in a compact space. It is proved that X is either σ-scattered or contains a compact perfect set. If X is first countable, the result remains valid when X is a Suslin-Borel set in a Prohorov space. It is also proved that every first countable Prohorov space is a Baire space.     

F-structure on collapsed orbifolds

In this paper, we prove the existence of nilpotent Killing structures and F-structures on collapsed Riemannian orbifolds. Therefore a sufficiently collapsed orbifold X is the union of orbits, each orbit is an infranil orbifold of positive dimension; in particular, the F-structure provides a decomposition of X into compact flat orbifolds.     

Little Grothendieck's theorem for sublinear operators

Let SB(X,Y) be the set of the bounded sublinear operators from a Banach space X into a Banach lattice Y. Consider π₂(X,Y) the set of 2-summing sublinear operators. We study in this paper a variation of Grothendieck's theorem in the sublinear operators case. We prove under some conditions that every operator in SB(C(K),H) is in π₂(C(K),H) for any compact K and any Hilbert H. In the noncommutative case the problem is still open.     

A note on a set-valued extension property

Principal result: Suppose Y is metrizable. Then: (a) if X is metrizable and A⊂X is closed, then every continuous g:A→Y extends to an l.s.c. ψ:X→K(Y); (b) Y satisfies (a) for all paracompact X if and only if Y is completely metrizable.     

Applications of balanced pairs

Let (X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to (X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the X-resolution dimension of Y (resp. Y-coresolution dimension of X) is finite, then the bounded homotopy category of Y (resp. X) is contained in that of X (resp. Y). As a consequence, we get that the right X-singularity category coincides with the left Y-singularity category if the X-resolution dimension of Y and the Y-coresolution dimension of X are finite.     

On the intrinsic and the spatial numerical range

For a bounded function f from the unit sphere of a closed subspace X of a Banach space Y, we study when the closed convex hull of its spatial numerical range W(f) is equal to its intrinsic numerical range V(f). We show that for every infinite-dimensional Banach space X there is a superspace Y and a bounded linear operator such that . We also show that, up to renormig, for every non-reflexive Banach space Y, one can find a closed subspace X and a bounded linear operator T∈L(X,Y) such that .Finally, we introduce a sufficient condition for the closed convex hull of the spatial numerical range to be equal to the intrinsic numerical range, which we call the Bishop-Phelps-Bollobás property, and which is weaker than the uniform smoothness and the finite-dimensionality. We characterize strong subdifferentiability and uniform smoothness in terms of this property.     

A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator

Let A be a possibly unbounded skew-adjoint operator on the Hilbert space X with compact resolvent. Let C be a bounded operator from D(A) to another Hilbert space Y. We consider the system governed by the state equation with the output y(t)=Cz(t). We characterize the exact observability of this system only in terms of C and of the spectral elements of the operator A. The starting point in the proof of this result is a Hautus-type test, recently obtained in Burq and Zworski (J. Amer. Soc. 17 (2004) 443-471) and Miller (J. Funct. Anal. 218 (2) (2005) 425-444). We then apply this result to various systems governed by partial differential equations with observation on the boundary of the domain. The Schrödinger equation, the Bernoulli-Euler plate equation and the wave equation in a square are considered. For the plate and Schrödinger equations, the main novelty brought in by our results is that we prove the exact boundary observability for an arbitrarily small observed part of the boundary. This is done by combining our spectral observability test to a theorem of Beurling on nonharmonic Fourier series and to a new number theoretic result on shifted squares.     

Closed maps on metric spaces

The following result is proved: Let Y be the image of a metric space X under a closed map f. Then every ?f^-1(y) is Lindelöf if and only if Y has a point-countable k-network.     

New criterion of the approximation property

This paper is concerned with the approximation property which is an important property in Banach space theory. We show that a Banach space X has the approximation property if (and only if), for every Banach space Y, the set of finite rank operators from X to Y is dense in the corresponding space of compact operators, in the usual topology of uniform convergence on compact sets.     

Compact Kähler quotients of algebraic varieties and Geometric Invariant Theory

Given an action of a complex reductive Lie group G on a normal variety X, we show that every analytically Zariski-open subset of X admitting an analytic Hilbert quotient with projective quotient space is given as the set of semistable points with respect to some G-linearised Weil divisor on X. Applying this result to Hamiltonian actions on algebraic varieties, we prove that semistability with respect to a momentum map is equivalent to GIT-semistability in the sense of Mumford and Hausen. It follows that the number of compact momentum map quotients of a given algebraic Hamiltonian G-variety is finite. As further corollary we derive a projectivity criterion for varieties with compact Kähler quotient.     

A generalisation of the functional approach to compactness

A topological space X is compact iff the projection π:X×Y→Y is closed for any space Y. Taking this as a definition and then asking that π maps α-closed subspaces of X×Y onto β-closed subspaces of Y, for different closures α and β, extends the notion of compactness to include also examples of “asymmetric compactness” pursued in the article.Categorical closure operators and a so-called “functional approach to general topology” are employed to define and prove fundamental properties of compact objects and proper maps in this generalised setting.     

Finite sheeted covering maps over 2-dimensional connected, compact Abelian groups

Let G be a 2-dimensional connected, compact Abelian group and s be a positive integer. We prove that a classification of s-sheeted covering maps over G is reduced to a classification of s-index torsionfree supergroups of the Pontrjagin dual . Using group theoretic results from earlier paper we demonstrate its consequences. We also prove that for a connected compact group Y:

(1)

Every finite-sheeted covering map from a connected space over Y is equivalent to a covering homomorphism from a compact, connected group.

(2)

If two finite-sheeted covering homomorphisms over Y are equivalent, then they are equivalent as topological homomorphisms.

     

The disconnection number of a graph

The disconnection number d(X) is the least number of points in a connected topological graph X such that removal of d(X) points will disconnect X (Nadler, 1993 [6]). Let Dn denote the set of all homeomorphism classes of topological graphs with disconnection number n. The main result characterizes the members of Dn+1 in terms of four possible operations on members of Dn. In addition, if X and Y are topological graphs and X is a subspace of Y with no endpoints, then d(X)?d(Y) and Y obtains from X with exactly d(Y)−d(X) operations. Some upper and lower bounds on the size of Dn are discussed.The algorithm of the main result has been implemented to construct the classes Dn for n?8, to estimate the size of D₉, and to obtain information on certain subclasses such as non-planar graphs (n?9) and regular graphs (n?10).