1

Captulo 1
n

El conjunto \ y
sus operaciones

Contenido breve
Mdulo 1
El conjunto \ n y sus operaciones bsicas
Mdulo 2
Otras propiedades asociadas al
conjunto \ n como un espacio
vectorial.
Los conceptos matemticos se articulan creando estructuras organizadas que se van ampliando para dar origen a nuevas teoras,
muchas de las cuales permiten construir modelos que explican comportamientos de fenmenos en diversas reas del conocimiento.
As, el conjunto \n es un referente bsico para entender otros espacios ms complejos pero que presentan estructuras similares.

Presentacin
Iniciamos este trabajo con el tema del conjunto de las n-tuplas de componentes
reales ( \ n ) atendiendo a dos razones fundamentales.
La primera corresponde a un principio didctico mediante el cual aprovechamos los
conceptos previos que el estudiante de este nivel debe haber consolidado en su
formacin anterior en el ciclo medio, en temas como las relaciones binarias, el producto cartesiano y la geometra analtica bsica, que le capacitan para identificar el
par ordenado y su representacin grfica. Esto nos permite hacer ahora una generalizacin de este concepto y la introduccin de las operaciones que desde el punto
de vista intuitivo son de fcil comprensin para el estudiante, sin desconocer el
grado de abstraccin que ste y ellas suponen.
La segunda atiende un principio de las estructuras lgicas en cuanto a los temas
n
tratados, facilitando la presentacin, inicialmente en el conjunto \ , de todas las
estructuras algebraicas que se estudian en los dems conjuntos objeto de trabajo
del curso, y permitiendo tomarlo siempre como referencia y herramienta de apoyo.

Ejercicios
Mdulos 1 y 2

42

1
n

El conjunto \ y sus operaciones bsicas

Introduccin
Aprovechamos la familiaridad que el lector tiene en este momento de su trabajo acadmico
con las correspondencias establecidas entre el conjunto de los nmeros reales ( \ ) y el
conjunto de los puntos de una recta, el conjunto de los pares ordenados de nmeros reales y
los puntos del plano cartesiano, y el conjunto de tripletas ordenadas de nmeros reales y los
puntos del espacio tridimensional, para inducir un trmino general la n-tupla ordenada de
componentes reales, que a su vez nos permite introducir el conjunto \ n con una serie de
operaciones de fcil comprensin y a travs de las cuales caracterizaremos los tipos de
operaciones generales que identifican las estructuras algebraicas bsicas y que se consolidan
en el espacio vectorial.
La facilidad de su manejo nos permite tomarlo como referencia y ejemplar de comparacin
para identificar las operaciones y propiedades que caracterizan a los otros dos conjuntos
objeto de nuestro estudio en este curso: las matrices de componentes reales y los vectores
geomtricos. En esta forma cumplimos con un doble objetivo inherente en todos los procesos
de enseanza y aprendizaje: la precisin en la seleccin y ordenacin temtica y la didctica
pertinente.

Objetivos del mdulo

1. Introducir un conjunto fundamental \ con sus operaciones como un modelo de espacio
vectorial que es isomorfo a los dems espacios que estudiaremos.

Niels Henrik Abel

El matemtico noruego Niels Henrik Abel naci el 5 de agosto
de 1802 y falleci el 16 de abril de 1829. Muy joven comenz
a leer las obras de grandes matemticos, como Leonhard
Euler, Joseph Louis Lagrange y Pierre Simon Laplace. Su profesor,
convencido del talento del joven Abel para las matemticas, lo
haba animado a hacerlo.
Abel public en 1823 escritos de ecuaciones funcionales e
integrales y dio la primera solucin de una ecuacin integral. En
1824 prob que era imposible resolver algebraicamente ecuaciones
de quinto grado y de su propio costo realiz publicaciones con
la esperanza de obtener reconocimiento por su trabajo. Tambin
le dio estabilidad al anlisis matemtico sobre bases
rigurosas. Su mayor trabajo, Investigaciones sobre las
funciones elpticas, fue publicado en 1827 en el primer
volumen del diario Crelle, el primer peridico dedicado
enteramente a las matemticas.

Preguntas bsicas
1. Qu es el conjunto \ ?
2. Cundo dos n-tuplas son iguales?
n

n
3. Qu operaciones se definen en el conjunto \ ?

4. Qu tipo de operacin caracteriza a la adicin en \ n ?

5. Qu tipo de operacin caracteriza al producto de un real por una n-tupla?
6. Es el conjunto \ n con las operaciones definidas un espacio vectorial?

Abel viaj a Pars y Berln, donde entr en contacto con otros

matemticos de la poca, y donde public sus principales
trabajos. Despus de su visita a Pars, retorn a Noruega
bastante dbil. Mientras estuvo en la ciudad luz visit a
un doctor, quien le inform que padeca de tuberculosis.
Pero a pesar de su mala salud y la pobreza, continu
escribiendo y estudiando, sobre todo sobre las funciones
elpticas. Una importante clase de funciones trascendentales
se denomina (despus de su descubrimiento, en su honor)
ecuaciones, grupos y cuerpos abelianos.
Con motivo de la conmemoracin del bicentenario de su
nacimiento, qued instituido el Premio Abel, de carcter
internacional, en reconocimiento a grandes aportaciones
realizadas en el campo de las matemticas.

Contenidos del mdulo

1.1 El conjunto \ n
1.2 Igualdad en el conjunto \ n
n
1.3 Operaciones en el conjunto \ o que involucran este conjunto
n
1.3.1 Adicin en el conjunto \

1.3.2 Diferencia en el conjunto \

1.3.3 Producto de un nmero real por una n-tupla
n

Vea el mdulo 1 del programa de

televisin Geometra vectorial y analtica

Geometra vectorial y analtica

43

Captulo 1: El conjunto \ n y sus operaciones

1.1 El conjunto Rn
Definimos R n = {(1 , 2 ,..., n ) i R , i = 1,..., n} . A este conjunto lo llamamos conjunto de n tuplas de componentes reales, y se lee R ene.
En particular, si n = 2, R 2 = {(1 , 2 ) 1 , 2 R} . A este conjunto lo llamamos
Escuche la biografa de William Rowan Hamilton
en su multimedia de Geometra vectorial y
analtica.

conjunto de parejas o pares ordenados de componentes reales y tiene su representacin como puntos en el plano cartesiano. Se lee R dos.
Si n = 3, R3 = {(1 , 2 , 3 ) 1 , 2 , 3 R} . A este conjunto lo llamamos conjunto de tripletas ordenadas de componentes reales y tiene su representacin como
puntos en el espacio tridimensional.
4
Si n = 4, R = {(1 , 2 , 3 , 4 ) 1 , 2 , 3 , 4 R} . A este conjunto lo llama-

mos conjunto de cuartetas ordenadas de componentes reales y no es posible hacer

una interpretacin geomtrica como en los casos anteriores, dada la limitacin de
nuestro espacio de representacin mximo a tres dimensiones. Esto no significa que
no podamos determinar este conjunto y los de rdenes superiores para n, puesto
que su existencia es independiente de su posibilidad de representacin geomtrica.
Para estos conjuntos, podemos referirnos a sus elementos como quintetos ordenados de componentes reales en el caso del conjunto R5, sextetos ordenados de
componentes reales en el caso del conjunto R 6 , pero en general los designaremos
como n-tuplas ordenadas de 5, 6, ... , etc., componentes reales.

1.2 Igualdad en el conjunto R n

