Captulo 4

El Espacio Afn
Introducci
on:
El espacio afn, es un trio de la forma (V, X, ), en donde:
1. V es el espacio vectorial sobre el cuerpo K
2. X es el conjunto de puntos
3. es la aplicacion definida como:
: V X
X

( v , x)
v x
En donde la aplicacion () debe cumplir con:

a) (
v ,
w V ) (x X) ((
v +
w) x =
v (
w x))

x

w
v +

w
x
x




0 x=x
V ) (
x = y)
c) (x, y X) (!
xy
xy

b) (x X)

x
y

82

w x
v

x
w

CAPITULO 4. EL ESPACIO AFIN

Propiedad 4.1 Sea (V, X, ) un espacio afn, entonces



1. (x X) (
v V ) x (
v x) =
v



2. (x, y X) (
v V ) (
v x) y =
xy
v



3. (
v V ) (x, y X) (
v x) (
v y) =
xy

Demostraci
on:

1. Sean x X,
v V
Por unicidad son iguales

x (
v x) x =
v x

x (
v x) =
v

2. Sean x, y X,
v V

(
xy
v ) (
v x) =
=

xy
v (
v x))

((

xy
v
+
v ) x)



0 x
=
xy

x
(
xy
v ) (
v x) =
xy

Luego (
xy
v ) (
v x) = y, entonces

xy
v = (
v x) y
Analogamente se define

y (v x) =
v +
yx

3. Sean
v V, x, y X

w = (
v x) (
v y)

w ( v x) = ( v x) ( v y) (
v x)

w ( v x) = v y

v ( w (
v x)) =
v (
v y)

(
v +
w +
v ) x = (
v +
v)y

x x = y

w =
xy

83

CAPITULO 4. EL ESPACIO AFIN

4.1.

84

Espacio Afn Vectorial

Propiedad 4.2 Sea V un K- espacio vectorial, X = V y

:

V V
V

(
v ,
w)
v
w =
v +
w

entonces (V, V, ) es un espacio afn.

Demostraci
on: Veamos si cumple con las propiedades anteriores

1. (
v ,
w,
x V ) (
v (
w
x ) = (
v +
w)
x)

Sean
v ,
w,
x V,

v (
w
x) =
=
=
=



2. (
v V) 0
v =
v

Sea
v V,

v (
w +
x)

v + (w +
x)

( v + w) +
x

(
v +
w)
x

0
v = 0 +
v

=
v

3. (
x ,
y V ) (!
w V )(
w
x =
y)

Sean x , y V ,

u
x =
y

u + x = y

u =
y
x

Ademas si (
y
x) V

(
y
x)
x =
y
x +
x

= y
Luego al tomar V = X, entonces (V, X, ) es un espacio afn.

CAPITULO 4. EL ESPACIO AFIN

4.2.

85

Aplicaciones en el Espacio Afn

Sea (V, X, ) un espacio afn y la funcion

t
a : X X

x
t
a (x) = a x

Se dice que t
on en la direccion del vector
a , en el conjunto
a es una traslaci
X.

Teorema 4.1 t
on biyectiva.
a es una funci

Demostraci
on

i. t
a es inyectiva, sean x, y X por demostrar t
a (x) = t
a (y), entonces x =
y Para ello veamos

t
a (x)

a x

a (
a x)

0 x
x

=
=
=
=
=

t
a (y)

a y

a (
a y)

0 y
y

t
a es inyectiva

ii. t
a es epiyectiva, por demostrar que Rec (t
a) = X

La primera contencion es evidente que Rec (t

a ) X, basta demostrar

que Rec (t
a ) X.

Dado x X

t
a ( a x) =
=
=
=

a (
a x)

(
a + (
a )) x

0 x
x

Luego t
a es epiyectiva, de este modo t
a es biyectiva.
Notaci
on:

T (X) = {t
a | a V}

Propiedad 4.3 Sea (V, X, ) un espacio afn, entonces

