Capı́tulo 1

Funciones Vectoriales

1.1. Introducción
En una función real de variable real una regla asocia a un número real del
dominio un único número real de rango (contradominio, conjunto imagen o
recorrido). En lo que se ha estudiado hasta ahora, la variable del dominio
se llama variable independiente y la variable del rango se llama variable
dependiente. Estas funciones sirven para representar algunos eventos de la
vida real, como la rapidez en función del tiempo o el volumen de una esfera
en función del radio.
Sin embargo, en la mayorı́a de los casos una variable dependiente es fun-
ción de más de una variable independiente, como es el caso del volumen de
un cono, que depende del radio de la base y de la altura. En otros casos,
para que el evento quede bien modelado se requiere más de una variable
dependiente. Piense, por ejemplo, en la señal de video de televisión, la cual
está compuesta por la combinación de las señales de rojo, verde y azul. Cada
una de éstas es función del tiempo y de la posición en la pantalla del punto de
luz, por lo tanto podrı́amos considerar la señal completa como una función
con tres variables dependientes, yR , yB y yG (las señales de los tres colores) y
tres variables independientes x, y y t (dos de posición y el tiempo), es decir
yR = f1 (x, y, t), f2 (x, y, t) y yG = f3 (x, y, t).
De este tipo de funciones, donde aparece más de una variable dependiente
o más de una variable independiente o ambas, se encarga el Cálculo Vectorial.
A continuación se definen los diversos tipos de funciones y el formalismo
matemático para el manejo adecuado de éstas.

1
2 CAPÍTULO 1. FUNCIONES VECTORIALES

1.2. Definición
Una función vectorial es una regla que le asocia a cada elemento X =
(x1 , x2 , . . . , xn ) de Rn un único y bien determinado elemento Y = (y1 , y2 , . . . ,
ym ) de Rm donde n, m ∈ N; X ∈ Dom(F ) 6⊆ Rn ; donde el conjunto
Dom(F ) representa el dominio de la función y se define por Dom(F ) =
{X ∈ Rn ; F (X) exista en Rm }. El dominio de F cumple que Dom(F ) =
\m
Dom f1 ⊂ Rm .
i=1
Y ∈ Rango(F ) 6⊆ Rm ; donde Rango(F ) representa el rango de la función,
el cual es el conjunto de todas las imágenes de la función. Lo anterior también
se denota ası́:
F : Rn → Rm
X → Y = F (X)
siendo F (X) = (f1 (X), f2 (X), . . . , fm (X)) y cada fi : Rn → R tal que
fi (X) = yi con i = 1, 2, . . . , m.

1.2.1. Casos
a) m = n = 1 se llaman funciones reales de variable real1 .
f: R → R
x → y = f (x)

b) n = 1 y m ≥ 2 se llaman funciones vectoriales de variable real2

F : R → Rm
t → F (t) = (f1 (t), f2 (t), . . . , fm (t))

c) n ≥ 2, m = 1 se llaman funciones reales de variable vectorial.

f: Rn → R
X → f (X) = f (x1 , x2 , . . . , xn )

También se llaman funciones de varias variables o campos escalares.

1
Son objeto de estudio del Cálculo de Variable Real
2
Son objeto de estudio del Cálculo de Variable Real
1.2. DEFINICIÓN 3

d) m, n ≥ 2 y m = n se llaman campos vectoriales. Toda función vectorial

se puede escribir como una combinación lineal de sus campos escalares
componentes:

F (X) = (f1 (X), f2 (X), . . . , fn (X)) = f1 (X)e1 +f2 (X)e2 +· · ·+fm (X)em

e) En general si m, n ≥ 2 se llaman funciones vectoriales de variable vecto-

rial.
Como el lector ya habrá notado, en este texto se usarán minúsculas para
denotar las funciones escalares y mayúsculas para las funciones vectoriales.
Las funciones vectoriales también pueden representarse con notación ma-
tricial como se muestra a continuación:
   
x1 f1 (X)
 x2   f2 (X) 
F  ..  =  ..
   

 .   . 
xn fn (X)

Existen dos tipos de importancia para el curso:

• F : R2 → R3 tal que F (X) = (f1 (X), f2 (X), f3 (X))

Se puede definir, en forma paramétrica, un conjunto de puntos, que
geométricamente representan una superficie en R3 .
• F : R → Rm tal que F (t) = (f1 (t), f2 (t), . . . , fm (t))
Se puede definir, en forma paramétrica, un conjunto de puntos, que
geométricamente representan una lı́nea en Rm .

Se definen y denotan los conjuntos:

fA = {f : Rn → R/f es una función definida en A ⊆ Dom(f ) ⊆ Rn }, el
conjunto de los campos escalares definidos en A.
FA = {F : Rn → Rm /F es una función definida en A ⊆ Dom(F) ⊆ Rn },
el conjunto de las funciones vectoriales definidas en A.

Ejemplo 1.1

En este ejemplo se muestran algunas funciones vectoriales y sus dominios.

4 CAPÍTULO 1. FUNCIONES VECTORIALES

