Conjunto

De Wiki peda, la enciclopedia libre Saltar a: navegacin, bsqueda Para otros usos de este trmino, vase Conjunto (desambiguacin).

Los diversos polgonos en la imagen constituyen un conjunto. Algunos de los elementos del conjunto, adems de ser polgonos son regulares. La coleccin de estos ltimos los polgonos regulares en la imagen es otro conjunto, en particular, un subconjunto del primero. En matemticas, un conjunto es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto.[1] Por ejemplo, el conjunto de los colores del arcoris es: AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo, para los nmeros naturales, si consideramos la propiedad de ser un nmero primo, el conjunto de los nmero primos es: P = {2, 3, 5, 7, 11, 13, ...} Un conjunto queda definido nicamente por sus miembros y por nada ms. En particular el orden en el que se representen estos es irrelevante. Adems, cada elemento puede aparecer de manera idntica una sola vez, esto es, no puede haber elementos totalmente idnticos repetidos. Por ejemplo: S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles} AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta, Naranja} Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmero naturales es infinito, pero el conjunto de los planetas en el Sistema Solar es finito (tiene ocho elementos). Adems, con los conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con nmeros. Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en trminos de nociones ms elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuicin y a la lgica. Por otro lado, son el concepto fundamental de la matemtica: mediante ellos puede formularse el resto de objetos matemticos, como los nmeros y las funciones, entre otros. Su estudio detallado requiere pues la introduccin de axiomas y conduce a la teora de conjuntos.

Contenido
[ocultar]

1 Historia 2 Definicin

2.1 Descripcin de un conjunto 2.2 Pertenencia 2.3 Subconjuntos

3 Cardinalidad 4 Operaciones con conjuntos 5 Vase tambin 6 Referencias

6.1 Bibliografa

7 Enlaces externos

[editar] Historia
El concepto de conjunto como objeto abstracto no comenz a emplearse en matemticas hasta el siglo XIX, a medida que se despejaban las dudas sobre la nocin de infinito.[2] Los trabajos de Bernard Bolzano y Bernhard Riemann ya contenan ideas relacionadas con una visin conjuntista de la matemtica. Las contribuciones de Richard Dedekind al lgebra estaban formuladas en trminos claramente conjuntistas, que an prevalecen en la matemtica moderna: relaciones de equivalencia, particiones, homomorfismos, etc., y l mismo explicit las hiptesis y operaciones relativas a conjuntos que necesit en su trabajo. La teora de conjuntos como disciplina independiente se atribuye usualmente a Georg Cantor. Comenzando con sus investigaciones sobre conjuntos numricos, desarroll un estudio sobre los conjuntos infinitos y sus propiedades. La influencia de Dedekind y Cantor empez a ser determinante a finales del siglo XIX, en el proceso de axiomatizacin de la matemtica, en el que todos los objetos matemticos, como los nmeros, las funciones y las diversas estructuras, fueron construidos en base a los conjuntos.

[editar] Definicin
Georg Cantor, uno de los fundadores de la teora de conjuntos, dio la siguiente definicin de conjunto:[3]
[...] entiendo en general por variedad o conjunto toda multiplicidad que puede ser pensada como unidad, esto es, toda coleccin de elementos determinados que pueden ser unidos en una totalidad mediante una ley.

Los elementos o miembros de un conjunto pueden ser cualquier cosa: nmeros, personas, letras, otros conjuntos, etc. Los conjuntos se denotan habitualmente por letras maysculas. Dos conjuntos A y B que tengan los mismos elementos son el mismo conjunto, A = B. A y B tienen los mismos elementos si cada elemento de A es elemento de B y cada elemento de B pertenece a A.

[editar] Descripcin de un conjunto

