Bolzano's Function

​
n
0
1
2
3
4
5
6
7
show the first two iterations
This Demonstration shows the graphs of the first seven approximations to a continuous nowhere differentiable function.

Details

Bolzano's function is the limit of functions defined in the following way, described in terms of their graphs. Each iteration consists of connected line segments. The first graph is the line from (0, 0) to (0, 1). Suppose that
(a,A)
and
(b,B)
are the endpoints of a segment in some iteration. In the next iteration the segment is replaced by a polygonal line joining the following points:
(a,A)
,
​
(a+3/8(b-a),A+5/8(B-A))
,
​
(1/2(a+b),1/2(A+B))
,
​
(a+7/8(b-a),A+9/8(B-A))
,
​
(b,B)
.
For details on Bolzano’s function, see:
V. Jarnik, Bolzano and the Foundations of Mathematical Analysis, Prague: Society of Czechoslovak Mathematicians and Physicists, 1981 pp. 67–81.
The history of continuous nowhere differentiable functions and the proof that Bolzano's function is an example of this kind can be found in:
J. Thim, "Continuous Nowhere Differentiable Functions," master's thesis, Lulea University of Technology, 2003.
M. Hyksova, "Karel Rychlik and Bernard Bolzano," (PDF).

External Links

Bolzano's Continuous but Nowhere Differentiable Function

Permanent Citation

Izidor Hafner
​
​"Bolzano's Function"​
​http://demonstrations.wolfram.com/BolzanosFunction/​
​Wolfram Demonstrations Project​
​Published: March 7, 2011