The general idea is to make sure that tile has not holes; then let
be the metric space used and defined in last sections;
;
the metric subspace; and
the set of all cell that are in
. To determine the compacity of
, we will to determine:
First, remember that a cover of
is a set of subsets
such that
; where
is any numerable set. So, the cover of
is any set of cells such that
is contained into any union of subsets of
-cells. This generate a infinite number of sets. But for each cover set of them, the
set is a finite subcover, because
and
. Then a finite subcover is
.
The next step is to show that
is an open set too. Since we are treating with cells in
, we will probe that
define a topological subspace of
. This system uses
as base set with
and the basic metric
. Thes the system
defines a topological space because:
Then
set is open, consequently the
metric subspace is open and it is compact.