Conjunto en mltiples ocasiones se ha tratado de encontrar una definicin de lo que es un conjunto, encontrndose con el problema de que existen siempre conjuntos que no llenan las restricciones de las definiciones (contraejemplos), por lo que para el objeto de este curso, basta con intuir su concepto. En general, un conjunto es una coleccin o agrupamiento de individuos, valores o elementos tales, que tienen algunas o varias caractersticas que los definen como elementos de dicho conjunto.
Simbologa Como en toda ciencia, la terminologa y la notacin son de relevante importancia, pues coadyuvan a la comunicacin y al entendimiento entre las personas que se dedican a su estudio. Dado lo anterior, a continuacin se dan algunos de los smbolos ms comnmente usados:
a) implicacin: b) negacin: c) existencia: d) tal que: . . e) para cualquiera: v f) para todo: g) siempre que: , h) s y slo si:
i) pertenencia: j) nombre de conjuntos: a, b, k) nombres de elementos: a, b, l) conjunto universal: u m) conjunto vaco: \ n) conjunto: { } ) subconjunto: o) subconjunto propio: p) cardinalidad del conjunto a: # (a) q) unin de a y b: a - b r) interseccin de a y b: a ) b s) producto cartesiano de a y b: a x b t) par ordenado: (a, b) u) conjunto complemento de a: a' = ac
El conjunto vaco Es algunas veces difcil de imaginar y de aceptar, pero posteriormente se le encontrarn aplicaciones. Su definicin es la siguiente: el conjunto vaco es aquel conjunto que no tiene elementos. Se le denota con la letra griega \ , o como { }.
Conjunto universo El conjunto universo o de referencia de un fenmeno o de un problema especfico, es aquel conjunto que agrupa a todos los elementos que pudieran intervenir en el estudio. Generalmente se le denomina como u. si se tiene un conjunto, digamos a, el conjunto complemento de a = a' ser aquel conjunto que agrupe a todos los elementos del conjunto universal respectivo, que no sean elementos de a.
Cota Es un conjunto de valores numricos, es decir, es un valor tal que garantiza que no existen valores o elementos del conjunto en cuestin ms all de dicho valor. Es obvio que pueden existir dos tipos de cotas, las cotas inferiores y las cotas superiores. Un valor es cota inferior de un conjunto si ste no tiene elementos menores que dicho valor, y entonces se dice que el conjunto es acotado por la izquierda. Un valor es cota superior de un conjunto si el mismo no tiene elementos mayores que dicho valor, y entonces se dice que el conjunto es acotado por la derecha.
Orden Ordenar es, en esencia, arreglar las cosas o elementos de una manera no ambigua, es decir, una vez definido cual elemento es el inicial, para el resto de ellos siempre se podr decir cual le precede. Cuando los elementos de un conjunto son mediciones al menos en una escala ordinal, son susceptibles de ordenarse conforme a algn criterio de ordenacin previamente establecido, generando as lo que se conoce como "conjunto ordenado", denotndose dicho conjunto con el nombre del anterior pero con el subndice "ord". As, si un conjunto x contiene valores numricos, el conjunto de dichos valores, pero ordenados, se llamar xord. . Conteo Contar los elementos de un conjunto es efectuar una correspondencia ordenada 1 a 1, entre dichos elementos y el conjunto ordenado de los enteros positivos cuyo primer elemento sea el 1.
Cardinalidad La cardinalidad de un conjunto es el nmero de elementos que lo constituyen. Esto es, para conocer cuntos elementos tiene un conjunto ser necesario contarlos, y su cardinalidad ser el ltimo nmero correspondido en el conjunto ordenado de los enteros positivos, al efectuar el proceso de contar.
Conjunto de los cardinales = c Es de las cardinalidades posibles, las cuales sern siempre nmeros enteros no negativos, ya que nunca se podr hablar de una cardinalidad negativa o fraccionaria; es decir, es el conjunto ordenado de los naturales con el cero = {0, 1, 2, ...}.
Clasificacin de los conjuntos Se dice que un conjunto es finito si es contable o numerable. Esta clasificacin est en funcin de su propiedad de ser contable y no en funcin de su cardinalidad, por lo que puede darse el caso de conjuntos finitos, pero de cardinalidad infinita, como, por ejemplo, el conjunto de los nmeros naturales.
Operaciones entre conjuntos Si se tienen dos conjuntos, digamos a y b, la unin de ellos, denotada por a - b, ser un conjunto que contenga a todos los elementos de a y a todos los elementos de b que no estn contenidos en a. es fcil observar que es indistinto decir a b que b a, por lo que este tipo de relacin es simtrica.
El producto cartesiano Es el conjunto de todos los pares ordenados posibles cuya primera componente sean los elementos del conjunto que est primero y que la segunda componente de los pares sean los elementos del conjunto que est en segundo lugar. Se denota, suponiendo que los conjuntos sean a y b, como a x b.