Sean a, b R n , donde a = (1 , 2 ,..., i ,..., n ), b = ( 1 , 2 ,..., i ,..., n ).
Entonces, a = b si y slo si 1 = 1 2 = 2 .... i = i ... n = n .
Esto significa que dos n-tuplas del mismo orden, es decir, del mismo nmero de
componentes, son iguales nicamente si sus respectivas componentes son iguales,
en su orden estricto.
Ilustracin 1

1.

Dadas a = (1 5, , 0, 5), b = (1 5, 7, 0, ), c = (1 5, 7, 0, ),
d = (1 5, 3, 0), e = ( , + , 0, 5),
determinemos los valores de , , , , si es posible, en cada caso para los
cuales se cumplen las siguientes igualdades:
a=b
a=c
a=d
a=e

44

Mdulo 1: El conjunto \ n y sus operaciones bsicas

Solucin

a = b si slo si a, b R 4 1 5 = 1 5 = 7 0 = 0 5 = .

De acuerdo con la definicin, la conjuncin de la derecha es verdadera para

= 7 y = 5, puesto que las dems proposiciones son verdaderas; por tanto,
a = b cuando y toman los valores anotados.

a = c si slo si a, c R 4 1 5 = 1 5 = 7 0 = 0 5 = .

La conjuncin de la derecha es falsa porque una de las proposiciones que la

integran es falsa, 1 5 1 5, y por tanto nunca se cumple que a y c sean
iguales.

a = d si slo si a R 4 d R 4 1 5 = 1 5 = 3 0 = 0 5 = ?.

La conjuncin de la derecha es falsa porque una de las proposiciones es falsa

(d R 4 ) ; adems, la ltima igualdad no puede siquiera determinarse. En consecuencia, nunca a y d pueden ser iguales.

a = e si slo si a R 4 e R 4 1 5 = = + 0 = 0 5 = 5.

Para que la conjuncin sea verdadera, debe cumplirse que = 1 5.

= 1 5, y en consecuencia 0 = 1 5 (por qu?), lo cual es falso. Por

tanto, a y e nunca pueden ser iguales.
Se propone al lector la determinacin de los valores respectivos para las variables
mencionadas siempre que sea posible, para establecer la igualdad de las restantes
combinaciones posibles, entre las n-tuplas dadas.
2.

Si m = (2 5, 2, 2, 0, 0), n = (2 5, 2, 0, 2, 0), t = (2 5, 2, 2, 0),

puede concluirse que m = n?
puede concluirse que m = t?

1.3 Operaciones en el conjunto Rn o que involucran este

conjunto
1.3.1 Adicin en el conjunto R n
Sean a, b R n , con a = (1 , 2 ,..., i ,..., n ), b = ( 1 , 2 ,..., i ,..., n ).
Entonces se define a + b = (1 + 1 , 2 + 2 ,..., i + i ,..., n + n ).

Geometra vectorial y analtica

45

Captulo 1: El conjunto \ n y sus operaciones

Ilustracin 2

a = (7, 1 5, 0, 1), b = (2 3, 0, 4, 1), c = (7, 1 5, 0, 1),

d = (3, 0, 1 2, 1, 0), o = (0, 0, 0, 0),

Dadas

determinemos la suma de todas las parejas posibles, entre las n-tuplas indicadas.
Solucin
a + b = (23 3, 1 5, 4, 0), a + o = (7, 1 5, 0, 1) = a, a + c = (0, 0, 0, 0).
a + d = ? Esta operacin no puede efectuarse por la condicin establecida en la definicin.

Se deja al lector la determinacin de los otros resultados.

Observaciones
1.

Esta definicin nos permite concluir que la suma en R n es una operacin

binaria. En efecto, su estructura corresponde a la siguiente funcin:
+ : Rn Rn Rn
((1 , 2 ,..., n ), ( 1 , 2 ,..., n )) (1 , 2 ,..., n ) + ( 1 , 2 ,..., n )
= (1 + 1 , 2 + 2 ,..., n + n ).

2.

n
En esta forma podemos construir el sistema R , + .

