From 386a0789b08fd1479d2a2febdce945ffb482c6b6 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 26 Mar 2013 10:52:30 +0100 Subject: [PATCH] Presentation: one more image, and refinements. Done? --- images/singular_chaincomplex_small.pdf | Bin 0 -> 6168 bytes images/singular_chaincomplex_small.svg | 951 +++++++++++++++++++++++++ presentation/presentation.tex | 19 +- 3 files changed, 960 insertions(+), 10 deletions(-) create mode 100644 images/singular_chaincomplex_small.pdf create mode 100644 images/singular_chaincomplex_small.svg diff --git a/images/singular_chaincomplex_small.pdf b/images/singular_chaincomplex_small.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9bfd5b5348f29de7127ab215c7c21d44f0bbd893 GIT binary patch literal 6168 zcma)gXE>Z)*S2nuXhRTf5WV+4+Kduih!$lqI)fR}qXf}=Z_yLIi{42Py+(_Y=tK!Z zBwljg&;8u*_x}0zaUFYK`@F8T*16W&`_IX&1ySVY=MlzdZaAp?i7yD^10gKz@uj3d zylQY~8@EF$dh^5=i)I1AeXBjh{IcP@ba}hoA?Tf&<>axb!>QffvWL@#YxT6eub3Rab<%DT z-2C3Es`9@cJ3X7bkv{PmxqN))*LZbxKwdq^o{LfMK^nJ$6vj>MlES3h^2r%&#qNqr z?LDb%@DfcA4N%}{GJQ4jW?pQGvP%FN`Hu70@xnYTAzs#8GW^^HiKNbj22^Dv{_s^d6LV9qjGM=kLE%M@$iOzMC7HTMPa@YW_*f$78})hCM*J^CV$Z{W^4rtq8raA)q$O zxBikYS)^O+UyBlz2tCfPE57JAOYvsG! zZ27e*K;`{xxHcLpvx^+lC*eO>V6mLtDR?g7!dSY(E|$!=QE2wTy(yeNulE|{6neel zWrzV8LnB4Jfkx-=F)1I%-+UP}`99iJ(`#~cd@LS>(8w%)G{9)NbyU!*7Y2m889!{u}+iS%-haVy{_M5zys;Au3rru`W@ZW-+RF}kb5I=7Q8Sas5) zTZM3NCLQWR%e@L&5(c!3@jfOA;j_n15u22RS@R*jyGHZ$^f+#|X9p1!70b6*%BKOH z)Hqkb`HQK_(*q+>%25@J#VN!e+t>GyMZc?~4$N-w!l(CcuzsJ$o89bA;jy*{!e7c%o&cCE!_Xa{^uMju zv!7#eaJTT+NGlwcm&rN0vQ4S1D4l>TFi37#;AgO^u~FvHD6*Z%6c-hQiAZRrFRdG` zy$5Jk4F+6I=L9K`s9ogk`TP8Wl5TK_s9MxLaXiPh&i|OEo5X0{qXA*rw3Rg|Ft3ga z?~#U!c;2(VeCZ0M&rnQ-{!|?or@DE{2{EZ#{w?s}A;#)!%0@OIv*y=Sm>%B`azaT= zlT>UBBITBxre}KGt(-S&QVL5fkv7b=H(i2)T*?noqjO}Pq=_~SZDJ4`F7OaLO#U7l zIBv0QJLe~4?&9f>;(NkS3D7>dp&-YlL1PjI-D>lsQJ+^W!so zFwARrY#bKHbDek8`TiA@cS&0UnEpAJ^$}rEWUy1bT_IEvzXBUUoSh=G)(?#De92iX zs1@LX%Z8JeNBw1t^bKE0A8fbyclJtSA0j>;fWS2U)u+lRIs7QyQT?lIV;aV5)7s+; zbYS*ZQyD(lnZ`4T`4vy z{-dGXY+nXQVo14@@f)Qs{QBtXk@?XRhh*)#S`p6E%z+UiH-|1+zjs_sLe6BGPTlF? zv&#!HV4otdBNH$?FTIZM#;(@CydN6qtMMS~D8v@97xi1!BWM!Gf|e#pfkM3sZk8LN zNvWtSvDpKOOg6V+{_&ov3i?hV)WzZwU}nTTs=?yb!5@dmHLSXoIh<5_T#!C}Cd6=Z z0jhq6vuo$s&h;syN#j#3D?>SdzJ*4+z0{O!jok1nXAGoh)T_ASBecVI=XCl_876Wy zok{sjBXQu)2+)wB*Q1R>Hng=Xzr)#_sPDvlf=X+P(P;!PBLv5&TW8fE(qvs)X z@|1ljDLZbb)4XQ-KM=;k^pm znOtlS#a|0$6iWdgLfcnINwJ$u9mUam?VK7&Mi0q7WZy*t+txQ-m_~=u?7U;K%@GT0 z#!n`wILkMS`A&J76~wrkJ(?oHU~p{0BHmLs1aUWp#<*&;s_0sO&spXSvoXnpO_?5K`W?Oi&G|d5xDNIckP7?0dCU&>( zK9A5}4s6&R<Rr%3B4euQAWhEKjk|9gVQ%^QmA4;%YCr*haBdc)aq{Z*ho^Jl5OLQJ`o(Q8Hz#nm#rrQ%p3Pt0OEYH{WQ zr|7Ak>B!Tia2+by4Gx4N&mCQCi>CIUt?9oME&i-Ra4(7{T|SR%TsB2W^8%#HQH()EZTZ((_zGcCXTH|?%>^q9qabnrrSlJjT?9~dNI2y? zE)w^i>@bOb(ushKFl*}a-9UAB1ofH&dWgj2;CryEF32qLPyE1o5v zimFxlOE_D3kibW$9M9D^&94l{Pe?^?FU+wpNqc;eMCgp(w!w~~cOngYl9kK&$XbM% zZnSm2Y_$b}%1nVUaG6+YP|GS`BTP*QkP(hi8!)R&mQm7-C}9(_xmfrBMUPC+qFb7= zf2XRP6|E~YU!yC;()nZpL2&+FyLyEA^QU`uj7Bb9%ERbciMZ~SQ1d=dRR}r*0Z<#) zIh#82Ky3V6G(Va(KWoC3MEJNEFPtrK`y){MeSDZiH|d1!9Hjn{r1f`5y-T{aCWPQ5 zq>YgT+u4ZBMf&c>G^58nl_t5r9qJmyn!j&au#Hu?CjB6Q+Ovf@e>J71hg2J2DQ8$$ z7N;RNL3>ym8#~4XbPs~(Q$y+lfUDYyR{0?Woe&nI(S9I(WVv%cpv`){f@<NAdcm*Onu8#d3~|4fy6|fb&_ma|7%JRc&;QV?gOb;2h%6I$PbwT z&(N!P!lf6G^b4g&jCq?MZS&~A+gx-I`7a0OQ8l^0$F_gT?{`h|dGWe8^!3=`srdDr zM<7H|CCl}bFjWE+(z_uoLFie8MtX3s5yQ@S0t0elu@Y)r*HuxL*X&oG)*tF_5*rx% zm42~pCF{JBD29FZ)xEgVy}?Q{wGbVW;mWXUk_#>|9=Ii)dL|lAPhWZU74K)jC^gB1v!3Kc7JQI@j4y`$_v$ZEc%oygz%)ILs)=n)4p z3=a&QOO-Wpv?V zV;}T^$m06JZ3{+1dB+aF{$cP!%M}{iU{6(_PZFo}yp;B$wQZO_corWZ&FZYD zJO#dP02(|q@OUJCbV1qKe<9*uw>Dho<3)ILW&--~_M)QJm^+lZ*C-ZKZ?ndB#KC}i z92zA!-JAKdz~M7a2S&j{WX=ZvA^*B@_H5?X3KAUp>x!kDNc-XoW<6J7cO)&tQ49(| zJGc|KZ?SGfh6^e|t++gF3l8{RbIfBT6L)QO{9H7z-XmRHjet(rfzI0@1OXAjBmq5NrK%Na|3dpnWxBvT}>)C6$Lt zn+@L5thrgoj$Beza2uB1Tg!sg$nyaL=_o~E>}TGraIEyUgyf+&1~?@Y&lag0zfnUs z?wfX-;!j)a$fe(qnAS74vw+7_)4%$5MLDu%E<|^c%7M%j?&Hw7XYeoCd9I=LmM|!7 z4W`--)0a=i;?v70uUd)kR0m5vmJNMT%1#M&&C%973kj9+0*CLoP-VA96A-MUCjsS>=9glLttd&EB%aUE%XE#N&fkWqnEYvXTjO!!Tm$b)$1 zk1@>0L5f{3d%9EWY1}F^NwEff`wV5@USX|L!>EJp@p|S&p({lmnQc4(0_wm_~pn z2TQe^A>2=>fcQ1Vix+*kP_tGp`{lfl4hPoNB>i#mVg><0eSx?1`q5=#-vab+^SLdR9LVd17%yGYQYMo;1mYngjI+s+={`=wTTcSn}s%E3m z=3zA-ZHcR!#3H;5_@*EDzGqe~C~;0Fd0tyk+=Y$xz)i=b*2Hp4j@5}!?;2<-bbyt2 z+D-CWp@_D)aUV%cm`-;U@HrPiXh>K4yYfeEzWpWv2E=T;H;+z>WVgs{ql!p?SC(4~ zKtPIrBnZS}k}y`kk|;o)4w2%x1lkjG?ImI&Qr-E^L&5uA>E}Ds1f9ej*%ec4eq@4Cgf!QVrOhE~#-gfPTe}CS_~>O%`&N zU>kaIB+$lFR(e7IYV2Etx)J?1`!{yJ9nhKI4_f%;-*TiM;ndN)P@=!1XxV=w6Ey*- z^IS`zF49vy;x-pl?ky!5 z>l!R*SZ{GsB>#FM-dV=mbh7HIf4uj4!HX{YtmBP{DP%o?f&GhSJ1H$GmoARfGtMJa z+q%h@E=!|lhqxKToln&~9t1O&Zg19% zf**MW>%G^yxzh6+h)0nuRL2BEj-25Uz=jfsDQFpZR;mZ8PI;b4t3a&ObIwniva~mI@a8$c?=onC4Z~8lW^?LbNB9OX&aA=u)8LfrlBk z2N&(PMT+*+ydA{Z5>RIO@cnV>#tr&%(@{G<+}Y}HvGVrqPUgJRHt*J3byHYCOyKT^ zyRE=KD(D~G6Y7aldV;#uJV8=Ycfjr7h4I~PK)ecaAbt?9CG2*-RYGq++|IYp-+qMu z@dM)3^>TrOc(q_Q@IOAaU~X_{)UDZn#8q{;l^skT;R!Onh4?^%{31NU!b1FfVjw{Q z9x-7)F%dD4$sbb%gfr^a774l&YyVPamD~{SF8^ZpSFk_me+WOhrQim0M!MVuw)FZB ztZ<7%;Lq(W;W|q4ci>-X@an*k2zNJ2I1+SM44r=^bw~L>67heNLjIwqYG;MKP2etX zoqyQ6-{tu)2O|G+pl~Z4qY!Q&HcObD8v?}7!_UVf0AjO6pI@?v}Sw^#8xvf14uuuke5ISAd~ljtHB-T;Dbb`FC6XYvbt#x5noK ziQ)78Ge9E3!h*seYtY}Au!z`grS1mE`5#PB{5IPE#`yU7Z_D$)F=0W`+mrbJU_v6| z{|6Hl`ak}J#r|!Ja)a49!rlJp_fPD+;kT6UPOA + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/presentation/presentation.tex b/presentation/presentation.tex index 49c34be..77f660b 100644 --- a/presentation/presentation.tex +++ b/presentation/presentation.tex @@ -40,7 +40,7 @@ \begin{frame} \frametitle{Voorbeeld} \centering \vspace{-0.5cm} - Bekijk $\Delta^n \tot{f} X$,\, dwz...\, \raisebox{-.2\height}{\includegraphics{simplex_in_X}} + Bekijk $\Delta^n \tot{f} X$,\, dwz.\, \raisebox{-.2\height}{\includegraphics{simplex_in_X}} \bigskip \bigskip @@ -52,31 +52,30 @@ \begin{frame} \frametitle{Interessant?} - Gegeven een ketencomplex $C$: - $$ \cdots \to C_4 \tot{\del_3} C_3 \tot{\del_2} C_2 \tot{\del_1} C_1 \tot{\del_0} C_0 $$ - met $\del_n \circ \del_{n+1} = 0$ - \bigskip + Gegeven een ketencomplex $C$: \\ + $ \cdots \tot{\del_2} C_2 \tot{\del_1} C_1 \tot{\del_0} C_0 $ met $\del_n \circ \del_{n+1} = 0$ + \bigskip\bigskip + Dan geldt $im(\del_{n+1}) \trianglelefteq ker(\del_n)$ Definieer: $H_n(C) = ker(\del_{n-1}) / im(\del_n)$ - (met $ker(\del_0) = C_0$ per conventie) + met $ker(\del_{-1}) = C_0$ \end{frame} \begin{frame} \frametitle{Voorbeeld} - $ \cdots \to C_1 \tot{\del_0} C_0 $, wat is $ H_1 = \frac{ker(\del_0)}{im(\del_1)} $? + \raisebox{-.2\height}{\includegraphics[width=0.7\textwidth]{singular_chaincomplex_small}}, $ H_1 = \frac{ker(\del_0)}{im(\del_1)} $? \bigskip \begin{tabular}{m{0.3\textwidth} m{0.7\textwidth}} \includegraphics<1>{singular_homology1} \includegraphics<2->{singular_homology2} & - $ \sigma_1 - \sigma_2 + \sigma_3 \in ker (\del_0) $ \newline - \visible<2->{ - $ \del_1(\tau) = \sigma_1 - \sigma_2 + \sigma_3 $ \newline + $\sigma_1 - \sigma_2 + \sigma_3 \in ker (\del_0) $ \newline + \visible<2->{$\del_1(\tau) = \sigma_1 - \sigma_2 + \sigma_3 $ \newline Dus $ \sigma_1 + \sigma_2 - \sigma_3 \in im (\del_1) $ \newline Dus $ 0 = [\sigma_1 - \sigma_2 + \sigma_3] \in H_1 $} \end{tabular}