Метрично пространство: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Редакция без резюме
Редакция без резюме
Ред 1:
{{Обработка|'''ДОРАЗРАБОТВАНЕ, КРИТИЧЕН ПРОЧИТ И ПРИВЕЖДАНЕ В ЕНЦИКЛОПЕДИЧЕН ВИД.'''}}
В [[математика|математиката]] под ''метрика'' се разбира функция задаваща разстояниeто между елементите на дадено множество. '''Mетрично пространство''' е множество снабдено с метрика.
В [[математика]]та '''метрично пространство''' се нарича [[множество]]то, в което е определено [[разстояние]]то между всяка двойка елементи.
 
== Формално определение ==
 
Една функция <math>\rho</math> се нарича метрика, ако чрез нея на всяка [[наредена двойка]] <math>(x,y)</math> от елементи <math>x</math> и <math>y</math> на множеството <math>X</math> се съпоставя реалното число <math>\rho(x,y)</math> и за всеки <span style="white-space:nowrap;"><math>x</math>, <math>y</math>, <math>z</math> <math>\!^\in</math> <math>X</math></span> са изпълнени следните три условия:
Метричното пространство ''<math>\mathcal{X}</math>'' представлява множество от точки с дефинирана [[функция]] за разстояние (наричаща се също '''метрика''')
#<math>\rho(x,y) = 0</math> тогава и само тогава, когато <span style="white-space:nowrap;"><math>x</math><math>\!^\neq</math><math>y</math></span> (''аксиома за идентичност'')
*#<math>d\leftrho(x,y\right)=d\rho(y,x),</math> (''аксиома за симетричност'')
*#<span style="white-space:nowrap;"><math>d\leftrho(x,y\right)</math> <math>\!^\leq</math> d<math>\rho(x,z) + d\rho(z,y).</math></span> (''аксиома на триъгълника'' или [[неравенство на триъгълника]])
 
Тези [[аксиома|аксиоми]] отразяват интуитивното понятие за разстояние. Например, разстоянието трябва да е неотрицателна величина, т.е. ''d''<span style="white-space:nowrap;"><math>\rho(''x'', ''y'')</math> <math>\!^\geq</math> <math>0</math></span> (това следва от аксиомата на триъгълника и аксиомата за симетричност при ''<math>y'' = ''x''</math>). Също така, разстоянието от ''<math>x''</math> до ''<math>y''</math> е същото, както и от ''<math>y''</math> до ''<math>x''</math>. Неравенството на триъгъльника означава, че от ''<math>x''</math> до ''<math>y''</math> може да се стигне по по-къс път, или поне не по по-дълъг, отколкото ако отначало се премине от ''<math>x''</math> до ''<math>z''</math>, а след това от ''<math>z''</math> до ''<math>y''</math>.
:<math>d:\mathcal{X}\times\mathcal{X}\rightarrow \mathbb{R}</math> (където <math>\mathbb{R}</math> обозначава множеството на [[реално число|реалните числа]]).
 
Наредeната двойка <math>(X,\rho)</math> се нарича ''метрично пространство''.
За всички точки ''x'', ''y'', ''z'' от ''<math>\mathcal{X}</math>'' тази функция трябва да удовлетворява следните условия:
 
*<math>d\left(x,x\right) = 0,</math>
*<math>d\left(x,y\right)=0 \; \Rightarrow \; x=y,</math> (''аксиома за тъждество'')
*<math>d\left(x,y\right)=d(y,x),</math> (''аксиома за симетричност'')
*<math>d\left(x,y\right) \leq d(x,z) + d(z,y).</math> (''аксиома на триъгълника'' или [[неравенство на триъгълника]])
 
Тези [[аксиома|аксиоми]] отразяват интуитивното понятие за разстояние. Например, разстоянието трябва да е неотрицателна величина, т.е. ''d''(''x'', ''y'') ≥ 0 (това следва от аксиомата на триъгълника при ''y'' = ''x''). Също така, разстоянието от ''x'' до ''y'' е същото, както и от ''y'' до ''x''. Неравенството на триъгъльника означава, че от ''x'' до ''y'' може да се стигне по по-къс път, или поне не по по-дълъг, отколкото ако отначало се премине от ''x'' до ''z'', а след това от ''z'' до ''y''.
 
Множеството <math>\mathcal{X}</math> заедно с метриката <math>d\,</math> се нарича '''метрично пространство''' и се бележи с <math>(\mathcal{X},d).</math>
 
[[Категория:Математика]]