Conjunto de personas. El conjunto de personas mostrado en la imagen, A, tiene 8 miembros. Este conjunto puede representarse mediante llaves o mediante un diagrama de Venn. El orden de las personas en A es irrelevante. Existen dos maneras de describir o especificar los elementos de un conjunto: Una de ellas es mediante una definicin intensiva o por comprensin, describiendo una condicin que cumplen sus elementos : A es el conjunto cuyos miembros son los nmeros enteros positivos menores que 5. B es el conjunto de colores de la bandera de Mxico. La segunda manera es por extensin, esto es, listando cada miembro del conjunto. En una definicin extensiva se escriben los elementos del conjuntos entre llaves: C = {4, 2, 3, 1} D = {blanco, rojo, verde} Puesto que un conjunto queda especificado nicamente por sus elementos, a menudo pueden usarse ambas definiciones, intensivas y extensivas, para especificar un mismo conjunto. Por ejemplo: El conjunto de las vocales en espaol = {e, u, a, i, o} En los ejemplos anteriores, se tiene que A = C y B = D Debido a la propiedad de la extensionalidad, el orden en el que se especifiquen los elementos de un conjunto es irrelevante (a diferencia de una tupla o una sucesin). Por ejemplo: C = {1, 2, 4, 3} es igual a C = {4, 2, 3, 1} D = {verde, blanco, rojo} es igual a D = {blanco, rojo, verde} Esto es as debido a que lo nico que define un conjunto son sus elementos. Por ejemplo, cada elemento de D es un elemento de D y viceversa, luego ambos son necesariamente el mismo conjunto. Del mismo modo, y a diferencia de un multiconjunto, cada elemento de un conjunto es nico: no puede repetirse o pertenecer ms de una vez. Esto significa que, por ejemplo: {4, 3, 2, 4} = {4, 2, 3} , ya que los elementos de ambos conjuntos son los mismos: el 4, el 3 y el 2. No sera el caso si los nmeros que consideramos tuvieran alguna otra propiedad que los diferenciase: {4, 3, 2, 4} es distinto de {4, 2, 3} y de {4, 2, 3} Es habitual utilizar las llaves tambin en las definiciones intensivas, especificando la propiedad que define al conjunto: {Vocales del espaol} = {o, u, i, e, a} {Palos de la baraja francesa} = {, , , }

Otra notacin habitual para denotar por comprensin es: A = {m : m es un entero, y 1 m 5} B = {c : c es un color de la bandera de Mxico} F = {n2 : n es un entero y 1 n 10} , donde en esta expresin los dos puntos (:) significan tal que. As, el conjunto F anterior es el conjunto de los nmeros de la forma n2 tal que n es un nmero natural entre 1 y 10 (ambos inclusive), o sea, el conjunto de los diez primeros cuadrados de nmeros naturales, {1, 4, 9, 16, 25, 36, 49, 64, 81, 100}. En lugar de los dos puntos se utiliza tambin la barra vertical (|) u oblicua / .

Relacin de pertenencia. El conjunto A es un conjunto de polgonos. En la imagen, algunas de las figuras pertenecen a dicho conjunto, pero otras no.

[editar] Pertenencia
Artculo principal: Elemento de un conjunto

La relacin clave en un conjunto es la pertenencia: cundo es un elemento miembro de un conjunto. Si a es un miembro de B, se denota por a B,[4]
y si no lo es, se denota por a B. Por ejemplo, respecto a los conjuntos A, B y F de la seccin anterior, podemos decir:

4 A , 36 F , verde B , pero 7 A , 8 F , azul B Y se dice entonces que 4 pertenece al conjunto A, 4 es un miembro de A, 4 est en A o A contiene 4.

[editar] Subconjuntos
Artculo principal: Subconjunto

Subconjunto. B es un subconjunto de A (en particular un subconjunto propio). Un subconjunto A de un conjunto B, es un conjunto que contiene algunos de los elementos de B (o quiz todos): Un conjunto A es un subconjunto del conjunto B si cada elemento de A es a su vez un elemento de B. Si A es un subconjunto de B, se escribe como A B y se dice que A est contenido en B. Tambin puede escribirse B A, y decirse que B es un superconjunto de A y tambin B contiene a A o B incluye a A. Si A no slo contiene algunos sino todos los elementos B, A no slo es un subconjunto de B, sino que ambos conjuntos son iguales, A = B. El otro caso posible es que A contenga algunos pero no todos los elementos de B: A es un subconjunto de B pero no son iguales. Se dice entonces que A es un subconjunto propio de B y se denota A B, es decir: A B pero A B (y equivalentemente, para un superconjunto propio, B A). (Tambin se utiliza la notacin A B y B A, pero segn el autor esto puede denotar subconjunto, A B y B A; o subconjunto propio, A B y B A). Ejemplos. El conjunto de todos los hombres es un subconjunto propio del conjunto de todas las personas. {1, 3} {1, 2, 3, 4} {1, 2, 3, 4} {1, 2, 3, 4}

