1.3.- DESIGUALDADES.

CONJUNTO DE INTERVALOS

Empecemos recordando las definiciones de los smbolos <, s, > y >. denominados
smbolos de desigualdad.
Los nmeros reales distintos de cero se dividen en dos clases, los nmeros
positivos y los nmeros negativos. Escribimos a >0 (a es mayor que cero) para
indicar que a es positivo y a < 0 (a es menor que cero) para sealar que es
negativo. La suma a + b y el producto a - b de dos nmeros reales positivos son
ambos positivos. Si a es positivo, entonces a es negativo.
Si a y b son dos nmeros reales distintos, escribimos a < b si a - b es negativa.
Por ejemplo, 5 > 2 porque 5 2 = 3 es positivo y 2 < 8 dado que 2 8 = - 6 es
negativo. Geomtricamente, a > b significa que el punto sobre la recta numrica
que representa a a esta a la derecha del punto que representa al nmero b y a < b
significa que el punto que representa a a esta a la izquierda del punto que
representa a b.


I I I I I


a>b a<b


Definimos a > b(a es mayor igual o igual que b) para indicar que a>b o que a = b.
De manera similar, as b(a menor o igual que b) se usa para sealar que a<b o
a=b. Por ejemplo 5 s 7 dado que es cierto 5< 7 y 5> 5 porque 5 = 5 se cumple.
Definimos que a<b, a>b, a>b, o asb se llaman desigualdades. En particular,
b<a. As que, 5>3 es lo mismo que 3<5.
Cuando un numero b esta entre dos nmeros a y c, escribimos a<b<c. La doble
desigualdad se utiliza para indicar que a<b y que b<c.

CONJUNTOS

El conocimiento de los conjuntos y de las operaciones entre conjuntos es bsico
en todas las matemticas modernas. Una gran cantidad de largas proporciones
matemticas pueden escribirse claras y concisamente en trminos de conjuntos y
de operaciones entre ellos.



b a a b
DEFINICIN. Toda coleccin de objetos bien definida ser referida como un
conjunto. Los objetos de que consta un conjunto se denominan miembro o
elementos de un conjunto.
Por una coleccin bien definida, entendemos que dado cualquier objeto,
podemos definir por ambigedad alguna si pertenece o no a la coleccin.
Un conjunto puede especificarse en dos formas, haciendo una lista de todos sus
elementos o estableciendo una regla que caracterice a los elementos del conjunto,
Examinaremos estos dos mtodos uno por uno.


MTODO DEL LISTADO Si es posible especificar todos los elementos de un
conjunto, el conjunto puede describirse listando todos los elementos y encerrando
la lista con parntesis.

Por ejemplo, { } 5 , 2 , 1 denota al conjunto que consta de los tres nmeros 1,2 y 5 y
| | q p, simboliza el conjunto cuyos nicos elementos son las letras pyq.
En casos en que el conjunto contiene un gran nmero de elementos, es posible
emplear a menudo lo que llamaremos una lista parcial. Por ejemplo, { } 100 ,..., 6 , 4 , 2
denota al conjunto de todos los enteros pares de 2 hasta 100. Tres puntos
suspensivos,, se usa para sealar que la sucesin de elementos listados. La
sucesin termina en 100. Por medio de los puntos suspensivos, el mtodo de la
lista puede emplearse en casos en los cuales el conjunto en cuestin contiene un
nmero infinito de elementos. Por ejemplo, { } ... 5 , 3 , 1 denota al conjunto de todos
nmeros naturales impares. La ausencia de nmeros despus de los puntos
suspensivos indica que la sucesin no termina, sino que contina indefinidamente.

MTODO DE LA REGLA Existen Muchos ejemplos en los que no es posible o
que sera inconveniente listar todos los elementos de un conjunto determinado en
tales cosas el conjunto puede especificarse estableciendo una regla de
pertenencia.

Por ejemplo, consideramos el conjunto de todas las gentes que viven en Mxico
en este momento. Especificar este conjunto listando todos sus elementos por
nombres sera una tarea prodigiosa. En lugar de ello lo podemos denotar de la
manera siguiente.


{ x x es persona que actualmente vive en Mxico }


El smbolo significa tal que, de modo que esta expresin se lee : el conjunto de
todas las x tales que x es una persona que actualmente vive en Mxico. La
afirmacin que sigue a la barra vertical dentro de los parntesis es la regla
especfica a la pertenencia al conjunto.
Como un segundo ejemplo, consideramos el conjunto

{ x x es un punto de esta pgina }

el cual denota el conjunto de todos los puntos de esta pgina. Este es un ejemplo
de un conjunto que no puede especificarse mediante el mtodo del listado an si
deseramos hacerlo as.
Una gran cantidad de conjuntos pueden especificarse por el listado o
estableciendo una regla y podemos elegir el mtodo que ms nos agrade.
Daremos varios ejemplos de conjuntos, algunos de los cuales pueden
especificarse usando ambos mtodos.


EJEMPLO 1 (a) Si N denota el conjunto de todos los nmeros naturales,
Entonces podemos escribir


N ={ } ,... 3 , 2 , 1
= {k k es un numero natural}

(b)Si P denota el conjunto de los enteros de -2 y +3, entonces


P ={ } 3 , 2 , 1 , 0 , 1 , 2
= {x x es un entero -2 x s 3 }.

Obsrvese que la regla de pertenencia consta de dos condiciones separadas por
una coma. Cualquier elemento del conjunto debe satisfacer ambas condiciones.


(c) Q= { } 37 ,..., 7 , 4 , 1
= {x x = 3k + 1, k es un entero, 0 k s 12 }

(d) El conjunto de todos los estudiantes actualmente inscritos en la
contadura y administracin puede escribirse formalmente como

S = {x x es un estudiante inscrito actualmente en la Facultad de
c Contadura y Administracin}





Este conjunto podra especificarse tambin listando los nombres los nombres de
todos los estudiantes involucrados.

(e) el conjunto de todos los nmeros reales mayores que 1 y menores q
que 2, puede especificarse mediante el mtodo de la regla como

T = {x x es un nmero real, 1<x<2}

Se dice que un conjunto es finito si su nmero de elementos es finito; es decir, si
pueden contarse. Si el nmero de elementos de un conjunto no es finito, se dice
que es infinito.
En el ejemplo 1, todos los conjuntos de las partes (b), (c) y (d) son finitos, pero los
correspondientes a las partes (a) y (e) son infinitos.
Se acostumbra usar letras maysculas para denotar los conjuntos y letras
minsculas para sus elementos. Observe que seguimos esta convencin en el
ejemplo 1. Si A es un conjunto arbitrario y x cualquier objeto la notacin x
e
A se
utiliza para indicar el hecho de que x es un elemento de A.
La afirmacin A xe se lee x pertenece a A o x es un elemento de A. La
afirmacin x no es un elemento de A se indica escribiendo A xe .
En La parte (b) del ejemplo 1 ,2 e P pero 6e P. En el caso del conjunto de la
parte (e) 2 e T y
2
3
e T , pero 2 e T y e T .

DEFINICIN Un conjunto que no contiene elementos se denomina un conjunto
vaco. Tambin se utiliza el trmino conjunto nulo.

Con el smbolo C se denota un conjunto que es vaco y la proposicin A=C
Significa que el conjunto A no contiene elementos. Entre los ejemplos de
conjuntos vacos estn los siguientes.

{xx es un entero y 3x = 2}
{xx es un nmero real y
2
x + 1 = 0}
El conjunto de todos los dragones vivientes.
El conjunto de todos los imanes que solo tienen un polo.

DEFINICIN Un conjunto se dice que es un subconjunto de otro conjunto B si
cada elemento de A tambin es un elemento de B. En tal caso, escribimos A _ B.






