REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACIN CENTRO UNIFICADO GRAL.

JOS ANTONIO ANZOTEGUI TINAQUILLO-COJEDES

TEORA DE CONJUNTOS Y RELACIONES BINARIAS

AUTOR: David Matern. 2do ao. Seccin: E. Profa. Anabell Villegas.

TINAQUILLO, DICIEMBRE DE 2013.

NDICE Pp. Introduccin... Teora de Conjuntos.... Conjuntos... Relaciones. Relaciones Binarias. Caractersticas de las Relaciones Binarias.. Conclusin. Referencias Bibliogrficas...... 03 04 04 05 05 06 09 10

INTRODUCCIN

Se puede notar que en la vida actual se presentan problemas como la clasificacin de ciertos objetos los cuales en ocasiones piden caractersticas especiales para poder entrar en un grupo o conjunto, y de esta forma poder estudiarlos. Existe La Teora de Conjuntos, que es una divisin de las matemticas que estudia los conjuntos. El descubrimiento de dicha teora se debe al matemtico alemn George Ferdinand Lwdwig Cantor (1845-1918).

Hoy da, se cuenta

con ciertos diagramas que facilitan el

entendimiento y razonamiento de cada problema debido a que su estructura visual es llamativa; adems se pueden presentar varios elementos en un solo grfico. Este trabajo explica, de manera entendible, el concepto de los temas antes mencionados, iniciando con teora, as como tambin pone en prctica una manera de llevar a cabo cada operacin que se va planteando cuando se presenta el tema de operaciones con conjuntos, para que con ayuda de la teora antes expuesta se pueda llegar a la expresin del resultado por medio de diagramas de Venn, que son las representaciones graficas antes mencionadas.

TEORA DE CONJUNTOS

Es una divisin de las matemticas que estudia los conjuntos.

CONJUNTO

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.

Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra intuicin o nuestra mente. Dicho de otra manera, un conjunto es una lista o coleccin bien definida de objetos, que se designarn con letras maysculas A, B, X, Y,.Los elementos que componen el conjunto se llaman sus elementos o miembros y se designan con letras minsculas (a menos que dichos elementos sean, a su vez, conjuntos).

Por ejemplo: La proposicin a A se lee a pertenece a A, o bien, el elemento a pertenece al conjunto A. Su negacin es a / A. Si el conjunto A est formado por los elementos a, b y c, y se escribe: A = {a, b, c} y su diagrama de Venn correspondiente ser: A

a
c

Se lee elementos del conjunto A =

a, b, c

RELACIONES

Las relaciones entre elementos de conjuntos se dan en muchos contextos y, en informtica, aparecen con frecuencia en programacin, bases de datos informticas, entre otras.

RELACIN BINARIA

Sean A y B dos conjuntos. Una relacin (binaria) R de A en B es un subconjunto de A x B: R A x B = f {(a, b)/a A, b B} Se escribe a R b para indicar que (a, b) R y a Rb para expresar que (a, b) R. Si a Rb se dice que a est relacionado con b. Si R es una relacin de A en s mismo, i.e., R A x A, se dice que es una relacin en A.

Ejemplo: Supngase que hay cuatro objetos: {bola, coche, mueca, arma} y cuatro personas: {Juan, Mara, Venus}. Suponga que Juan posee la bola, Mara posee la mueca y Venus posee el coche. Nadie posee el arma y as que no posee nada. Entonces se da la relac in binaria se posee por como R = ({bola, coche, mueca, arma}, {Juan, Mara, Venus}, {(bola, Juan), (mueca, Mara), (coche, Venus)}).

As el primer elemento de R es el sistema de objetos, el segundo es el sistema de gente, y el elemento pasado es un sistema de los pares pedidos de la forma (objeto, dueo). El par (bola, Juan), denotado cerca bola R Juan significa que la bola es poseda por Juan. Dos diversas relaciones podan tener el mismo grfico. Por ejemplo: la relacin ({bola, coche, mueca, arma}, {Juan, Mara, Venus}, {(bola, Juan), (mueca, Mara), (coche, Venus)}) es diferente el anterior; donde cada uno es un dueo. Pero los grficos de las dos relaciones son iguales. Sin embargo, R se identifica o an se define generalmente como G (R) y un par pedido (x, y) G (R) se denota generalmente como (x, y) R".

