J.

CONCEPTO DE ESPACIO M-DIMENSIONAL

Cualquier trio ordenado (a
1
, a
2
, al) de numeros reales puede
ser interpretado geomtricamente como un punto en el espacio.
En concordancia con esta represen tacin geomtrica se ha tomado
en la matemtica la definicin siguiente: el e.1pacio ir/dimensional
es el conjunto de todos los posibles trlos ordenados (a
1,
a
2
, al)
de numeros rea/e.t . Tambin se dice que el sistema de nmeros
'(a
1
, a
2
a,) de ermina el punto M en un espacio tridimensional
con 'las coordenadas a
1
, a
2
, a
3
o el vector P con los componentes
a, a
2
, a
3
en. ese mismo espacio. Estos tres nmeros reales son
insuficientes para representar ciertos objetos, procesos o estados.
Por ejemplo, para determinar la posicin de un cuerpo slido
en el espacio son necesarias seis coordenadas. En el caso de que
en una zona econmica se produzcan determinados artculos
industriales y agrcolas, como vagones de ferrocarril, automviles,
trigo, leche, cerill as y otros, ent onces para la ca racterost ica de esa
produccin industrial y agrcola de la zona se nece. i tar una
sucesin ordenada de nmeros reales. Por ejemplo, la tabla 1
indica que la zona M 2 produce anualmente a
21
toneladas de carbn,
a
2 2
toneladas de mineral de hierro, a
23
toneladas de acero, ..., a
2

toneladas de trigo.
Similarmente se definirn, tambien por medio de sucesiones
ordenadas de nmeros, por ejemplo: la cantidad de combusti ble
de aviacin de diferentes clases que se emplea en tal pas,


> Por analoga el conjunto de todos los posibles
nmeros reales (a,) es un espado unidimensional cuyo modelo geomtrico
puede ser la recta ; el conjunto de todos los posi bles pares de nmeros
reales (a
1
, a,) es un espacio bidimensional cuyo modelo geomtrico puede
ser la superficie plana.







Acero



Trigo





















la cantidad
de artculos
de diferen tes clases que
se encuentran
en tal almacn,
etc.
Tabla 1









Estos ejemplos muestran la utilidad del estudio de todos Jos
posibles conjuntos de sucesiones ordenadas de m numeros reales
para el caso de que m sea cualquier nmero entero posit ivo.
Como se sabe, un sistema ordenado de m nmeros reales
(a, a
1,
..., a, ...,a ) se llama vector m-dimensional. Los n meros a
1
,
i= J, 2, -m, se denomina n componentes del vector P(a
1
, a
2
, ..., a,.).
los vectores P (a
1
, a
2
, ..., a.,) y Q (b
1
, b
2
, - b,.) se consideran
iguales si y slo si coinciden sus compon entes que se encuentran
en los mismos Jugares, o sea si a
1
= b
1
para todos los i= 1, 2, ...,.m.
En el caso de que nos inte.resara conocer la productividad
total de las di versas clases de produccin de dos zonas econmicas,
evidentemente sta podra calcularse sumando las productividades
respectivas de estas zonas. Si la productividad de la zona N9 l
en todas las clases de productos se determina por medio del vector
P
1
(a
1.,
a
12,
- a
1,.)
y la de la zona N2 2, por el vector P:i (a
21
, a
22
,
..., a1..), entonces la produciividad total de estas dos -zonas estar
caracterizada .por el vector
Q(a
11
+a
2
., a
11
,f-a
22
, ..., a
1
.,+a
2
,.).

Si la product ividad de Ul)a zona se determina por el vector
P = P(a
1
, a
2
, ..., a,.), al incrementarse la productiv idad de cada
uno de los productos en k veces, el aumento de la productividad
de la zona se podr expresar con el vector Q. el que ser
Q = Q (ka
1
, kaz, ..., ka.,).

Comprenderemos en este caso por productividad
la cantidad de producto obten.ido en un determinado lapso.

