Homotopy is an equivalence relation on the set of all continuous maps between spaces
From Maths
Revision as of 20:56, 15 September 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A|msg=this is rather messy, but it is better than nothing. Currently I'm not sure on the phrasing (eg: "{{M|f}} is homotopic to {{M|g}} is an equivalence rel...")
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.The message provided is:
this is rather messy, but it is better than nothing. Currently I'm not sure on the phrasing (eg: "[ilmath]f[/ilmath] is homotopic to [ilmath]g[/ilmath] is an equivalence relation" or "[ilmath]f[/ilmath] and [ilmath]g[/ilmath] being homotopic defines an equivalence relation"). It needs to be cleaned up, but it'll do for now
Contents
Statement
Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces. Let [ilmath]A\in\mathcal{P}(X)[/ilmath] be an arbitrary subset of [ilmath]X[/ilmath]. Then:
- the relation that relates a continuous map, [ilmath]f:X\rightarrow Y[/ilmath] to another continuous map, [ilmath]g:X\rightarrow Y[/ilmath], if [ilmath]f[/ilmath] and [ilmath]g[/ilmath] are homotopic is an equivalence relation[1]. Symbolically
- Let [ilmath]C^0(X,Y)[/ilmath] denote the set of all continuous maps of the form [ilmath](:X\rightarrow Y)[/ilmath]
- we define a relation, [ilmath]\mathcal{R}\subseteq C^0(X,Y)\times C^0(X,Y)[/ilmath] given by
- [ilmath]\forall f,g\in C^0(X,Y)[(f,g)\in\mathcal{R}\iff[f\simeq g\ (\text{rel }A)]][/ilmath] - recall: [ilmath]f\simeq g\ (\text{rel }A)[/ilmath] denotes that the maps [ilmath]f[/ilmath] and [ilmath]g[/ilmath] are homotopic relative to [ilmath]A[/ilmath]
- Then we claim [ilmath]\mathcal{R} [/ilmath] is an equivalence relation
We will denote this not by [ilmath]f\mathcal{R}g[/ilmath] (as is usual with relations) but by:
- [ilmath]f\simeq g\ (\text{rel }A)[/ilmath] or
- [ilmath]f\simeq g[/ilmath] if [ilmath]A=\emptyset[/ilmath]
Proof
Grade: B
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
The message provided is:
Plenty of sources for proof if one gets stuck, however it should be pretty standard
Notes
References
Template:Homotopy theory navbox
|