1.2.

Conjuntos definidos mediante funciones

1.2 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.

La función f ( x) = 1 − x 2 es una función » → » , cuyo dominio es

{ x ∈ »
; -1 ≤ x ≤ 1} y cuyo rango es { y ∈ » ; 0 ≤ y ≤ 1} . El gráfico de f es media

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; estas
son:

• » → » : f ( x) = 1 − x 2
• » → » 2 : g (t ) = (cos t , sent ), 0 ≤ t ≤ π
• » 2 → » : x 2 + y 2 = 1, y ≥ 0
A estas 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
funciones vectoriales en las cuales su manejo adecuado es de vital
importancia en todo el cálculo vectorial.

12
 Capítulo 1: Funciones Vectoriales

Dada una función vectorial

F: ℜn → ℜm
X → F(X) = (f1, ... , fm)(X)

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

En general, F puede definir tres clases de conjuntos de alguna de las siguientes

formas:

Un conjunto está definido Explícitamente, mediante la función F, como el conjunto

SE dado por:
SE = {(X,Y) ∈ » n × » m / X ∈ Dom(F) ∧ Y = F(X) ∈ Rango(F)}

S E = {( x1 , x2 , x3 ,..., xn , y1 , y2 , y3 ,..., ym ) ∈ » n + 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 ℜn+m. Cuando n + m ≤ 3
el gráfico de la función se puede representar mediante un dibujo*.

Un caso particular de especial importancia son los campos escalares del tipo
f: ℜ2 → ℜ
(x,y) → z = f(x,y)

cuando f define explícitamente una superficie en ℜ3, dada por:

SE = {(x,y,z) ∈ ℜ3 / (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) ∈ ℜm / F(X) ∈ Rango(F)}
SP es la imagen (conjunto imagen) en ℜm de la función F, así el conjunto SP está
incluido en ℜm.
Una función vectorial de variable real ilustra un caso especial de estos conjuntos:

*
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.

13
1.2. Conjuntos definidos mediante funciones

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

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

SP determina una trayectoria (o camino) en ℜm y se dice que F está definida

mediante un parámetro o un grado de libertad: t.

Si se considera una función del tipo:

F: ℜ2 → ℜm
(u,v) → F(u,v) = (f1, ... , fm)(u,v)

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

SP determina una superficie en ℜm. En este caso, F está definida mediante 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 ℜn. 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: ℜ2 → ℜ determina implícitamente una curva en ℜ2 (curvas de
nivel) definida por:
SI = { (x,y) ∈ Dom(f) / f(x,y) = c }

14
 Capítulo 1: Funciones Vectoriales

y un campo escalar f: ℜ3 → ℜ (n ≥ 3) determina implícitamente una superficie en ℜ3

(superficies de nivel) definida por:
SI = { (x,y,z) ∈ ℜ3 / 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áfico y
el estudio de la física. Por ejemplo, un mapa del estado del tiempo muestra curvas
de nivel de temperatura y de presión barométrica. La meteorologí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 equipotenciales 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í:

SE = { (X,Y) ∈ ℜ / X ∈ Dom(F) ∧ Y =
n+m

Conjunto SE F(X) ∈ Rango(F) } ⊆ » n+m

F: ℜn → ℜm SP = { F(X) = (f1, ... , fm)(X) ∈ ℜ / F(X) ∈

m

Conjunto SP
X → F(X) = (f1, ... , fm)(X) Rango(F) } ⊆ »m

SI = { X ∈ Dom(F) / F(X) = C, con C ∈

Conjunto SI Rango(F) ∧ n > m } ⊆ »n ,

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 adecuada que
otra dependiendo de lo que se pretenda hacer con el conjunto. Un conjunto S esta
definido mediante una función:

15
 1.2. Conjuntos definidos mediante funciones

a) Explícitamente: Si existe una función F : » n → » m tal que S es el gráfico

de la función F , es decir, S = S E

b) Paramétricamente: Si existe una función F : » n → » m tal que S es el

conjunto imagen de la función, o sea, S = S P .

c) Implícitamente: Si existe una función F : » n → » m tal que S sea un

conjunto de nivel de la función, o S = S I .

