Locally rich compact sets

Many topological spaces are simply sets of points (atoms) endowed with a topology. Some spaces, however, have elements that are functions, matrices, or other non-atomic items. Another special type of space has elements that are themselves subsets of another space; these spaces are called hyperspaces. Hyperspaces are metric spaces, and the metric defined on them is called the Hausdorff metric. Hyperspaces wllose points are the closed subsets and hyperspaces whose points are the closed connected subsets (of metric spaces) have been extensively studied. Also, hyperspaces of closed and convex subsets of a bounded convex set in Euclidean space are of great interest in geometry. See Lay [3]. In recent years, geometers and topological dynamicists have explored spaces of closed and bounded subsets of the plane in connection with the study of fractals. One of the major results in the theory is that the hyperspace of closed subsets of a closed interval of real numbers is homeomorphic with the Hilbert cube, and with the space IX, the countable product of unit intervals. For more general information about the Hausdorff metric and spaces of subsets, see Devaney [2] and Sieradski [6]. The main result of this paper is a topological characterization of the space of closed subsets of a convergent sequence of points. The proof given here provides a homneornorphic embedding of the space in the plane, E2. The result was first proved by Pelczynski [5]. He studied arbitrary compact zero-dimensional metric spaces, so his proofs are much more widely applicable, but they are also somewhat technical. Our proof depends only on some well-known results in the theory of metric spaces, and is therefore accessible to advanced undergraduate mathematics majors. We also prove that for no convergent sequence of real numbers is there an isometric embedding of the hyperspace in Euclidean space, E,1, for any n. For other results and discussion, see Nadler [4]. Let (X, d) denote a compact metric space. The hyperspace (2X, D) of X is the metric space whose points are the closed nonempty subsets of X and whose metric is the Hausdorff metric D given by

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 Painleve–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 the Euclidean space 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.

Let denote the class of all compact convex sets in Euclidean n -dimensional space E n , and let y be the collection of those members of k which are centrally symmetric. The topology in is that induced by the Hausdorff metric.

We address the problem of defining Lyapunov exponents for an expansive homeomorphism f on a compact metric space (X, dist) using similar techniques as those developed in Barreira and Silva [Lyapunov exponents for continuous transformations and dimension theory, Discrete Contin. Dynam. Sys.13 (2005), 469–490]; Kifer [Characteristic exponents of dynamical systems in metric spaces, Ergod. Th. Dynam. Sys.3 (1983), 119–127]. Under certain conditions on the topology of the space X where f acts we obtain that there is a metric D defining the topology of X such that the Lyapunov exponents of f are different from zero with respect to D for every point x ∈ X. We give an example showing that this may not be true with respect to the original metric dist. But expansiveness of f ensures that Lyapunov exponents do not vanish on a Gδ subset of X with respect to any metric defining the topology of X. We define Lyapunov exponents on compact invariant sets of Peano spaces and prove that if the maximal exponent on the compact set is negative then the compact is an attractor.

We derive new representations for the generalised Jacobian of a locally Lipschitz map between finite dimensional real Euclidean spaces as the lower limit (i.e., limit inferior) of the classical derivative of the map where it exists. The new representations lead to significantly shorter proofs for the basic properties of the subgradient and the generalised Jacobian including the chain rule. We establish that a sequence of locally Lipschitz maps between finite dimensional Euclidean spaces converges to a given locally Lipschitz map in the L-topology—that is, the weakest refinement of the sup norm topology on the space of locally Lipschitz maps that makes the generalised Jacobian a continuous functional—if and only if the limit superior of the sequence of directional derivatives of the maps in a given vector direction coincides with the generalised directional derivative of the given map in that direction, with the convergence to the limit superior being uniform for all unit vectors. We then prove our main result that the subspace of Lipschitz C ∞ maps between finite dimensional Euclidean spaces is dense in the space of Lipschitz maps equipped with the L-topology, and, for a given Lipschitz map, we explicitly construct a sequence of Lipschitz C ∞ maps converging to it in the L-topology, allowing global smooth approximation of a Lipschitz map and its differential properties. As an application, we obtain a short proof of the extension of Green’s theorem to interval-valued vector fields. For infinite dimensions, we show that the subgradient of a Lipschitz map on a Banach space is upper continuous, and, for a given real-valued Lipschitz map on a separable Banach space, we construct a sequence of Gateaux differentiable functions that converges to the map in the sup norm topology such that the limit superior of the directional derivatives in any direction coincides with the generalised directional derivative of the Lipschitz map in that direction.