a) F : R2 → R3 /(x, y) → F (x, y) = (z 2 + y 2 + 1, y, z).

Esta función define en forma paramétrica un paraboloide de revolución
con vértice en (1, 0, 0), con eje de revolución el eje x y se extiende hacia
el lado positivo del eje x. Dom(F ) = R2 .
b) F : R2 → R3 /(x, y) → F (x, y) = (x2 + y + 1, xy, y 3 x7 ).
Esta función define en forma paramétrica, un conjunto de puntos, que geo-
métricamente representan una superficie R3 que no es fácil de identificar.
Dom(F ) = R2 .
1
c) f : R2 → R/(x, y) → f (x, y) = √ = w, la cual es una fun-
x+y+1
ción escalar para la cual se definen: Dom(f ) = {(x, y)/x + y + 1 > 0};
Rango(f ) = {w ∈ R/w > 0} = (0, ∞)
d) f : R2 → R/(x, y) → f (x, y) = arctan x+y


x
.
Dom(f ) = {(x, y) ∈ R2 /y 6= π2 + nπ − 1 x ∧ n ∈ Z}, es decir, todos

los puntos del

plano xy excepto las rectas por el origen con pendiente
π
2
+ nπ − 1 .
   
2 3 x 2 3
e) F : R → R /(x, y) → F (x, y) = x, arc cos x+y , x + y , función
vectorial de variable vectorial.
El dominio de esta función es una región del plano xy restringida sólo por
la existencia del coseno inverso. Para hallar el conjunto de puntos (x, y)
del dominio de la función se procede ası́: Dom(F ) = {(x, y) ∈ R2 / − 1 ≤
x x
x+y
≤ 1}, de donde se deduce que −1 ≤ x+y ≤ 1, lo cual significa que:
   
x x
−1 ≤ ∧ ≤1
x+y x+y
   
x x
De tal manera, −1 ≤ x+y ∧ x+y ≤ 1 , o equivalentemente:
       
x x 2x + y −y
+1≥0 ∧ −1≤0 ⇒ ≥0 ∧ ≤0
x+y x+y x+y x+y
De ahı́ se obtiene que:
 
 (2x + y) ≥ 0 ∧ (x + y) > 0  (−y) ≥ 0 ∧ (x + y) < 0
∨ ∧ ∨
(2x + y) ≤ 0 ∧ (x + y) < 0 (−y) ≤ 0 ∧ (x + y) > 0
 
1.2. DEFINICIÓN 5

Ejemplo 1.2

En este ejemplo se definen algunas funciones vectoriales con su respectivo

dominio.
a) Sea la función:
G: R2 → R5  
2 2 1 p
(x, y) → G(x, y) = xy, ln(xy), x − y , , x2 + y 2
xy

Sus campos escalares componentes son de la forma gj : R2 → R para

j = 1, 2, 3, 4, 5 con:
g1 (x, y) = xy; g2 (x, y) = ln(xy); g3 (x, y) = x2 − y 2 ;
1 p
g4 (x, y) = ; g5 (x, y) = x2 + y 2
xy
G se puede escribir como combinación lineal de gj ası́:
1 p
G(x, y) = xy e1 + ln(xy) e2 + (x2 − y 2 ) e3 + e4 + x2 + y 2 e5
xy

ei son los componentes de la base canónica en R5 :

e1 = (1, 0, 0, 0, 0), e2 = (0, 1, 0, 0, 0), e3 = (0, 0, 1, 0, 0),
e4 = (0, 0, 0, 1, 0), e5 = (0, 0, 0, 0, 1)

El dominio de G está dado por la intersección de los dominios de sus

campos escalares componentes, que a su vez son:
Dom(g1 ) = Dom(g3 ) = Dom(g5 ) = R2
Dom(g2 ) = {(x, y) ∈ R2 /xy > 0}
Dom(g4 ) = {(x, y) ∈ R2 /xy 6= 0}

Entonces:
5
\
Dom(G) = Dom(gj )
j=1

= {(x, y) ∈ R2 /xy > 0}

= {(x, y) ∈ R2 /(x > 0 ∧ y > 0) ∨ (x < 0 ∧ y < 0)}
6 CAPÍTULO 1. FUNCIONES VECTORIALES

En conclusión, la función G sólo tiene imagen para puntos en el primer y

tercer cuadrantes, sin incluir los ejes del plano xy.
b) Sea el campo escalar:

f: R3 → R
(x, y, z) → f (x, y, z) = ln(1 − x2 − y 2 − z 2 )

Su dominio está dado por:

Dom(f ) = {(x, y, z) ∈ R3 /x2 + y 2 + z 2 < 1}

Recordando que x2 + y 2 + z 2 = 1 es la ecuación de una superficie esférica

con centro en el origen y radio 1, entonces se observa que el dominio de f
es la región de puntos en R3 que están al interior de la superficie esférica,
es decir, en la región del espacio que ella encierra.
c) Sea el campo vectorial:

H: R3 → R3
1 1
(x, y, z) → H(x, y, z) = (x, y, z) = p (x, y, z)
k(x, y, z)k x2 + y 2 + z 2

