Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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
4.1.
84
V V
V
(
v ,
w)
v
w =
v +
w
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.
4.2.
85
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
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}
86
a
a
1
t
a
a
b
a+b
4.3.
Subespacio Afn
(1, 10)
h(
1,
4)
i
h(
1,
4)
i
(1
,1
0)
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)
87
Denotemos
x0 = (0, 0, 0, 6),
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
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
Con
u1 ,
u2 U.
x =
u1 x0
y =
u2 x0
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).
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
4.4.
89
Sistema de Coordenadas
= [(2, 4)]B
2
[(3, 5)](x0 ,B) =
4
Y
X
1
X
1
[(
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
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
1 + 1
1
1
2 + 2
2
2
..
.
.
.
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) =
[
v x](x0 ,B)
1 + 1
2 + 2
..
.
n + n
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
y1 x1
y2 x2
[xy]B = ..
.
yn xn
4.5.
Ecuaci
on de la Recta
[(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
[l](x0 ,B)
y1 = t x1 + a1
y2 = t x2 + a2
: ..
..
. =
.
yn = t xn + an
92
Si x l, entonces
x = (2, 1, 0) + (2, 3, 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=
4.6.
93
Formas Lineales
(, 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
94
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) =
+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.
4.7.
95
Ecuaci
on de un Hiperplano Afn
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) .
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
de otro modo
1 + +
= 2 + 3
3 2
x1 = 1 + +
y1 = 2 + 3
z1 = 3 2
4.8.
97
entonces
S1 = S ((1, 0, 0), h(2, 1, 0), (1, 0, 1)i)
Analogamente
Luego S1 k S2
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
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)
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 .