You are on page 1of 4
1. Nociones basicas de la Teoria de Conjuntos. Definicién. Un conjunto es una coleccidn de objetos. A los objetos de un conjunto ¢ les llama elementos del conjunto. Se denominard conjunto vacio al conjunto que no tiene elementos y se denotaré por @. Normalmente, emplearemos letras maytisculas (A, B, ...) para denotar los conjuntos y usaremos letras mimisculas (a, b, ¢, ««.) para los elementos de un conjunto. Para indicar que un elemento a esta en un conjunto A escribiremos a € A, que se lee “a pertenece a . En caso contrario escribiremos a ¢ A, que se lee “a no pertenece a A”. Existen dos formas de definir un conjunto: i) Por extensién: En este caso se indican todos elementos que forman el conjunto escritos entre los simbolos { y } y separados por “,". Por ejemplo, A = {1,2,3} significa que el conjunto A est formado por los elementos 1, 2-y 3. ii) Por comprensién: Se seiialan la(s) propiedad(es) que caracteriza(n) los elementos del conjunto. En este caso escribiremos el conjunto de lasiguiente manera: {cr | p(x)}. donde p() ¢s la propiedad que debe verificar el elemento x para pertenecer al conjunto. Por ejemplo, B= { | x es un mimero natural y a < 3} (observar que el conjunto B coincide con el conjumto A del apartado i). $i Ay B son dos conjuntos tales que cada elemento de B pertenece a A, se dice que Besta contenido en Ay se escribe BC A (6 BC A). Es decir, BCA <> WbEBbEA. En caso contrario, esto es, si existe al menos un elemento de B que no esta en A, se dice que B no est contenido en A y se expresa mediante BZ A (6 B ¢ A). Esto es, BZA <= 3WEBtalquebga Si Bes un conjunto tal que BC A, se dice que Bes un subeonjunto de A. SiBCAYB#A, g dira que Bes un subconjunto propio de A. Es evidente que ibiremos BC A, cuando queramos destacar que B # Ay BEAR VbE BE Ay Fae Atal queagB Ejemplos. Introduccién al Algebra Lineal. M.A. Garcia Sanchez y T. Ramirez Alzola. Proyecto OCW de la UPV/EHU. 2 Nociones basicas de la Teoria de Conjuntos 1. 0, que representa el conjunto vacio, esti contenido en cualquier conjunto A. 2. Si Aes un conjunto, entonces AC A. 3, Sean A= {1,-1,-3,5} y Z= a | es un mimero entero}. Entonces 4. Sean A= {1,2,3,-V3,V5} y B= Q= {a/b ] a,b€ Zy b£ 0}. Entonces AGB 5. SiN denota el conjunto de los mimeros naturales y Q el conjunto de los niimeros racionales, se tiene NC Q. z 6. Si A= {nENJnes primo} denota el conjunto de los mimeros primos y Zel conjunto de los mimeros enteros, s€ tiene AC Z. z Definicién. Sea A un conjunto. Se llama conjunto de las partes de A booleano de A, y se denota por §3(A), al conjunto formado por todos los subconjuntos de A (in- endo el conjunto vacfo y el propio A), esto es, (A) = {BIB C A}. Definicién. Sea A un conjunto. Se llama cardinal de A al mimero de elementos de A, Normalmente denotar el cardinal de A por |A| 6 por #A. Definicién. Un conjunto A se dice que ¢s finito si tiene un niimero finito de elemen- esto si, si |A| <00. tos Para denotar una familia de conjuntos indicada por Ie {Ai}ier donde es un conjunto de indices no vacio. ibiremos (A; | i € J} 0 Definicién. Sean Ay Bdos conjuntos. La interseccién de los conjuntos Ay Besel conjunto denotado por AN B formado por los elementos que pertenecen simultaneamente a Ay B,estoes, ANB={x|r€A Arve B} Suando ANB=6, se miele decir que los conjuntos A y B son disjuntos. Si {Ai}ieres una familia de conjuntos, la interseccidn de ellos es un conjunto denotado por () Aj y cuyos elementos son: tel (\Ai = {x | we Avie I}. ier Introduceién al Algebra Lineal. M.A. Garefa Sanchez y T. Ramfrez Alzola. Proyecto OCW de la UPV/EHU. Fundamentos 3 Diremos que la familia {Ay}ier es disjunta cuando se verifique la siguiente condic Vinge, @#5, ANA Definicién. Sean Ay B dos conjuntos. La unién de los conjuntos A y B, denotado por AU B, es el conjunto formado por los elementos que pertenecen a A 6a B, esto es, AUB={e|2eA Vee B} Si Ay B son disjuntos, se diré que la unién de A y B es disjunta y se denotaré por AU B. Si {Aj}icr es una familia de conjuntos, la unién de ellos se denota por LJ Ai y tiene ier Uae ier por elementos: € Ital que x € Aj}. Aligual que antes, sila familia {Aj}icr es disjumta, diremos que la unidn de ella es disjunta y lo denotaremos por J Ai ier Ejemplos 1.€ ideremos la familia (A,},,2.y, donde A,, = [n,n-+ 1) para cada n EN. Entonces, U =, +00). neN Ademés, la familia anterior es disjunta ya que An Am =Osin ém 2. Consideremos la familia {A,},,<.y, donde Ap = (n,n-+ 1) para cada n € N. Entonces, U =G,+0)-N. neN Ademés, la familia anterior es disjunta ya que An Am =Osin ém 3. Consideremos la familia {An},,-n4, donde Ay = [n,n +1] para cada n € N. Entonces, U =11, +00). neN Ademés, la familia anterior no es disjunta ya que para cada n €N, An Anya = {n-+1}. Introduccién al Algebra Lineal. M.A. Garcia Sanchez y T. Ramirez Alzola. Proyecto OCW de la UPV/EHU. 4 Nociones basicas de la Teorfa de Conjuntos Definicién. Sean A y B dos conjuntos. Se lama diferencia de los conjuntos A y B, y se denota por AB, al conjunto formado por los elementos de A que no pertenecen a B,estoes, A-B= {xe A|x¢ B} Definicién. Sean A y B dos conjuntos. Se llama producto eartesiano de los conjuntos A y B, y se denota A x B, al conjunto formado por todos los pares (a,b) con aé Ay be B,es decir, Ax B={(a,b) |a€A A BEB}. En relacién al producto cartesiano destacamos: 1.- El par (a, 6) es tn par ordenado, esto es, siempre se debe verificarse que a € Ay beB. 2.- Si (ay, by), (a2. ba) € AX B, entonces (a1,b,) = (a2,ba) si y s6lo si ay = ay y by = be. 3. Si [A] =ny |B] =m, entonces |A x B|=nxm 4.- Si AFB, entonces Ax B# Bx A. Del mismo modo que hemos definidoel producto cartesiano de dos conjuntos, podemos definir el producto cartesiano de k conjuntos Ay, A2,... Ax de la manera siguiente: Ay X Ag X 122 An = { (a1, 02,-++504) [VEE {1.2.0.0}, as € Ai}. Definicién. Sean A un conjunto y {4;},, una familia disjunta de subconjuntos de A, Diremos que {Ai},¢, 6s una particién de Asi A= UJ As ier Ejemplo 1. Si A= {1,2,3,4}, entonces {{1}, {2,3}, {4} es una particién de A. Introduccién al Algebra Lineal. M.A. Garcia Sanchez y T. Ramirez Alzola. Proyecto OCW de la UPV/EHU.

You might also like