Wo àyọkà tó wà nísàlẹ̀ yìí, kí o sì dáhùn ìbéèrè náà lẹ́yìn náà ní èdè kan náà tí àyọkà náà: Àyọkà: A lè ṣe àlàyé àwọn àyè tó bára mu ní ọ̀nà mìíràn àti ní ọ̀nà tó bára mu nípa lílo àwọn ètò pseudometrics, ọ̀nà tí ó wúlò gan-an nínú àyẹ̀wò ìṣiṣẹ́ (pẹ̀lú àwọn ìlànà pseudometrics tí seminorms pèsè). Ní pàtó, jẹ́ kí f: X × X → R jẹ́ pseudometric lórí àwùjọ X. A lè fi hàn pé àwọn àwòrán àyípadà Ua = f−1([0,a]) fún a > 0 jẹ́ ètò pàtàkì kan ti àwọn àyíká tí ó bára mu tí ó bára mu. Ìwà kan náà tí Ua dá sílẹ̀ ni ìṣọ̀kan tí a ṣe àlàyé rẹ̀ nípa pseudometric f kan ṣoṣo. Àwọn òǹkọ̀wé kan máa ń pe àwọn àyè tí a ṣe àlàyé rẹ̀ nípa àwọn ìlànà pseudometrics ní àwọn àyè tó bára mu. Ìbéèrè: Àwọn àyè tó bára mu wo la lè lò?
àyẹ̀wò iṣẹ́