{"id":308,"date":"2018-05-25T09:25:56","date_gmt":"2018-05-25T07:25:56","guid":{"rendered":"http:\/\/clases.jesussoto.es\/?p=308"},"modified":"2018-05-25T10:04:33","modified_gmt":"2018-05-25T08:04:33","slug":"mad-desarreglos-y-particiones","status":"publish","type":"post","link":"https:\/\/curso17.jesussoto.es\/?p=308","title":{"rendered":"MAD: Desarreglos y particiones"},"content":{"rendered":"<p>Hoy hemos recordado la definici\u00f3n del conjunto de las permutaciones $S_n$, donde un elemento ser\u00e1 de la forma:<br \/>\n$$\\displaystyle \\left(\\begin{array}{cccccccc}1 &amp; 2 &amp; 3 &amp; 4 &amp; 5 \\cdots &amp; n\\\\ \\sigma_1 &amp; \\sigma_2 &amp; \\sigma_3 &amp; \\sigma_4 &amp; \\sigma_5 \\cdots &amp; \\sigma_n \\end{array}\\right) .$$<br \/>\nSiendo $\\sigma_i\\in I=\\{1,2,3,4,&#8230;,n\\}$ y de modo que $\\sigma_i\\neq \\sigma_j\\forall i\\neq j$.<br \/>\nHemos visto que $S_n$ con la operaci\u00f3n composici\u00f3n de permutaciones, $\\circ$, le confiere una estructura de grupo; $(S_n,\\circ)$ es un grupo.<\/p>\n<p>Definimos un desarreglo como una permutaci\u00f3n $\\sigma\\in S_n$ talque $\\sigma_i\\neq i\\forall i\\in I$. El prop\u00f3sito de la clase de hoy ha sido contar el n\u00famero de desarreglos que podemos encontrar en el conjunto $S_n$.<\/p>\n<p>Para vuestra ayuda consultar <a href=\"http:\/\/mathworld.wolfram.com\/Derangement.html\" target=\"_blank\">Derangement<\/a>.<\/p>\n<p>Terminamos los contenidos de la Teor\u00eda Combinatoria con la inclusi\u00f3n del estudios de las particiones.<\/p>\n<p>Una <b>partici\u00f3n<\/b> del conjunto <i>A<\/i> es una familia <i>P<\/i> de subconjuntos no vac\u00edos de <i>A<\/i>, disjuntos dos a dos, cuya uni\u00f3n es <i>A<\/i>. Es decir, $P= \\{A_i: i\\in I\\}$, donde se cumple:<\/p>\n<blockquote>\n<ul>\n<li>Para cada $i\\in I, A_i\\subseteq A y A_i\\neq\\varnothing $<\/li>\n<li>Para cada par $i\\neq j$, $A_i\\cap A_j = \\varnothing $<\/li>\n<li>$\\cup_{i\\in I} A_i = A$<\/li>\n<\/ul>\n<\/blockquote>\n<p>El n\u00famero de particiones posibles para un conjunto finito s\u00f3lo depende de su cardinal $n$, y se llama el n\u00famero de Bell, $B_n$. Los primeros n\u00fameros de Bell son <i>B<\/i><sub>0<\/sub> = 1, <i>B<\/i><sub>1<\/sub> = 1, <i>B<\/i><sub>2<\/sub> = 2, <i>B<\/i><sub>3<\/sub> = 5, <i>B<\/i><sub>4<\/sub> = 15, <i>B<\/i><sub>5<\/sub> = 52, <i>B<\/i><sub>6<\/sub> = 203, &#8230;<\/p>\n<p>Los n\u00fameros de Bell cumplen una relaci\u00f3n derecurrencia muy interesante:<br \/>\n$$B_n=\\sum_{k=0}^{n-1}B_k\\binom{n-1}{k}$$<\/p>\n<p>Un caso particular de contar particones son los n\u00fameros de Stirling de segunda especie:<br \/>\n$$S(n,k)=\\frac{1}{k!}\\sum_{i=0}^k(-1)^i\\binom{k}{i}(k-i)^n.$$ <\/p>\n<p>Este resultado nos da pie a contar las aplicaciones suprayecivas entre dos conjuntos finitos.<\/p>\n<blockquote><p> <strong>Teorema:<\/strong> Sean $A$ y $B$ dos conjuntos finitos de cardinal $n$ y $m$ respectivamente. El n\u00famero de aplicaciones suprayectivas de $A$ en $B$ es de $$m!S(n,m).$$\n<\/p><\/blockquote>\n<table id=\"yzpi\" border=\"0\" width=\"100%\" cellspacing=\"0\" cellpadding=\"3\" bgcolor=\"#999999\">\n<tbody>\n<tr>\n<td width=\"100%\"><strong>Ejercicio:<\/strong> Calcular el n\u00famero de desarreglos de $S_5$.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>Hoy hemos recordado la definici\u00f3n del conjunto de las permutaciones $S_n$, donde un elemento ser\u00e1 de la forma: $$\\displaystyle \\left(\\begin{array}{cccccccc}1 &amp; 2 &amp; 3 &amp; 4 &amp; 5 \\cdots &amp; n\\\\ \\sigma_1 &amp; \\sigma_2 &amp; \\sigma_3 &amp; \\sigma_4 &amp; \\sigma_5 \\cdots &amp; \\sigma_n \\end{array}\\right) .$$ Siendo $\\sigma_i\\in I=\\{1,2,3,4,&#8230;,n\\}$ y de modo que $\\sigma_i\\neq \\sigma_j\\forall i\\neq&hellip; <a class=\"more-link\" href=\"https:\/\/curso17.jesussoto.es\/?p=308\">Seguir leyendo <span class=\"screen-reader-text\">MAD: Desarreglos y particiones<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[5],"tags":[],"_links":{"self":[{"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=\/wp\/v2\/posts\/308"}],"collection":[{"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=308"}],"version-history":[{"count":4,"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=\/wp\/v2\/posts\/308\/revisions"}],"predecessor-version":[{"id":312,"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=\/wp\/v2\/posts\/308\/revisions\/312"}],"wp:attachment":[{"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=308"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=308"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/curso17.jesussoto.es\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=308"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}