Related papers: Topoi with enough points
It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special…
A result due to M. Gromov states that any two finitely generated groups {\Gamma} and {\Lambda} are quasi-isometric if and only if they admit a topological coupling, i.e., a commuting pair of proper continuous cocompact actions…
We use the recently introduced \'etale open topology to prove several facts about large fields. We show that these facts lift to a very general topological setting.
We present sufficient conditions for topological stability of continuous functions $f:\mathbb{R}\to\mathbb{R}$ having finitely many local extrema with respect to averagings by discrete measures with finite supports.
We establish a fixed-point theorem for the face maps that consist in deleting the $i$th entry of an ordered set. Furthermore, we show that there exists random finite sets of integers that are almost invariant under such deletions.…
Based on the Carath\'eodory -Pesin structure theory[11], we introduce three notions of topological pressure of a proper map and provide some properties of these notions. For the proper map of a locally compact separable metric space, we…
A well-known result from Brouwer states that any orientation preserving homeomorphism of the plane with no fixed points has an empty non-wandering set. In particular, an invariant compact set implies the existence of a fixed point. In this…
We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…
We introduce a new type of mappings in metric spaces which are three-point analogue of the well-known Kannan type mappings and call them generalized Kannan type mappings. It is shown that in general case such mappings are discontinuous but…
In this paper we develop a new theory for the existence, localization and multiplicity of positive solutions for a class of non-variational,quasilinear, elliptic systems. In order to do this, we provide a fairly general abstract framework…
In a previous paper, the second named author obtains a decomposition of an elliptic higher Deligne-Lusztig representation into irreducible summands, which are built in the same way as Yu types using a geometric analog $\kappa'$ of the…
We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers),…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
A zone diagram is a relatively new concept which has emerged in computational geometry and is related to Voronoi diagrams. Formally, it is a fixed point of a certain mapping, and neither its uniqueness nor its existence are obvious in…
A new proof of the decomposition theorem is established using a relation with a version of the local purity theorem of Deligne and Gabber adapted to complex algebraic varieties.
Computational topology is a vibrant contemporary subfield and this article integrates knot theory and mathematical visualization. Previous work on computer graphics developed a sequence of smooth knots that were shown to converge point wise…
We prove that each closed locally continuum- connected subspace of a finite dimensional topological group is locally compact. This allows us to construct many 1-dimensional metrizable separable spaces that are not homeomorphic to closed…
We establish the analogue for maps on trees of the result established in two papers by the first author for interval maps, that a continuous self- map for which all but countably many points have at least m preimages (and none have less…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
For a given partially ordered set (poset) and a given family of mappings of the poset into itself, we study the problem of the description of joint fixed points of this family. Well-known Tarski's theorem gives the structure of the set of…