last day (15 days later) » 

20:23
1
Q: Why can't a knot be a space filling curve?

Calvin GodfreyFirst, I wasn't exactly sure which question I should ask, for the main title, but hopefully this explanation helps. It appears to be well known that the complement of a knot in $\mathbb{R}^3$ is always path connected. But it seems to me that a space-filling knot could exist, which would make the ...

I may be wrong, but I don't see how a continuous map $K:[0,1]\to\mathbb{R}^3$ could satisfy $K([0,1])=\mathbb{R}^3$. The interval $[0,1]$ is compact but $\mathbb{R}^3$ is not.
@MichaelMorrow that's not one of the constraints, the knot $K$ just has to satisfy $K(0)=K(1)$ and, in this specific case, $\mathbb{R}^2\subseteq K([0,1])$.
Ah ok. I think I misunderstood. So your knot doesn't have to fill $\mathbb{R}^3$, just $\mathbb{R}^2$?
Yes, that is right.
Well then I think compactness is still an issue. If $\mathbb{R}^2\subseteq K([0,1])$ then $K([0,1])$ is not bounded, so it can't be compact.
20:23
Why is compactness of $K([0,1])$ relevant?
Because the continuous image of a compact set must be compact. So, since $[0,1]$ is compact, whatever $K([0,1])$ is, it needs to be compact. Which, since $\mathbb{R}^3$ is a metric space, means it needs to be bounded, hence cannot fill space.
I'll get the relevant references, one moment
13
Q: Proof that the continuous image of a compact set is compact

Lessa121Let $X\subset \mathbb R^{n}$ be a compact set, and $f :\mathbb R^{n}\to \mathbb R $ a continuous function. Then, $F(X)$ is a compact set. I know that this question may be a duplicate, but the problem is that I have to prove this using real analysis instead of topology. I'm struggling with prov...

Wouldn't that also be a problem for a general space filling curve mapping to $mathbb{R}^2$?
Ooh, never mind. A space filling curve just has to fill the unit square, which is compact. I misunderstood that
Good question. I think you need to modify your definition to be $f:(0,1)\to\mathbb{R}^2$ such that $f(0,1)=\mathbb{R}^2$
then since the open interval is not compact, the image need not be compact
you may also already know this, but here is the relevant theorem which says the compact subsets need to be bounded: en.wikipedia.org/wiki/Heine%E2%80%93Borel_theorem
Yeah, I realize my misunderstanding now, I'll clarify in the original question

last day (15 days later) »