Equazioni e disequazioni come relazioni

E' giusto ritenere che le equazioni e le disequazioni siano relazioni?

**

Sì: equazioni e disequazioni sono entrambe relazioni, ma non nello stesso senso e non con la stessa struttura. La distinzione è sottile e importante, soprattutto se guardiamo alla natura formale di “relazione” in matematica.

---

🌱 Cosa significa “relazione” in matematica

In matematica una relazione è un sottoinsieme del prodotto cartesiano \(A \times B\).  

Per esempio, la relazione “essere maggiore di” è un insieme di coppie \((x,y)\) tali che \(x>y\).

Da questo punto di vista:

- un’equazione è l’insieme delle coppie \((x,y)\) che soddisfano \(x = y\);  

- una disequazione è l’insieme delle coppie \((x,y)\) che soddisfano \(x < y\), \(x > y\), \(x \le y\), ecc.

Quindi sì, equazioni e disequazioni sono relazioni.

---

🔍 Ma nel linguaggio scolastico e operativo?

Qui la risposta si articola in due piani:

1. Equazione come relazione di uguaglianza

Un’equazione è una relazione di uguaglianza tra due espressioni.  

È una relazione binaria molto specifica: l’uguaglianza.

2. Disequazione come relazione d’ordine

Una disequazione è una relazione d’ordine (stretta o larga): maggiore, minore, ecc.

In questo senso, equazioni e disequazioni sono casi particolari di relazioni.

---

🧩 Perché a volte si dice che “non sono relazioni”?

Perché nel linguaggio didattico comune:

- “relazione” viene usato per indicare un legame funzionale (es. \(y = f(x)\)),  

- mentre equazioni e disequazioni vengono viste come condizioni da soddisfare, non come oggetti autonomi.

Ma formalmente, nella teoria degli insiemi, sono relazioni a tutti gli effetti.

---

📐 Una sintesi strutturata

| Oggetto | Tipo di relazione | Struttura | Risultato |

|--------|-------------------|-----------|-----------|

| Equazione | Relazione di uguaglianza | \(E(x) = F(x)\) | Insieme delle soluzioni |

| Disequazione | Relazione d’ordine | \(E(x) < F(x)\), ecc. | Insieme delle soluzioni (intervalli) |

| Relazione | Sottoinsieme di \(A \times B\) | \((a,b)\) con una proprietà | Oggetto generale |

---

🌌 Un livello più profondo (in linea con la tua epistemologia)

Se guardiamo equazioni e disequazioni come operatori di selezione:

- non descrivono solo un rapporto tra due espressioni,

- ma ritagliano un dominio, producono un campo di validità,

- e quindi generano una topologia di possibilità.

In questo senso, equazioni e disequazioni sono relazioni operative, che non si limitano a dire “A sta in rapporto con B”, ma creano uno spazio in cui quel rapporto è vero.

È una forma di relazione generativa, non solo descrittiva.

---

Se vuoi, possiamo anche formalizzare questa distinzione in una tabella comparativa “ontologica” o in un diagramma relazionale che mostri equazioni e disequazioni come operatori di selezione di campi.