1}^2<1\}.$$ and let $C_0$ be the cylinder $$D_0\times [0,1]\subset {\mathbb{R}}^n.$$ For $x,y\in{\mathbb{R}}^n$ denote by $[x,y]$ the straight line segment connecting $x$ and $y$. Suppose $A_0\subset C_0$ and assume that for every $(x_1,\dots,x_{n-1})\in D_0$ the set $$A_0\cap [(x_1,\dots,x_{n-1},0),(x_1,\dots,x_{n-1},1)]$$ is non-empty. Then $A_0$ must have Hausdorff dimension at least $n-1$: $A_0$ can be projected onto $D_0$ with the Lipschitz map $$(x_1,\dots,x_{n-1},x_n)\mapsto (x_1,\dots,x_{n-1},0),$$ the latter has Hausdorff dimension $n-1$ and the Hausdorff dimension cannot increase in a Lipschitz map. Therefore we have the following claim:

If $A_0\subset C_0$ has Hausdorff dimension less than $n-1$, then there is $(x_1,\dots,x_{n-1})\in D_0$ such that $[(x_1,\dots,x_{n-1},0),(x_1,\dots,x_{n-1},1)]\cap A_0={\varnothing}.$

Let $x,y\in {\mathbb{R}}^n\setminus A$ and let ${\varepsilon}>0$. Since $A$ is closed there is ${\delta}<{\varepsilon}/2$ such that $\bar B(x,{\delta})\cap A=\bar B(y,{\delta})\cap A={\varnothing}$. Let $P_x$ and $P_y$ be $(n-1)$-dimensional affine hyperplanes passing through $x$ and $y$ respectively and which are orthogonal to $x-y$. Then there is an affine map $f\colon {\mathbb{R}}^n\to{\mathbb{R}}^n$ such that $f[P_x]={\mathbb{R}}^{n-1}\times\{0\}$, $f[P_y]={\mathbb{R}}^{n-1}\times \{1\}$ and $f[P
1}^2<1\}.$$ and let $ C_0 $ be the cylinder $ $ D_0\times [ 0,1]\subset { \mathbb{R}}^n.$$ For $ x, y\in{\mathbb{R}}^n$ denote by $ [ x, y]$ the straight line section connect $ x$ and $ y$. Suppose $ A_0\subset C_0 $ and assume that for every $ (x_1,\dots, x_{n-1})\in D_0 $ the located $ $ A_0\cap [ (x_1,\dots, x_{n-1},0),(x_1,\dots, x_{n-1},1)]$$ is non - empty. Then $ A_0 $ must own Hausdorff dimension at least $ n-1 $: $ A_0 $ can be projected onto $ D_0 $ with the Lipschitz function $ $ (x_1,\dots, x_{n-1},x_n)\mapsto (x_1,\dots, x_{n-1},0),$$ the latter has Hausdorff dimension $ n-1 $ and the Hausdorff dimension cannot increase in a Lipschitz map. consequently we take the following claim: 

 If $ A_0\subset C_0 $ suffer Hausdorff dimension less than $ n-1 $, then there be $ (x_1,\dots, x_{n-1})\in D_0 $ such that $ [ (x_1,\dots, x_{n-1},0),(x_1,\dots, x_{n-1},1)]\cap A_0={\varnothing}.$ 

 Let $ x, y\in { \mathbb{R}}^n\setminus A$ and let $ { \varepsilon}>0$. Since $ A$ is closed there is $ { \delta}<{\varepsilon}/2 $ such that $ \bar B(x,{\delta})\cap A=\bar B(y,{\delta})\cap A={\varnothing}$. Let $ P_x$ and $ P_y$ be $ (n-1)$-dimensional affine hyperplanes passing through $ x$ and $ y$ respectively and which are extraneous to $ x - y$. Then there is an affine map $ f\colon { \mathbb{R}}^n\to{\mathbb{R}}^n$ such that $ f[P_x]={\mathbb{R}}^{n-1}\times\{0\}$, $ f[P_y]={\mathbb{R}}^{n-1}\times \{1\}$ and $ f[P
1}^2<1\}.$$ anf let $C_0$ be the cylinder $$A_0\times [0,1]\subset {\mcrhbb{R}}^n.$$ For $x,g\in{\mathbc{R}}^n$ denote by $[x,y]$ the straighv libe setment connecting $x$ and $y$. Supposv $A_0\subset C_0$ aid assume that for every $(x_1,\dots,s_{k-1})\in D_0$ vhe set $$A_0\cap [(x_1,\dpts,x_{n-1},0),(x_1,\dots,f_{n-1},1)]$$ is non-empty. Tfeu $A_0$ must have Hausdorff dimension at least $m-1$: $W_0$ can be projested jnto $D_0$ with the Lipschitz map $$(x_1,\dots,x_{n-1},x_h)\mapsto (x_1,\dots,x_{n-1},0),$$ the katter has Hausdorff dimendion $n-1$ and the Hausdorvf dimensiob cagbot increase in a Lipsbkitz map. Thgrefore we have the following clxim:

