Shattered set

The concept of shattered sets plays an important role in Vapnik–Chervonenkis theory, also known as VC-theory. Shattering and VC-theory are used in the study of empirical processes as well as in statistical computational learning theory.

Suppose A is a set and C is a class of sets. The class C shatters the set A if for each subset a of A, there is some element c of C such that

Equivalently, C shatters A when the power set P(A) = { c ∩ A | c ∈ C }.

We employ the letter C to refer to a "class" or "collection" of sets, as in a Vapnik–Chervonenkis class (VC-class). The set A is often assumed to be finite because, in empirical processes, we are interested in the shattering of finite sets of data points.

We will show that the class of all discs in the plane (two-dimensional space) does not shatter every set of four points on the unit circle, yet the class of all convex sets in the plane does shatter every finite set of points on the unit circle.

Let A be a set of four points on the unit circle and let C be the class of all discs.

To test where C shatters A, we attempt to draw a disc around every subset of points in A. First, we draw a disc around the subsets of each isolated point. Next, we try to draw a disc around every subset of point pairs. This turns out to be doable for adjacent points, but impossible for points on opposite sides of the circle. As visualized below:

Each individual point can be isolated with a disc (showing all four).

Each subset of adjacent points can be isolated with a disc (showing one of four).

A subset of points on opposite sides of the unit circle can not be isolated with a disc.

Because there is some subset which can not be isolated by any disc in C, we conclude then that A is not shattered by C. And, with a bit of thought, we can prove that no set of four points is shattered by this C.

...
Wikipedia