In this work we show a compactness Theorem for discrete functions on Poisson point clouds. We consider sequences with equibounded non-local p-Dirichlet energy: the novelty consists in intermediate-interaction regime at which energy is computed.

In this article, we deal with weak convergence on sequences in real normed spaces, and weak* convergence on sequences in dual spaces of real normed spaces. In the first section, we proved some topological properties of dual spaces of real normed spaces. We used these theorems for proofs of Section 3. In Section 2, we defined weak convergence and weak* convergence, and proved some properties. By...

This is a brief survey of the use of transfinite induction in metric fixed-point theory. Among the results discussed in some detail is the author’s 1989 result on directionally nonexpansive mappings (which is somewhat sharpened), a result of Kulesza and Lim giving conditions when countable compactness implies compactness, a recent inwardness result for contractions due to Lim, and a recent exte...

Constraint satisfaction problems are very common in computer science; in fact it has been claimed in [2] that most of the problems in Garey and Johnson [5] can be naturally expressed as constraint satisfaction. Since many of these problems have infinite analogues it seems reasonable to consider infinite constraint satisfaction. Then by proving a compactness result for the infinite constraint sa...

A strongly closed lattice of projections on a Hubert space is compact if the associated algebra of operators has a weakly dense subset of compact operators. If the lattice is commutative, there are necessary and sufficient conditions for compactness, one in terms of the structure of the lattice, and the other in terms of a measure on the lattice. There are many examples of compact lattices, and...

We give a geometric proof of the following well-established theorem for o-minimal expansions of the real field: the Hausdorff limits of a compact, definable family of sets are definable. While previous proofs of this fact relied on the model-theoretic compactness theorem, our proof explicitely describes the family of all Hausdorff limits in terms of the original family.