\chapter{Relazioni di equivalenza e applicazioni}

\section{Le relazioni di equivalenza}

Utilizzando le nozioni di base della teoria degli
insiemi è possibile definire formalmente il concetto
di relazione di equivalenza.

Dato un sottoinsieme $R$ di $A \times A$, $R$ si
dice relazione di equivalenza se:

\begin{itemize}
    \item $(a,a) \in R$ (proprietà riflessiva)
    \item $(a,b) \in R \implies (b,a) \in R$ (proprietà simmetrica)
    \item $(a,b), (b,c) \in R \implies (a,c) \in R$ (proprietà transitiva)
\end{itemize}

Tale definizione può essere semplificata
implementando l'operazione binaria $\sim$ tale per cui
$a\sim b \iff (a,b) \in R$. In questo modo, le condizioni
di una relazione di equivalenza $R$ diventano:

\begin{itemize}
    \item $a \sim a$
    \item $a \sim b \implies b \sim a$
    \item $a \sim b \land b \sim c \implies a \sim c$
\end{itemize}

\begin{lemma}
    Definita una relazione di equivalenza $R$ con operazione
    binaria $\sim$, $a \sim b \land c \sim b \implies a \sim c$.
\end{lemma}

\begin{proof}
    Dalla proprietà riflessiva di $R$, $c \sim b \implies b \sim c$.
    Verificandosi sia $a \sim b$ che $b \sim c$, si applica la proprietà
    transitiva di $R$, che implica $a \sim c$.
\end{proof}

\subsection{Classi di equivalenza}

Si definisce classe di equivalenza di $a$ per un certo insieme
$A$ e una certa relazione di equivalenza $R$ l'insieme
$\cl(a)=\{x \in A \mid a \sim x\}$, ossia l'insieme di tutti i punti che
si relazionano ad $a$ mediante tale relazione di equivalenza.

\begin{theorem}
    Le classi di equivalenza partizionano l'insieme di relazione
    in insiemi a due a due disgiunti.
\end{theorem}

\begin{proof}
    Prima di tutto è necessario dimostrare che l'unione di tutte
    le classi di equivalenza dà luogo all'insieme di relazione $A$.

    Per ogni elemento $a \in A$, $a$ appartiene a $\cl(a)$ per la proprietà
    riflessiva di $R$, ossia della relazione di equivalenza su cui
    $\cl$ è definita. Pertanto $\bigcup_{a \in A} \cl(a)$, che contiene solo
    elementi di $A$, è uguale ad $A$.

    In secondo luogo, è necessario dimostrare che le classi di equivalenza
    sono o disgiunte o identiche. Ponendo l'esistenza
    di un $a \in \cl(x) \, \cap \, \cl(y)$, la dimostrazione deriva dalle proprietà
    di $R$: sia $b \in cl(x)$, allora $b \sim a$; dunque, dal momento che $b \sim a$ e che
    $a \sim y$, $b \sim y$, ossia $\cl(x) \subseteq \cl(y)$ (analogamente si ottiene
    $\cl(y) \subseteq \cl(x)$, e quindi $\cl(x) = \cl(y)$).
\end{proof}

\begin{theorem}
    Data una partizione di un insieme che lo compone in insiemi a due
    a due disgiunti, è sempre possibile costruire delle classi di equivalenza.
\end{theorem}

\begin{proof}
    Vogliamo dimostrare che, data la stessa appartenenza ad un insieme come relazione,
    essa è una relazione di equivalenza.

    Sicuramente $a \sim a$ (proprietà riflessiva).
    Inoltre, $a \sim b \implies a, b \in A_\alpha \implies b \sim a$
    (proprietà simmetrica).
    Infine, $a \sim b, \, b \sim c \implies a, b, c \in A_\alpha \implies a \sim c$
    (proprietà transitiva).

    In particolare, dato $a \in A_\alpha$, $\cl(a) = A_\alpha$.
\end{proof}

\section{Le applicazioni}

La nozione di applicazione di un insieme in un altro ci permette
di generalizzare, ma soprattutto di definire, il concetto di
funzione.

\begin{definition}[Applicazione]
    Dati due insiemi $S$ e $T$, si dice che $\sigma$ è un'applicazione
    da $S$ a $T$, se $\sigma \subseteq S \times T \land \forall s \in S, \existsone
        t \in T \mid (s, t) \in \sigma$. Tale applicazione allora si scrive come
    $\sigma : S \to T$.
\end{definition}

Si scrive $\sigma : s \rightarrowtail \sigma(s)$ per sottintendere che
$\forall \, (s, t) \in \sigma, (s, t) = (s, \sigma(t))$.

\subsection{Proprietà delle applicazioni}

\begin{definition}[Iniettività]
    Un'applicazione si dice iniettiva se ad ogni immagine
    è corrisposto al più un elemento, ossia anche che
    $s_1 \neq s_2 \implies \sigma(s_1) \neq \sigma(s_2)$.
