Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a question about the definition of a homotopy between loops:

Let $\alpha$ and $\beta$ be loops with base point $x$ in a topological space $X$. A homotopy from $\alpha$ to $\beta$ is a continuous function $H$ from $[0,1]^2$ to $X$ such that $H(s,t)=f_s(t)$ where $f_s$ is a loop with base point $x$ and such that $f_0=\alpha$ and $f_1=\beta$.

What are the opens relative to $[0,1]^2$? If we're calling $H$ continuous, don't we need to know what topology on $[0,1]^2$ we're talking about? Is a certain topology implied?

share|improve this question
1  
Given any two spaces, $X$ and $Y$, there is a unique way to define a topology on $X \times Y$ so that continuous maps from a space to $X \times Y$ are all given by pairs $(f,g)$ where $f$ is a continuous map to $X$ and $g$ is a continuous map to $Y$. One way to define it is as the topology with the fewest open sets so that the projection maps onto the factors are continuous. In particular, this puts a topology on $[0,1]^2$. :) –  Dylan Wilson Dec 12 '12 at 20:51
1  
The good ol' topology that is induced on $[0,1]^2$ from $\mathbb{R}^2$. –  levap Dec 12 '12 at 20:51
3  
(also levap's comment is way more useful in this particular space, but it's good to know the other thing if you plan on doing anything at all with homotopy!) –  Dylan Wilson Dec 12 '12 at 20:52
    
@DylanWilson Actually, not only that all functions to $X\times Y$ are of this form, but that any pairs of continous functions $f:Z\to X,g:Z\to Y$ yields such a continuous function. –  Thomas Andrews Dec 12 '12 at 21:07

1 Answer 1

up vote 2 down vote accepted

It's just the usual topology, i.e. the product topology on $[0,1] \times [0,1]$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.