
A_{i_n}$.

ii\) Given an open cover $\mathcal U$ of $X$ and a point $x \in X$, the order of $\mathcal U$ at $x$, $\operatorname{{\rm Ord}}_x\mathcal U$, is the number of elements of $\mathcal U$ that contain $x$.

We will make use of the following result that appears in  [@Dr2]:

\[order\] A family $\mathcal U$ that consists of $m$ subsets of $X$ is an $(n + 1)$-cover of $X$ if and only if $\operatorname{{\rm Ord}}_x \mathcal U \geq m-n$ for all $x \in X$.

See  [@Dr1; @Dr2]

 [@Os] \[0-dim\] For every $m>n$, every $n$-dimensional compactum $X$ admits an $(n+1)$-cover by $m$ $0$-dimensional sets.

This result follows from a slight modification to a proof given in  [@Os].

Since $\dim X \leq n$, $X$ can be decomposed into $0$-dimensional sets as $X = X_0 \cup...\cup X_n$. We assume that the $X_i$ are $G_{\delta}$ sets  [@E Theorem 1.2.14], and proceed inductively. For any $m > n+1$, suppose an $(n+1)$-cover $\{X_{0},...,X_{m-1}\}$ consisting of $0$-dimensional $G_{\delta}$ sets has been constructed. Let $$X_m = \{x \in X| x \mbox{ lies in
exactly }(m-n) \mbox{ of the } X_i\}.$$

Since the $X_0,...,X_{m-1}$ form an $(n+1)$-cover, Proposition  \[order\] implies that each $x \in X$ lies in at least $m-n$ of the $X_i$. Then $X_m$ is the complement in $X$ of a finite union of finite intersections of $G_\delta$ sets, and is therefore $F_\sigma$. Similarly, for $0 \leq i \leq m-1$, each $X_m \cap X_i$ is a $0$-dimensional set that is $F_{\sigma}$ in $X$, and
A_{i_n}$. 

 ii\) Given an open cover $ \mathcal U$ of $ X$ and a point $ x \in X$, the decree of $ \mathcal U$ at $ x$, $ \operatorname{{\rm Ord}}_x\mathcal U$, is the numeral of elements of $ \mathcal U$ that contain $ x$. 

 We will make consumption of the following result that appears in   [ @Dr2 ]: 

 \[order\ ] A class $ \mathcal U$ that consists of $ m$ subsets of $ X$ is an $ (n + 1)$-cover of $ X$ if and merely if $ \operatorname{{\rm Ord}}_x \mathcal U \geq m - n$ for all $ x \in X$. 

 See   [ @Dr1; @Dr2 ] 

  [ @Os ] \[0 - dim\ ] For every $ m > n$, every $ n$-dimensional compactum $ X$ accept an $ (n+1)$-cover by $ m$ $ 0$-dimensional sets. 

 This result follow from a slight modification to a proof given in   [ @Os ]. 

 Since $ \dim X \leq n$, $ X$ can be decomposed into $ 0$-dimensional hardening as $ X = X_0 \cup... \cup X_n$. We assume that the $ X_i$ are $ G_{\delta}$ sets   [ @E Theorem 1.2.14 ], and continue inductively. For any $ m > n+1 $, suppose an $ (n+1)$-cover $ \{X_{0},... ,X_{m-1}\}$ consisting of $ 0$-dimensional $ G_{\delta}$ set has been constructed. Let $ $ X_m = \{x \in X| x \mbox { lies in 
 exactly } (m - n) \mbox { of the } X_i\}.$$ 

 Since the $ X_0,... ,X_{m-1}$ form an $ (n+1)$-cover, suggestion   \[order\ ] implies that each $ x \in X$ lies in at least $ m - n$ of the $ X_i$. Then $ X_m$ is the complement in $ X$ of a finite union of finite intersections of $ G_\delta$ sets, and is therefore $ F_\sigma$. Similarly, for $ 0 \leq i \leq m-1 $, each $ X_m \cap X_i$ is a $ 0$-dimensional set that is $ F_{\sigma}$ in $ X$, and

A_{i_n}$.

li\) Given an open cover $\mxthcal U$ of $X$ aue a pomnt $x \ih X$, the urder of $\mathcal U$ at $x$, $\operetorbame{{\rn Ord}}_x\mathcal U$, is the number ov elemenrs oh $\mathcal U$ that contain $x$.

We wjpl mckx use of the foklowing revult that appedrr nn  [@Dr2]:

\[order\] A family $\mathcal U$ that cjnsists ov $m$ subsets of $X$ ix an $(h + 1)$-cover of $X$ if and only if $\operaforname{{\gm Ord}}_x \mathcal U \geq m-n$ for all $x \in X$.

See  [@Fr1; @Dg2]

 [@Os] \[0-dim\] For every $l>n$, every $n$-dumenfuonal compacgum $X$ admius an $(n+1)$-cover by $m$ $0$-dimensional sets.

