paracompact space is normal. The immediate
consequence is that if X is paracompact, there is
always a partition of the unit whose associated
overlay is finer than an arbitrarily given open overlay.
Consequently, there are arbitrarily thin unit
partitions.
Note: it is easy to characterize, among the locally
compact X, those that are paracompact. For this, it is
necessary and sufficient that X is a meeting of
disjoint open subspaces (each of which is therefore
also closed), each of which is an enumerable meeting
of compact subsets. An equivalent condition is: X has
at least one finite overlay of relatively compact open
subspaces, [6].
Any closed sub-space of a paracompact space is
paracompact.
Proposal (2.3): Let R be an open covering of
finished type, KR the polyhedron it defines. Each
partition of the unit whose associated overlap is finer
than R defines (in several ways) a continuous
application of X in KR; all these applications
(whatever partition they correspond to) are
homotopic.
Let R' be the overlay associated with a partition, R'
being finer than R. For each simple application
KR' KR (which associates to a set of R' a set
of R containing it), let us compose the application X
KR' defined by the partition, with KR' KR. By
definition, we thus obtain all the applications of X in
KR defined by the partition. These applications
(whatever the partition whose associated overlap R'
is finer than R) each define a partition of the unit
subordinate to R. To show that they are all homotopic,
it is enough to use the affine structure of the space of
the partitions subordinate to R.
In the next part of this section according to [6], we
will discuss The Approximation of an application f of
a closed part A of X, in a polyhedron P
We assume X paracompact. The application f of A in
P defines an open, finite overlap of A. The joining of
the sets of this overlap is complementary (in X) to a
closed set B, therefore paracompact; if dim (X – A) ≤
n, then the dimension of B is less than or equal to n.
There is an open overlap R, of the finished type of X,
whose trace on A is a finer overlap than that defined
by f. Let us associate with R, a partition of the unit (ϕk)
in X space. The restrictions on A of (ϕk) thus define
an overlap of A that is finer than that defined by f.
The (ϕk)'s define an application ϕ of X in KR, which
applies A in a sub-polyhedron KR' of KR. There is an
application f ' of A in P, consisting of A in KR'
(restriction of ϕ), and a simple application KR' in P. In
A, the applications f and f ' are homotopic (according
to proposal (2.3)).
In summary: f is homotopic to an application f ',
obtained by composing the restriction to A, of an
application of X in the KR polyhedron, and a
simplistic application of a sub-polyhedron KR' in P.
Therefore, to extend f' it is sufficient to know how to
extend the KR' application in P into an application of
KR in P (problem studied previously). If f' is
extendable, then f will also be extendable, by virtue
of the following lemma:
Lemma (2.4):
Let X be a paracompact, and A a closed contained in
X. Any continuous application of A in a polyhedron
P, which. In A, is homotopic to an application
extendable to X, is itself extendable to X.
To demonstrate this assertion, it is sufficient to prove
that any application of A in a polyhedron P is
extendable to a neighbourhood of A (where A is a
closed part of a paracompact space X).
However, it is true that if A is compact then the
image of A is contained in a finished polyhedron. If
A is not compact, then it is sufficient to demonstrate
when X is a countless meeting of compacts, X1 ⊂ X2
⊂ X3 ⊂ … ⊂ Xj ⊂ …. The restriction from f to A ∩
X1 extends to a compact neighbourhood V1 of A ∩ X1;
hence f1 on A ∪ (V1 ∩ X1) = A1. The restriction from
f1 to A ∩ X2 extends to a compact neighbourhood V2
of ... , etc.
It can also be proved that if f and g (applications of x
in the polyhedron P) coincide on a closed part A ⊂ X,
they are homotopic (in X) to two applications f' and
g' which coincide on a neighbourhood of A.
3 Size of A Locally Compact Space
It is important to specify that in all that follows, only
locally compact spaces X with the following property
are considered:
X has arbitrarily fine open overlaps of finite
dimensions. Recall that from, [3], [7], an overlap is
said to be of dimension greater than or equal to n, if
its "nerve" is of dimension greater than or equal to n,
in other words, if each point of the space belongs at
most to n + 1 sets of the overlap, any closed
sub-space of such space X enjoys the same property).
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2024.23.14
Maysoon Qousini, Hasan Hdieb, Eman Almuhur