Saltar al contenido principal

# 3.2: Tipos de funciones

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Template:MathJaxZach

Será útil introducir una especie de taxonomía para algunos de los tipos de funciones que encontramos con mayor frecuencia.

Para comenzar, podríamos querer considerar funciones que tienen la propiedad de que cada miembro del codominio es un valor de la función. Tales funciones se llaman suryectivas, y pueden ser fotografiadas como en la Figura$$\PageIndex{1}$$.

Definición$$\PageIndex{1}$$: Surjective function

Una función$$f \colon A \rightarrow B$$ es suryectiva iff$$B$$ es también el rango de$$f$$, es decir, para cada$$y \in B$$ hay al menos uno$$x \in A$$ tal que$$f(x) = y$$, o en símbolos:$(\forall y \in B)(\exists x \in A)f(x) = y.\nonumber$ Llamamos tal función una sobrejección de$$A$$ a$$B$$.

Si quieres mostrar que$$f$$ es una sobrejección, entonces necesitas mostrar que cada objeto en$$f$$ el codominio es el valor de$$f(x)$$ para alguna entrada$$x$$.

Tenga en cuenta que cualquier función induce una sobreyección. Después de todo, dada una función$$f \colon A \to B$$, dejar$$f' \colon A \to \ran{f}$$ ser definido por$$f'(x) = f(x)$$. Dado que$$\ran{f}$$ se define como$$\Setabs{f(x) \in B}{x \in A}$$, esta función$$f'$$ está garantizada para ser una sobrejección

Ahora, cualquier función asigna cada entrada posible a una salida única. Pero también hay funciones que nunca mapean diferentes entradas a las mismas salidas. Tales funciones se denominan inyectoras, y se pueden representar como en la Figura$$\PageIndex{2}$$.

Definición$$\PageIndex{2}$$: Injective function

Una función$$f \colon A \rightarrow B$$ es iff inyectable para cada uno$$y \in B$$ hay a lo sumo una$$x \in A$$ tal que$$f(x) = y$$. Llamamos a tal función una inyección de$$A$$ a$$B$$.

Si quieres mostrar que$$f$$ es una inyección, necesitas mostrar eso para cualquier elemento$$x$$ y$$y$$ de$$f$$'s dominio, si$$f(x)=f(y)$$, entonces$$x=y$$.

Ejemplo$$\PageIndex{1}$$

La función constante$$f\colon \Nat \to \Nat$$ que da no$$f(x) = 1$$ es ni inyectiva, ni suryectiva.

La función de identidad$$f\colon \Nat \to \Nat$$ dada por$$f(x) = x$$ es tanto inyectiva como suryectiva.

La función sucesora$$f \colon \Nat \to \Nat$$ dada por$$f(x) = x+1$$ es inyectiva pero no suryectiva.

La función$$f \colon \Nat \to \Nat$$ definida por:$f(x) = \begin{cases} \frac{x}{2} & \text{if x is even} \\ \frac{x+1}{2} & \text{if x is odd.} \end{cases}\nonumber$ es suryectiva, pero no inyectable.

Con bastante frecuencia, queremos considerar funciones que son a la vez inyectivas y suryectivas. Llamamos a tales funciones biyectivas. Parecen la función que se muestra en la Figura$$\PageIndex{3}$$. Las bijecciones también se denominan a veces correspondencias uno a uno, ya que emparejan de manera única elementos del codominio con elementos del dominio.

Definición$$\PageIndex{3}$$: Bijection

Una función$$f \colon A \to B$$ es biyectiva si es tanto suryectiva como inyectable. Llamamos a tal función una bijección de$$A$$ a$$B$$ (o entre$$A$$ y$$B$$).

This page titled 3.2: Tipos de funciones is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .