Función multivalorada

Este diagrama representa unha función multivalorada ou multifunción: a cada elemento de X facemos corresponder unha parte de Y; así ao elemento 3 de X correspóndelle a parte de Y formada polos dous puntos b e c.

En matemáticas, unha función multivalorada (tamén chamada correspondencia ou simplemente multifunción) é calquera relación binaria , chamada impropiamente función porque non é funcional: a cada elemento dun conxunto asocia, non como moito un elemento senón que pode asociar cero, un ou varios elementos dun segundo conxunto. No entanto, podemos ver unha multifunción como unha función clásica tomando os seus valores do conxunto de partes do segundo conxunto. Pola contra, se a imaxe de cada punto é un singleton, dicimos que a correspondencia é un a un.

Un exemplo sinxelo dunha función multivalorada é a función inversa dunha aplicación non inxectiva: en calquera punto da súa imaxe facemos corresponder a imaxe inversa formada a partir dos antecedentes deste punto.

As funcións multivaloradas aparecen na análise complexa onde podemos considerar ramas das mesmas (ver abaixo ramas e valores principais), é dicir, restricións a estas relacións que as fan funcións e que nos permiten calcular determinadas integrais reais mediante o teorema do residuo como se ilustra a continuación; no entanto, o seu uso é difícil e foi substituído pola consideración máis abstracta de funcións (univaloradas) en superficies de Riemann.

Exemplos

A raíz cadrada

• Nos números reais, para cada elemento positivo x, a relación $y^2=x$ coincide con dous elementos $|y|$ e $-|y|$ con $|y{|}^2=x$. Adoitamos restrinxirnos ao valor positivo $|y|$ para así termos a función raíz cadrada.

• En complexos, ao definir un elemento z do plano complexo $ℂ$ por $z=|z|{\mathrm{e}}^{\mathrm{i}\theta }$ con $\theta$ o argumento de z, as raíces cadradas de z son os números $w_k$ ($k\in \mathbb{Z}$) dados por:

$w_k=\sqrt{|z|}{\mathrm{e}}^{\mathrm{i}\theta /2}{\mathrm{e}}^{\mathrm{i}\pi k}$

e temos un valor da raíz cadrada por cada valor enteiro que asignemos a Modelo:Mvar (1, 2, 3 ...).

Comprobamos de feito que $w_k^2=|z|{\mathrm{e}}^{\mathrm{i}\theta }{\mathrm{e}}^{2\mathrm{i}\pi k}=z$ xa que ${\mathrm{e}}^{2\mathrm{i}\pi k}=1$ para calquera número enteiro k.

O logaritmo complexo

Definindo un elemento z do plano complexo como antes, os logaritmos complexos de z son os números $w_k$ ($k\in \mathbb{Z}$) dado por:

$w_k=\ln |z|+\mathrm{i}\theta +2\mathrm{i}\pi k$

e igual que antes temos un valor por cada enteiro asignado a Modelo:Mvar.

Comprobamos de feito que $\exp (w_k)=|z|{\mathrm{e}}^{\mathrm{i}\theta }{\mathrm{e}}^{2\mathrm{i}\pi k}=z$ xa que, como antes, ${\mathrm{e}}^{2\mathrm{i}\pi k}=1$ para calquera número enteiro k .

As inversas das funcións trigonométricas

• As funcións trigonométricas inversas son multivaloradas porque as funcións trigonométricas son periódicas. Temos

$\tan \left(\frac{\pi }{4}\right)=\tan \left(\frac{5\pi }{4}\right)=\tan \left(\frac{-3\pi }{4}\right)=\tan \left(\frac{(2n+1)\pi }{4}\right)=\cdots =1.$

Como consecuencia, $\arctan (1)$ está intuitivamente relacionado con varios valores: Modelo:Pi/4, 5Modelo:Pi/4, −3Modelo:Pi/4, etc.

Podemos tratar a $\arctan (x)$ como unha función de valor único restrinxindo o dominio de $\tan (x)$ a $-\pi /2<x<\pi /2$, un dominio sobre o que $\tan (x)$ aumenta monótonamente. Así, o intervalo de $\arctan (x)$ pasa a ser $-\pi /2<y<\pi /2$. Estes valores dun dominio restrinxido chámanse valores principais.

Definicións

Multifunción

Sexan $X$ e $Y$ dous conxuntos. Unha multifunción $F:X⊸Y$ é unha aplicación de $X$ no conxunto $𝒫(Y)$ de partes de $Y$.

A aplicación que a unha multifunción

$F:X⊸Y$

, asocia a relación binaria "

$y\in F(x)$

", é unha bixección entre as multifuncións de

$X$

en

$Y$

e as relacións entre

$X$

e

$Y$

. É por iso que chamamos gráfica de

$F$

á gráfica da relación binaria asociada, é dicir, o conxunto

$𝒢(F):=\{(x,y)\in X\times Y\mid y\in F(x)\}$

(e non gráfica da función

$F$

, que é unha parte de

$X\times 𝒫(Y)$

).

Dominio, imaxe, selección

Do mesmo xeito, imaxe dunha parte

$P\subset X$

e imaxe inversa dunha parte

$Q\subset Y$

mediante unha multifunción

$F:X⊸Y$

defínense como a imaxe e a imaxe inversa pola relación binaria asociada:

$\begin{array}{ccccc}F(P)& :=& \{y\in Y\mid \mathrm{\exists }x\in Py\in F(x)\}& =& \bigcup _{x\in P}F(x)\\ F^{-1}(Q)& :=& \{x\in X\mid \mathrm{\exists }y\in Qy\in F(x)\}& =& \{x\in X\mid F(x)\cap Q\ne \varnothing \}.\end{array}$

En particular, chamamos dominio, ou conxunto de definición,e imaxe, ou conxunto de valores (ou conxunto de imaxes) , de

$F$

o dominio e a imaxe da relación binaria asociada:

$\begin{array}{ccccc}𝒟(F)& :=& F^{-1}(Y)& =& \{x\in X\mid F(x)\ne \varnothing \}\\ ℛ(F)& :=& F(X)& =& \bigcup _{x\in X}F(x).\end{array}$

Unha selección de

$F$

é unha función de escolla, é dicir, unha aplicación

$f:𝒟(F)\to Y$

tal que

$\mathrm{\forall }x\in 𝒟(F)f(x)\in F(x)$

.

Multifunción inversa

A multifunción inversa $F^{-1}:Y⊸X$ de $F:X⊸Y$ é a súa relación binaria inversa, definida por $x\in F^{-1}(y)\iff y\in F(x)$ .

O dominio e a imaxe de $F^{-1}$ son polo tanto respectivamente a imaxe e o dominio de $F$.

Algunhas multifuncións especiais

• Sexan $X$ e $Y$ espazos topolóxicos metrizábeis e sexa $F:X⊸Y$ unha multifunción. Dicimos que $F$ é:
  • pechada no punto $x\in X$ se $y\in F(x)$ sempre que $(x_k,y_k)\in 𝒢(F)$ converxe a $(x,y)$;
  • pechada se a súa gráfica é un pechado do espazo produto $X\times Y$ (o que equivale a dicir que $F$ está pechada en cada punto de $X$).
• Se $X$ e $Y$ son espazos vectoriais reais, dicimos que unha multifunción $F:X⊸Y$ é:
  • convexa se a súa gráfica é convexa ;
  • un proceso convexo se a súa gráfica é un cono convexo puntiagudo.
• Se $(X,⟨\cdot ,\cdot ⟩)$ é un espazo pre-Hilbert, dicimos que unha multifunción $F:X⊸X$ é monótona se $\mathrm{\forall }(x,y)\in 𝒢(F)\mathrm{\forall }(x^{\prime },y^{\prime })\in 𝒢(F)⟨y-y^{\prime },x-x^{\prime }⟩⩾0$.

Ramas e valores principais

Para a raíz cadrada complexa e o logaritmo complexo, chamamos rama a unha restrición no argumento $\theta$ do valor correspondente. Máis explícitamente, unha rama para a raíz cadrada vén dada por:

$\sqrt{z}=\sqrt{|z|}{\mathrm{e}}^{\mathrm{i}\theta /2},(\theta \in [{\theta }_0,{\theta }_0+2\pi [)$

con ${\theta }_0$ calquera ángulo que caracterice a determinación. Esta sería a rama principal, que sería asignar o valor cero á fórmula xeral vista arriba $w_k=\sqrt{|z|}{\mathrm{e}}^{\mathrm{i}\theta /2}{\mathrm{e}}^{\mathrm{i}\pi k}$.

Do mesmo xeito, unha rama para o logaritmo complexo vén dada por:

$\log z=\ln |z|+\mathrm{i}\theta ,(\theta \in ]{\theta }_0,{\theta }_0+2\pi ])$

A restrición do argumento ao intervalo semiaberto Modelo:Math chámase rama principal do logaritmo.

Teña en conta que, ata unha rama, a función de raíz cadrada complexa e o logaritmo complexo son funcións holomorfas en todo o plano complexo agás a semirecta que comeza desde a orixe e cun ángulo

${\theta }_0$

en relación ao eixo x. No caso da rama principal, ambas as funcións son holomorfas

$ℂ\mathrm{\setminus }]-\mathrm{\infty },0]$

. A descontinuidade no eixo real negativo móstrase na figura seguinte.

• Rama principal
• 
  Figure 1: Ilustración da determinación principal do logaritmo complexo.

Superficies de Riemann

Superficie de Riemann asociada á función raíz cadrada.

A teoría ineficaz de funcións multivaloradas para funcións de variábeis complexas é substituída nas matemáticas modernas polo concepto máis abstracto dunha función (univalorada) definida nunha superficie de Riemann.

Este punto de vista consiste en considerar o dominio de definición dunha función multivalorada como un obxecto máis elaborado que o plano complexo: unha variedade complexa de Modelo:Nowrap

Véxase tamén

Bibliografía

• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro

Outros artigos

• Rama (matemáticas)
• Valor principal
• Análise complexa
• Superficie de Riemann
• Teorema do residuo