Karl Weierstrass

⚡ Key Takeaways

Karl Weierstrass (1815–1897) was a German mathematician known as the "father of modern analysis." He rigorously refounded calculus on the precise (ε, δ) definition of limits, discovered a continuous function that is nowhere differentiable, and developed the theory of analytic functions via power series. His work appears throughout real and complex analysis, approximation theory, and the calculus of variations. Active primarily in Berlin from the 1850s through 1890s.

💡 The Core Insight

Analysis can — and must — be made rigorous by reducing all statements about limits, continuity, and convergence to precise inequalities between real numbers, banishing appeals to motion, geometry, or infinitesimals. Weierstrass showed both the power of this program (clean theorems) and its necessity (pathological counterexamples that intuition cannot reach).

DefinitionLimit of a Function (ε–δ)

A function $f$ has limit $L$ at a point $a$ , written $\lim_{x\to a} f(x) = L$ , if for every $\varepsilon > 0$ there exists $\delta > 0$ such that

1

\quad 0 < |x - a| < \delta \;\Longrightarrow\; |f(x) - L| < \varepsilon.

Derivation hint: This is a definition, not a derived result; the structure "for all ε there exists δ" formalizes the intuitive phrase "f(x) gets arbitrarily close to L as x approaches a." Here $\varepsilon$ (epsilon) bounds the allowed error in the output, $\delta$ (delta) bounds the input distance, $a$ is the limit point, and $L$ the candidate limit value.

DefinitionContinuity

A function $f$ is continuous at $a$ if

2

\quad \forall \varepsilon > 0 \;\; \exists \delta > 0 \;:\; |x - a| < \delta \Rightarrow |f(x) - f(a)| < \varepsilon.

Derivation hint: Specialize Equation [1] to the case L = f(a) and drop the punctured-neighborhood requirement (x = a trivially satisfies the consequent). The symbols carry the same meaning as in [1]; continuity is the special case where the limit equals the function's actual value.

TheoremWeierstrass Approximation Theorem (1885)

Let $f : [a,b] \to \mathbb{R}$ be continuous. Then for every $\varepsilon > 0$ there exists a polynomial $p$ such that

3

\quad \sup_{x \in [a,b]} |f(x) - p(x)| < \varepsilon.

Derivation hint: Polynomials are dense in C([a,b]) under the uniform norm; one constructive proof convolves f with the Landau kernel $(1-t^2)^n$ , normalized. That is, every continuous function on a closed bounded interval is the uniform limit of polynomials.

TheoremBolzano–Weierstrass Theorem

Every bounded sequence $(x_n)$ in $\mathbb{R}^d$ has a convergent subsequence:

4

\quad (x_n) \text{ bounded} \;\Longrightarrow\; \exists\, (x_{n_k}) \text{ such that } x_{n_k} \to x^* \in \mathbb{R}^d.

Derivation hint: Repeated bisection of an interval containing infinitely many terms produces nested intervals shrinking to a point; the nested interval theorem yields the limit.

TheoremExtreme Value Theorem

A continuous function $f$ on a compact set $K \subset \mathbb{R}^d$ attains its maximum and minimum:

5

\quad \exists\, x_{\min}, x_{\max} \in K \;:\; f(x_{\min}) \le f(x) \le f(x_{\max}) \quad \forall x \in K.

Derivation hint: f(K) is bounded (else a subsequence escapes to infinity, contradicting Bolzano–Weierstrass); the supremum is approached by a sequence whose convergent subsequence limit attains it by continuity.

DefinitionWeierstrass's Nowhere-Differentiable Function (1872)

Define

6

\quad W(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x),

where $0 < a < 1$ , $b$ is an odd integer, and

7

\quad ab > 1 + \tfrac{3}{2}\pi.

Derivation hint: The factor a^n < 1 with Σaⁿ < ∞ gives uniform convergence (Weierstrass M-test), hence continuity; condition [7] forces the difference quotients to oscillate unboundedly so no derivative can exist. Then $W$ is continuous on all of $\mathbb{R}$ but differentiable at no point. Here $a$ controls the amplitude decay, $b$ controls the frequency growth, and the product condition $ab > 1 + \frac{3}{2}\pi$ ensures roughness wins over smoothness.

Figure

The Weierstrass function W(x) shown at increasing magnification — self-similar roughness at every scale

ProofSketch: Continuity of W(x)

