# Graph (topological manifold)

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:

• [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]