2669:
20:
2396:
847:
1607:
1107:
2185:
1325:
2664:{\displaystyle {\begin{aligned}|F_{n}-F_{m}|&=|g_{m+1}+...+g_{n}|\\&\leq \left(\left({\frac {2}{3}}\right)^{m+1}+...+\left({\frac {2}{3}}\right)^{n}\right){\frac {c_{0}}{3}}\\&\leq \left({\frac {2}{3}}\right)^{m+1}c_{0}.\end{aligned}}}
617:
1405:
982:
2022:
1832:
1177:
3088:
1202:
524:
2928:
4357:
2401:
2027:
1410:
1207:
987:
622:
2256:
2720:
2297:
2017:
1400:
977:
4076:
3937:
2365:
3997:
3808:
3770:
3732:
3652:
3575:
3514:
3433:
2790:
1976:
296:
137:
3327:
1691:
3272:
3852:
4279:
4127:
3243:
209:
360:
4250:
3148:
4105:
2391:
1892:
389:
3963:
3878:
2817:
1859:
901:
874:
2974:
1633:
3698:
3598:
3537:
3460:
3295:
262:
4299:
4218:
4198:
4174:
4154:
4017:
3675:
3618:
3480:
3399:
3379:
3359:
3182:
3128:
3108:
2994:
2948:
2840:
2748:
1912:
1345:
1197:
929:
842:{\displaystyle {\begin{aligned}c_{0}&=\sup\{|f(a)|:a\in A\}\\E_{0}&=\{a\in A:f(a)\geq c_{0}/3\}\\F_{0}&=\{a\in A:f(a)\leq -c_{0}/3\}.\end{aligned}}}
612:
584:
564:
544:
409:
316:
239:
184:
164:
99:
1696:
1602:{\displaystyle {\begin{aligned}|g_{n}|&\leq {\frac {2^{n}c_{0}}{3^{n+1}}}\\|f-g_{0}-...-g_{n}|&\leq {\frac {2^{n+1}c_{0}}{3^{n+1}}}.\end{aligned}}}
1112:
2999:
414:
2845:
1102:{\displaystyle {\begin{aligned}g_{0}&={\frac {c_{0}}{3}}{\text{ on }}E_{0}\\g_{0}&=-{\frac {c_{0}}{3}}{\text{ on }}F_{0}\end{aligned}}}
2180:{\displaystyle {\begin{aligned}|g_{n}|&\leq {\frac {c_{n-1}}{3}}\\|f-g_{0}-...-g_{n}|&\leq {\frac {2c_{n-1}}{3}}.\end{aligned}}}
4641:
4177:
4304:
4571:
2302:
1320:{\displaystyle {\begin{aligned}|g_{0}|&\leq {\frac {c_{0}}{3}}\\|f-g_{0}|&\leq {\frac {2c_{0}}{3}}\end{aligned}}}
267:
108:
2190:
4527:
140:
59:
4646:
4434:
4410:
2674:
2261:
1981:
1354:
941:
4022:
3883:
2258:
hence we obtain the required identities and the induction is complete. Now, we define a continuous function
4424:
4400:
4429:
4405:
3968:
3779:
3741:
3703:
3623:
3546:
3485:
3404:
2761:
1917:
3300:
1638:
3248:
4448:
4379:
3197:
3813:
4255:
4110:
3226:
192:
4373:
3657:
Another variant (in fact, generalization) of Tietze's theorem is due to H.Tong and Z. Ercan: Let
3330:
4559:
1348:
321:
4223:
3133:
4453:
4081:
3212:(which is also equivalent to the normality of the space) and is widely applicable, since all
2755:
2370:
1864:
365:
4599:
3942:
3857:
3773:
3735:
3436:
2795:
1837:
879:
852:
217:
55:
8:
4618:
Bonan, Edmond (1971), "Relèvements-Prolongements à valeurs dans les espaces de Fréchet",
2953:
2819:
1612:
936:
4612:
3680:
3580:
3540:
3519:
3442:
3277:
244:
4563:
4284:
4203:
4183:
4159:
4139:
4002:
3660:
3603:
3465:
3384:
3364:
3344:
3209:
3167:
3113:
3093:
2979:
2933:
2825:
2733:
1897:
1330:
1182:
932:
914:
597:
569:
549:
529:
394:
301:
224:
212:
169:
149:
84:
4595:
4577:
4567:
4370: – Any real function on R admits a continuous restriction on a dense subset of R
70:
4508:
4491:
4503:
4470:
4462:
4367:
3157:
45:
3220:
3189:
2723:
33:
3161:
4475:
4635:
4551:
3217:
908:
144:
63:
41:
4581:
931:. By taking a linear combination of the function obtained from the proof of
4608:
3213:
3193:
3185:
2751:
2727:
102:
67:
73:
can be extended to the entire space, preserving boundedness if necessary.
4130:
187:
4466:
904:
4603:
1827:{\displaystyle c_{n-1}=\sup\{|f(a)-g_{0}(a)-...-g_{n-1}(a)|:a\in A\}}
1172:{\displaystyle -{\frac {c_{0}}{3}}\leq g_{0}\leq {\frac {c_{0}}{3}}}
16:
Continuous maps on a closed subset of a normal space can be extended
28:
4252:
is continuous, then it could be extended to a continuous function
3577:
is Hölder continuous function with constant less than or equal to
3200:
proved the theorem as stated here, for normal topological spaces.
3083:{\displaystyle |F_{n}|\leq \sum _{n=0}^{\infty }|g_{n}|\leq c_{0}}
4107:
This theorem is also valid with some additional hypothesis if
519:{\displaystyle \sup\{|f(a)|:a\in A\}~=~\sup\{|F(x)|:x\in X\},}
4451:(1925), "Über die Mächtigkeit der zusammenhängenden Mengen",
2923:{\displaystyle |f-F_{n}|\leq {\frac {2^{n}c_{0}}{3^{n+1}}}}
19:
4376: – Theorem on extension of bounded linear functionals
4352:{\displaystyle {\tilde {f}}(X)\subseteq {\text{conv}}f(A)}
1978:. Then we find that there exists a continuous function
4613:
http://mizar.org/version/current/html/tietze.html#T23
4528:"Extension and Separation of Vector Valued Functions"
4307:
4287:
4258:
4226:
4206:
4186:
4162:
4142:
4113:
4084:
4025:
4005:
3971:
3945:
3886:
3860:
3816:
3782:
3744:
3706:
3683:
3663:
3626:
3606:
3583:
3549:
3522:
3488:
3468:
3445:
3407:
3387:
3367:
3347:
3303:
3280:
3251:
3229:
3170:
3136:
3116:
3096:
3002:
2982:
2956:
2936:
2848:
2828:
2798:
2764:
2758:, it follows that there exists a continuous function
2736:
2677:
2399:
2373:
2305:
2264:
2193:
2025:
1984:
1920:
1900:
1867:
1840:
1699:
1641:
1615:
1408:
1357:
1333:
1205:
1185:
1115:
985:
944:
917:
882:
855:
620:
600:
572:
552:
532:
417:
397:
368:
324:
304:
270:
247:
227:
195:
172:
152:
111:
87:
4301:. Moreover, the extension could be chosen such that
566:
may be chosen to be bounded (with the same bound as
4136:Dugundji (1951) extends the theorem as follows: If
3482:can be extended to a Lipschitz continuous function
4620:Comptes Rendus de l'Académie des Sciences, Série I
4351:
4293:
4273:
4244:
4212:
4192:
4168:
4148:
4121:
4099:
4070:
4011:
3991:
3957:
3931:
3872:
3846:
3802:
3764:
3726:
3692:
3669:
3646:
3612:
3592:
3569:
3531:
3508:
3474:
3454:
3427:
3393:
3373:
3353:
3321:
3289:
3266:
3237:
3176:
3142:
3122:
3102:
3082:
2988:
2968:
2942:
2922:
2834:
2811:
2784:
2742:
2714:
2663:
2385:
2359:
2291:
2250:
2179:
2011:
1970:
1906:
1886:
1853:
1826:
1685:
1627:
1601:
1394:
1339:
1319:
1191:
1171:
1101:
971:
923:
895:
868:
841:
606:
578:
558:
538:
518:
403:
383:
354:
310:
290:
256:
233:
203:
178:
158:
131:
93:
4393:
3677:be a closed subset of a normal topological space
4633:
3620:can be extended to a Hölder continuous function
1719:
1351:to construct a sequence of continuous functions
642:
470:
418:
3223:are normal. It can be generalized by replacing
614:is constructed iteratively. Firstly, we define
4496:Bulletin of the American Mathematical Society
4382: – Partial converse of Taylor's theorem
2251:{\displaystyle c_{n-1}\leq 2^{n}c_{0}/3^{n}}
1821:
1722:
829:
778:
754:
706:
682:
645:
510:
473:
458:
421:
3164:proved a special case of the theorem, when
4507:
4474:
4115:
3985:
3796:
3758:
3720:
3640:
3563:
3502:
3421:
3306:
3254:
3231:
2778:
2285:
2005:
965:
284:
197:
125:
4521:
4519:
3203:
1834:and repeat the above argument replacing
18:
4550:
4489:
4447:
4178:locally convex topological vector space
4129:is replaced by a general locally solid
3965:, then there is a continuous extension
2715:{\displaystyle (F_{n})_{n=0}^{\infty }}
2292:{\displaystyle F_{n}:X\to \mathbb {R} }
2012:{\displaystyle g_{n}:X\to \mathbb {R} }
1395:{\displaystyle (g_{n})_{n=0}^{\infty }}
972:{\displaystyle g_{0}:X\to \mathbb {R} }
4634:
4071:{\displaystyle f(x)\leq H(x)\leq g(x)}
3932:{\displaystyle f(a)\leq h(a)\leq g(a)}
2360:{\displaystyle F_{n}=g_{0}+...+g_{n}.}
4617:
4525:
4516:
3110:is bounded and has the same bound as
3992:{\displaystyle H:X\to \mathbb {R} }
3803:{\displaystyle h:A\to \mathbb {R} }
3765:{\displaystyle g:X\to \mathbb {R} }
3727:{\displaystyle f:X\to \mathbb {R} }
3647:{\displaystyle F:X\to \mathbb {R} }
3570:{\displaystyle f:A\to \mathbb {R} }
3509:{\displaystyle F:X\to \mathbb {R} }
3428:{\displaystyle f:A\to \mathbb {R} }
2785:{\displaystyle F:X\to \mathbb {R} }
1971:{\displaystyle f-g_{0}-...-g_{n-1}}
291:{\displaystyle F:X\to \mathbb {R} }
132:{\displaystyle f:A\to \mathbb {R} }
76:
13:
4490:McShane, E. J. (1 December 1934).
3042:
2707:
1387:
1199:. In particular, it follows that
14:
4658:
4589:
4492:"Extension of range of functions"
3439:function with Lipschitz constant
3322:{\displaystyle \mathbb {R} ^{J},}
1686:{\displaystyle g_{0},...,g_{n-1}}
3810:a continuous function such that
3267:{\displaystyle \mathbb {R} ^{J}}
1609:We've shown that this holds for
4509:10.1090/S0002-9904-1934-05978-0
3539:This theorem is also valid for
4642:Theory of continuous functions
4535:Turkish Journal of Mathematics
4483:
4441:
4417:
4346:
4340:
4326:
4320:
4314:
4265:
4236:
4065:
4059:
4050:
4044:
4035:
4029:
3981:
3926:
3920:
3911:
3905:
3896:
3890:
3841:
3835:
3826:
3820:
3792:
3754:
3716:
3636:
3559:
3498:
3417:
3208:This theorem is equivalent to
3063:
3048:
3019:
3004:
2871:
2850:
2774:
2692:
2678:
2491:
2445:
2433:
2405:
2281:
2131:
2085:
2046:
2031:
2001:
1805:
1801:
1795:
1761:
1755:
1739:
1733:
1726:
1693:have been constructed. Define
1533:
1487:
1429:
1414:
1372:
1358:
1280:
1259:
1226:
1211:
961:
802:
796:
730:
724:
666:
662:
656:
649:
494:
490:
484:
477:
442:
438:
432:
425:
349:
343:
334:
328:
280:
121:
1:
4386:
3847:{\displaystyle f(x)\leq g(x)}
3336:
3184:is a finite-dimensional real
2187:By the inductive hypothesis,
4274:{\displaystyle {\tilde {f}}}
4122:{\displaystyle \mathbb {R} }
3238:{\displaystyle \mathbb {R} }
2996:. Finally, we observe that
264:that is, there exists a map
204:{\displaystyle \mathbb {R} }
7:
4600:Tietze's Extension Theorem.
4430:Encyclopedia of Mathematics
4406:Encyclopedia of Mathematics
4361:
3541:Hölder continuous functions
2730:of continuous functions on
10:
4663:
3152:
4380:Whitney extension theorem
411:may be chosen such that
355:{\displaystyle F(a)=f(a)}
4245:{\displaystyle f:A\to Y}
3654:with the same constant.
3143:{\displaystyle \square }
2671:Therefore, the sequence
589:
4425:"Urysohn-Brouwer lemma"
4401:"Urysohn-Brouwer lemma"
4100:{\displaystyle x\in X.}
2386:{\displaystyle n\geq m}
1887:{\displaystyle c_{n-1}}
384:{\displaystyle a\in A.}
4560:Upper Saddle River, NJ
4353:
4295:
4275:
4246:
4214:
4200:is a closed subset of
4194:
4170:
4150:
4123:
4101:
4072:
4013:
3993:
3959:
3958:{\displaystyle a\in A}
3933:
3874:
3873:{\displaystyle x\in X}
3848:
3804:
3766:
3728:
3694:
3671:
3648:
3614:
3594:
3571:
3533:
3510:
3476:
3456:
3429:
3395:
3381:a non-empty subset of
3375:
3355:
3323:
3291:
3274:for some indexing set
3268:
3239:
3178:
3144:
3124:
3104:
3084:
3046:
2990:
2970:
2944:
2924:
2836:
2813:
2786:
2744:
2716:
2665:
2387:
2361:
2293:
2252:
2181:
2013:
1972:
1908:
1888:
1855:
1828:
1687:
1629:
1603:
1396:
1341:
1321:
1193:
1173:
1103:
973:
925:
897:
870:
843:
608:
580:
560:
540:
520:
405:
385:
356:
312:
292:
258:
235:
215:, then there exists a
205:
180:
160:
133:
95:
24:
4526:Zafer, Ercan (1997).
4454:Mathematische Annalen
4354:
4296:
4276:
4247:
4215:
4195:
4171:
4151:
4124:
4102:
4073:
4014:
3994:
3960:
3934:
3875:
3849:
3805:
3767:
3729:
3695:
3672:
3649:
3615:
3595:
3572:
3534:
3511:
3477:
3457:
3430:
3396:
3376:
3356:
3324:
3292:
3269:
3240:
3204:Equivalent statements
3179:
3145:
3125:
3105:
3085:
3026:
2991:
2971:
2945:
2925:
2837:
2814:
2812:{\displaystyle F_{n}}
2787:
2756:complete metric space
2745:
2717:
2666:
2388:
2362:
2294:
2253:
2182:
2014:
1973:
1909:
1889:
1856:
1854:{\displaystyle c_{0}}
1829:
1688:
1630:
1604:
1397:
1342:
1322:
1194:
1174:
1104:
974:
926:
898:
896:{\displaystyle F_{0}}
871:
869:{\displaystyle E_{0}}
844:
609:
581:
561:
541:
521:
406:
386:
357:
313:
298:continuous on all of
293:
259:
236:
206:
181:
161:
134:
96:
52:Urysohn-Brouwer lemma
22:
4647:Theorems in topology
4305:
4285:
4256:
4224:
4204:
4184:
4160:
4140:
4111:
4082:
4023:
4003:
3969:
3943:
3884:
3858:
3814:
3780:
3774:lower semicontinuous
3742:
3736:upper semicontinuous
3704:
3681:
3661:
3624:
3604:
3581:
3547:
3520:
3486:
3466:
3443:
3437:Lipschitz continuous
3405:
3385:
3365:
3345:
3301:
3278:
3249:
3227:
3168:
3134:
3114:
3094:
3000:
2980:
2954:
2934:
2846:
2826:
2796:
2762:
2734:
2675:
2397:
2371:
2303:
2262:
2191:
2023:
1982:
1918:
1898:
1865:
1838:
1697:
1639:
1613:
1406:
1355:
1331:
1203:
1183:
1113:
983:
942:
915:
880:
853:
618:
598:
570:
550:
530:
415:
395:
366:
322:
302:
268:
245:
225:
218:continuous extension
193:
170:
150:
109:
85:
4558:(Second ed.).
4374:Hahn–Banach theorem
4156:is a metric space,
3516:with same constant
3361:is a metric space,
3192:extended it to all
2969:{\displaystyle F=f}
2820:converges uniformly
2711:
1628:{\displaystyle n=0}
1391:
937:continuous function
60:continuous function
38:(also known as the
4596:Weisstein, Eric W.
4564:Prentice Hall, Inc
4476:10338.dmlcz/101038
4467:10.1007/BF01208659
4349:
4291:
4281:defined on all of
4271:
4242:
4210:
4190:
4166:
4146:
4119:
4097:
4068:
4009:
3989:
3955:
3929:
3870:
3844:
3800:
3762:
3724:
3693:{\displaystyle X.}
3690:
3667:
3644:
3610:
3593:{\displaystyle 1,}
3590:
3567:
3532:{\displaystyle K.}
3529:
3506:
3472:
3455:{\displaystyle K,}
3452:
3425:
3391:
3371:
3351:
3319:
3290:{\displaystyle J,}
3287:
3264:
3235:
3174:
3140:
3120:
3100:
3080:
2986:
2966:
2950:, it follows that
2940:
2920:
2832:
2809:
2782:
2750:together with the
2740:
2712:
2691:
2661:
2659:
2383:
2357:
2289:
2248:
2177:
2175:
2009:
1968:
1904:
1884:
1851:
1824:
1683:
1625:
1599:
1597:
1392:
1371:
1337:
1317:
1315:
1189:
1169:
1099:
1097:
969:
921:
893:
866:
839:
837:
604:
576:
556:
536:
516:
401:
381:
352:
308:
288:
257:{\displaystyle X;}
254:
231:
201:
176:
156:
129:
91:
54:) states that any
25:
4573:978-0-13-181629-9
4552:Munkres, James R.
4335:
4317:
4294:{\displaystyle X}
4268:
4213:{\displaystyle X}
4193:{\displaystyle A}
4169:{\displaystyle Y}
4149:{\displaystyle X}
4012:{\displaystyle h}
3670:{\displaystyle A}
3613:{\displaystyle f}
3475:{\displaystyle f}
3394:{\displaystyle X}
3374:{\displaystyle A}
3354:{\displaystyle X}
3177:{\displaystyle X}
3123:{\displaystyle f}
3103:{\displaystyle F}
2989:{\displaystyle A}
2943:{\displaystyle A}
2918:
2835:{\displaystyle F}
2743:{\displaystyle X}
2626:
2601:
2569:
2523:
2168:
2078:
1907:{\displaystyle f}
1590:
1480:
1340:{\displaystyle A}
1311:
1252:
1192:{\displaystyle X}
1167:
1134:
1109:and furthermore
1083:
1078:
1027:
1022:
935:, there exists a
924:{\displaystyle A}
607:{\displaystyle F}
579:{\displaystyle f}
559:{\displaystyle F}
539:{\displaystyle f}
469:
463:
404:{\displaystyle F}
311:{\displaystyle X}
234:{\displaystyle f}
213:standard topology
179:{\displaystyle X}
159:{\displaystyle A}
94:{\displaystyle X}
71:topological space
48:extension theorem
36:extension theorem
4654:
4627:
4585:
4543:
4542:
4532:
4523:
4514:
4513:
4511:
4487:
4481:
4479:
4478:
4445:
4439:
4438:
4421:
4415:
4414:
4397:
4368:Blumberg theorem
4358:
4356:
4355:
4350:
4336:
4333:
4319:
4318:
4310:
4300:
4298:
4297:
4292:
4280:
4278:
4277:
4272:
4270:
4269:
4261:
4251:
4249:
4248:
4243:
4219:
4217:
4216:
4211:
4199:
4197:
4196:
4191:
4175:
4173:
4172:
4167:
4155:
4153:
4152:
4147:
4128:
4126:
4125:
4120:
4118:
4106:
4104:
4103:
4098:
4077:
4075:
4074:
4069:
4018:
4016:
4015:
4010:
3998:
3996:
3995:
3990:
3988:
3964:
3962:
3961:
3956:
3938:
3936:
3935:
3930:
3879:
3877:
3876:
3871:
3853:
3851:
3850:
3845:
3809:
3807:
3806:
3801:
3799:
3771:
3769:
3768:
3763:
3761:
3733:
3731:
3730:
3725:
3723:
3699:
3697:
3696:
3691:
3676:
3674:
3673:
3668:
3653:
3651:
3650:
3645:
3643:
3619:
3617:
3616:
3611:
3599:
3597:
3596:
3591:
3576:
3574:
3573:
3568:
3566:
3538:
3536:
3535:
3530:
3515:
3513:
3512:
3507:
3505:
3481:
3479:
3478:
3473:
3461:
3459:
3458:
3453:
3434:
3432:
3431:
3426:
3424:
3400:
3398:
3397:
3392:
3380:
3378:
3377:
3372:
3360:
3358:
3357:
3352:
3331:absolute retract
3328:
3326:
3325:
3320:
3315:
3314:
3309:
3296:
3294:
3293:
3288:
3273:
3271:
3270:
3265:
3263:
3262:
3257:
3244:
3242:
3241:
3236:
3234:
3221:Hausdorff spaces
3183:
3181:
3180:
3175:
3158:L. E. J. Brouwer
3149:
3147:
3146:
3141:
3129:
3127:
3126:
3121:
3109:
3107:
3106:
3101:
3089:
3087:
3086:
3081:
3079:
3078:
3066:
3061:
3060:
3051:
3045:
3040:
3022:
3017:
3016:
3007:
2995:
2993:
2992:
2987:
2975:
2973:
2972:
2967:
2949:
2947:
2946:
2941:
2929:
2927:
2926:
2921:
2919:
2917:
2916:
2901:
2900:
2899:
2890:
2889:
2879:
2874:
2869:
2868:
2853:
2841:
2839:
2838:
2833:
2818:
2816:
2815:
2810:
2808:
2807:
2791:
2789:
2788:
2783:
2781:
2749:
2747:
2746:
2741:
2721:
2719:
2718:
2713:
2710:
2705:
2690:
2689:
2670:
2668:
2667:
2662:
2660:
2653:
2652:
2643:
2642:
2631:
2627:
2619:
2606:
2602:
2597:
2596:
2587:
2585:
2581:
2580:
2579:
2574:
2570:
2562:
2540:
2539:
2528:
2524:
2516:
2498:
2494:
2489:
2488:
2464:
2463:
2448:
2436:
2431:
2430:
2418:
2417:
2408:
2392:
2390:
2389:
2384:
2366:
2364:
2363:
2358:
2353:
2352:
2328:
2327:
2315:
2314:
2298:
2296:
2295:
2290:
2288:
2274:
2273:
2257:
2255:
2254:
2249:
2247:
2246:
2237:
2232:
2231:
2222:
2221:
2209:
2208:
2186:
2184:
2183:
2178:
2176:
2169:
2164:
2163:
2162:
2143:
2134:
2129:
2128:
2104:
2103:
2088:
2079:
2074:
2073:
2058:
2049:
2044:
2043:
2034:
2018:
2016:
2015:
2010:
2008:
1994:
1993:
1977:
1975:
1974:
1969:
1967:
1966:
1936:
1935:
1913:
1911:
1910:
1905:
1893:
1891:
1890:
1885:
1883:
1882:
1860:
1858:
1857:
1852:
1850:
1849:
1833:
1831:
1830:
1825:
1808:
1794:
1793:
1754:
1753:
1729:
1715:
1714:
1692:
1690:
1689:
1684:
1682:
1681:
1651:
1650:
1635:and assume that
1634:
1632:
1631:
1626:
1608:
1606:
1605:
1600:
1598:
1591:
1589:
1588:
1573:
1572:
1571:
1562:
1561:
1545:
1536:
1531:
1530:
1506:
1505:
1490:
1481:
1479:
1478:
1463:
1462:
1461:
1452:
1451:
1441:
1432:
1427:
1426:
1417:
1401:
1399:
1398:
1393:
1390:
1385:
1370:
1369:
1346:
1344:
1343:
1338:
1326:
1324:
1323:
1318:
1316:
1312:
1307:
1306:
1305:
1292:
1283:
1278:
1277:
1262:
1253:
1248:
1247:
1238:
1229:
1224:
1223:
1214:
1198:
1196:
1195:
1190:
1178:
1176:
1175:
1170:
1168:
1163:
1162:
1153:
1148:
1147:
1135:
1130:
1129:
1120:
1108:
1106:
1105:
1100:
1098:
1094:
1093:
1084:
1081:
1079:
1074:
1073:
1064:
1052:
1051:
1038:
1037:
1028:
1025:
1023:
1018:
1017:
1008:
999:
998:
978:
976:
975:
970:
968:
954:
953:
930:
928:
927:
922:
902:
900:
899:
894:
892:
891:
875:
873:
872:
867:
865:
864:
848:
846:
845:
840:
838:
825:
820:
819:
770:
769:
750:
745:
744:
698:
697:
669:
652:
634:
633:
613:
611:
610:
605:
585:
583:
582:
577:
565:
563:
562:
557:
546:is bounded then
545:
543:
542:
537:
525:
523:
522:
517:
497:
480:
467:
461:
445:
428:
410:
408:
407:
402:
390:
388:
387:
382:
361:
359:
358:
353:
317:
315:
314:
309:
297:
295:
294:
289:
287:
263:
261:
260:
255:
240:
238:
237:
232:
210:
208:
207:
202:
200:
185:
183:
182:
177:
165:
163:
162:
157:
138:
136:
135:
130:
128:
100:
98:
97:
92:
77:Formal statement
4662:
4661:
4657:
4656:
4655:
4653:
4652:
4651:
4632:
4631:
4592:
4574:
4547:
4546:
4530:
4524:
4517:
4502:(12): 837–843.
4488:
4484:
4446:
4442:
4423:
4422:
4418:
4399:
4398:
4394:
4389:
4364:
4332:
4309:
4308:
4306:
4303:
4302:
4286:
4283:
4282:
4260:
4259:
4257:
4254:
4253:
4225:
4222:
4221:
4205:
4202:
4201:
4185:
4182:
4181:
4161:
4158:
4157:
4141:
4138:
4137:
4114:
4112:
4109:
4108:
4083:
4080:
4079:
4024:
4021:
4020:
4004:
4001:
4000:
3984:
3970:
3967:
3966:
3944:
3941:
3940:
3885:
3882:
3881:
3859:
3856:
3855:
3815:
3812:
3811:
3795:
3781:
3778:
3777:
3757:
3743:
3740:
3739:
3719:
3705:
3702:
3701:
3682:
3679:
3678:
3662:
3659:
3658:
3639:
3625:
3622:
3621:
3605:
3602:
3601:
3582:
3579:
3578:
3562:
3548:
3545:
3544:
3521:
3518:
3517:
3501:
3487:
3484:
3483:
3467:
3464:
3463:
3444:
3441:
3440:
3420:
3406:
3403:
3402:
3386:
3383:
3382:
3366:
3363:
3362:
3346:
3343:
3342:
3339:
3310:
3305:
3304:
3302:
3299:
3298:
3297:any retract of
3279:
3276:
3275:
3258:
3253:
3252:
3250:
3247:
3246:
3230:
3228:
3225:
3224:
3210:Urysohn's lemma
3206:
3190:Heinrich Tietze
3169:
3166:
3165:
3155:
3135:
3132:
3131:
3115:
3112:
3111:
3095:
3092:
3091:
3074:
3070:
3062:
3056:
3052:
3047:
3041:
3030:
3018:
3012:
3008:
3003:
3001:
2998:
2997:
2981:
2978:
2977:
2955:
2952:
2951:
2935:
2932:
2931:
2906:
2902:
2895:
2891:
2885:
2881:
2880:
2878:
2870:
2864:
2860:
2849:
2847:
2844:
2843:
2827:
2824:
2823:
2803:
2799:
2797:
2794:
2793:
2777:
2763:
2760:
2759:
2735:
2732:
2731:
2706:
2695:
2685:
2681:
2676:
2673:
2672:
2658:
2657:
2648:
2644:
2632:
2618:
2614:
2613:
2604:
2603:
2592:
2588:
2586:
2575:
2561:
2557:
2556:
2529:
2515:
2511:
2510:
2509:
2505:
2496:
2495:
2490:
2484:
2480:
2453:
2449:
2444:
2437:
2432:
2426:
2422:
2413:
2409:
2404:
2400:
2398:
2395:
2394:
2372:
2369:
2368:
2348:
2344:
2323:
2319:
2310:
2306:
2304:
2301:
2300:
2284:
2269:
2265:
2263:
2260:
2259:
2242:
2238:
2233:
2227:
2223:
2217:
2213:
2198:
2194:
2192:
2189:
2188:
2174:
2173:
2152:
2148:
2144:
2142:
2135:
2130:
2124:
2120:
2099:
2095:
2084:
2081:
2080:
2063:
2059:
2057:
2050:
2045:
2039:
2035:
2030:
2026:
2024:
2021:
2020:
2004:
1989:
1985:
1983:
1980:
1979:
1956:
1952:
1931:
1927:
1919:
1916:
1915:
1899:
1896:
1895:
1872:
1868:
1866:
1863:
1862:
1845:
1841:
1839:
1836:
1835:
1804:
1783:
1779:
1749:
1745:
1725:
1704:
1700:
1698:
1695:
1694:
1671:
1667:
1646:
1642:
1640:
1637:
1636:
1614:
1611:
1610:
1596:
1595:
1578:
1574:
1567:
1563:
1551:
1547:
1546:
1544:
1537:
1532:
1526:
1522:
1501:
1497:
1486:
1483:
1482:
1468:
1464:
1457:
1453:
1447:
1443:
1442:
1440:
1433:
1428:
1422:
1418:
1413:
1409:
1407:
1404:
1403:
1386:
1375:
1365:
1361:
1356:
1353:
1352:
1332:
1329:
1328:
1314:
1313:
1301:
1297:
1293:
1291:
1284:
1279:
1273:
1269:
1258:
1255:
1254:
1243:
1239:
1237:
1230:
1225:
1219:
1215:
1210:
1206:
1204:
1201:
1200:
1184:
1181:
1180:
1158:
1154:
1152:
1143:
1139:
1125:
1121:
1119:
1114:
1111:
1110:
1096:
1095:
1089:
1085:
1080:
1069:
1065:
1063:
1053:
1047:
1043:
1040:
1039:
1033:
1029:
1024:
1013:
1009:
1007:
1000:
994:
990:
986:
984:
981:
980:
964:
949:
945:
943:
940:
939:
933:Urysohn's lemma
916:
913:
912:
887:
883:
881:
878:
877:
860:
856:
854:
851:
850:
836:
835:
821:
815:
811:
771:
765:
761:
758:
757:
746:
740:
736:
699:
693:
689:
686:
685:
665:
648:
635:
629:
625:
621:
619:
616:
615:
599:
596:
595:
592:
571:
568:
567:
551:
548:
547:
531:
528:
527:
493:
476:
441:
424:
416:
413:
412:
396:
393:
392:
367:
364:
363:
323:
320:
319:
303:
300:
299:
283:
269:
266:
265:
246:
243:
242:
226:
223:
222:
196:
194:
191:
190:
171:
168:
167:
151:
148:
147:
124:
110:
107:
106:
86:
83:
82:
79:
17:
12:
11:
5:
4660:
4650:
4649:
4644:
4630:
4629:
4615:
4606:
4591:
4590:External links
4588:
4587:
4586:
4572:
4545:
4544:
4515:
4482:
4461:(1): 262–295,
4440:
4416:
4391:
4390:
4388:
4385:
4384:
4383:
4377:
4371:
4363:
4360:
4348:
4345:
4342:
4339:
4331:
4328:
4325:
4322:
4316:
4313:
4290:
4267:
4264:
4241:
4238:
4235:
4232:
4229:
4209:
4189:
4165:
4145:
4117:
4096:
4093:
4090:
4087:
4067:
4064:
4061:
4058:
4055:
4052:
4049:
4046:
4043:
4040:
4037:
4034:
4031:
4028:
4008:
3987:
3983:
3980:
3977:
3974:
3954:
3951:
3948:
3928:
3925:
3922:
3919:
3916:
3913:
3910:
3907:
3904:
3901:
3898:
3895:
3892:
3889:
3869:
3866:
3863:
3843:
3840:
3837:
3834:
3831:
3828:
3825:
3822:
3819:
3798:
3794:
3791:
3788:
3785:
3776:function, and
3760:
3756:
3753:
3750:
3747:
3722:
3718:
3715:
3712:
3709:
3689:
3686:
3666:
3642:
3638:
3635:
3632:
3629:
3609:
3589:
3586:
3565:
3561:
3558:
3555:
3552:
3543:, that is, if
3528:
3525:
3504:
3500:
3497:
3494:
3491:
3471:
3451:
3448:
3423:
3419:
3416:
3413:
3410:
3390:
3370:
3350:
3338:
3335:
3329:or any normal
3318:
3313:
3308:
3286:
3283:
3261:
3256:
3233:
3205:
3202:
3173:
3162:Henri Lebesgue
3154:
3151:
3139:
3119:
3099:
3077:
3073:
3069:
3065:
3059:
3055:
3050:
3044:
3039:
3036:
3033:
3029:
3025:
3021:
3015:
3011:
3006:
2985:
2965:
2962:
2959:
2939:
2915:
2912:
2909:
2905:
2898:
2894:
2888:
2884:
2877:
2873:
2867:
2863:
2859:
2856:
2852:
2831:
2806:
2802:
2780:
2776:
2773:
2770:
2767:
2739:
2709:
2704:
2701:
2698:
2694:
2688:
2684:
2680:
2656:
2651:
2647:
2641:
2638:
2635:
2630:
2625:
2622:
2617:
2612:
2609:
2607:
2605:
2600:
2595:
2591:
2584:
2578:
2573:
2568:
2565:
2560:
2555:
2552:
2549:
2546:
2543:
2538:
2535:
2532:
2527:
2522:
2519:
2514:
2508:
2504:
2501:
2499:
2497:
2493:
2487:
2483:
2479:
2476:
2473:
2470:
2467:
2462:
2459:
2456:
2452:
2447:
2443:
2440:
2438:
2435:
2429:
2425:
2421:
2416:
2412:
2407:
2403:
2402:
2382:
2379:
2376:
2356:
2351:
2347:
2343:
2340:
2337:
2334:
2331:
2326:
2322:
2318:
2313:
2309:
2287:
2283:
2280:
2277:
2272:
2268:
2245:
2241:
2236:
2230:
2226:
2220:
2216:
2212:
2207:
2204:
2201:
2197:
2172:
2167:
2161:
2158:
2155:
2151:
2147:
2141:
2138:
2136:
2133:
2127:
2123:
2119:
2116:
2113:
2110:
2107:
2102:
2098:
2094:
2091:
2087:
2083:
2082:
2077:
2072:
2069:
2066:
2062:
2056:
2053:
2051:
2048:
2042:
2038:
2033:
2029:
2028:
2007:
2003:
2000:
1997:
1992:
1988:
1965:
1962:
1959:
1955:
1951:
1948:
1945:
1942:
1939:
1934:
1930:
1926:
1923:
1903:
1894:and replacing
1881:
1878:
1875:
1871:
1848:
1844:
1823:
1820:
1817:
1814:
1811:
1807:
1803:
1800:
1797:
1792:
1789:
1786:
1782:
1778:
1775:
1772:
1769:
1766:
1763:
1760:
1757:
1752:
1748:
1744:
1741:
1738:
1735:
1732:
1728:
1724:
1721:
1718:
1713:
1710:
1707:
1703:
1680:
1677:
1674:
1670:
1666:
1663:
1660:
1657:
1654:
1649:
1645:
1624:
1621:
1618:
1594:
1587:
1584:
1581:
1577:
1570:
1566:
1560:
1557:
1554:
1550:
1543:
1540:
1538:
1535:
1529:
1525:
1521:
1518:
1515:
1512:
1509:
1504:
1500:
1496:
1493:
1489:
1485:
1484:
1477:
1474:
1471:
1467:
1460:
1456:
1450:
1446:
1439:
1436:
1434:
1431:
1425:
1421:
1416:
1412:
1411:
1389:
1384:
1381:
1378:
1374:
1368:
1364:
1360:
1336:
1310:
1304:
1300:
1296:
1290:
1287:
1285:
1282:
1276:
1272:
1268:
1265:
1261:
1257:
1256:
1251:
1246:
1242:
1236:
1233:
1231:
1228:
1222:
1218:
1213:
1209:
1208:
1188:
1166:
1161:
1157:
1151:
1146:
1142:
1138:
1133:
1128:
1124:
1118:
1092:
1088:
1082: on
1077:
1072:
1068:
1062:
1059:
1056:
1054:
1050:
1046:
1042:
1041:
1036:
1032:
1026: on
1021:
1016:
1012:
1006:
1003:
1001:
997:
993:
989:
988:
967:
963:
960:
957:
952:
948:
920:
890:
886:
863:
859:
834:
831:
828:
824:
818:
814:
810:
807:
804:
801:
798:
795:
792:
789:
786:
783:
780:
777:
774:
772:
768:
764:
760:
759:
756:
753:
749:
743:
739:
735:
732:
729:
726:
723:
720:
717:
714:
711:
708:
705:
702:
700:
696:
692:
688:
687:
684:
681:
678:
675:
672:
668:
664:
661:
658:
655:
651:
647:
644:
641:
638:
636:
632:
628:
624:
623:
603:
591:
588:
575:
555:
535:
515:
512:
509:
506:
503:
500:
496:
492:
489:
486:
483:
479:
475:
472:
466:
460:
457:
454:
451:
448:
444:
440:
437:
434:
431:
427:
423:
420:
400:
380:
377:
374:
371:
351:
348:
345:
342:
339:
336:
333:
330:
327:
307:
286:
282:
279:
276:
273:
253:
250:
230:
220:
199:
175:
155:
127:
123:
120:
117:
114:
90:
78:
75:
15:
9:
6:
4:
3:
2:
4659:
4648:
4645:
4643:
4640:
4639:
4637:
4625:
4621:
4616:
4614:
4610:
4607:
4605:
4601:
4597:
4594:
4593:
4583:
4579:
4575:
4569:
4565:
4561:
4557:
4553:
4549:
4548:
4541:(4): 423–430.
4540:
4536:
4529:
4522:
4520:
4510:
4505:
4501:
4497:
4493:
4486:
4477:
4472:
4468:
4464:
4460:
4456:
4455:
4450:
4449:Urysohn, Paul
4444:
4436:
4432:
4431:
4426:
4420:
4412:
4408:
4407:
4402:
4396:
4392:
4381:
4378:
4375:
4372:
4369:
4366:
4365:
4359:
4343:
4337:
4329:
4323:
4311:
4288:
4262:
4239:
4233:
4230:
4227:
4207:
4187:
4179:
4163:
4143:
4134:
4132:
4094:
4091:
4088:
4085:
4062:
4056:
4053:
4047:
4041:
4038:
4032:
4026:
4006:
3978:
3975:
3972:
3952:
3949:
3946:
3923:
3917:
3914:
3908:
3902:
3899:
3893:
3887:
3867:
3864:
3861:
3838:
3832:
3829:
3823:
3817:
3789:
3786:
3783:
3775:
3751:
3748:
3745:
3737:
3713:
3710:
3707:
3687:
3684:
3664:
3655:
3633:
3630:
3627:
3607:
3587:
3584:
3556:
3553:
3550:
3542:
3526:
3523:
3495:
3492:
3489:
3469:
3449:
3446:
3438:
3414:
3411:
3408:
3388:
3368:
3348:
3334:
3332:
3316:
3311:
3284:
3281:
3259:
3222:
3219:
3215:
3214:metric spaces
3211:
3201:
3199:
3198:Pavel Urysohn
3195:
3194:metric spaces
3191:
3187:
3171:
3163:
3159:
3150:
3137:
3117:
3097:
3075:
3071:
3067:
3057:
3053:
3037:
3034:
3031:
3027:
3023:
3013:
3009:
2983:
2963:
2960:
2957:
2937:
2913:
2910:
2907:
2903:
2896:
2892:
2886:
2882:
2875:
2865:
2861:
2857:
2854:
2829:
2821:
2804:
2800:
2771:
2768:
2765:
2757:
2753:
2737:
2729:
2725:
2702:
2699:
2696:
2686:
2682:
2654:
2649:
2645:
2639:
2636:
2633:
2628:
2623:
2620:
2615:
2610:
2608:
2598:
2593:
2589:
2582:
2576:
2571:
2566:
2563:
2558:
2553:
2550:
2547:
2544:
2541:
2536:
2533:
2530:
2525:
2520:
2517:
2512:
2506:
2502:
2500:
2485:
2481:
2477:
2474:
2471:
2468:
2465:
2460:
2457:
2454:
2450:
2441:
2439:
2427:
2423:
2419:
2414:
2410:
2380:
2377:
2374:
2354:
2349:
2345:
2341:
2338:
2335:
2332:
2329:
2324:
2320:
2316:
2311:
2307:
2278:
2275:
2270:
2266:
2243:
2239:
2234:
2228:
2224:
2218:
2214:
2210:
2205:
2202:
2199:
2195:
2170:
2165:
2159:
2156:
2153:
2149:
2145:
2139:
2137:
2125:
2121:
2117:
2114:
2111:
2108:
2105:
2100:
2096:
2092:
2089:
2075:
2070:
2067:
2064:
2060:
2054:
2052:
2040:
2036:
1998:
1995:
1990:
1986:
1963:
1960:
1957:
1953:
1949:
1946:
1943:
1940:
1937:
1932:
1928:
1924:
1921:
1901:
1879:
1876:
1873:
1869:
1846:
1842:
1818:
1815:
1812:
1809:
1798:
1790:
1787:
1784:
1780:
1776:
1773:
1770:
1767:
1764:
1758:
1750:
1746:
1742:
1736:
1730:
1716:
1711:
1708:
1705:
1701:
1678:
1675:
1672:
1668:
1664:
1661:
1658:
1655:
1652:
1647:
1643:
1622:
1619:
1616:
1592:
1585:
1582:
1579:
1575:
1568:
1564:
1558:
1555:
1552:
1548:
1541:
1539:
1527:
1523:
1519:
1516:
1513:
1510:
1507:
1502:
1498:
1494:
1491:
1475:
1472:
1469:
1465:
1458:
1454:
1448:
1444:
1437:
1435:
1423:
1419:
1382:
1379:
1376:
1366:
1362:
1350:
1347:. We now use
1334:
1308:
1302:
1298:
1294:
1288:
1286:
1274:
1270:
1266:
1263:
1249:
1244:
1240:
1234:
1232:
1220:
1216:
1186:
1164:
1159:
1155:
1149:
1144:
1140:
1136:
1131:
1126:
1122:
1116:
1090:
1086:
1075:
1070:
1066:
1060:
1057:
1055:
1048:
1044:
1034:
1030:
1019:
1014:
1010:
1004:
1002:
995:
991:
958:
955:
950:
946:
938:
934:
918:
910:
906:
888:
884:
861:
857:
849:Observe that
832:
826:
822:
816:
812:
808:
805:
799:
793:
790:
787:
784:
781:
775:
773:
766:
762:
751:
747:
741:
737:
733:
727:
721:
718:
715:
712:
709:
703:
701:
694:
690:
679:
676:
673:
670:
659:
653:
639:
637:
630:
626:
601:
594:The function
587:
573:
553:
533:
513:
507:
504:
501:
498:
487:
481:
464:
455:
452:
449:
446:
435:
429:
398:
378:
375:
372:
369:
346:
340:
337:
331:
325:
305:
277:
274:
271:
251:
248:
228:
219:
216:
214:
211:carrying the
189:
173:
153:
146:
145:closed subset
142:
118:
115:
112:
104:
88:
74:
72:
69:
65:
64:closed subset
61:
57:
53:
49:
47:
43:
37:
35:
30:
23:Pavel Urysohn
21:
4623:
4619:
4609:Mizar system
4555:
4538:
4534:
4499:
4495:
4485:
4458:
4452:
4443:
4428:
4419:
4404:
4395:
4135:
3656:
3340:
3333:whatsoever.
3207:
3186:vector space
3156:
2726:. Since the
593:
526:that is, if
188:real numbers
103:normal space
80:
51:
39:
32:
26:
4131:Riesz space
2019:such that
1402:such that
911:subsets of
143:map from a
56:real-valued
4636:Categories
4387:References
4019:such that
3738:function,
3337:Variations
2792:such that
979:such that
391:Moreover,
141:continuous
4626:: 714–717
4604:MathWorld
4435:EMS Press
4411:EMS Press
4330:⊆
4315:~
4266:~
4237:→
4089:∈
4078:for each
4054:≤
4039:≤
3982:→
3950:∈
3939:for each
3915:≤
3900:≤
3865:∈
3854:for each
3830:≤
3793:→
3755:→
3717:→
3637:→
3560:→
3499:→
3418:→
3138:◻
3068:≤
3043:∞
3028:∑
3024:≤
2876:≤
2858:−
2842:. Since
2775:→
2708:∞
2611:≤
2503:≤
2420:−
2378:≥
2282:→
2211:≤
2203:−
2157:−
2140:≤
2118:−
2106:−
2093:−
2068:−
2055:≤
2002:→
1961:−
1950:−
1938:−
1925:−
1877:−
1816:∈
1788:−
1777:−
1765:−
1743:−
1709:−
1676:−
1542:≤
1520:−
1508:−
1495:−
1438:≤
1388:∞
1349:induction
1289:≤
1267:−
1235:≤
1150:≤
1137:≤
1117:−
1061:−
962:→
809:−
806:≤
785:∈
734:≥
713:∈
677:∈
505:∈
453:∈
373:∈
281:→
186:into the
122:→
4582:42683260
4556:Topology
4554:(2000).
4362:See also
3216:and all
2752:sup norm
909:disjoint
362:for all
29:topology
4611:proof:
4602:" From
4437:, 2001
4413:, 2001
3218:compact
3153:History
46:Brouwer
42:Urysohn
40:Tietze–
4580:
4570:
3734:is an
3196:, and
3090:hence
2724:Cauchy
2367:Given
905:closed
468:
462:
68:normal
34:Tietze
31:, the
4531:(PDF)
4176:is a
3600:then
3462:then
3435:is a
3245:with
2754:is a
2728:space
1914:with
1861:with
590:Proof
318:with
139:is a
101:is a
66:of a
62:on a
4578:OCLC
4568:ISBN
4334:conv
4220:and
3880:and
3401:and
3160:and
2299:as
907:and
903:are
876:and
105:and
4624:272
4504:doi
4471:hdl
4463:doi
3999:of
3700:If
3341:If
2976:on
2930:on
2822:to
2722:is
1720:sup
1327:on
1179:on
643:sup
586:).
471:sup
419:sup
241:to
221:of
166:of
81:If
50:or
27:In
4638::
4622:,
4576:.
4566:.
4562::
4539:21
4537:.
4533:.
4518:^
4500:40
4498:.
4494:.
4469:,
4459:94
4457:,
4433:,
4427:,
4409:,
4403:,
4180:,
4133:.
3772:a
3188:.
3130:.
2393:,
58:,
4628:.
4598:"
4584:.
4512:.
4506::
4480:.
4473::
4465::
4347:)
4344:A
4341:(
4338:f
4327:)
4324:X
4321:(
4312:f
4289:X
4263:f
4240:Y
4234:A
4231::
4228:f
4208:X
4188:A
4164:Y
4144:X
4116:R
4095:.
4092:X
4086:x
4066:)
4063:x
4060:(
4057:g
4051:)
4048:x
4045:(
4042:H
4036:)
4033:x
4030:(
4027:f
4007:h
3986:R
3979:X
3976::
3973:H
3953:A
3947:a
3927:)
3924:a
3921:(
3918:g
3912:)
3909:a
3906:(
3903:h
3897:)
3894:a
3891:(
3888:f
3868:X
3862:x
3842:)
3839:x
3836:(
3833:g
3827:)
3824:x
3821:(
3818:f
3797:R
3790:A
3787::
3784:h
3759:R
3752:X
3749::
3746:g
3721:R
3714:X
3711::
3708:f
3688:.
3685:X
3665:A
3641:R
3634:X
3631::
3628:F
3608:f
3588:,
3585:1
3564:R
3557:A
3554::
3551:f
3527:.
3524:K
3503:R
3496:X
3493::
3490:F
3470:f
3450:,
3447:K
3422:R
3415:A
3412::
3409:f
3389:X
3369:A
3349:X
3317:,
3312:J
3307:R
3285:,
3282:J
3260:J
3255:R
3232:R
3172:X
3118:f
3098:F
3076:0
3072:c
3064:|
3058:n
3054:g
3049:|
3038:0
3035:=
3032:n
3020:|
3014:n
3010:F
3005:|
2984:A
2964:f
2961:=
2958:F
2938:A
2914:1
2911:+
2908:n
2904:3
2897:0
2893:c
2887:n
2883:2
2872:|
2866:n
2862:F
2855:f
2851:|
2830:F
2805:n
2801:F
2779:R
2772:X
2769::
2766:F
2738:X
2703:0
2700:=
2697:n
2693:)
2687:n
2683:F
2679:(
2655:.
2650:0
2646:c
2640:1
2637:+
2634:m
2629:)
2624:3
2621:2
2616:(
2599:3
2594:0
2590:c
2583:)
2577:n
2572:)
2567:3
2564:2
2559:(
2554:+
2551:.
2548:.
2545:.
2542:+
2537:1
2534:+
2531:m
2526:)
2521:3
2518:2
2513:(
2507:(
2492:|
2486:n
2482:g
2478:+
2475:.
2472:.
2469:.
2466:+
2461:1
2458:+
2455:m
2451:g
2446:|
2442:=
2434:|
2428:m
2424:F
2415:n
2411:F
2406:|
2381:m
2375:n
2355:.
2350:n
2346:g
2342:+
2339:.
2336:.
2333:.
2330:+
2325:0
2321:g
2317:=
2312:n
2308:F
2286:R
2279:X
2276::
2271:n
2267:F
2244:n
2240:3
2235:/
2229:0
2225:c
2219:n
2215:2
2206:1
2200:n
2196:c
2171:.
2166:3
2160:1
2154:n
2150:c
2146:2
2132:|
2126:n
2122:g
2115:.
2112:.
2109:.
2101:0
2097:g
2090:f
2086:|
2076:3
2071:1
2065:n
2061:c
2047:|
2041:n
2037:g
2032:|
2006:R
1999:X
1996::
1991:n
1987:g
1964:1
1958:n
1954:g
1947:.
1944:.
1941:.
1933:0
1929:g
1922:f
1902:f
1880:1
1874:n
1870:c
1847:0
1843:c
1822:}
1819:A
1813:a
1810::
1806:|
1802:)
1799:a
1796:(
1791:1
1785:n
1781:g
1774:.
1771:.
1768:.
1762:)
1759:a
1756:(
1751:0
1747:g
1740:)
1737:a
1734:(
1731:f
1727:|
1723:{
1717:=
1712:1
1706:n
1702:c
1679:1
1673:n
1669:g
1665:,
1662:.
1659:.
1656:.
1653:,
1648:0
1644:g
1623:0
1620:=
1617:n
1593:.
1586:1
1583:+
1580:n
1576:3
1569:0
1565:c
1559:1
1556:+
1553:n
1549:2
1534:|
1528:n
1524:g
1517:.
1514:.
1511:.
1503:0
1499:g
1492:f
1488:|
1476:1
1473:+
1470:n
1466:3
1459:0
1455:c
1449:n
1445:2
1430:|
1424:n
1420:g
1415:|
1383:0
1380:=
1377:n
1373:)
1367:n
1363:g
1359:(
1335:A
1309:3
1303:0
1299:c
1295:2
1281:|
1275:0
1271:g
1264:f
1260:|
1250:3
1245:0
1241:c
1227:|
1221:0
1217:g
1212:|
1187:X
1165:3
1160:0
1156:c
1145:0
1141:g
1132:3
1127:0
1123:c
1091:0
1087:F
1076:3
1071:0
1067:c
1058:=
1049:0
1045:g
1035:0
1031:E
1020:3
1015:0
1011:c
1005:=
996:0
992:g
966:R
959:X
956::
951:0
947:g
919:A
889:0
885:F
862:0
858:E
833:.
830:}
827:3
823:/
817:0
813:c
803:)
800:a
797:(
794:f
791::
788:A
782:a
779:{
776:=
767:0
763:F
755:}
752:3
748:/
742:0
738:c
731:)
728:a
725:(
722:f
719::
716:A
710:a
707:{
704:=
695:0
691:E
683:}
680:A
674:a
671::
667:|
663:)
660:a
657:(
654:f
650:|
646:{
640:=
631:0
627:c
602:F
574:f
554:F
534:f
514:,
511:}
508:X
502:x
499::
495:|
491:)
488:x
485:(
482:F
478:|
474:{
465:=
459:}
456:A
450:a
447::
443:|
439:)
436:a
433:(
430:f
426:|
422:{
399:F
379:.
376:A
370:a
350:)
347:a
344:(
341:f
338:=
335:)
332:a
329:(
326:F
306:X
285:R
278:X
275::
272:F
252:;
249:X
229:f
198:R
174:X
154:A
126:R
119:A
116::
113:f
89:X
44:–
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.