We verify that the series in [6] defines a continuous function. 1. Each term $f_n(x) = a^n \cos(b^n \pi x)$ is continuous on $\mathbb{R}$ . 2. Bound each term: $|a^n \cos(b^n \pi x)| \le a^n =: M_n$ , independent of $x$ . 3. Since $0 < a < 1$ , the series $\sum_{n=0}^\infty M_n = \sum a^n = \frac{1}{1-a} < \infty$ converges. 4. By the Weierstrass M-test, the series $\sum f_n$ converges uniformly on $\mathbb{R}$ . 5. A uniform limit of continuous functions is continuous. Therefore $W$ is continuous everywhere. $\blacksquare$

∎

ProofSketch: Non-differentiability of W(x)

The full argument is delicate; here is the strategy. 1. Fix any point $x_0$ . For a chosen integer $m$ , pick a point $x_m$ near $x_0$ of the form $\frac{\alpha_m + 1/2}{b^m}$ (so $b^m x_m$ lands at a half-integer where cosine behaves predictably). 2. Split the difference quotient $\frac{W(x_m) - W(x_0)}{x_m - x_0}$ into the sum over $n < m$ and $n \ge m$ . 3. The low-frequency part ( $n<m$ ) is bounded by a geometric-type estimate of size $\le \frac{\pi (ab)^m}{ab - 1}$ in magnitude (a controlled term). 4. The high-frequency part ( $n\ge m$ ) contributes a term of magnitude at least $\frac{2}{3}(ab)^m$ , growing without bound. 5. Condition $ab > 1 + \frac{3}{2}\pi$ guarantees the divergent part dominates the bounded part, so the difference quotient $\to \infty$ in absolute value as $m \to \infty$ . No finite derivative exists. $\blacksquare$

∎

mathematician · Karl Weierstrass | 1815–1897

Born in Ostenfelde, Westphalia, Weierstrass was pushed by his father into studying law and finance at Bonn — a subject he loathed, devoting himself instead to beer, fencing, and self-taught mathematics. He left without a degree, then trained as a secondary-school teacher and spent over a decade in remote Prussian towns (Deutsch-Krone, Braunsberg) teaching not only mathematics but gymnastics, botany, geography, and penmanship by day, while researching abelian functions by night. His 1854 paper Zur Theorie der Abelschen Functionen in Crelle's Journal stunned the mathematical world; Königsberg granted him an honorary doctorate, and he soon moved to Berlin, where his lectures became legendary throughout Europe. A famously meticulous, gentle teacher, he influenced a generation including Cantor, Schwarz, Mittag-Leffler, Frobenius, and Sofia Kovalevskaya — whom he mentored and championed when women were barred from universities.

🧠 Intuition

Picture trying to "draw a tangent line" to the Weierstrass function. At any point you zoom in expecting the curve to flatten into a straight line — that's what differentiability means. But each magnification reveals wiggles of comparable steepness, because the high-frequency terms $\cos(b^n\pi x)$ never become negligible: as $a^n$ shrinks the amplitude, $b^n$ amplifies the slope, and condition $ab>1$ guarantees slope wins. The curve is self-similar roughness all the way down, a fractal before fractals had a name. The deeper lesson of Weierstrass's whole career is captured here: human geometric intuition about smooth curves is simply wrong about the general continuous function, and only the discipline of inequalities can tell us what is true.

ExampleVerifying continuity with ε–δ

Given: $f(x) = 3x + 1$ . Prove $f$ is continuous at $a = 2$ using Equation [2].

Steps: 1. We want: given $\varepsilon > 0$ , find $\delta$ with $|x-2|<\delta \Rightarrow |f(x)-f(2)|<\varepsilon$ . 2. Compute $|f(x)-f(2)| = |(3x+1)-(7)| = |3x-6| = 3|x-2|$ . 3. We need $3|x-2| < \varepsilon$ , i.e. $|x-2| < \varepsilon/3$ . 4. Choose $\delta = \varepsilon/3$ . Then $|x-2|<\delta$ gives $|f(x)-f(2)| = 3|x-2| < 3\cdot\frac{\varepsilon}{3} = \varepsilon$ . ✓

Answer: $\boxed{\delta = \varepsilon/3}$ works; $f$ is continuous at 2. (For $\varepsilon = 0.06$ , take $\delta = 0.02$ .)

ExampleChecking the roughness condition

Given: A Weierstrass function with $a = 0.5$ , $b = 7$ (odd). Does it satisfy [7] and so define a nowhere-differentiable function?