Se sabe que k(x, y, z)k es la norma o magnitud del vector (x, y, z). Desde
la geometrı́a vectorial se sabe que H(x, y, z) define un vector unitario (con
magnitud 1) en la dirección de (x, y, z), excepto en el origen (¿por qué?).
Ası́ se tiene que el dominio H está dado por:

Dom(H) = R3 − {(0, 0, 0)}

d) Sea el campo vectorial:

 
x+y x+z
F (x, y, z) = 2
, ln(z − x2 + 4), 2
z +1 y +1

Su dominio se puede obtener como la intersección de los dominios de

los campos escalares componentes. La única restricción se presenta en la
segunda componente donde z − x2 + 4 > 0, lo cual equivale a z > x2 − 4,
cuya gráfica en R3 es la de un cilindro parabólico. El dominio es entonces
Dom(F ) = {(x, y, z) ∈ R3 ; z > x2 − 4}.
1.3. ÁLGEBRA DE FUNCIONES VECTORIALES 7
 p
e) Sea la función vectorial definida por F (x, y) = xy, y + x, kxk − x,
p 
kyk − y . La función tiene como dominio Dom(F ) = {(x, y) ∈ R2 ; kxk−
x ≥ 0 ∧ kyk − y ≥ 0}. Las desigualdades kxk − x ≥ 0 y kyk − y ≥ 0
se satisfacen únicamente para valores enteros de x y y. Por lo tanto,
Dom(F ) = {(x, y) ∈ R2 ; x ∈ Z ∧ y ∈ Z}, que también se puede escribir
como Dom(F ) = Z2 .

1.3. Álgebra de funciones vectoriales

En matemáticas un conjunto adquiere vigos en la medida en que se definen
relaciones y operaciones entre sus elementos. Esto permite crear estructuras
algebraicas, de las cuales la más importante para este texto es la de espacio
vectorial o lineal sobre los reales.

1.3.1. Igualdad de funciones

La igualdad de funciones vectoriales requiere, como en todo tipo de fun-
ciones, igualdad de dominios e imágenes. Sean F , G : Rn → Rm funciones
vectoriales, entonces:

i) Dom(F ) = Dom(G)
F =G⇔
ii) F (X) = G(X) para toda X que cumpla i)
Esta relación cumple las conocidas propiedades reflexiva, simétrica y tran-
sitiva que definen una relación de equivalencia en el conjunto de las funciones
vectoriales. Para funciones escalares, es decir con m = 1, la definición tam-
bién se cumple.

Ejemplo 1.3

En este ejemplo se ilustra la definición de igualdad de funciones.

a) Sean las funciones f, g : R2 → R con:
f (x, y) = |xy| ; g(x, y) = |x| |y|

En ese caso se tiene que f = g, puesto que:

Dom(f ) = Dom(g) = R2
8 CAPÍTULO 1. FUNCIONES VECTORIALES

f (x, y) = |xy| = |x| |y| = g(x, y) ∀ (x, y) ∈ R2

b) Sean las funciones m, n : R2 → R con:

m(x, y) = ln(x + y)2 ; n(x, y) = 2 ln(x + y)

Dom(m) 6= Dom(n) porque:

Dom(m) = {(x, y) ∈ R2 /x + y 6= 0}
Dom(n) = {(x, y) ∈ R2 /x + y > 0}

Nótese que para ciertos valores de x y y, la condición ii) se cumple. En

este caso f 6= g.

Ejemplo 1.4

z−x+y
Dadas las funciones F y G como F (x, y, z) = x + y 2 − 10z, 5 ,
z−x+y
z 3 + 3y 2 , G(x, y, z) = (x + y 2 − 10z, 5, z 3 + 3y 2 ), se verifica si son iguales

revisando primero la condición i), es decir, la igualdad de dominios.

El dominio de la función F, Dom(F ) = {(x, y, z) ∈ R3 /z − x + y 6= 0}, y
el dominio de la función G, Dom(G) = R3 . En tal caso Dom(F ) 6= Dom(G),
por ende las funciones F y G no son iguales.

1.3.2. Operaciones en campos escalares

Las operaciones algebraicas con funciones vectoriales corresponden a las res-
pectivas operaciones de vectores en Rm y son válidas todas las propiedades
de los espacios lineales.
Se definen f, g ∈ fA campos escalares. Se tienen como operaciones alge-
braicas básicas las siguientes.

Adición

f, g : fA × fA → fA
(f (X), g(X)) → (f + g)(X) = f (X) + g(X)
1.3. ÁLGEBRA DE FUNCIONES VECTORIALES 9

Para toda X ∈ Dom(f + g), donde Dom(f + g) = Dom(f ) ∩ Dom(g).

La suma cumple con las propiedades clausurativa (o cerrada o interna),
asociativa, existencia de elemento neutro aditivo, existencia de elemente in-
verso aditivo y conmutativa, es decir, cumple con las conocidas propiedades
de grupo abeliano (conmutativo).

Multiplicación

f, g : fA × fA → fA
(f (X), g(X)) → (f · g)(X) = f (X) · g(X)

Para toda X ∈ Dom(f · g), donde Dom(f · g) = Dom(f ) ∩ Dom(g).

El producto cumple con las propiedades clausurativa, asociativa, existen-
cia de elemento neutro multiplicativo, existencia de elemento inverso multi-
plicativo (con excepción del campo escalar nulo, que no tiene inverso multi-
plicativo) y conmutativa, es decir, cumple con las conocidas propiedades de
grupo abeliano (conmutativo).
Las dos operaciones anteriores se relacionan mediante la propiedad dis-
tributiva, ası́:

[(f + g)h] (X) = (f + g)(X)h(X) = f (X)h(X) + g(X)h(X)

con X ∈ (Dom(f ) ∩ Dom(g) ∩ Dom(h))

En conclusión, el conjunto de los campos escalares en Rn con las dos ope-

raciones binarias internas (OBI) anteriores, constituye un campo, de ahı́ su
acertado nombre: campos escalares.

Producto por un escalar

Se define una operación binaria externa (OBE) por medio de los reales en
campos escalares llamada producto por un escalar:

R × fA → fA
(λ, f (X)) → (λf )( X) = λf (X)

donde Dom(λf ) = Dom(f ); λ ∈ R.

10 CAPÍTULO 1. FUNCIONES VECTORIALES

En conclusión, el conjunto de los campos escalares fA , con la operación

binaria interna adición y la operación binaria externa producto por un es-
calar bajo la relación de igualdad conforman una estructura de espacio lineal
por medio de los R, lo cual se simboliza como (fA ; +, •, =).

Ejemplo 1.5

En este ejemplo se ilustran las operaciones definidas en campos escalares.

Sean las funciones f, g : R3 → R, con:
p
f (x, y, z) = ln(1 − x2 − y 2 − z 2 ); g(x, y, z) = k(x, y, z)k = x2 + y 2 + z 2 ,
con sus respectivos dominios:
Dom(f ) = {(x, y, z) ∈ R3 /x2 + y 2 + z 2 < 1}
Dom(g) = R3
Entonces:
(f + g)(x, y, z) = f (x, y, z) + g(x, y, z)
p
= ln(1 − x2 − y 2 − z 2 ) + x2 + y 2 + z 2
(f g)(x, y, z) = f (x, y, z)g(x, y, z)
p
= ln(1 − x2 − y 2 − z 2 ) x2 + y 2 + z 2
p
(5g)(x, y, z) = 5g(x, y, z) = 5 x2 + y 2 + z 2
Con:
Dom(f + g)(x, y, z) = Dom(f )(x, y, z) ∩ Dom(g)(x, y, z)
= {(x, y, z) ∈ R3 /x2 + y 2 + z 2 < 1}
Dom(f g)(x, y, z) = Dom(f + g)(x, y, z)
Dom(5g)(x, y, z) = Dom(g)(x, y, z) = R3
Usando las anteriores operaciones en campos escalares se pueden definir
las respectivas operaciones algebraicas en funciones vectoriales.

1.3.3. Operaciones en funciones vectoriales

Sean F, G ∈ FA con:
F : Rn → Rm
X → F (X) = (f1 , . . . , fm )(X) = (f1 (X), f2 (X), . . . , fm (X))
1.3. ÁLGEBRA DE FUNCIONES VECTORIALES 11

G : Rn → Rm
X → G(X) = (g1 , . . . , gm )(X) = (g1 (X), g2 (X), . . . , gm (X))

Adición

F, G : FA × FA → FA
(F (X), G(X)) → (F + G)(X) = F (X) + G(X)

F (X) + G(X) = (f1 , . . . , fm )(X) + (g1 , . . . , gm )(X)

= (f1 + g1 , . . . , fm + gm )(X)
Xm
= (fj + gj )(X) ej
j=1

para toda X ∈ Dom(F + G) donde Dom(F + G) = Dom(F ) ∩ Dom(G).

La suma cumple con las propiedades de grupo abeliano.

Producto punto, interno o escalar

F, G : FA × FA → FA
(F (X), G(X)) → (F • G)(X) = F (X) • G(X)

F (X) • G(X) = (f1 , . . . , fm )(X) • (g1 , . . . , gm )(X)

= (f1 g1 , . . . , fm gm )(X)
Xm
= (fj gj )(X)
j=1

con Dom(F • G) = Dom(F ) ∩ Dom(G). El producto interno es una forma

bilineal.
12 CAPÍTULO 1. FUNCIONES VECTORIALES

Producto cruz, externo o vectorial, para m=3

F, G : FA × FA → FA
(F (X), G(X)) → (F × G)(X) = F (X) × G(X)

F (X) × G(X) = (f1 , f2 , f3 )(X) × (g1 , g2 , g3 )(X)

= (f2 g3 − f3 g2 , f3 g1 − f1 g3 , f1 g2 − f2 g1 )(X)

con Dom(F × G) = Dom(F ) ∩ Dom(G) para toda X ∈ Dom(F × G).

El producto externo es una OBI.

Producto por un escalar

R × FA → GFA
(λ, F (X)) → (λF )(X) = λF (X)

λF (X) = λ(f1 , . . . , fm )(X)

= (λf1 , . . . , λfm )(X)

con λ ∈ R y Dom(λF ) = Dom(F ).

El producto por un escalar es una OBE.

Producto por un campo escalar

fA × FA → GFA
(g, F (X)) → (gF )(X) = g(X)F (X)

g(X)F (X) = g(X)(f1 , . . . , fm )(X)

= (gf1 , . . . , gfm )(X)

con Dom(gF ) = Dom(g) ∩ Dom(F ).

El producto por un campo escalar es una OBE por medio de fA .
1.3. ÁLGEBRA DE FUNCIONES VECTORIALES 13

Composición
Dadas las funciones vectoriales F, G tales que:

F : Rn → Rp
X → F (X) = (f1 , . . . , fp )(X) = (f1 (X), f2 (X), . . . , fp (X)),

G : Rp → Rm
X → G(X) = (g1 , . . . , gm )(X) = (g1 (X), g2 (X), . . . , gm (X)) = Y,
con m, n, p ∈ N

para las cuales se cumple que Rango(F ) ∩ Dom(G) 6= Φ, entonces existe

composición de G y F definida como:

(G ◦ F ) : Rn → Rm
(X) → (G ◦ F )(X) = G(F (X)) = G(Y )

donde G(Y ) = G(F (X)) = (g1 (F (X)), g2 (F (X)), . . . , gm (F (X))), con Y =

F (X) ∈ Rango(F ) ∩ Dom(G).
En la composición se tiene que Dom(G ◦ F ) = {X ∈ Dom(F )/F (X) =
Y ∈ Dom(G)}.
En el caso de los campos vectoriales en Rn (cuando m = p = n), la
composición es una OBI asociativa con elemento idéntico: I(X) = X ∀ X ∈
Rn . Si el campo vectorial F : Rn → Rn es biyectivo (inyectivo y sobreyectivo)
en su dominio, entonces existe el campo vectorial:

F −1 : Rn → Rn
Y → F −1 (Y ),

denominado campo vectorial inverso de F y se cumple que:

(F −1 ◦ F )(X) = F −1 (F (X)) = I(X) = X,

y también:
(F ◦ F −1 )(Y ) = F (F −1 (Y )) = I(Y ) = Y
En general, las funciones vectoriales no son biyectivas en su dominio, pero
es posible restringirlo para que sean inyectivas y el conjunto de llegada para
14 CAPÍTULO 1. FUNCIONES VECTORIALES

que sean sobreyectivas. En Cálculo Vectorial se consideran, generalmente,

funciones inversas locales (esto es porque se trabaja en los alrededores de un
punto), tema que se expondrá en la regla de la derivada de la función inversa.

Ejemplo 1.6

En este ejemplo se ilustran las diferentes operaciones definidas en funciones

vectoriales.
Sean las funciones F, G, H : R3 → R3 y f : R3 → R, con:

F (x, y, z) = (x, y, z)
G(x, y, z) = (z, x, y)
H(x, y, z) = k(x, y, z)k−1 (x, y, z); (x, y, z) 6= (0, 0, 0)
f (x, y, z) = k(x, y, z)k

cuyos dominios son,

Dom(F )(x, y, z) = Dom(G)(x, y, z) = Dom(f )(x, y, z) = R3

Dom(H)(x, y, z) = R3 − {(0, 0, 0)}

Entonces:

(F + G)(x, y, z) = F (x, y, z) + G(x, y, z)

= (x, y, z) + (z, x, y)
= (x + z, y + x, z + y)
(H • F )(x, y, z) = H(x, y, z) • F (x, y, z)
= k(x, y, z)k−1 (x, y, z) • (x, y, z)
= k(x, y, z)k−1 k(x, y, z)k2
= k(x, y, z)k
p
= x2 + y 2 + z 2
(H × G)(x, y, z) = H(x, y, z) × G(x, y, z)
= k(x, y, z)k−1 (x, y, z) × (x, y, z)
= k(x, y, z)k−1 (y 2 − zx, z 2 − xy, x2 − yz)
1
= p (y 2 − zx, z 2 − xy, x2 − yz)
2
x +y +z2 2
1.3. ÁLGEBRA DE FUNCIONES VECTORIALES 15

(−2G)(x, y, z) = −2G(x, y, z)
= −2(z, x, y)
= (−2z, −2x, −2y)
(f H)(x, y, z) = f (x, y, z)H(x, y, z)
= k(x, y, z)k k(x, y, z)k−1 (x, y, z)
= (x, y, z)
Siendo,
Dom(F + G)(x, y, z) = Dom(−2G)(x, y, z) = R3
Dom(H • F )(x, y, z) = Dom(H × G)(x, y, z)
= Dom(f H)(x, y, z)
= R3 − {(0, 0, 0)}
Nótese que aunque (H • F ) y (f H) tienen imágenes sin restricciones, su
dominio si queda restringido, pues toman el dominio de H.

Ejemplo 1.7

En este ejemplo se ilustra la composición en funciones vectoriales.

Sean las funciones F : [0, 2π] × [0, 1] ⊂ R2 → R3 y g : R3 → R, con:
F (u, v) = (cos(u), sin(u), v) ; g(x, y, z) = x2 + y 2 + z 2 − 1,
para las cuales se tiene:
Dom(F ) = [0, 2π] × [0, 1]
= {(u, v) ∈ R2 /0 ≤ u ≤ 2π ∧ 0 ≤ v ≤ 1}
Rango(F ) = {(x, y, z) ∈ R3 /(x, y, z) = (cos(u),
sin(u), v) ; (u, v) ∈ [0, 2π] × [0, 1]}
= {(x, y, z) ∈ R3 /x2 + y 2 ≤ 1 ∧ 0 ≤ z ≤ 1}
Dom(g)(x, y, z) = R3
Se cumple entonces que Rango(F ) ∩ Dom(g) 6= Φ y se puede definir la
función compuesta (g ◦ F ) mediante:
(g ◦ F )(u, v) = g(F (u, v)) = g(cos(u), sin(u), v)
= cos2 (u) + sin2 (u) + v 2 − 1
= v2
16 CAPÍTULO 1. FUNCIONES VECTORIALES

Con:

Dom(g ◦ F )(u, v) = {(u, v) ∈ Dom(F )/F (u, v) = (x, y, z) ∈ Dom(g)}

= {(u, v) ∈ [0, 2π] × [0, 1] /(cos(u), sin(u), v) ∈ Dom(g)}
= [0, 2π] × [0, 1]

1.4. Conjuntos definidos mediante funciones

A lo largo de este texto se verá la necesidad de diferenciar dos eventos:
dada una función, encontrar los diferentes conjuntos que ella pueda definir
y, dado un conjunto de puntos, encontrar, por lo menos, una función que lo
defina. En esta sección se presentará la formalización conceptual de estos dos
eventos. Para comenzar se introduce un caso ilustrativo con funciones reales
de variable real que le ayudarán
√ al lector a comprender los conceptos.
2
La función f (x) = 1 − x es una función R → R, cuyo dominio es
{x ∈ R; −1 ≤ x ≤ 1} cuyo rango es {y ∈ R; 0 ≤ y ≤ 1}. El gráfico de f es
medio circunferencia, arriba del eje x, con centro en el origen y radio 1.
Como se puede ver, a partir de la función se han definido tres conjuntos
distintos cada uno de los cuales tiene una representación pictórica diferente,
esto es, el que está dado por el gráfico de la función, el que está dado por el
dominio y el que está dado por el rango.
Ahora, se puede seguir el camino inverso para obtener una función a
partir de un conjunto de puntos, digamos por ejemplo, la media circunferencia
descrita arriba. Existen tres diferentes funciones que lo pueden definir; éstas
son:
√
• R → R : f (x) = 1 − x2 .

• R → R2 : g(t) = (cos t, sin t), 0 ≤ t ≤ π.

• R2 → R : x2 + y 2 = 1, y ≥ 0.

A éstas las llamaremos, en su orden, la función explı́cita, la función

paramétrica y la función implı́cita. Estos conceptos se extienden a las fun-
ciones vectoriales y su manejo adecuado es de vital importancia en todo el
Cálculo Vectorial.
1.4. CONJUNTOS DEFINIDOS MEDIANTE FUNCIONES 17

Dada una función vectorial,

F : Rn → Rm
X → F (X) = (f1 , . . . , fm ) (X)

en donde X = (x1 , x2 , x3 , . . . , xn ) ∈ Rn y Y = F (X) = (y1 , y2 , y3 , . . . , ym ) ∈

Rm .
En general, F puede definir tres clases de conjuntos de alguna de las
siguientes formas: explı́cito, implı́cito y paramétrico.
Un conjunto está definido explı́citamente, mediante la función F , como
el conjunto SE dado por:

SE = {(X, Y ) ∈ Rn × Rm /X ∈ Dom(F ) ∧ Y = F (X) ∈ Rango(F )}

SE = {(x1 , . . . , xn , y1 , . . . , ym ) ∈ Rn+m /X ∈ Dom(F ) ∧ Y ∈ Rango(F )}

El gráfico de la función F es SE , es decir, el conjunto de todos los pares

ordenados (X, F (X)). El gráfico de la función está incluido en el espacio
Rn+m . Cuando n + m ≤ 3 el gráfico de la función se puede representar
mediante un dibujo3 .
Un caso particular de especial importancia son los campos escalares del
tipo

f: R2 → R
(x, y) → z = f (x, y)

cuando f define explı́citamente una superficie en R3 , dada por:

SE = {(x, y, z) ∈ R3 /(x, y) ∈ Dom(f ) ∧ z = f (x, y) ∈ Rango(f )}

Un conjunto está definido paramétricamente mediante la función F

como el conjunto SP dado por:

SP = {F (X) = (f1 , . . . , fm )(X) ∈ Rm /F (X) ∈ Rango(F )}

SP es la imagen (conjunto imagen) en Rm de la función F . El conjunto