Let us define for a compact set A \subset \mathbb{R}^n the sequence A(k) = \left\{\frac{a_1+\cdots +a_k}{k}: a_1, \ldots, a_k\in A\right\}=\frac{1}{k}\Big(\underset{k\ {\rm times}}{\underbrace{A + \cdots + A}}\Big). It was independently proved by Shapley, Folkman and Starr (1969) and by Emerson and Greenleaf (1969) that A(k) approaches the convex hull of A in the Hausdorff distance induced by the Euclidean norm as k goes to \infty . We explore in this survey how exactly A(k) approaches the convex hull of A , and more generally, how a Minkowski sum of possibly different compact sets approaches convexity, as measured by various indices of non-convexity. The non-convexity indices considered include the Hausdorff distance induced by any norm on \mathbb R^n , the volume deficit (the difference of volumes), a non-convexity index introduced by Schneider (1975), and the effective standard deviation or inner radius. After first clarifying the interrelationships between these various indices of non-convexity, which were previously either unknown or scattered in the literature, we show that the volume deficit of A(k) does not monotonically decrease to 0 in dimension 12 or above, thus falsifying a conjecture of Bobkov et al. (2011), even though their conjecture is proved to be true in dimension 1 and for certain sets A with special structure. On the other hand, Schneider's index possesses a strong monotonicity property along the sequence A(k) , and both the Hausdorff distance and effective standard deviation are eventually monotone (once k exceeds n ). Along the way, we obtain new inequalities for the volume of the Minkowski sum of compact sets (showing that this is fractionally superadditive but not supermodular in general, but is indeed supermodular when the sets are convex), demonstrate applications of our results to combinatorial discrepancy theory, and suggest some questions worthy of further investigation.

{\it Separoids\/} capture the combinatorial structure which arises from the separations by hyperplanes of a family of convex sets in some Euclidian space. Furthermore, as we prove in this note, every abstract separoid ]]> ]]> S$ can be represented by a family of convex sets in the $(|S|-1)$-dimensional Euclidian space. The {\it geometric dimension\/} of the separoid is the minimum dimension where it can be represented and the upper bound given here is tight. Separoids have also the notions of {\it combinatorial dimension\/} and {\it general position\/} which are purely combinatorial in nature. In this note we also prove that: {\it a separoid in general position can be represented by a family of points if and only if its geometric and combinatorial dimensions coincide\/}.

Let f1 , …, fk be linearly independent real functions on a space X, such that the range R of (f1, …, fk) is a compact set in k dimensional Euclidean space. (This will happen, for example, if the fi are continuous and X is a compact topological space.) Let S be any Borel field of subsets of X which includes X and all sets which consist of a finite number of points, and let C = {ε} be any class of probability measures on S which includes all probability measures with finite support (that is, which assign probability one to a set consisting of a finite number of points), and which are such thatis defined. In all that follows we consider only probability measures ε which are in C.

In this note we combine the dyadic families introduced by M. Christ in (Colloq. Math. 60/61(2):601–628, 1990) and the discrete partitions introduced by J.M. Wu in (Proc. Am. Math. Soc. 126(5):1453–1459, 1998) to get approximation of a compact space of homogeneous type by a uniform sequence of finite spaces of homogeneous type. The convergence holds in the sense of a metric built on the Hausdorff distance between compact sets and on the Kantorovich-Rubinshtein metric between measures.

In this paper we consider questions of whether a compact space can be embedded in a Euclidean space. The problem of embedding an '-like' compact space in is solved affirmatively under certain restrictions on the dimension . We clarify the relations between the realization problem and areas of homotopy theory and differential topology.

