МЕТРИКАЛЫК МЕЙКИҢДИК

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

Бул учурда X көптүгү мейкиндик, анын эле­менттери - чекиттер, ал эми р(х, у) саны х менен у чекиттеринин ортосундагы аралык деп аталат. «М. м.» түшүнүгүн математикага 1906-жылы фр. математик М. Фреше киргизген, к. Мейкиндик.