МЕТРИКАЛЫК МЕЙКИҢДИК
МЕТРИКАЛЫК МЕЙКИҢДИК - метрика киргизилген көптук. Ар кандай М. м. топологиялык мейкиндик боло алат. Берилген X көптүгүнө р метрикасын киргизүү, бул Х/Х көптүгүндө терс эмес чыныгы маселелерди кабыл алган жана төмөнкү шарттарды канааттандырган р функциясын аныктоо болуп саналат: р(х, 1/)=0 <-> х=у, Р(*> У)= р(У> х), х, у еХ, р(х, у)< р(х, г)+р(г, у), х, у, геХ.
Бул учурда X көптүгү мейкиндик, анын элементтери - чекиттер, ал эми р(х, у) саны х менен у чекиттеринин ортосундагы аралык деп аталат. «М. м.» түшүнүгүн математикага 1906-жылы фр. математик М. Фреше киргизген, к. Мейкиндик.