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.

Fix distinct $a,b \in \mathbb{R}^2$. In terms of cardinality (say, beth numbers), how many distinct continuous functions $f : [0,1] \rightarrow \mathbb{R}^2$ satisfying $f(0)=a, f(1)=b$ are there? (Presumably, the answer is independent of which $a,b$ are chosen.)

It seems clear that the answer is either $\beth_1$ or $\beth_2$.

share|improve this question
add comment

2 Answers

up vote 11 down vote accepted

There are only $\beth_1$ continuous functions from $[0,1]$ to $\Bbb R^2$, so there cannot be more than $\beth_1$, to see this note that every two continuous functions agreeing on a dense set are equal, as $[0,1]$ is separable there is a countable set which "decides" the values of the function. So there are no more than $(\beth_1)^{\aleph_0}=\beth_1$ continuous functions.

Clearly there are $\beth_1$, because take any $c\in\Bbb R^2$, there is a piecewise-linear path such that $f(0)=a,\ f(\frac12)=c,\ f(1)=b$. There are $\beth_1$ such $c$, therefore there are exactly $\beth_1$ many paths.

share|improve this answer
2  
I agree on the second paragraph, but I think the first needs some more explanation. –  Axel Mar 30 '13 at 10:20
add comment

Clearly there are at least $\beth_1$ paths: for any $x \in (0,1)$, consider the path that sits in $a$ until time $x$ and then heads towards $b$ at constant speed. For the upper bound, note that a continuous function from $[0,1]$ to $\Bbb{R}^2$ is determined by its values at rational points, so there are at most $(\beth_1^2)^{\aleph_0}=\beth_1$ such functions.

share|improve this answer
add comment

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.