Autor Tema: Número de funciones sobreyectivas sin puntos fijos

0 Usuarios y 1 Visitante están viendo este tema.

10 Abril, 2014, 04:40 am
Leído 3341 veces

rrrto2005

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 36
  • Karma: +0/-0
  • Sexo: Masculino
Encontrar todas las funciones sobreyectivas de \( {{1...n}} \) a \( {{1...m}} \) sin puntos fijos.

Quiero usar principio de inclusión exclusión

Sea Ai= todas las funciones sobreyectivas con f(i)=i

Entonces el número pedido es \( m!S(n,m)- |\displaystyle\bigcup_{i=1}^{n}{A_i }| \) donde ,m!S(n,m) es el número total de funciones sobreyectivas con S(n,m) el número de stirling de segunda especie.

\( |\displaystyle\bigcup_{i=1}^{n}{A_i }|=\displaystyle\sum_{I\subset{[n]}}^}(-1)^I |A_I|  \)
 donde \( A_I \) = todas las funciones sobreyectivas con I como el conjunto de puntos fijos.

Me cuesta contar el \( A_I \), me sale una fórmula horrible, ¿alguien me podría ayudar?

10 Abril, 2014, 06:07 am
Respuesta #1

Juan Pablo Sancho

  • Moderador Global
  • Mensajes: 6,562
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Un intento:

Spoiler

Perdón no he usado tu anotación

Primero calculamos las aplicaciones sobreyectivas de un conjunto \(  A  \) de \(  n  \) elementos en un conjunto \(  B  \) de \(  m  \) elementos.

Sea \(  C_i = \{ f A \to B | i \ no \ es \  valor \ de \ f \}  \).

Una aplicación no es sobreyectiva si hay un elemento del codominio que no tiene antiimagen, pero el conjunto de todas estas aplicacones es por definición:

\(  C = \cup_{i=1}^{m} C_i  \) como el conjunto de todas las aplicaciones de \(  A  \) sobre  \(  B  \) es \(  m^n  \), nos queda

que el número de todas las aplicaciones sobreyectivas es \(  m^n - |C|  \).

Dado \(  r \in \{1,2, \cdots m-1,m \}  \), tenemos que \(  |C_{i_1} \cap C_{i_2} \cap \cdots \cap C_{i_r} | = (m-r)^r  \) como se pueden hacer \(  { m \choose r }  \)

subconjuntos de \(  r  \) elementos de \(  m  \) nos queda \(   { m \choose r } \cdot (m-r)^r  \).

Usando el principio de inclusión exclusión tenemos :

\(  |C| = \sum_{i=1}^m |C_i| - \sum \sum_{i<j} |C_i \cap C_j | +\cdots \mp |C_1 \cap C_2 \cdots \cap \C_n | = \sum_{i=1}^{m-1} (-1)^{n-1} \cdot { m \choose i } \cdot (m-i)^n   \).

Entonces el número de aplicaciones sobreyectivas es:

\(  m^n  -  { m \choose 1 } \cdot (m-1)^n + { m \choose 2 } \cdot (m-2)^n + \codts +(-1)^n \cdot { m \choose m-1 }  \).


Una biyección no tiene puntos fijos, sí \(  \forall i \in A \ , \ f(i) \neq i  \) donde donde \(  f : A \to A  \).

Para calcular el conjunto de aplicaciones biyectivas sin puntos fijos calculamos el complementario, el conjunto de aplicaciones que almenos tiene un punto fijo.

Sea \(  B_i = \{ f :A \to A | f(i) = i \}  \). donde \(  f  \) biyectiva.

Tenemos que \(  |B_i | = (n-1)!  \), generalizando \(  | B_{i_1} \cap B_{i_2} \cap \cdots \cap B_{i_r} | = (n-r)!  \).

Entonces \(  B=\cup_{i=1}^n B_i  \) usando el principio de inclusión exclusión:

\(  |B| = n\cdot(n-1)! - { n \choose 2}\cdot (n-2)! + { n \choose 3} \cdot (n-3)! + \cdots + (-1)^n \cdot { n \choose n} (n-n)!  \).

Como el número de aplicaciones biyectivas es \(  n!  \) tenemos que el número de aplicaciones sin puntos fijos es: 

\(  n! -n! + { n \choose 2}\cdot (n-2)! - { n \choose 3} \cdot (n-3)! + \cdots + (-1)^{n+1} \cdot { n \choose n} (n-n)! =  \).

\(  = { n \choose 2}\cdot (n-2)! - { n \choose 3} \cdot (n-3)! + \cdots + (-1)^{n+1} \cdot { n \choose n} (n-n)! =  \).

\(  = n! \cdot (\dfrac{1}{2!} - \dfrac{1}{3!} +\cdots (-1)^{n+1} \dfrac{1}{n!})  \).

Finalmente el número que tu pides es :

\(  n! \cdot (\dfrac{1}{2!} - \dfrac{1}{3!} +\cdots (-1)^{n+1} \dfrac{1}{n!}) \cdot m^{n-m}  \).

Que debería ser igual a:

