Leccin 2.1.

Nociones Primitivas
2.1. Introduccin
La teora de conjuntos nace en la segunda mitad del XIX y es la obra genial del
matemtico alemn Jorge Cantor. La cual ha sido calificada como laTEORIA MAS
REVOLUCIONARIA DE LA MATEMATICA.

La teora de conjuntos subyace en toda la matemtica, constituye una base preliminar a

cualquier otra teora matemtica y que ha influido de modo decisivo en el desarrollo de
toda la matemtica actual.

La palabra conjunto, elemento y pertenencia se influyen en el lenguaje matemtico como

conceptos primitivos, es decir, como conceptos no definidos.

No obstante, debido a la gran importancia que tiene en la matemtica, generalmente se

acepta la siguiente nocin intuitiva de conjunto: conjunto es toda coleccin o agrupacin
de objetos de cualquier especie.

En esta segunda unidad se introducen los conceptos bsicos de la teora de conjuntos,

puesto que casi en todas las reas de matemtica contempornea esta el concepto de
"conjunto", como ser en algebra, geometra y combinatoria, etc. y con mucha frecuencia,
este concepto proporciona una estructura fundamental para una formulacin concisa del
tema matemtico en cuestin.

Veremos que las ideas de la lgica desarrolladas en la unidad anterior estn intimamente
ligadas a la teora de conjuntos, y muchas demostraciones que se estudiarn en esta
unidad se basan en ellas.

Dicho en forma ms concreta en el desarrollo de esta unidad se tomaran en cuenta los

cuatro ingredientes que siguen:

i) Trminos no definidos: Conjunto, relacin, pertenencia, etc.

ii) Definiciones que relacionan trminos primitivos (no definidos) mediante

frases del lenguaje corriente.

iii) Axiomas o proposiciones, que se apoyan en trminos no definidos y en

las definiciones, pero que no se demuestran.

iv) Teoremas, que son afirmaciones que deben ser demostradas por
razonamientos lgicos, a partir de los trminos no definidos, definiciones y axiomas.
Leccin 2.1. Nociones Primitivas
2.2 Concepto y Elementos de un Conjunto
La idea de conjunto es una idea primitiva. En el lenguaje corriente empleamos el vocablo
conjunto para referirnos a una pluralidad o colectividad de objetos que se consideran
agrupados formando un todo.

Por ejemplo: Los estudiantes de la materia de Estructura Discreta - Grupo SP; Grupo de
docentes de la Facultad de Cs. de la Computacin, los nmeros enteros, etc.

De esta nocin de pluralidad ha surgido el concepto matemtico de conjunto, por lo que

llamaremos conjunto a "Toda coleccin o agrupacin de objetos bien definidos y de
cualquier naturaleza "

Los objetos que integran un conjunto se llaman elementos de ese conjunto;

Leccin 2.1. Nociones Primitivas

2.2.1. Notacin de Conjuntos
Notacin: Se usarn letras maysculas A,B,C... para denotar conjuntos, y letras
minsculas a,b,c...para especificar los elementos de un conjunto, a menos que dichos
elementos sean, a su vez, conjuntos.

Los elementos de un conjunto se escriben entre llaves separados por comas.

Ejemplo 1: Si A = Conjunto de vocales del alfabeto latino, entonces A = {a, e, i, o, u}

Ejemplo 2: Si B = Conjunto de las consonantes de la palabra marisol, entonces A = {m, r,

s, l}

Ejemplo 3: Si U= Conjunto de las palabras "educativo" U= {e,d,u,c,a,t,i,v,o} y A es el

conjunto de vocales de la palabra educativo A={a,e,i,o,u}

Su representacin el el Diagrama de Venn-Euler es:

Leccin 2.1. Nociones Primitivas
2.2.2. Relacin de Pertenencia
- Si A es un conjunto y a es uno de sus elementos, entonces escribiremos a A , que se
leer apertenece a A o a es elemento de A y se llama relacin de pertenencia.

- La relacin de no pertenencia se escribe ~(a A) o a A, y se leer a no pertenece

a A o a no es elemento de A.

Ejemplo 1: Considerando el conjunto A = {a, e, i, o, u} ; del ejemplo anterior, se tienen las