Steps: 1. Compute the product: $ab = 0.5 \times 7 = 3.5$ . 2. Compute the threshold: $1 + \frac{3}{2}\pi = 1 + 1.5 \times 3.14159 = 1 + 4.712 = 5.712$ . 3. Compare: $ab = 3.5$ vs $5.712$ . Since $3.5 < 5.712$ , condition [7] fails. 4. Try instead $a = 0.9$ , $b = 7$ : $ab = 6.3 > 5.712$ . ✓ And $0<a<1$ , $b$ odd. ✓

Answer: $\boxed{a=0.5,\,b=7 \text{ fails Weierstrass's sufficient condition; } a=0.9,\,b=7 \text{ succeeds.}}$ (Note: later work by Hardy weakened [7] to merely $ab \ge 1$ .)

⚠️ Common mistake

"A continuous function is differentiable except possibly at a few corner points." This was the prevailing 19th-century belief (Ampère even attempted to "prove" it). Weierstrass's function [6] is a permanent refutation: continuity is a strictly weaker condition than differentiability, and the "typical" continuous function is in fact nowhere differentiable — in the sense of Baire category and Wiener measure, almost all continuous functions are nowhere differentiable.

⚠️ Common mistake

"Uniform convergence is the same as pointwise convergence." It is not, and the distinction is central to all of Weierstrass's foundations. Pointwise convergence only requires the speed of convergence to be finite at each point; uniform convergence (the M-test in step 4 of the proof above) requires a single $N$ to work for all points at once. Only uniform convergence transmits continuity, integrability, and (with care) differentiability from terms to limit.

Counterexample

The sequence $f_n(x) = x^n$ on $[0,1]$ converges pointwise to the discontinuous function that is $0$ on $[0,1)$ and $1$ at $x=1$ . Each $f_n$ is continuous, yet the pointwise limit is not — precisely because the convergence is not uniform near $x=1$ . This shows why Weierstrass insisted on uniform convergence: without it, the continuity of the terms tells you nothing about the limit.

connection

Weierstrass's program touches nearly all of modern analysis. The ε–δ definitions [1], [2] underlie Real Analysis and the rigorous theory of Limits and Continuity. The M-test and uniform convergence connect to Series of Functions and Fourier Series. His power-series approach to complex functions is the foundation of Complex Analysis alongside the contour-integral approach of Cauchy and the geometric approach of Riemann. The Bolzano–Weierstrass theorem [4] is the sequential face of Compactness, and the Extreme Value Theorem [5] is a cornerstone of Optimization. His rigor in the Calculus of Variations (the Weierstrass E-function and sufficient conditions) closed gaps left by Euler and Lagrange.

🔬 Where this appears

⏳ History

- 1815 — Karl Weierstrass born 31 October in Ostenfelde, Westphalia (Kingdom of Prussia).

- 1834–1838 — Studies law/finance at Bonn against his will; leaves without a degree.

- 1841–1854 — Works as a schoolteacher in Deutsch-Krone and Braunsberg, researching abelian functions in isolation; develops much of his analysis privately.

- 1854 — Publishes Zur Theorie der Abelschen Functionen in Crelle's Journal; Königsberg awards an honorary doctorate. Sudden fame.

- 1856 — Appointed to the Industry Institute and then the University of Berlin; becomes a leading figure of the "Berlin school."

- 1861 — Construction of an early continuous nowhere-differentiable function (he had examples before public presentation).

- 1872 — Presents his nowhere-differentiable function [6] to the Berlin Academy (published by du Bois-Reymond in 1875), shocking the mathematical community.

- 1870s — Mentors Sofia Kovalevskaya, securing her path to a doctorate (1874) despite institutional exclusion of women.

- 1885 — Proves the Weierstrass Approximation Theorem [3].

- 1897 — Dies 19 February in Berlin of pneumonia, having shaped the foundations of analysis for the entire 20th century.

open-problem

Weierstrass gave the sufficient condition $ab > 1 + \frac{3}{2}\pi$ for non-differentiability; G. H. Hardy (1916) sharpened this to the essentially optimal $ab \ge 1$ (with $a<1$ ). Deeper questions about these functions remain active: the exact Hausdorff dimension of the graph of the classical Weierstrass function was only rigorously determined to equal $2 + \log_b a$ (the "box-counting" value) in full generality by Shen (2018), after decades of partial results. More broadly, the precise multifractal and local-regularity structure of Weierstrass-type and related fractal functions — and their connections to dynamical systems and number theory — continues to generate research.

Formal Statement

The Weierstrass Function

Why It Holds

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also