Así por ejemplo conjunto de puntos como línea o superficies podrían ser definidos
por funciones de la siguiente forma:

Conjunto Función que define el conjunto de puntos

de
puntos Explícitamente Paramétricamente Implícitamente

f :»2 →»
Línea en f :» → » F :» → » 2 ( x, y ) → f ( x, y )

x → f ( x) = y
tal que para algún
» 2
t → F (t ) = ( f1 (t ), f 2 (t ))
k ∈ Rango( f ) , f ( x, y ) = k
F :»3 →»2
( x, y, z ) → F ( x, y , z ) = ( f1 ( x, y, z ), f 2 ( x, y, z ) )
Línea en F :» → »3
No se usa
t → F (t ) = ( f1 (t ), f 2 (t ), f 3 (t ))
Tal que para algún (c1 , c2 ) ∈ Rango( F ) ,
»3
F ( x, y, z ) = (c1 , c2 )
Si existe una función f
f : »3 → »
Superficie f :» 2
→ » F :» →
( x, y, z ) → F ( x, y, z )
2 3
»

en » 3 ( x, y ) → f ( x, y ) = z (u , v ) → F (u , v ) = ( f1 (u , v ), f 2 (u , v ), f3 (u , v )) = ( x, y , z )

Donde el conjunto S es un conjunto de nivel

de f

16
 Capítulo 1: Funciones Vectoriales

Ejemplo 1.8
En este ejemplo se muestra cómo una función vectorial puede definir tres conjuntos
en diferentes espacios, en sus formas explícita, paramétrica e implícita.

Sea la función
F: ℜ2 → ℜ3
(u,v) → F(u,v) = ( uCos(v), uSen(v), u )=(x,y,z), Dom(F) = ℜ2

F define explícitamente un conjunto SE como:

SE = { ((u,v) , F(u,v)) ∈ » 2 × » 3 / ((u,v) ∈ Dom(F) ∧ F(u,v)∈ Rango(F) }
= { (u,v,x,y,z) ∈ ℜ5 / x = uCos(v) ∧ y = uSen(v) ∧ z = u }
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) ∈ ℜ3 / (x,y,z) = ( uCos(v), uSen(v), u )

De ahí se obtiene que

x = uCos(v); y = uSen(v); z = u

Eliminando los parámetros u, v:

