Vai al contenuto

Relazione seriale

Da Wikipedia, l'enciclopedia libera.

Nella teoria degli insiemi, una relazione seriale è una relazione omogenea che esprime la connessione di un elemento di una sequenza con l'elemento successivo. La funzione successore usata da Peano per definire i numeri naturali è il prototipo di una relazione seriale.

Bertrand Russell utilizzò le relazioni seriali in The Principles of Mathematics[1] (del 1903), mentre esplorava i fondamenti della teoria degli ordini e le sue applicazioni. Il termine "relazione seriale" fu impiegato anche da BA Bernstein per un articolo che mostra che particolari assiomi comuni nella teoria degli ordini sono quasi incompatibili: connessione, irreflessività e transitività.[2]

Una relazione seriale R è un'endorelazione su un insieme U. Come affermato da Russell , dove i quantificatori universali ed esistenziali si riferiscono a U. Nel linguaggio delle relazioni contemporaneo, questa proprietà definisce una relazione totale. Ma una relazione totale può essere eterogenea. Le relazioni seriali sono di interesse storico.

Per una relazione seriale R, sia (y: xRy) il "successore prossimo" di x. Una relazione seriale può essere equivalentemente caratterizzata come una relazione per la quale ogni elemento possiede un successore prossimo non vuoto. Allo stesso modo, una relazione seriale inversa è una relazione in cui ogni elemento ha un "predecessore prossimo" non vuoto.[3]

Nella logica modale normale, l'estensione dell'insieme di assiomi fondamentali K per la proprietà seriale risulta in un insieme di assiomi D.[4]

Serie di Russell

[modifica | modifica wikitesto]

Le relazioni seriali sono usate per sviluppare le serie matematiche in The Principles of Mathematics. Il prototipo è la funzione successore di Peano come relazione uno-a-uno sui numeri naturali. La serie di Russell può essere finita o generata da una relazione che dà luogo a un ordine ciclico. In tal caso, per la descrizione viene utilizzata la relazione di separazione delle coppie di punti. Quindi i numeri ordinali sono derivati da progressioni, quelli finiti sono ordinali finiti.[1][5] Distinguendo fra serie aperte e chiuse[6], si ottengono 4 ordini totali: finito, con una fine, senza fine e aperto, e senza fine e chiuso.[7]

Contrariamente ad altri autori, Russell ammette gli ordinali negativi. Per la motivazione, considera le scale di misurazione che adottano la notazione scientifica, dove una potenza di dieci rappresenta ina scala logaritmica una decade di misura. Esso corrisponde all'ordine di grandezza che può assumere valori sia positivi che negativi.

Russell adottò il termine "tratto" (in inglese. stretch) da Meinong il quale aveva contribuito alla teoria della distanza.[8] "Tratto" si riferisce ai termini intermedi tra due punti in una serie, laddove "il numero di termini misura la distanza e la divisibilità dell'intero".[9]

Per spiegare Meinong, Russell si riferisce alla metrica di Cayley-Klein, che usa coordinate in rapporti anarmonici che determinano la distanza usando il logaritmo.[10][11]

  1. ^ a b Russell, Bertrand, Principles of mathematics, ISBN 978-1-136-76573-5, OCLC 1203009858.
  2. ^ B. A. Bernstein (1926) "On the Serial Relations in Boolean Algebras", Bulletin of the American Mathematical Society 32(5): 523,4
  3. ^ Y. Yao, Semantics of Fuzzy Sets in Rough Set Theory, in Transactions on Rough Sets II, Lecture Notes in Computer Science, vol. 3135, 2004, pp. 309, DOI:10.1007/978-3-540-27778-1_15, ISBN 978-3-540-23990-1.
  4. ^ James Garson (2013) Modal Logic for Philosophers, chapter 11: Relationships between modal logics, figure 11.1 page 220, Cambridge University Press DOI10.1017/CBO97811393421117.014
  5. ^ ivi: Cap. 28: Progressions and ordinal numbers
  6. ^ Russell (1903), p. 234.
  7. ^ Russell (1903), p. 202.
  8. ^ Alexius Meinong (1896) Uber die Bedeutung der Weberische Gesetze
  9. ^ Russell (1903), p. 181.
  10. ^ Russell (1903), p. 255.
  11. ^ Russell (1897) An Essay on the Foundations of Geometry

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica