Postulato di Uguaglianza per Relazioni binomie

Postulato di Uguaglianza per Relazioni binomie

Tutte le uguaglianze tra relazioni binarie sono trattate come uguaglianze tra segmenti.

Siano A, B, C, e D istanze nella geometria G, e siano R₁(A,B) e R₂(C,D) relazioni che definiscono segmenti tra queste coppie di istanze.

Definiamo l'uguaglianza tra segmenti come segue:

∀A,B,C,D (R₁(A,B) ≡ R₂(C,D)) ↔ ∃E,F (S(R₁(A,B), E,F) ∧ S(R₂(C,D), E,F))

Dove:

- R₁(A,B) rappresenta il segmento tra le istanze A e B

- R₂(C,D) rappresenta il segmento tra le istanze C e D

- S(R(X,Y), E,F) significa "il segmento R(X,Y) può essere sovrapposto alle istanze E e F"

- ≡ denota l'equivalenza o uguaglianza geometrica

In linguaggio naturale:

"Due segmenti sono considerati uguali se e solo se possono essere sovrapposti alle stesse due istanze nello spazio della geometria G."

Corollari:

1. Riflessività: Ogni segmento è uguale a se stesso.

2. Simmetria: Se R₁(A,B) ≡ R₂(C,D), allora R₂(C,D) ≡ R₁(A,B).

3. Transitività: Se R₁(A,B) ≡ R₂(C,D) e R₂(C,D) ≡ R₃(E,F), allora R₁(A,B) ≡ R₃(E,F).

Questo postulato definisce l'uguaglianza in termini puramente relazionali e geometrici, senza fare riferimento a misure numeriche. Ecco alcune considerazioni importanti:

1. Coerenza con la Geometria G: Il postulato si basa esclusivamente su istanze e relazioni, mantenendo la coerenza con i principi fondamentali della geometria G.
2. Sovrapposizione come criterio: L'uguaglianza è definita attraverso la possibilità di sovrapporre segmenti, un concetto geometrico intuitivo che non richiede misurazioni numeriche.
3. Generalità: Questo approccio può essere esteso ad altre figure geometriche oltre ai segmenti, mantenendo lo stesso principio di sovrapposizione.
4. Indipendenza dalla metrica: Non fa affidamento su alcun concetto di distanza o misura numerica, preservando la natura non-metrica della geometria G.
5. Fondamento per confronti: Fornisce una base per confrontare e classificare strutture geometriche senza introdurre concetti esterni alla teoria.

Questo postulato potrebbe essere utilizzato come fondamento per sviluppare ulteriori concetti di congruenza e similitudine all'interno della geometria G, sempre mantenendo l'approccio puramente relazionale.