Teorema 1: Propiedades de la adicin en el conjunto Rn

Sean a, b, c \ n ; entonces se cumple:
1.

(a + b) + c = a + (b + c) (propiedad asociativa).

2.

Existe o = (0,...,0), o \ n , tal que para todo a, a \ n , a + o = a.

De (0,..., 0) se dice que es la n-tupla nula y es el mdulo bajo la operacin adicin
(propiedad modulativa). En general designaremos por o la n-tupla nula de
cualquier orden.

3.

Para todo a, a \ n , tal que a = (1 , 2 ,..., n ), existe una n-tupla que

designamos a, a \ n , tal que a = (1 , 2 ,..., n ) con la propiedad
de que a + (a) = o = (0, 0,..., 0).
El trmino a se lee inverso adivitivo de a (propiedad invertiva).

4.

a + b = b + a (propiedad conmutativa).

Demostremos la propiedad 2:
Sea a \ n , a = (1 , 2 ,..., n), veamos que existe una n-tupla y designmosla por
tal a = (1, 2 ,..., i,..., n ) que a + a = a.

46

Mdulo 1: El conjunto \ n y sus operaciones bsicas

En efecto, asumiendo que a + a = a, tenemos:
(1 + 1, 2 + 2 ,..., i + i,..., n + n ) = (1 ,..., i ,..., n ),

y por la igualdad entre n-tuplas se establece que:

1 + 1 = 1 2 + 2 = 2 ... i + i = i ... n + n = n .

 

 

A su vez, en cada una de las ecuaciones anteriores se obtiene:

1 = 0 2 = 0 ... i = 0 ... n = 0,
y en consecuencia (1,..., i,..., n ) = (0,...0,...,0), esto es, a + o = a, establecindose la existencia del mdulo.
Observacin
Con base en las estructuras algebraicas estudiadas, podemos afirmar que el sistema
R n , + es un grupo abeliano o conmutativo.

1.3.2 Diferencia en el conjunto R n

Sean a, b \ n , con a = (1 , 2 ,..., n), b = (1 , 2 ,..., n). Entonces se define

a b = a + (b)
= (1 1 , 2 2 ,..., i i ,..., n n ).
Ilustracin 3
Sean a = (3, 2, 7), b = (0, 4, 1), o = (0, 0, 0), f = (5, 4, 1, 1 3).
Determinemos la diferencia entre todas las parejas posibles de n-tuplas.
Solucin

a b = a + (b) = (3, 2, 7) + (0, 4, 1) = (3, 6, 6).

b a = b + ( a ) = (0, 4, 1) + (3, 2, 7) = (3, 6, 6).

a o = a + (o) = (3, 2, 7) + (0, 0, 0) = (3, 2, 7).

o a = o + ( a ) = (0, 0, 0) + (3, 2, 7) = (3, 2, 7).

a f = a + ( f ) no est definida. Por qu?

Se deja al lector la determinacin de los otros resultados.

Geometra vectorial y analtica

47

Captulo 1: El conjunto \ n y sus operaciones

1.3.3 Producto de un nmero real por una n-tupla

Sean R , a \ n , donde a = (1 , 2 ,..., i, ..., n). Entonces se define

a = (1 , 2 ,..., i, ..., n).

Ilustracin 4
Dadas c = (2 5, 0, 3, 1 10), f = (2, 1, 3), o = (0, 0),
determinemos 5 c, 2 3 f , 4 o, o c .
Solucin

5 c = (2, 0, 15, 1 2).

2 3 f = (4 3, 2 3, 2).

4 o = (0, 0).

0 c = (0, 0, 0, 0).

Observaciones
1.

Esta definicin nos permite afirmar que este producto corresponde a una ley
de composicin externa entre los conjuntos R y Rn . En efecto, su estructura
corresponde a la siguiente funcin:

: R Rn Rn
( , (1 , 2 ,..., i ,..., n )) (1 , 2 ,..., i ,..., n )
= (1 , 2 ,..., i ,..., n ).

