INTRODUCCIN

Los conjuntos estn conectados con el proceso de contar y por tanto permiten
resolver preguntas que implican la nocin de cantidad. Los conceptos
geomtricos y aritmticos pueden ser formulados de una manera clara y
concisa en trminos de conjuntos. Desde que se introdujo formalmente la teora
de conjuntos, se facilit el desarrollo de diversas ramas de la matemtica como
la geometra, la aritmtica, el anlisis y la topologa.

Las ideas de conjuntos y de elementos son ideas primitivas y se presentan en
forma intuitiva.

Un conjunto es una coleccin bien determinada de elementos.


OBJETIVOS

Objetivos generales:


* Identificar de manera clara los conjuntos numricos.
* Comprender la relacin entre la lgica y los conjuntos.

Objetivos especficos:


* Determinar el nmero total de elementos de la unin de dos o ms conjuntos
finitos.
* Obtener la diferencia simtrica de dos conjuntos y el complemento de un
conjunto.
* Combinar mediante las operaciones de unin e interseccin dos o ms
conjuntos.


MARCO TERICO
CONJUNTOS

Un conjunto es una coleccin de objetos o entidades distinguibles y bien
definidas. Los objetos (nmeros, letras, puntos etc.) que constituyen un
conjunto se llaman miembros o elementos del conjunto.

Para denotar los conjuntos se utilizan con frecuencias letras maysculas: A, B,
C, D.; y para denotar los elementos, letras minsculas a, b, c, d..;
nmeros, smbolos o variables subindizadas.

Ejemplo:
a. A= 1, 3, 5, 7 significa que el conjunto A se compone de los primeros cuatro
nmeros naturales impares.

b. B=a, b, c, los elementos del conjunto B son las tres primeras letras del
alfabeto.

c. C=X/ X es un numero natural parla notacin x/ x es un numero natural se le
x tal que x es una vocal.

d. D=X/ X es un numero natural par el conjunto D consta de todos de todos los
naturales pares.
Nota:

* Para indicar que un determinado objeto es miembro o elemento de un
conjunto dado, se emplea el smbolo, de pendencia. En el ejemplo se puede
escribir: 5 A que se lee 5 pertenece A, tambin a B, u C, 6 D.
El smbolo se lee no pertenece o no es elemento de. Observe que d C, 3 D.

* En el ejemplo no surge dudas acerca de si un miembro pertenece o no a cada
uno de los conjuntos dados. son conjunto bien definidos pues se puede afirmar
de manera inequvoca si un objeto dado es o no elemento de los conjuntos
considerados. en los casos a. y b. se ha dado la lista explicita de los elementos
de los conjuntos, y se dice que A y B se han determinado por extensin. En los
casos c. y d. se ha establecido una regla que permite decidir si un objeto es
miembro o no de los conjuntos, se dice que C y D se han determinado por
comprensin.

* Los conjuntos A, B y C son finitos. El conjunto C tambin se puede determinar
por extensin. El conjunto D es infinito, no se puede determinar por extensin.

