Saltar al contenido principal
LibreTexts Español

3.3: Funciones como Relaciones

  • Page ID
    103710
  • \( \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

    Una función que mapea el elemento s de\(A\) al elemento s de\(B\) obviamente define una relación entre\(A\) y\(B\), es decir, la relación que se mantiene entre\(x\) y\(y\) iff\(f(x) = y\). De hecho, podríamos incluso —si estamos interesados en reducir los bloques de construcción de las matemáticas, por ejemplo— identificar la función\(f\) con esta relación, es decir, con un conjunto de pares. Esto plantea entonces la pregunta: ¿qué relaciones definen funciones de esta manera?

    Definición\(\PageIndex{1}\): Graph of a function

    Dejar\(f\colon A \to B\) ser una función. La gráfica de\(f\) es la relación\(R_f \subseteq A \times B\) definida por\[R_f = \Setabs{\tuple{x,y}}{f(x) = y}.\nonumber\]

    La gráfica de una función está determinada de manera única, por la extensibilidad. Además, la extensionalidad (en conjuntos) inmediatamente reivindicará el principio implícito de extensionalidad para funciones, por lo que si\(f\) y\(g\) comparten un dominio y un codominio entonces son idénticos si están de acuerdo en todos los valores.

    De igual manera, si una relación es “funcional”, entonces es la gráfica de una función.

    Proposición\(\PageIndex{1}\)

    \(R \subseteq A \times B\)Sea tal que:

    1. Si\(Rxy\) y\(Rxz\) entonces\(y = z\); y

    2. por cada\(x \in A\) hay algunos\(y \in B\) tales que\(\tuple{x, y} \in R\).

    Entonces\(R\) está la gráfica de la función\(f\colon A \to B\) definida por\(f(x) = y\) iff\(Rxy\).

    Comprobante. Supongamos que hay\(y\) tal que\(Rxy\). Si hubiera otro\(z \neq y\) tal que\(Rxz\), se\(R\) violaría la condición puesta. De ahí que si hay\(y\) tal que\(Rxy\), esto\(y\) es único, y así\(f\) está bien definido. Obviamente,\(R_f = R\). ◻

    Cada función\(f\colon A \to B\) tiene una gráfica, es decir, una relación sobre\(A \times B\) definida por\(f(x) = y\). Por otro lado, cada relación\(R \subseteq A \times B\) con las propiedades dadas en Proposición\(\PageIndex{1}\) es la gráfica de una función\(f \colon A \to B\). Debido a esta estrecha conexión entre funciones y sus gráficas, podemos pensar en una función simplemente como su gráfica. En otras palabras, las funciones pueden identificarse con ciertas relaciones, es decir, con ciertos conjuntos de tuplas. Tenga en cuenta, sin embargo, que el espíritu de esta “identificación” es como en la sección 2.2: no es una afirmación sobre la metafísica de las funciones, sino una observación de que es conveniente tratar las funciones como ciertos conjuntos. Una razón por la que esto es tan conveniente, es que ahora podemos considerar realizar operaciones similares en funciones como las que realizamos en las relaciones (ver sección 2.7). En particular:

    Definición\(\PageIndex{2}\)

    Dejar\(f \colon A \to B\) ser una función con\(C\subseteq A\).

    La restricción de\(f\) a\(C\) es la función\(\funrestrictionto{f}{C}\colon C \to B\) definida por\((\funrestrictionto{f}{C})(x) = f(x)\) para todos\(x \in C\). En otras palabras,\(\funrestrictionto{f}{C} = \Setabs{\tuple{x, y} \in R_f}{x \in C}\).

    La aplicación de\(f\) to\(C\) es\(\funimage{f}{C} = \Setabs{f(x)}{x \in C}\). También llamamos a esto la imagen de\(C\) debajo\(f\).

    De esta definición se desprende que\(\ran{f} = \funimage{f}{\dom{f}}\), para cualquier función\(f\). Estas nociones son exactamente como cabría esperar, dadas las definiciones en la sección 2.7 y nuestra identificación de funciones con relaciones. Pero otras dos operaciones —inversas y productos relativos— requieren un poco más de detalle. Lo proporcionaremos en la sección 3.4 y en la sección 3.5.


    This page titled 3.3: Funciones como Relaciones is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .