- #1

- 2,190

- 81

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

In summary, the conversation discusses the existence of a curve that can fill the x, y plane while being connected and differentiable everywhere. While the Wiki article states that such a curve cannot exist, the conversation presents a possible proof using Sard's lemma. The concept of a "negligible set" is also mentioned in the proof. It is suggested that a space-filling curve must contain singular points, but it is not clear how this relates to Sard's lemma. It is also mentioned that a space filling curve can be differentiable almost everywhere, except on a set of measure 0.

- #1

- 2,190

- 81

Physics news on Phys.org

- #2

Science Advisor

Homework Helper

Gold Member

- 4,809

- 31

Try googling "differentiable space-filling curve".

- #3

- 2,190

- 81

The Wiki article ( near the end) states that a differentiable space filling curve cannot exist but offered no reference for a proof. I proved (at least to my own satisfaction) that a spiral originating at the origin can cross any circle centered on the origin at only one point, no matter how tightly wound it is. Since all the remaining points on the circle are not included in the spiral, the spiral cannot fill the plane.

However, this is not a general proof. One might imagine that a self-intersecting otherwise differentiable curve could fill a space (although I didn't believe so). Can you point me to a proof? Thanks

However, this is not a general proof. One might imagine that a self-intersecting otherwise differentiable curve could fill a space (although I didn't believe so). Can you point me to a proof? Thanks

Last edited:

- #4

Science Advisor

Homework Helper

Gold Member

- 4,809

- 31

The notion of a "negligible set" is used in that proof. In case you don't know what that means, by definition, a subset of

- #5

- 2,190

- 81

quasar987 said:

The notion of a "negligible set" is used in that proof. In case you don't know what that means, by definition, a subset ofRis said to benegligibleif it has measure 0. Themeasureof a subset of the real line is a measure of its "length". Indeed, the measure of [a,b] is b-a and in particular, [0,1] has measure 1 and so it is not negligible.

The proof states that the mapping [0,1] --> [0,1] x [0,1] cannot be everywhere differentiable, but to the extent that it depends on Sard's lemma, it is not clear to me. Sard's lemma deals with critical points whereas I was thinking in terms of singular points. I'm suggesting that a space filling curve must contain singular points (such as Peano's 'monster' curve) .

A related question is: if we ignore the singularities at self intersections, can an otherwise analytic curve be space filling?

Last edited:

- #6

- 27

- 1

You can have a space filling curve that's differentiable almost everywhere, but that's about it.

- #7

- 2,190

- 81

Tibarn said:You can have a space filling curve that's differentiable almost everywhere, but that's about it.

Thanks Tibarn. When you say 'almost' everywhere, I assume you mean after you have excluded self-intersecting points. Is that correct?

Last edited:

- #8

- 533

- 5

SW VandeCarr said:Thanks Tibarn. When you say 'almost' everywhere, I assume you mean after you have excluded self-intersecting points. Is that correct?

No, I assume he means differentiable almost everywhere (i.e. except on a set of measure 0). Any curve can be reparameterized so that it is locally constant - and therefore zero derivative - except on a set of measure zero. Just compose it with a http://en.wikipedia.org/wiki/Singular_function" [Broken].

Last edited by a moderator:

Share:

- Replies
- 3

- Views
- 1K

- Replies
- 2

- Views
- 1K

- Replies
- 14

- Views
- 998

- Replies
- 5

- Views
- 914

- Replies
- 2

- Views
- 659

- Replies
- 2

- Views
- 833

- Replies
- 6

- Views
- 1K

- Replies
- 11

- Views
- 829

- Replies
- 4

- Views
- 869

- Replies
- 6

- Views
- 915