diff options
author | Fabrice (iLiburu) <Fabrice.Orgogozo@gmail.com> | 2011-01-05 10:51:46 +0100 |
---|---|---|
committer | Fabrice (iLiburu) <Fabrice.Orgogozo@gmail.com> | 2011-01-05 10:51:46 +0100 |
commit | 9b397c6baf243cfab623ede077eff43b67f0d05f (patch) | |
tree | bf934a1dd51c9555c9ce0668bb262038b95be28a /divers/tikz-exemples.tex | |
parent | 71624bddf4e7e63397a9af8213153bdbdb06a3ba (diff) | |
download | galois-9b397c6baf243cfab623ede077eff43b67f0d05f.tar.gz galois-9b397c6baf243cfab623ede077eff43b67f0d05f.tar.bz2 galois-9b397c6baf243cfab623ede077eff43b67f0d05f.zip |
renommage massif : séparation des fichiers de configuration des chapitres etc.
Diffstat (limited to 'divers/tikz-exemples.tex')
-rw-r--r-- | divers/tikz-exemples.tex | 364 |
1 files changed, 364 insertions, 0 deletions
diff --git a/divers/tikz-exemples.tex b/divers/tikz-exemples.tex new file mode 100644 index 0000000..09fa515 --- /dev/null +++ b/divers/tikz-exemples.tex @@ -0,0 +1,364 @@ +\ifx\danslelivre\undefined +\documentclass[9pt]{smfart-moi} +\input{commun} +\input{smf} +\input{adresse} +\input{gadgets} +\input{francais} +\input{numerotation} +\input{formules} +\input{encoredesmacros} + +\usepackage{stmaryrd} +\usepackage{graphics} +\usepackage[usenames,dvipsnames]{xcolor} +\usepackage{tikz} +\usetikzlibrary{matrix} +\usetikzlibrary{calc} + +\title{Tikz : exemples} + +\begin{document} +\maketitle +\else +\chapter{Tikz : exemples} +\fi + + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=2.5em]{ +X_1&X_2&X_3&\;\cdots\;&X_{2n-1}&X_{2n}&X_{2n+1}\\}; +\draw[->] (diag-1-1) -- node{$f_1$} (diag-1-2); +\draw[->] (diag-1-3) -- node[swap]{$g_1$} (diag-1-2); +\draw[->] (diag-1-3) -- node{$f_2$} (diag-1-4); +\draw[->] (diag-1-5) -- node[swap]{$g_{n-1}$} (diag-1-4); +\draw[->] (diag-1-5) -- node{$f_n$} (diag-1-6); +\draw[->] (diag-1-7) -- node[swap]{$g_n$} (diag-1-6); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=2.5em]{ +X_1&X_2&X_3&\;\cdots\;&X_{2n-1}&X_{2n}&X_{2n+1}\\}; +\draw[->] (diag-1-1) -- node{$f_1$} (diag-1-2); +\draw[->] (diag-1-3) -- node[swap]{$g_1$} (diag-1-2); +\draw[->] (diag-1-3) -- node{$f_2$} (diag-1-4); +\draw[->] (diag-1-5) -- node[swap]{$g_{n-1}$} (diag-1-4); +\draw[->] (diag-1-5) -- node{$f_n$} (diag-1-6); +\draw[->] (diag-1-7) -- node[swap]{$g_n$} (diag-1-6); +\end{tikzpicture} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +T(X)&T(X')\\S(Y)&S(Y')\\}; +\draw[->] (diag-1-1) -- node[swap]{$h$} (diag-2-1); +\draw[->] (diag-1-2) -- node{$h'$} (diag-2-2); +\draw[->] (diag-1-1) -- node{$T(u)$} (diag-1-2); +\draw[->] (diag-2-1) -- node{$S(v)$} (diag-2-2); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +T(X)&T(X')\\S(Y)&S(Y')\\}; +\draw[->] (diag-1-1) -- node[swap]{$h$} (diag-2-1); +\draw[->] (diag-1-2) -- node{$h'$} (diag-2-2); +\draw[->] (diag-1-1) -- node{$T(u)$} (diag-1-2); +\draw[->] (diag-2-1) -- node{$S(v)$} (diag-2-2); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +\categ{C}&\categ{D}\\}; +\draw[->] (diag-1-1) to [out=80,in=100] node [auto=false] (F) {} +node [pos=0.45] {$\scriptstyle F$} (diag-1-2); +\draw[->] (diag-1-1) to node [auto=false] (G) {} node [pos=0.25] +{$\scriptstyle G$} (diag-1-2); +\draw[->] (diag-1-1) to [out=-80,in=-100] node [auto=false] (H) +{} node [pos=0.45,swap] {$\scriptstyle H$} (diag-1-2); +\draw[->] (F) -- node{$\scriptstyle u$} (G); +\draw[->] (G) -- node{$\scriptstyle v$} (H); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +\categ{C}&\categ{D}\\}; +\draw[->] (diag-1-1) to [out=80,in=100] node [auto=false] (F) {} node +[pos=0.45] {$\scriptstyle F$} (diag-1-2); +\draw[->] (diag-1-1) to node [auto=false] (G) {} node [pos=0.25] +{$\scriptstyle G$} (diag-1-2); +\draw[->] (diag-1-1) to [out=-80,in=-100] node [auto=false] (H) {} +node [pos=0.45,swap] {$\scriptstyle H$} (diag-1-2); +\draw[->] (F) -- node{$\scriptstyle u$} (G); +\draw[->] (G) -- node{$\scriptstyle v$} (H); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=5em,row sep=5ex]{ +\categ{C}&\categ{D}&\categ{E}\\}; +\draw[->] (diag-1-1) to [out=40,in=140] node [auto=false] (F) {} +node {$\scriptstyle F$} (diag-1-2); +\draw[->] (diag-1-1) to [out=-40,in=-140] node [auto=false] (F') +{} node [swap] {$\scriptstyle F'$} (diag-1-2); +\draw[->] (diag-1-2) to [out=40,in=140] node [auto=false] (G) {} +node {$\scriptstyle G$} (diag-1-3); +\draw[->] (diag-1-2) to [out=-40,in=-140] node [auto=false] (G') +{} node [swap] {$\scriptstyle G'$} (diag-1-3); +\draw[->] (F) -- node{$\scriptstyle u$} (F'); +\draw[->] (G) -- node{$\scriptstyle v$} (G'); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=5em,row sep=5ex]{ +\categ{C}&\categ{D}&\categ{E}\\}; +\draw[->] (diag-1-1) to [out=40,in=140] node [auto=false] (F) {} +node {$\scriptstyle F$} (diag-1-2); +\draw[->] (diag-1-1) to [out=-40,in=-140] node [auto=false] (F') {} +node [swap] {$\scriptstyle F'$} (diag-1-2); +\draw[->] (diag-1-2) to [out=40,in=140] node [auto=false] (G) {} +node {$\scriptstyle G$} (diag-1-3); +\draw[->] (diag-1-2) to [out=-40,in=-140] node [auto=false] (G') +{} node [swap] {$\scriptstyle G'$} (diag-1-3); +\draw[->] (F) -- node{$\scriptstyle u$} (F'); +\draw[->] (G) -- node{$\scriptstyle v$} (G'); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=5em,row sep=5ex]{ +G(F(X))&G(F(Y))\\G(F'(X))&G(F'(Y))\\G'(F'(X))&G'(F'(Y))\\}; +\draw[->] (diag-1-1) -- node[swap]{$G(u(X))$} (diag-2-1); +\draw[->] (diag-1-2) -- node{$G(u(Y))$} (diag-2-2); +\draw[->] (diag-2-1) -- node[swap]{$v(F'(X))$} (diag-3-1); +\draw[->] (diag-2-2) -- node{$v(F'(Y))$} (diag-3-2); +\draw[->] (diag-1-1) -- node{$G(F(z))$} (diag-1-2); +\draw[->] (diag-2-1) -- node{$G(F'(z))$} (diag-2-2); +\draw[->] (diag-3-1) -- node{$G'(F'(z))$} (diag-3-2); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=5em,row sep=5ex]{ +G(F(X))&G(F(Y))\\G(F'(X))&G(F'(Y))\\G'(F'(X))&G'(F'(Y))\\}; +\draw[->] (diag-1-1) -- node[swap]{$G(u(X))$} (diag-2-1); +\draw[->] (diag-1-2) -- node{$G(u(Y))$} (diag-2-2); +\draw[->] (diag-2-1) -- node[swap]{$v(F'(X))$} (diag-3-1); +\draw[->] (diag-2-2) -- node{$v(F'(Y))$} (diag-3-2); +\draw[->] (diag-1-1) -- node{$G(F(z))$} (diag-1-2); +\draw[->] (diag-2-1) -- node{$G(F'(z))$} (diag-2-2); +\draw[->] (diag-3-1) -- node{$G'(F'(z))$} (diag-3-2); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +G(F(X))&G(F'(X))&G(F''(X))\\G'(F(X))&G'(F'(X))&G'(F''(X))\\ +G''(F(X))&G''(F'(X))&G''(F''(X))\\}; +\draw[->] (diag-1-1) -- (diag-2-1); +\draw[->] (diag-1-2) -- (diag-2-2); +\draw[->] (diag-1-3) -- (diag-2-3); +\draw[->] (diag-2-1) -- (diag-3-1); +\draw[->] (diag-2-2) -- (diag-3-2); +\draw[->] (diag-2-3) -- (diag-3-3); +\draw[->] (diag-1-1) -- (diag-1-2); +\draw[->] (diag-2-1) -- (diag-2-2); +\draw[->] (diag-3-1) -- (diag-3-2); +\draw[->] (diag-1-2) -- (diag-1-3); +\draw[->] (diag-2-2) -- (diag-2-3); +\draw[->] (diag-3-2) -- (diag-3-3); +\draw[->] (diag-1-1) -- node[pos=0.3,sloped]{$\scriptstyle(v\boxempty u)(X)$} (diag-2-2); +\draw[->] (diag-2-2) -- node[pos=0.3,sloped]{$\scriptstyle(v'\boxempty u')(X)$} (diag-3-3); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +G(F(X))&G(F'(X))&G(F''(X))\\G'(F(X))&G'(F'(X))&G'(F''(X))\\ +G''(F(X))&G''(F'(X))&G''(F''(X))\\}; +\draw[->] (diag-1-1) -- (diag-2-1); +\draw[->] (diag-1-2) -- (diag-2-2); +\draw[->] (diag-1-3) -- (diag-2-3); +\draw[->] (diag-2-1) -- (diag-3-1); +\draw[->] (diag-2-2) -- (diag-3-2); +\draw[->] (diag-2-3) -- (diag-3-3); +\draw[->] (diag-1-1) -- (diag-1-2); +\draw[->] (diag-2-1) -- (diag-2-2); +\draw[->] (diag-3-1) -- (diag-3-2); +\draw[->] (diag-1-2) -- (diag-1-3); +\draw[->] (diag-2-2) -- (diag-2-3); +\draw[->] (diag-3-2) -- (diag-3-3); +\draw[->] (diag-1-1) -- node[pos=0.3,sloped] +{$\scriptstyle(v\boxempty u)(X)$} (diag-2-2); +\draw[->] (diag-2-2) -- node[pos=0.3,sloped] +{$\scriptstyle(v'\boxempty u')(X)$} (diag-3-3); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +&&P(i)\\T&X&\\&&P(j)\\}; +\draw[->] (diag-2-1) to [out=60,in=180] node{$\scriptstyle t(i)$} (diag-1-3); +\draw[->] (diag-2-2) -- node[auto=false,above left=-.5ex]{$\scriptstyle s(i)$} (diag-1-3); +\draw[->] (diag-2-1) to [out=300,in=180] node[swap]{$\scriptstyle t(j)$} (diag-3-3); +\draw[->] (diag-2-2) -- node[swap,auto=false,below left=-.5ex]{$\scriptstyle s(j)$} (diag-3-3); +\draw[->] (diag-1-3) -- node{$\scriptstyle P(i\to j)$} (diag-3-3); +\draw[->,dotted] (diag-2-1) -- node{$\scriptstyle z$} (diag-2-2); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +&&P(i)\\T&X&\\&&P(j)\\}; +\draw[->] (diag-2-1) to [out=60,in=180] node{$\scriptstyle t(i)$} (diag-1-3); +\draw[->] (diag-2-2) -- node[auto=false,above left=-.5ex]{$\scriptstyle s(i)$} (diag-1-3); +\draw[->] (diag-2-1) to [out=300,in=180] node[swap]{$\scriptstyle t(j)$} (diag-3-3); +\draw[->] (diag-2-2) -- node[swap,auto=false,below left=-.5ex]{$\scriptstyle s(j)$} (diag-3-3); +\draw[->] (diag-1-3) -- node{$\scriptstyle P(i\to j)$} (diag-3-3); +\draw[->,dotted] (diag-2-1) -- node{$\scriptstyle z$} (diag-2-2); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=5em,row sep=5ex]{ +T&T\\P(V(i'))&P(V(i''))\\P(i)&P(i)\\}; +\draw[->] (diag-1-1) -- node[swap]{$\scriptstyle t(i')$} (diag-2-1); +\draw[->] (diag-2-1) -- node[swap]{$\scriptstyle P(\gamma')$} (diag-3-1); +\draw[->] (diag-1-2) -- node{$\scriptstyle t(i'')$} (diag-2-2); +\draw[->] (diag-2-2) -- node{$\scriptstyle P(\gamma'')$} (diag-3-2); +\draw[double] (diag-1-1) -- (diag-1-2); +\draw[draw=none] (diag-2-1) to node [pos=0.5,auto=false] (mid) {$\cdots$} (diag-2-2); +\draw[->] (diag-2-1) -- (mid); +\draw[->] (diag-2-2) -- (mid); +\draw[double] (diag-3-1) -- (diag-3-2); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto] +\matrix(diag)[matrix of math nodes,column sep=5em,row sep=5ex]{ +T&T\\P(V(i'))&P(V(i''))\\P(i)&P(i)\\}; +\draw[->] (diag-1-1) -- node[swap]{$\scriptstyle t(i')$} (diag-2-1); +\draw[->] (diag-2-1) -- node[swap]{$\scriptstyle P(\gamma')$} (diag-3-1); +\draw[->] (diag-1-2) -- node{$\scriptstyle t(i'')$} (diag-2-2); +\draw[->] (diag-2-2) -- node{$\scriptstyle P(\gamma'')$} (diag-3-2); +\draw[double] (diag-1-1) -- (diag-1-2); +\draw[draw=none] (diag-2-1) to node [pos=0.5,auto=false] (mid) {$\cdots$} (diag-2-2); +\draw[->] (diag-2-1) -- (mid); +\draw[->] (diag-2-2) -- (mid); +\draw[double] (diag-3-1) -- (diag-3-2); +\end{tikzpicture} +\end{center} +\end{verbatim} + +\begin{center} +\begin{tikzpicture}[auto, + elem/.style={rectangle,draw=black!50,text height=1.5ex,text depth=.5ex}, + isin/.style={pos=0.5,auto=false,sloped,allow upside down}] + % Le "allow upside down" est essentiel pour ne pas que les signes ∈ se + % retrouvent dans le mauvais sens ! +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +\Hom(F(X),F(X))&\Hom(F(X),F(X'))&\Hom(F(X'),F(X'))\\ +\Hom(X,G(F(X)))&\Hom(X,G(F(X')))&\Hom(X',G(F(X')))\\}; +\draw[->] (diag-1-1) -- node[swap]{$\scriptstyle \theta(X,F(X))$} (diag-2-1); +\draw[->] (diag-1-2) -- node{$\scriptstyle \theta(X,F(X'))$} (diag-2-2); +\draw[->] (diag-1-3) -- node{$\scriptstyle \theta(X',F(X''))$} (diag-2-3); +\draw[->] (diag-1-1) -- node{$\scriptstyle F(z)\circ\tiret$} (diag-1-2); +\draw[->] (diag-1-3) -- node[swap]{$\scriptstyle \tiret\circ F(z)$} (diag-1-2); +\draw[->] (diag-2-1) -- node{$\scriptstyle G(F(z))\circ\tiret$} (diag-2-2); +\draw[->] (diag-2-3) -- node[swap]{$\scriptstyle \tiret\circ z$} (diag-2-2); +\node[elem](elem-1-1) at ($ (diag-1-1)+(2em,4ex) $) {$\scriptstyle\Id_{F(X)}$}; +\node[elem](elem-1-2) at ($ (diag-1-2)+(0,4ex) $) {$\scriptstyle F(z)$}; +\node[elem](elem-1-3) at ($ (diag-1-3)+(-2em,4ex) $) {$\scriptstyle\Id_{F(X')}$}; +\draw[draw=none] (elem-1-1) to node [isin] {$\scriptscriptstyle\in$} (diag-1-1); +\draw[draw=none] (elem-1-2) to node [isin] {$\scriptscriptstyle\in$} (diag-1-2); +\draw[draw=none] (elem-1-3) to node [isin] {$\scriptscriptstyle\in$} (diag-1-3); +\node[elem](elem-2-1) at ($ (diag-2-1)+(2em,-4ex) $) {$\scriptstyle\eta(X)$}; +\node[elem](elem-2-2) at ($ (diag-2-2)+(0,-4ex) $) {$\scriptstyle G(F(z))\circ \eta(X) = \eta(X') \circ z$}; +\node[elem](elem-2-3) at ($ (diag-2-3)+(-2em,-4ex) $) {$\scriptstyle\eta(X')$}; +\draw[draw=none] (elem-2-1) to node [isin] {$\scriptscriptstyle\in$} (diag-2-1); +\draw[draw=none] (elem-2-2) to node [isin] {$\scriptscriptstyle\in$} (diag-2-2); +\draw[draw=none] (elem-2-3) to node [isin] {$\scriptscriptstyle\in$} (diag-2-3); +\end{tikzpicture} +\end{center} + +\begin{verbatim} +\begin{center} +\begin{tikzpicture}[auto, + elem/.style={rectangle,draw=black!50,text height=1.5ex,text depth=.5ex}, + isin/.style={pos=0.5,auto=false,sloped,allow upside down}] + % Le "allow upside down" est essentiel pour ne pas que les signes ∈ se + % retrouvent dans le mauvais sens ! +\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]{ +\Hom(F(X),F(X))&\Hom(F(X),F(X'))&\Hom(F(X'),F(X'))\\ +\Hom(X,G(F(X)))&\Hom(X,G(F(X')))&\Hom(X',G(F(X')))\\}; +\draw[->] (diag-1-1) -- node[swap]{$\scriptstyle \theta(X,F(X))$} (diag-2-1); +\draw[->] (diag-1-2) -- node{$\scriptstyle \theta(X,F(X'))$} (diag-2-2); +\draw[->] (diag-1-3) -- node{$\scriptstyle \theta(X',F(X''))$} (diag-2-3); +\draw[->] (diag-1-1) -- node{$\scriptstyle F(z)\circ\tiret$} (diag-1-2); +\draw[->] (diag-1-3) -- node[swap]{$\scriptstyle \tiret\circ F(z)$} (diag-1-2); +\draw[->] (diag-2-1) -- node{$\scriptstyle G(F(z))\circ\tiret$} (diag-2-2); +\draw[->] (diag-2-3) -- node[swap]{$\scriptstyle \tiret\circ z$} (diag-2-2); +\node[elem](elem-1-1) at ($ (diag-1-1)+(2em,4ex) $) {$\scriptstyle\Id_{F(X)}$}; +\node[elem](elem-1-2) at ($ (diag-1-2)+(0,4ex) $) {$\scriptstyle F(z)$}; +\node[elem](elem-1-3) at ($ (diag-1-3)+(-2em,4ex) $) {$\scriptstyle\Id_{F(X')}$}; +\draw[draw=none] (elem-1-1) to node [isin] {$\scriptscriptstyle\in$} (diag-1-1); +\draw[draw=none] (elem-1-2) to node [isin] {$\scriptscriptstyle\in$} (diag-1-2); +\draw[draw=none] (elem-1-3) to node [isin] {$\scriptscriptstyle\in$} (diag-1-3); +\node[elem](elem-2-1) at ($ (diag-2-1)+(2em,-4ex) $) {$\scriptstyle\eta(X)$}; +\node[elem](elem-2-2) at ($ (diag-2-2)+(0,-4ex) $) {$\scriptstyle G(F(z))\circ \eta(X) = \eta(X') \circ z$}; +\node[elem](elem-2-3) at ($ (diag-2-3)+(-2em,-4ex) $) {$\scriptstyle\eta(X')$}; +\draw[draw=none] (elem-2-1) to node [isin] {$\scriptscriptstyle\in$} (diag-2-1); +\draw[draw=none] (elem-2-2) to node [isin] {$\scriptscriptstyle\in$} (diag-2-2); +\draw[draw=none] (elem-2-3) to node [isin] {$\scriptscriptstyle\in$} (diag-2-3); +\end{tikzpicture} +\end{center} +\end{verbatim} + + + + + + + + + + + + + +\ifx\danslelivre\undefined +\end{document} +\fi |