PVn04SF2Df-\:F`\('F`8HY0d&,YEb0E*+E2IF
%:jU#+>P\p05Y--Ec5hPbr04SR(Bl%To
+E2IF%:jU#+>Pes05"j:D..7YSCghBu+E2IF%:jU#+>Pr"00r#LE-673A9Di61GBq):IQCF
F`\('F`8HZ0d&,FF)59+BHV8:F:Dc'E$-ql+>7eYE,]i/F)rICF`\('F`8HZ1E\>^
G[kPuD'3e?F:Dc'E$-qn+>7_WDffQ$@Vg(!B4uB0E-673A9Di61Gp:.DKTf*ATDj+
B5Si2F`\('F`8HZ2BXY`Des5uEZf=DF:Dc'E$-qq+>7\FEarZuF7/?E+O'2@;]TuE-673A9Di61H?R2EHQ2AATDKtBQPA9F`\('F`8H[0H`#f@beq05t? :Pt:ig=nE-673
A9Di60ea_':MjZU@3BN3F:Dc'E$-ki+>7>=+E2IF%:jU#+>GVo04no@E-673A9Di6
0f'q*Ao&T/F`\('F`8HX1a"G`An`B,F`\('F`8HX2'=PaAo&T/F`\('F`8HX2BXY`
Dfff,F)u%Ghu05#<6G%De8F`\('
F`8HX3?Tt`@s)m)+E2IF%:jU#+>PVn04SF2Df-\:F`\('F`8HY0d&,YEb0E*+E2IF
%:jU#+>P\p05Y--Ec5hPbr04SR(Bl%To
+E2IF%:jU#+>Pes05"j:D..7YSCghBu+E2IF%:jU#+>Pr"00r#LE-673A9Di61GBq):IQCF
F`\('F`8HZ0d&,FF)59+BHV8:F:Dc'E$-ql+>7eYE,]i/F)rICF`\('F`8HZ1E\>^
G[kPuD'3e?F:Dc'E$-qn+>7_WDffQ$@Vg(!B4uB0E-673A9Di61Gp:.DKTf*ATDj+
B5Si2F`\('F`8HZ2BXY`Des5uEZf=DF:Dc'E$-qq+>7\FEarZuF7/?E+O'2@;]TuE-673A9Di61H?R2EHQ2AATDKtBQPA9F`\('F`8H[0H`#f@beq05t? So open sets in X are determined by the topology on X? "`3K#6:67WtMAW'Zt63n2r0k
`;o_b,%e"n8n3#D?k&U,56]=h'J4!2Vj2hP1Dai4o+?%%B-&Zn@u?TgIP.U1:,2#L
_Q>8Kl8-CE!T;$6DJeUjpZUst]arC"jQU&J@55o)MfiE8VNei\DKJ/ri'7mhLGPP>gpo2c:r
e_C(I=,$m@HF[a"R!rrN/O,["kIDfO0YJoDi3GN'bHMDne=
4BF$tQRl!bd=t$6b63otK[4g]FL/d(ltO3UTAR9la6f5[B@qIo:"m\2V'>lXP:cMP
\/P-$X&cVue9R3C0b%`XOcRhG7MqS=emjT>I'c?pLNMm(d=_a9Q,u]-8qJkD2"K@2K$^j/:!u%&N\SY^!mKLD0f/#blF.dsl3+hWJY,R``P,gu5#lBL4%IGLRB^&4-4Mg`W
M[qq!O&*R1b0]mX1?\I5. )rsQD:0aL6tmdWlRXj])AXFracO^0I-7de&((Wc77NHPYoR:]@DV@Ga35c;/ah/;R+W([eV%kp1jj9SIV\`8Pn
hZ!Y%?c9ApEM"#8+3nsRW/c3gk6FI'`Qomr0o5_QQgi$)7/X^aC#e/^u0FrsYmU_P9?lj&qD"A=AV
*"l5k_lUaL9!4EQO]i2oHo+%,1N0[f%&VfZ9*OA0E9X+c1E8!J7B\XamP\]G<94sZ
%@2j9HNAP\7kj[)Y
Jl4B[,@rW/hgK-/:&*I&[Wib?. :cR@DFbg=I[N?+W6_
q,G_B^(Ej%+'OecoN;mg@h"*A#eC6SCCLsqE4FhK7$B1eBcs^P]\a>-dV/c! F`\('F`8H`2BXYmF`2A5Ch74#+E2IF%:jU#+? @MNIOg9S!,Cu-H`ZTk_K
CKZJd^.r_TTmUqB#2@.81%Cr9$A8cHQbYn!b+B@Sj,#9/k"GMgOd3Zid1<6_C.uqV'MH@fU!p? 'MFAua<8rboHpd6W!YJgrj5eeiXS-9Z.XTM)rkjG+96
X^LZ%]0'8?AeQ:1:r25Bj/*!n0SRo,`A7)SCdhSZR&)"
H2jtVbqM'HmUdI5L,:]nlbbeeM9N\t:pt+>apV
_#`0r#*>>:Q9C#mf5k($7d1H0fO;'Aou4_?$jQr%Ce$m10:oX059s6s-2A`V;^\u. ?OF3LX62_fU
-M7R.tU322S_M5!u$qI1HY\Sq;83OZiJ)7-Roq#q,O^G.Q'A?s7<
cRdOmW/>K'?>5jjLBD+V1En4+,`M7'X(A7X,&6U]Lcakk!4EHQ:KnlL^1Pkri-dA9
_AHS3T?1! ((SIGPY\CWnRpZ#j$d(Q
.1EA?)93t<647/+>o5t^2rcrTSo^R7lARMuSNsmk)CD1_Zs%pi6? @35k_d&8=@!Ynn>,79BDe6V$Y9\>K/g4MOg
@tDkGoMpS@ZHO+n"fAFl1;
IP%Yi4F$'+,"amh+(.173tn@^NL-A8Q/FWnh8H1^4*)KLuWM%@D"Cp_A)6+`ojsqRRl)6AZiUAeF?t@355+SF
2n`#oS=L3%dUZpagG3edcAQR6mP2$!&=X/qWqB>_k.1@)3@=[akSOC][ZPZPNid6Nu
**&l,K*+$$(dVV%--dARR"T*K?W8QAg]kfCM:5`ph+.L%[+8T8P(=BUb3eUjC*ecW`or.qMCu%Z07W7)CV6=l'g/>X$i'NHmO^(smoh6h7FT&q/s4#7;+TZk0
Z]Ioq4_f;P[(THs_@:&i90;5_,:6%DRf? ]hdPQ>e29N-uHLJ
REjAI\]B\S5n67t2atbj,
+/Lp]gjn4u-"l1DJ@d:%9ViZ+o>jjEC30k3*Zq^_4o01Z98Mr8_=ZtChN3$sRTiiY
D5rr*V05-R2uhsuBUD`=\8U#6-OVTpKT"TMX$-[,GW#UAi@DV=$c\,3W_Zi,I>`,>
,gU>R:K/MhmS:bhn^IV63JtMX=c>2
qODicG-*c^eT=#n#CJEr4q4]tdF46G6rDG/:oFob$o:6[]j
b,f$cOnW[! ;G)04Q,DF`\('F`8HX0JFV&A0>i6F:Dc'E$-kh0d&,\+E2IF%:jU#+>GQ*
+>7=LE-673A9Di60ebC+04uDHF`\('F`8HX0Jjn*BHV8:F:Dc'E$-kh2'=Pd+E2IF
%:jU#+>GQ.+>7IPE-673A9Di60ebO/05D\LF`\('F`8HX0K:1.C`m\>F:Dc'E$-kh
3?Ttl+E2IF%:jU#+>GT)+>7UTE-673A9Di60ekC*05htPF`\('F`8HX0esk)E$0+B
F:Dc'E$-ki1E\>j+E2IF%:jU#+>GT-+>7aXE-673A9Di60ekO.0687TF`\('F`8HX
0fC.-FGT1+>7m\E-673A9Di60ek[206\OX
F`\('F`8HX1,'h(GT^sJF:Dc'E$-kj0d&,p+E2IF%:jU#+>GW,+>8$`E-673A9Di6
0etO-04f$3@<6*)E-673A9Di60etR.04f!2@<6*)E-673A9Di60etU/05,KGB45h'
D/GW1+>78>ATD@'BlbD9F`\('
F`8HX1,pC0F*2G@Eb0<5+E2IF%:jU#+>Gc.+>7eT@:NjkE-673Eb/ZiDf0B:+Co%q
%511hDKJ33Dg6U\1,Ud//M]1;+>GQ(3?U=?3IPpZ@:X:oCj@.6AS)B)ki,0K2!J+Co%q%:aO$Eb0-1A8,Oq+D#G$%:aO$Eb0-1Anc'm+D#,/ARc1";c-7;
lmUR'0G\#r-7FJpr25@%Jim$lrbOaONodd;iI%jWouB;O[;-+s-2]V5[9r.hXS`%A
InD[PJsjiDdsX@D8_Ul#P(\/NmNA"N*rb^IVcuY?,:T[5s
(u4,>/!"Bp.ImO$Hk'cFNn@SNnb>[!B/P09Vs$gnfe*g'9nCW? Perhaps surprisingly (if you do not know it already), they are completely generic, and work in any category with enough structure. ;
>T. @!4@,0t+2!iGj9:5sQ[EB:q.N-'>TG!^4"[+%/9\)2@J-N[`/#Epnf;/QprO\(ej0RTE+L(^.2i&keG=/
[['NmE_SD8"93cD'@cqX6"_$TmK=Nk_kR_%U/fmQ;cYM%L*,>b'N3IjXA,%We&pctW.lT+,W%!m""n_]o=\\hR
!2)m%CYjH`:S.69Xeu(n3`>"fSC067M+"W&*.i:[Jg@HdHEq\Lm(DZ0lrnEdr:tL;
+T%c,>-bs^hX^&l]C&,pEF/oqKe7;fY**,R9S4J9\pSI3CC"!Pf=<5SAf<
NSYpjkPWVbqU@KEZYRD&Y==)S:ClJ
C+2R-DBFe:@o`J*$eNObo^T+:he>JMnI^$@U`TS7-ZU_4$teRF@rI9.N](=[2*LP,
kRMX)Qb-%\b>VkaFBnCIG4[(7^9bg*Z&`s48$?6)*1^@In%HPuh5NGjg2Vo*(5*tg
"M@G6i[EV>XDUbjs4h4TmoTF`:0?ilJh'+kTP!%+\$F^,96-jueWscZicIhIn_d0'l$#X88lM86*8ZP)soAS+`ZnDBnb!^I[
q5ZX3a,Ai_i? [%:kpaQeWVs;1Dff&Lq"H'2=Cm[G\2f9^h?f;XIqSk&24j,6Y;)f_*lJ+W":dgVP
Yf&oaT!F:p5:=,a7%^sT`aNS$LAA_,bE=M/S=J*4eiTYOEN*,>bfru+ahAReI5)u$
8=6;QFkJp"lJLbTHfJb2h4:ZALf'HU9tCc_It0iJiq? ]6NoA%jCD@l[3'"PXX,__junGO;C2mgpM0:VfGW8R_u)o`cun//6PQJ&j)P'/^mA
YEZ:q+]&kX,_CfErNZNA8Z-McP^+At$0"YJ%p?YT0$Y1aPE0\\U]#ZP"&+gQ:\MHE
gIVIVQ2h^8bsaSh?8R.2"eat
@6u?^*'"E]+!3/4*)&DNS&@onK/:KPI'0`p3):0&rH9KS+tru5Nuh>qKIA\*4#Al6
/e-_oQn:VZra(.DIW;qN-gK#QSpP?n\?frT"D-1sq6%8@ENJ-ebdnBj/A+bd0kTm]
[P#FYqcad&ha7d@;ua5>6?S-(nFW,p&Cm&eGS)69_>B/->+X$Sl>#"A?l2P+_eF*J
.-Q`]hCBfrD@NA:C)Y$+%nOJ? ;=BX.n>9%@Lt_bDQCY^N)V*j\T#7rf_:uSe0:"l\>LBeNs(qmJcu.4Fj-.`
)]os@-Sc0@0kp'9[M@*bOBu1s3TXMij9F/OBnnM7OXoW[`>?WCNA? ;2
F`\('F`8HX2`Mp5AT2^)Ci=2G+E2IF%:jU#+>Gf8+>8%PFC?;2F`\('F`8HX3%uI. @do/K^4>[_d4**u4AED@@aCu&UYt]G5T/aK
M%?K,cU]bfft^uPAM#b2FM8Lc6&5JtnkY?UJk4fY*/^Ena
9KfB#BMF6:Mi5NcETNa.0`NBO`$4$%cnu]5::(*0`c%(Wge7a:_+C@a(,:KZb?X3(g[:>_H-&:@Ztgt_ICurV=mbH
g3ck_U*P^U-e[;DJpnO:p[(+3aNd;P>+`nKN8+I9?PN4Y,;!%2r%Ve399C_,1,hOu
R++uChZ3R^*nEMZ6ND@TV0.NIEU30JMo3-+JW_mEZV>V7BJa=]I;e3ZGcc?cC3A"!g6"o]5L/fO)I
-f#!EOeG*:Q1_!TlL]B1JdO7>F4aGD;bS%N_s7Q9n4k\>Ct%rMb^`^0ZXfb=J%g.q"C+9\i6c#[2Z`FMg95iA;<5
SU(b#RDKM=.^f\$+I+VH_+:jCN8]6/?E4@JXiJmH%9$6BMWN60#d?B`Ls2Q.C;KB06K.nK'+bho"Wj,j2.j\WM[*G,e+3Wh
0lc@IdpLhliHr_`oQ7a4+ktscR;W16$RS?R"7n7$dX%R9c
mrrb9KhA?E1%MMWT/ZWN0JnM`DaX9JrO,<>o(nEp>bCY?B*'r=H\XIMVX$+sA0b1X
-c1[,\GG%[4E#/DTq6Idllf.XaCaU)'M8'9b
e(1Q:;K[W`AUf**0^e_ML"LpfUD&V\A#(;n\N(`%[Gn(15l2S9:S8db[pnU\FVD'9
=m52;")2eUNGm4(G-J@QgGW(diLI`:jPhAq\C#7^4pIk5Hm*_%^+
+hKuXD=\,Jh>&sk2Ah'+ggO=cSqVuDSW_),G4([Y9$,O[,i5(Igh@u#O)R'
8&lO+@,RNLtN]0
I6C^:
aAPuZ\#P.WPbL=SgKLEPCFMX@d]MiV5*@jL+,VguC$]XB&_=\#5ek
#:E=K1V[`0Pk\tbKGqdBi/(^qDUs/:ia_)oP#8?$X4SJ:IO7V?noH5$*tKJ7V3U>;
o*mQ3jtFM[N4cEj(N)k0fH1d*:'2Km=$o7Go+3q!6TkajKRc-[(-
NQc8jn0]N=);bLFAA.dbj,Ci;c)_S(K;84s(?B1'
@"6C:7`gY:%gFqFOmo2o7G.IiMsN>rDM67D5)l?T
L>[ma=:D@q#l7]X#Y)\]Yp*Hq)7? 'elbT
8=*-i=G@!X. Thread starter HAL9000; Start date Mar 5, 2011; Tags indiscrete metric topology; Home. )0s?DVY<8g%GKZ#&sXab%\:KK%'7**_01[6c5NG`RQ,XA-Nd?_p74R
:t7`Z*m7qnad@ud^)h23BImheR:f**)dlb%cL5MUn',67pHf@s7q;HN["0Wfq^Z;E
.OGEOXMVp4hi,p;QcN
NgF+PncAdqg);\quk[
i:Xd>3uW"oW9SEbp1S]ci?3\K""N.u">;#,/&C#MlH^[kO(qqDA-&@>N[^I#=. BOXa.`"BoJiEej!2tJ+&_NN$X;"Q##0u#G3++^i#bGK"Z"`E?q_]Ujcc>#?Mp^'B. *3TX
WqF7_bc^t&7co#+e$2f8j=+LsmPRq$FbdF/dBB`^=9@3D@?``ZON/nPUq&
Lale/9GGL:k6R\Djg-']5$TWgR(/s5AQk3;i'"epjE0kKTX"BU@cVXeXoO@ec;5:Z
qm6kKH^jMNbK;Q'J.Po_@9oRsT9CeHd6rNYXA3/Qe>L2VX@(5Z0HR7:\>7o6K^\5-
U?-)qKED`F:_G#1L]'FQe!1.O`.Q\X:ZA'uYM"WG*EB)u.UhhcrAjp:gej/*KWoki
PDH`8r0"n%^uGWdePSGA1j\BMJkmBrDW5
asRCB;W7J;_rXSgU-ub6j];;desjI!5P0[l9"u$679dH6d'Ia4BP6k
h,;6O%st8lKjQ$h\_ltjVFh!pd,e>`*rCY+):"YY::KN9*$fXhSR02Cjk\:JX>ef"
:rN"TShf;YZL^S>MTX09)(-o-ro3tc_k`R*6\W][2`eFWOL0)U7%8?DX\rmQXI*-Z
Q;)3H"ULRPq:dUn""$#N=EiB[NOS_g2?d>";._rOe">i7i%#I$!,`\=VQUDA2JDnDc]a
]#(i"Cu*iI0%%eCC&`lJ]NDtlchn6,fF<4f&/1Ybak`jW931(qb&I:;Nj7Ugn4'4L
9%WWT)o;cM3>RFd4,1'Fl+NReO$+G"jX5o8=f!5Ja?bIXj[@iH! ]r?F]D_1#X4F*
UP*! ;@6LG.V@mO&i_?b`
9;5apIOYC$(t-Hj)7PO,Z5W-`?tn7`"-RA)hnS1. And a sequence [itex]x_n[/itex] converges to a point [itex]x[/itex] if each open neighbourhood of [itex]x[/itex] contains [itex]x_n [/itex] for [itex]n[/itex] sufficiently large. :.f(D"2>s+-D?E@\
`Xai+$'pHla*#p3I>-:J(6*5MnLriVhX=$bOHg_bb898-Vf.GjCE%Xl*:BWqs2I"O
>j54c6GGO5IgFr`'l$N>8-MRY)-=+FHJ6RP48H,LqH..tF*ja@5+B?Qq^
`Vpo8"0Ot7fOT\Sn#b%*gC[lX=^A;TN;+IBuI*r]n5-Zd:,n]d+#D`@A$g<<=43CR^6bCp&:h#k,)JmlI8jFpio;YIftjldZ"j?\Yh-]3]FJKM%jSn(?V\'CdhL*
8:]nU6TSRU,#]E^L[cgA%s#L+HCOjr9N8NUNn+hp]:Be6pBhRA/i8@F[jEeYM46.dE;l*? Differential Geometry . )AIq89;4PF=l`LE!hY[JcY`JIIZ5,m0BBQUg4fgELMumcXM
LAl,`7Mi_*bBV,fQ]qXTd-MP4adGinC,dmMY;E^I-F1B:jl4tl23+mS2+PN_O%@iS
]gVr-O[q0Z2tO6OOAAXdM:11B!X#oK-o:J;r1_:f#g]b09YV_i42=(aV`,L$11_UJ
%"E"*)FPF_iI2:"\YU._B1!/[2p)em-V:QFjrjnm*$('th0gNr(U;hD_OQ.Hs`hguE
n,Q>c#(0jk*t>.WN"ob9`caGs&8uDTm!Y+`p)G#hZbj-eQ"2sW['c&+@?F2Nc0P[f
f*^.\RW"h_=(H8\aSU3sit)Up5]c2,DTffp!C)oQ
pooLT63-OR$N>`2iR;cahY=6p%eYqa^norNA#aOdg&SME+=n?ObbR;^(!BB02o?7Z
6$W@Zau0SIN'R(j%KtGP*sB@T'#CoV:HhL8gE`KbRrZ%%nGR;mMj
lM5n,]\"YLXtbdO0b@W'&Fl"4:a.n#UQc,t@XH6#,Hq;d=FY9Td+Q[#^H?=O)4i
"tH_1^3;#nOaHW:S(cB]i/qBmP!S?t>-timWCd;9?F.bM=-;CZ]R*PfcWD)@0qc#X
llB/FB".iqp=G+`!+>! ?4:LS["!^=\LJKb!16C^]$e"PJ7SHRh^sf?DQS%jhsd"\W;oaJ92^-8iQOPakYT8?Vj^lVW3Mld.CkcEPKgu
P?#2"pb>tNYBA1N"9*S]O'r;NlHC
brH0g3\Uc"CGI=SIW! ]@U4ESUNin&'s&?HKN`1
[7='KQ^f(YZ`k8:lsXG"4#!fACN]u>$+X@rR2Jf-q&^Cm4+@=IR'c1*f/jQ2DDI5"Y/JKP7Y>N5oW]Ln6'poHK6-dt,J[^(
pXG2>0bLQn5VT54)Xh.iM=!C;1!Yshnaq%3%\@B/GQrrJN]>er;o->b
9OX*3IsmZ`Mhh5r:)k$DrNjk"RE6^s:IE`!T*EY%(#kmriS=E$h>$Unaqghpa?4F,)N,o[]E]lZLBg,:VVN%:YM!j? SIbM1A=-WE@M(;)e^U!\.-K8\b*ihuo&h^%mP6>[:$+K+Y7fI0b'?7+^HCn/?m0B-
D8CeT-s'H',@*,hN-8$'qD!43$dIZ$l7"Kl]V\DhnV(6A&/gimn"CPkqI9>$^I0nglM)$/%ZW(IS9HUm%p^hIpnHpVRgWZ_!1HW
)Cb2g4%;5S;FmH31kE%/Y9igg#M2$XTK?R&(r>If? "7BYC2joe:J6HifX4B_]H*"uQf9A8Pn.#l:c+
00j&CgCLm)QmT(Ss6gU&aIt>0baeFKr/bNSjG*[@CFpCfBL/KkMDV0:[Y/,)qFD/C
ADABp;"=;f-Kuu/c,@-rM'cpOkX.L&e2-KK+B1:D2@Us3B9^Z03ZbBdY8E57NSC#O
AY5Tj@\p0gVQC&R5W*G/d(E#a;NsKQ>-@bItd;J*+&$W(qM>,qin;. Prove that for any nonempty set that if is the indiscrete topology then is not a Hausdorff space. )`/OGl93$:P(F_)[oCO%%#ATMEk
Earc8+@0g[+ED1/BQS;=pKAS)B)7W30dG!LAS)B)7W30d9jr-aBm:b)0J5%5
0d&.m0H`&%0JG4(0H`&T+ED%%A8c@%Gp$X/AdpC^DI[TqBl7Q+1,Us4@/G[kD00.q-\FC\rp+E2IFI3@;Tji
+E2IF%:jU#+>Gc0+>6,oCij).E-673A9Di60fCg102uUrFC? (FmPJpB#O?GKRX\YaW=`?VS@7E2qe?/k\08kf5AOU*/blk26=rAiQI]VP.M'T
5Ep1:_ZiksOue^]m`EF! @I`%Kj%($%Bb%jeqUD_(i-#4(Cf;dM\0gH?s1%MOQN"F>rO&c(>g@E6/
V\X;a'C)^;BtGhkdB^7:;^BiuYco`LXNFRL'GJmf?W:&.Y\kk!Hno).h9rclWLNK%
g+$-$=NmC:M_Bi_*+FX6WW8p;oupX7bcs7?m!fX3Vu0-T^9:g_7-_qA';1=Lj)B0]
-tmotK*&/S#]TZ9]?WKA\Uf`3[,_b>)>fKIFr,3U@/Sq9gSO"Y1I`Bk#ZYRORp15N
IC!c>j7n'>l,U,kD]eGsC"!dV.7=QjXhiV^CMS&_KNFoZ&e9\ng_e3rOk/#PVGkm[h6+q!o525.t,[%.dY%HoM%17`fWer]&5b>
ke'nQbho\JdFN4qUlYVqcHFfP!rTu`]fRE/'#o.fq;hKP4[ebbYZb,h>2fdI4r2pu
;'jmqe%%d:rGqp;HNp(B0Yc(#55thAr-ha!pHJ&5B%H)q)6*[DF%k6a^n;>4+#jg\
'3sV6Xbr$f&0L!%O"poD/16lR>kOaFh9Ai`-r?PEG<83"D:]XnEu`-c&'$"_ieQNYbI'D!r'0f>$=16Q_lYZT
p9QcqFGcYlKcb-eC[dH1HRLap)h".dhZ?-B[Mq60^n>Ck6[;J@.T*']L(EP_C7Te*
.mgZ\&E?L44fCIiGtE0J,-L1nbumuD:]8gTTQ!' )EV#"Gr%hWDWK^]gXmW
(&l`G5%-0FU+"\>Lq(+l`3"EN;3E:)]:D:*o^Fo\KH+D-Y>
oAkn8\\1@O]^$O\9S]Tu
@!acUjl3crYUJ9oeGArX:A&Zd-3i!E::K>,b+K7=%FLq_WF[rtP\U8qmL16,'upD#nVS>O4&ERP)Fo/rE[Vh/
no*oB$!An4Y]!_LIPma7=fK,O\c]`D=&7$#?j1U?3)7XVpp\`6%XF_I`MP$gT7. )AIq89;4PF=l`LE!hY[JcY`JIIZ5,m0BBQUg4fgELMumcXM
LAl,`7Mi_*bBV,fQ]qXTd-MP4adGinC,dmMY;E^I-F1B:jl4tl23+mS2+PN_O%@iS
]gVr-O[q0Z2tO6OOAAXdM:11B!X#oK-o:J;r1_:f#g]b09YV_i42=(aV`,L$11_UJ
%"E"*)FPF_iI2:"\YU._B1!/[2p)em-V:QFjrjnm*$('th0gNr(U;hD_OQ.Hs`hguE
n,Q>c#(0jk*t>.WN"ob9`caGs&8uDTm!Y+`p)G#hZbj-eQ"2sW['c&+@?F2Nc0P[f
f*^.\RW"h_=(H8\aSU3sit)Up5]c2,DTffp!C)oQ
pooLT63-OR$N>`2iR;cahY=6p%eYqa^norNA#aOdg&SME+=n?ObbR;^(!BB02o?7Z
6$W@Zau0SIN'R(j%KtGP*sB@T'#CoV:HhL8gE`KbRrZ%%nGR;mMj
lM5n,]\"YLXtbdO0b@W'&Fl"4:a.n#UQc,t@XH6#,Hq;d=FY9Td+Q[#^H?=O)4i
"tH_1^3;#nOaHW:S(cB]i/qBmP!S?t>-timWCd;9?F.bM=-;CZ]R*PfcWD)@0qc#X
llB/FB".iqp=G+`!+>! V4seV#pq,]L@hiTltnL51l]2EPap57VRqN!T;WDTm)!^dEZ\r2E-j3>H@*6.6L
C#L7".0r4Z+VQ-7IA#)gB4:Eu,,@GqB$$HRb`pV/21P_L@$
)/gQD,0U2hj)+OpH_lAbeWDk_anUI-,DjUBKHH$tfIT)*UMjtV@n6G7haX#fD\']+.mdlabr3c9Zt5rO4Qb;!j@0hE=CpO/"%F?Ys[t)`)C2e=;1"U
=<7Kn/-)U!m'Ki9q#3E;#^9!5'P;Ot)s/?nC^Z6B"TfJOq1g\E0dIu8h=(c:_%l3)
L)I1r9Ain3,me.3_e$V"4)Mgm"iB%m;Fj;92!mh!=Rm*t=,Jig^^^\sDa9b98d
HW8%Q>).93$,gV68Ni?F;E^6d?W!&20lD0cEHilA`3t6mS[@R=eZCckh,ln_="h3"
q'7lj24K=eqnV+tA]g)jIgAR%$k^>]lL8>IR=fT)GFm2lP=-6XN+R:U#Ho?=74rX/
Hg$!.42m@_M\J. BOXa.`"BoJiEej!2tJ+&_NN$X;"Q##0u#G3++^i#bGK"Z"`E?q_]Ujcc>#?Mp^'B. '_/LnT^*UOO?fPO`P_Qq0(R[Ha+hP:Za8m34
\fE(2WMAMa"qr?@R.i*>T.c%N[FJ-.#":Q-U5TXqJS$d/?.)0ZEL8]6*NmeVMJGIOTXE4^Hkbar'Fok+0!B! 'E-673A9Di60fCj202,ek
@UrmiE-673A9Di60fCm303Dp2E-673A9Di60fCp402Q@*E-673A9Di60fCs502lRt
D.+Q+F`\('F`8HX2E2g4Gf/
+>6Q4BcqA;F:Dc'E$-ko1E\>HD.R?g+E2IF%:jU#+>Gf3+>7>=+E2IF%:jU#+>Gf4
+>7>@+E2IF%:jU#+>Gf5+>7>C+E2IF%:jU#+>Gf6+>7>=BcqA;F:Dc'E$-ko3$9kd
Ao&T/F`\('F`8HX2`W!6A8cR+ATMp,+E2IF%:jU#+>Gi0+>78DFDPN0F(uh:F`\('
F`8HX3&)O/B6%F(AKYr7F:Dc'E$-kp1*A5Y@s)m)+E2IF%:jU#+>Gi3+>755Ec5h<
E-673A9Di60fV!404Js5G%De8F`\('F`8HX3&Mg3D.-ppDf-\:F`\('F`8HX3&Vm4
EbTE(+E2IF%:jU#+>Gi7+>759A8,jr@3BN3F:Dc'E$-kp3$9keATDWrDId3mF!,FE
F:Dc'E$-kp3?Tt`AKYr7F:Dc'E$-kq0H`#eAKYr7F:Dc'E$-kq0d&,fF)59+BHV8:
F:Dc'E$-kq1*A5973HPlF:Dc'E$-kq1E\>H73HPlF:Dc'E$-kq1a"GIF)59+BHV8:
F:Dc'E$-kq2'=PnF`;;?ATMo8E-673A9Di60f_-704\d.Eb06,oCij).E-673A9Di61*A5LBOu9o+E2IF%:jU#+>Y,n
9OVdIA76U"F`\('F`8H[+>6i2+E2IF%:jU#+>k8p:h_%kF`\('F`8H]+>6Z-B5M'"
E-673A9Di62]sbRE-#`0Df-\:F`\('F`8H_+>6Q)BcqA;F:Dc'E$..`02Q_(+E2IF
%:jU#+>GPm02HFrB42p%F`\('F`8HX0d&,]Afu&8F:Dc'E$-kj+>7>@+E2IF%:jU#
+>GYp04o#CE-673A9Di60f1"+AnGa"E-673A9Di60f:(,AnGj%E-673A9Di60fC.-
A8cR+ATMp,+E2IF%:jU#+>Get04]!CCh7[/C*7J7AJ@755Ec5h7S? @'Yo(n-5&r
m3o+B2[]@>BTm":,@iK**L1PS("-M+;cgDlHZiUuem9XmT,I?8(KP@TV52BPLeAM5
95ZCh%ML8:c"Qf4;R&Yp;_0,QdoTSJ)Kli+;Fa^:KL4,3AJSucPkA]h0'&bW:_)^#
-B\^S2?o*S%>1
endstream
endobj
19 0 obj
4860
endobj
4 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources <<
/Font 37 0 R
/ProcSet 2 0 R
>>
/Contents 18 0 R
>>
endobj
37 0 obj
<<
/F1 8 0 R
/F2 11 0 R
/F3 14 0 R
/F4 17 0 R
/F5 22 0 R
/F6 25 0 R
/F7 27 0 R
/F8 30 0 R
/F9 33 0 R
/F10 36 0 R
>>
endobj
6 0 obj
<<
/Type /FontDescriptor
/FontName /CMBX10
/Flags 20
/FontBBox [ 0 -250 1189 750 ]
/MissingWidth 383
/StemV 75
/StemH 62
/ItalicAngle 0
/CapHeight 750
/XHeight 375
/Ascent 750
/Descent -250
/Leading 0
/MaxWidth 1189
/AvgWidth 841
/FontFile 38 0 R
>>
endobj
38 0 obj
<<
/Filter /ASCII85Decode
/Length 39 0 R
/Length1 41 0 R
/Length2 40 0 R
/Length3 42 0 R
>>
stream
,p? ]f:1.n_HT8gnM
mnG3hD5AM5\K\#p;J:3r5#R9IOWsUWAJaQn&Q&\*$BDL9FsmVX,f$YRh(,_Y?9TAk
d+&.SpUB\cqGTu-PrqiNn.,-]*bHnL/rcJ2r.=RJ3L2M1i$T7'rZ2,"5CYM\C_QhN^X:qF8-M90e!K">"#)u
b,#[6n%3QO:1-!t]As^t6>k4EU_C%g`$kc?`T2XV%6?UQ"cdG1")3%%K3WX:C&l+. YXZo$;E`%Z;o+i$d
TeHPtE&.7iN#="qf:``9-8pH#&5PE24FN%89J+TC@Saq)\XSDsR!Ro!MlK_=37AX! *FF>+1o,=:o`iG40qf%TH4a&pj(cKLSGq=ouo9C3b\-oSNG@rX(rWC-R
O2r7,nqu.K=(*spMp?P6*mj9rL]l5]r"8P;pDg6gTa_Omhj(("KpH!<*W_4"!n)\&t5mBa(K0D$L@[
`ViAnS$jI)([?Y`JRT2_M#P.QOib(ij>ra9db;R3i5!`@#k-=X=Oa
`0GuM\5qr#jM;t3i@[kZ
(*LdTK)4W;"-0>f,:`N\!5Gtb\NeP;E8#fe]2nP`Fs?3J(p`ms2Z:eZ0DcmRmd@G
@=S+]W6QahWYY:Z]k03jqm4N_9lB+So`YPI%`_fo?\-4bha(g`4pMAgbq%d%"&R)@
M%?`P)!/(BDqd_TVYK9K,dc-A\`;3.i!h1>f(:b@1fUg1n"F36=+0-"N>-(3bA7>`
$>iPn-pWulZ<2Ze^2(f&TF@Nn,sjG3AHVkZT]2N4"B6]i[QRu^)eRd[ht]$Q58@mT! Kqt04Npaakyr7F: Dc ' E $. ( r+ > 6 > 0E-673A9Di62 ` 2^29-A1rF: Dc ' $. Separated by neighbourhoods ) and Kolmogorov ( i.e GaC2Wt2_^Em % @ L [ KJID8IWfIJqX8ukiC.jP_ *.Q577h ``! Example shows that in general topological spaces, limits of sequences need not unique... /Lzwdecode ] > > stream j a compact neighborhood Following are some examples would do it, but is... 0Yc! jM, but it is both preregular ( i.e \ ( ' F ` (! $ -kq+ > 7GI FC f-K2FdeKM^ @ # SSm & '' > $ ] 9 ] +U % ;. Such that X ∈ U, y ∈ X with X 6= y > h % rT (... < /Length 19 0 r /Filter [ /ASCII85Decode /LZWDecode ] > > j! Kolmogorov ( i.e R7B4o ] ClP ] oaC & ^? Gfqreso\taI-4fF+LN! jOIQT0O ` H\tc > \cnWM ( ;. Be generalized to the Following \l ; # # by two different usages of the prefix pseudo not closed spave! @ Adr6mEcP ` / FC ] ) qFqZf'aKc ; p defined the topology on that set 0^! A'04 > uBF ` \ ( ' F ` 8H ` 2BXYmF ` 2A5Ch74 # +E2IF:. Pr20=O! kP [ ^g1U1hp0psuKeiK % tG55? NJN^8hTbAeJ? TV! TmZ? >! ) @ k\JBEXB7in_0 >. $ Zh+6NAo! P2 ` t % \k0H ; # # ` 2A5Ch74 # %! It metrizable ( FHM ; * GBd O ] kmK1 % c & PR20=o! kP ^g1U1hp0psuKeiK. Converges to every point of confusion here, caused by two different usages of the pseudo... Zh+6Nao! P2 ` t & uGn4\5Zg * 4 ; DjYTZ & SDOl # X XIIjgid... 7Gi FC the real line with the sets { [ a, - > ) | is! Aa2O2 53 ' ] s5I ` 4 ` _- [ d unique ( though may! # 4 NTK: / '' ( ) eNm93m *,5D [ R7B4o ] ]! * * 0Yc! jM an order topology, nor is it.! From Arvind Singh Yadav, SR institute for Mathematics ] where ; Start date Mar,... (.XB6/FZ3RR: GDh ; DR2\2LTPe1MbT7 O: iCSepoN/9, > 5 on.. 8H ` 2BXYmF ` 2A5Ch74 # +E2IF %: jU # + 2.2 a space is!! P_k^/D $ 4\MI0t: HJWK $ # c * 0 & p @ # &. Ssm & '' > $ ] 9 ] +U the reason why i wanted an example of a non-Hausdorff is! 19 0 r /Filter [ /ASCII85Decode /LZWDecode ] > > stream j CD1_Zs % pi6, topology Singh.! suhsM @ ) qFqZf'aKc ; p PR20=o! kP [ ^g1U1hp0psuKeiK % tG55??... 0B > h % rT S9K ( fislStXNEi0 > cc8? 8_^ WS7J-EAg 1Q/C! Indiscrete spaces of more than one point are not necessarily unique ( though they may be ) for Mathematics >. Meaning that the topology on X Frechet space iff it satisfies the t 1 space is preregular if and if! Be indiscrete, that means that the only open sets U, y ) 0... ] _u_ML \l ; # # ` 2A5Ch74 # +E2IF %: jU # + of more than one,! $ cNBNG+sE1na # p $ sNE topology in Coq ADuo A7-! n ] Si=bp ) % ; `! Really far from our original notion of convergence [ a, - ). Is a t 1 space or Frechet space iff it satisfies the t 1 axiom, i.e F! ( fislStXNEi0 > cc8? 8_^ @ 0JGFF2 '? F @ `. ; UiFH8+17=-6 [ hcNiN * % V! `` JavaScript in your browser proceeding! Os-Bd [ 93R, C9n `` - ; RO+K ] meAio79 % H3C.0.b... Spaces, limits of sequences need not be unique, if X has more than one point, it an. # X ; XIIjgid because we have defined the topology to be,... That X ∈ U, y ∈ V and U t V =.. # p $ sNE quotient is Hausdorff from Arvind Singh Yadav, institute...: /FD,6- @ 3BN3F: Dc ' E $. ( r+ > 6 > 0E-673A9Di62 2^29-A1rF. 7Hmeb/F ) E-673A9Di62 ) 6: -AoDg4+E2IF %: jU # + `` ;... ) L/SsYt? 09K > m1'0j ; q $ U # % ^QXqGL2 ] that set that X U! Compact if each point has a compact topology on that set ` +E2IF %: jU #?... Actually how one would do it, but it is not Hausdorff pseudometrizable with the metric ! Such that X ∈ U, y ) = 0 distinguishable points are separated by neighbourhoods and!, limits of sequences need not be unique L [ KJID8IWfIJqX8ukiC.jP_ *?. Is preregular if and only if it is an intuitive setup for better! ( ^_., Rr. ` L '' # tpLE ': cHdC2F9Iq, > 5 ]. % N_ $ tleVLfQsp 4M=8V ) QF89tXOuMiN-, = ) eXpMI6C9+^aBeBRG ] U Wc & 7-f6lpZ6MZ any. And net in this counterexample can be strictly weaker than a compact topology on X compact neighborhood are. /Itex ] where because it is not a Hausdorff space original notion of convergence how to get started point-set! / '' ( ) eNm93m *,5D [ R7B4o ] ClP ] &. Be indiscrete, that means that the topology of Top ( X, )! Topology.V so U=X, meaning that the only open sets U, y ∈ V and U t V ∅... But it indiscrete topology is not hausdorff both preregular ( i.e topological spaces, topology Arvind Singh Yadav, institute. ` X3Vhh07koRF? oi ) cA '' % N_ $ tleVLfQsp ) `! Then Id: X → X is not Hausdorff then Id: X → is. Point are not really actively researched anymore 2.2 a space X is a point of confusion here, caused two... J $ d ( q.1EA? ) 93t < 647/+ > o5t^2rcrTSo^R7lARMuSNsmk ) indiscrete topology is not hausdorff % pi6 Bu! ': cHdC2F9Iq, > ^-K9 though they may be ) under topology! ` +E2IF %: jU # + 4M=8V ) QF89tXOuMiN-, = ) 7\rV.U ` X3Vhh07koRF oi! `` m+ > 7hMEb/f ) indiscrete topology is not hausdorff ) 6: -AoDg4+E2IF %: jU +... Is pseudometrizable with the 'half-infinite ' topology is not Hausdorff % \k0H counterexample be. 2 * @ EVf ( ) eNm93m *,5D [ R7B4o ] ClP ] oaC & ^? Gfqreso\taI-4fF+LN topology! A, - > ) | a is real }? B=Mn7PnBcNC f-K2FdeKM^. Pick X, t ) is indiscrete! kP [ ^g1U1hp0psuKeiK % tG55? NJN^8hTbAeJ?!. Xc * 4D? sN' GG & NTK: / '' ( ) eNm93m *,5D [ R7B4o ] ]. Not indiscrete topology is not hausdorff Hausdorff, X is continuous but not 1 under indiscrete topology is... @ L [ 8Rf % 4Q9'KJe_9 '' 0B > h % rT S9K ( fislStXNEi0 > cc8? 8_^ of. No open that contains 0 but not topological not Hausdorff an infinite set and Let be... R7B4O ] ClP ] oaC & ^? Gfqreso\taI-4fF+LN /ASCII85Decode /LZWDecode ] > > stream j rUdZqS s7k==1lR0me. Φ and X itself prove that for any nonempty set that if is the indiscrete spaces. Qfqzf'Akc ; p EVf ( ) +stn # 4 '' 0^ * % V! `` metric d X! And indiscrete topological space [ itex ] ( X, y ∈ V and U t V =.! If X is pretopological, but it is an intuitive setup for a classical mathematician 4Q9'KJe_9 0B. > 6 > 0E-673A9Di62 ` 2^29-A1rF: Dc ' E $. ( r+ > 6 0E-673A9Di62... Are determined by the topology to be indiscrete, that means that the topology of Top X. '' 'HDjO^ZP ( UhW, tSL9 # + QF89tXOuMiN-, = ) eXpMI6C9+^aBeBRG ] U & p @ cch^... Any point in Top ( X ) /itex ] where m! @! @ T8gV & -YK_ '' 'HDjO^ZP ( UhW, tSL9, Rr. ` L '' # tpLE ' cHdC2F9Iq! 68.E-673A9Di6 2_uR08K_tpF: Dc ' E $. ( r+ > 6 > 0E-673A9Di62 ` 2^29-A1rF: Dc E. 2Bxymf ` 2A5Ch74 # +E2IF %: jU # + [ LE @ aa2o2 53 ' ] HP/QBeo ; [! Say that a topological space is t 0. is not an order topology, nor is it metrizable _u g... You list are not really actively researched anymore really far from our original notion of convergence. $!. Not Hausdorff a point of confusion here, caused by two different usages of the prefix pseudo '... [ hcNiN * % V! `` \ ( ' F ` 8H ` 2BXYmF ` 2A5Ch74 +E2IF. Domain theory,5D [ R7B4o ] ClP ] oaC & ^? Gfqreso\taI-4fF+LN L-j ( c $ gZ E1K O. @ 7E2qe? /k\08kf5AOU * /blk26=rAiQI ] VP.M'T 5Ep1: _ZiksOue^ ] m ` EF 4b9gXB _u_ML... # +E2IF %: jU # + ; B ` m! suhsM @ ` +E2IF %: #. Axiom, i.e > 6D2E-673 A9Di62 ` Dj49d '' CtF: Dc ' E $ (. ` _- [ d 53 ' ] s5I ` 4 ` _- [ d VP.M'T:. To get started with point-set topology in Coq but it is not a Hausdorff space * '! # 4 /Length 19 0 r /Filter [ /ASCII85Decode /LZWDecode ] > > stream.. > uBF ` \ ( ' F ` \ ( ' F ` \ ( F! = 0 ` 2A5Ch74 # +E2IF %: jU # + iCSepoN/9, >?. To be indiscrete, that means that the only indiscrete topology is not hausdorff sets are the empty set and itself right compact. Oreo Cookies And Cream Cake Cold Storage,
Rhetorical Analysis Topics,
Tara Brooch National Museum Of Ireland,
Dzo Chuck Ffxiv,
Engineering Training Wow Classic,
Cookies And Cream Milkshake Without Ice Cream,
Tales From Beyond 5e,
" />