This resuut foklows from a sllcht modificetion no a proof giyvn in  [@Ov].

Since $\cim X \leq n$, $X$ gan bx dexomposed into $0$-dimensimnal sets as $X = X_0 \sup...\cup X_n$. Wz assume that the $X_i$ qrw $G_{\denta}$ vets  [@W Tfeodek 1.2.14], and pgocxed inductibely. For ant $m > n+1$, suppose an $(n+1)$-vodvt $\{X_{0},...,X_{m-1}\}$ consisfing os $0$-qimensional $G_{\delta}$ sets has been constrlctes. Let $$X_m = \{x \in X| x \mbox{ lies in
exactly }(m-n) \mblx{ of the } X_i\}.$$

Since the $X_0,...,X_{m-1}$ form an $(n+1)$-cover, Proposition  \[ordes\] impmkes tmat dqcj $x \in X$ lies in at least $m-n$ of the $X_i$. Then $X_i$ ix nhe complement in $X$ of a finotf igion of finitg intersecfions of $G_\delta$ sehs, and ys thwrefore $F_\figms$. Similarly, for $0 \leq i \leq n-1$, each $X_m \cai X_i$ is a $0$-dimensional det that is $F_{\sibma}$ im $X$, and
A_{i_n}$. ii\) Given an open cover $\mathcal $X$ a point \in X$, the $x$, Ord}}_x\mathcal U$, is number of elements $\mathcal U$ that contain $x$. We make use of the following result that appears in [@Dr2]: \[order\] A family U$ that consists of $m$ subsets of $X$ is an $(n + 1)$-cover $X$ and if Ord}}_x \mathcal U \geq m-n$ for all $x \in X$. See [@Dr1; @Dr2] [@Os] \[0-dim\] For $m>n$, every $n$-dimensional compactum $X$ admits an $(n+1)$-cover $m$ $0$-dimensional sets. This follows from a slight modification a given in Since X n$, $X$ can decomposed into $0$-dimensional sets as $X = X_0 \cup...\cup X_n$. We assume that the $X_i$ are $G_{\delta}$ [@E Theorem proceed inductively. any > suppose an $(n+1)$-cover of $0$-dimensional $G_{\delta}$ sets has been = \{x \in X| x \mbox{ lies in }(m-n) \mbox{ the } X_i\}.$$ Since the $X_0,...,X_{m-1}$ an $(n+1)$-cover, Proposition \[order\] implies that each $x X$ lies in at least $m-n$ of the $X_i$. Then $X_m$ is the complement in a finite union of intersections of $G_\delta$ and therefore Similarly, $0 \leq \leq m-1$, each $X_m \cap X_i$ is a $0$-dimensional set that $F_{\sigma}$ in $X$, and

A_{i_n}$.

ii\) Given an open cover $\mathCal U$ of $X$ and A poinT $x \iN X$, tHe OrdeR of $\mAthcal U$ at $x$, $\operATornAme{{\rm Ord}}_x\mathcal U$, is the NumbeR oF ElemENtS of $\maThcal U$ tHAt CONtaIn $X$.

WE wiLl MAkE use oF thE followIng result tHat ApPears in  [@Dr2]:

\[ordER\] A Family $\mathCal u$ that consistS of $M$ subseTs Of $X$ IS an $(n + 1)$-cOveR of $X$ iF and onLY if $\opeRatorname{{\Rm oRd}}_x \matHCal U \geq M-N$ FoR all $X \in X$.

See  [@Dr1; @Dr2]

 [@Os] \[0-dim\] FOR eVEry $m>n$, every $n$-dimEnsionAl COmPACtuM $X$ aDmits an $(n+1)$-coVeR by $m$ $0$-dIMensionAL sETS.

thiS Result follows From a slight MOdiFicatiOn To a PRoof giVen in  [@os].

sIncE $\dim X \leq n$, $X$ cAn be DecomposeD into $0$-dIMensionAL sets as $x = X_0 \cup...\cUp X_N$. We AssuME tHaT thE $X_I$ Are $g_{\DeLta}$ SEts  [@e Theorem 1.2.14], AnD pRoceeD indUCTIVely. for Any $m > N+1$, suppOse an $(n+1)$-cover $\{X_{0},...,X_{M-1}\}$ coNsisTIng Of $0$-dimEnsioNal $G_{\DeLta}$ seTs has bEen coNsTructed. Let $$X_m = \{x \in x| x \mbOx{ lies in
eXacTlY }(m-n) \MbOx{ of tHE } X_i\}.$$

SinCe tHe $X_0,...,x_{m-1}$ form aN $(n+1)$-cover, pRopOsITIOn  \[Order\] implies that eaCh $X \IN X$ Lies in at Least $m-N$ Of ThE $x_i$. Then $X_m$ Is The CompLEMent iN $X$ of A FiNite unioN of finITe InTersectIoNs of $G_\dElTa$ sEts, And is THereFore $F_\sIgma$. SimiLarly, FOr $0 \leq i \leq m-1$, each $x_M \cap X_i$ is a $0$-dimeNSiONAl SEt thAt iS $F_{\sigma}$ in $X$, aNd

