Retract

Материал из WEGA
Версия от 16:39, 21 июня 2011; Glk (обсуждение | вклад) (Новая страница: «'''Retract''' --- ретракт. A ''' retraction''' <math>f</math> from a graph <math>H = (V_{H},E_{H})</math> to a subgraph <math>G = (V_{G},E_{G})</math> is a …»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Retract --- ретракт.

A retraction [math]\displaystyle{ f }[/math] from a graph [math]\displaystyle{ H = (V_{H},E_{H}) }[/math] to a subgraph [math]\displaystyle{ G = (V_{G},E_{G}) }[/math] is a mapping [math]\displaystyle{ f: \; V_{H} \rightarrow V_{G} }[/math] such that for every edge [math]\displaystyle{ (u,v) \in E_{H} }[/math] [math]\displaystyle{ (f(u),f(v)) \in E_{G} }[/math] and [math]\displaystyle{ f(w) = w }[/math] for all [math]\displaystyle{ w \in V_{G} }[/math]. Then [math]\displaystyle{ G }[/math] is a retract of [math]\displaystyle{ H }[/math]. [math]\displaystyle{ G }[/math] is an absolute retract if [math]\displaystyle{ G }[/math] is a retract of any graph [math]\displaystyle{ H }[/math] containing [math]\displaystyle{ G }[/math] as an isometric subgraph, provided that [math]\displaystyle{ \chi(G) = \chi(H) }[/math]. Note that a retract [math]\displaystyle{ G }[/math] of [math]\displaystyle{ H }[/math] is necessarily an isometric subgraph of [math]\displaystyle{ H }[/math].