Las deljniciones introducidas son sencillamente una generalizacin
d las operaciqnes ya conocidas con los vectores en un espacio
tridimensional. Al aplicar el con.cepto del espacio tri.dimensio'nal
a la sucesin de nmeros reales m, obte dremos la importante
ddinicin siguiente: el conjunto 'de todos los posibles.m-dimensionaies
vectores P (a,, a
1
, ..., a.,) con compo,nentes reales se llama es'j>a'Cio m-
dimensional y se designa J>C"'
1
Segn la definicin, sumar dos vectores
m-dimensionales consiste en obtener un tercer vector R = P .+
Q con sus componentes iguales a las sumas de los respectivos
componentes de los vectores sumados. Multiplicar el vector P por l
nmero k quiere decir multiplicar cada componente por ese nmero.
Se dice que el vector P (a
1
, a
1
, ..., a.) es proporcional al vector
Q (b
1
, b
2
, ..., b.) si existe un ,nmero k tal que b
1
= ka
1
,
b
1
= ka2, .... b. = ka. En este caso, P = kQ.

El concepto de la combinacin lineal de los vectores es la
generalizacin de la nocin de proporcionalidad de los vectores.
El vector P se llama combinacf1r lineal de los vectores P,,
P
1
,..., P., si existen algunos nmeros reales /
1
, /
2
, ..., 1, t ales
que P = /
1
P
1
+ /
1
P
1
+ ... + I,P,. En este caso el 1-simo componente

del vectr P (i = 1, 2, ..., m) ser igual a la suma de los productos
de la multiplicacin de cada i-simo componente de los vectores
P., P
1
, ..., P, por su /
1
, /
2
, ..., 1, respectivo.
n sistema de vectores P., P
1
, ..., P,_, , P, se llama linealmente
dependiente si por lo menos uno de ellos es una combinacin
lineal de los dems vectores.
Esta definicin es equ ivalente a otra:
un sistema de vectores se llama linralmenre dependiente si
existen tales nmeros reales k., k
2
, ..., k, de los que por
lo menos uno no sea cero, que satisfagan la igualdad
k,P, + k
2
P
2
+ ... + k,P, =O.

En el caso contrario, el sistema de vectores se llama li11ealmente
i11dependiente.
Si el vector P
0
es una combinacin lineal de los vectores P,,
P:, ..., P. se dice que P
0
se expresa en forma lineal por medio
del sistema de vectores {P
1
}, en el que j = 1, 2, ..., .n. Est claro
que si el vector se expresa en forma lineal por medio de cierto
subsistema del sistema dado, l se expresar tambin en forma
lineal por medio del sistema para Jo que es suficiente tomar" los
dems coeficientes del sistema iguales a cero.


Generalizando esta terminologa, se dice que un sistema
de vectores Q
1
, Q
2,
..., Q, se expresa en forma lineal por medio
de un sistema de vectores P
1
, P
2
, , P. si cualquier vector Q,
i "" 1, 2, ..., s es una combinacin l ineal de los vectores dd
sistema {P
1
} j = J , 2, ..., n.
Examinemos en el espacio p!nol los vectores:
i,(l, o, o, .. 0),}
2 (0, l. o..... 0), (1)

o .. ..
i,.(O, O, O, ..., 1).

Estos vectores se llaman vectores -unidad (o vectores- unitarios).
El sistema de vectores ( 1) es linealmen te independien te, puesto que
k
1
1
1
+k
2
1
2
+ ... + k.,i., =O solamente si k
1
= O para todos los








fl&. J

1 = 1, 2. ..., m. Cualquier vector P (a
1
, a
2
, ..., a..) del espacio '"'
se expresa en forma lineal por medio de los vectores del sistema (1),
o sea,
P = a
1 1
+ ai
1
+ ... + a,.i.,.