\(  m^n  -  { m \choose 1 } \cdot (m-1)^n + { m \choose 2 } \cdot (m-2)^n + \codts +(-1)^n \cdot { m \choose m-1 }  - n\cdot(n-1)! -  \)

\(  - ({ n \choose 2}\cdot (n-2)! + { n \choose 3} \cdot (n-3)! + \cdots + (-1)^n \cdot { n \choose n} (n-n)!)\cdot (m^{n-m})  \).

[cerrar]

Me reitero que sólo es un intento.

10 Abril, 2014, 11:49 am
Respuesta #2

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Entonces el número de aplicaciones sobreyectivas es:

\(  m^n-{ m \choose 1 } \cdot (m-1)^n + { m \choose 2 } \cdot (m-2)^n + \codts +(-1)^n \cdot { m \choose m-1 }  \).


Una biyección no tiene puntos fijos, sí \(  \forall i \in A \ , \ f(i) \neq i  \) donde donde \(  f : A \to A  \).

Para calcular el conjunto de aplicaciones biyectivas sin puntos fijos calculamos el complementario, el conjunto de aplicaciones que almenos tiene un punto fijo.

Sea \(  B_i = \{ f :A \to A | f(i) = i \}  \). donde \(  f  \) biyectiva.

Tenemos que \(  |B_i | = (n-1)!  \), generalizando \(  | B_{i_1} \cap B_{i_2} \cap \cdots \cap B_{i_r} | = (n-r)!  \).

Entonces \(  B=\cup_{i=1}^n B_i  \) usando el principio de inclusión exclusión:

\(  |B| = n\cdot(n-1)! - { n \choose 2}\cdot (n-2)! + { n \choose 3} \cdot (n-3)! + \cdots + (-1)^n \cdot { n \choose n} (n-n)!  \).

Como el número de aplicaciones biyectivas es \(  n!  \) tenemos que el número de aplicaciones sin puntos fijos es: 

\(  n! -n! + { n \choose 2}\cdot (n-2)! - { n \choose 3} \cdot (n-3)! + \cdots + (-1)^{n+1} \cdot { n \choose n} (n-n)! =  \).

\(  = { n \choose 2}\cdot (n-2)! - { n \choose 3} \cdot (n-3)! + \cdots + (-1)^{n+1} \cdot { n \choose n} (n-n)! =  \).

\(  = n! \cdot (\dfrac{1}{2!} - \dfrac{1}{3!} +\cdots (-1)^{n+1} \dfrac{1}{n!})  \).

Hasta aquí de acuerdo en todo.

Citar
Finalmente el número que tu pides es :

\(  n! \cdot (\dfrac{1}{2!} - \dfrac{1}{3!} +\cdots (-1)^{n+1} \dfrac{1}{n!}) \cdot m^{n-m}  \).

Aquí no; pareciera que estás razonando que una aplicación sobreyectiva sin puntos fijos se contruye con una biyectiva sin puntos fijos entre los \( m \) primeros elementos y luego eligiendo las imágenes de los \( n-m \) restantes.

Pero esto no tiene porque ser así. La aplicación restringida a los \( m \) primeros elementos no tiene porque ser sobreyectiva ya que la sobreyectividad podría conseguirse con los \( n-m \) restantes.

Citar
Que debería ser igual a:

\(  m^n  -  { m \choose 1 } \cdot (m-1)^n + { m \choose 2 } \cdot (m-2)^n + \codts +(-1)^n \cdot { m \choose m-1 }  - n\cdot(n-1)! -  \)

\(  - ({ n \choose 2}\cdot (n-2)! + { n \choose 3} \cdot (n-3)! + \cdots + (-1)^n \cdot { n \choose n} (n-n)!)\cdot (m^{n-m})  \).

Ahí no entiendo lo que has hecho.

Yo propongo un camino similar al que has hecho para contar todas las aplicaciones sobreyectivas.

El número total de aplicaciones sin puntos fijos (sobreyectivas o no) es:

\( (m-1)^m\cdot m^{n-m} \)

ya que los \( m \) primeros elementos pueden tener cualqueir imagen menos ellos mismos y los demás cualquier imagen.

Ahora le restamos aquellas aplicaciones sin puntos fijos donde la imagen son a lo sumo \( m-1 \) elementos. Hay \( \displaystyle\binom{m}{1} \) formas de elegir el elemento que queda fuera. Serían:

\( \displaystyle\binom{m}{1}(m-2)^{m-1}(m-1)^{n-m+1} \)

Siguiendo el principio de inclusión-exlcusión ahora les tenemos que sumar las aplicaciones donde la imagen son a lo sumo \( m-2 \) elementos:

\( \displaystyle\binom{m}{2}(m-3)^{m-2}(m-2)^{n-m+2} \)

En definitiva queda:

\( \displaystyle\sum_{k=0}^{m-1}{}\displaystyle\binom{m}{k}(-1)^k(m-k-1)^{m-k}(m-k)^{n-m+k} \)

Saludos.

13 Abril, 2014, 02:47 am
Respuesta #3

Juan Pablo Sancho

  • Moderador Global
  • Mensajes: 6,562
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Muchísimas gracias el_manco por la corrección y por estar siempre ahí.