da killing_buddha » 31/05/2017, 09:13
Se $S,T$ sono due insiemi non vuoti e chiamo $F(S,T)$ l'insieme delle funzioni parziali \(S\to T\) (chiaramente questo contiene \(\hom_{\bf Set}(S,T)\) come sottoinsieme delle funzioni totali), certamente il sottoinsieme delle funzioni parziali che hanno per dominio un singoletto \(\{s_0\}\subseteq S\) è in generale un sottoinsieme di $F(S,T)$, che diventa un sottoinsieme discreto quando introduci su $F(S,T)$ la relazione d'ordine $f\le g$ sse \(dom(f) \subseteq dom(g)\) e $g|_{dom(f)}=f$.
Altrettanto certamente però ci sono molte altre funzioni in $F(S,T)$, ad esempio quelle che sono definite su insiemi via via crescenti.
Il risultato che citi dovrebbe potersi dimostrare così: esiste almeno una funzione \(S\to T\) (perché il prodotto di insiemi entrambi non vuoti è non vuoto); allora se scegli un elemento qualsiasi di $S$ (che è non vuoto) e lo chiami $s_0$, definisci per induzione transfinita una catena in cui ad ogni passo scegli un elemento \(s_{\kappa+1} \in S \setminus \{s_i\mid i\le \kappa\}\) -o qualcosa di analogo per un passo limite (quello che in effetti stai facendo segretamente è scegliere un buon ordine per $S$, mettendolo in biiezione con un ordinale e inducendo su di lui un ordine totale e buono attraverso una filtrazione \(\{s_0\} \subseteq \{s_0, s_1\}\subseteq\dots\)). Chiaramente questo processo si deve fermare quando hai enumerato tutti gli elementi di $S$. Ora, la successione (possibilmente transfinita) di funzioni \(f|_{S_i}\) è una catena.
Mi aspetto che ora tu debba argomentare come segue: ogni catena in $F(S,T)$ ha un maggiorante, sicché per il lemma di Zorn $F(S,T)$ ha un elemento massimale. Questo elemento massimale è una funzione totale \(S\to T\) e cercherai di preoccuparti che essa sia iniettiva. Ho ragione?