Graph (topological manifold)

From Maths
Revision as of 12:53, 17 March 2017 by Alec (Talk | contribs) (Created page with "{{Provisional page|grade=A*|msg=Important to do}} __TOC__ ==Definition== Let {{M|U\in\mathcal{P}(\mathbb{R}^n)}} be an open set, with {{M|\mathbb{R}^n}} denoting Euclide...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Provisional page grade: A*
This page is provisional
This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:
Important to do

Definition

Let [ilmath]U\in\mathcal{P}(\mathbb{R}^n)[/ilmath] be an open set, with [ilmath]\mathbb{R}^n[/ilmath] denoting Euclidean [ilmath]n[/ilmath]-space. Let [ilmath]f:U\rightarrow\mathbb{R}^k[/ilmath] be a continuous map and recall the graph of [ilmath]f[/ilmath], [ilmath]\Gamma(f)[/ilmath] is defined as follows[1]:

  • [ilmath]\Gamma(f):\eq\{(x,y)\in\mathbb{R}^n\times\mathbb{R}^k\ \big\vert\ x\in U\wedge f(x)\eq y\} [/ilmath][Note 1]

We claim that [ilmath]\Gamma(f)[/ilmath] is a topological [ilmath]n[/ilmath]-manifold (literally a topological manifold of dimension [ilmath]n[/ilmath])

Furthermore, it has a global chart (a chart whose domain is the entire of [ilmath]\Gamma(f)[/ilmath]):

  • [ilmath](\Gamma(f),\varphi)[/ilmath] with [ilmath]\varphi:\Gamma(f)\rightarrow U\subseteq\mathbb{R}^n[/ilmath] by [ilmath]\varphi:(x,f(x))\mapsto x[/ilmath]

Proof of claims

Grade: A*
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:
Saving work, so check this. I found this tab at least 4 days after writing it

Notes

  1. This could surely be written:
    • [ilmath]\Gamma(f):\eq\{(x,y)\in U\times\mathbb{R}^k\ \big\vert y\eq f(x)\} [/ilmath]
    Instead.
    TODO: Check this

References

  1. Introduction to Smooth Manifolds - John M. Lee