El conjunto A se dice que es un subconjunto propio del conjunto B si todo
elemento de A est en B pero existe al menos un elemento de B que no est en
A. En este caso escribimos AcB.

Ejemplo 2.

(a) Sea A = {2, 4,6} y B = {1, 2, 3, 4, 5, 6, 7, 8}. Entonces A c B.
(b) Si N es el conjunto de todos los nmeros naturales, I es el conjunto de
todos los enteros, Q es el conjunto de todos los nmeros racionales y R
es el conjunto de todos los nmeros reales, entonces

R Q I N c c c
(c) El conjunto de todas las estudiantes de universidades nacionales
u autnomas es un subconjunto del conjunto de todos los estudiantes de
e esa universidad.
(d) Todo conjunto es un subconjunto de s mismo; es decir,




Sin embargo, la afirmacin Ac A no siempre es vlida.

(e) Un conjunto vaco C es un subconjunto de cualquier conjunto A.






Con el propsito de explicar esta ltima filiacin con ms detalle, formulemos la
definicin de subconjunto: B es un subconjunto de A si y solo si no hay elementos
en B que no pertenezcan a A. Es claro que no existen elementos que pertenezcan
a C y no pertenezcan a A por la simple razn de que C no tiene elementos. En
consecuencia, C A _ .












A A_ para cualquier conjunto.
C A _ para cualquier conjunto.

Dos conjuntos son iguales si contienen los mismos elementos. En forma ms
precisa, tenemos la definicin siguiente.

DEFINICION Se dice que dos conjuntos A y B son iguales si B A_ y A B_ . En
tal caso escribimos A=B.

En Consecuencia A=B si no existen objetos que pertenezcan a A y que no
pertenezcan a B o que pertenezcan a B y no pertenezcan a A.


EJEMPLO 3 (a) Si } 1 {
2
= = x x A y } 1 , 1 { + = B , entonces A = B.
(b) Si } 0 2 3 {
2
= + = y y y A y } 2 , 1 { = B , entonces A = B.




DEFINICIN Sea a y b dos nmeros reales tales que b a < . El intervalo abierto
de ayb, denotado por ) , ( b a es el conjunto de todos los nmeros reales x
situados entre ayb. As,

x x b a { ) , ( = es un nmero real y } b x a < < .

Intervalos semicerrados o semiabiertos se identifican de la manera siguiente.


( |
| ) } { ,
} { ,
b x a x b a
b x a x b a
< s =
s < =


Observacin la afirmacin de que x es un nmero real se ha omitido de las
reglas que definen estos conjuntos. Esto por lo regular se hace para evitar
repeticiones cuando se trabaja con conjuntos de nmeros reales.

Para todos esto intervalos, ) , ( b a , | | b a, , | ) b a, , y , ( | b a, ,
ayb
se denominan los
extremos del intervalo. Un intervalo abierto no contiene a sus extremos, mientras
que un intervalo cerrado contiene a ambos extremos. Los mtodos de representar
tales intervalos se advierten en la figura 2.













(
)
|
|
o bien a b a b


(a) Intervalo abierto ) , ( b a (b) Intervalo cerrado | | b a,



(
|
|
)
o bien a b a b



(c) Intervalo semiabierto ( | b a, (d) Intervalo semicerrado | ) b a,

FIGURA 2


Usamos los smbolos (infinito) y (menos infinito) para describir intervalos
no acotados. Obsrvese que y no son nmeros reales.
Esto es suficiente acerca de conjuntos para nuestras necesidades inmediatas. Se
estudiaran ms propiedades de los conjuntos, en el contexto de la teora de la
propiedad.

) (a ) , ( a } { a x x > =
(

a
) (b ) , ( a x { = } a x >
|

a
a} < x {x = a) , (- (c) )
a
a} x {x = a) , (- (d) s |
a

FIGURA 3