CAPITULO 4. EL ESPACIO AFIN

86

T (X) es un grupo, llamado el grupo de las traslaciones del espacio afn.

Demostraci
on: Consideremos las aplicacion, que ademas cumple con:
T (X)
= (V, +)

a
a

1
t

a

a
b
a+b

(x) se tiene que a = b .

Ademas por unicidad tenemos t
a (x) = t
b

4.3.

Subespacio Afn

(1, 10)

h(
1,
4)
i

h(

1,
4)
i

(1
,1
0)

Sea (V, X, ) un espacio afn y U V . Se define S(x0 , U) = {

u x0 |
u U}
en donde S(x0 , U) se denomina subespacio afn.

X = R2
S ((1, 10) , h(1, 4)i)

Notaci
on:
1. Se dice que S(x0 , U) se denomina recta afn si y solo si dim U = 1
2. Se dice que S(x0 , U) se denomina plano afn si y solo si dim U = 2
3. Se dice que S(x0 , U) es hiperplano afn si y solo si dim U = dim V 1
4. dim (S(x0 , U)) := dim U
Ejemplo 4.1 En V = X = R4 espacio afn. Sea : 2x + 3y 4z + w = 6.
Exprese en terminos de subespacios afn.
Soluci
on: Sea (x, y, z, w) , luego tenemos w = 6 2x 3y + 4z, reemplazando obtenemos,
(x, y, z)
= (x, y, z, 6 2x 3y + 4z)
= (x, 0, 0, 2x) + (0, y, 0, 3y) + (0, 0, z, 4z) + (0, 0, 0, 6)
= x(1, 0, 0, 2) + y(0, 1, 0, 3) + z(0, 0, 1, 4) + (0, 0, 0, 6)

CAPITULO 4. EL ESPACIO AFIN

87

Denotemos
x0 = (0, 0, 0, 6),

U = h(1, 0, 0, 2), (0, 1, 0, 3), (0, 0, 1, 4)i

Luego
S (x0 , U) = (0, 0, 0, 6) + h(1, 0, 0, 2), (0, 1, 0, 3), (0, 0, 1, 4)i
Teorema 4.2 Sean (V, X, ) un espacio afn y S(x0 , U) un subespacio afn,
| x, y S(x , U) }
entonces U = {
xy
0
Demostraci
on: Sean (V, X, ) un espacio afn y S(x0 , U) un subespacio afn

x
u
2
0

u
2
x0

u
1

x
u
1
0

u x0

| x, y S(x , U) }.
1. Veamos primero U {
xy
0

Sea u U, luego u x0 , x0 S(x0 , U) ya que

u x0 =
u x0 y la
unicidad tenemos

x0 (
u x0 ) =
u
de este modo se tiene

/ x, y S(x , U) } .
U {
xy
0
| x, y S(x , U) } U.
2. Para la otra contencion {
xy
0

Sean x, y S(x , U), por demostrar xy U.

0

Como x, y S(x0 , U) se tiene que

Con
u1 ,
u2 U.

x =
u1 x0

y =
u2 x0

CAPITULO 4. EL ESPACIO AFIN

88

Sea

=
xy

x
(
u
/
u
1 x0 ) (u2 x0 ) = w
1
0

u1 x0 u2 x0 u1 x0 = w (u1 x0 )

) x