CARACTERSTICAS

Para ejemplificar las caractersticas o propiedades de las relaciones se utilizar el conjunto A= {1,2,3,4}.

Propiedad reflexiva (o idntica) Una relacin R sobre un conjunto A es reflexiva si para todo x A entonces (x,x) R. En otras palabras una relacin es reflexiva si todo

elemento del conjunto sobre el que est definida, est relacionado consigo mismo. x A se cumple que (x,x) R. Ejemplo: R={(1,1),(2,2),(3,3),(4,4)} Otro ejemplo: R2 = { (1,1), (2,2), (3,3), (4,4), (2,3), (1,4) } Propiedad antirreflexiva, tambin llamada irreflexiva Una relacin R sobre un conjunto A es antirreflexiva si para todo x A se cumple que (x,x) R, es decir que x A se cumple que x no est relacionado consigo mismo. Ejemplo: R = { (1,2), (2,1), (1,3), (1,4), (2,3), (2,4), (3,4) }

Propiedad simtrica Una relacin R sobre un conjunto A es simtrica si para todo x A, y A, si (x,y) R entonces (y,x) R. Dicho de otra forma: x,y A se cumple que si (x,y) R entonces (y,x) R Ejemplo: R = { (1,1), (1,3), (2,2), (2,4), (3,1), (4,2), (4,4) }

Propiedad antisimtrica Una relacin R sobre un conjunto A es antisimtrica si para todo x A, y A, si x R y e y R x entonces x=y. De nuevo: x,y A se cumple que si (x,y), (y,x) R entonces x=y. Ejemplo: R={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4),(1,1),(2,2),(3,3),(4,4)} Pregunta: Si el par (1,3) pertenece a la relacin, podra estar el par (3,1)? Segn la definicin, si est el (1,3) y est el (3,1) entonces debera ser 1=3.

Propiedad asimtrica Una relacin R sobre un conjunto A es asimtrica si para todo x A, y A, si (x,y) R entonces (y,x) R. Dicho de otra forma: x,y A se cumple que si (x,y) R entonces (y,x) R. Ejemplo: R = { (1,2), (1,3), (2,4), (4,3) } Los pares (n,n) no pueden estar, por definicin. Las relaciones asimtricas son antirreflexivas.

Propiedad transitiva Una relacin R sobre un conjunto A es transitiva si para todo x A, y A, z A si (x,y) R y (y,z) R entonces (x,z) R. x,y,z A se cumple que si (x,y), (y,z) R entonces (x,z) R. Ejemplo: R= {(2,1),(3,1),(3,2),(4,1),(4,2),(4,3)}

CONCLUSIN

La presente investigacin se refiri al tema de Teora de Conjuntos, que se puede definir como la rama de las matemticas a la que el matemtico alemn Georg Cantor dio su primer tratamiento formal en el siglo XIX. El concepto de conjunto es uno de los ms fundamentales en matemticas, incluso ms que la operacin de contar, pues se puede encontrar, implcita o explcitamente, en todas las ramas de las matemticas puras y aplicadas.

Dada la importancia esencial de los conjuntos, la Teora de Conjuntos, junto con la lgica, constituye la base fundamental de las matemticas modernas. En algn lugar especial, de los libros de la teora axiomtica de conjuntos suele darse una explicacin de por qu es necesario fundamentar la teora de conjuntos y dejarla construida a partir de unos cuantos axiomas. Estos axiomas son, en su mayora, principios evidentes de por s una vez que se ha comprendido previamente como deben comportarse los conjuntos o, por lo menos, cuando ya se tiene una idea de ello

REFERENCIAS BIBLIOGRFICAS Deao, A. (1970). Introduccin a la lgica formal. Alianza Editorial. Madrid. Pp. 25. Di Prisco, C. (1996). Una Introduccin a la Teora de Conjuntos y los Fundamento de las Matemticas. IVIC., Venezuela. Notas de Clase. Enciclopedia temtica Planeta (2009). Historia de la Ciencia, Matemticas, Informtica, Barcelona. Meja, C. y Col. (2006). Diseo de algunas estrategias de intervencin Pedaggica en el rea de la lgica en la Educacin Secundaria . Universidad de Antioquia, Facultad de Educacin, Medelln. Astronoma, Astronutica. Editorial Planeta , S.A.;

10