If $A_0\subset C_0$ hqs Jdusdorff dinensijn less than $n-1$, then dhere ix $(x_1,\dots,x_{n-1})\in D_0$ xuci thqt $[(x_1,\dots,x_{n-1},0),(x_1,\dots,x_{n-1},1)]\cap E_0={\varnothing}.$

Let $x,y\in {\iathbb{R}}^n\satjinus A$ and let ${\vqrwpsilmn}>0$. Shnce $Q$ ir cmoxes therf ia ${\delta}<{\varspsilon}/2$ sucy that $\bar B(x,{\delta})\csp Q=\bar B(y,{\delta})\czp A={\vawnjthing}$. Let $P_x$ and $P_y$ be $(n-1)$-dimensional afxins hyperplanes passing tyrough $x$ and $y$ respecjively and which are orthogonal to $x-y$. Then there is an affite ma' $w\coook {\magybh{R}}^n\to{\mathbb{R}}^n$ such that $f[P_x]={\mathbb{R}}^{n-1}\times\{0\}$, $f[P_y]={\mwfhnb{G}}^{n-1}\times \{1\}$ and $f[P
1}^2<1\}.$$ and let $C_0$ be the cylinder {\mathbb{R}}^n.$$ $x,y\in{\mathbb{R}}^n$ denote $[x,y]$ the straight $y$. $A_0\subset C_0$ and that for every D_0$ the set $$A_0\cap [(x_1,\dots,x_{n-1},0),(x_1,\dots,x_{n-1},1)]$$ is Then $A_0$ must have Hausdorff dimension at least $n-1$: $A_0$ can be projected $D_0$ with the Lipschitz map $$(x_1,\dots,x_{n-1},x_n)\mapsto (x_1,\dots,x_{n-1},0),$$ the latter has Hausdorff dimension $n-1$ the dimension increase a Lipschitz map. Therefore we have the following claim: If $A_0\subset C_0$ has Hausdorff dimension less $n-1$, then there is $(x_1,\dots,x_{n-1})\in D_0$ such that A_0={\varnothing}.$ Let $x,y\in {\mathbb{R}}^n\setminus and let ${\varepsilon}>0$. Since $A$ closed is ${\delta}<{\varepsilon}/2$ that B(x,{\delta})\cap B(y,{\delta})\cap A={\varnothing}$. Let and $P_y$ be $(n-1)$-dimensional affine hyperplanes passing through $x$ and $y$ respectively and which are orthogonal to Then there affine map {\mathbb{R}}^n\to{\mathbb{R}}^n$ that $f[P_y]={\mathbb{R}}^{n-1}\times \{1\}$ and
1}^2<1\}.$$ and let $C_0$ be the cylinder $$D_0\timeS [0,1]\subset {\matHbb{R}}^n.$$ for $X,y\iN{\mAthbB{R}}^n$ dEnote by $[x,y]$ the stRAighT line segment connecting $X$ and $y$. suPPose $a_0\SuBset C_0$ And assuME tHAT foR eVeRy $(x_1,\DoTS,x_{N-1})\in D_0$ tHe sEt $$A_0\cap [(x_1,\Dots,x_{n-1},0),(x_1,\dotS,x_{n-1},1)]$$ Is Non-empty. Then $a_0$ MuSt have HausDorFf dimension aT leAst $n-1$: $A_0$ cAn Be pROjectEd oNto $D_0$ wIth the lIpschiTz map $$(x_1,\dotS,x_{N-1},X_n)\mapsTO (x_1,\dots,x_{N-1},0),$$ THe LattEr has Hausdorff dimENsIOn $n-1$ and the HausdOrff diMeNSiON CanNot Increase in A LIpschITz map. ThEReFORE we HAve the followiNg claim:

If $A_0\sUBseT C_0$ has HAuSdoRFf dimeNsion LeSS thAn $n-1$, then therE is $(x_1,\Dots,x_{n-1})\in D_0$ Such thAT $[(x_1,\dots,x_{N-1},0),(X_1,\dots,x_{n-1},1)]\Cap A_0={\vaRnoThiNg}.$

