Relazione binaria

un qualunque insieme di coppie ordinate

In matematica, una relazione binaria definita di un insieme, anche detta relazione o corrispondenza tra due oggetti, è un elenco di coppie ordinate di elementi appartenenti all'insieme. In modo equivalente, una relazione binaria è un sottoinsieme del prodotto cartesiano di un insieme con se stesso.

DefinizioneModifica

Dati due insiemi   e  , il loro prodotto cartesiano è l'insieme delle coppie ordinate definito nel modo seguente:[1]

 

Si definisce relazione binaria   tra due insiemi non vuoti   e   un sottoinsieme di  .[2] Due elementi   e   sono messi in relazione da   se:

 

ed in tal caso si scrive  .

Per le relazioni binarie è molto comune usare notazioni infisse della forma   per esprimere il fatto che la coppia   appartiene ad  , cioè per individuare singoli. Tipicamente per indicare che il numero reale x è minore del numero reale y è usuale scrivere  , mentre per ricondursi strettamente alla definizione generale si dovrebbe scrivere  .

TipologiaModifica

La nozione di relazione è estremamente generale e da certi punti di vista, assai generica. La sua precisazione comunque ha contribuito in modo decisivo a porre ordine in moltissimi risultati della matematica e delle sue applicazioni che erano stati ottenuti in studi specifici e venivano proposte mediante enunciazioni anche molto scoordinate. La generalità della nozione implica che nella matematica e in tutti i settori applicativi che si servono di modelli matematici si incontrano moltissime relazioni. Come è prevedibile, le svariate relazioni presentano caratteristiche anche molto diverse ed è opportuno classificarle con cura.

Le relazioni si distinguono sia per la natura dei prodotti cartesiani nei quali si collocano, sia per le loro caratteristiche come insiemi di coppie.

Secondo il primo punto di vista si distinguono, in particolare,

  • le relazioni fra insiemi finiti (come quelle riguardanti gradi di parentela in un ambito familiare);
  • le relazioni fra insiemi numerabili (come la relazione di divisibilità fra interi positivi);
  • le relazioni fra insiemi continui (come le relazioni fra numeri reali, ad es. curve piane come le spirali, le funzioni di variabile reale o complessa e le superfici nello spazio tridimensionalele).

Va osservato che le relazioni binarie finite equivalgono ai digrafi, cioè ai grafi orientati.

Dal punto di vista delle caratteristiche degli insiemi di coppie si distinguono i seguenti tipi di relazione:

Alcune possono implicarne altre ad esempio la relazione d'ordine implica la riflessiva, la antisimmetrica e la transitiva

Queste proprietà sono in genere riferite alle relazioni di un insieme in sé.

NoteModifica

  1. ^ Reed, Simon, Pag. 1.
  2. ^ Reed, Simon, Pag. 2.

BibliografiaModifica

  • Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2ª ed., San Diego, California, Academic press inc., 1980, ISBN 0-12-585050-6.

Collegamenti esterniModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica