Weierstrass Function
A continuous function nowhere differentiable.
Key idea
A continuous function nowhere differentiable.
In depth
W(x) = Σ aⁿ cos(bⁿπx), with 0 < a < 1 and ab > 1 + 3π/2, is continuous everywhere but differentiable nowhere. It shattered the 19th-century belief that continuous functions are mostly smooth.
Worked example
Zooming into the graph shows the same jagged detail at every scale, as in a fractal.
Real-world uses
- Showing that some continuous curves have no tangent at any point
- Models of rough surfaces
Common mistake
Thinking such a function cannot be defined by a formula.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Weierstrass Function?
A continuous function nowhere differentiable. It is a topic at the expert level in Analysis & Topology.
Where is Weierstrass Function used in real life?
Real-world examples: Showing that some continuous curves have no tangent at any point; Models of rough surfaces.
What should I learn before Weierstrass Function?
Make sure you are comfortable with Differentiability and Continuity, the previous topic in Analysis & Topology.
What is a common mistake with Weierstrass Function?
Thinking such a function cannot be defined by a formula.
How can I practise Weierstrass Function?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Weierstrass Function?
Move on to Darboux’s Theorem next.
Related expert topics in Analysis & Topology
- Axioms of the Real Numbers – ℝ is a complete ordered field.
- Completeness and Supremum – Every nonempty bounded-above set has a least upper bound.
- Archimedean Property – For any real x there is an integer n > x.
- Density of Rationals – Between any two reals there is a rational.
- Sequences and Convergence (ε–N) – aₙ → L if for every ε>0 eventually |aₙ − L| < ε.
- Limit Theorems for Sequences – Algebra of limits and squeeze theorem.