LeT $X,y\In {\MatHbB{r}}^n\sETmInuS a$ anD let ${\varePsIlOn}>0$. SinCe $A$ iS CLOSed tHerE is ${\dElta}<{\vArepsilon}/2$ such ThaT $\bar b(X,{\deLta})\caP A=\bar b(y,{\deLtA})\cap A={\VarnotHing}$. LEt $p_x$ and $P_y$ be $(n-1)$-dimenSionAl affine hYpeRpLanEs PassiNG throuGh $x$ And $Y$ respecTively aND whIcH ARE oRthogonal to $x-y$. Then tHeRE Is An affine Map $f\coLOn {\MaTHbb{R}}^n\to{\mAtHbb{r}}^n$ suCH That $f[p_x]={\maTHbB{R}}^{n-1}\times\{0\}$, $F[P_y]={\matHBb{r}}^{n-1}\Times \{1\}$ anD $f[p
1}^2<1\}.$$ and let $C_0$be the cyl inder  $$ D_0 \t imes  [0, 1]\subset {\ma t hbb{ R}}^n.$$ For $x,y\in{\ mathb b{ R }}^n $  d enote  by $[x , y] $ the  s tr aig ht li ne se gme nt conn ecting $x$  an d$y$. Suppose $A _0\subsetC_0 $ and assume  th at for  e ver y  $(x_ 1,\ dots, x_{n-1 } )\in D _0$ the s et $$A_0\ c ap [(x_ 1 , \d ots, x_{n-1},0),(x_1,\ d ot s ,x_{n-1},1)]$$  is no n- e mp t y . T hen  $A_0$ mus thaveH ausdorf f  d i m e nsi o n at least $n -1$: $A_0$c anbe pro je cte d  onto$D_0$  w i ththe Lipschi tz m ap $$(x_1 ,\dots , x_{n-1} , x_n)\ma psto ( x_1 ,\d ots, x _{ n- 1}, 0) , $$t he  la t ter  has Hau sd or ff di mens i o n $n-1 $ a nd t he Ha usdorff dimen sio n ca n not  incr easein a  L ipsch itz ma p. Th er efore we have t he f ollowingcla im :
If  $A_0 \ subset  C_ 0$has Hau sdorffd ime ns i o n  l ess than $n-1$, th en t he re is $( x_1,\d o ts ,x _ {n-1})\i nD_0 $ su c h  that  $[( x _1 ,\dots,x _{n-1} , 0) ,( x_1,\do ts ,x_{n- 1} ,1) ]\c ap A_ 0 ={\v arnoth ing}.$
Let $ x ,y\in {\mathbb { R}}^n\setminu s  A $ an d  let  ${ \varepsilon }>0$ .  Sin ce $ A $isc losed  ther ei s$ {\delta}<{\varepsil on }/2$ s uch t hat $\bar B(x ,{\delta}) \ c a p A=\bar  B(y , {\ d elta})\cap A={ \varn othing}$.L et $P_x$  and$P_y$ be  $(n-1)$- d i mensiona l a ffi nehyp e r pl anes passingt h roug h$x$ and  $y $ respe cti vel y a ndwh ich are o rthogona lto  $ x- y$.  Then there is  a n a ff ine  map$ f\colo n {\m athb b{ R} } ^n\ to{\mat h bb { R }}^n $su ch t hat  $ f[P_x ]={\ m ath bb{R}}^ {n-1}\tim es\ { 0\}$ ,$f [P_y]={ \mathbb{R}}^{ n- 1}\times \ {1 \}$  and $ f [ P
1}^2<1\}.$$ and_let $C_0$_be the cylinder $$D_0\times_[0,1]\subset {\mathbb{R}}^n.$$_For_$x,y\in{\mathbb{R}}^n$ denote_by_$[x,y]$ the straight_line segment connecting_$x$ and $y$. Suppose_$A_0\subset C_0$ and_assume_that for every $(x_1,\dots,x_{n-1})\in D_0$ the set $$A_0\cap [(x_1,\dots,x_{n-1},0),(x_1,\dots,x_{n-1},1)]$$ is non-empty. Then $A_0$ must_have_Hausdorff dimension_at_least_$n-1$: $A_0$ can be projected_onto $D_0$ with the Lipschitz_map $$(x_1,\dots,x_{n-1},x_n)\mapsto_(x_1,\dots,x_{n-1},0),$$ the latter has Hausdorff dimension $n-1$ and_the_Hausdorff dimension cannot_increase in a Lipschitz map. Therefore we have the_following claim:

If $A_0\subset C_0$ has Hausdorff_dimension less than_$n-1$,_then_there is $(x_1,\dots,x_{n-1})\in D_0$_such that $[(x_1,\dots,x_{n-1},0),(x_1,\dots,x_{n-1},1)]\cap A_0={\varnothing}.$

Let $x,y\in {\mathbb{R}}^n\setminus_A$ and let ${\varepsilon}>0$. Since $A$_is closed there is ${\delta}<{\varepsilon}/2$ such that_$\bar B(x,{\delta})\cap A=\bar B(y,{\delta})\cap A={\varnothing}$. Let_$P_x$ and $P_y$ be $(n-1)$-dimensional_affine hyperplanes_passing through $x$ and $y$_respectively and which_are orthogonal_to $x-y$. Then_there is an affine map $f\colon_{\mathbb{R}}^n\to{\mathbb{R}}^n$ such that_$f[P_x]={\mathbb{R}}^{n-1}\times\{0\}$, $f[P_y]={\mathbb{R}}^{n-1}\times \{1\}$ and $f[P