A_{i_n}$.

ii\) Given anopen cover  $\ma thc alU$  of$X$and a point $x \inX$, the order of $\mat hcalU$ at $ x $,  $\op eratorn a me { { \rm  O rd }}_ x\ m at hcalU$,  is the  number of  el em ents of $\ma t hc al U$ that  co ntain $x$.
Wewill m ak e u s e ofthe  foll owingr esultthat appe ar s  in  [ @ Dr2]:
\ [ or der\ ] A family $\math c al U$ that consis ts of$m $  s u b set s o f $X$ is a n$(n + 1)$-cov e ro f $X$ if and only i f $\operato r nam e{{\rm  O rd} } _x \ma thcal  U \ge q m-n$ forall$x \in X$ .

See  [@Dr1; @Dr2]
 [@Os]  \[ 0-d im\] Fo reve ry $m> n $,  ev e ry$n$-dime ns io nal c ompa c t u m  $X$  ad mits  an $ (n+1)$-coverby$m$$ 0$- dimen siona l se ts .

Th is res ult f ol lows from a sli ghtmodificat ion  t o a  p roofg iven i n [@O s].

Si nce $\d i m X  \ l e q  n $, $X$ can be deco mp o s ed  into $0 $-dime n si on a l sets a s$X= X_ 0 \cup. ..\c u pX_n$. We  assum e  t ha t the $ X_ i$ are  $ G_{ \de lta}$ sets   [@ETheorem1.2.1 4 ], and proceed inductively.F or a ny $m >  n+ 1$, suppose  an$ (n+1 )$-c o ve r $ \ {X_{0 },... ,X _ {m - 1}\}$ consisting of  $ 0$-dim ensio nal $G_{\delt a}$ sets h a s been con stru c te d . Let $$X_m =\{x \ in X| x \m b ox{ lies  in
e xactly } (m-n) \mb o x { of the  }X_i \}. $$S in ce the $X_0,. . . ,X_{ m- 1}$ for m a n $(n+1 )$- cov er,  Pr op osition \[order\ ]im pl ie s t hat e a ch $x \i nX$li esin at least$m-n$  ofth e$ X_i $. Then $X _ m $ is  t he  com ple me nt in  $X$ ofa finit e union o f f i nite  i nt ersecti ons of $G_\de lt a$ sets, a nd  is  there f o re $F_\s igma$. Similarly, for $ 0  \leq i  \l eq m- 1$,each $X_m  \c ap X_i $ i s  a $0$ -dimen siona lset t hat i s $F _{\ si gma}$ in $ X $ , a nd

A_{i_n}$.

ii\) Given_an open_cover $\mathcal U$ of_$X$ and_a_point $x_\in_X$, the order_of $\mathcal U$_at $x$, $\operatorname{{\rm Ord}}_x\mathcal_U$, is the_number_of elements of $\mathcal U$ that contain $x$.

We will make use of the following_result_that appears_in_ [@Dr2]:

\[order\]_A family $\mathcal U$ that_consists of $m$ subsets of_$X$ is_an $(n + 1)$-cover of $X$ if and_only_if $\operatorname{{\rm Ord}}_x_\mathcal U \geq m-n$ for all $x \in X$.

See_ [@Dr1; @Dr2]

 [@Os] \[0-dim\] For every $m>n$,_every $n$-dimensional compactum_$X$_admits_an $(n+1)$-cover by $m$_$0$-dimensional sets.

This result follows from a_slight modification to a proof given_in  [@Os].

Since $\dim X \leq n$, $X$_can be decomposed into $0$-dimensional sets_as $X = X_0 \cup...\cup_X_n$. We_assume that the $X_i$ are_$G_{\delta}$ sets  [@E_Theorem 1.2.14],_and proceed inductively._For any $m > n+1$, suppose_an $(n+1)$-cover $\{X_{0},...,X_{m-1}\}$_consisting of $0$-dimensional $G_{\delta}$ sets has_been_constructed. Let $$X_m_=_\{x_\in X|_x \mbox{ lies_in
exactly_}(m-n) \mbox{_of_the } X_i\}.$$

Since the $X_0,...,X_{m-1}$ form_an_$(n+1)$-cover, Proposition  \[order\] implies that each $x_\in X$ lies in_at_least $m-n$ of the_$X_i$. Then $X_m$ is the_complement in $X$ of a finite_union of_finite intersections_of $G_\delta$ sets, and is therefore $F_\sigma$. Similarly, for $0 \leq_i \leq m-1$, each $X_m \cap_X_i$ is a $0$-dimensional_set that_is_$F_{\sigma}$ in $X$,_and