u2 x0 = (
w +
u
/
u
1
0
2

x0 = (u2 + w + u1 ) x0

Por unicidad

u2 +
w +
u1 = 0

w =
u2
u1

con
u2
u1 U, luego
w U.

Teorema 4.3 Sean (V, X, ) un espacio afn,x, y X y U, W < V , entonces S(x, U) = S(w, W) si y solo si U = W S(x, U) S(w, W) 6=
Demostraci
on: Supongamos que U = W S(x, U) S(w, W) 6= , por
demostrar que S(x, U) = S(w, W).

Sea z S(x, U) S(w, U), entonces z =

u1 x y z =
u2 w si y solo si

x =
u1 z y w =
u2 z respectivamente.
Veamos ahora una contencion S(x, U) S(w, U).
Sea t S(x, U)

t =
u3 x

t =
u3 (
u1 z)

t = ( u3 u1 ) z

t = (
u3
u 1 ) (
u2 w)

t = (
u3
u1 +
u2 ) w

Luego t S(w, U), ya que (

u3
u1 +
u2 ) U.
Analogamente para S(w, U) S(x, U), con lo cual se establece que
S(x, U) = S(w, U)
Ahora supongamos que S(x, U) = S(w, W), por demostrar U = W y
S(x, U) S(w, W) 6=
Por teorema anterior
V | z, w S(x, U)}
U = {
zw
V | z, w S(w, W)}
= {
zw
= W

Ademas S(x, U) = S(w, W), se tiene entonces que S(x, U) S(w, W) 6= .

CAPITULO 4. EL ESPACIO AFIN

4.4.

89

Sistema de Coordenadas

Sean (V, X, ) un espacio afn, x0 X y B una base ordenada del espacio

vectorial V .
Se dice que (x0 , B) es un sistema de coordenada de X y las coordenada de
x X respecto al sistema de coordenadas (x0 , B), estan dadas por:
[x]
= [
x
x]
(x0 ,B)

Ejemplo 4.2 En espacio vectorial afn real, es decir, V = X = R2 . Sean

x0 = (1, 1) y B = {(1, 0), (0, 1)}.
Determine las coordenadas del punto [(3, 5)](X0 ,B)
Soluci
on:

[(3, 5)](x0 ,B) = [(1, 1)(3, 5)]B

= [(3, 5) (1, 1)]B

= [(2, 4)]B
 
2
[(3, 5)](x0 ,B) =
4
Y

X
1

X
1

Ejemplo 4.3 Sea (V, X) un espacio afn, x0 X y B = {

a1 ,
a2 ,
a3 , ,
an }
base de V .
Determine las coordenadas de

[(
a1 +
a2 +
a3 + +
an ) x0 ](x0 ,B)
Soluci
on: Sea

[(
a1 +
a2 +
a3 + +
an ) x0 ](x0 ,B)

= [x0 ( a1 + a2 + a3 + +
an ) x0 ](B)

= [
a1 +
a2 +
a3 + +
an ]B

= [ a1 ]B + [ a2 ]B + [ a3 ]B + + [
an ]B

CAPITULO 4. EL ESPACIO AFIN

90

++

[(
a1
+
a
an )
x0
](x0 ,B)
2 + a
3
0
0
1
0
0 1


=
.. + .. + . . . + ..
.
. .
1
0
0
1

[(
a1 +
a2 +
a3 + +
a
n ) x0 ](x0 ,B) = ..
.
1

Teorema 4.4 Sean (V, X) un espacio afn, x0 X y B base de V tal que

1 + 1
1
1
2 + 2
2
2

[ v ]B = .. y [x](x0 ,B) = .. , entonces [ v x](x0 ,B) =

..

.
.
.
n + n
n
n
Demostraci
on:

hi

X0 (
v x)
B

=
[v +
x
0 x]B

= [
v ]B + [
x
0 x]B

= [
v ]B + [x](x0 ,B)

[
v x](x0 ,B) =

De este modo se tiene

[
v x](x0 ,B)

1 + 1
2 + 2

..

.
n + n

Ejemplo 4.4 Sean (V, X, ) un espacio afn, x0 , x, y X y B una base de

V tales que


y1
x1
y2
x2


[x](x0 ,B) = .. y [y](x0 ,B) = ..
.
.
yn
xn

CAPITULO 4. EL ESPACIO AFIN

91

Calcule [
xy]
B
=
+

Soluci
on: Si
xy
xx
x
0
0 y = x0 x + x0 y, entonces:

[
xy]
[
x
B =
0 x + x0 y]B

=
[
x
0 x]B + [x0 y]B

= [ x ](x0 ,B) + [ y ](x0 ,B)

y1 x1
y2 x2

[xy]B = ..
.
yn xn

4.5.

Ecuaci
on de la Recta

Sean (V, X, ) espacio afn, x0 X y B base ordenada de V . Ademas sea l

una recta afn tal que l = S(x, h

v i).

Si y l, entonces existe t K tal que y = (t

v)x

[(t
v ) x](x0 ,B)

= [x0 ((t
v ) x)]B

= [t
v ]B + [x](x0 ,B)

= t [
v ]B + [x](x0 ,B)

[y](x0 ,B) =

Supongamos que

x1
y1
a1
x2
y2
a2

[
v ]B = .. , [y](x0 ,B) = .. y [x](x0 ,B) = ..
.
.
.
xn
yn
an

entonces tenemos Ecuacion parametrica de la recta

[l](x0 ,B)

y1 = t x1 + a1
y2 = t x2 + a2
: ..
..
. =
.
yn = t xn + an

CAPITULO 4. EL ESPACIO AFIN

92

Despejando el parametro t, obtenemos la Ecuacion Cartesiana

y2 a2
yn an
y1 a1
=
= =
l:
x1
x2
xn
Ejemplo 4.5 Sea V = X = R3 , B = {(1, 0, 0), (1, 1, 0), (1, 1, 1)} base ordenada de V , x0 = (1, 2, 3) y l = S ((2, 1, 0), h(2, 3, 1)i).
Determine la ecuacion parametrica y cartesiana de [l](x0 ,B)
Soluci
on:

Si x l, entonces
x = (2, 1, 0) + (2, 3, 1)

[ x ](x0 ,B) = [(2, 1, 0) + (2, 3, 1)](x0,B)

= [(2, 1, 0)](x0 ,B) + [(2, 3, 1)]B

= [((1, 2, 3) (2, 1, 0)]B + [(2, 3, 1)]B

= [(1, 1, 3)]B + [(2, 3, 1)]B


2
1

[
x ](x0 ,B) = 2 + 2
3
1
del cual se concluye la ecuacion parametrica

x1 = + 2
l:
x2 = 2 + 2

x3 = 3
y la ecuacion cartesiana es

y2
=z+3
2
Definici
on 4.1 Sea (V, X) un espacio afn tal que dim V = n y U V .
l :2x=

1. Se dice que U es un hiperplano vectorial si y solo si

dim U = n 1 = dim V 1.

2. Se dice que S(x0 , U) es un hiperplano afn si y solo si U es un hiperplano

vectorial.
Ejemplo 4.6 Sean V = X = R3 y H = S ((0, 0, 1), h(1, 2, 3), (1, 0, 1)i)
Determine si H es un hiperplano afn
Soluci
on:
dim (h(1, 2, 3), (1, 0, 1)i) = 2, entonces H es un hiperplano afn

CAPITULO 4. EL ESPACIO AFIN

4.6.

93

Formas Lineales

Sea (V, X) un espacio afn y f : V K, entonces f es una forma lineal (f

transformacion lineal) si y solo si

(, K) (
v1 ,
v2 V ) (f (
v1 +
v2 ) = f (
v1 ) + f (
v2 ))
Ejemplo 4.7 Determine si las siguientes funciones son formas lineales
f:

R4

R
(x, y, z, w)
2x + y w
R3
R
(x, y, z)
x

f:

Teorema 4.5 Si f es una forma lineal no nula sobre el espacio afn (V, X),

entonces Ker f = {
v V | f (
v ) = 0} es un hiperplano.

Demostraci
on: Como f es no nula, entonces existe K y
v V tales

que f ( v ) = ).
Despejando y operando obtenemos que

f (
v)

1
f
(
v
)

1
f v

f
v

=
=
=
=

/ 1 , 6= 0
1
1 / , K

todo elemento tiene preimagen, es decir

f es epiyectiva
Por teorema de algebra lineal, tenemos la siguiente igualdad
dim V = dim (ker f ) + dim (Im f )
Supongamos dim V = n y como f es epiyectiva, entonces dim (Im f ) = 1,
entonces n = dim (Ker f ) + 1, luego dim (Ker f ) = n 1
Ker f es un hiperplano.

CAPITULO 4. EL ESPACIO AFIN

94

Teorema 4.6 Sea U V y U hiperplano, entonces existe una forma lineal

f , tal que Ker f = U.
Demostraci
on:
Si dim V = n, entonces dim U = n 1 y Sea

B = {
v1 ,
v2 , . . . ,
v
n1 } base de U

Sea
w V tal que
w 6 U, entonces V = U +h
wi

Sea
v V , entonces existen u
nicos
u U y K tales que

v =
u +
w
Por lo anterior, se obtiene la funcion
f:

V K

v
f (
v ) = f (
u +
w) =

que claramente es u forma lineal y Ker f = U.

Observaci
on: El teorema anterior, nos permite determinar la ecuacion cartesiana de un hiperplano vectorial.
,

Con las notaciones anteriores B = {

w
1 w2 , . . . , wn } otra base de V . Si v
Ker f entonces

+x
w
v = x1
1
2 w2 + + xn wn
luego

) + x
w
f (
v ) = x1 f (
1
2 w2 + + xn f (wn )
= 1 x1 + 2 x2 + + n xn
0 = 1 x1 + 2 x2 + + n xn

esta u
ltima, es la forma general de la ecuacion cartesiana de un hiperplano
vectorial con respecto a la base B.

CAPITULO 4. EL ESPACIO AFIN

4.7.

95

Ecuaci
on de un Hiperplano Afn

Sea S(x0 , U) un hiperplano afn y (x0 , B) un sistema de coordenadas en X.

Supongamos


x1
a1
x2
a2


[x1 ](x0 ,B) = .. y [x](x0 ,B) ..
.
.
xn
an
Sea x S(x0 , U), entonces

finalmente

[
x
[
x
1 x]B =
1 x0 + x0 x]B

= [
x
0 x]B [x0 x1 ]B
= [x](x0 ,B) [x1 ](x0 ,B)

x1 a1
x2 a2

[ u ]B = ..
.

xn an

Como
u U y U es hiperplano, entonces tenemos que existe i K, tal
que
1 (x1 a1 ) + 2 (x2 a2 ) + + n (xn an ) = 0
1 x1 1 a1 + 2 x2 2 a2 + + n xn n an = 0
Despejando obtenemos
1 x1 + 2 x2 + + n xn = 1 a1 + 2 a2 + . . . + n an
Ecuacion hiperplano afn
1 x1 + 2 x2 + + n xn = d
Ejemplo 4.8 Sea V = X = R3 . Si B = {(1, 1, 0), (1, 0, 1)(1, 0, 0)} base
ordenada de R3 , S1 = S ((1, 1, 1), h(2, 1, 3), (0, 1, 1)i) y x0 = (1, 2, 3).
Determine la ecuacion de [S1 ](x0 ,B) .

CAPITULO 4. EL ESPACIO AFIN

96

Soluci
on:
Sea (x, y, z) S1 , entonces (x, y, z) = (1, 1, 1) + (2, 1, 3) + (0, 1, 1),luego:
[(x, y, z)](x0 ,B) = [(1, 1, 1)](x0 ,B) + [(2, 1, 3)]B + [(0, 1, 1)]B

= [(1, 2, 3)(1, 1, 1)]B + [(2, 1, 3)]B + [(0, 1, 1)]B

= [(0, 1, 2)]B + [(2, 1, 3)]B + [(0, 1, 1)]B



1
1
1

[(x, y, z)](x0 ,B) = 2 + 3 + 1

3
2
0

de otro modo

[(x, y, z)](x0 ,B)

Por lo tanto

1 + +
= 2 + 3
3 2

x1 = 1 + +
y1 = 2 + 3
z1 = 3 2

del cual se concluye que la ecuacion de la recta es

x1 + y1 + 2z1 = 3.

4.8.

Paralelismo de un Espacio Afn

Sea (V, X) un espacio afn, S1 = S(x, U) y S2 = S(y, W) subespacios afines.

Diremos que S1 k S2 si la dim S1 = dim S2 y direccion S1 igual a la direccion
S2 .
Ejemplo 4.9 Determine si S1 y S2 son paralelos donde
S1 = {(x, y, z) R3 / x + 2y + z = 1}
S2 = {(x, y, z) R3 / x + 2y + z = 7}
Soluci
on:
S1 : x = 1 2y z, entonces
(x, y, z) = (1 2y z, y, z)
(x, y, z) = (1, 0, 0) + (2y, y, 0) + (z, 0, z)
(x, y, z) = (1, 0, 0) + y(2, 1, 0) + z(1, 0, 1)

CAPITULO 4. EL ESPACIO AFIN

97

entonces
S1 = S ((1, 0, 0), h(2, 1, 0), (1, 0, 1)i)
Analogamente
Luego S1 k S2

S2 = S ((7, 0, 0) h(2, 1, 0), (1, 0, 1)i)

Teorema 4.7 Sea (V, X) espacio afn, S1 = S(x0 , U) subespacio afn y sea

t
on, entonces t
a T (X) traslaci
a (S1 ) = S( a x, U)
Demostraci
on:

S(x, U) = {
u x |
u U}

t a (S(x, U)) = {t a ( u x) |
u U}

= {
a (
u x) |
u U}

= { u ( a x) | u U}

= S(
a x, U)
Teorema 4.8 Sean (V, X) un espacio afn, S1 , S2 subespacio afines tal que
dim S1 = dim S2 , entonces
S1 k S2 , si y solo si ( t traslacion | t(S1 ) = S2 )
Demostraci
on: Supongamos S1 k S2 , por demostrar que existe t traslacion
tal que t(S1 ) = S2
Ya que U = W, tenemos
S1 = S(x, U) = S(x, W)
S2 = S(y, W) = S(y, U)

luego t

Sea
v =
xy,
v (x) = y y por lo tanto

t
v (S(x, U)) = S( v x, U) = S(y, W)
Ahora supongamos que existe t traslacion tal que t(S1 ) = S2 , por demostrar
S1 k S2 .

Sea S1 = S(x, U) y t
v (S1 ) = t
v (S(x, U)) = S( v x, U) = S2 , luego ambos
tienen la misma direccion por lo tanto S1 k S2
Teorema 4.9 Sea (V, X) un espacio afn, S1 y S2 hiperplanos afines, entonces

CAPITULO 4. EL ESPACIO AFIN

98

S1 k S2 , si y solo si S1 = S2 S1 S2 =
Demostraci
on:
Supongamos S1 k S2 , por demostracion S1 = S2 S1 S2 =
i) Si S1 S2 = listo
ii) Ahora S1 S2 6= , entonces existe z X tal que z S1 S2 como
S1 S2 . entonces

Por lo tanto S1 = S2

S1 = S(x, U) = S(z, U)
S2 = S(y, U) = S(z, U)

Ahora supongamos S1 = S2 S1 S2 = , por demostrar S1 k S2 .

i) Si S1 = S2 , entonces S1 k S2 listo
ii) Caso S1 S2 = , por absurdo

Supongamos que S1 S2 = S1 6 k S2 , S1 = S(x, U), y S2 = S(y, W).

Como U, W son hiperplanos distintos se tiene que V = U + W.

V , existe

xy
u U,
w W

xy
u +
w

(
u +
w) x = y
/
w

u x =
w y

de donde
u y =
w x S1 S2 6= Por lo tanto
S1 k S2 .