relaciones de pertenencia y no pertenencia siguientes:

-a A -b A
-eA -c A
-i A -d A
-oA -f A
-u A -g A
Por tanto, la verdad (V) o la falsedad (F) de las siguientes expresiones
es:
-a A , es V - b A, es V - b B, es F.
- e A , es V - c A, es V - A A, es V.
- i A , es V - d A, es V - {b,c} A, es F.
- o A , es V - f A, es V - {a} A, es F.
- u A , es V - g A, es V
Ejemplo 2: Considerando el conjunto B= { 1,2,3]
-1 B, es V. - 10 B, es V.
- 2 A, es V. - 20 A, es V.
- 3 A, es F. - 30 A, es F.
La relacin de pertencia sirve para vincular elementos con
conjuntos.

Leccin 2.1. Nociones Primitivas

2.2.3 Diagramas de Venn Euler
Se llaman diagramas de Venn Euler, las regiones del plano delimitadas por lneas curvas
o quebradas que sirven para ilustrar y establecer relaciones entre conjuntos.
Ejemplo 1: Si U = Conjunto de letras de la palabra murcilago y V = Conjunto de
vocales del alfabeto latino. Entonces su diagrama de Venn Euler es:

Leccin 2.1. Nociones Primitivas

2.3. Notacin de Conjuntos Numricos
Algunos de los conjuntos de nmeros ms usados en esta unidad son los siguientes:

A) Conjunto de nmeros naturales ().

= Conjunto de nmeros que se emplean para contar.

= {1, 2, 3,.}

B) Conjunto de nmeros enteros ().

= Conjunto formado por todos los nmeros naturales, el cero y los negativos de los
nmeros naturales.

= {., -3, -2, -1, 0, 1, 2, 3,}

C) Conjunto de nmeros racionales ().

= Conjunto de todos los nmeros que se pueden representar como cociente de dos
enteros a / b, b0

= Conjunto de todos los nmeros que se pueden expresar como un decimal

peridico.
 = {x / x = a / b, a, b z, b0

D) Conjunto de nmeros irracionales ().

= Conjunto de nmeros que tienen una representacin decimal no peridica

E) Conjunto de nmeros reales ().

= Conjunto de nmeros racionales e irracionales

F) Conjunto de nmeros complejos ().

= Conjunto de todos los nmeros de la forma a + bi, donde a y b son nmeros

reales e i = (-1)1/2 (unidad imaginaria).
Diagrama de Venn Euler de los conjuntos numricos

Diagrama Lineal de los Conjuntos Numricos

2.3.1. Ejemplos de nmeros

Ejemplo 1: Dada la proposicin p =Ningn numero irracional es entero, se tiene V (p)= V

Ejemplo 2: Si q = Todos los nmeros irracionales son complejos, entonces V (q) = V

Ejemplo 3: Si r = Algn nmero complejo es natural, entonces V (r) = V

Ejemplo 4: Si s = Ningn nmero real es natural, entonces V (s) = F

2.4. Formas de determinar un conjunto

Un conjunto est determinado o definido si, dado un objeto, puede decirse sin ambigedad
pertenece o no pertenece al conjunto.

Son dos las formas de determinar un conjunto:

1. Por extensin, tabulacin o enumeracin.

2. Por comprensin, descripcin o regla.

2.4.1. Por extensin, tabulacin o enumeracin.

Un conjunto est determinado por extensin (tabulacin o enumeracin), cuando se da
una lista o se enumeran todos y cada uno de sus elementos.

Ejemplo 1: Si P = Conjunto de nmeros primos menores que 10. Entonces por extensin
se tiene:

P = {2, 3, 5, 7}

Ejemplo 2: Si P = Conjunto de nmeros pares mayores que 5 y menores que 20.

Entonces por extensin se tiene:

P = {6,8,10,12,14,16,18}
Ejemplo 3: Si P= Conjunto de colores de la bandera Boliviana. Entonces por extensin se
tiene:

P = {rojo, amarillo, verde}

2.4.2. Por compresin, descripcin o regla.

Un conjunto est determinado por compresin (descripcin o regla), cuando se da una
regla o propiedad caracterstica de sus elementos y solo de ellos.

