Zerschmetterte Menge
# Zerschmetterte Menge

Eine zerschmetterte Menge (englisch shattered set) ist in der Mathematik ein Konzept aus den Bereichen Maschinenlernen, Datenanalyse und Mengenlehre.
Der Begriff wurde von J. Michael Steele 1975 in seiner Dissertation eingeführt. Es wird unter anderem in der Vapnik-Chernovensky-Theorie (VC-Theorie) des Maschinenlernens verwendet.

## Definition

Sei $(X,{\mathcal {F}})$ ein Mengensystem und $A\subseteq X$. $A$ wird ${\mathcal {F}}$-zerschmettert genau dann, wenn $\{\,F\cap A|F\in {\mathcal {F}}\,\}={\mathcal {P}}(A)$ mit ${\mathcal {P}}(A)$ der Potenzmenge von A, d. h. genau dann, wenn man jede beliebige Teilmenge von $A$ durch Schnitt eines Elements von ${\mathcal {F}}$ mit $A$ erzeugen kann.

## Beispiel
### Halbebenen und Dreiermengen in der Ebene

Sei $X=\mathbb {R} ^{2}$ und ${\mathcal {F}}$ die Menge aller abgeschlossenen Halbebenen in $\mathbb {R} ^{2}$. Seien außerdem $x,y,z\in \mathbb {R}$ und $A=\{x,y,z\}$, wobei $x$, $y$ und $z$ nicht auf einer Gerade liegen (d. h., $\alpha x+\beta y+\gamma z\neq 0$ für alle $\alpha ,\beta ,\gamma \in \mathbb {R} \setminus \{0\}$). Dann wird $A$ von ${\mathcal {F}}$ zerschmettert, da man jede der acht Teilmengen der drei Punkte mittels einer abgeschlossenen Halbebene separieren kann.
Sind $x$, $y$ und $z$ dagegen kollineare Punkte (alle auf einer Geraden), so kann der mittlere Punkt nicht von den anderen beiden separiert werden und somit wird $A$ nicht von ${\mathcal {F}}$ zerschmettert.

### Maschinenlernen

Beim Maschinenlernen ist $A$ meist eine Menge möglicher Ergebnisse entsprechend einer bestimmten Verteilung und ${\mathcal {F}}$ stellt eine Menge von bekannten Regeln dar. $A$ wird dann ${\mathcal {F}}$-zerschmettert, falls grob gesprochen alle Ergebnisse der Verteilung sich aus der Kenntnis der Regeln ergeben.