SP está incluido en Rm .
3
En el formalismo matemático el gráfico de F no se puede entender como el dibujo
(representación pictórica) porque no es lo mismo un conjunto que el dibujo del conjunto.
18 CAPÍTULO 1. FUNCIONES VECTORIALES

Una función vectorial de variable real ilustra un caso especial de estos

conjuntos:

F : [a, b] ⊂ R → Rm
t → F (t) = (f1 , . . . , fm )(t)

SP = {F (t) = (f1 , . . . , fm )(t) ∈ Rm /F (t) ∈ Rango(F ) ∧ m ≥ 2}

SP determina una trayectoria (o camino) en Rm y se dice que F está defini-
da mediante un parámetro o un grado de libertad: t.
Si se considera una función del tipo:

F : R2 → Rm
(u, v) → F (u, v) = (f1 , . . . , fm )(u, v)

SP = {F (u, v) = (f1 , . . . , fm )(u, v) ∈ Rm /F (u, v) ∈ Rango(F ) ∧ m ≥ 2}

SP determina una superficie en Rm . En este caso, F está definida medi-
ante dos parámetros o grados de libertad: u, v.
Un conjunto está definido implı́citamente mediante la función F como
el conjunto SI dado por:

SI = {X ∈ Dom(F )/F (X) = C, con C ∈ Rango(F ) ∧ n > m}

La función F define, para un parámetro C, el conjunto SI .

El conjunto SI está incluido en Rn . La ecuación F (X) = C define una
familia de conjuntos de nivel para F y cada valor particular de C determina
un único conjunto de dicha familia.
Un campo escalar f : R2 → R determina implı́citamente una curva R2
(curvas de nivel) definida por:

SI = {(x, y) ∈ Dom(f )/f (x, y) = c}

y un campo escalar f : R3 → R(n ≥ 3) determina implı́citamente una

superficie en R3 (superficies de nivel) definida por:

SI = {(x, y, z) ∈ R3 /f (x, y, z) = c}

Tanto las curvas de nivel como las superficies de nivel tienen importantes
aplicaciones prácticas en diversos campos como el meteorológico, el topográfi-
co y el estudio de la fı́sica. Por ejemplo, un mapa del estado del tiempo
1.4. CONJUNTOS DEFINIDOS MEDIANTE FUNCIONES 19

muestra curvas de nivel de temperatura y de presión barométrica. La mete-

orologı́a usa también superficies de presión barométrica constante llamadas
superficies isobáricas. Un mapa del relieve de un terreno está formado por
las curvas de nivel a diferentes alturas y el campo gravitacional de la tierra
consta de un conjunto de esferas concéntricas que son superficies equipoten-
ciales alrededor de la tierra en las cuales la fuerza de gravedad es constante
en todos los puntos de la esfera.
A manera de resumen lo anterior queda ası́:
También es de utilidad poder hacer el trabajo al revés, es decir, encontrar
una función que defina un conjunto dado explı́citamente, paramétricamente
o implı́citamente. Para un conjunto dado, una función puede ser más ade-
cuada que otra dependiendo de lo que se pretenda hacer con el conjunto. Un
conjunto S esta definido mediante una función:
a) Explı́citamente: Si existe una función F : Rn → Rm tal que S es el
gráfico de la función F , es decir, S = SE .
b) Paramétricamente: Si existe una función F : Rn → Rm tal que S es el
conjunto imagen de la función, o sea, S = SP .
c) Implı́citamente: Si existe una función F : Rn → Rm tal que S sea un
conjunto de nivel de la función, o S = SI .
Ası́, conjuntos de puntos como lı́neas o superficies podrı́an ser definidos
por funciones de la siguiente forma:
Ejemplo 1.8

En este ejemplo se muestra cómo una función vectorial puede definir tres con-
juntos en diferentes espacios, es sus formas explı́cita, paramétrica e implı́cita.

Sea la función:
F : R2 → R3
(u, v) → F (u, v) = (u cos(v), u sin(v), u) = (x, y, z), Dom(F ) = R2
F define explı́citamente un conjunto SE como:
SE = {((u, v), F (u, v)) ∈ R2 × R3 /(u, v) ∈ Dom(F ) ∧
F (u, v) ∈ Rango(F )}
= {(u, v, x, y, z) ∈ R5 /x = u cos(v) ∧ y = u sin(v) ∧ z = u}
20 CAPÍTULO 1. FUNCIONES VECTORIALES

Este conjunto no tiene representación pictórica dado que está en R5 .

F define paramétricamente un conjunto SP dado como:

