Metrický prostor

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)

Verze z 14. 8. 2022, 14:49

Metrický prostor je matematická struktura, pomocí které lze formálním způsobem definovat pojem vzdálenosti. Na metrických prostorech se poté definují další topologické vlastnosti jako např. otevřenost a uzavřenost množin, jejichž zobecnění pak vede na ještě abstraktnější matematický pojem topologického prostoru.

Historie

Maurice Fréchet zavedl pojem metrického prostoru ve své práci Sur quelques points du calcul fonctionnel, Rendic. Circ. Mat. Palermo 22 (1906) 1–74.

Neformální úvod

Pojem "metrický prostor" vznikl proto, aby se některé pojmy (definované pomocí vzdálenosti bodů na reálné ose) daly zavést pro širší skupinu matematických objektů. Příkladem takových pojmů jsou:

Tyto pojmy mají své definice na reálné ose, které silně využívají pojem "vzdálenost" (tedy absolutní hodnota rozdílu dvou reálných čísel). Lze je však zobecnit na jakoukoli množinu, kde je pojem "vzdálenost" nějak definovaný, například množinu bodů v rovině a prostoru. Nebo množinu spojitých funkcí na intervalu, kde vzdáleností je maximum jejich rozdílu. Pak se lze ptát, zda je nějaká množina funkcí uzavřená, zda posloupnost funkcí konverguje apod. Jelikož studium těchto analogií (mezi reálnou osou a složitejšími množinami) přináší mnoho užitečných výsledků, jsou formalizovány pojmem "Metrický prostor", což je množina spolu se zobrazením, které každé dvojici bodů přiřadí tzv. metriku. Pojmy "metrika" a "vzdálenost" se při neformálním vyjadřování užívají záměnně, ale pojem "metrika" se snaží zdůraznit, že může jít o libovolné zobrazení splňující axiomy níže, nejen o vzdálenost v klasickém smyslu. Na téže množině (např. body v rovině) lze zavést několik různých metrik.

Definice

