ee601b3d8d5376e9.tex
1: \begin{definition}[Open/Closed street segment]
2: \label{Def.open/closed/subcritical}
3: Let $e \in E$ be a street and let $ s \subseteq e$ be a non-empty street segment. We say $s$ is \emph{open} if either of the two following set of conditions are satisfied:
4: \begin{enumerate}
5: \item $\vert s \vert \leq r$
6: \vspace{.2 cm}
7: \item[]\textbf{OR}
8: \vspace{.2 cm}
9: \item $\left\{
10: \begin{array}{l}
11: \vert s \vert > r \\
12: \forall c \subset s, \, (\vert c \vert = r \; , c \text{ connected and} \; c  \; \text{topologically closed} )\Rightarrow X^{\lambda}(c) \geq 1.
13: \end{array}
14: \right.$
15: \end{enumerate}
16: We say that $s$ is \emph{closed} if $s$ is not open. \\
17: 
18: \noindent We are now ready to proceed with the proofs of Theorems~\ref{thm-ergodicity}-\ref{Thm.permanently-super-critical}.
19: \end{definition}
20: