Crinkled arc

From HandWiki

In mathematics, and in particular the study of Hilbert spaces, a crinkled arc is a type of continuous curve. The concept is usually credited to Paul Halmos. Specifically, consider [math]\displaystyle{ f\colon [0,1] \to X, }[/math] where [math]\displaystyle{ X }[/math] is a Hilbert space with inner product [math]\displaystyle{ \langle \cdot, \cdot \rangle. }[/math] We say that [math]\displaystyle{ f }[/math] is a crinkled arc if it is continuous and possesses the crinkly property: if [math]\displaystyle{ 0 \leq a \lt b\leq c \lt d \leq 1 }[/math] then [math]\displaystyle{ \langle f(b)-f(a),f(d)-f(c)\rangle=0, }[/math] that is, the chords [math]\displaystyle{ f(b)-f(a) }[/math] and [math]\displaystyle{ f(d)-f(c) }[/math] are orthogonal whenever the intervals [math]\displaystyle{ [a,b] }[/math] and [math]\displaystyle{ [c,d] }[/math] are non-overlapping.

Halmos points out that if two nonoverlapping chords are orthogonal, then "the curve makes a right-angle turn during the passage between the chords' farthest end-points" and observes that such a curve would "seem to be making a sudden right angle turn at each point" which would justify the choice of terminology. Halmos deduces that such a curve could not have a tangent at any point, and uses the concept to justify his statement that an infinite-dimensional Hilbert space is "even roomier than it looks".

Writing in 1975, Richard Vitale considers Halmos's empirical observation that every attempt to construct a crinkled arc results in essentially the same solution and proves that [math]\displaystyle{ f(t) }[/math] is a crinkled arc if and only if, after appropriate normalizations, [math]\displaystyle{ f(t) = \sqrt{2}\, \sum_{n=1}^{\infty} x_n \frac{\sin(n-1/2)\pi t}{(n - 1/2)\pi} }[/math] where [math]\displaystyle{ \left(x_n\right)_n }[/math] is an orthonormal set. The normalizations that need to be allowed are the following: a) Replace the Hilbert space H by its smallest closed subspace containing all the values of the crinkled arc; b) uniform scalings; c) translations; d) reparametrizations. Now use these normalizations to define an equivalence relation on crinkled arcs if any two of them become identical after any sequence of such normalizations. Then there is just one equivalence class, and Vitale's formula describes a canonical example.

See also

References