The principal result of this paper is the introduction of a readily verifiable sufficient condition for the existence of an invariant measure on transient Markov chains. Specifically, subject to mild additional regularity conditions, it is enough to check that for every compact set $A$ in the state space $X$, there exists a compact $C \supset A$ such that \begin{equation*}\tag{0.1} \lim_{y\in F, y\rightarrow\infty} \frac{P(y, A)}{P(y, C)} = 0\quad\text{if} \bar{F} \text{is not compact and} F = \{y: P(y, A) > 0\},\end{equation*} $P(y, A)$ denote the 1-step transition probabilities of the Markov chain. (0.1) is readily implied by simple conditions on the generating functional of the offspring distribution (Theorems 2.1 and 2.2) for discrete time multi-type Markov processes. These conditions together with some additional regularity-hypotheses are verified for (i) A 1-dimensional neutron branching model of Harris, (ii) Discrete-time age dependent branching processes, (iii) Galton-Watson processes with immigration. A generalization (to discrete-time temporally homogeneous Markov processes with $\sigma$-compact metric state space) of a condition of T. Harris (1957) for existence of invariant measures on transient Markov chains is also given. This condition is, unfortunately, difficult to check in specific examples. The sufficient condition (0.1) involves only 1-step transition probabilities, as opposed to the $n$-step transitions incorporated in the Harris condition, which is also necessary. Throughout this paper, all subsets of a topological space considered are assumed Borel measurable. The closure, interior, boundary and complement of a set $A$ are denoted by $\bar{A}, A^0, \partial A$ and $A^c$ respectively, and $I_A$ denotes the indicator function of $A$. The sets of positive integers, nonnegative integers, are denoted by $I$ and $I_0$ respectively. For any $\sigma$-compact metric space $X$, the following notations are used: $M(X) =$ set of regular measures (Borel measures finite on compact sets) on $X$. $B(X) =$ set of bounded measurable functions on $X$ with sup norm. $B'(X) = \{s \in B(X): \|s\| < 1\}$. $C(X) =$ set of bounded continuous functions on $X$. $C_{00}(X) = \{s\in C(X): s$ has compact support$\}$. $C_0(X) = \{s \in C(X):\lim_{x\rightarrow\infty}s(x) = 0\}.$ $C'(X) = C(X) \cap B'(X)$, similarly for $C_0'(X)$ and $C'_{00}(X)$. For any $\mathscr{L} \subset B(X), \mathscr{L}^+ = \{s \in \mathscr{L}: s \geqq 0\}$. If $\mu \in M(X)$ and $\in B(X)$, then $\mu f = \int_xf(x)\mu(dx)$ when defined.

1. Introduction. In this paper, we describe methods of imbedding a Hausdorff space X in a compact space X so that each function in a given family of continuous functions on X has a continuous extension to X and the family of extensions separates the points of X -X. In particular, if X is completely regular but not locally compact, then we shall exhibit a non-Hausdorff compactification which contains X as an open subset and is bigger than the Stone-tech compactification of X. (Of course, every compactification of X is nonHausdorff if X is not completely regular.) We shall also show that the completion of a metric space M may be obtained as a subset of a compactification of M by a rather simple construction. By a compactification of a Hausdorff space X, we mean a compact space X which contains, as a dense subset, the image of X under a fixed homeomorphism f. We usually do not distinguish between X and f(X), and we say that X contains X as a dense subset. In what follows, X is always a noncompact Hausdorff space, AX denotes the closure of X-X in X, and a mapping is always a continuous function. If X is Hausdorff ,we say that X is a Hausdorff compactification of X. If X is not Hausdorff, however, we still assume that it satisfies

On the motion of a large number of small rigid bodies in a viscous incompressible fluid

Extending the class of known Stone–Čech remainders for ψ-spaces

Abstract. In this paper, we consider and study a new class of general-ized vector quasi-variational type inequalities and obtain some existencetheorems for both under compact and noncompact assumptions in topo-logical vector spaces without using monotonicity. For the noncompactcase, we use the concept of escaping sequences. 1. IntroductionThe vector variational inequality problem was initiated by Giannessi [11] in nite dimensional Euclidean spaces with applications. Later on many authors[6, 7, 12, 15, 24] generalized vector variational inequalities in abstract spacesin several ways. The vector variational-like inequality is one of the generalizedforms of vector variational inequalities [11]. In 1989, Parida et al [19] stud-ied the existence of solutions for variational-like inequalities in R n space andhave shown a relationship between variational like inequalities problems andconvex programming as well as with complementarity problems. The vectorvariational like inequality and generalized vector variational like inequality arepowerful tools to study non-convex vector optimization problems and convexand nondi erentiable vector optimization problems respectively, see [10, 18, 21].In 1973, Bensoussan and Lions [3] introduced the quasi-variational inequalityproblem (QVIP). Since then, many generalizations of the QVIP have beenappeared in the literature (see, for example, [1, 2]). In the last decade, becauseof applications in the optimization problems, mathematical programming andequilibrium problems, the QVIP has been intensively studied by many authors[5, 8, 16, 20, 22, 23, 25].In this paper, we consider the generalized vector quasivariational type in-equality problem (GVQVTIP) and obtain some existence theorems for solutions