Nuestro amigo vengoroso me envió hace un tiempo un problema que os planteo hoy a vosotros:
Llamamos números
-enteros a los polinomios:
![\left [ n \right ] = 1+q+q^2+ \ldots q^{n-1}](https://s0.wp.com/latex.php?latex=%5Cleft+%5B+n+%5Cright+%5D+%3D+1%2Bq%2Bq%5E2%2B+%5Cldots+q%5E%7Bn-1%7D&bg=ffffff&fg=000000&s=0 "\left [ n \right ] = 1+q+q^2+ \ldots q^{n-1}")
Con estos números podemos construir, por ejemplo, los
![\left [ n \right ] != \left [ n \right ] \cdot \left [ n-1 \right ] \cdot \ldots \cdot \left [ 2 \right ] \cdot \left [ 1 \right ]](https://s0.wp.com/latex.php?latex=%5Cleft+%5B+n+%5Cright+%5D+%21%3D+%5Cleft+%5B+n+%5Cright+%5D+%5Ccdot+%5Cleft+%5B+n-1+%5Cright+%5D+%5Ccdot+%5Cldots+%5Ccdot+%5Cleft+%5B+2+%5Cright+%5D+%5Ccdot+%5Cleft+%5B+1+%5Cright+%5D&bg=ffffff&fg=000000&s=0 "\left [ n \right ] != \left [ n \right ] \cdot \left [ n-1 \right ] \cdot \ldots \cdot \left [ 2 \right ] \cdot \left [ 1 \right ]")
También podemos construir los números
![\begin{bmatrix} n \\ k \end{bmatrix} = \cfrac{\left [ n \right ] !}{\left [ k \right ] ! \; \left [ n-k \right ] !}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Bbmatrix%7D+n+%5C%5C+k+%5Cend%7Bbmatrix%7D+%3D+%5Ccfrac%7B%5Cleft+%5B+n+%5Cright+%5D+%21%7D%7B%5Cleft+%5B+k+%5Cright+%5D+%21+%5C%3B+%5Cleft+%5B+n-k+%5Cright+%5D+%21%7D&bg=ffffff&fg=000000&s=0 "\begin{bmatrix} n \\ k \end{bmatrix} = \cfrac{\left [ n \right ] !}{\left [ k \right ] ! \; \left [ n-k \right ] !}")
A partir de aquí planteamos varias preguntas:
- Demostrar que
es un polinomio (y no sólo una función racional).
- Si fijamos
el cuerpo finito con
dentro de
tiene exactamente
- Hallar el polinomio de Taylor de la función
en un entorno de
.
A por él.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Si lo deseas, puedes hacer click para valorar este post en Bitacoras.com. Gracias….
Uhmm…. pero el factorial de un q-entero NO es otro q-entero. Esto no impide intentar la solución, pero estéticamente queda feo.
1. El coeficiente binomial
es el coeficiente del término 
, obtenido al desarrollar 
.
2. El coeficiente binomial
es el número de subconjuntos de k elementos escogidos de un conjunto con n elementos.
Manuel, la relación de estos polinomios con las correspondientes nociones clásicas se tiene cuando tomas q=1. En ese caso recuperas los enteros, factoriales, etc. de toda la vida.
Tobar, los números q-combinatorios aparecen de manera similar, cuando consideras la expansión del binomio
pero donde consideras que 
en vez de ser variables que conmutan entre sí verifican 
(esto puede pasar con matrices 
, por ejemplo). Y en vez de contar subconjuntos, cuentan ciertos subespacios vectoriales (eso es lo que pretende probar el apartado 2).
las permutaciones estan ligadas al coeficiente binomial mediante la siguiente identidad:
de manera compacta…
luego… ya dependiendo del entorno que se dice en el enunciado. … .
en la que incluyo la matriz hessiana y gradiantes.
buff… debo descansar, eso era respecto a la heissiana.
Bueno…
Tobar lo que estás comentando no tiene que ver con el problema. Son definiciones de conceptos que aparecen en el problema, sí, pero no tienen nada que ver con el asunto en cuestión. Por favor, intenta centrarte en el asunto.
Tengo el punto 1
Primero tenemos la identidad
![\left[n\right]-\left[k\right]=q^k\left[n-k\right]](https://s0.wp.com/latex.php?latex=%5Cleft%5Bn%5Cright%5D-%5Cleft%5Bk%5Cright%5D%3Dq%5Ek%5Cleft%5Bn-k%5Cright%5D&bg=ffffff&fg=000000&s=0 "\left[n\right]-\left[k\right]=q^k\left[n-k\right]")
que es inmediata
También tenemos de forma inmediata
$latex \begin{bmatrix}n\\n\end{bmatrix}=
\begin{bmatrix}n\\ 0\end{bmatrix}=1$
Y ahora un pelín más difícil es sacar
$latex \begin{bmatrix}n\\ k\end{bmatrix}=
\begin{bmatrix}n-1\\ k-1\end{bmatrix}+
q^k\begin{bmatrix}n-1\\ k\end{bmatrix}
$
$latex \begin{bmatrix}n\\k\end{bmatrix}=
\frac{\left[n-1\right]!}{\left[k\right]!\left[n-k\right]!}
(\left[k\right]+(\left[n\right]-\left[k\right]))=
\begin{bmatrix}n-1\\k-1\end{bmatrix}+
\frac{\left[n-1\right]!(\left[n\right]-\left[k\right])}{\left[k\right]!\left[n-k\right]!}=$
$latex =\begin{bmatrix}n-1\\k-1\end{bmatrix}+
q^k\begin{bmatrix}n-1\\k\end{bmatrix}$
Y ahora por inducción podemos escribir todos los q-combinatorios en función de otros más pequeños hasta llegar a los triviales haciendo sólo sumas y multiplicaciones.
Muy interesante el problema y lo que rodea a estos números. 1) Que es un polinomio (en ) de grado se obtiene del mismo modo que ya hiciéramos en https://gaussianos.com/fraccion-polinomica/ 2) Para el segundo apartado, por abreviar pongamos , y sea q potencia de un primo Si es linealmente independiente en , debe ser que no es combinación de las combinaciones posibles de . Es decir que dados , tenemos posibilidades para , y en consecuencia tenemos posibles sistemas de vectores lin. indep. Esto también nos dice que cada subespacio de con dimensión admite bases posibles. Dividiendo ambas expresiones obtenemos… Lee más »
Usando la propiedad de recurrencia que decía Naka Cristo, podemos sacar el desarrollo de
alrededor de 
y luego trasladarlo a 
.
Tenemos que
.
Para
, vamos a abreviar 
y 
. Entonces, de la recurrencia sale
Finalmente trasladamos a
:
Supongo que estoy matando moscas a cañonazos y que la respuesta puede darse de forma más cerrada, aunque vemos que para el caso
esta expresión se reduce a la que indiqué ayer.
Vengoroso: no has entendido mi objeción. Si desarrollas [n]! el objeto que obtienes NO es un q-entero.
Manuel, aunque hay que tener en cuenta lo que indicas, y yo no sea el más indicado para hablar sobre estos entes, su interés queda reflejada en muchos aspectos:
http://mathworld.wolfram.com/q-Analog.html
http://en.wikipedia.org/wiki/Field_with_one_element
Por cierto, hay una demo del q-triángulo de Pascal en
http://demonstrations.wolfram.com/QPascalTriangle/
Manuel, disculpa si no te entendí correctamente. Tienes razón en lo que dices, pero como dice M los q-enteros aparecen en muchos sitios (geometría en cuerpos finitos, problemas deformación-cuantización, cálculo umbral) y uno no puede ignorarlos sólo porque queden feos. Lo que me pareció curioso es que esta familia de polinomios tenga propiedades tan parecidas a las de los números combinatorios, como el q-análogo de la fórmula de Stiffel (la relación de recurrencia que prubea Naka Cristo). M, buena tú solución. Para el punto 3 yo no fui capaz de encontrar una fórmula cerrada. El coeficiente q-binomial se puede escribir… Lee más »
vengoroso, los además de ser el número de particiones de h en un máximo de k partes y cuya parte máxima es n-k, son tambien el numero de secuencias formadas por k unos y n-k ceros que tienen exactamente h inversiones. (Las dos cantidades cumplen la misma relación de recurrencia, deducida de la relacion de recurrencia entre los q-coeficientes) (Donde una inversión de una secuencia es un par (i,j) que cumple i < j y > ) De donde me parece que los coeficientes del polinomio expresado en términos de es el numero de secuencias de k unos y n-k… Lee más »
fede, creo que no he comprendido del todo lo que dices, pero si es verdad que hay una interpretación combinatoria de los coeficientes
sería muy interesante. ¿Podrías explicarlo con algo más de detalle?
¿Crees que se puede expresar eso de las «flechas» usando un grafo bipartito (uno de los lados representado los 0’s, el otro los 1’s) orientado?
No me expresé muy claramente…A ver ahora. Lo que quería decir es: Tomamos una secuencia, por ejemplo, de 5 ceros y 4 unos: 1 1 0 1 0 0 0 1 0 Por encima de la secuencia dibujamos 3 arcos diferentes que unan unos con ceros posteriores, por ejemplo uno que enlace (en el ejemplo) la posicion 2 con la 3, otro que enlace la posición 2 con la 5 y otro que enlace la 4 con la 6. Cada arco empieza en un uno y termina en un cero. Esta es una secuencia de 4 unos y 5 ceros… Lee más »
Si , (el sumatorio es en realidad un polinomio de grado k(n-k) ) de la relación $latex \begin{bmatrix} n \\ k \end{bmatrix} = \begin{bmatrix} n-1 \\ k \end{bmatrix} + q^{n-k}\begin{bmatrix} n-1 \\ k-1 \end{bmatrix} $ se deduce, comparando coeficientes, que . o, cambiando letras, . Si es el numero de secuencias de a unos y b ceros con exactamente n inversiones, , porque esas secuencias o empiezan por cero (y hay de estas, porque al quitar el cero inicial no quitamos ninguna inversión) o empiezan por uno (y hay de estas, porque al quitar el uno inicial quitamos tantas inversiones… Lee más »
El resultado anterior en términos de grafos:
cuenta el número de grafos bipartitos diferentes que se pueden formar de la siguiente forma:
} en dos conjuntos de vértices A y B con k y (n-k) elementos respectivamente.
aristas desde elementos de A a elementos de B con índice mayor.
– Dividimos el conjunto {
– Trazamos