\end{definition}

\begin{definition}[Surgettività]
    Un'applicazione si dice surgettiva (o talvolta \textit{su $T$}) se ad ogni immagine
    è corrisposto almeno un elemento, ossia anche che
    $\forall t \in T, \exists s \mid \sigma(s) = t$.
\end{definition}

\begin{definition}[Bigettività]
    Un'applicazione si dice bigettiva se è sia iniettiva che
    suriettiva, ossia se $\forall t \in T, \existsone s \in S
        \mid \sigma(s) = t$.
\end{definition}

\subsection{Composizione di applicazioni}

\begin{definition}[Composizione]
    Date due applicazioni $\sigma : S \to T$ e
    $\tau : T \to U$, si può definire
    un'applicazione detta composizione
    $(\tau \circ \sigma) : S \to U$, tale per cui
    $(\tau \circ \sigma) : s \mapsto \tau(\sigma(s))$.
\end{definition}

Dobbiamo tuttavia assicurarci che tale applicazione
possa esistere, ossia verificare che $\forall s \in S \existsone
    u \in U \mid (s, u) \in S \times U$; quindi che $\tau(\sigma(s))$
sia unico. Tuttavia questa proprietà è banale: $\sigma(s)$ è Sicuramente
unico poiché $\sigma$ è un'applicazione, e pertanto $\tau(\sigma(s))$ lo è,
essendo anch'essa un'applicazione.

\subsubsection{Proprietà associativa della composizione}

È inoltre interessante dimostrare che la composizione rispetta la proprietà associativa,
ossia che $(\alpha \circ \beta) \circ \gamma = \alpha \circ (\beta \circ \gamma)$.

\begin{lemma}[Proprietà associativa della composizione]
    Date tre applicazioni $\alpha$, $\beta$, $\gamma$,
    $(\alpha \circ \beta) \circ \gamma = \alpha \circ (\beta \circ \gamma)$.
\end{lemma}

\begin{proof}
    Preso un $a$ appartenente al dominio di $\gamma$, per il primo membro abbiamo:

    $$((\alpha \circ \beta) \circ \gamma)(a) = (\alpha \circ \beta)(\gamma(a)) =
        \alpha(\beta(\gamma(a)))$$

    Analogamente per il secondo membro abbiamo:

    $$(\alpha \circ (\beta \circ \gamma))(a) = \alpha((\beta \circ \gamma)(a)) =
        \alpha(\beta(\gamma(a)))$$
\end{proof}

\subsubsection{Iniettività, surgettività e bigettività della composizione}

L'iniettività, la surgettività e la bigettività di una composizione sono
ereditate dalle applicazioni di cui è composta se tutte queste le rispettano, ossia:

\begin{itemize}
    \item $(\tau \circ \sigma)$ è iniettiva se $\tau$ e $\sigma$ lo sono.
    \item $(\tau \circ \sigma)$ è surgettiva se $\tau$ e $\sigma$ lo sono.
    \item $(\tau \circ \sigma)$ è bigettiva se $\tau$ e $\sigma$ lo sono.
\end{itemize}

\begin{lemma}[Iniettività della composizione]
    \label{lemma:iniettivita_composizione}
    $(\tau \circ \sigma)$ è iniettiva se $\tau$ e $\sigma$ lo sono.
\end{lemma}

\begin{proof}
    Dal momento che $\sigma$ è iniettiva $s_1 \neq s_2 \implies \sigma(s_1) \neq \sigma(s_2)$,
    ma a sua volta, essendo $\tau$ iniettiva, $\sigma(s_1) \neq \sigma(s_2) \implies
        \tau(\sigma(s_1)) \neq \tau(\sigma(s_2))$.
\end{proof}

\begin{lemma}[Surgettività della composizione]
    \label{lemma:surgettivita_composizione}
    $(\tau \circ \sigma)$ è surgettiva se $\tau$ e $\sigma$ lo sono.
\end{lemma}

\begin{proof}
    Dal momento che $\sigma$ è surgettiva $\forall s \in \Dom(\sigma),
        \exists t \in \Codom(\sigma) \mid t = \sigma(s)$. Tuttavia, essendo $t \in \Dom(\tau)$,
    $\exists u \in \Codom(\tau) \mid u = \tau(t) = \tau(\sigma(s))$.
\end{proof}

\begin{lemma}[Bigettività della composizione]
    $(\tau \circ \sigma)$ è bigettiva se $\tau$ e $\sigma$ lo sono.
\end{lemma}

\begin{proof}
    Se $\tau$ e $\sigma$ sono bigettive, sono sia iniettive che surgettive;
    pertanto $(\tau \circ \sigma)$ è sia iniettiva che bigettiva per i
    lemmi \ref{lemma:iniettivita_composizione} e
    \ref{lemma:surgettivita_composizione}.
\end{proof}