Saltar al contenido principal

# 1.6: El grupo unimodular SL (n, R) y la invarianza de volumen

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Es bien sabido que el volumen de un paralelepípedo abarcado por vectores linealmente independientes viene dado por el determinante de los componentes del vector. Por lo tanto, es evidente que una transformación con una matriz unimodular deja esta expresión para el volumen invariante.

Sin embargo, la situación tiene algunos aspectos sutiles que exigen un examen más detallado. Si bien el cálculo de volumen y área se encuentra entre los procedimientos estándar de geometría, esto generalmente se lleva a cabo en espacios métricos, en los que la longitud y el ángulo tienen su conocido significado euclidiano. Sin embargo, esta es una suposición demasiado restrictiva, y la fórmula determinantal puede justificarse también dentro de la geometría afín sin usar conceptos métricos.

Dado que en repetidas ocasiones nos encontraremos con tales situaciones, explicamos brevemente la idea subyacente para el caso de áreas en un espacio vectorial bidimensional$$\mathcal{V}(2, R)$$.

1. El área es una cantidad aditiva: el área de una figura es igual a la suma de las áreas de sus partes.
2. Las cifras traslacionalmente congruentes tienen áreas iguales.

(El punto es que la congruencia euclidiana 'implica también congruencia rotacional, que no está disponible para nosotros debido a la ausencia de métrica).

Procedemos ahora en pasos sucesivos como se muestra en la Figura 1.2.

Figura 1.2: Congruencia traslacional y área igual.

Considerar al principio los vectores

$$\vec{x} = x^{1} \vec{e}_{1}$$

$$\vec{y} = y^{2} \vec{e}_{2}$$

donde las coordenadas son números enteros (Figura 1.2a). El área relativa a la celda unitaria se obtiene a través del simple conteo como$$x^{1}y^{2}$$. El mismo resultado puede justificarse para cualquier valor real para las coordenadas por subdivisión y un proceso limitante.

Se nos permite escribir este resultado en forma determinantal:

$\begin{array}{c} {x^{1}y^{2} = \begin{vmatrix} {x^1}&{0}\\ {0}&{y^2} \end{vmatrix}} \end{array}$

Si los vectores

$\vec{x} = x^{1} \vec{e}_{1}+x^{2} \vec{e}_{2}$

$\vec{y} = y^{1} \vec{e}_{1}+y^{2} \vec{e}_{2}$

no coinciden con los ejes de coordenadas, la coincidencia se puede lograr en no más de dos pasos (Figuras 1.2b y 1.2c) utilizando la congruencia traslacional de los paralelogramos$$(0123) (012’3’) (012”3’)$$.

Por un argumento geométrico elemental se concluye a partir de aquí que el área abarcada por$$\vec{x}$$ y$$\vec{y}$$ es igual al área abarcada por$$\hat{e}_{1}$$ y$$\hat{e}_{2}$$ multiplicada por el determinante

$\begin{array}{c} {\begin{vmatrix} {x^1}&{x^2}\\ {y^1}&{y^2} \end{vmatrix}} \end{array}$

Este resultado puede justificarse también de una manera más elegante: Las operaciones geométricas en las figuras b y c consisten en sumar el múltiplo del vector$$\vec{y}$$ al vector$$\vec{x}$$, o agregar el múltiplo de la segunda fila del determinante a la primera fila, y sabemos que tales operaciones dejan el valor del determinante sin cambios.

La conexión entre determinante y área puede generalizarse a tres y más dimensiones, aunque el argumento geométrico directo se volvería cada vez más engorroso.

Este defecto será remediado de manera más efectiva en términos del álgebra de Grassmann que se desarrollará en el Capítulo VII.

This page titled 1.6: El grupo unimodular SL (n, R) y la invarianza de volumen is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by László Tisza (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.