Definizione geometrica di linea, superficie, solido. (Q1466286)

Die Definition geschieht mit Hilfe des Begriffs der Ableitungsmenge (der seinerseits in dieser Note aus dem Distanzbegriff gewonnen wird). Eine mit ihrer Ableitungsmenge identische ``Figur'' wird perfekt genannt, eine gegen ihre Ableitungsmenge punktfremde Figur (aus isolierten Punkten bestehend) als \(F_0\) (von nullter Dimension) bezeichnet. Die mit Hilfe der Peanosymbolik geschriebene Definition von Linie \((F_1),\) Fläche \((F_2),\) Körper \((F_3)\) lautet übersetzt etwa so: ``Für \(r = 1, 2, 3\) ist der Reihe nach eine geometrische Figur eine \(F_r,\) wenn es durch jeden Punkt von ihr mindestens eine Ebene gibt, die eine \(F_{r-1},\) ausschneidet.'' Der Fall \(r =1\) im besonderen ist also auf die erwähnte \(F_0\) zurückgeführt. Ähnliche Definitionen sind für mehrdimensionale Räume naheliegend.