From cad8a92fb7ddd782c2c206b909ffef0fe896acc7 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Thu, 21 Mar 2013 12:48:44 +0100 Subject: [PATCH] Presentation: Added more images, for homology slides --- images/singular_chaincomplex.svg | 12 +- images/singular_homology.svg | 760 +++++++++++++++++++++++++++++++ images/singular_homology1.pdf | Bin 0 -> 3746 bytes images/singular_homology2.pdf | Bin 0 -> 4211 bytes images/singular_homology3.pdf | Bin 0 -> 3935 bytes presentation/presentation.tex | 40 +- presentation/symbols.tex | 16 +- 7 files changed, 801 insertions(+), 27 deletions(-) create mode 100644 images/singular_homology.svg create mode 100644 images/singular_homology1.pdf create mode 100644 images/singular_homology2.pdf create mode 100644 images/singular_homology3.pdf diff --git a/images/singular_chaincomplex.svg b/images/singular_chaincomplex.svg index 3f09551..2e0f645 100644 --- a/images/singular_chaincomplex.svg +++ b/images/singular_chaincomplex.svg @@ -23,7 +23,7 @@ image/svg+xml - + @@ -948,7 +948,7 @@ inkscape:groupmode="layer" id="layer1" inkscape:label="Slide+1" - style="display:inline" + style="display:none" transform="translate(-29.327251,-82.926998)"> + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/images/singular_homology1.pdf b/images/singular_homology1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..5de466f91eeb5f33a21d7c71ac28f786c0f0f6e6 GIT binary patch literal 3746 zcma)9XIN8N*QH1?G?gCOr5Aw|Y7nG1rG%!Vf)XIo6HG!;I!K>Tl%Xg?6$znAQA8L4 zAyNetkX}R_sZtdL;R`rA&h!5H&U2r8?pb&5v)4ZR{8(EOX<(!PQ&a&-)-IRtf|LL# zfOYZ!X=(xxGc?AP;07pDA!`r-01zX0F9I4zoxM;5v;o=~>w*TIJqyAUaA=e_C?G59 zQdgopf_r@T^g5HtUPut_sZ$Bzl1|~Lw(RrBZB0%gp5q@07rmdqdoe7}{T$q|}%B5B}N@|%=i!S$5anMP+8_&qh>sh<~m z>06`p2hLz`ZQf_rOhNEb7Jmz6MBr*0-bJ2uhINa1t5iYX$%CFHsMlCq>$8b#@5wF- z;+A%9B4nQVl7~+5KvLf;S{1s_FEy5|7{fjpcP3xTTMz4A>dj)Q+00ycI^KJ4?S_VP zv9YY{60$P8>~lfi<)CYMqITU#ZM~-fj5+fOJRqxbC|ikKP0x-OF}_7erAGX%5+MM@ zo?wh|HIJN(g)&|_@5SocHkmvb9O>RC`0o4z(dHcC71@2W@UME{nwRPH?7vsCPjScZ zaOEs+uL)Ns@%KO9KYo(!carw*+Ue|l{)2C0-@b|XBx~=_t*@oeri;6+iEI}&Ele^A z-qb1@2+J6#cMm&3v6p6>-iEz1j}%s8xg)E2iH3~I#+EgB)Tz?{}pLS?H z!JH{(!U>YV;kc?ZEhUu8d#Q3>CtI}Lh-rAV(QddeL4_i9q-R9-a0-dR=!>S zK>)?_btf8aTY?@9-F!$`aSjYud~Z}hs*-#vo0HcTRcs?-AP#BrZl-vm(tpdcP1frf zE1D~X2%u(9bcI|p6d3Kj<=L*=!4u`owW>QbDHbitY-?0UjO4cDcqvNo+Lfu!wurkq^hAir@!01Naf>_r zmSH39taLIjrmWC*jVKZGYMpYFt_7ol0^tUD+DmyY@{P{pg~CCrjVStx7NbWcRSuA0 zwK?@M&c8iub=&horRtUSs|qXLPSZ27b*mQ28+^WXe6mi=Gd#bxyctaQ5%$PpOvTg@ zB7rbS?_OZcQl|$;Ull)zoIhUaO}yTWyqTA>*PXsRV79;Fkb73ivr*pTiMrRudtlDYr9Vr8ZYej(2gZF+wS$0f0Ab~uWt);Nn7R%Z6Hc!4L;iv z>+KL{wZqW!&SWvuIBcqdXE@q5PCgh#`p$+GAo~=w4)BKMc{+b_wIndhF}(Pd@6rCi*SKX4;os&Mnw_ShjlX46rCEc-PxLL9dEH z>euLBBL=z2I9N4}L=_Dd34QjFh)9tfuF=DI{jQJe05cA_f~8+A(iYIC2eVM_8~4DOrGaW z9q^I%3qYO=+#%%4X1ED&w6t(!f8mRd6G|E|krqA(h|ZSD%YmiyvV-y4vdlz%xhciw z=g!_n6omwdM-#1jk_R9c*%u53Wp0W&1PgyuilV zJ3|^&%jNLNsW4cc+}iZDr7UQFp^Izxhe)PEg4>g{MVD{l;vgf{}-Lk5e?e8(_Uda-s_k1&2gPdC& zd34x7x?I+ey3S33Vv<1QRx9zU#Bb0>NyBcZkFYfI$!86KSBnL6TxP~8 z<}!`sL3~2%U2Ew#0h#y$;cF>9j+{2pzU#F#(vbsKk;l_4wHo;bFD{bm?@R~5%7$JE z1k>Gp!+BpUDJqj)D>eP?odG*>wJ#yb#e$hD9$Ex8{VW47;n_GO!$nck4b=y3aQv4s zyT3E>v78lY;YO9UFDSH07QL4zPIm#u47n*^UpclBIix~@3O>Y?bi9_rKQ_}x(3OznvWSS5RpekE*kB!6$FpIY=^s(sot_0Ra%9Y|-WiQ~5jKSB zwi3LSCbg1+A8(CtVtrsfQ9izl+QVHH%HPKS`oS{FG^>SYEH}*#1iiN`JT$_f3hhp`p}DvAV1G)U4=X^ z-TO3U?!&sKDS4m4Qt13bpHODb-$~5^8ycI7QJn~BFJalL?GMmD{&32v9IKWz zi1Fx5q(V(!k7GVc$GI_qvzvfPUB^|goIUR81Jcs6URH3TUwJj_>%PV57gIr}0u$H` zZ`Alsk#nG8jg-8cF9|1!-XE*dr1h)vPWVpT+)o6zh0Jw+t(`UXx7|;rP;{DX{IX;A zODDpj%R|EjLNB)uCi=JWsI5gCpR;K3Lu~|JUOn5o2v2wp(Ync>H>+jzptB+SVon2h z)#9ye-_5}EkhNUM^-}MmoN=sEJING;#<={WhN)kNI{HvNAI?5xq=7c|@cHZ3uPvw7@ zw)Ic8zK3c4vVrO^8|YJ;7y=dt$T*|iaaaJR2!krZ0U0*}!AAo^J$WkVibMIhxjW+( zu{c***`qK>9M;9xnc5Wn|K0wriP|sWzw_5e5l~)O*Y8_X>x2KND*yTf;Lz7WP(U37 z{W$(D%p+vok|HYtC81;Dmi@^~v>Z$%0Q-Uh1{|}}F z{~uo^Wff|Le)tk_D0eS3?x>TraleJ8Qa-%a)>te7I86Nebuq1PlI%jqzB4n7Em@LXZ)4xfU@(krjKS!&uQh{2g=D9)WQjs#sVEZJ z#!gv7mTXzSLvOuZ@AdoR_gv>X=REiMe4fvJKcDBH`v}4>Ye_<+U?9QD#gZM63;+f^ z?Oj32%7C;1(!&|+0?3jfBM<-p(po4q7KtH0(FiQ^GSb1*5eZUJ0r_AtNQ67c{{hiT zKTc4Wad<{_l~Q2k;DMch04tULYs!lz-It!SQqh*gr&McC7JhYdjey^)YhPRTl0VRF zf2ytU<5lnhW`E`U#O{=;_Djqo=SEf0j3wt6t_IHE%q4zEn8!}F|9D@Kv8X4Rj=EO) z;k);Sct2ifmuWSiU3}9&AJ1|st$)@(sl;;Go?wo4Mw`!5pY_S`=Otj`#O;VTh>6RC zFQ?gsduU)8WjgdC$t@f^uq>_D+x`r0Jv3+DrqDXdJyPbah$u_~Nor)_wK>eiw-l~F zuBzx0rxziWjJ~z3w!Sfz$!jVBS5>dZzJa^k;t@AQkvKJ7{O2RDN^zdQg})|3%Ic?|rsc`!oj!{VUI3HLFeR&KP#6X1sc6D18umV6uQG z&}gWP+PX$uwHlHQp*2SRMa3S}f$g@-{Sbx*U7)qgqzUJswX5TcW~a9^88DL_pDuf} za*XFmUboNN2&M7es{6;7U2RN`-9&jnmwUl%+#z}q2Sf&z$>dwa(`!~8w@!D~=DnB= z8Ckt`C7P-*&yekW!#GWgB6lX6W$B#S!^U@7Cl@OF-$YTBJcNdRr(irjqTdWTo>8h%aS8A5-34advbK0Ewne)3Fpey#ri{bLMLz` zdh=J_emTKA7)HZ0g&BgusalPiC&YW%+a;In(`-kINwqF2O-)kL`ZMw#IqZ7%M? z>Gm&g9{SgXGJe;CTyTPh`?>~e0@*p?;K3%mQVC>HltABeo8|>r=d;c{REqn2L~DD} z@l;CFeQuWgvAB-{{yREMjtrgjD1JWo-2(}VuP#e)hQ_s$HPw^e+L6En@k9W2$|@Dv zv;Yrn-=%NtWX=j*7UiwB6YP&WmK$1D!DWc&BwnhH8DU;sVl;3bx3)5xEWpGJCggrO z_1@y*JD8}}^zGDo<^@IR@aIqwGo4Zj@GUFHYwrav_2rwO?>E*nr#&SlBct@wi_3Y0 zS1GC@0-){0;rL>c63U0YtCi!~uZf=81-zLoG@+AP&CO?Md{50)U;6vCdUPHw=C6G# zD4##LlD{@jk11!lg_mx>AS6RDWu7uQDaOg=x_(r}xbkdceC~JlsA6f+Qz9kdM7v-C z-Li5?vS+!l4PV9I5_7N!^=p|Nm6jA80ZmG+a@4Wz1O1CGVO9FSYW&sqTtsGn760R&Z799k&uIBC3hktXPV0=$5A{>~lInV}WA`Evo^~9#&j1VVn%(6aj z*`Z4->&Cp!q^)tUV{T@8X|p}{;PyU;4$h~-(4_rRy3?5ecAz@(@g zzX4s%54{Ja)#u$eiRq`>R9Kg`^N#a}PZTKi1H&ZFE_2;EcabXOu?+%d)@D?Q^=#%Y zb@o8Bok<{Zkaod(njvMQ#3|$vtU#GFJ5{hbCR|pt`tgF-jeUvr5meL=tv zYQHGNY6ayS2&{VW-e(?P;NM=_6tNOn7@;~ok}3OH^eb^A!}Q_){7Y8JUP zgEGV7{CV@&I{Iez)mJ!rgS%31hpb1YH_E2vWYRk&a6PL>?Ro2~lKA}%I~nC2t)@@Q zwPa2kvp{>65cAE6lP4QY{Ki?F8gHfust1{#=Gg6itJXTs)WLwF$&GHIEIt4Ei@yYy zVx1=6cMB0A74%wykm9!j&3EY~AK#AQN6l7#)LPq+K-I0b1A#QXA|GP%rkPFw#WMO65FSStGlSElL8ZdKjNTN>TDm~f?e zmuFQUfDpc28Q1nF@>~^eJz|nlt&N2g3V5X;3`y*6-5T!G7OpgBAVwq3wUwx0 zPN+~WtGmn^!3Eoh;^FLqfqpnFhZ<98wOFz71@=A}d%^1(nwVVjj*F6g)h4h%^R9a) z#S*B(dUE&6H`&ZODHOy%S1mi41VwC^D7bEvZRnGNnq@T2+b81oJ9$34O zWa`Czek;p9wMNxhpq>|&9gp=7PWuq)@HY3oFz#zSWLsdES}l&qEdW$ zyBPb0ZGNPcx=l%Ska_k6O)B`utM8Z1?t*uftvkEu4V25(S(zK6l#jm_O6+jBO4I7z zpQ-*$eK_E?$AsEtQ*O(a#Z#7Lg0Da8OH}6a-(1IUFMC@Fl&{TO;4?)92z(-Xgf?C{ zU1jc_QO=~TOfBsn5sx21&%}GPg7*A5`8-7(vDy0x$qHNMX-r%fnHSbl4wiG1C>HzXQ;Sr?^5-_aHF^z$`sc&c zD&9o$e4-xd!4LN6tY-9FKSRVSZ!joT``4@GuM57TtM9X%_LGd;ftcs9_&XxE}oU08v} z{U*QSWclr554z*7+@5KoJ2{FSju%9UXnTD7o8NcL&${wX~i^TOMHi6ol?_Ch5 zQEv+OW_R)ohmWy2$7Pwp+U~*75WSB!7dg8DYii(H7MGtE{dVKZ_mi&m+>+KL=8e7> zs_3^+fxuT^cL=vqdxghlmi>lRncFfm!4f^PCgD01=RA7RMtcUOropXJ-PGMH3m^KG zZ2K?9v$dPO94KZRR_pL)^tlO12;{`&JZ`ZxhWxE1xcdIH<~@^!K0oL}|5%nz43ttf zW}nYZ$SYd-#Rq_%J&@SKW&1>?z+C5!wyJxZ-A`+=^pkg5CkF!3YJ|+}ou9hP2Rn|2?i;WP>EhOg z=-0;h4fygerKf;x%BAIfH`CD1CM5EQ;OL1>8|d*1oSrol0jm8b;URRKq5jn!v?)(k zV*0g%R-e?`k8UmBm-V&nh%2e(u^mZdOLkd%`ZNhlno|`PsWA)c*AzKOqrQ8J(zbPL z>-sa!&K`B}Q_X;P@Kkzy@3n8ZkJi1l%ol2YtnQ1>28Diy6LA%J>SHCT59iM$&1m4f zo)#)xE1&xoUgdRtNKf_r0hQl&<#7K(1 zhC%_DqLhq+f+AP}uszDu@btivQ+bFRLB=m5aVQ6*k@lrS@TUrCBczX~FUA4s103#}(I1))8UJ#h|7!9%qNa~>^da*< zlx_5zt?!}CKNgVtV*w4aE5&+Z01*cS3gZbtq#$4^C?Mj3#d;}8lXspBI%5!CE+_{d zDNl^EsOV7{IL6b_*MaPE|Nm+K_C)@V@;~`&Ag~Cur}NLH$^G&9rz`*F_+yYxATXc+ z0{91JD{1Dt?=Fd2C$S@z)oJbq&`ii-cmz+lM#5hqXHl>g+yAmsl32a{JMAC3QD ziV(7*Ul`;0Cvez?qrUoJ5g6=|LK#Il NMUbGN=2b1w{{TsxR5Jho literal 0 HcmV?d00001 diff --git a/images/singular_homology3.pdf b/images/singular_homology3.pdf new file mode 100644 index 0000000000000000000000000000000000000000..bb537e7e70170fc4aabdc876722bade705e21eb9 GIT binary patch literal 3935 zcma)9c|4Ts`>vdlIhe*S;YC@F#>^OI%-HwrOGpxi8M_(A2n|BX5~3*CvnH~JLL^Jb zmJlbh%QhjA?bLVZwEWIrzvuIQ-uHd3=U%S+xt~9t>y)vE78D^R3p!OvE8YPi0XRUi zcLgaZ05E+5(TU;=$j~8E5C8x$Ef;qRflU9p<0u3Tf&&Rp04XVfyeVV?&I9C^8g{??kWJl69Mq|Q%^U%qYT+i9cRKk+Eu)eEyjmzwid&SrJ}oGF5W!` z{<`yF?B>|6tiY9T=gzEmW}kqjl|@fYo!Lr-{+aKeLm9mO+Ap>;mZOIQX`(}W5*s9{ z&*GCVnJ1FrHJe>kaVH?BV%)?)37HP<&W=VVUh1!~Pc-c=2MxB-j{2uP@}88_d!#Mk z)EcySnqkqtW$3`Hvv&7~he?c$ri%_gBQj^N=xxZ!?@-bV~JTNb3y%4)pG22=8Q{Ur1s`Mw>Vr9UBPYT*sC&BrQ1zz zjn#a6o{H&H;2Ugel^C3=5G$FYwwdPTVHoYxSs)Dc0@=p;e?4ZrL$gY^b9*Si{K$3RVX(yT{4Zh-%%phz~e6UGZ4? z_P2K>sr6TOp>ru`#{9ac#{9PBcfVtz__ zp3nhOhf!GGINqoQu{PYVGNm*&X#XF_L!;F*ErsK=o+av@A$+jajAcxR84^|+c3l`deymhKbQDaAQ=PqgPBgS z@g*6(Lou^9(jjLB7kJkn(3%Bko73Is_X(|siGMS+DxhePK#0_(_eklor6%fiDD%hu z>s*ope3~m?V>Sso?m6EJ;;@NkdZ0m=KKO0{3c+)EP6#b%=IbZQ;kl2=}5IYuhtncBtz>$>X z!)R#(+-no(=2N4KCmg@UpPZl^H;I6L6`Kjl`&g}VC$w=WV2-J@&2BT7=jMyFiDR4> zRd~x!w@4kX{uIIZ(ZgQoU~z-0G?hpHgGPKHF0#^m_Np2cjSSW;G}GG98)-qbW!x2K zMA(I{tRED1>DJ)9#nuY;>+xlmV}%XP7n;{cwwtH1F47p&?mGRQRK~D%Ma7+^I7VGq zyCo`0V+~*%e4RTN+`!*3Cy9Mt_Biz+#wUsOwycn3J_a9o{Eift)hR6|3!(EY*1{ed zG=%VbnXCY|F zk;e7{E|>_6sF#%;P!tf)hEcv`D6H&;kpD~DlRxj;A}wT+-G;OTmehr-gqGxQn-2$+ zmy3m=zn}}03qP~-H{OV{A6+#5Xh&m|wPk)2DYMD2V_G~rApr8+e1uJ~BD``}7Jf;Hq%IV`cz}PL@KRTF>!oQO4(Bj^S zs{GUntCAQfzw0OxAl-FffS8ak{cipGlyP*0!VJ#ortpqjC~t3QMb0vA1^0meV`imD zIofrC&sPI#T-8^Zq|SCz!fny8)~h6om}BmU9)BS^3ZJ%GcrEdm!Tnu@OKF15gOj#5 zXeifHSC%gVN+NDxR3i0=aB2-i{Dz@~_0B;_n8Km{I~`Vi(wg&QLyZ@cov3M};vs*2 z)hx+y0VV6Ng``21`(?D;^oqjFpixT-eWtT0PsnBM13aFkCT`c1fkKfYSA&78{+F9l zm`%hHdC-&`(|qb<&oXbYp<%-FAaojk4(+q(bR(wBdaX;TNPkYXswvU|uz}pzuW2H)hxH8?jc&2U%nu zdYGZ$_pt0`iU-WDQ3$&+JRgQd zYn`2vT``b%!H%(7ePjIb?F$KY*iGI7NVzIyS51i{K>{{zEE|VbreH#OS#+!LqoAi= z4ykvo%#oQ`WSm_Sa;Se<(a+e@_ClrDCpKJxB3E8E@dP~M6bEcYYqnCpj(X@CPOD+{ zi(vCNF3(RQKF5v1mU4r6J7YtRl!(-4WrZ%vjjJ|oZTSzx!}Reldy-K>t0#2N$+6av z)#O$!JKQ+553fg;)p?nwG@Vm*PEEtqaHBYisZP|Dni=W3#LXz41=3%d!%KSs>ShCP z_M?MVYs6;D5$4I$q3hTA5%h?4=;}NQgP~8_B5^Q1(nL5v7H}y9%N5`3vQjO z;zTTO;!AhT?^AKeO3C@ns`RPxBjios-FzcykQxU&y|}9{(Yq?@++7ECB{DUYWLI44 zXs+PFs~%ixQ&({po>$mN2sW$LEfR69*nICcA0iBdK-V?`m3!%d9yet}+*c2J>l z&x5R&Z5#qmisDb|TsP+l6tjDt$?aTM%Ndriw7{>gS3RZkPq@Q&49l77Z3D3(eB{W$ zQ|EF^qT=BvZHpC-w217L-kxw1F~~E;0`c1qHQ&|g=<`>Z`Zm@emYW3oY3T_bElq#9 zErlwNPiitt%&3w;e{v@tsr##m+hy+EAK|wOFDRjn0zA!~j>EhKWY*-%1v(LLOLgnT z#_`6je6H=2E_cwmvr_yQ&#^7Rtlek<*+$PXw4p!zJvu#;3ZAjJAS+jHvFL zXn$Y=KG6^)JX_s+Bg}w6ijnhlKCNE9jAh*oE=(Ta{;;;foz6HQEw0S2pH-Z|b>EZZ zczf12^w}0rt8beW>qM&mf;lOC~DO7*Ha)eYJaRfR% z6o%dE4n6PlBqXLtV(06C?O3|enGM=p!xhmNxRalX+%E^rdG_5Uc4TF!aV>Yr_fNg$ z6!qB{R9Mx5W#sB&QG!C5M;@LA#^Gu6T0 zgvgKGR*Q|0f-jX`13cNW%1;-lE$-OkGqM|xB=NJOg6=N|GpeI`XFTRR?tD-uXF&`` z1HK9(l3y?np26NwzZ|G+?+=Whuibv#;EK-7)w3IK1T$B@6Dk>=7TQ>`YY!SK_V}8? zQO6ls(>KXj4z|&mi@T{+fUNoFP=c@eC6^v{qq618bt00N7zDzXKZmaf9!h7B1rdn& zf3NcNzdaGKck|!-((nFAI9zVeU~ek@QzPuF0!=@P_E`#D5daDbdjNgFaB%trfT^nj za47@=jgmnFFbCYP30*b(utfZ@MC_X&fbVPcH~slHqwLR&0L;walK{YsaZZH&?8Z1U zfk*)mKShcG0q=rSBl!Ur=nx!0p`UI+glusR*rAY5{BAed^a?SbE`fSD4!Nj_u; zf;X_YYo@=|w8!{|()v}C_dYc}7rZx}|6bXqKiT^1mHAr$)NcXQ=?aWOA_L+MI2SSr zKu96rQqq99Glk-bh0%AO4my!>p3W`~-cls8lZ3>68e=jE@8dvMbpL<1Up+zpmi{|` zbsPofPICGln%*Dpf4lO_$B#^K1i=A05d7x=P_nW}S-=ta7emU(V1WHqfcO(bNYi_? zH-2GoID)=C{})3d=obIQq>*%{|FM%r(2w?iFq90vBR?<-8Rz0oAn(iIvo4njbjo|j p+LT110DFahKQ1~%M-s5thW);JQ*dO;euYRB1_?TKO4CRS^go85z;yrs literal 0 HcmV?d00001 diff --git a/presentation/presentation.tex b/presentation/presentation.tex index e81d276..49c34be 100644 --- a/presentation/presentation.tex +++ b/presentation/presentation.tex @@ -8,6 +8,8 @@ \languagepath{dutch} \deftranslation[to=dutch]{Definition}{Definitie} +\usepackage{array} + \input{../thesis/preamble} \title{Dold-Kan correspondentie @@ -49,7 +51,7 @@ \begin{frame} - \frametitle{Is $\Ch{\cat{Ab}}$ interessant?} + \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$ @@ -57,7 +59,7 @@ Dan geldt $im(\del_{n+1}) \trianglelefteq ker(\del_n)$ - Definieer: $H_n(C) = ker(\del_n) / im(\del_{n+1})$ + Definieer: $H_n(C) = ker(\del_{n-1}) / im(\del_n)$ (met $ker(\del_0) = C_0$ per conventie) \end{frame} @@ -66,18 +68,30 @@ \begin{frame} \frametitle{Voorbeeld} $ \cdots \to C_1 \tot{\del_0} C_0 $, wat is $ 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 + 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} + \bigskip + + \visible<3->{ + \begin{tabular}{m{0.3\textwidth} m{0.7\textwidth}} + \includegraphics{singular_homology3} + & + $ \sigma_1 - \sigma_2 + \sigma_3 \in ker (\del_0) $ \newline + Maar $ \sigma_1 - \sigma_2 + \sigma_3 \not \in im (\del_1) $ \newline + Dus $ 0 \neq [\sigma_1 - \sigma_2 + \sigma_3] \in H_1 $ + \end{tabular} + } - \begin{itemize} - \item $ \sigma_1 + \sigma_2 + \sigma_3 \in ker (\del_0) $ \\ - \visible<2->{ - $ \del_1(\tau) = \sigma_1 + \sigma_2 + \sigma_3 $ \\ - Dus $ \sigma_1 + \sigma_2 + \sigma_3 \in im (\del_1) $ \\ - Dus $ 0 = [\sigma_1 + \sigma_2 + \sigma_3] \in H_1 $} - \item \visible<3->{ - $ \sigma_1 + \sigma_2 + \sigma_3 \in ker (\del_0) $ \\ - Maar $ \sigma_1 + \sigma_2 + \sigma_3 \not \in im (\del_1) $ \\ - Dus $ 0 \neq [\sigma_1 + \sigma_2 + \sigma_3] \in H_1 $} - \end{itemize} \end{frame} diff --git a/presentation/symbols.tex b/presentation/symbols.tex index 957138c..5bde99e 100644 --- a/presentation/symbols.tex +++ b/presentation/symbols.tex @@ -15,18 +15,18 @@ \begin{document} -% \begin{frame} -% % Symbols used in drawings -% Bekijk $\Delta^n \tot{f} X$, dwz... +\begin{frame} + % Symbols used in drawings + Bekijk $\Delta^n \tot{f} X$, dwz... -% \Large $\cdots \tot{\del_2} \{\} \tot{\del_1} \{\} \tot{\del_0} \{\}$ + \Large $\cdots \tot{\del_2} \{\} \tot{\del_1} \{\} \tot{\del_0} \{\}$ -% $ \sigma_1 + \sigma_2 + \sigma_3 = \del(\tau) $ + $ \sigma_1 + \sigma_2 + \sigma_3 = \del(\tau) $ -% $ \mapsto $ + $ \mapsto $ -% $ X \subseteq \mathbb{R}^2 $ -% \end{frame} + $ X \subseteq \mathbb{R}^2 $ +\end{frame} \begin{frame} % Symbols used in drawings