Vipul: 1 revision

2008-05-11T19:57:29Z

1 revision

← Older revision	Revision as of 19:57, 11 May 2008
(No difference)

Vipul at 19:50, 30 September 2007

2007-09-30T19:50:47Z

New page

==Statement==

This is a list of basic theorems on the existence of piecewise linear homotopies between functions to subsets of <math>\R^n</math>:

* Any two functions to a [[convex subset of Euclidean space]] are linearly homotopic. The obivous [[linear homotopy]] between them works, because the line segment joining any two points in the convex subset is also in the convex subset.
* Any function to a [[star-like subset of Euclidean space]] of <math>\R^n</math> is linearly homotopic to the constant function mapping everything to a star point of the subset. The obvious [[linear homotopy]] works again, because the line segment joining a star point to any point is completely inside the subset.
Thus, in particular, we can go from any function to any other by composing two linear homotopies (via the star point).
* Any [[compact subset of Euclidean space]] that is a [[retract]] of an open set containing it, has the property that there exists an <math>\epsilon > 0</math> such that any two functions <math>f</math> and <math>g</math> such that <math>d(f(x),g(x)) < \epsilon \ \forall \ x</math>, are linearly homotopic. Conversely, given a homotopy between two functions to such a compact subset, we can also construct a piecewise linear homotopy with each of the pieces moving functions to new function that are only <math>\epsilon</math>-far away.

Piecewise linear homotopy theorems - Revision history

Vipul: 1 revision

Vipul at 19:50, 30 September 2007