Files
@ 2d71071d9d58
Branch filter:
Location: AENC/resampling_chain/diagram_proborders.tex - annotation
2d71071d9d58
1.5 KiB
text/x-tex
Add small update to splitting lemma proof
fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df | \documentclass{standalone}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{parskip}
\usepackage{marvosym} %Lightning symbol
\usepackage[usenames,dvipsnames]{color}
\usepackage[hidelinks]{hyperref}
\renewcommand*{\familydefault}{\sfdefault}
\usepackage{bbm} %For \mathbbm{1}
%\usepackage{bbold}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}
\draw[gray] (0,0) -- (10,0);
\draw[dotted] (0,2) -- (10,2);
\draw[gray] (0,2) arc (90:270:1);
\draw[gray] (10,0) arc (-90:90:1);
\foreach \x in {0,...,10} {
\draw (\x,0) circle (0.04);
}
\foreach \a in {-3,...,3} {
\draw (10,1)+({\a*20}:1) circle (0.04);
\draw (0,1)+({180+\a*20}:1) circle (0.04);
}
\foreach \x in {0,...,10} {
\draw (\x,0.3) node {$\x$};
}
\foreach \x in {2,4,6,7} {
\draw[fill,red] (\x,-0.5) circle (0.05);
\draw[fill,blue] (\x,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
}
\foreach \x in {3,5,8} {
\draw (\x,-1.5) circle (0.07);
}
\draw[fill,red] (9,-0.5) circle (0.05);
\draw (2,1) node {$I_\mathrm{min}$};
\draw (9,1) node {$I_\mathrm{max}$};
\draw (10.7,-0.2) rectangle (12.0,-1.8);
\draw[fill,red] (11,-0.5) circle (0.05);
\draw (11.5,-0.5) node {$I$};
\draw[fill,blue] (11,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
\draw (11.5,-1.0) node {$I'$};
\draw (11,-1.5) circle (0.07);
\draw (11.6,-1.5) node {$I_{><}$};
\draw (5,1) node {$k$};
\end{tikzpicture}
\end{document}
|