Ejemplo 1: Si I = Conjunto de nmeros naturales impares comprendidos entre 4 y

14. Entonces por compresin, se tiene:

I = {x / x = 2n 1, n , 3 n 7}

Ejemplo 2: Si I= Vocales del alfabeto latino. Entonces por comprensin, se tiene:

I = {x / es una vocal del alfabeto latino}

Ejemplo 3: Si I= Conjunto de los nmeros naturales cuyo cuadrado sean menores a

cincuenta. Entonces por comprensin se tiene:

I = {x / x2 < 50}

Ejemplo 4: Si I = Conjunto de nmeros naturales impares comprendidos entre 4 y

14. Entonces por compresin, se tiene:

I = {x / x = 2n 1, n , 3 n 7}

Observacin: Todo conjunto definido por extensin puede expresarse

por compresin; pero la reciproca no es cierta.

Leccin 2.2. Clasificacin de Conjuntos

2.1. Conjunto vaco o nulo
Definicin. El conjunto vaco o nulo (conjunto lmite), es el conjunto que no posee
elementos.

Notacin: , { }, se lee: Conjunto vaco o Conjunto Nulo.

En smbolos:

= {x / x x}

Ejemplo 1: A = {x / x es par e impar} =

Ejemplo 2: B = {x / 2x2 + 16 =0} = { }

2.2. Conjunto Unitario

Definicin. Se denomina conjunto unitario al que est compuesto por un nico elemento.

Ejemplo 1:
A = {x / x2 = 0}; A = {0}

Ejemplo 2:

B = {x / x2 = 4}; B = {2}

Ejemplo 3:

C = {x / x2 - 4 = 0}; C = {2}

Ejemplo 4:

D= {x/x es un nmero primo comprendido entre 8 y 12}; D= {11}

2.3. Conjunto Universo

Definicin. El conjunto universo, llamado tambin conjunto referencial, es aquel conjunto
que se fija de antemano como referencia para formar otros conjuntos, haciendo referencia
nicamente a elementos de dicho universo.

Es decir es el conjunto que contiene a todos los elementos que se estn considerando en
un estudio o contexto particular.

Notacin. Por lo general se lo denota con la letra U.

Ejemplo 1: Para el conjunto Universo U= {1, 2, 3, 4, 5, 6} consideremos el conjunto A=

{x U/ -2 x 4}

Entonces los elementos de A= {1, 2, 3, 4}

Sin embargo si el Universo es U' ={-1, -2, -3, -4,- 5, -6, 0,1 , 2, 3, 4, 5, 6}

Entonces los elementos de A= {-2, -1, 0,1, 2, 3, 4}

Ejemplo 2: Si hablamos de conjunto de animales mamferos, podemos fijar como

conjunto universal:

U = Conjunto de animales

Ejemplo 3: Si hablamos de ros de Santa Cruz, Cochabamba o Sucre, podemos

considerar como conjunto universal:

U = Conjunto de ros de Bolivia

Obsrvese: Que un conjunto definido por compresin para dos universos diferentes no
siempre es el mismo.

2.4. Conjunto Finito

Definicin. Un conjunto finito es el que est formado por un nmero finito de elementos, o
que se puede enumerar los elementos.

Ejemplo 1: Sea el U= {1, 2, 3, 4, 5,6,...} es el conjunto de nmeros naturales, sea A =

{x2 U/ x U, x2 < 50}

Entonces los elementos de A= {1, 4, 9, 16, 25, 36,49}; Es un conjunto Finito.

2.5. Conjunto Infinito
Definicin. Un conjunto infinito es el que est formado por un nmero infinito de
elementos, o que no sean puede enumerar.

Ejemplo 1: Sea el U= {1, 2, 3, 4, 5, 6,...} es el conjunto de nmeros naturales, sea B = {

x2 U/ x2= 2k, k U}

Entonces los elementos de A = {4, 16, 36, 64...}; Es un conjunto Infinito.

Ejemplo 2: Conjuntos Numricos: , , , , ,

Ejemplo 3: E = {x /x es un nmero primo}

Ejemplo 4: D = {x /x es un nmero par}