Saltar al contenido principal

# 3.7: Funciones parciales

$$\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

A veces es útil relajar la definición de función para que no se requiera que la salida de la función esté definida para todas las entradas posibles. Tales asignaciones se denominan funciones parciales.

Definición$$\PageIndex{1}$$

Una función parcial$$f \colon A \pto B$$ es un mapeo que asigna a cada elemento de$$A$$ como máximo un elemento de$$B$$. Si$$f$$ asigna un elemento de$$B$$ to$$x \in A$$, decimos que$$f(x)$$ está definido, y por lo demás indefinido. Si$$f(x)$$ se define, escribimos$$f(x) \fdefined$$, de lo contrario$$f(x) \fundefined$$. El dominio de una función parcial$$f$$ es el subconjunto de$$A$$ donde se define, es decir,$$\dom{f} = \Setabs{x \in A}{f(x) \fdefined}$$.

Ejemplo$$\PageIndex{1}$$

Cada función$$f\colon A \to B$$ es también una función parcial. Las funciones parciales que se definen en todas partes en$$A$$ —es decir, lo que hasta ahora hemos llamado simplemente una función—también se llaman funciones totales.

Ejemplo$$\PageIndex{2}$$

La función parcial$$f \colon \Real \pto \Real$$ dada por$$f(x) = 1/x$$ es indefinida para$$x = 0$$, y definida en todas partes.

Problema$$\PageIndex{1}$$

Dado$$f\colon A \pto B$$, definir la función parcial$$g\colon B \pto A$$ por: para cualquiera$$y \in B$$, si hay una única$$x \in A$$ tal que$$f(x) = y$$, entonces$$g(y) = x$$; de lo contrario$$g(y) \fundefined$$. Demostrar que si$$f$$ es inyectivo, entonces$$g(f(x)) = x$$ para todos$$x \in \dom{f}$$, y$$f(g(y)) = y$$ para todos$$y \in \ran{f}$$.

Definición$$\PageIndex{2}$$: Graph of a partial function

Dejar$$f\colon A \pto B$$ ser una función parcial. 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$

Proposición$$\PageIndex{1}$$

Supongamos que$$R \subseteq A \times B$$ tiene la propiedad que cuando$$Rxy$$ y$$Rxy'$$ entonces$$y = y'$$. Entonces$$R$$ está la gráfica de la función parcial$$f\colon X \pto Y$$ definida por: si hay$$y$$ tal que$$Rxy$$, entonces$$f(x) = y$$, de lo contrario$$f(x) \fundefined$$. Si también$$R$$ es serial, es decir, para cada uno$$x \in X$$ hay$$y \in Y$$ tal que$$Rxy$$, entonces$$f$$ es total.

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

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