x2 + y2 = u2Cos2(v) + u2Sen2(v) = u2 = z2
x2 + y2 = z2 es la ecuación de un cono en R3
(figura #)
Y finalmente:
Fig. 1.1
SP = { (x,y,z) ∈ ℜ / z = x + y }
3 2 2 2 Cono circunferencial recto

Y la geometría dice que SP es la representación de una superficie cónica

circunferencial recta con vértice en el origen (ver figura 0.1.)

Implícitamente:
SI = { (x,y) ∈ ℜ2 / F(x,y) = (c1, c2, c3) }
= { (x,y) ∈ ℜ2 / xCos(y) = c1 ∧ xSen(y) = c2 ∧ x = c3 }

17
1.2. Conjuntos definidos mediante funciones

Es decir que SI es la solución en ℜ2 del sistema de 3 ecuaciones y 2 incógnitas

dado por:
xCos(y) = c1; xSen(y) = c2; x = c3

La solución de este sistema puede ser el conjunto vacío, un punto en el plano xy (si
c3 ≠ 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, paramétrica e implícita.
Sea el conjunto de puntos definido por:

S = {( x, y, z ) ∈ » 3 / z = a 2 x 2 + b 2 y 2 con a ≠ b ≠ 0}

lo cual corresponde a un paraboloide elíptico con vértice en el origen (ver figura ---)
Las funciones que lo definen de las tres formas son:

Explícitamente: se puede definir mediante la función

f: ℜ2 → ℜ
(x,y) → f(x,y) = a2x2 + b2y2
Se puede verificar que el S E de esta función

Corresponde al S definido arriba.

Y la representación del conjunto es: Fig. 1.2.

Paraboloide elíptico
SE = { (x,y,z) ∈ ℜ3 / z = f(x,y) = a2x2 + b2y2 }

Paramétricamente: se puede hacer una parametrización así: Sean x = x, y = y,

z = a2x2 + b2y2. La función que define al paraboloide elíptico es:

18
 Capítulo 1: Funciones Vectoriales

F1: ℜ2 → ℜ3
(x,y) → F1(x,y) = (x, y, a2x2 + b2y2)

Observe que
SP = { (x,y,z) ∈ ℜ3 / (x,y,z) = F1(x,y) = (x, y, a2x2 + b2y2) }=
S P = { (x,y,z) ∈ ℜ3 / z= a2x2 + b2y2 }

SP = S
El mismo conjunto de puntos se puede describir mediante otra función si se usa una
parametrización diferente:
F2: ℜ2 → ℜ3
(u,v) → F2(u,v) = (a–1uCos(v), b–1uSen(v), u2)
Note que S P = S ya S P define el paraboloide elíptico en cuestión como se

comprueba a continuación:
SP = { (x,y,z) ∈ ℜ3 / (x,y,z) = F2(u,v) = (a–1uCos(v), b–1uSen(v), u2) }
SP = { (x,y,z) ∈ ℜ3 / (x,y,z) = (a–1uCos(v), b–1uSen(v), u2) }
Como
x = a -1uCos (v) y = b -1uSen(v) z = u 2

ax = uCos (v) by = uSen(v) z = u 2

a 2 x 2 = u 2Cos 2 (v) b 2 y 2 = u 2 Sen 2 (v) z = u 2

a 2 x 2 = zCos 2 (v) b 2 y 2 = zSen 2 (v)

a 2 x 2 + b 2 y 2 = z Cos 2 (v) + sen 2 (v)  a 2 x 2 + b 2 y 2 = z

SP = { (x,y,z) ∈ ℜ3 / z = a 2 x 2 + b 2 y 2 }= S

SP = S
Implícitamente: Partiendo de la ecuación original se deduce que:
z – a2x2 – b2y2 = 0

Con lo que se puede definir la función:

g: ℜ3 → ℜ

19
1.2. Conjuntos definidos mediante funciones

(x,y,z) → g(x,y,z) = z – a2x2 – b2y2

Y la representación del conjunto es:

SI = { (x,y,z) ∈ ℜ3 / g(x,y,z) = 0 = z – a2x2 – b2y2 }

Ejemplo 1.10
El siguiente ejemplo muestra conjuntos de nivel para funciones más generales.
Sea la función F definida por:
F : »3 → »2
 x2 z 2 
( x, y, z ) → F ( x, y, z ) =  36 x 2 − 4 y 2 + 9 z 2 , + 
 4 16 
Su conjunto implícito para el valor C = (144, 2) esta descrito por

S I = {( x, y, z ) ∈ » 3 / F ( x, y, z ) = C ∈ Rango( F )} remplazando,

 3  2 x
2
z2  
S I = ( x, y, z ) ∈ » /  36 x − 4 y + 9 z , +  = (144, 2) 
2 2

  4 16  
 x2 z 2 
S I = ( x, y, z ) ∈ » 3 / 36 x 2 − 4 y 2 + 9 z 2 = 144 ∧ + = 2 
 4 16 
 36 x 2 4 y 2 9 z 2 144 x 2 z 2 
S I = ( x, y , z ) ∈ » 3 / − + = ∧ + = 2
 144 144 144 144 4 16 
 3 x
2
y2 z2 x2 z 2 
S I = ( x, y , z ) ∈ » / − + = 1 ∧ + = 2 
 4 36 16 4 16 
Es el corte de un hiperboloide de un manto con un cilindro elíptico

 y2 x2 z 2 
S I = ( x, y , z ) ∈ » / 2 −
3
= 1 ∧ + = 2
 36 4 16 

20
 Capítulo 1: Funciones Vectoriales

 x2 z 2 
S I = ( x, y, z ) ∈ » 3 / y 2 = 36 ∧ + = 1
 8 32 
  x2 z 2   x2 z 2  
S I = ( x, y , z ) ∈ » 3 /  + = 1 ∧ y = −6  ∨  + = 1 ∧ y = 6 
  8 32   8 32  

Dos elipses de » 3 ubicadas en los planos y = ±6 (ver figura 1.3)

Figura 1.3

21