Files
@ 7909b19774b8
Branch filter:
Location: AENC/resampling_chain/diagram_circle_lemma.tex - annotation
7909b19774b8
2.2 KiB
text/x-tex
Try but failed to add alternative proof notation
aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 aad4326b06f9 c2fa910c4916 c2fa910c4916 c2fa910c4916 aad4326b06f9 aad4326b06f9 | \documentclass{standalone}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{parskip}
\usepackage[usenames,dvipsnames]{color}
\usepackage[hidelinks]{hyperref}
\renewcommand*{\familydefault}{\sfdefault}
\usepackage{bbm} %For \mathbbm{1}
%\usepackage{bbold}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}[scale=0.8]
\def\r{4};
\def\step{15};
% Line and circles
\foreach \a in {0,...,23} {
\draw[-] ({\a*\step}:\r) -- ({(\a+1)*\step}:\r);
\draw ({\a*\step}:\r) circle (0.05);
}
% Red dots
\foreach \a in {2,3,6,8,9,10,11,14,15,17,20} {
\draw[fill,red] ({\a*\step}:\r) circle (0.09);
}
% Blue squares
\foreach \a in {2,3,20} {
\draw[fill,blue] ({\a*\step}:{\r-0.3})+(-0.1,-0.1) rectangle +(0.1,0.1);
}
% Green triangles
\foreach \a in {6,8,9,10,11,14,15,17} {
\draw[fill,green] ({\a*\step}:{\r-0.3}) +(-0.15,-0.1) -- +(0.15,-0.1) -- +(0,0.15);
}
% Legend
\draw (-1,0)+(-0.5,-1) rectangle +(2.6,1);
\draw[fill,red] (-1.1,0.5) circle (0.09);
\draw[fill,blue] (-1.1,0) +(-0.1,-0.1) rectangle +(0.1,0.1);
\draw[fill,green] (-1.1,-0.5) +(-0.15,-0.1) -- +(0.15,-0.1) -- +(0,0.15);
\draw[anchor=west] (-1,0.5) node {$I$};
\draw[anchor=west] (-1,0) node {$I\cap [{\color{gray}n}{-l},r]_0$};
\draw[anchor=west] (-1,-0.5) node {$I\setminus[{\color{gray}n}{-l},r]_0$};
% Bigger circle
\foreach \a in {-5,...,3} {
\draw[-,dashed] ({\a*\step}:\r+1) -- ({(\a+1)*\step}:\r+1);
%\draw ({\a*\step}:\r+1) circle (0.05);
}
\draw ({-5*\step}:\r+1) +(0.2,-0.2) node {${\color{gray}n}{-l}$};
\draw ({4*\step}:\r+1) +(0.2,0.2) node {$r$};
%
% Arrows with labels
%
% 0
\draw ({0*\step}:\r-0.3) node {$0$};
% 1
\draw ({1*\step}:\r-0.3) node {$1$};
% n/2
\draw ({12*\step}:\r-0.3) node {$\frac{n}{2}$};
% n-1
\draw ({-1*\step}:\r-0.3) +(-0.4,0) node {${\color{gray}n}{-1}$};
% i_*
\draw[->] ({10*\step}:\r-1) -- ({10*\step}:\r-0.2);
\draw ({10*\step}:\r-1) +(0.3,0) node {$i_*$};
% j
\draw[->] ({0*\step}:\r-1.3) -- ({0*\step}:\r-0.8);
\draw ({0*\step}:\r-1) +(-0.4,0) node {$j$};
\end{tikzpicture}
\end{document}
|