 \[topological-cct\], we can further extend the result of Theorem \[sufficient\] and obtain the following.

\[arsove-new\] Let $\Omega_1$ be a generalized Jordan domain. Let $\varphi: \Omega_1\rightarrow \Omega_2$ be a conformal homeomorphism, where the boundary $\partial\Omega_2$ has at most countably many non-degenerate components $\{P_n\}$ with $\displaystyle\sum_n{\rm diam}(P_n)<\infty$ and all its point components form a set of $\sigma$-finite linear measure. Then $\varphi$ extends continuously to the closure $\overline{\Omega_1}$ if and only if $\partial\Omega_2$ is a Peano compactum.

To Generalize Continuity Theorem [— the second approach]{} {#outline-2}
==========================================================

Our target of this section is to prove Theorem \[arsove\_sigma\].

Let us start from a result that can be inferred as a direct corollary of [@He-Schramm94 Lemma 1.3], which reads as follows.

\[HS-1994\_1.3\] Let $Z\subset{\mathbb{R}}^2$ be a Borel set of $\sigma$-finite linear measure, and let $X\subset{\mathbb{R}}$ be the set of points $x$ such that the section $\left(\{x\}\times{\mathbb{R}}\right)\cap Z$ is uncountable. Then $X$ has zero Lebesgue measure.

In the above lemma, we may consider ${\mathbb{R}}^2$ as the complex plane ${\mathbb{C}}$, consisting of $re^{{\bf i}\theta}$ with $r>0$ and $0\le\theta<2\pi$. Then, we study the set $R_0$ of numbers $r>0$ such that the circle $\left\{re^{{\bf i}\theta}: 0\le\theta<2\pi\right\}$ intersects $Z$ at uncountably many points. For any $r_2>r_1>0$, we see that the part of $Z$ in the annulus $\{z\in{\mathbb{C}}: r_1\le|z|\le r_2\}$ is sent onto the rectangle $[r_1,r_2]\times[0,2\pi]$ by the map $re^{{\bf i
\[topological - cct\ ], we can further extend the result of Theorem \[sufficient\ ] and obtain the pursuit. 

 \[arsove - new\ ] lease $ \Omega_1 $ be a generalized Jordan domain. Let $ \varphi: \Omega_1\rightarrow \Omega_2 $ be a conformal homeomorphism, where the boundary $ \partial\Omega_2 $ has at about countably many non - degenerate part $ \{P_n\}$ with $ \displaystyle\sum_n{\rm diam}(P_n)<\infty$ and all its point component form a set of $ \sigma$-finite analogue standard. Then $ \varphi$ extends endlessly to the closure $ \overline{\Omega_1}$ if and only if $ \partial\Omega_2 $ is a Peano compactum. 

 To Generalize Continuity Theorem [ — the second approach ] { } { # outline-2 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Our target of this incision is to prove Theorem \[arsove\_sigma\ ]. 

 Let us start from a result that can be inferred as a lineal corollary of [ @He - Schramm94 Lemma 1.3 ], which reads as follows. 

 \[HS-1994\_1.3\ ] Let $ Z\subset{\mathbb{R}}^2 $ be a Borel bent of $ \sigma$-finite linear measure, and permit $ X\subset{\mathbb{R}}$ be the set of point $ x$ such that the section $ \left(\{x\}\times{\mathbb{R}}\right)\cap Z$ is uncountable. Then $ X$ has zero Lebesgue measure. 

 In the above lemma, we may consider $ { \mathbb{R}}^2 $ as the complex plane $ { \mathbb{C}}$, consist of $ re^{{\bf i}\theta}$ with $ r>0 $ and $ 0\le\theta<2\pi$. Then, we study the set $ R_0 $ of numbers $ r>0 $ such that the circle $ \left\{re^{{\bf i}\theta }: 0\le\theta<2\pi\right\}$ intersects $ Z$ at uncountably many points. For any $ r_2 > r_1>0 $, we see that the part of $ Z$ in the annulus $ \{z\in{\mathbb{C } }: r_1\le|z|\le r_2\}$ is sent onto the rectangle $ [ r_1,r_2]\times[0,2\pi]$ by the map $ re^{{\bf i
 \[tooological-cct\], we can furtmer extend the rgsylt of Theorsm \[suffizient\] and obtain the followiig.

\[arwove-ntc\] Let $\Omega_1$ be a gendralized Uordan dimaii. Let $\varphi: \Omejz_1\rightavxow \Ojcga_2$ bz e conformal homgomorphism, wvere the bounddrh $\'artial\Omega_2$ has at most countably mwny non-cehenerate compogentx $\{P_n\}$ sptm $\displaystyle\sum_n{\rm diam}(P_n)<\infty$ and aln its point cpmponents form a set of $\sihma$-flnite linear measuge. Then $\varkgi$ qztends contivuously to the closure $\overline{\Omega_1}$ if and only if $\pxrtiak\Omega_2$ is q Peajm compactum.

Vo Genvralize Contiklity Thaorem [— yhe second appvoach]{} {#ourline-2}
==========================================================

Our target of thms section is to prode Theorek \[crsove\_sigma\].

Let us staet from a rasulg thxt dai bs infegrev as a diredt corollart of [@He-Schramm94 Lemms 1.3], qhich reads aa folljwf.

\[HS-1994\_1.3\] Let $Z\subset{\mathbb{R}}^2$ be a Borel set ox $\sjgma$-finite linear measuee, and let $X\subset{\matjbb{R}}$ be tre set of points $x$ such that the section $\left(\{x\}\timas{\matibc{R}}\rnnmt)\cao Z$ is uncountable. Then $X$ has zero Lebesgue meastde.

On the above lemia, we may cpndicgr ${\mathbb{R}}^2$ as jhe com'mes plane ${\mathbb{C}}$, cojsistind of $ee^{{\bf i}\theua}$ wiyh $r>0$ and $0\le\theta<2\pi$. Then, we wtudy the sen $R_0$ if numbers $r>0$ such chat the cirele $\legt\{re^{{\bg i}\theta}: 0\le\theta<2\pi\right\}$ intsrsects $Z$ ah uncountzcly many points. Wor aty $r_2>r_1>0$, we see that the part of $Z$ in vhe aunulus $\{z\kn{\majhbb{C}}: r_1\je|z|\le r_2\}$ is sent onto the rectangle $[r_1,r_2]\tilev[0,2\pi]$ by the map $re^{{\bf i
\[topological-cct\], we can further extend the result \[sufficient\] obtain the \[arsove-new\] Let $\Omega_1$ Let \Omega_1\rightarrow \Omega_2$ be conformal homeomorphism, where boundary $\partial\Omega_2$ has at most countably non-degenerate components $\{P_n\}$ with $\displaystyle\sum_n{\rm diam}(P_n)<\infty$ and all its point components form a of $\sigma$-finite linear measure. Then $\varphi$ extends continuously to the closure $\overline{\Omega_1}$ if only $\partial\Omega_2$ a compactum. To Generalize Continuity Theorem [— the second approach]{} {#outline-2} ========================================================== Our target of this section to prove Theorem \[arsove\_sigma\]. Let us start from result that can be as a direct corollary of Lemma which reads follows. Let be a Borel of $\sigma$-finite linear measure, and let $X\subset{\mathbb{R}}$ be the set of points $x$ such that the section Z$ is $X$ has Lebesgue In above lemma, we ${\mathbb{R}}^2$ as the complex plane ${\mathbb{C}}$, i}\theta}$ with $r>0$ and $0\le\theta<2\pi$. Then, we study set $R_0$ numbers $r>0$ such that the circle i}\theta}: 0\le\theta<2\pi\right\}$ intersects $Z$ at uncountably many points. any $r_2>r_1>0$, we see that the part of $Z$ in the annulus $\{z\in{\mathbb{C}}: r_1\le|z|\le r_2\}$ onto the rectangle $[r_1,r_2]\times[0,2\pi]$ the map $re^{{\bf
 \[topological-cct\], we can furtheR extend the ResulT of theOrEm \[suFficIent\] and obtain tHE folLowing.

\[arsove-new\] Let $\OmegA_1$ be a gEnERaliZEd jordaN domain. lEt $\VARphI: \OMeGa_1\rIgHTaRrow \OMegA_2$ be a conFormal homeOmoRpHism, where the BOuNdary $\partiAl\OMega_2$ has at mosT coUntablY mAny NOn-degEneRate cOmponeNTs $\{P_n\}$ wiTh $\displayStYLe\sum_n{\RM diam}(P_n)<\INFtY$ and All its point componENtS Form a set of $\sigmA$-finitE lINeAR MeaSurE. Then $\varphI$ eXtendS ContinuOUsLY TO thE Closure $\overliNe{\Omega_1}$ if anD OnlY if $\parTiAl\OMEga_2$ is a peano CoMPacTum.

To GeneraLize continuitY TheorEM [— the secONd approAch]{} {#outLinE-2}
==========================================================

OuR tarGEt Of ThiS sECtiON iS to PRovE Theorem \[ArSoVe\_sigMa\].

LeT US STart FroM a reSult tHat can be inferRed As a dIRecT coroLlary Of [@He-scHramm94 lemma 1.3], wHich rEaDs as follows.

\[HS-1994\_1.3\] LeT $Z\suBset{\mathbB{R}}^2$ bE a borEl Set of $\SIgma$-fiNitE liNear meaSure, and LEt $X\SuBSET{\mAthbb{R}}$ be the set of poInTS $X$ sUch that tHe sectIOn $\LeFT(\{x\}\times{\mAtHbb{r}}\rigHT)\Cap Z$ iS uncOUnTable. TheN $X$ has zERo leBesgue mEaSure.

In ThE abOve Lemma, WE may ConsidEr ${\mathbb{r}}^2$ as thE Complex plane ${\maTHbb{C}}$, consistinG Of $RE^{{\Bf I}\ThetA}$ wiTh $r>0$ and $0\le\theTa<2\pi$. tHen, wE stuDY tHe sET $R_0$ of nUmberS $r>0$ SUcH That the circle $\left\{re^{{\Bf I}\theta}: 0\Le\theTa<2\pi\right\}$ inteRsects $Z$ at uNCOUntably mAny pOInTS. For any $r_2>r_1>0$, we see That tHe part of $Z$ iN The annulUs $\{z\in{\Mathbb{C}}: r_1\Le|z|\le r_2\}$ is sENT onto the RecTanGle $[R_1,r_2]\tIMEs[0,2\Pi]$ by the map $re^{{\bF I
 \[topological-cct\], we c an further  exte ndthe  r esul t of  Theorem \[suf f icie nt\] and obtain the fo llowi ng . 

\[ a rs ove-n ew\] Le t  $ \ O meg a_ 1$  be  a ge neral ize d Jorda n domain.Let  $ \varphi: \Om e ga _1\rightar row  \Omega_2$ b e a  confo rm alh omeom orp hism,  where the bo undary $\ pa r tial\O m ega_2$h a sat m ost countably man y  n o n-degenerate c ompone nt s  $ \ { P_n \}$  with $\di sp layst y le\sum_ n {\ r m dia m }(P_n)<\infty $ and all i t s p oint c om pon e nts fo rm ase t  of  $\sigma$-f init e linearmeasur e . Then$ \varphi $ exte nds  co ntin u ou sl y t ot hec lo sur e  $\ overline {\ Om ega_1 }$ i f a n d on lyif $ \part ial\Omega_2$isa Pe a nocompa ctum. 

To  G enera lize C ontin ui ty Theorem [— t he s econd app roa ch ]{}  { #outl i ne-2}=== === ======= ======= = === == = = = == ================== == = = == ===

Our  targe t  o ft his sect io n i s to p roveTheo r em  \[arsov e\_sig m a\ ]. 

Let u sstartfr oma r esult that  can b e inferr ed as a direct corol l ary of [@He-S c hr a m m9 4  Lem ma1.3], which  rea d s as  fol l ow s.\[HS- 1994\ _1 . 3\ ]  Let $Z\subset{\mat hb b{R}}^ 2$ be  a Borel setof $\sigma $ - f inite li near me a sure, and let$X\su bset{\math b b{R}}$ b e the  set ofpoints $x $ such tha t t hesec tio n $\ left(\{x\}\ti m e s{\m at hbb{R}} \ri ght)\ca p Z $ i s u nco un table. Th en $X$ h as  z er oLeb esgue measure. 
Inth e a bovel emma,we ma y co ns id e r $ {\mathb b {R } } ^2$as  t he c omp le x pla ne $ { \ma thbb{C} }$, consi sti n g of  $ re ^{{\bfi}\theta}$ wi th  $r>0$ and  $ 0\l e\thet a < 2\pi$. T hen, we study the set $ R _0$ ofnum bers$r>0 $ such th atthe ci rcl e  $\lef t\{re^ {{\bf  i }\t h e ta}:0 \ le \th et a<2\pi\rig h t \}$  inte rs ects  $Z$ at  uncountably manyp oin ts. For any $ r_2 >r_1 > 0 $,  we se e  th at the p art of $Z$ in t he annulus  $ \ {z \in{\mathb b {C} }:  r_1\le |z|\ler_2\} $  is sen t onto th e rectang le  $[r _ 1 ,r_ 2]\times[0 ,2\pi]$by the ma p  $re^ { {\ bf i
 \[topological-cct\],_we can_further extend the result_of Theorem_\[sufficient\]_and obtain_the_following.

\[arsove-new\] Let $\Omega_1$_be a generalized_Jordan domain. Let $\varphi:_\Omega_1\rightarrow \Omega_2$ be_a_conformal homeomorphism, where the boundary $\partial\Omega_2$ has at most countably many non-degenerate components $\{P_n\}$_with_$\displaystyle\sum_n{\rm diam}(P_n)<\infty$_and_all_its point components form a_set of $\sigma$-finite linear measure._Then $\varphi$_extends continuously to the closure $\overline{\Omega_1}$ if and_only_if $\partial\Omega_2$ is_a Peano compactum.

To Generalize Continuity Theorem [— the second_approach]{} {#outline-2}
==========================================================

Our target of this section_is to prove_Theorem_\[arsove\_sigma\].

Let_us start from a_result that can be inferred as_a direct corollary of [@He-Schramm94 Lemma_1.3], which reads as follows.

\[HS-1994\_1.3\] Let $Z\subset{\mathbb{R}}^2$_be a Borel set of $\sigma$-finite_linear measure, and let $X\subset{\mathbb{R}}$_be the_set of points $x$ such_that the section_$\left(\{x\}\times{\mathbb{R}}\right)\cap Z$_is uncountable. Then_$X$ has zero Lebesgue measure.

In the_above lemma, we_may consider ${\mathbb{R}}^2$ as the complex_plane_${\mathbb{C}}$, consisting of_$re^{{\bf_i}\theta}$_with $r>0$_and $0\le\theta<2\pi$. Then,_we_study the_set_$R_0$ of numbers $r>0$ such that_the_circle $\left\{re^{{\bf i}\theta}: 0\le\theta<2\pi\right\}$ intersects $Z$ at_uncountably many points. For_any_$r_2>r_1>0$, we see that_the part of $Z$ in_the annulus $\{z\in{\mathbb{C}}: r_1\le|z|\le r_2\}$ is_sent onto_the rectangle_$[r_1,r_2]\times[0,2\pi]$ by the map $re^{{\bf i