2.

El producto de un nmero real por una n-tupla lo designamos tambin como

un mltiplo escalar de la n-tupla.

Teorema 2: Propiedades del producto de un real por una n-tupla

Sean , R; a, b R n ; entonces se cumplen:

1.

(a + b) = a + b.

2.

( + ) a = a + a.

3.

( a ) = ( ) a.

4.
5.

1 a = a.
1 a = a.

Demostremos la propiedad 2:
Sean , R y a R n , tal que a = (1 , 2 ,..., i, ..., n). Hiptesis.

48

Mdulo 1: El conjunto \ n y sus operaciones bsicas

Tenemos que:
( + ) a = ( + ) (1 , 2 ,..., i ,..., n ), por sustitucin.
= (( + )1 , ( + ) 2 ,..., ( + ) i ,..., ( + ) n ), por la definicin de la operacin producto.
= (1 + 1 , 2 + 2 ,..., i + i ,..., n + n ), por la propiedad distributiva de los nmeros reales.
= (1 , 2 ,..., i ,..., n ) + ( 1 , 2 ,..., i ,..., n ), por la

definicin de la operacin adicin en \ n .

= (1 , 2 ,..., i ,..., n ) + (1 , 2 ,..., i ,..., n ), por la definicin de la operacin producto.

a + a, por sustitucin de la hiptesis.

Conclusin: ( + ) a = a + a (transitividad en la igualdad).
Observaciones
1.

Las propiedades 1 y 2 suelen designarse en general como leyes distributivas

del producto respecto a la suma. No obstante, la propiedad 2 no es una ley
distributiva y estrictamente podemos designarla como una seudodistributividad (falsa distributividad), puesto que la operacin + indicada en la igualdad no corresponde a la misma operacin; as, en el trmino de la izquierda
representa la suma entre dos nmeros reales, en tanto que en el trmino de
la derecha representa la suma entre n-tuplas.

Atendiendo a la estructura de las propiedades antes mencionadas, nos referiremos a ellas como factorizacin sobre la n-tupla en el segundo caso
y factorizacin sobre el nmero real en el primero.

3.

La propiedad 3 no corresponde estrictamente a una asociatividad en el producto, puesto que en el trmino de la derecha el primer producto corresponde al producto entre nmeros reales, en tanto que el segundo designa el producto de un nmero real por una n-tupla.

4.

Las observaciones anteriores podran sugerirnos la posibilidad de ambigedades cuando designamos bajo un mismo smbolo operaciones diferentes;
sin embargo, los contextos previos y la notacin mediante la cual designamos las variables en los diferentes conjuntos permiten precisar los resultados. Este tratamiento es utilizado en general en todos los textos y por ello
queremos que los estudiantes se introduzcan rpidamente en su comprensin.

5.

Remitindonos nuevamente a las estructuras algebraicas bsicas, podemos

n
concluir que el sistema R , + se constituye en un espacio vectorial en el

Geometra vectorial y analtica

49

Captulo 1: El conjunto \ n y sus operaciones

n
conjunto R , que designaremos como (R , +), (R, +, ), o, en forma abre-

n
viada, R , R .

Esto lo fundamentamos en los resultados del teorema 1, donde hemos estan

blecido que el sistema R , + es un grupo abeliano y en el teorema 2 con

las propiedades de la ley de composicin externa.

Tenemos as dos operaciones: la adicin en \ n y el producto de un real por
una n-tupla sobre las que se sustenta este espacio vectorial.
En consecuencia, bajo estas operaciones los elementos de \ n son vectores.
Aunque avanzaremos en el estudio de algunas propiedades caractersticas del espacio vectorial, en particular en el conjunto \ n , es en el curso de lgebra lineal
donde se estudiarn a fondo todas las propiedades que se desprenden de esta
estructura consolidante.

50