. Se puede demostrar que rualquier sistema de vectores de "" espacio
que est corripueJt(l por ms de m vectores es linealmeme
depefldiente. .
De es'te modo tendremos qe si en una superficie salen del
orign de las coordenadas dos vectores P
1
y P
2
que no se
.encuentran en una .misma direccin, o sea que son linealmente
independien(es, cualquier tercer vec!o se podr representar como
una combihadn lineal de estos vetores.
Por analoga, si n un espacio tridimensional se dan tres
vectores que no se encuentran en una misma superficie y que



salen del origen de las coordenadas, cualquier vector de este
espacio se expresa como una combinacin lineal de estos vectores.
En la fg. t.se ilustra el caso en el que el vector P
0
se repn;ser).ta
por medio de una combinacin de los vectores linealmente
independientes P" P
2,
PJ> que tiene la .notaci n sigu iente.

J 2
Po= P, + 2"Pz +3P3.

En un espacio bidimensional, a os vectores linealmente
independientes P
1
(a
11
, a
21
) y P
2
(a
12
, a
22
) les corresponde la
determinante
a,,
012
, diferente de cero.
1
au an
El valor absoluto de esta determinante es igual a la superficie del
paralclgramo construido con los vectores P
1
y P
2
(lig. 2).
En un espacio tridimensional , tres vectores linealmente independientes
P.(a
11
, a
21
, a
31
), P
2
(a
12
, a
12
, all) y P
3
(a
13
, a
13
, a
33
) forman
un paraleleppedo (fig. 3). En este caso, el valor absoluto de
la determinante ser

12
13
a a 1
a2z all
a32 aH
diferente de cero e igual al. volumen del paraleleppedo.
Anlogamente, si en un espacio m-dimensiona l se dan m
vectores linealmente independientes
j = J, 2 ..., m;
i= 1, 2, ...,m,

entonces, como se demuestra en los cursos de lgebra superior,
la determinante
a11 a12 a.,.,
a2 a12 4lh,

a



es diferente de cero.

2-0307
a,...
1
o,
2
a,.,,.



Supongamos que en un espacio m-dimensional estn dados n
vectores cualesquiera
j = 1, 2, ..., n;
1= 1, 2, ..., m.
Formemos con los componentes de .estos vectores la matriz 1
de un ordende (m x n)






Fla.J

P
1
P
1

a,
1
a
11

l/11 au
P, P.
a..
a:J
al.

a,,

a.,,
"-





(2)
Hablando en general, las columnas de esta matriz vistas como
vectores m-dimensionales pueden ser linealmente dependientes.
El mximo nmero de columnas linealmente independientes de
la m atriz (2) se llama rango de esta matri-z
1
Dicho de otra
forma, el rango de la matriz (2) es igual al mximo nmero
de vectores lineal mente independientes P
1
, cuyos componentes
forman sus columnas. Cualquier sistema ,linealmente independiente
mximo de vectores del espacio tx'"
1
se llama base de ese espacio
vtC'torlal.

Aqu y o continuacin colocaremos los componentes
de los vectores P
1
en rorma de columnM de las matrices.

1
El nmero mximo de lilas linealmen t e iodepell-
diences de la matriz siempre es igual al nmero mximo de columnas
linealmente independ ientes.



Supongamos que los vectores P
1,
Pl , ..., P
1
-
1,
P
1
, P
1
-t-1 , , P,.
forman la base del espacio ..f>('"' la que llamaremos A-base.
Entonces cualquier vector P de ese espacio puede ser representado
en la base dada en forma de una combinaCin lineal de vectores
P
1
, j = f. 2, ..., m. Adems, esta forma de rcpre.sentacin tendr
una sola aeeptacin , Todas las bases de un espacio vectorial se
componen del mismo nniero de vectores.
Tomemo un vector cualquiera Q que no pertenezca a la. base
P
1
, P
2
, ., P.,. Entonces, si el vector Q no es igual a cero,
en la combinacin lineal
Q = cx
1
P
1
+ cx,P
2
+ ... +cx
1
_
1
P-
1
+ cx
1
P
1
+ cx
1

1
P+
1
+ ... + cx..,P.,
habr por lo menos un coeficiente diferente de cero.
Supongamos, por ejemplo. que <X ,. O, entonces el vector P
1
de la A-base se puede representar de la siguiente manera
P = ...!...Q- P - . - P-t- P+t - ... - P .
a
1
a.
1
a
1
a
1
a
1

Excluimos de la A-base el vector P
1
y aadimos a los vectores
que quedan el vect.or Q. El sistema de vectores P
1
, P
2
, ..., P
1
_
1
,
Q, P+
1
, ..., P., de nuevo es base. ' Realmente, teniendo en cuenta
que la descomposicin de cualquier vector entre los vectores
de la base se efecta siempre de una sola forma, despus de la
exclusin del vector P
1
de la A-base, el vector Q ya no podr
ser representado como una combinacin lineal de los dems
vectores. Eso quiere decir que el sistema de vectores P., P., ...,
PJ-h Q, P
1
+
1
, ..., P.. es un sistema linealmente independiente,
o sea, que forma una base.
La B-base, que se ha obtenido de la A-base por medio
de la sustitucin de cierto vector por un vector no perteneciente
a la A base, la llamarenos base con una sustitucin con re. pecro
a la A-base.
Supongamos que en un espacio m-dimensional estn dados
n + 1 vectores P
0
, P
1
, P
2
, ..., P
1
, ..., P., _los que en la base
Q,, Q2, ..., Q. tienen la descomposicin
Po == b,Q, + b1Q2 +...+ b.,Q,.,
P
1
= a
11
Q
1
+ a
11
Q
1
+...+ a.,
1
Q,.,

P2 = auQ + auQz +...+ a.,lQ,.,
(3)


Formemos una matriz con los componentes de la descomposicin (3)





b
1
a
11
a
11
a
1

(4)



Admitamos ahora que los vectores q
1
, q,, ..., q, forman una
nueva base p!'"
1
Supongamos que estos vectores tienen la siguiente
descomposicin en la base Q1 , Q2, - Q,.:
q, "'qllQ! + q,.Q, + . + q.,,Q...
q, = q.,Q, + q12 Ql +. + q.,,Q...



Como q
1
, q
2
, .... q,., forman una base, la determinante
q.. q,, q,.,
q,, q22 ... q,,.
=
(5)



ser diferente de cero.
Pasemos de la base Q,, Q
2,
- Q,. a la base q,, q
1,
-- q,., .
Entonces, los vectores P
0
, P
1
, P
1
, ..., P. tendrn en la base
q
1
, q
2
, , q, .uno coeficientes de j:lesco mposicin que, en general,
sern diferentes de los coelicientes de descomposicin en la base
Q,, Q2o ..., Q.,:

P
0
= b
1
q
1
+ b
2
' q
1
+ - + b;.q,, .

PI = aj}Qt + azJQ> + ... + .,
1
q. U .., l, 2, ..., 11).

