Files
@ 330b6c1a9887
Branch filter:
Location: AENC/resampling_chain/diagram_proborders.tex - annotation
330b6c1a9887
1.5 KiB
text/x-tex
nicer 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}
|