From 0ead33dd72a7dd09ab8f855e672cb81e38623ef1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Sun, 22 Aug 2021 21:43:09 +0200 Subject: euler char, traces, telescoping sums --- buch/chapters/95-homologie/images/complexbasis.tex | 142 +++++++++++++++++++++ 1 file changed, 142 insertions(+) create mode 100644 buch/chapters/95-homologie/images/complexbasis.tex (limited to 'buch/chapters/95-homologie/images/complexbasis.tex') diff --git a/buch/chapters/95-homologie/images/complexbasis.tex b/buch/chapters/95-homologie/images/complexbasis.tex new file mode 100644 index 0000000..365789c --- /dev/null +++ b/buch/chapters/95-homologie/images/complexbasis.tex @@ -0,0 +1,142 @@ +% +% complexbasis.tex -- template for standalon tikz images +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\documentclass[tikz]{standalone} +\usepackage{amsmath} +\usepackage{times} +\usepackage{txfonts} +\usepackage{pgfplots} +\usepackage{csvsimple} +\usetikzlibrary{arrows,intersections,math} +\usetikzlibrary{decorations.pathreplacing} +\begin{document} +\def\skala{1} +\begin{tikzpicture}[>=latex,thick,scale=\skala] + +\definecolor{darkgreen}{rgb}{0,0.6,0} + +\def\s{0.5} +\def\h{0.02} + +\def\rechteck#1#2#3{ + \fill[color=#3!20,rounded corners=2pt] + ({-\s+\h},{(2*(#1)-1)*\s+\h}) + rectangle + ({\s-\h},{(2*(#2)+1)*\s-\h}); + \draw[color=#3,rounded corners=2pt] + ({-\s+\h},{(2*(#1)-1)*\s+\h}) + rectangle + ({\s-\h},{(2*(#2)+1)*\s-\h}); + \foreach \y in {{#1},...,{#2}}{ + \fill[color=#3] (0,{2*\y*\s}) circle[radius=0.05]; + } +} +\def\Rechteck#1#2{ + \draw[rounded corners=3pt] + ({-\s-\h},{(2*(#1)-1)*\s-\h}) + rectangle + ({\s+\h},{(2*(#2)+1)*\s+\h}); +} + +\def\abbildung#1#2#3#4{ + \fill[color=gray!20] + ({\s},{(2*(#1)+1)*\s}) + -- + ({3-\s},{-\s}) + -- + ({3-\s},{(2*(#3)+1)*\s}) + -- + ({\s},{(2*(#1)+1)*\s}); + \fill[color=gray!40] + ({\s},{(2*(#1+1)-1)*\s}) + -- + ({3-\s},{(2*(#3+1)-1)*\s}) + -- + ({3-\s},{(2*(#4)+1)*\s}) + -- + ({\s},{(2*(#2)+1)*\s}); +} + +\clip (-4.5,-1.2) rectangle (7.5,11.7); + +\begin{scope}[xshift=-6cm] + \abbildung{6}{7}{10}{11} +\end{scope} + +\begin{scope}[xshift=-3cm] + \abbildung{6}{10}{7}{11} + \rechteck{0}{6}{red} + \rechteck{7}{10}{darkgreen} + \rechteck{11}{11}{blue} + \Rechteck{0}{11} + \node[color=darkgreen] at ({0},{(9*2-1)*\s}) {$B_{k-2\mathstrut}$}; + \node at (1.5,{9*2*\s}) {$\Delta_{k-1}$}; + \node at (1.5,{-\s}) [above] {$\partial_{k-1\mathstrut}$}; + \draw[decorate,decoration={brace,amplitude=4pt}] + ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*10+1)*\s}); + \node at ({-\s-0.17},{10*\s}) [left] {$Z_{k-2\mathstrut}$}; + \node at (0,{-\s}) [below] {$C_{k-2\mathstrut}$}; +\end{scope} + +\begin{scope} + \abbildung{2}{7}{5}{10} + \rechteck{8}{11}{blue} + \rechteck{3}{7}{darkgreen} + \rechteck{0}{2}{red} + \Rechteck{0}{11} + \node at (0,{-\s}) [below] {$C_{k-1\mathstrut}$}; + \node[color=darkgreen] at ({0},{(5*2-1)*\s}) {$B_{k-1\mathstrut}$}; + \node at (1.5,{6.5*2*\s}) {$\Delta_k$}; + \node at (1.5,{-\s}) [above] {$\partial_{k\mathstrut}$}; + \draw[decorate,decoration={brace,amplitude=4pt}] + ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*7+1)*\s}); + \node at ({-\s-0.17},{7*\s}) [left] {$Z_{k-1\mathstrut}$}; +\end{scope} + +\begin{scope}[xshift=3cm] + \abbildung{3}{5}{5}{7} + \rechteck{6}{10}{blue} + \rechteck{4}{5}{darkgreen} + \rechteck{0}{3}{red} + \Rechteck{0}{10} + \node at (0,{-\s}) [below] {$C_{k\mathstrut}$}; + \node[color=darkgreen] at ({-0.25},{9*\s}) + {$B_{k\mathstrut}$}; + \node[color=darkgreen] at (0.24,{2*4*\s}) {$b_1$}; + \node[color=darkgreen] at (0.24,{2*4.5*\s+0.1}) {$\vdots$}; + \node[color=darkgreen] at (0.24,{2*5*\s}) {$b_r$}; + \node[color=red] at (0.24,{2*0*\s}) {$z_1$}; + \node[color=red] at (0.24,{2*1*\s}) {$z_2$}; + \node[color=red] at (0.24,{2*2*\s+0.1}) {$\vdots$}; + \node[color=red] at (0.24,{2*3*\s}) {$z_l$}; + \node[color=blue] at (0.24,{2*6*\s}) {$c_1$}; + \node[color=blue] at (0.24,{2*7*\s}) {$c_2$}; + \node[color=blue] at (0.24,{2*8*\s}) {$c_3$}; + \node[color=blue] at (0.24,{2*9*\s}) {$\vdots$}; + \node[color=blue] at (0.24,{2*10*\s}) {$c_s$}; + \node at (1.5,{5.5*2*\s}) {$\Delta_{k+1}$}; + \node at (1.5,{-\s}) [above] {$\partial_{k+1\mathstrut}$}; + \draw[decorate,decoration={brace,amplitude=4pt}] + ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*5+1)*\s}); + \node at ({-\s-0.17},{5*\s}) [left] {$Z_{k\mathstrut}$}; +\end{scope} + +\begin{scope}[xshift=6cm] + \abbildung{0}{5}{4}{8} + \rechteck{5}{7}{blue} + \rechteck{1}{5}{darkgreen} + \rechteck{0}{0}{red} + \Rechteck{0}{7} + \node at (0,{-\s}) [below] {$C_{k+1\mathstrut}$}; + \node[color=darkgreen] at ({0},{(2.5*2+1)*\s}) + {$B_{k+1\mathstrut}$}; + \draw[decorate,decoration={brace,amplitude=4pt}] + ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*5+1)*\s}); + \node at ({-\s-0.17},{5*\s}) [left] {$Z_{k+1\mathstrut}$}; +\end{scope} + +\end{tikzpicture} +\end{document} + -- cgit v1.2.1 From e5bc54895bd698524f14b8c33f324bf6343e40c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Sun, 22 Aug 2021 21:52:24 +0200 Subject: some improvements --- buch/chapters/95-homologie/images/complexbasis.tex | 50 ++++++++++++++-------- 1 file changed, 33 insertions(+), 17 deletions(-) (limited to 'buch/chapters/95-homologie/images/complexbasis.tex') diff --git a/buch/chapters/95-homologie/images/complexbasis.tex b/buch/chapters/95-homologie/images/complexbasis.tex index 365789c..6accb2a 100644 --- a/buch/chapters/95-homologie/images/complexbasis.tex +++ b/buch/chapters/95-homologie/images/complexbasis.tex @@ -44,36 +44,52 @@ \fill[color=gray!20] ({\s},{(2*(#1)+1)*\s}) -- - ({3-\s},{-\s}) + ({3.5-\s},{-\s}) -- - ({3-\s},{(2*(#3)+1)*\s}) + ({3.5-\s},{(2*(#3)+1)*\s}) -- - ({\s},{(2*(#1)+1)*\s}); + ({\s},{(2*(#1)+1)*\s}) + -- + cycle; \fill[color=gray!40] ({\s},{(2*(#1+1)-1)*\s}) -- - ({3-\s},{(2*(#3+1)-1)*\s}) + ({3.5-\s},{(2*(#3+1)-1)*\s}) + -- + ({3.5-\s},{(2*(#4)+1)*\s}) + -- + ({\s},{(2*(#2)+1)*\s}) -- - ({3-\s},{(2*(#4)+1)*\s}) + cycle; + \draw[<-,color=gray] + ({\s},{(2*(#1+1)-1)*\s}) + -- + ({3.5-\s},{(2*(#3+1)-1)*\s}); + \draw[->,color=gray] + ({3.5-\s},{(2*(#4)+1)*\s}) -- ({\s},{(2*(#2)+1)*\s}); + \draw[<-,color=gray!40] + ({\s},{(2*(#1)+1)*\s}) + -- + ({3.5-\s},{-\s}); } -\clip (-4.5,-1.2) rectangle (7.5,11.7); +\clip (-5.5,-1.2) rectangle (8.5,11.7); -\begin{scope}[xshift=-6cm] +\begin{scope}[xshift=-7cm] \abbildung{6}{7}{10}{11} \end{scope} -\begin{scope}[xshift=-3cm] +\begin{scope}[xshift=-3.5cm] \abbildung{6}{10}{7}{11} \rechteck{0}{6}{red} \rechteck{7}{10}{darkgreen} \rechteck{11}{11}{blue} \Rechteck{0}{11} \node[color=darkgreen] at ({0},{(9*2-1)*\s}) {$B_{k-2\mathstrut}$}; - \node at (1.5,{9*2*\s}) {$\Delta_{k-1}$}; - \node at (1.5,{-\s}) [above] {$\partial_{k-1\mathstrut}$}; + \node at (1.75,{9*2*\s}) {$\Delta_{k-1}$}; + \node at (1.75,{-\s}) [above] {$\partial_{k-1\mathstrut}$}; \draw[decorate,decoration={brace,amplitude=4pt}] ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*10+1)*\s}); \node at ({-\s-0.17},{10*\s}) [left] {$Z_{k-2\mathstrut}$}; @@ -88,14 +104,14 @@ \Rechteck{0}{11} \node at (0,{-\s}) [below] {$C_{k-1\mathstrut}$}; \node[color=darkgreen] at ({0},{(5*2-1)*\s}) {$B_{k-1\mathstrut}$}; - \node at (1.5,{6.5*2*\s}) {$\Delta_k$}; - \node at (1.5,{-\s}) [above] {$\partial_{k\mathstrut}$}; + \node at (1.75,{6.5*2*\s}) {$\Delta_k$}; + \node at (1.75,{-\s}) [above] {$\partial_{k\mathstrut}$}; \draw[decorate,decoration={brace,amplitude=4pt}] ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*7+1)*\s}); \node at ({-\s-0.17},{7*\s}) [left] {$Z_{k-1\mathstrut}$}; \end{scope} -\begin{scope}[xshift=3cm] +\begin{scope}[xshift=3.5cm] \abbildung{3}{5}{5}{7} \rechteck{6}{10}{blue} \rechteck{4}{5}{darkgreen} @@ -116,21 +132,21 @@ \node[color=blue] at (0.24,{2*8*\s}) {$c_3$}; \node[color=blue] at (0.24,{2*9*\s}) {$\vdots$}; \node[color=blue] at (0.24,{2*10*\s}) {$c_s$}; - \node at (1.5,{5.5*2*\s}) {$\Delta_{k+1}$}; - \node at (1.5,{-\s}) [above] {$\partial_{k+1\mathstrut}$}; + \node at (1.75,{5.5*2*\s}) {$\Delta_{k+1}$}; + \node at (1.75,{-\s}) [above] {$\partial_{k+1\mathstrut}$}; \draw[decorate,decoration={brace,amplitude=4pt}] ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*5+1)*\s}); \node at ({-\s-0.17},{5*\s}) [left] {$Z_{k\mathstrut}$}; \end{scope} -\begin{scope}[xshift=6cm] +\begin{scope}[xshift=7cm] \abbildung{0}{5}{4}{8} \rechteck{5}{7}{blue} \rechteck{1}{5}{darkgreen} \rechteck{0}{0}{red} \Rechteck{0}{7} \node at (0,{-\s}) [below] {$C_{k+1\mathstrut}$}; - \node[color=darkgreen] at ({0},{(2.5*2+1)*\s}) + \node[color=darkgreen] at ({0},{(2.0*2+1)*\s}) {$B_{k+1\mathstrut}$}; \draw[decorate,decoration={brace,amplitude=4pt}] ({-\s-0.1},{-\s}) -- ({-\s-0.1},{(2*5+1)*\s}); -- cgit v1.2.1 From 380f9da1d4da445634327d4fcb9b68c91edd7bba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Tue, 24 Aug 2021 12:54:16 +0200 Subject: symmetry fix --- buch/chapters/95-homologie/images/complexbasis.tex | 30 +++++++++++----------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'buch/chapters/95-homologie/images/complexbasis.tex') diff --git a/buch/chapters/95-homologie/images/complexbasis.tex b/buch/chapters/95-homologie/images/complexbasis.tex index 6accb2a..bab89d2 100644 --- a/buch/chapters/95-homologie/images/complexbasis.tex +++ b/buch/chapters/95-homologie/images/complexbasis.tex @@ -42,40 +42,40 @@ \def\abbildung#1#2#3#4{ \fill[color=gray!20] - ({\s},{(2*(#1)+1)*\s}) + ({\s+\h},{(2*(#1)+1)*\s}) -- - ({3.5-\s},{-\s}) + ({3.5-\s-\h},{-\s}) -- - ({3.5-\s},{(2*(#3)+1)*\s}) + ({3.5-\s-\h},{(2*(#3)+1)*\s}) -- - ({\s},{(2*(#1)+1)*\s}) + ({\s+\h},{(2*(#1)+1)*\s}) -- cycle; \fill[color=gray!40] - ({\s},{(2*(#1+1)-1)*\s}) + ({\s+\h},{(2*(#1+1)-1)*\s}) -- - ({3.5-\s},{(2*(#3+1)-1)*\s}) + ({3.5-\s-\h},{(2*(#3+1)-1)*\s}) -- - ({3.5-\s},{(2*(#4)+1)*\s}) + ({3.5-\s-\h},{(2*(#4)+1)*\s}) -- - ({\s},{(2*(#2)+1)*\s}) + ({\s+\h},{(2*(#2)+1)*\s}) -- cycle; \draw[<-,color=gray] - ({\s},{(2*(#1+1)-1)*\s}) + ({\s+\h},{(2*(#1+1)-1)*\s}) -- - ({3.5-\s},{(2*(#3+1)-1)*\s}); + ({3.5-\s-\h},{(2*(#3+1)-1)*\s}); \draw[->,color=gray] - ({3.5-\s},{(2*(#4)+1)*\s}) + ({3.5-\s-\h},{(2*(#4)+1)*\s}) -- - ({\s},{(2*(#2)+1)*\s}); + ({\s+\h},{(2*(#2)+1)*\s}); \draw[<-,color=gray!40] - ({\s},{(2*(#1)+1)*\s}) + ({\s+\h},{(2*(#1)+1)*\s}) -- - ({3.5-\s},{-\s}); + ({3.5-\s-\h},{-\s}); } -\clip (-5.5,-1.2) rectangle (8.5,11.7); +\clip ({-3.5-1.7},-1.2) rectangle ({7+1.7},11.7); \begin{scope}[xshift=-7cm] \abbildung{6}{7}{10}{11} -- cgit v1.2.1