En este caso, la matriz de la descomposicin tiene la siguiente



notacin

Po
P,
P P.

b', a ,.
a'tJ a'"
b'l
a'
ll

a; a'lo





(6)
b
.
'
1
a'
a
a,


b;. a;,..
a J
... a;,.u,

Como se sabe, los elementos de la matriz (6) se determinan por
medio de los elementos de la matriz (4) y de la determinante (5)
con las rrmulas siguient es:

' /
1 .
au=--


en las que


W11
q,, 1-1
b,
q,, 1+1
q,.,.

6f =
qll
f/2. ,_ 1
b2 ql,HI
q2..


qMI
q"' -
b...
q,_,l+t
q......

qll
q,, 1-1
a,,
q, , 1+ l
q,..

6/=
qll
ql,l -1
al
qz,l+ 1
qz,.


q,.,
q.... ,_,
a,.J
q,., ,.. q..,.

(i = 1, 2, ..., m; j .. 1, 2, ..., n).
A continuacin, al mismo tiempo de denominar estas determinantes
con 6, tl.f, tl./, emplearemos a veces las designaciones siguientes:
6=(q,ql ... q..); f = (q, ... q,_,PoQI+t ...q.,J;
6.{ = (q, ... q_,P<i<+, ... q..).
Examinemos un ejemplode determinacin de la descomposicin
de un sistema dado al pasar a una base nueva.
Supongamos que en la base P
1
, P
2
, P
3
, los vectores P.
0
;- P
1
,
Pz. P
3
, P
4
, P . P
6
tienen unas descomposiciones que se determinan




por la matriz


P
4
P,
-3 4
-1 1
2


p6
-1 1
-2 .

Puesto que la determinante compuesta de los componentes de los
vectores P
4
, P,, P
6


-3 4 -1 1
6 = (P
4
, P,, P
6
)= -1 1 -2 = -18
1
2 1 t


es diferente de cero, los vectores P
4
1's. 1'
6
formarn una base.
Encontremos la descomposicin de los vectores P
0
, P, , P
2
, P
3
,
P
4
, P,, P
6
en la base P
4,
P,, 1'
6
. Empleando las frmulas (7),
obtendremos

Po
P, P,
P,

1
I'P,P,P,),
(P,P,P
6
),
(P2PsP6), (f,PsP6),
6
(P.PoP6), (P.P
1
P6), (P.P.P6),
(P
4
P,P
6
),

(P
4
P
5
P
0
), (P
4
P
5
P
1
), (P.PsP2),
(P
4
P
5
P
3
),

Ps
(P.P
5
P
6
),
(P
5
P
5
P
6
),
(P6PsP6)
(P.P.P6),
(P.P,P
6
),
(P.P.Po)

(P
4
P,P,),
(P
4
P,P,),
(P
4
P,P
6
)

Realizando las transformaciones corr.espondientes, obtendremos
la natriz que representa la descomposicin de estos vectores
en la. base .'' P,, P
6:
Po P,
P,

8 1
5

9 6
18

' 11
1
1=
6

1 5
o o

18 18
1 11
6 18
1
. 18



Como es sabido, se llaml producto escalar de dos yectore!
P y Q la expresin definida por la frmula
(P Q) =a
1
b
1
+ a
1
b
1
+ ...+ a
1
b
1
+ ... + a,.,b,.,
donde a, b
1
son los !;Omponentes de los vectores P y Q
Los vectQres p y Q se llaman qrtogonales si' su producto escala
es igual a: oero: Ya que se puede considerar a una matriz de u1
orden de m x. n como un vector (m >.< 11)-dimensional, la llama
remos prQdUC\O escalar de las matrices '
"u
au
...

., , al.,.






...

A



,_'1;
(lll
au




lt,.., u.,,
b,.
bu
b,, b,,


a,,
B-


b.,, b,.. b,..

a la suma
algebraica de todos
los elementos de
la matriz

au
bu bu
a,, b,.


Gz b., 022
b
...
az,
b;,


.. . . a
11
b
11


(111111
b,.,
a.,z b.;z ... ...
am... b,.,.
y la designaremos (A . B).

24

2. HIPERPLANO Y SEMIESPACIO

Por la Geometra Analtica sabemos que a la ecuacin lineal
(8)

en un espacio tridimensional le corresponde el plano normal
al vector A (A
1
, A
2
, A
3
).
Reduzcamos la ecuacin (8) a la forma

++ = l.
oa nl al

(9)
El plano que corresponde a esta ecuacin, corta en los ejes
de las coordenadas los segmentos "" a
2
, a
3
(fig. 4).




..... ,+ ...J _ ,
a
1
a
1
"J
'


o-ortgen de los coordenados


La ecuacin de una superficie plana en un espacio tridimen
sional puede ser, adems, representada e.n forma vectorial
(A
0
X) = ir, donde A
0
es un vector de longitud igual a uno
(unitario), normal al plano; X, vector corr'i.ente que une el
origen d las coordenadas con cualquier _punto perteneciente
al ,piano. Aqu (A X) es el producto e5cala r de la multiplicacin
delos vectores Ao y X que tiene un va.lor igual a la proyeccin
h del' vector X en la direccin determinada por el vector A.
El valor de Ir es igual a la distancia entre el origen de las
coordenadas Y' el plano. El plano pasar por el origen de las
coordnndas cuando IJ = O.
Cualquier vector X que una el origen de las coordenadas con
un punto del plano tendr la misma proyeccin h en la direccin
A' (lig. S).

.25

Anlogament.e llamaremos hiperp/ano, o sencillamepte plano.
en el espacio m-dimensional, al ;onjunto de todos los p\!ntos
(x
1
, x, - x.,) que satisfagan la ecuaci!l

Convendremos en decir que este hiperpiano es norma!al vector
A(A
1
. ; A
2
, - A.,).. Diremos tambin que la ecuacin

- +....:!!.+ ... +...!...=
. ...
a, a
2
,a.,.
corresponde al hiperp_lano que cqrta, en los ejes de coordenadas,
segmentos de longitud igual a a
1
, a
2,
, a.,.




Por ltimo, la ecuacin vectorial (A
0
X)= h define en el
espacio p("'
1
un hiperplano normal al vector unitario A
0
que se
encuentra a una distancia / del origen de las coordenadas.
Una re:ta en un !ano divide. a ste en dos partes, cada una
de las cuales se lla.ma semiplaiW. En la lig. 6 se ve que una recta
divide un plano en dos semiplanos. Aadamos que la proyeccin
Oc
1
de los vectores X
1
, cuyos extremos se encuentran en uno
de los semiplanos, son menores que h = Oc, y la de los vectores
X
2
, cuyos extremos se encuentran en el otro semiplano, son
mayores que h.
Un plano en un espacio tridimensional tambin divide todo
el espacio en dos partes, cada una de las cuales se denomina
semlespac/o.
Por analoga, diremos que un hiperplano en un espacio m-
dimensional divide este espacio en dos partes cada una de las
cuales se denomina semiespacio.


Supongamos que un hiperplano en el espacio J>("'l se expresa por medio de la ecuacin (A X} = h. Entonces, pata
Jos puntos M de uno de tos semiespacios, las proyecciones que representan sus vectores X en la direccin A sern
menores que h, y para los puntos del otro semiespacio , mayores que h. As diremos que uno de los semiespacios es el
conjunto de vectores X para Jos que se cumple la desigualdad (A X)< h, y para los vectores del otro' semiespacio, la (A
X}> h.El propio hiperplano (A
0
X)= h puede ser agregado a uno de Jos semicspacios. Entonces todo el conjunto de
puntos del espacio m-dimensional se dividir en dos partes: la de los puntos para los que (A X) h
y la de los puntos para los que (A X) > h (o bien, en otro caso
(A X)< h y (A
0
X)< h).
Ejemplo l. Dado el semiespacio -5x 1 + 4x - 3x
3
5 deter
mina.r si le pertenece el punto (0, O, 0).
Para obtener la respuesta' es suficiente colocar los aJores
x, -= O, x2 =O, x3 =O en la desigualdad. Tendremos -5 O+
+ 4 O - 3 O < 5, de lo que se deduce que el punto (0, O, 0)
pertenece realme nte al semiespacio -5x
1
+4x
2
- 3x
3
5.
El plano -5x1 + 4x2- 3x3 = 5 es perpendicular al vector
A(-5, 4, -3) (fig. 7).
Ejemplo 2. Determinar si el punto de un espacio 9-dimensional
x 1 "'=0, x2 =-4, xJ=3, x4 - -7, x,= O, x15 - 0, x 1 =9, x8 =1
x9 =O pertenece al semiespacio 4x1 + 5x2- 7x3 + x, - 2x6 .+
+ 12x, - 3x 9 .; 11. Colocando las coordenadas de este punto en la desigualdad, obtendremos 4 O + 4 5 - 3 7 - 7 O + O l
- 2 O +
+ 9 12 + O 1 - 3 O .: 107 > 11. En consecuencia este punto no
pertenece al semiespacio dado.