Retículo generado por un conjunto de vectores

 Sea $B=\{\vec{b_1},...,\vec{b_m}\} \subset \mathbb{R}^n$ un subconjunto de vectores linealmente independientes.

Llamamos $\varLambda(B)$ al conjunto de TODAS las combinaciones lineales ENTERAS de los elementos de $B$.

$$ \varLambda(B) = \{  \sum_{i=1}^{m}z_i·\vec{b_i} \mid z_i \in \mathbb{Z} \}$$

$\varLambda(B)$ es un retículo sobre $\mathbb{R}^n$.

• Dado que los coeficientes de la combinación lineal son enteros y $B$ es finito, el conjunto $\varLambda(B)$ es discreto.
• Si todos los coeficientes enteros de la combinación lineal son 0, el resultado es el vector $\vec{0}$. Por tanto, $\vec{0} \in \varLambda(B)$.
• Queda por ver que es un conjunto cerrado respecto a la suma y el opuesto. Para ello verificaremos que si $\vec{u},\vec{v} \in \varLambda(B)$, entonces $\vec{u}-\vec{v} \in \varLambda(B)$. Como la resta de coeficientes enteros también es un número entero se cumple este requisito:

$$ \vec{u} \in \varLambda(B) \Rightarrow \exists \{j_1, ..., j_m\} \subset \mathbb{Z} \mid \vec{u}=\sum_{i=1}^{m}j_i·\vec{b_i} $$

$$ \vec{v} \in \varLambda(B) \Rightarrow \exists \{k_1, ..., k_m\} \subset \mathbb{Z} \mid \vec{v}=\sum_{i=1}^{m}k_i·\vec{b_i} $$

$$ \vec{u} - \vec{v} = \sum_{i=1}^{m}j_i·\vec{b_i} -  \sum_{i=1}^{m}k_i·\vec{b_i} = \sum_{i=1}^{m}(j_i-k_i)·\vec{b_i} \xrightarrow{j_i-k_i \in \mathbb{Z}} \vec{u} - \vec{v} \in  \varLambda(B)$$

En este contexto, diremos que $B$ es una base del retículo $\varLambda(B)$.

Si utilizamos la notación matricial para $B=\{\vec{b_1},...,\vec{b_m}\}$:

$$B= \begin{pmatrix}b_{1,1} & \cdots & b_{m,1}\\ \vdots & \ddots & \vdots \\b_{1,n} & \cdots & b_{m,n}\end{pmatrix}$$

puede expresarse el retículo de la siguiente manera:

$$\varLambda(B) = B · \pmatrix{z_1 \\ \vdots \\ z_m} = B · \mathbb{Z}^m$$

¡OJO! Hemos optado por poner los vectores como columnas de la matriz. También es habitual ponerlos como filas por lo que hay que estar atentos a este hecho para ser coherente con las operaciones posteriores.

Ejemplo de retículo generado por un conjunto de vectores.

Sea $B = \{ (5, 3), (5, 0) \}$. Equivalentemente en notación matricial $B = \pmatrix{5 && 5 \\ 3 && 0}$.

Lo vectores son linealmente independientes: geométricamente se ve que no tienen la misma dirección y algebraicamente puede comprobarse que $Rango(B)=2$.

Teniendo en cuenta lo que se mostró en una entrada anterior sobre la combinación lineal de vectores y que los coeficientes de la combinación lineal son enteros, los vectores serán el resultado de "doblar", "triplicar", etc. los vectores originales y/o "darles la vuelta" y, en su caso, hacer diagonales.

En la siguiente imagen pueden verse algunos ejemplos sencillos:

$-\vec{u}, -\vec{v}, 2·\vec{u}, 2·\vec{u}, \vec{u} + \vec{v}, \vec{u} - \vec{v}, \vec{v} - \vec{u}, 2 · \vec{u} - \vec{v}, 2 · \vec{v} - \vec{u}$

Si seguimos realizando combinaciones lineales enteras, quitamos los vectores y representamos únicamente el punto final de los mismos nos queda la siguiente representación del retículo generado por esos vectores:

Que es exactamente el mismo retículo que pusimos como segundo ejemplo en la entrada anterior.

Y es exactamente el mismo retículo que generaría el conjunto $C = \{(0,3), (5,0)\}$ o el conjunto $D = \{(-5,3), (0,-3)\}$.

Como insertar LaTeX en Blogger (o en cualquier blog con HTML)

