Teora de conjuntos La Teora de Conjuntos es una divisin de las matemticas que estudia las propiedades y relaciones de los conjuntos.

El primer estudio formal sobre el tema fue realizado por el matemtico alemn Georg Cantor, Gottlob Frege y Julius Wilhelm Richard Dedekind en el Siglo XIX y ms tarde reformulada por Zermelo. El concepto de conjunto es intuitivo y se podra definir como una "agrupacin bien definida de objetos no repetidos y no ordenados"; as, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Un conjunto est bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolgrafos azules est bien definido, porque a la vista de un bolgrafo se puede saber si es azul o no. El conjunto de las personas altas no est bien definido, porque a la vista de una persona, no siempre se podr decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo XIX, segn Frege, los elementos de un conjunto se definan slo por tal o cual propiedad. Actualmente la teora de conjuntos est bien definida por el sistema ZFC. Sin embargo, sigue siendo clebre la definicin que public Cantor.

Igualdad de conjuntos
Dos conjuntos A y B se dicen iguales, lo que se escribe A = B si constan de los mismos elementos. Es decir, si y solo si todo elemento de A est tambin contenido en B y todo elemento de B est contenido en A. En smbolos:

[editar] Subconjuntos y Superconjuntos

Diagrama de Venn que muestra Un conjunto A se dice que es subconjunto de otro B, si cada elemento de A es tambin elemento de B, y se denota . Es decir

Operaciones con conjuntos

[editar] Unin

Diagrama de Venn que ilustra Para cada par de conjuntos A y B existe un conjunto unin de los dos, que se denota como el cual contiene todos los elementos de A y de B.

Esto siginifica que xAB si y slo si xA xB. De manera ms general, para cada conjunto S existe otro conjunto denotado como de manera que sus elementos son todos los elementos de algn elemento de S, .

De esta manera

es el caso especial donde

Ejemplo. Si tenemos los conjuntos

, entonces:

Interseccin

Diagrama de Venn que ilustra Los elementos comunes a A y B forman un conjunto denominado interseccin de A y B, representado por . Es decir, es el conjunto que contiene a todos los elementos de A que al mismo tiempo estn en B:

Esto siginifica que xAB si y slo si xA y xB. Puede definirse tambin la interseccin de una familia de conjuntos, similar al caso de la unin. Si dos conjuntos A y B son tales que se dice que A y B son conjuntos disjuntos. Ejemplo. Si tenemos los conjuntos de forma , entonces

, entonces:

[editar] Particin
Dado un conjunto A, una familia de subconjuntos X={Ai} (con cada Ai A) se denomina una particin de A si la unin de todos ellos es A y son disjuntos dos a dos:

[editar] Diferencia

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

Esto significa que xA\B si y slo si xA y xB. Tambin se denota por A-B. Ejemplo. Dados los conjuntos

, se tiene:

Mapa de Karnaugh
De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda

Ejemplo de mapa de Karnaugh. Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como K-Mapa o KV-Mapa) es un diagrama utilizado para la simplificacin de funciones algebraicas booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas K aprovechan la capacidad del cerebro humano de trabajar mejor con patrones que con ecuaciones y otras formas de expresin analtica. Externamente, un mapa de Karnaugh consiste de una serie de cuadrados, cada uno de los cuales representa una lnea de la tabla de verdad. Puesto que la tabla de verdad de una funcin de N variables posee 2N filas, el mapa K correspondiente debe poseer tambin 2N cuadrados. Cada cuadrado alberga un 0 un 1, dependiendo del valor que toma la funcin en cada fila. Las tablas de Karnaugh se pueden utilizar para funciones de hasta 6 variables. X1 X3 __________ 54645454 __________ 0 4 5 1 X4| 8 12 13 9 X2| | 10 14 15 11
| 2 6 7 3

Nmeros correspondientes a las posiciones de la tabla de la verdad Ejemplo mapa de Karnaugh:

X1 X3 _________ _________ 1 1 1 0 1 1 0 1 0 1 0 0

X2| |

X4| |

0 0 0 1

Tabla de lazos que se pueden permitir, segn las variables que contenga un mapa: MAPAS segn su variable

v 2 3 4 5 6

1 2 3 4 5 6

2 1 2 3 4 5

4 C 1 2 3 4

8 NA C 1 2 3

16 NA NA C 1 2

32 NA NA NA C 1

64 NA NA NA NA C

v= variables C= constantes NA= no permitido

Mapas de Karnaugh
Exemplo
Considere a seguinte funo: f(A, B, C, D) = E(6, 8, 9, 10, 11, 12, 13, 14) Esta funo tem a tabela verdade:
0. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0

Truth table
Using the defined minterms, the truth table can be created: # 0 1 2 3 4 5 6 7

A B C D f(A,B,C,D)
0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0

8 9 10 11 12 13 14 15

1 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

1 1 1 1 1 1 1 0