[ilmath]C([0,1],X)[/ilmath]

From Maths
Revision as of 05:08, 3 November 2016 by Alec (Talk | contribs) (Adding requires references)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Grade: B
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:
Something would be good, should be abundant

Definition

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath]I:=[0,1]\subset\mathbb{R}[/ilmath] - the closed unit interval. Then [ilmath]C(I,X)[/ilmath] denotes the set of continuous functions between the interval, considered with the subspace topology it inherits from the reals[Note 1] - as usual.


Specifically [ilmath]C(I,X)[/ilmath] or [ilmath]C([0,1],X)[/ilmath] is the space of all paths in [ilmath](X,\mathcal{ J })[/ilmath]. That is:

  • if [ilmath]f:I\rightarrow X\in C(I,X)[/ilmath] then [ilmath]f[/ilmath] is a path with initial point [ilmath]f(0)[/ilmath] and final/terminal point [ilmath]f(1)[/ilmath]

It includes as a subset, [ilmath]\Omega(X,b)[/ilmath] - the set of all loops in [ilmath]X[/ilmath] based at [ilmath]b[/ilmath][Note 2] - for all [ilmath]b\in X[/ilmath].

See also

Notes

  1. That topology is that generated by the metric [ilmath]\vert\cdot\vert[/ilmath] - absolute value.
  2. A loop is a path where [ilmath]f(0)=f(1)[/ilmath], the loop is said to be based at [ilmath]b:=f(0)=f(1)[/ilmath]

References