Coeficiente binomial gaussiano

En matemáticas, los coeficientes binomiales gaussianos (también llamados coeficientes gaussianos, polinomios gaussianos, o coeficientes q-binomiales) son q-análogos de los coeficientes binomiales. El coeficiente gaussiano binomial, escrito como

ó ,

es un polinomio en q con coeficientes enteros, cuyos valores cuando q es tomada como una potencia prima cuenta el número de subespacios de dimensión k en un espacio vectorial de dimensión n sobre un cuerpo finito con q elementos.

Definiciones

editar

Los coeficientes binomiales gaussianos se define como:[1]

 

donde m y r son enteros no negativos. Si r > m, se evalúa a 0. Para r = 0, el valor es 1 puesto que el numerador y el denominador son productos vacíos.

Aunque la fórmula en principio parecer ser una función racional, en realidad es un polinomio, puesto que la división es exacta en Z[q]

Todos los factores en el numerador y el denominador son divisibles por 1 − q, y el cocientes es el q-número:

 

Dividiendo estos factores da la fórmula equivalente

 

En términos del q factorial  , la fórmula puede ser expresada como

 

Sustituyendo q = 1 en   se obtiene el coeficiente binomial ordinario  .

El coeficiente binomial gaussiano tiene valores finitos como  :

 

Ejemplos

editar
 
 
 
 
 
 
 

Propiedades

editar

Reflexión

editar

Como ocurre en el coeficientes binomiales ordinarios, los coeficientes binomiales gaussianos tienen simetría central, i.e., son invariantes bajo la reflexión  :

 

en particular,

 
 

Límite cuando q = 1

editar

La evaluación de un coeficiente binomial gaussiano cuando q = 1 es

 

i.e. la suma de los coeficientes da el corresponiente valor binomial.

Análogos de la identidad de Pascal

editar

Los análogos de la identidad de Pascal para los coeficientes binomiales gaussianos son:[1]

 

y

 

Cuando  , these ambos dan la identidad binomial usual. Se puede ver que cuando  , ambas ecuaciones continúan siendo válidas.

El primer análogo de Pascal permite el cálculo recursivo de los coeficientes binomiales gaussianos (con respecto a m ) usando los valores iniciales

 

y también muestra que los coeficientes binomiales de Gauss son de hecho polinomios (en q).

El segundo análogo de Pascal se sigue del primero usando la sustitución   y de la invarianza de los coeficientes binomiales gaussianos bajo la reflexión  .

Demostraciones de los análagos

editar

Ambos análogos pueden probarse observando primero que a partir de la definición de  , se tiene que:

 
 
 

como

 

[1] se convierte en:

 

y sustituyendo en [3] se obtiene el primer análogo.

En un proceso similar, usando

 

en vez del anterior, se obtiene el segundo análogo.

Teorema q-binomial

editar

Hay una análogo del teorema binomial para coeficientes q-binomiales:

 

Al igual que el teorema del binomio habitual, esta fórmula tiene numerosas generalizaciones y extensiones; una de ellas, correspondiente al teorema binomial generalizado de Newton para potencias negativas, es

 

En el límite  , estas fórmulas dan

 

y

 .

Tomando   se obtienen las funciones generadoras para distintas partes y cualquier parte respectivamente.

Identidad q-binomial central

editar

Con los coeficientes binomiales ordinarios, se tiene que:

 

Con los coeficientes q-binomiales, el análogo es:

 

Referencias

editar
  1. a b Mukhin, Eugene, chapter 3

Bibliografía

editar

Enlaces externos

editar