Difference between revisions of "Homeomorphism"
From Maths
m |
m (Adding useful example!) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | {{Refactor notice|grade=A|msg=As a part of the topology patrol. | ||
| + | |||
| + | (Previous work dated 2nd May 2016) | ||
| + | |||
| + | Things to add: | ||
| + | * Given a bijective continuous map, say {{M|f:X\rightarrow Y}}, the following are equivalent{{rITTMJML}}: | ||
| + | *# {{M|f}} is a homeomorphism | ||
| + | *# {{M|f}} is an [[open map]] | ||
| + | *# {{M|f}} is a [[closed map]] | ||
| + | ** Document this. [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:56, 22 February 2017 (UTC) | ||
| + | * [[Example:A bijective and continuous map that is not a homeomorphism]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:58, 22 February 2017 (UTC) | ||
| + | }} | ||
| + | : '''Note: ''' not to be confused with [[Homomorphism]] which is a [[Category Theory (subject)|categorical]] construct. | ||
| + | __TOC__ | ||
| + | ==Definition== | ||
| + | If {{Top.|X|J}} and {{Top.|Y|K}} are [[topological space|topological spaces]] a ''homeomorphism from {{M|X}} to {{M|Y}}'' is a{{rITTMJML}}: | ||
| + | * [[Bijective]] map, {{M|f:X\rightarrow Y}} where both {{M|f}} and {{M|f^{-1} }} (the [[inverse function]]) are [[continuous]] | ||
| + | We may then say that {{M|X}} and {{M|Y}} (or {{Top.|X|J}} and {{Top.|Y|K}} if the topology isn't obvious) are ''homeomorphic''<ref name="ITTMJML"/> or ''topologically equivalent''<ref name="ITTMJML"/>, we write this as: | ||
| + | * {{M|X\cong Y}} (or indeed {{M|(X,\mathcal{J})\cong(Y,\mathcal{K})}} if the topologies are not implicit) | ||
| + | *: '''Note: ''' some authors<ref name="ITTMJML"/> use {{M|\approx}} instead of {{M|\cong}}<ref group="Note"> I recommend {{M|\cong}} although I admit it doesn't matter which you use ''as long as it isn't'' {{M|\simeq}} (which is typically used for [[isomorphism (category theory)|isomorphic spaces]]) as that notation is used almost universally for [[homotopy equivalence]]. I prefer {{M|\cong}} as {{M|\cong}} looks stronger than {{M|\simeq}}, and {{M|\approx}} is the symbol for approximation, there is no approximation here. If you have a bijection, and both directions are continuous, the spaces are in no real way distinguishable.</ref> I recommend you use {{M|\cong}}. | ||
| + | '''Claim 1:''' {{M|\cong}} is an [[equivalence relation]] on [[topological space|topological spaces]]. | ||
| + | |||
| + | |||
| + | [[Global topological properties]] are precisely those properties of [[topological space|topological spaces]] preserved by homeomorphism. | ||
| + | {{Requires references|For the {{M|\cong}} notation - don't worry I haven't just made it up}} | ||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
| + | ==References== | ||
| + | <references/> | ||
| + | =OLD PAGE= | ||
Not to be confused with [[Homomorphism]] | Not to be confused with [[Homomorphism]] | ||
| Line 12: | Line 42: | ||
==Topological Homeomorphism== | ==Topological Homeomorphism== | ||
A ''topological homeomorphism'' is [[Bijection|bijective]] map between two [[Topological space|topological spaces]] <math>f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})</math> where: | A ''topological homeomorphism'' is [[Bijection|bijective]] map between two [[Topological space|topological spaces]] <math>f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})</math> where: | ||
| − | |||
# <math>f</math> is [[Bijection|bijective]] | # <math>f</math> is [[Bijection|bijective]] | ||
# <math>f</math> is [[Continuous map|continuous]] | # <math>f</math> is [[Continuous map|continuous]] | ||
# <math>f^{-1}</math> is [[Continuous map|continuous]] | # <math>f^{-1}</math> is [[Continuous map|continuous]] | ||
| + | ===Technicalities=== | ||
| + | {{Note|This section contains pedantry. The reader should be aware of it, but not concerned by not considering it}} | ||
| + | In order for {{M|f^{-1} }} to exist, {{M|f}} must be [[Bijection|bijective]]. So the definition need only require<ref name="FOAT">Fundamentals of Algebraic Topology, Steven H. Weintraub</ref>: | ||
| + | # {{M|f}} be continuous | ||
| + | # {{M|f^{-1} }} exists and is continuous. | ||
| + | ===Agreement with metric definition=== | ||
| + | Using [[Continuity definitions are equivalent]] it is easily seen that the metric space definition ''implies'' the topological definition. That is to say: | ||
| + | * If {{M|f}} is a (metric) homeomorphism then is is also a topological one (when the topologies considered are those [[Topology induced by a metric|those induced by the metric]]. | ||
| + | |||
| + | ==Terminology and notation== | ||
| + | If there exists a ''homeomorphism'' between two spaces, {{M|X}} and {{M|Y}} we say<ref name="FOAT"/>: | ||
| + | * {{M|X}} and {{M|Y}} are ''homeomorphic'' | ||
| − | {{ | + | The notations used (with ''most common first'') are: |
| + | # (Find ref for {{M|\cong}}) | ||
| + | # {{M|\approx}}<ref name="FOAT"/> - '''NOTE: ''' really rare, I've only ever seen this used to denote homeomorphism in this one book. | ||
==See also== | ==See also== | ||
* [[Composition of continuous maps is continuous]] | * [[Composition of continuous maps is continuous]] | ||
| + | * [[Diffeomorphism]] | ||
==References== | ==References== | ||
<references/> | <references/> | ||
| − | {{Definition|Topology}} | + | {{Definition|Topology|Metric Space}}[[Category:Equivalence relations]] |
Latest revision as of 22:58, 22 February 2017
Grade: A
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
The message provided is:
The message provided is:
As a part of the topology patrol.
(Previous work dated 2nd May 2016)
Things to add:
- Given a bijective continuous map, say [ilmath]f:X\rightarrow Y[/ilmath], the following are equivalent[1]:
- [ilmath]f[/ilmath] is a homeomorphism
- [ilmath]f[/ilmath] is an open map
- [ilmath]f[/ilmath] is a closed map
- Example:A bijective and continuous map that is not a homeomorphism Alec (talk) 22:58, 22 February 2017 (UTC)
- Note: not to be confused with Homomorphism which is a categorical construct.
Contents
Definition
If [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] are topological spaces a homeomorphism from [ilmath]X[/ilmath] to [ilmath]Y[/ilmath] is a[1]:
- Bijective map, [ilmath]f:X\rightarrow Y[/ilmath] where both [ilmath]f[/ilmath] and [ilmath]f^{-1} [/ilmath] (the inverse function) are continuous
We may then say that [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] (or [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] if the topology isn't obvious) are homeomorphic[1] or topologically equivalent[1], we write this as:
- [ilmath]X\cong Y[/ilmath] (or indeed [ilmath](X,\mathcal{J})\cong(Y,\mathcal{K})[/ilmath] if the topologies are not implicit)
Claim 1: [ilmath]\cong[/ilmath] is an equivalence relation on topological spaces.
Global topological properties are precisely those properties of topological spaces preserved by homeomorphism.
(Unknown grade)
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.
The message provided is:
The message provided is:
For the [ilmath]\cong[/ilmath] notation - don't worry I haven't just made it up
Notes
- ↑ I recommend [ilmath]\cong[/ilmath] although I admit it doesn't matter which you use as long as it isn't [ilmath]\simeq[/ilmath] (which is typically used for isomorphic spaces) as that notation is used almost universally for homotopy equivalence. I prefer [ilmath]\cong[/ilmath] as [ilmath]\cong[/ilmath] looks stronger than [ilmath]\simeq[/ilmath], and [ilmath]\approx[/ilmath] is the symbol for approximation, there is no approximation here. If you have a bijection, and both directions are continuous, the spaces are in no real way distinguishable.
References
OLD PAGE
Not to be confused with Homomorphism
Homeomorphism of metric spaces
Given two metric spaces [ilmath](X,d)[/ilmath] and [ilmath](Y,d')[/ilmath] they are said to be homeomorphic[1] if:
- There exists a mapping [ilmath]f:(X,d)\rightarrow(Y,d')[/ilmath] such that:
- [ilmath]f[/ilmath] is bijective
- [ilmath]f[/ilmath] is continuous
- [ilmath]f^{-1} [/ilmath] is also a continuous map
Then [ilmath](X,d)[/ilmath] and [ilmath](Y,d')[/ilmath] are homeomorphic and we may write [ilmath](X,d)\cong(Y,d')[/ilmath] or simply (as Mathematicians are lazy) [ilmath]X\cong Y[/ilmath] if the metrics are obvious
TODO: Find reference for use of [ilmath]\cong[/ilmath] notation
Topological Homeomorphism
A topological homeomorphism is bijective map between two topological spaces [math]f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})[/math] where:
- [math]f[/math] is bijective
- [math]f[/math] is continuous
- [math]f^{-1}[/math] is continuous
Technicalities
This section contains pedantry. The reader should be aware of it, but not concerned by not considering it In order for [ilmath]f^{-1} [/ilmath] to exist, [ilmath]f[/ilmath] must be bijective. So the definition need only require[2]:
- [ilmath]f[/ilmath] be continuous
- [ilmath]f^{-1} [/ilmath] exists and is continuous.
Agreement with metric definition
Using Continuity definitions are equivalent it is easily seen that the metric space definition implies the topological definition. That is to say:
- If [ilmath]f[/ilmath] is a (metric) homeomorphism then is is also a topological one (when the topologies considered are those those induced by the metric.
Terminology and notation
If there exists a homeomorphism between two spaces, [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] we say[2]:
- [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] are homeomorphic
The notations used (with most common first) are:
- (Find ref for [ilmath]\cong[/ilmath])
- [ilmath]\approx[/ilmath][2] - NOTE: really rare, I've only ever seen this used to denote homeomorphism in this one book.
