Difference between revisions of "Homotopy"
From Maths
(Created page with "{{Stub page|grade=A}} {{Requires references|grade=A}} ==Definition== A ''homotopy'' from the topological spaces {{Top.|X|J}} to {{Top.|Y|K}} is a conti...") |
m (I didn't like the old page, new skeleton created) |
||
| Line 1: | Line 1: | ||
{{Stub page|grade=A}} | {{Stub page|grade=A}} | ||
{{Requires references|grade=A}} | {{Requires references|grade=A}} | ||
| + | ==Definition== | ||
| + | A ''homotopy'' between two [[topological space|topological spaces]], {{Top.|X|J}} and {{Top.|Y|K}}, is a [[continuous function]]: | ||
| + | * {{M|F:X\times I\rightarrow Y}} (where {{M|I}} denotes the [[unit interval]], {{M|[0,1]\subset\mathbb{R} }}) | ||
| + | A homotopy is ''relative to {{M|A\in\mathcal{P}(X)}}'' if {{M|F(a,t)}} is independent of {{M|t}} for all {{M|a\in A}} | ||
| + | ==Terminology== | ||
| + | The family of functions {{M|\{f_t:X\rightarrow Y\ \vert\ \forall t\in[0,1],\ f_t:x\mapsto F(x,t)\} }} are called the ''stages'' of the homotopy. So we might say: | ||
| + | * Let {{M|f_t}} be a stage of the homotopy {{M|F}} or something similar | ||
| + | |||
| + | |||
| + | =OLD ATTEMPT AT PAGE= | ||
| + | (Scrapped because I didn't like the layout) | ||
==Definition== | ==Definition== | ||
A ''homotopy'' from the [[topological space|topological spaces]] {{Top.|X|J}} to {{Top.|Y|K}} is a [[continuous function]]{{rATHHRMS}}{{rITTGG}}: | A ''homotopy'' from the [[topological space|topological spaces]] {{Top.|X|J}} to {{Top.|Y|K}} is a [[continuous function]]{{rATHHRMS}}{{rITTGG}}: | ||
Revision as of 20:15, 2 May 2016
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.
Grade: A
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
Contents
[hide]Definition
A homotopy between two topological spaces, (X,J) and (Y,K), is a continuous function:
- F:X×I→Y (where I denotes the unit interval, [0,1]⊂R)
A homotopy is relative to A∈P(X) if F(a,t) is independent of t for all a∈A
Terminology
The family of functions {ft:X→Y | ∀t∈[0,1], ft:x↦F(x,t)} are called the stages of the homotopy. So we might say:
- Let ft be a stage of the homotopy F or something similar
OLD ATTEMPT AT PAGE
(Scrapped because I didn't like the layout)
Definition
A homotopy from the topological spaces (X,J) to (Y,K) is a continuous function[1][2]:
- F:X×I→Y (where I denotes the unit interval, [0,1]⊆R)
For each t∈I we have a function:
- Ft:X→Y defined by Ft:x↦F(x,t) - these functions, the Ft are called the stages[1] of the homotopy.
Applications
References
- ↑ Jump up to: 1.0 1.1 Algebraic Topology - Homotopy and Homology - Robert M. Switzer
- Jump up ↑ Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene
Template:Algebraic topology navbox
| ||
