Geometrical tilings : distance, topology, compactness and completeness

08/31/2022
by   Victor Lutfalla, et al.
0

We present the different distances on tilings of Rd that exist in the literature, we prove that (most of) these definitions are correct (i.e. they indeed define metrics on tilings of Rd ). We prove that for subshifts with finite local complexity (FLC) these metrics are topologically equivalent and even metrically equivalent, and also we present classical results of compactness and completeness. Note that, excluding the equivalence of these metrics, all of the results presented here are known (see for example the survey [Rob04]) however we were unable to find a reference with complete proofs for some of these results so we decided to write this notice to clarify some definitions and give full proofs.

READ FULL TEXT
research
12/21/2022

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Kleene Algebra (KA) is the algebra of regular expressions. Central to th...
research
04/11/2018

Completeness of Cyclic Proofs for Symbolic Heaps

Separation logic is successful for software verification in both theory ...
research
12/27/2017

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

A cyclic proof system, called CLKID-omega, gives us another way of repre...
research
06/28/2018

Up-To Techniques for Behavioural Metrics via Fibrations

Up-to techniques are a well-known method for enhancing coinductive proof...
research
09/19/2022

A first-order completeness result about characteristic Boolean algebras in classical realizability

We prove the following completeness result about classical realizability...
research
02/21/2018

Proper Semirings and Proper Convex Functors

Esik and Maletti introduced the notion of a proper semiring and proved t...
research
09/11/2022

PPP-Completeness and Extremal Combinatorics

Many classical theorems in combinatorics establish the emergence of subs...

Please sign up or login with your details

Forgot password? Click here to reset