Preliminares

Conjuntos: notaciones y terminologa

Definicin: un conjunto es una coleccin (o familia) de objetos bien

definidos y diferenciados entre s, a los cuales llamaremos elementos del conjunto. Si es un elemento de un conjunto , se denotar En caso
contrario, esto es, si no es un elemento de se pondr
Si el conjunto
est formado por un nmero finito de elementos 1 2 se escribir
= {1 2 }, siendo indiferente el orden de colocacin de los elementos
entre las llaves. Dos conjuntos son iguales si tienen los mismos elementos.
La relacin significa que cada elemento de es un elemento de y
se dice que es un subconjunto de . Si y se cumple que =
Por ejemplo, los conjuntos de nmeros naturales, enteros, racionales, reales y
complejos verifican N Z Q R C
Observacin: se admite por convenio que existe un conjunto que carece
de elementos, al que se llama conjunto vaco.
Observacin: para indicar cules son los elementos que forman un conjunto, se puede enumerar cada uno de dichos elementos, o bien se pueden definir
los mismos mediante propiedades que los caractericen.

1.1

Operaciones con conjuntos

Unin e interseccin de conjuntos

Dados dos conjuntos y , se denotar por el conjunto denominado

unin de y y definido como el conjunto formado por todos los elementos
que pertenecen, por lo menos, a uno de los dos conjuntos o Se llama
interseccin de y , y se denotar por , al conjunto formado por todos
los elementos que pertenecen simultneamente a los dos conjuntos y Se dice
que y son disjuntos si no tienen elementos comunes, esto es, si =
Complementario de un subconjunto
Si es un subconjunto de , se llama complementario de respecto de al
conjunto formado por los elementos de que no pertenecen a y se denotar
por { o simplemente por { o cuando no haya lugar a confusin. Si
consideramos subconjuntos de un cierto conjunto dado , que se toma como
referencial fijo o como conjunto universal, y denota el complementario de
respecto del conjunto universal , entonces se cumple:
1

1. = ; =
2. = ; =
3. ( ) = ; ( ) = (Leyes de Morgan)
Diferencia de conjuntos
Dados dos conjuntos cualesquiera y se llama diferencia al conjunto
= {
}
Proposicin: para cualesquiera que sean los conjuntos , y , se verifica:
1. = ; =
2. = =
3. = ; =
4. ( ) = ( ) ; ( ) = ( )
5. ( ) = ( ) ( ) ; ( ) = ( ) ( )
Producto cartesiano de conjuntos
Si e son dos conjuntos (que pueden ser iguales) se llama producto
cartesiano de y , y se denotar por al conjunto cuyos elementos son
todas las parejas ordenadas ( ) con y :
= {( ) }
En general, el producto cartesiano 1 es el conjunto formado por
todas las -tuplas ordenadas (1 ) tales que para 1 El
)

producto cartesiano se suele escribir

Aplicaciones ( o funciones)

Cuando se diga "sea una aplicacin ( o funcin ) definida en y que toma

valores en " se nos estn dando tres caractersticas de cualquier aplicacin:
1. Un conjunto que es el campo de definicin o dominio de la aplicacin
(o funcin)
2. Un conjunto que es el conjunto de llegada
3. Una regla de asignacin que asocia a cada elemento un nico
elemento , que se llama la imagen por de y se denota por
= ()

Para indicar una tal aplicacin se usa la notacin

:

7 = ()

Cuando, refirindose a una aplicacin o funcin : , se diga

que es la variable, se quiere sealar que representa a un elemento cualquiera,
genrico, del dominio de la funcin. Tambin se dice que es la "variable
independiente" y que = () es la "variable dependiente" ya que depende del
valor que se le asigne a
En relacin con la funcin : , se tienen las siguientes definiciones:
1. Se llama Grfica de : , y se denota por ( ), al conjunto
( ) = {( ()) } = {( ) , = ()}
que es un subconjunto del producto cartesiano

Observacin: cuando : R R es una funcin real de variable

real definida en el dominio se tiene que la Grfica de es una curva en
el espacio R2 Obviamente, no toda curva de R2 viene dada por la grfica
de una funcin real.
2. La Imagen de una funcin : , denotada por Im , es el conjunto
de los elementos de que provienen de alguno de , esto es,
Im

= { = () para algn } =
= { () } = ()

La imagen inversa (o fibra) de un elemento , denotada por 1 (),

es
1 () = { () = }
Observacin: Ntese que, en general, la correspondencia recproca 1
no es funcin ya que un elemento puede no ser imagen de ningn
, puede ser imagen de un o puede ser imagen de varios
elementos
3. Dadas las funciones : y : , donde , se
llama composicin de con a la funcin : definida por
( ) () = ( ())
4. Una aplicacin : se dice que es inyectiva si elementos distintos de tienen imgenes distintas en Esto es, es inyectiva si para
cualesquiera 1 2 con 1 6= 2 se verifica que (1 ) 6= (2 ), o
equivalentemente, si (1 ) = (2 ) = 1 = 2
5. Una aplicacin : se dice que es epiyectiva (o sobreyectiva)
si todo elemento de es imagen de algn elemento de , esto es, si
Im =
3

6. Una aplicacin : se dice que es biyectiva (o biunvoca) si es

inyectiva y epiyectiva, esto es, si todo elemento es imagen de un, y
slo un, elemento = 1 () de
Observacin: Si : es biyectiva, entonces tiene o admite
funcin inversa que es la funcin 1 : que a cada
le asigna el nico = 1 () de tal que = () Ntese que si
es biyectiva entonces 1 ( ()) = y ( 1 ()) = para cualesquiera
e Dicho de otro modo, si es biyectiva se verifica que
1 =

1 = ,

donde (resp. ) denota a la aplicacin identidad en (resp. en

), que transforma todo (resp. ) en s mismo, () =
(resp. () = ).
Observacin: ntese que si : es inyectiva, entonces la funcin
: () es biyectiva y, por tanto, admite inversa 1 : ()
. Ntese que ( 1 ) = Im

Funciones reales de variable real

1. Una funcin real de variable real es toda funcin : R R, donde
= , esto es, el conjunto de los R para los cuales est definida

2. Si denotamos por F( R) el conjunto de las funciones de en R, en este

conjunto se define la suma, el producto y el producto por un escalar real
mediante las relaciones:
( + )() = () + ()
( )() = ()()
( )() = ()
3. En F( R), se tiene la siguiente relacin de orden :
() () para todo
Ntese que si , entonces la grfica de est situada, toda ella, por
debajo de la de
4. Una funcin real : R R se dice acotada si () es un conjunto
acotado. Esto equivale a decir que : R R est acotada si existe
R tal que | ()| para todo Se llaman supremo, nfimo,
mximo y mnimo de a los de (), si existen. Esto es,
sup = sup () ; inf = inf () ; max = max () ; min = min ()

5. Una funcin real de variable real : R R se dice que es estrictamente montona creciente (resp. estrictamente montona decreciente) en
si, siempre que 1 , 2 sean tales que 1 2 , entonces se verifica
que (1 ) (2 ) (resp. (1 ) (2 )). Si este ltimo signo (resp.
) se sustituye por (resp. ) se dice que es montona creciente (resp.
decreciente).
Una funcin : R R se dice que es creciente o decreciente en un
subconjunto 1 si la restriccin de a 1 es creciente o decreciente.
Ntese que una funcin puede ser creciente en un subconjunto 1 y
decreciente en otro 2
6. Sea : R R una funcin en la que = R o, en general, R
es simtrico respecto del origen, es decir, tal que ( ) = ( )
Se dice que es una funcin par (resp. impar ) si, para todo , se
verifica que () = () (resp. () = ()). Ntese que la grfica
de una funcin par es simtrica respecto del eje de abscisas 0 mientras
que la grfica de una funcin impar es simtrica respecto del origen de
coordenadas.
7. Se dice que una funcin : R R es peridica y que su periodo es
0 si se verifica que ( + ) = () para todo R. En este
caso, tambin se verifica que () = ( + ) para todo R y para
todo N Para conocer la funcin es suficiente con conocerla en un
intervalo de amplitud , como por ejemplo el intervalo [0 ]. La grafica
de se obtiene trasladando a derecha y a izquierda, sucesivas veces, la
grafica de correspondiente al intervalo [0 ].

Estructuras algebraicas

Dado un conjunto 6= se llama operacin interna o ley de composicin

interna definida en a toda aplicacin , del siguiente tipo:

() 7

Se dice que es el resultado de operar con

Un conjunto y una o varias operaciones internas definidas en
forman lo que se llama una estructura algebraica, que se denota por ( ).
Tal estructura se caracterizar atendiendo a las propiedades que satisfagan los
elementos de respecto a las operaciones definidas en
Estructura algebraica de grupo
Definicin: Un conjunto y una operacin interna definida en l , se dice
que forman un grupo ( ) si se verifican las siguientes propiedades:

1. ( ) = ( ) para cualesquiera , (propiedad asociativa)

2. Existe un tal que = = , para todo . El elemento
se llama el elemento neutro de
3. Para cada existe un un 0 tal que 0 = 0 = . El
elemento 0 se llama el elemento simtrico de
4. Si adems se verifica que = para todo (propiedad
conmutativa), se dice que ( ) es un grupo abeliano o conmutativo.
Estructura algebraica de cuerpo
Sea K un conjunto en el cual estn definidas dos operaciones, que llamaremos
suma y producto y denotaremos por + y respectivamente. Entonces K se
dice que es un cuerpo respecto a estas operaciones si verifica las propiedades
siguientes:
1. Cierre: Para todo K, la suma + y el producto estn definidos
unvocamente y pertenecen a K
2. Leyes asociativas: para todo K se verifica
+ ( + ) = ( + ) + y ( ) = ( )
3. Leyes conmutativas: para todo K se verifica
+ =+ y =
4. Leyes distributivas: para todo K se verifica
( + ) = ( ) + ( ) y ( + ) = ( ) + ( )
5. Elementos neutros: el conjunto K contiene un elemento neutro aditivo,
denotado por 0, tal que para todo K se verifica
+ 0 = 0 + =
Tambin el conjunto K contiene un elemento neutro multiplicativo, denotado por 1, tal que para todo K se verifica
1 = 1 =

6. Elementos inversos: para cada K, las ecuaciones

+=0 y +=0
tienen una solucin K, llamada el inverso aditivo de y denotada por

Para cada elemento no nulo K, las ecuaciones

=1 y =1
tienen una solucin K, llamada el inverso multiplicativo de y denotada por 1
Adems, si el producto es conmutativo, esto es, = , se dice que
el cuerpo es conmutativo. Todos los cuerpos que usaremos sern conmutativos.
Ejemplos de cuerpos son los conjuntos Q, R, C de los nmeros racionales,
reales y complejos, con las operaciones suma y producto usuales. Sin embargo,
el conjunto de los nmeros enteros Z no es cuerpo.

El espacio vectorial R

Vectores en R2 y R3 : la nocin algebraica

Definicin: Un vector v en R2 es simplemente un par ordenado de nmeros
reales y puede ser escrito como v = (1 2 ). Por ejemplo, v = (1 2) o v =
( 33) De igual manera, un vector v en R3 es una terna ordenadade nmeros

reales y puede ser escrito como v = (1 2 3 ). Por ejemplo, v = 2
Por tanto,
R2 = R R = {( ) R}
R3 = R R R = {( ) , R}

Notacin: Usaremos letra negra fuerte para denotar vectores y evitaremos

poner una flecha encima de ellos para no recargar la notacin. Es importante

distinguir entre el vector v ( o

v ) y el nmero real ( o escalar ) .
Definicin: Dos vectores u = (1 2 ) y v = (1 2 ) en R2 son iguales
si sus correspondientes componentes son iguales, esto es, si 1 = 1 y 2 = 2
De igual modo, dos vectores u = (1 2 3 ) y v = (1 2 3 ) son iguales si
1 = 1 , 2 = 2 y 3 = 3
A continuacin, estudiamos las operaciones de suma de vectores y multiplicacin de un escalar por un vector. Para ello, se considerarn slo vectores de
R3 ya que los mismos resultados son vlidos para vectores de R2 si ignoramos
simplemente la ltima componente.

Definicin de suma de vectores: Sean u = (1 2 3 ) y v = (1 2 3 )

dos vectores de R3 . Entonces, el vector suma u + v es el vector de R3 definido
como
u + v = (1 + 1 , 2 + 2 , 3 + 3 )

2 = 1 + 2, 3 + y en R3 :
Ejemplo: en R2 se tiene: (1 3) +
(1 0, 3) + (5 4 2) = (6 4 5)
Propiedades de la suma de vectores: se tiene
1. La suma de vectores es una operacin interna, esto es, a + b R3 para
todo a b R3
2. a + b = b + a para todo a b R3
3. a + (b + c) = (a + b) + c para todo a b, c R3
4. un vector especial, denotado por 0 = (0 0 0) y llamado vector nulo, con
la propiedad a + 0 = 0 + a = a para todo a R3
Definicin de multiplicacin escalar: Sea v = (1 2 3 ) un vector de
R3 y sea R un escalar. Entonces, el producto del escalar por el vector v
es el vector
v = (1 2 3 )
Propiedades de la multiplicacin escalar: para todos vectores a y b
de R3 y escalares y se tiene
1. ( + ) a = a+ a
2. (a + b) = a+b
3. (a) = () a = (a)
Vectores en R2 y R3 : la nocin geomtrica
Como es bien sabido, es frecuente representar el cuerpo de los nmeros
reales R por medio del conjunto de puntos de una recta en la que se ha definido
un sistema de abscisas (un origen, un sentido y una unidad de medida). Esta
representacin nos permite identificar grficamente cada nmero real con un
punto de la recta y considerar cada punto de la recta como la imagen grfica
de un nmero real. Tambin resulta familiar la representacin de R2 = R
R como el conjunto de los puntos de un plano en el que se ha definido un
sistema de coordenadas cartesianas. En este caso, se identifican pares ordenados
de nmeros reales ( ) con puntos del plano real. De igual manera, se
puede identificar ternas ordenadas de nmeros reales ( ) con puntos de
un espacio tridimensional R3 = R R R en el que se haya definido un sistema
de coordenadas cartesianas, entendiendo por tal tres rectas, perpendiculares
entre s dos a dos, en las que se han definido tres sistemas de abscisas que tienen
en comn el punto origen y la unidad de medida.
8