Un sistema di postulati per la Geometria Projettiva astratta degli iperspazi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
mNessun oggetto della modifica |
||
Riga 19:
Estratto dalla «'''Rivista di Matematica'''», 6(1896.99), pp. 9-16.
Line 34 ⟶ 31:
§ 2. — Il simbolo [O] leggasi «punto projettivo», o «classe dei punti projettivi» e, od anche «spazio generale» e . Il fatto che la parola «punto» denota qui una classe di enti, ossia che ha valore di nome collettivo, può affermarsi esplicitamente con un primo postulato:<br />
(I)
Con un secondo postulato si dirà poi che questa classe non è ''illusoria'', ossia che contiene almeno un individuo:<br />
(II)
Questo ente «punto» non è ''definito'', o (come altri si esprime) è ''definito in sè stesso'' da tutte quelle proprietà che gli verranno attribuite man mano (*). Col postulato seguente s'impone, ad es., che «se ''a'' è un punto, esista ancora un punto diverso da quello»:<br />
(III)
Essendo ''a
(IV) {{Centrato|''a'', ''b'' ∈ [O].''a''- <nowiki>=</nowiki> ''b'':ɔ.''ab'' ∈ K}} destra|{{A Pp.}}
(V) {{Centrato| » » ''b'':ɔ.''ab''ɔ[0]}} {{A destra|Pp.}}
che si potrebbero entrambe racchiudere nell'unica proposizione ''a'', ''b''
(VI) a ,b e [0].a--b:o.ae ab Pp.
(VII) : o ab o ba Pp.
Line 116 ⟶ 114:
(") <ref>Atti d. Accad. d. Scienze di Torino, 1895. Citerò appresso questa memoria col segno m.l.</ref>
("") <ref>In altre due Note, che fan seguito a quella (Atti di Torino, 1896).</ref>
(*) <ref>Astratto, in quanto prescindo da ogni interpretazione fisica delle premesse, e quindi anche dalla loro evidenza, ed intuitività geometrica: a differenza di un altro indirizzo (che chiamerei fisico-geometrico) secondo il quale gli enti primitivi e gli assiomi voglion esser desunti dall'osservazione diretta del mondo esterno, e identificati con lo idee che si acquistano por via d'induzione sperimentale da certi determinati oggetti e fatti fisici (PASCH, {{AutoreCitato|Giuseppe Peano|PEANO}}, ...).</ref>
(") <ref>Ai quali (seguendo in questo il
(*) <ref>Ved. BURALI-FORTI
(") <ref>Questa proposizione, equivalente al prodotto logico di (VII) e (IX), teneva luogo dapprima (m.1, § 2) a questi postulati : la sua scomposizione in (VII) e (IX) trii fa poi suggerita dal sig. Dott. A. PADOA.</ref>
("") <ref>Parola da me proposta per rendere il tedesco « Schein » nel senso di S TALTDT.[2] = p e e [1] . a e [O] - r . p = ar
|