Files
@ aad4326b06f9
Branch filter:
Location: AENC/resampling_chain/diagram_proborders.tex - annotation
aad4326b06f9
1.5 KiB
text/x-tex
Add attempt at proving circle version of lemma
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}
|