Relazione (matematica): differenze tra le versioni
riscritta distinguendo la definizione dalle varie applicazioni
Nessun oggetto della modifica |
(riscritta distinguendo la definizione dalle varie applicazioni) |
||
|
{{C|Termini colloquiali come "si intende, grosso modo," ; termini poco comprensibili e non so se corretti come " sono distinte primariamente secondo la loro arietà", ecc.|matematica|aprile 2012}}
In [[matematica]] una '''relazione''' un collegamento tra elementi di diversi insiemi, più precisamente un [[sottoinsieme]] del [[prodotto cartesiano]] di due o più [[insieme|insiemi]].
Un esempio di relazione è l'usuale [[relazione d'ordine]] ''maggiore'' sui numeri reali.
==
=== Relazione tra due insiemi ===
Una relazione tra due insiemi <math>A</math> e <math>B</math> (o [[relazione binaria]]) è un sottoinsieme del loro prodotto cartesiano, <math>R\subset A\times B</math>.
Si utilizzano in maniera equivalente le notazioni
:<math>R(a,b)</math>
:<math>aRb</math>
e quando sono verificate si dice che <math>a</math> è in relazione con <math>b</math> (secondo la relazione <math>R</math>).
=== Relazione tra più di due insiemi ===
Una relazione tra ''n'' insiemi <math>S_1,\ldots,S_n</math> è un sottoinsieme del loro prodotto cartesiano <math>S_1\times\ldots\times S_n</math>, ovvero un insieme di [[ennupla|''n''-uple]] <math>(s_1,\ldots,s_n)</math>. È anche detta ''relazione ''n''-aria'' (in casi specifici anche ternaria, quaternaria, eccetera).
Si utilizzano in maniera equivalente le notazioni
:<math>(s_1,\ldots,s_n)\in R</math>
:<math>R(s_1,\ldots,s_n)</math>
Più in generale, una relazione su una famiglia di insiemi <math>\mathcal{F}=\{S_i\}i\in I</math> è un sottoinsieme del loro prodotto cartesiano <math>\prod_{i\in I}S_i</math>.
Formalmente è possibile definire una relazione su un solo insieme <math>A</math> (anche detta una ''relazione unaria'' o [[proprietà (matematica)|proprietà]]):
:<math>R=\{a\in A\mid R(a)\}</math>
L'insieme <math>R</math> è (banalmente) l'insieme degli elementi che godono della proprietà di appartenere ad <math>R</math>.
== Esempi ==
* L'ordine stretto ''maggiore'' sui numeri reali mette in relazione coppie di numeri reali
:<math>R=\{(a,b)\in\mathbb{R}\times\mathbb{R}\mid a>b\}</math>
ovvero <math>a\in\mathbb{R}</math> è in relazione ''maggiore'' con <math>b\in\mathbb{R}</math> quando <math>a>b</math> (cioè <math>aRb</math>).
* Sui numeri naturali, la differenza <math>a-b=c</math> mette in relazione triple <math>(a,b,c)</math> secondo
:<math>R=\{(a,b,c)\in\mathbb{N}^3\mid a-b=c\}</math>
* Ogni funzione <math>f\colon A\to B</math> è una relazione
:<math>R_f=\{(a,b)\in A\times B\mid f(a)=b\}</math>
e può essere identificata con il [[grafico di una funzione|suo grafico]].
* Su numeri reali la ''positività'' (<math>x\geqslant0</math>) è una relazione:
:<math>R=\{x\in\mathbb{R}\mid x\geqslant 0\}</math>
* Una [[relazione di equivalenza]] è una relazione.
== Applicazioni ==
=== Informatica ===
Le "relazioni" che vengono utilizzate nelle [[basi di dati]] sono davvero delle relazioni:
* nel [[modello E-R|modello entità-relazioni]] le ''relazioni'' sono relazioni tra gli insiemi ''entità''
* nel [[modello relazionale]] le ''relazioni'' sono relazioni tra gli insiemi ''domini''; la rappresentazione tabulare delle ''t-uple'' è la [[Insieme#Descrizioni di insiemi|rappresentazione per elencazione]] delle [[n-uple]] (in [[lingua inglese|inglese]] ''t-uples'').
▲:<math>R(x_1,x_2,\dotsb)</math>
== Voci correlate ==
* [[Ennupla]]
* [[
* [[Proprietà (matematica)]]
* [[Relazione binaria]]
* [[Relazione d'ordine]]
* [[Relazione di equivalenza]]
* [[Algebra relazionale]]
* [[Modello relazionale]]
[[Categoria:Matematica di base]]
[[Categoria:Teoria degli insiemi]]
[[Categoria:Teorie su base dati]]
[[be:Адносіна]]
| |||