Italian mathematician · real analysis & measure theory

GiuseppeVitali

Ravenna, 26 August 1875 — Bologna, 29 February 1932

He reached into the unit interval and chose one point from each of uncountably many families — and built a set that length itself cannot define.

Construct it

THE SIGNATURE OBJECT · 1905

A set you can define, yet cannot measure

Before Vitali, it was tacitly assumed every set of real numbers had a length. He produced a counterexample by an act of pure choice. Build it below.

0 1 the interval [0, 1] V = { one point per class }

Start with the unit interval. Press 1 to split it into classes.

A finite caricature of an infinite construction: the real partition has uncountably many classes, each one dense in [0, 1]. Selecting a representative from every class at once needs the axiom of choice.

why it breaks

Slide V by every rational in [−1, 1]. The copies are disjoint, and together they cover [0, 1] while staying inside [−1, 2].

the squeeze

Suppose V had a length m. Countably many disjoint copies, each of length m, must total a number between 1 and 3.

contradiction

If m = 0 the total is 0 — too small. If m > 0 the total is — too large. No value of m works, so V has no length at all.

THE LIFE

A schoolteacher who rebuilt the continuum

Vitali studied at the Scuola Normale Superiore in Pisa, under Ulisse Dini and Luigi Bianchi, in the years when Lebesgue's new theory of measure was reshaping analysis. His most influential ideas — the non-measurable set, the covering theorem, a clean characterization of absolutely continuous functions — arrived in a remarkable burst in the first decade of the century.

Then research went quiet. For roughly two decades he taught in secondary schools and was active in public and political life, far from a university chair. He returned to the academic world only in his late forties, winning a professorship at Modena and moving on to Padua and finally Bologna.

His last years were shadowed by illness — a paralysis that cost him the use of an arm — yet he kept publishing, turning toward differential geometry and the geometry of infinite-dimensional spaces. He died suddenly in Bologna in 1932, on a leap day.

  • 1875Born in Ravennaon the Adriatic coast of Romagna
  • 1895–99Studies at the Scuola Normale, Pisaunder Dini and Bianchi
  • 1904–05Absolute continuity & the non-measurable sethis decisive contributions to measure theory
  • 1908The Vitali covering theorem
  • ~1904–23Two decades teaching in liceolargely outside academic research
  • 1923Professor at Modenathen Padua, then Bologna
  • 1932Dies in Bologna, 29 February

THE LEGACY · SIX THINGS THAT CARRY HIS NAME

Theorems and objects named for Vitali

I

The Vitali set 1905

The first explicit set of real numbers that is not Lebesgue measurable. It showed that not every subset of the line can be assigned a length, and that some such limit is unavoidable once the axiom of choice is admitted.

II

The Vitali covering theorem 1908

If a set is covered by intervals in a fine (Vitali) sense — arbitrarily small intervals around each point — one can select countably many disjoint ones covering almost all of it. A cornerstone of differentiation theory.

III

Absolutely continuous functions

Vitali identified absolute continuity as exactly the condition under which a function is the integral of its derivative — the Lebesgue-integral form of the fundamental theorem of calculus.

IV

The Vitali convergence theorem

A sharp criterion — uniform integrability — telling you when the limit of a sequence of integrals equals the integral of the limit, generalizing dominated convergence.

V

The Vitali–Hahn–Saks theorem

A foundational result in functional analysis on the uniform behaviour of sequences of measures, joining his name to Hans Hahn and Stanisław Saks.

VI

Later geometry

In his final years he extended differential and "absolute" calculus to infinite-dimensional and more general spaces, anticipating directions that functional analysis would later pursue.

a fine cover — many small intervals a disjoint subcover — covers almost everything

The covering theorem, in one line.