Igualdad de Conjuntos. El conjunto A es igual al conjunto B si ambos tienen
los mismos elementos, es decir, si cada elemento de A es tambin elemento de
B y recprocamente. Luego, podemos escribir:
(A = B) (" x)(x A x B).


SUBCONJUNTOS:

Un conjunto A es un subconjunto de un conjunto B, lo cual se escribe A By se
lee A es subconjunto de B, si todo elemento de A es elemento de B. es decir.
X A x B.

Ejemplo:
a. A= 6, 9, 12y B= xx es mltiplo de tres A B.

b. G= x x es un numero natural divisible por tres Y
H= x x es un numero natural G H se lee G es un subconjunto de H se puede
ver que G H pero H G. (el smbolo se lee no es subconjunto de)

c. A= a, m, p, y B= p, a, m A B.

Nota:

* En el ejemplo a. A B pero A B, en este caso se dice que A es subconjunto
propio de B.
* En el mismo ejemplo, c. A B y B A ya que los conjuntos son iguales. Este
caso permite afirmar que todo conjunto es subconjunto de si mismo A A.

CLASES DE SUBCONJUNTOS:

* Subconjunto propio (): si se tiene dos conjuntos A y B, A es subconjunto
propio de B si todos los elementos de A pertenecen a B, pero existen
elementos en B que no estn en el conjunto
A (o sea A # B).

Ejemplo:
Si A= 1, 2, 3, 4 B= 1, 2, 3

C= 1, 2, 3 D= 1, 2, 3, 4, 5

B A porque todos los elementos de B pertenecen al conjunto A, y adems C #
A.

C A porque todos los elementos de C pertenecen al conjunto A, y adems C #
A

D A D no es subconjunto propio de A, pues es A no estn todos los elementos
de D.

* Subconjunto impropio: si tienes dos conjuntos A y B todo elemento de A es
elemento de B, entonces se dir que A que es un subconjunto impropio de By
se nota A B.
De esta definicin se deduce que:

A A todo conjunto es subconjunto de s mismo

A el conjunto vaci es subconjunto de todo conjunto, ya que carece de
elementos.
CARDINALIDAD DE UN CONJUNTO
La cardinalidad de un conjunto se representa con el smbolo # y corresponde al
nmero de elementos que tiene el conjunto.
Ejemplos:
W = { $, %, &, /, } El conjunto W est integrado por 5 elementos, por lo
tanto, su cardinalidad es 5 ( # = 5 )

CLASES DE CONJUNTOS


Los conjuntos pueden ser:

* CONJUNTO FINITO.
Es cuando podemos contar todos y cada uno de los elementos de un conjunto.

Ejemplo:

* El conjunto formado por las mujeres de 8vo grado seccin B
* El conjunto formado por los das de la semana
* El conjunto formado por los nmeros pares menores a 20.

* CONJUNTO INFINITOS:
Es cuando no podemos contar todos y cada uno de los elementos de un
conjunto.

Ejemplo:

* El conjunto formado por las estrellas del universo
* El conjunto formado por el nmero de partculas de arena de la playa
* El conjunto de nmeros negativos.

* CONJUNTO VACO.
Es el que carece de elementos, se simboliza por o por.

Ejemplo:

* El conjunto formado por los hombres que pueden tener hijos.
* El conjunto formado por el nmero de edificios en la luna
* El conjunto formado por los nmeros menores a 2.

* CONJUNTO UNITARIO.
Es aquel elemento que solo tiene un elemento.


Ejemplo:

* El conjunto formado por las madres genticas que puede tener un individuo.
* El conjunto formado por el nmero de presidentes ejecutivos de un pas


*CONJUNTO UNIVERSAL.


Cuando se habla o se piensa acerca de los conjuntos, es conveniente saber
que los miembros de un conjunto dado pertenecen a alguna poblacin
determinada. Por Ejemplo i se habla de conjunto de nmeros es til establecer
una poblacin general de nmeros denominada conjunto universal o conjunto
de referencia, cuyos elementos son los posibles candidatos para formar los
conjuntos que intervienen en una discusin determinada.
El conjunto universal se denota U


Ejemplo: si
U=N, el conjunto de los nmeros naturales.
A= 1, 2, 3, 4, 5; B= xx es numero primero
C= x x es un numero natural par A, B, C son subconjuntos propios de U.


* CONJUNTOS DE PARTES.


Dado un conjunto A, denotado por P(A), es el conjunto cuyos elementos son
todos los subconjuntos de A.

En la lista de subconjuntos de A hay que tener en cuenta dos subconjuntos
especiales: el mismo A, ya que A A; y el conjunto vaci.


Ejemplo: si

A= a, b, c, entonces
P(A) = a; b;c; a, b; a, c; b ,c; a,b,c;


Nota:
* Los conjuntos a,b, c son elementos o miembros de P(A). Tales conjuntos
constan de un solo elemento y se llaman conjuntos unitarios.
* El conjunto A esta conformado por 3 elementos, el conjunto P(A) por 8=23.
En general, si un conjunto M posee n elementos, el conjunto P(M) consta de 2n
elementos.
* Los elementos del conjunto P(A) don a su vez conjuntos. Un conjunto cuyos
elementos son conjuntos se llaman familia de conjuntos. P(A) es un ejemplo de
una familia de conjuntos.

Conjunto Potencia

"El conjunto de todos los subconjuntos de un conjunto"

Ejemplo: Si tenemos un conjunto {a,b,c}:
* Entonces un subconjunto podra ser {a} o {b}, o {a,c}, y as sucesivamente,
* y {a,b,c} es tambin un subconjunto {a,b,c}
* y y el conjunto vaco {} es tambin un subconjunto de {a,b,c}
Entonces todos los subconjuntos juntos haran el Conjunto Potencia:
P(S) = { {}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c} }


* DIAGRAMA DE VENN.


Los diagramas de Venn que se deben al filsofo ingls John Venn (1834-
1883) son ilustraciones usadas en la rama de la matemticas conocida como la
teora del conjunto Estos diagramas se usan para mostrar grficamente la
relacin matemtica o lgica entre diferentes grupos de cosas (conjuntos),
representando cada conjunto mediante un valo o crculo. La forma en que
esos crculos se sobreponen entre s muestra todas las posibles relaciones
lgicas entre los conjuntos que representan. Por ejemplo, cuando los crculos
se superponen, indican la existencia de subconjuntos con algunas caractersticas
comunes.
La manera de representar el conjunto Universal es un rectngulo, bien la hoja
de papel con que se trabaje.
Un ejemplo de la representacin del conjunto universal se muestra como:



Los conjuntos se representan por medio de dibujos dentro del rectngulo, los
aspectos de inters se resaltan sombreando las reas respectivas. En el caso
de este curso las indicaremos por medio de un color azul por ejemplo:















Diagrama de dos conjuntos


Conjuntos A y B
Teniendo en cuenta el ejemplo supngase que el conjunto A (el crculo naranja)
representa, por ejemplo, a todas las criaturas vivas con solo dos piernas
motrices y que el conjunto B (el crculo azul) contiene a todas las criaturas que
pueden volar. El rea donde ambos crculos se superponen (que recibe el
nombre de interseccin entre A y B, o interseccin A - B) contendra por tanto
todas las criaturas que, al mismo tiempo, pueden volar y tienen slo dos
piernas motrices.Imaginemos ahora que cada tipo distinto de criatura viva est
representado con un punto situado en alguna parte del diagrama. Los humanos
y los pinginos estaran dentro del crculo naranja (el conjunto A) en la parte en
la que no se superpone con el crculo azul (el conjunto B), ya que ambos son
bpedos y no pueden volar Los mosquitos que tienen seis piernas motrices y
pueden volar, estaran representados con un punto dentro del crculo azul fuera
de la interseccin A - B. Los loros que tienen dos piernas motrices y pueden
volar, estaran representados por un punto dentro de la interseccin A - B.
Cualquier tipo de criatura que ni tuviera dos piernas ni pudiera volar (como por
ejemplo las ballenas o las serpientes) estara representado mediante puntos
fuera de ambos crculos.
El diagrama de Venn representado en el ejemplo 1 puede describirse como la
relacin entre el conjunto A y el conjunto B. El rea combinada de ambos
conjuntos recibe el nombre de unin de los conjuntos A y B. La unin en este
caso contiene todos los tipos de criaturas que tienen dos piernas, pueden volar,
o ambas cosas a la vez. El rea donde los conjuntos A y B se solapan se
define

Como la interseccin de A y B. Contiene todos los tipos de criaturas que
pertenecen a la vez a A y a B, es decir, que tienen dos piernas y pueden volar.
Un diagrama de Venn de dos conjuntos define 4 reas diferentes (la cuarta es
la exterior), que pueden unirse en 6 posibles combinaciones: (dos patas)

* A y B (dos patas y vuelan)
* A y no B (dos patas y no vuelan)
* no A y B (ms o menos de dos patas, y vuelan)
* no A y no B (ni tienen dos patas ni vuelan)
* B (vuelan)

A veces se incluye un rectngulo alrededor del diagrama de Venn, que recibe
el nombre de universo de discurso (antes se crea en la existencia de un
conjunto universal pero Bertrand Russell descubri que con tal concepto el
sistema es inconsistente Se usa para representar el conjunto de todas las
cosas posibles. La definicin del universo, al igual que la de los conjuntos,
depende del diagrama sobre el que se representa. La idea de conjunto
universal.


Diagramas de tres conjuntos


Diagrama de Venn mostrando todas las intersecciones posibles entre tres
conjuntos A, B y C.

Los diagramas de tres conjuntos fueron los ms corrientes elaborados por
Venn en su presentacin inicial. Las distintas intersecciones de los tres
conjuntos A, B y C definen ocho reas diferentes, cuyas posibles uniones
suponen 256 combinaciones distintas de los tres conjuntos iniciales.




OPERACIONES CON CONJUNTOS


Los conjuntos se pueden combinar para obtener otros conjuntos con ciertas
operaciones.


* Unin de conjuntos:
La unin o reunin de dos conjuntos A y B, denotadas por A B (que se lee A
unin B)
Es el nuevo conjunto formado por los elementos que pertenecen a A o a B o a
ambos conjuntos.
Simblicamente A B = xxA v x B.

En el diagrama Venn, la regin sombreada corresponde al conjunto
A B.

Ejemplo:
A=a, b, c, d; B=c, d, e, f A B=a, b, c, d, e, f

La unin tiene las siguientes propiedades:
Conmutativa: A unin B = B unin A
Asociativa: (A unin B) unin C = A unin (B unin C).
Distributiva: A unin (B interseccin C) = (A unin B) interseccin (A unin C)
Absorcin: A unin (A interseccin B) = A
Idempotencia: A unin A = A
Elemento neutro: A unin conjunto vaco = A
Dominacin: U unin A = U
Inversa: A unin A' = U
Inversa de Morgan: (A unin B) ' = A ' interseccin B

* Interseccin de conjuntos

Los elementos comunes a A y B forman un conjunto denominado intercesin
de A y B, representado por A B. Es decir, A B es el conjunto que contiene a
todos los elementos de A que al mismo tiempo estn en B:
A B=xA: x B
Si dos conjuntos A y B son tales que A B=, entonces A y B se dice que son
conjuntos disjuntos.
Es claro que el hecho de que x A B es condicin necesaria y suficiente para
afirmar que x A y x B. Es decir:
X(A B) (XA) (xB)
Ejemplos:
Si tenemos los conjuntos
A=2, 4, 6
B=4, 6, 8, 10
C=10, 14, 16, 26
Entonces:
A B=4, 6
A C=
A =
A A= A


* Diferencia de conjuntos


Diagrama de Venn que muestra A B
Los elementos de un conjunto que no se encuentran en otro conjunto , forman
otro conjunto llamado diferencia de y , representado por . Es decir:

A/ B = x A: x B
O dicho de otra manera:
X (A / B) (x A) (x B)
Algunas personas prefieren denotar la diferencia de A y B como A- B.
Una propiedad interesante de la diferencia es que
A B= A / (A/B)
Eso es porque
X A B (x A) (x B)
(X A) (X B)
X A/ (A / B)

DEFINICIN DE DIFERENCIA SIMTRICA DE CONJUNTOS

La diferencia simtrica de conjuntos es la operacin binaria, en la cual dos
conjuntos cualesquiera, a y b, especifican cuales elementos no son comunes
formando un nuevo conjunto llamado diferencia simtrica.
SIMBOLOGA DE LA DIFERENCIA SIMTRICA DE CONJUNTOS
El smbolo de la diferencia simtrica es: d
La diferencia simtrica del conjunto a y el conjunto b, se representa como: adb
REALIZACIN DE LA DIFERENCIA SIMTRICA DE CONJUNTOS EN
FORMA EXTENSIVA
Sean dos conjuntos A y B.
Sea A definido asi: A = {j, u, g, o, d, e}
Sea B definido asi: B = {m, a, n, g, o}
La DIFERENCIA SIMTRICA posible se representa asi ADB = {j, u, d, e, m, a,
n}

DIAGRAMA DE VENN DE UNA DIFERENCIA SIMTRICA DE CONJUNTOS

Sean A y B dos conjuntos cualesquiera, su DIFERENCIA SIMTRICA estar
representada por el rea rellenada de color:


* Complemento de un conjunto:

= U - A

El complemento de un conjunto A con respecto al conjunto U, denota por , es
el conjunto constituido por elementos de U que no pertenecen a A.

Simblicamente:

=x x U y x A

Ejemplo:
Sea U =N el conjunto de los nmeros naturales
A = x x es un numero natural par = x x es un numero natural impar = U - A

* Diferencia simtrica
Dados dos conjuntos A y B su diferencia simtrica es la unin de la diferencia A
- B y B - A.


CUANTIFICADORES


Los cuantificadores son meta caracteres de la expresiones regulares que
indican las caractersticas de repeticin de caracteres o grupos.

EJEMPLO: construye una proposicin cuantificada, respecto al emitir luz y ser
una estrella
SOLUCIN: este hecho lo expresamos mediante la proposicin: todas las
estrellas emiten luz

Los cuantificadores se dividen en universales y existenciales:
Cuantificadores universales: las palabras todos, ninguno, nadie, nada,
cualquier, etc. porque con ellas se puede generalizar una proposicin sobre
todos y cada uno de los elementos de un conjunto referencial.
Veamos el siguiente anlisis:
Para ser alumno de la universidad se requiere estar matriculado.
Veamos dos aspectos fundamentales del enunciado:
a. El enunciado se refiere a todos los alumnos de la universidad(x).
b. Todo alumno universitario debe cumplir con el requisito de estar matriculado.
Simblicamente el enunciado lo podemos indicar as: (x)P(X).

Son cuantificadores existenciales: aquellas palabras con las cuales se puede
generalizar una proposicin sobre uno o ms elementos de un referencial, pero
no sobre todo el referencial, sin especificar cual o cuales son en detalle estos
elementos. Las palabras existe un algn, algo, alguna, etc., son cuantificadores
existenciales.
Si queremos referirnos a la existencia de un elemento que cumple una
determinada condicin o propiedad utilizamos el cuantificador existencial.

Ejemplo:
Si tenemos el siguiente enunciado:
Hay por lo menos un alumno en el CED.
Al examinar el enunciado observamos:
a. Que nos estamos refiriendo al menos a un elemento (x).
b. Que ese elemento cumple con la caracterstica p(x) pertenecer al CDE.


Simblicamente podemos notar, el elemento con una x y la propiedad o
caracterstica con p(x).
(x) p(x) se lee, existe por lo menos un x que es alumno del CDE enunciado este
que es verdadero

Determinar el valor de verdad de una proposicin cuantificada no es tan
complejo como puedes pensar, y ms que mtodos de razonamientos lo que
se necesita es tener en cuenta las siguientes consideraciones.

* Si el cuantificador utilizado es universal, la proposicin ser verdadera si y
solo si todos y cada uno de los elementos del conjunto referencial cumple con
la proposicin de manera individua. Y ser falsa si por lo menos un electo del
conjunto referencial no la cumple.

* Si el cuantificador es existencial, la proposicin es verdadera si al menos un
elemento del conjunto referencial cumple con la proposicin. Y ser falsa si
ninguno de ellos la cumple.


* NEGACIN DE UNA PROPOSICIN CUANTIFICADA


La negacin de una proposicin cuantificada es una operacin. Consistente en
obtener otra proposicin cuantificada a partir de la proposicin original, que
tenga valor de verdad contrario al de ella. Para esto, solo hace falta determinar
que debera pasar para que la proposicin inicial sea falsa, y utilizar el
cuantificador involucrado para construir su negacin, adems, se debe tener en
cuenta que un que un cuantificador universal se niega con un cuantificador
existencial y viceversa.
EJEMPLO: determina la negacin de la proposicin: no todas las palabras
tienen vocales, por tal motivo la negacin buscada es: todas las palabras tienen
vocales.


Relacin entre un cuantificador y su negacin

cuantificador | Negacin |
Todos | No todos/existe algnque no/algnno |
Ninguno | Alguno no/ por lo menos unno |
Nada | Algo no |
nadie | Alguien no |



RELACIN ENTRE LA LGICA Y LOS CONJUNTOS


Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Preposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los
conjuntos y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:

conjuntos | A _ B | A = B | A B | A B | A' | A B | A A B |
proposiciones | a b | a b | a v b | a . b | a' | a . b' | a v b |
Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto
universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se
pueden reescribir en trminos de lgica
preposicional y viceversa; a modo de ejemplo:

A ( A B ) = A | a ( b c ) a |
A ( B C ) = ( A B ) ( A C ) | a ( b c ) ( a b ) ( a c ) |
( A B )' = A' B' | ( a b )' a' b' |


ALGEBRA DE CONJUNTOS


Con base en la relacin de orden A B y en la operacin A B y A B se puede
formar un algebra de conjuntos.
La relacin de competencia es una relacin de orden ya que satisface las
propiedades reflexivas, antisimetrica y transitiva, as:

a. A B
b. SI A B B C entonces A C.
c. SI A B B C entonces A C con base en la definicin de A B, se tiene.
a. A para todo conjunto A
b. A U


Es posible interpretar la parte a. como sigue:
Si la relacin A fuera falsa, indicara que debe al menos tener un elemento que
no est en el conjunto A lo cual resulta imposible porque vaci no tiene
elementos y si una proposicin es falsa entonces es verdadera.
La relacin A B es equivalente a una de las dos relaciones A B = B o A B= A.


METODOLOGA


CONCLUSIONES
*


RECOMENDACIONES
*

Linografa
http://es.wikipedia.org/wiki/Conjunto

http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

http://docencia.udea.edu.co/SistemasDiscretos/contenido/conjuntos.html

Gonzlez Carlomn, Antonio; Retculo completo de Boole, lgica matemtica,
teora de conjuntos (2006); Universidad de Oviedo. Servicio de Publicaciones

ENCICLOPEDIA TEMTICA ESTUDIANTIL, Mentor interactivo, ED. Ocano,
1999. Pg. 5

NUEVO ALFA 11, ED. Norma 2000, Pg. 9

PIRMIDE EDUCATIVA. Toma 3. Ed. Proeducar. Pg. 20. 2002