[editar] Cardinalidad
Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito podemos contar los elementos del conjunto: El nmero de elementos de un conjunto finito es su cardinal. El cardinal se denota por |A|, card(A) o #A. As, en los ejemplos anteriores, se tiene que |A| = 4 (cuatro nmeros), |B| = 3 (tres colores) y |F| = 10 (diez cuadrados). El nico conjunto cuyo cardinal es 0 es el conjunto vaco . En un conjunto infinito no hay un nmero finito de elementos. Es el caso por ejemplo de los nmeros naturales: N = {1, 2, 3, ...}. Sin embargo, los conjuntos infinitos pueden compararse, y resulta que existen conjuntos infinitos ms grandes que otros. El nmero de elementos de un conjunto infinito es un nmero transfinito.

[editar] Operaciones con conjuntos

Operaciones con conjuntos

Unin

Interseccin

Diferencia

Complemento

Diferencia simtrica Artculo principal: lgebra de conjuntos Existen varias operaciones bsicas que pueden realizarse para, partiendo de ciertos conjuntos dados, obtener nuevos conjuntos:

Unin: (smbolo ) La unin de dos conjuntos A y B, que se representa como A B), es el conjunto de todos los elementos que pertenecen al menos a uno de los conjuntos A y B. Interseccin: (smbolo ) La interseccin de dos conjuntos A y B es el conjunto A B de los elementos comunes a A y B. Diferencia: (smbolo \) La diferencia del conjunto A con B es el conjunto A \ B que resulta de eliminar de A cualquier elemento que est en B.

Complemento: El complemento de un conjunto A es el conjunto A que contiene todos los elementos que no pertenecen a A, respecto a un conjunto U que lo contiene. Diferencia simtrica: (smbolo ) La diferencia simtrica de dos conjuntos A y B es el conjunto A B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez. Producto cartesiano: (smbolo ) El producto cartesiano de dos conjuntos A y B es el conjunto A B de todos los pares ordenados (a, b) formados con un primer elemento a perteneciente a A, y un segundo elemento b perteneciente a B. {1, a, 0} {2, b} = {2, b, 1, a, 0} {5, z, } {, a} = {} {5, z, } \ {, a} = {5, z} {, 5} {8, #, } = {5, #, 8} {1, a, 0} {2, b} = {(1, 2), (1, b), (a, 2), (a, b), (0, 2), (0, b)} Axiomas de Zermelo-Fraenkel Relacin matemtica Correspondencia matemtica Conjunto de Borel Diagrama de Venn Estructura algebraica Funcin matemtica Georg Cantor Morfismo Teora de conjuntos

Ejemplos

[editar] Vase tambin

[editar] Referencias
1. Para esta introduccin, vase Weisstein, y Courant, Robbins y Stewart, 1996, p. 108. 2. Esta seccin est basada en Ferreirs, J.. Edward N. Zalta (ed.): The early development of set theory (en ingls). The Stanford Encyclopedia of Philosophy (Fall 2011 edition). Consultado el 15-12-2011. 3. Vase Cantor, Georg (2006) [1872-1899]. Fundamentos para una teora general de conjuntos. Escritos y correspondencia selecta.. Edicin de Jos Ferreirs. Crtica. p. 137. ISBN 84-8432-695-0. . 4. Este smbolo lo introdujo Peano. Vid Matemtica Moderna de Andr Warusfel sobre epsilon y Nachbin en su lgebra Elemental (pg.1 y pg.2) habla de: "La notacin de Peano x X".

[editar] Bibliografa

Courant, Richard; Robbins, Herbert; Stewart, Ian (1996) (en ingls). What is Mathematics? An Elementary Approach to Ideas and Methods. Oxford University Press. ISBN 0-19-510519-2. Suplemento del captulo II. Enderton, Herbert B. (1977). Elements of set theory. Academic Press.

Ivorra, Carlos, Lgica y teora de conjuntos, http://www.uv.es/ivorra/Libros/Logica.pdf, consultado el 18-04-2011 . Jech, Thomas. Edward N. Zalta (ed.): Set Theory (en ingls). The Stanford Encyclopedia of Philosophy (Spring 2009 Edition). Consultado el 22-04-2011. Pla i Carrera, Josep (2003). La verdad matemtica. publicacions Reial Acadmia de Doctors. Nachbin, Leopoldo : lgebra elemental (1986) Rochester, Nueva York; editora: Eva V. Chesnau. Edicin de la OEA, traducida al espaol por Csar E. Silva