Llevo años con la tarea pendiente de mirar cómo introducir código LaTeX en las entradas de este blog (Blogger).

• Poner el editor en modo HTML

• Insertar al principio las siguientes líneas para utilizar el script de MathJax:

<script>
window.MathJax = {
   tex: {
    inlineMath: [
      ['$', '$'],
      ['\\(', '\\)']
    ],
    displayMath: [
      ['$$', '$$'],
      ['\\[', '\\]']
    ],
    processEscapes: true
  }
};
</script>

<script async
src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
</script>

• Ahora para insertar código LaTeX integrado en el texto de entradas del blog podemos utilizar \\( fórmula \\) o \$ fórmula \$. Puede hacerse desde el editor en vista de redacción si se desea.

Por ejemplo: $a^2+b^2=c^2$.

• Si lo que quiere es destacar una fórmula separada del texto y centrada utilizaremos \\[ fórmula \\] o \$\$ fórmula \$\$. Puede hacerse desde el editor en vista de redacción si se desea.

Por ejemplo: $$a^2+b^2=c^2$$

Importante tener en cuenta:

• Los delimitadores a utilizar se pueden cambiar por otros en los apartados de inlineMath y displayMath de la cabecera HTML que hemos puesto.
• Una vez definidos hay que tener cuidado porque esos símbolos dejan de interpretarse como caracteres de texto. Por ejemplo, si quiero escribir que una compra me ha costado 43\$ tengo que escribir en la entrada del blog \\$ en lugar de \$ porque MathJax lo interpretará como que estamos abriendo un delimitador de fórmula.
• En ocasiones, el editor en vista de redacción de Blogger añade cosas como <span></span> al texto y hace que no se interpreten las fórmulas. También podemos tener problemas si hay negritas o cursivas. Hay que revisar que se visualizan y si no es así entrar en el editor en modo HTML para quitar lo que sobre.

Si utilizamos pocas veces LaTeX está bien el proceso anterior, pero si lo usamos constantemente podemos editar la plantilla HTML del tema que tenemos en Blogger para no tener que añadir las líneas del script cada vez.

Y añadimos las líneas de código dentro del <head> </head> (por ejemplo después de la línea de <title></title>).

A partir de ahora ya no tengo excusa y escribiré como toca las expresiones algebraicas 😁

Retículos sobre espacios euclídeos $\mathbb{R}^n$

 Un retículo (lattice) sobre un espacio euclídeo $\mathbb{R}^n$ es un subgrupo discreto de $\mathbb{R}^n$.

Dicho de otra manera, un retículo es un subconjunto no vacío de vectores de $\mathbb{R}^n$ que cumplen:

• Conjunto discreto. Intuitivamente podemos decir que puede hallarse una distancia mínima que cumplen TODOS los pares de vectores (no hay continuidad).
• Contiene el elemento neutro (el vector $\vec{0}$).
• Cerrado respecto a la suma. Es decir, si dos vectores ($\vec{u}$ y $\vec{v}$) pertenecen al retículo, entonces el resultado de su suma ($\vec{u} + \vec{v}$) también debe pertenecer al retículo.
• Cerrado respecto al opuesto. Es decir, si un vector ($\vec{u}$) pertenece al retículo, entonces su opuesto ($-\vec{u}$) también debe pertenecer al retículo.

Por ejemplo, sobre $\mathbb{R}^2$, los vectores del tipo (2·m, 0) con m entero (vectores con final en el eje X con coordenada x par) forman un retículo.

Representación de algunos vectores del primer retículo

Otro ejemplo sobre $\mathbb{R}^2$ son los vectores de la forma (5·a, 3·b) con a y b enteros.

Representación de algunos vectores del segundo retículo

Estas representaciones, aún siendo parciales, pueden llegar a ser bastante densas así que no representaremos los vectores completos sino únicamente el punto final al que apuntan. Si hacemos esto se observa que se forma una especie de red/malla/retículo.

Puntos finales de los vectores del primer retículo

Puntos finales de los vectores del segundo retículo

 Dichas mallas forma "trozos".

Los trozos que se forman en el primer retículo son segmentos de una recta (eje X)

 

Los "trozos" que se forman en el segundo retículo son rectángulos.

Si los "trozos" llenan todo el espacio decimos que el retículo es completo (de rango completo).

Sobre $\mathbb{R}^2$ el primer retículo no es completo porque no cubre todo el plano, pero el segundo retículo sí.