Metrický prostor je dvojice \((\mathcal{M}, \rho)</math>, kde \(\mathcal{M}</math> je libovolná neprázdná množina a \(\rho</math> je tzv. metrika, což je zobrazení

\(\rho: \mathcal{M} \times \mathcal{M} \rightarrow \mathbb{R}</math>,

které splňuje následující axiomy (pro libovolná \(x, y, z \in \mathcal{M}</math>):

Axiom nezápornosti: \(\rho (x, y) \ge 0 </math>
Axiom totožnosti: \(\rho (x, y) = 0 \iff x = y </math>
Axiom symetrie: \(\rho (x, y) = \rho (y, x) \,\! </math>
Trojúhelníková nerovnost: \(\rho (x, z) \le \rho (x, y) + \rho (y, z)</math>

Závislosti axiomů

Tyto axiomy nejsou nezávislé, nezápornost totiž vyplývá z ostatních tří axiomů: \( 2\rho (x, y) = \rho(x,y)+\rho(x,y) \ge \rho (x,x)=0</math>. Nahradíme-li trojúhelníkovou nerovnost pozměněným tvarem

4*. \(\rho (x, z) \le \rho (z, y) + \rho (y, x)</math>,

pak nezápornost vyplývá přímo z axiomu 4* a dále z axiomů 2 a 4* vyplývá symetrie. Hodnota \(\rho(x,y) \,\!</math> bývá nazývána vzdáleností bodů \( x,y \,\! </math> v metrice \(\rho \,\!</math>. Vynecháme-li v axiomu 2 implikaci zleva doprava (tj. připustíme, aby dva různé body měly nulovou vzdálenost) a ponecháme tak pouze rovnost \(\rho (x, x) = 0</math>, nazýváme vzniklé zobrazení pseudometrikou. Vynecháme-li 4. axiom, nazýváme vzniklé zobrazení semimetrikou.

Příklady

Metriky v Rⁿ

Množina reálných čísel spolu s metrikou \(\rho (x, y) = |x - y|</math> (absolutní hodnota), kde \(x,y</math> jsou libovolné body množiny \(\mathbb{R}</math>, tvoří úplný metrický prostor. Na euklidovském prostoru \(\mathbb{R}^n</math> (tj. v rovině, v prostoru, případně ve vícerozměrném prostoru) lze definovat metriku mnoha způsoby, z nichž nejběžnější jsou:

Na množině \(\mathbb{R}^n</math> lze definovat tzv. euklidovskou metriku, která vyjadřuje délku úsečky mezi oběma body. Tento metrický prostor se nazývá euklidovský prostor dimenze \(n</math> a označuje se \(E_n</math>. Euklidovská metrika je definována následujícím vztahem (viz též Pythagorova věta):
\(\rho (\mathbf{x},\mathbf{y}) = \sqrt{ {(x_1 - y_1)}^2 + {(x_2 - y_2)}^2 + \cdots + {(x_n - y_n)}^2 }</math>
tzv. součtová či manhattanská metrika (podle vzdálenosti, kterou je třeba ujít mezi dvěma křižovatkami na Manhattanu, mezi kterými se lze pohybovat jen po na sebe kolmých ulicích ve směru obou os).
\(\rho (\mathbf{x},\mathbf{y}) = |x_1 - y_1| + |x_2 - y_2| + \cdots + |x_n - y_n|</math>
tzv. maximová metrika:
\(\rho (\mathbf{x},\mathbf{y}) = \max\{ |x_1 - y_1|, |x_2 - y_2|, \ldots, |x_n - y_n| \}</math>

Příklady metrik na množinách funkcí

Metrickým prostorem \(C(\langle a, b\rangle)</math> nazýváme prostor všech spojitých funkcí na intervalu \(\langle a, b\rangle\,\!</math> s metrikou
\(\rho (f,g) = \max_{a \leq x \leq b} {|g(x) - f(x)|}</math>
Další možnou metrikou v prostoru spojitých funkcí na intervalu \((a, b)</math> je integrální metrika (pak se tento prostor nazývá L_p prostor)
\(\rho(f,g)= {\left[\int_a^b {\left|g(x)-f(x)\right|}^p \mathrm{d}x\right]}^\frac{1}{p}</math>

Příklady na diskrétních množinách

Na libovolné neprázdné množině (ovšem většina užitečných aplikací se týká diskrétních množin) lze zavést diskrétní metriku takto:
\(\rho (x,x) = 0</math> a \(\rho (x,y) = 1</math> pro \(x \neq y</math>
Levenshteinova vzdálenost vyjadřuje podobnost (resp. rozdílnost) dvou textových řetězců, kterou vyjadřuje jako počet změn (tj. nahrazení, vložení nebo vypuštění znaku), které jsou potřeba k transformaci jednoho řetězce v druhý.
Délka nejkratší cesty v grafu je metrikou na vrcholech tohoto grafu (který musí být neorientovaný a spojitý).

Další příklady

V každém Riemannově prostoru je možné definovat vzdálenosti bodů.

Porovnání metrik

Mějme na neprázdné množině \(\mathbf{M}</math> dvě libovolné metriky \(\rho_1, \rho_2</math>. Následující výroky jsou ekvivalentní:

každá množina \(\mathbf{X} \subset \mathbf{M}</math> otevřená v metrice \(\rho_1</math> je otevřená také v metrice \(\rho_2</math>
každá množina \(\mathbf{X} \subset \mathbf{M}</math> uzavřená v metrice \(\rho_1</math> je uzavřená také v metrice \(\rho_2</math>
pro každé \(\mathbf{X} \subset \mathbf{M}</math> platí \(\mathrm{cl}_2 \mathbf{X} \subset \mathrm{cl}_1 \mathbf{X}</math>, kde \(\mathrm{cl}_i \mathbf{X}</math> značí uzávěr množiny \(\mathbf{X}</math> vzhledem k metrice \(\rho_i</math>.
pro každé \(\mathbf{X} \subset \mathbf{M}</math> platí \(\mathrm{int}_1 \mathbf{X} \subset \mathrm{int}_2 \mathbf{X}</math>, kde \(\mathrm{int}_i \mathbf{X}</math> značí vnitřek množiny \(\mathbf{X}</math> vzhledem k metrice \(\rho_i</math>.
každé okolí bodu \(x \in \mathbf{M}</math> v metrice \(\rho_1</math> je okolím také v metrice \(\rho_2</math>.
identické zobrazení metrického prostoru \((\mathbf{M},\rho_1)</math> na \((\mathbf{M},\rho_2)</math> je spojité.
každá posloupnost \(\{x_n\}</math> bodů z \(\mathbf{M}</math>, která v metrickém prostoru \((\mathbf{M},\rho_2)</math> konverguje k x, konverguje ke stejné limitě také v prostoru \((\mathbf{M},\rho_1)</math>.

Uvedená tvrzení definují vztah mezi metrikami \(\rho_1</math> a \(\rho_2</math>. Je-li přitom \(\rho_1 \ne \rho_2</math>, pak o takto definovaných metrikách říkáme, že \(\rho_2</math> je silnější než \(\rho_1</math> (nebo \(\rho_1</math> je slabší než \(\rho_2</math>).

Ekvivalence metrik

O metrikách \(\rho_1, \rho_2</math> na \(\mathbf{M}</math> řekneme, že jsou ekvivalentní tehdy, když každá množina \(\mathbf{X} \subset \mathbf{M}</math> je otevřená v metrice \(\rho_1</math> právě tehdy, když je otevřená v metrice \(\rho_2</math>. Jsou-li metriky\(\rho_1, \rho_2</math> ekvivalentní, pak pro každou množinu \(\mathbf{X} \subset \mathbf{M}</math> platí \(\mathrm{cl}_1 \mathbf{X} = \mathrm{cl}_2 \mathbf{X}</math>, kde \(\mathrm{cl}_i \mathbf{X}</math> je uzávěr množiny \(\mathbf{X}</math> v metrice \(\rho_i</math>. Jestliže jsou metriky \(\rho_1, \rho_2</math> ekvivalentní, pak pro každou množinu \(\mathbf{X} \subset \mathbf{M}</math> také platí \(\mathrm{int}_1 \mathbf{X} = \mathrm{int}_2 \mathbf{X}</math>, kde \(\mathrm{int}_i \mathbf{X}</math> je vnitřek množiny \(\mathbf{X}</math> v metrice \(\rho_i</math>.

Hlavní pojmy

Prostor M je totálně omezený, pokud pro každé kladné číslo \(\epsilon \,\! </math> existuje konečná množina \(S \subseteq M </math> taková, že každý prvek M je k nějakému prvku S blíže, než \(\epsilon \,\! </math>. Množině \(S</math> se říká \(\epsilon</math>-síť. Prostor M je omezený, pokud existuje kladné číslo K takové, že vzdálenost libovolné dvojice prvků je menší, než K.
Konvergence posloupnosti a spojitost zobrazení se definuje analogicky, jako na reálných číslech.
Kompaktní množina je množina, z jejíhož každého pokrytí otevřenými množinami lze vybrat konečné pokrytí.
Uzavřený podprostor se definuje podobně, jako na reálných číslech, ovšem prostor může být uzavřený vůči některým svým nadprostorům a otevřený vůči jiným. Je-li uzavřený vůči všem, pak se nazývá absolutně uzavřený
Úplný metrický prostor je metrický prostor, v němž každá cauchyovská posloupnost je konvergentní. Prostor je úplný, právě když je absolutně uzavřený.

Hlavní výsledky

Každý normovaný vektorový prostor je metrickým prostorem.

Zobecnění v topologii

Metrický prostor je velmi obecná struktura umožňující pracovat jednotně s mnoha různými druhy množin (množiny bodů, množiny funkcí apod.). Přesto je možno mnohé pojmy z metrických prostorů (například "uzavřená množina" nebo "spojité zobrazení") definovat ještě podstatně obecněji v pojmu topologický prostor. Každý metrický prostor je zároveň topologickým prostorem, ovšem nikoli opačně. Topogické prostory tedy umožňují studovat vlastnosti ještě širší skupiny množin, než metrické prostory. Tím se zabývá oblast matematiky zvaná topologie.

Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010
Informace o článku. Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. Tento text je dostupný za podmínek Creative Commons 3.0 Unported – creativecommons.org. Originální článek na české Wikipedii

@@ Řádka 11: / Řádka 11: @@
 Jelikož studium těchto analogií (mezi reálnou osou a složitejšími množinami) přináší mnoho užitečných výsledků, jsou formalizovány pojmem "Metrický prostor", což je množina spolu se zobrazením, které každé dvojici bodů přiřadí tzv. '''metriku'''. Pojmy "metrika" a "vzdálenost" se při neformálním vyjadřování užívají záměnně, ale pojem "metrika" se snaží zdůraznit, že může jít o libovolné zobrazení splňující axiomy níže, nejen o vzdálenost v klasickém smyslu. Na téže množině (např. body v rovině) lze zavést [[Metrika#Příklady|několik různých metrik]].
 == Definice ==
-Metrický prostor je [[Uspořádaná n-tice|dvojice]] <math>(\mathcal{M}, \rho)</math>, kde <math>\mathcal{M}</math> je libovolná neprázdná [[množina]] a <math>\rho</math> je tzv. '''metrika''', což je [[zobrazení (matematika)|zobrazení]]
+Metrický prostor je [[Uspořádaná n-tice|dvojice]] <big>\((\mathcal{M}, \rho)</math>, kde <big>\(\mathcal{M}</math> je libovolná neprázdná [[množina]] a <big>\(\rho</math> je tzv. '''metrika''', což je [[zobrazení (matematika)|zobrazení]]
-: <math>\rho: \mathcal{M} \times \mathcal{M} \rightarrow \mathbb{R}</math>,
+: <big>\(\rho: \mathcal{M} \times \mathcal{M} \rightarrow \mathbb{R}</math>,
-které splňuje následující [[axiom]]y (pro libovolná  <math>x, y, z \in \mathcal{M}</math>):
+které splňuje následující [[axiom]]y (pro libovolná  <big>\(x, y, z \in \mathcal{M}</math>):
-# Axiom nezápornosti: <math>\rho (x, y) \ge 0 </math>
+# Axiom nezápornosti: <big>\(\rho (x, y) \ge 0 </math>
-# Axiom totožnosti: <math>\rho (x, y) = 0 \iff x = y </math>
+# Axiom totožnosti: <big>\(\rho (x, y) = 0 \iff x = y </math>
-# Axiom symetrie: <math>\rho (x, y) = \rho (y, x) \,\! </math>
+# Axiom symetrie: <big>\(\rho (x, y) = \rho (y, x) \,\! </math>
-# [[Trojúhelníková nerovnost]]: <math>\rho (x, z) \le \rho (x, y) + \rho (y, z)</math>
+# [[Trojúhelníková nerovnost]]: <big>\(\rho (x, z) \le \rho (x, y) + \rho (y, z)</math>
 === Závislosti axiomů ===
 Tyto axiomy nejsou nezávislé, nezápornost totiž vyplývá z ostatních tří axiomů:
-<math> 2\rho (x, y) = \rho(x,y)+\rho(x,y) \ge \rho (x,x)=0</math>.
+<big>\( 2\rho (x, y) = \rho(x,y)+\rho(x,y) \ge \rho (x,x)=0</math>.
 Nahradíme-li trojúhelníkovou nerovnost pozměněným tvarem
-: 4*. <math>\rho (x, z) \le \rho (z, y) + \rho (y, x)</math>,
+: 4*. <big>\(\rho (x, z) \le \rho (z, y) + \rho (y, x)</math>,
 pak nezápornost vyplývá přímo z axiomu 4* a dále z axiomů 2 a 4* vyplývá symetrie.
-Hodnota <math>\rho(x,y) \,\!</math> bývá nazývána [[vzdálenost|vzdáleností]] bodů <math> x,y \,\! </math> v metrice <math>\rho \,\!</math>.
+Hodnota <big>\(\rho(x,y) \,\!</math> bývá nazývána [[vzdálenost|vzdáleností]] bodů <big>\( x,y \,\! </math> v metrice <big>\(\rho \,\!</math>.
-Vynecháme-li v axiomu 2 implikaci zleva doprava (tj. připustíme, aby dva ''různé'' body měly nulovou vzdálenost) a ponecháme tak pouze rovnost <math>\rho (x, x) = 0</math>, nazýváme vzniklé zobrazení [[pseudometrika|pseudometrikou]].
+Vynecháme-li v axiomu 2 implikaci zleva doprava (tj. připustíme, aby dva ''různé'' body měly nulovou vzdálenost) a ponecháme tak pouze rovnost <big>\(\rho (x, x) = 0</math>, nazýváme vzniklé zobrazení [[pseudometrika|pseudometrikou]].
 Vynecháme-li 4. axiom, nazýváme vzniklé zobrazení [[semimetrika|semimetrikou]].
 == Příklady ==
 === Metriky v  R<sup>n</sup> ===
-Množina [[reálné číslo|reálných čísel]] spolu s metrikou <math>\rho (x, y) = |x - y|</math> ([[absolutní hodnota]]), kde <math>x,y</math> jsou libovolné body množiny <math>\mathbb{R}</math>, tvoří [[úplný prostor|úplný]] metrický prostor.
+Množina [[reálné číslo|reálných čísel]] spolu s metrikou <big>\(\rho (x, y) = |x - y|</math> ([[absolutní hodnota]]), kde <big>\(x,y</math> jsou libovolné body množiny <big>\(\mathbb{R}</math>, tvoří [[úplný prostor|úplný]] metrický prostor.
-Na [[Euklidův prostor|euklidovském prostoru]] <math>\mathbb{R}^n</math> (tj. v rovině, v prostoru, případně ve vícerozměrném prostoru) lze definovat metriku mnoha způsoby, z nichž nejběžnější jsou:
+Na [[Euklidův prostor|euklidovském prostoru]] <big>\(\mathbb{R}^n</math> (tj. v rovině, v prostoru, případně ve vícerozměrném prostoru) lze definovat metriku mnoha způsoby, z nichž nejběžnější jsou:
-* Na množině <math>\mathbb{R}^n</math> lze definovat tzv. '''[[Euklidovská metrika|euklidovskou metriku]]''', která vyjadřuje délku [[úsečka|úsečky]] mezi oběma body. Tento metrický prostor se nazývá [[euklidovský prostor]] [[dimenze]] <math>n</math> a označuje se <math>E_n</math>. Euklidovská metrika je definována následujícím vztahem (viz též [[Pythagorova věta]]):
+* Na množině <big>\(\mathbb{R}^n</math> lze definovat tzv. '''[[Euklidovská metrika|euklidovskou metriku]]''', která vyjadřuje délku [[úsečka|úsečky]] mezi oběma body. Tento metrický prostor se nazývá [[euklidovský prostor]] [[dimenze]] <big>\(n</math> a označuje se <big>\(E_n</math>. Euklidovská metrika je definována následujícím vztahem (viz též [[Pythagorova věta]]):
-*: <math>\rho (\mathbf{x},\mathbf{y}) = \sqrt{ {(x_1 - y_1)}^2 + {(x_2 - y_2)}^2 + \cdots + {(x_n - y_n)}^2 }</math>
+*: <big>\(\rho (\mathbf{x},\mathbf{y}) = \sqrt{ {(x_1 - y_1)}^2 + {(x_2 - y_2)}^2 + \cdots + {(x_n - y_n)}^2 }</math>
 * tzv. '''součtová''' či '''[[manhattanská metrika]]''' (podle vzdálenosti, kterou je třeba ujít mezi dvěma křižovatkami na [[Manhattan]]u, mezi kterými se lze pohybovat jen po na sebe kolmých ulicích ve směru obou os).
-*: <math>\rho (\mathbf{x},\mathbf{y}) = |x_1 - y_1| + |x_2 - y_2| + \cdots + |x_n - y_n|</math>
+*: <big>\(\rho (\mathbf{x},\mathbf{y}) = |x_1 - y_1| + |x_2 - y_2| + \cdots + |x_n - y_n|</math>
 * tzv. '''maximová metrika''':
-*: <math>\rho (\mathbf{x},\mathbf{y}) = \max\{ |x_1 - y_1|, |x_2 - y_2|, \ldots, |x_n - y_n| \}</math>
+*: <big>\(\rho (\mathbf{x},\mathbf{y}) = \max\{ |x_1 - y_1|, |x_2 - y_2|, \ldots, |x_n - y_n| \}</math>
 === Příklady metrik na množinách funkcí ===
-* Metrickým prostorem <math>C(\langle a, b\rangle)</math> nazýváme '''prostor všech [[spojitá funkce|spojitých funkcí]] na [[interval (matematika)|intervalu]]''' <math>\langle a, b\rangle\,\!</math> s metrikou
+* Metrickým prostorem <big>\(C(\langle a, b\rangle)</math> nazýváme '''prostor všech [[spojitá funkce|spojitých funkcí]] na [[interval (matematika)|intervalu]]''' <big>\(\langle a, b\rangle\,\!</math> s metrikou
-*: <math>\rho (f,g) = \max_{a \leq x \leq b} {|g(x) - f(x)|}</math>
+*: <big>\(\rho (f,g) = \max_{a \leq x \leq b} {|g(x) - f(x)|}</math>
-* Další možnou metrikou v '''prostoru spojitých funkcí na intervalu''' <math>(a, b)</math> je '''[[integrál]]ní metrika''' (pak se tento prostor nazývá [[Lp prostor|L<sub>p</sub> prostor]])
+* Další možnou metrikou v '''prostoru spojitých funkcí na intervalu''' <big>\((a, b)</math> je '''[[integrál]]ní metrika''' (pak se tento prostor nazývá [[Lp prostor|L<sub>p</sub> prostor]])
-*: <math>\rho(f,g)= {\left[\int_a^b {\left|g(x)-f(x)\right|}^p \mathrm{d}x\right]}^\frac{1}{p}</math>
+*: <big>\(\rho(f,g)= {\left[\int_a^b {\left|g(x)-f(x)\right|}^p \mathrm{d}x\right]}^\frac{1}{p}</math>
 === Příklady na diskrétních množinách ===
 * Na libovolné neprázdné množině (ovšem většina užitečných aplikací se týká diskrétních množin) lze zavést '''diskrétní metriku''' takto:
-*: <math>\rho (x,x) = 0</math> a <math>\rho (x,y) = 1</math> pro <math>x \neq y</math>
+*: <big>\(\rho (x,x) = 0</math> a <big>\(\rho (x,y) = 1</math> pro <big>\(x \neq y</math>
 * '''[[Levenshteinova vzdálenost]]''' vyjadřuje podobnost (resp. rozdílnost) dvou [[textový řetězec|textových řetězců]], kterou vyjadřuje jako počet změn (tj. nahrazení, vložení nebo vypuštění znaku), které jsou potřeba k transformaci jednoho řetězce v druhý.
 * '''Délka nejkratší cesty v [[graf (teorie grafů)|grafu]]''' je metrikou na vrcholech tohoto grafu (který musí být neorientovaný a spojitý).
@@ Řádka 50: / Řádka 50: @@
 * V každém [[Riemannův prostor|Riemannově prostoru]] je možné definovat vzdálenosti bodů.
 == Porovnání metrik ==
-Mějme na neprázdné [[množina|množině]] <math>\mathbf{M}</math> dvě libovolné metriky <math>\rho_1, \rho_2</math>. Následující výroky jsou ekvivalentní:
+Mějme na neprázdné [[množina|množině]] <big>\(\mathbf{M}</math> dvě libovolné metriky <big>\(\rho_1, \rho_2</math>. Následující výroky jsou ekvivalentní:
-* každá množina <math>\mathbf{X} \subset \mathbf{M}</math> [[otevřená množina|otevřená]] v metrice <math>\rho_1</math> je otevřená také v metrice <math>\rho_2</math>
+* každá množina <big>\(\mathbf{X} \subset \mathbf{M}</math> [[otevřená množina|otevřená]] v metrice <big>\(\rho_1</math> je otevřená také v metrice <big>\(\rho_2</math>
-* každá množina <math>\mathbf{X} \subset \mathbf{M}</math> [[uzavřená množina|uzavřená]] v metrice <math>\rho_1</math> je uzavřená také v metrice <math>\rho_2</math>
+* každá množina <big>\(\mathbf{X} \subset \mathbf{M}</math> [[uzavřená množina|uzavřená]] v metrice <big>\(\rho_1</math> je uzavřená také v metrice <big>\(\rho_2</math>
-* pro každé <math>\mathbf{X} \subset \mathbf{M}</math> platí <math>\mathrm{cl}_2 \mathbf{X} \subset \mathrm{cl}_1 \mathbf{X}</math>, kde <math>\mathrm{cl}_i \mathbf{X}</math> značí [[uzávěr množiny]] <math>\mathbf{X}</math> vzhledem k metrice <math>\rho_i</math>.
+* pro každé <big>\(\mathbf{X} \subset \mathbf{M}</math> platí <big>\(\mathrm{cl}_2 \mathbf{X} \subset \mathrm{cl}_1 \mathbf{X}</math>, kde <big>\(\mathrm{cl}_i \mathbf{X}</math> značí [[uzávěr množiny]] <big>\(\mathbf{X}</math> vzhledem k metrice <big>\(\rho_i</math>.
-* pro každé <math>\mathbf{X} \subset \mathbf{M}</math> platí <math>\mathrm{int}_1 \mathbf{X} \subset \mathrm{int}_2 \mathbf{X}</math>, kde <math>\mathrm{int}_i \mathbf{X}</math> značí [[vnitřek množiny]] <math>\mathbf{X}</math> vzhledem k metrice <math>\rho_i</math>.
+* pro každé <big>\(\mathbf{X} \subset \mathbf{M}</math> platí <big>\(\mathrm{int}_1 \mathbf{X} \subset \mathrm{int}_2 \mathbf{X}</math>, kde <big>\(\mathrm{int}_i \mathbf{X}</math> značí [[vnitřek množiny]] <big>\(\mathbf{X}</math> vzhledem k metrice <big>\(\rho_i</math>.
-* každé [[okolí (matematika)|okolí]] bodu <math>x \in \mathbf{M}</math> v metrice <math>\rho_1</math> je okolím také v metrice <math>\rho_2</math>.
+* každé [[okolí (matematika)|okolí]] bodu <big>\(x \in \mathbf{M}</math> v metrice <big>\(\rho_1</math> je okolím také v metrice <big>\(\rho_2</math>.
-* [[identické zobrazení]] metrického prostoru <math>(\mathbf{M},\rho_1)</math> na <math>(\mathbf{M},\rho_2)</math> je [[spojité zobrazení|spojité]].
+* [[identické zobrazení]] metrického prostoru <big>\((\mathbf{M},\rho_1)</math> na <big>\((\mathbf{M},\rho_2)</math> je [[spojité zobrazení|spojité]].
-* každá [[posloupnost (matematika)|posloupnost]] <math>\{x_n\}</math> bodů z <math>\mathbf{M}</math>, která v metrickém prostoru <math>(\mathbf{M},\rho_2)</math> [[konvergence|konverguje]] k ''x'', konverguje ke stejné [[limita|limitě]] také v prostoru <math>(\mathbf{M},\rho_1)</math>.
+* každá [[posloupnost (matematika)|posloupnost]] <big>\(\{x_n\}</math> bodů z <big>\(\mathbf{M}</math>, která v metrickém prostoru <big>\((\mathbf{M},\rho_2)</math> [[konvergence|konverguje]] k ''x'', konverguje ke stejné [[limita|limitě]] také v prostoru <big>\((\mathbf{M},\rho_1)</math>.
-Uvedená tvrzení definují vztah mezi metrikami <math>\rho_1</math> a <math>\rho_2</math>. Je-li přitom <math>\rho_1 \ne \rho_2</math>, pak o takto definovaných metrikách říkáme, že <math>\rho_2</math> je ''silnější'' než <math>\rho_1</math> (nebo <math>\rho_1</math> je ''slabší'' než <math>\rho_2</math>).
+Uvedená tvrzení definují vztah mezi metrikami <big>\(\rho_1</math> a <big>\(\rho_2</math>. Je-li přitom <big>\(\rho_1 \ne \rho_2</math>, pak o takto definovaných metrikách říkáme, že <big>\(\rho_2</math> je ''silnější'' než <big>\(\rho_1</math> (nebo <big>\(\rho_1</math> je ''slabší'' než <big>\(\rho_2</math>).
 == Ekvivalence metrik ==
-O metrikách <math>\rho_1, \rho_2</math> na <math>\mathbf{M}</math> řekneme, že jsou ''ekvivalentní'' tehdy, když každá množina <math>\mathbf{X} \subset \mathbf{M}</math> je otevřená v metrice <math>\rho_1</math> právě tehdy, když je otevřená v metrice <math>\rho_2</math>. Jsou-li metriky<math>\rho_1, \rho_2</math> ekvivalentní, pak pro každou množinu <math>\mathbf{X} \subset \mathbf{M}</math> platí <math>\mathrm{cl}_1 \mathbf{X} = \mathrm{cl}_2 \mathbf{X}</math>, kde <math>\mathrm{cl}_i \mathbf{X}</math> je [[uzávěr množiny]] <math>\mathbf{X}</math> v metrice <math>\rho_i</math>. Jestliže jsou metriky <math>\rho_1, \rho_2</math> ekvivalentní, pak pro každou množinu <math>\mathbf{X} \subset \mathbf{M}</math> také platí <math>\mathrm{int}_1 \mathbf{X} = \mathrm{int}_2 \mathbf{X}</math>, kde <math>\mathrm{int}_i \mathbf{X}</math> je [[vnitřek množiny]] <math>\mathbf{X}</math> v metrice <math>\rho_i</math>.
+O metrikách <big>\(\rho_1, \rho_2</math> na <big>\(\mathbf{M}</math> řekneme, že jsou ''ekvivalentní'' tehdy, když každá množina <big>\(\mathbf{X} \subset \mathbf{M}</math> je otevřená v metrice <big>\(\rho_1</math> právě tehdy, když je otevřená v metrice <big>\(\rho_2</math>. Jsou-li metriky<big>\(\rho_1, \rho_2</math> ekvivalentní, pak pro každou množinu <big>\(\mathbf{X} \subset \mathbf{M}</math> platí <big>\(\mathrm{cl}_1 \mathbf{X} = \mathrm{cl}_2 \mathbf{X}</math>, kde <big>\(\mathrm{cl}_i \mathbf{X}</math> je [[uzávěr množiny]] <big>\(\mathbf{X}</math> v metrice <big>\(\rho_i</math>. Jestliže jsou metriky <big>\(\rho_1, \rho_2</math> ekvivalentní, pak pro každou množinu <big>\(\mathbf{X} \subset \mathbf{M}</math> také platí <big>\(\mathrm{int}_1 \mathbf{X} = \mathrm{int}_2 \mathbf{X}</math>, kde <big>\(\mathrm{int}_i \mathbf{X}</math> je [[vnitřek množiny]] <big>\(\mathbf{X}</math> v metrice <big>\(\rho_i</math>.
 == Hlavní pojmy ==
-* Prostor M je [[Totálně omezený metrický prostor|totálně omezený]], pokud pro každé kladné číslo <math>\epsilon \,\! </math> existuje konečná množina <math>S \subseteq M </math> taková, že každý prvek M je k nějakému prvku S blíže, než <math>\epsilon \,\! </math>. Množině <math>S</math> se říká <math>\epsilon</math>-síť. Prostor M je [[Omezený prostor|omezený]], pokud existuje kladné číslo ''K'' takové, že vzdálenost libovolné dvojice prvků je menší, než ''K''.
+* Prostor M je [[Totálně omezený metrický prostor|totálně omezený]], pokud pro každé kladné číslo <big>\(\epsilon \,\! </math> existuje konečná množina <big>\(S \subseteq M </math> taková, že každý prvek M je k nějakému prvku S blíže, než <big>\(\epsilon \,\! </math>. Množině <big>\(S</math> se říká <big>\(\epsilon</math>-síť. Prostor M je [[Omezený prostor|omezený]], pokud existuje kladné číslo ''K'' takové, že vzdálenost libovolné dvojice prvků je menší, než ''K''.
 * [[Konvergentní posloupnost|Konvergence posloupnosti]] a [[Spojité zobrazení|spojitost zobrazení]] se definuje analogicky, jako na reálných číslech.
 * [[Kompaktní množina]] je množina, z jejíhož každého pokrytí otevřenými množinami lze vybrat konečné pokrytí.