SP = {(x, y, z) ∈ R3 /(x, y, z) = (u cos(v), u sin(v), u)

De ahı́ se obtiene que:

x = u cos(v); y = u sin(v); z = u

Eliminando los parámetros u, v:

x2 + y 2 = u2 cos2 (v) + u2 sin2 (v) = u2 = z 2

x2 + y 2 = z 2 es la ecuación de un cono en R3

Finalmente:
SP = {(x, y, z) ∈ R3 /z 2 = x2 + y 2
La geometrı́a dice que SP es la representación de una superficie cónica
circunferencial recta con vértice en el origen.
F define implı́citamente un conjunto SI tal como:

SI = {(x, y) ∈ R2 /F (x, y) = (c1 , c2 , c3 )}

= {(x, y) ∈ R2 /x cos(y) = c1 ∧ x sin(y) = c2 ∧ x = c3 }

SI es la solución en R2 del sistema de tres ecuaciones y dos incógnitas dado

por:
x cos(y) = c1 ; x sin(y) = c2 ; x = c3
La solución de este sistema puede ser el conjunto vacı́o, un punto en el plano
xy (si c3 6= 0 y (c3 )2 = (c1 )2 + (c2 )2 ) o el eje y (si c1 = c2 = c3 = 0).

Ejemplo 1.9

En este ejemplo se muestra cómo un conjunto se puede definir mediante

tres funciones diferentes, en sus formas explı́cita y paramétrica.
Sea el conjunto de puntos definido por:

S = {(x, y, z) ∈ R3 /z = a2 x2 + b2 y 2 con a 6= b 6= 0},

lo cual corresponde a un paraboloide elı́ptico con vértice en el origen.

Las funciones que lo definen de las tres formas son:
1.4. CONJUNTOS DEFINIDOS MEDIANTE FUNCIONES 21

• Explı́cita: Se puede definir mediante la función:

f: R2 → R
(x, y) → f (x, y) = a2 x2 + b2 y 2

Se puede verificar que el SE de esta función corresponde al S definido

arriba.
La representación del conjunto es:

SE = {(x, y, z) ∈ R3 /z = f (x, y) = a2 x2 + b2 y 2

• Paramétrica: Se puede hacer una parametrización ası́:

Sean x = x, y = y, z = a2 x2 + b2 y 2 . La función que define al paraboloide
elı́ptico es:

F1 : R2 → R3
(x, y) → F1 (x, y) = (x, y, a2 x2 + b2 y 2 )

Observe que:

SP = {(x, y, z) ∈ R3 /(x, y, z) = F1 (x, y) = (x, y, a2 x2 + b2 y 2 )}

SP = {(x, y, z) ∈ R3 /z = a2 x2 + b2 y 2 }
SP = S

El mismo conjunto de puntos se puede describir mediante otra función si

se usa una parametrización diferente:

F2 : R2 → R3
(u, v) → F2 (u, v) = (a−1 u cos(v), b−1 u sin(v), u2 )

Note que SP = S ya que SP define el paraboloide elı́ptico en cuestión,

como se comprueba a continuación:

SP = {(x, y, z) ∈ R3 /(x, y, z) = F2 (u, v) = (a−1 u cos(v), b−1 u sin(v), u2 )}

SP = {(x, y, z) ∈ R3 /(x, y, z) = (a−1 u cos(v), b−1 u sin(v), u2 )}
22 CAPÍTULO 1. FUNCIONES VECTORIALES

Como:

x = a−1 u cos(v) y = b−1 u sin(v) z = u2

ax = u cos(v) by = u sin(v) z = u2
a2 x2 = u2 cos2 (v) b2 y 2 = u2 sin2 (v) z = u2
a2 x2 = z cos2 (v) b2 y 2 = z sin2 (v)

a2 x2 + b2 y 2 = z cos2 (v) + sin2 (v)

 

a2 x 2 + b 2 y 2 = z
SP = {(x, y, z) ∈ R3 /z = a2 x2 + b2 y 2 } = S
SP = S

Ejemplo 1.10

El siguiente ejemplo muestra conjuntos de nivel para funciones más gene-

rales. Sea la función F definida por:

F : R3 → R2
x2 z 2
 
2 2 2
(x, y, z) → F (x, y, z) = 36x − 4y + 9z , +
4 16

Su conjunto implı́cito para el valor C = (144, 2) está descrito por:

SI = (x, y, z) ∈ R3 /F (x, y, z) = C ∈ Rango(F ) reemplazando,


2
z2
   
3 2 2 2 x
SI = (x, y, z) ∈ R / 36x − 4y + 9z , + = (144, 2)
4 16
x2 z 2
 
3 2 2 2
SI = (x, y, z) ∈ R /36x − 4y + 9z = 144 ∧ + =2
4 16
2 2 2
144 x2 z 2
 
3 36x − 4y + 9z
SI = (x, y, z) ∈ R / = ∧ + =2
144 144 4 16
2
y2 z2 x2 z 2
 
3 x
SI = (x, y, z) ∈ R / − + =1∧ + =2
4 36 16 4 16
1.4. CONJUNTOS DEFINIDOS MEDIANTE FUNCIONES 23

Es el corte de un hiperboloide de un manto con un cilindro elı́ptico.

y2 x2 z 2
 
3
SI = (x, y, z) ∈ R /2 − =1∧ + =2
36 4 16
x2 z 2
 
3 2
SI = (x, y, z) ∈ R /y = 36 ∧ + =1
8 32
 2
z2
 
3 x
SI = (x, y, z) ∈ R / + = 1 ∧ y = −6 ∨
8 32
 2
z2

x
+ =1∧y =6
8 32

Dos elipses de R3 ubicadas en los planos y = ±6.