Relazione binaria
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.
Definizione
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 .
Tipologia
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:
- relazione riflessiva
- relazione antiriflessiva
- relazione simmetrica
- relazione antisimmetrica
- relazione di preordine
- relazione transitiva
- relazione di equivalenza
- relazione d'ordine
- relazione tricotomica
- funzione (matematica)
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é.
Note
- ^ Reed, Simon, Pag. 1.
- ^ Reed, Simon, Pag. 2.
Bibliografia
- 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.
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file sulla relazione binaria
Collegamenti esterni
- relazione binaria, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) binary relation, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Denis Howe, binary relation, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
V · D · M | |
---|---|
Insiemi numerici | Naturali · Interi · Razionali · Reali · Complessi |
Teoria ingenua degli insiemi (o di Cantor) | Insieme vuoto · Insieme universo · Sottoinsieme · Insieme potenza · Insieme complemento · Unione · Intersezione · Coppia ordinata · Prodotto cartesiano · Paradosso di Russell · Paradosso di Burali-Forti |
Teoria assiomatica degli insiemi | Assioma · Assiomi di Peano · Teoria degli insiemi di Zermelo · Teoria degli insiemi di Zermelo-Fraenkel · Assioma della scelta · Lemma di Zorn · Teoria degli insiemi di Von Neumann-Bernays-Gödel |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)