Codominio in LaTeX (\text{cod}(f))

Dove si usa

Codominio di f, l'insieme di arrivo dichiarato per i valori della funzione.

In f\colon A \to B il codominio è B, che può essere più grande dell'immagine; f è suriettiva esattamente quando \text{Im}(f) = \text{cod}(f). La teoria delle categorie scrive \operatorname{cod} f accanto a \operatorname{dom} f per il codominio e il dominio di un morfismo. Come per le altre etichette testuali, \operatorname{cod} dà una spaziatura migliore ed evita che il corsivo si propaghi negli enunciati dei teoremi. Alcuni autori scrivono per esteso \operatorname{codom} per chiarezza. Distinguere il codominio dal range è importante, perché alcuni libri usano la parola range per indicare il codominio e altri l'immagine.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Codomain: $\text{cod}(f)$

\[ f \text{ suriettiva} \iff \text{Im}(f) = \text{cod}(f) \]
\end{document}

Simboli correlati

• Range (insieme dei valori)\text{range}(f)
• Dominio\text{dom}(f)
• Freccia uncinata a destra\hookrightarrow
• Nucleo\ker(f)
• Freccia di suriezione\twoheadrightarrow
• Immagine\text{Im}(f)

Domande frequenti

Come si scrive Codominio in LaTeX?

Scrivi \text{cod}(f) in modalità matematica, per esempio $f \text{ suriettiva} \iff \text{Im}(f) = \text{cod}(f)$. Carica prima amsmath con \usepackage{amsmath}.

Quale pacchetto serve per \text{cod}(f)?

\text{cod}(f) richiede amsmath: aggiungi \usepackage{amsmath} al preambolo prima dell'inizio del documento.

Posso usare \text{cod}(f) in modalità testo o solo in modalità matematica?

Entrambe. \text{cod}(f) compila nel testo e dentro $...$; in una formula lascialo in modalità matematica, così usa i font e la spaziatura matematici.