numero betti

Aproximadamente, el número de agujeros de k dimensiones en una superficie topológica

En topología algebraica , los números de Betti se utilizan para distinguir espacios topológicos basados ​​en la conectividad de complejos simpliciales n -dimensionales . Para los espacios de dimensión finita más razonables (como variedades compactas , complejos simpliciales finitos o complejos CW ), la secuencia de números de Betti es 0 desde algún punto en adelante (los números de Betti desaparecen por encima de la dimensión de un espacio), y todos son finitos. .

El n.ésimo número de Betti representa el _rango ^del n.ésimo grupo de homología ^, denotado Hn , que nos indica el número máximo de cortes que se pueden realizar antes de separar una superficie en dos piezas o 0 ciclos, 1 ciclos, ^{etc. 1]} Por ejemplo, si entonces , si entonces , si entonces , si entonces , etc. Tenga en cuenta que solo se consideran los rangos de grupos infinitos, por lo que, por ejemplo, si , donde está el grupo cíclico finito de orden 2, entonces . Estos componentes finitos de los grupos de homología son sus subgrupos de torsión y se denotan mediante coeficientes de torsión . ${\displaystyle H_{n}(X)\cong 0}$ ${\displaystyle b_{n}(X)=0}$ ${\displaystyle H_{n}(X)\cong \mathbb {Z} }$ ${\displaystyle b_{n}(X)=1}$ ${\displaystyle H_{n}(X)\cong \mathbb {Z} \oplus \mathbb {Z} }$ ${\displaystyle b_{n}(X)=2}$ ${\displaystyle H_{n}(X)\cong \mathbb {Z} \oplus \mathbb {Z} \oplus \mathbb {Z} }$ ${\displaystyle b_{n}(X)=3}$ ${\displaystyle H_{n}(X)\cong \mathbb {Z} ^{k}\oplus \mathbb {Z} /(2)}$ ${\displaystyle \mathbb {Z} /(2)}$ ${\displaystyle b_{n}(X)=k}$

El término "números de Betti" fue acuñado por Henri Poincaré en honor a Enrico Betti . La formulación moderna se debe a Emmy Noether . Los números de Betti se utilizan hoy en día en campos como la homología simple , la informática y las imágenes digitales .

Interpretación geométrica

Para un toro, el primer número de Betti es b ₁ = 2, que intuitivamente puede considerarse como el número de "agujeros" circulares.

De manera informal, el k ésimo número de Betti se refiere al número de agujeros de k dimensiones en una superficie topológica. Un " agujero de k dimensiones " es un ciclo de k dimensiones que no es un límite de un objeto de ( k +1) dimensiones.

Los primeros números de Betti tienen las siguientes definiciones para complejos simpliciales de 0, 1 y 2 dimensiones :

• b ₀ es el número de componentes conectados;
• b ₁ es el número de agujeros unidimensionales o "circulares";
• b ₂ es el número de "huecos" o "cavidades" bidimensionales.

Así, por ejemplo, un toro tiene un componente de superficie conectado, por lo que b ₀ = 1, dos agujeros "circulares" (uno ecuatorial y otro meridional ), por lo que b ₁ = 2, y una única cavidad encerrada dentro de la superficie, por lo que b ₂ = 1.

Otra interpretación de b _k es el número máximo de curvas k -dimensionales que se pueden eliminar mientras el objeto permanece conectado. Por ejemplo, el toro permanece conectado después de eliminar dos curvas unidimensionales (ecuatorial y meridional), por lo que b ₁ = 2. ^[2]

Los números de Betti bidimensionales son más fáciles de entender porque podemos ver el mundo en 0, 1, 2 y 3 dimensiones.

Definicion formal

Para un entero  no negativo k , el k -ésimo número de Betti b _k ( X ) del espacio X se define como el rango (número de generadores linealmente independientes) del grupo abeliano H _k ( X ), el k- ésimo grupo de homología de  X . El k -ésimo grupo de homología es , los s son los mapas de límites del complejo simplicial y el rango de H _k es el k -ésimo número de Betti. De manera equivalente, se puede definir como la dimensión del espacio vectorial de H _k ( X ;  Q ) ya que el grupo de homología en este caso es un espacio vectorial sobre  Q . El teorema del coeficiente universal , en un caso muy simple sin torsión, muestra que estas definiciones son las mismas. ${\displaystyle H_{k}=\ker \delta _{k}/\operatorname {Im} \delta _{k+1}}$ ${\displaystyle \delta _{k}}$

De manera más general, dado un campo F , se puede definir b _k ( X ,  F ), el késimo número de Betti con coeficientes en F , como la dimensión del espacio vectorial de H _k ( X ,  F ).

polinomio de Poincaré

El polinomio de Poincaré de una superficie se define como la función generadora de sus números de Betti. Por ejemplo, los números de Betti del toro son 1, 2 y 1; por tanto, su polinomio de Poincaré es . La misma definición se aplica a cualquier espacio topológico que tenga una homología generada de forma finita. ${\displaystyle 1+2x+x^{2}}$

Dado un espacio topológico que tiene una homología generada finitamente, el polinomio de Poincaré se define como la función generadora de sus números de Betti, a través del polinomio donde el coeficiente de es . ${\displaystyle x^{n}}$ ${\displaystyle b_{n}}$

Ejemplos

Números de Betti de una gráfica.

Considere un gráfico topológico G en el que el conjunto de vértices es V , el conjunto de aristas es E y el conjunto de componentes conectados es C. Como se explica en la página sobre homología de gráficos , sus grupos de homología vienen dados por:

${\displaystyle H_{k}(G)={\begin{cases}\mathbb {Z} ^{|C|}&k=0\\\mathbb {Z} ^{|E|+|C|-|V|}&k=1\\\{0\}&{\text{otherwise}}\end{cases}}}$

Esto puede demostrarse directamente mediante inducción matemática del número de aristas. Un nuevo borde incrementa el número de ciclos 1 o disminuye el número de componentes conectados.

Por lo tanto, el número de Betti "ceroésimo" b ₀ ( G ) es igual a | C |, que es simplemente el número de componentes conectados. ^[3]

El primer número de Betti b ₁ ( G ) es igual a | mi | + | C | - | V |. También se le llama número ciclomático , término introducido por Gustav Kirchhoff antes del artículo de Betti. ^[4] Véase complejidad ciclomática para una aplicación a la ingeniería de software .

Todos los demás números de Betti son 0.

Números de Betti de un complejo simplicial

Considere un complejo simplicial con 0-símplices: a, b, cyd, 1-símplices: E, F, G, H e I, y el único 2-símplex es J, que es la región sombreada en la figura. Hay un componente conectado en esta figura ( b ₀ ); un agujero, que es la región no sombreada ( b ₁ ); y sin "huecos" o "cavidades" ( b ₂ ).

Esto significa que el rango de es 1, el rango de es 1 y el rango de es 0. ${\displaystyle H_{0}}$ ${\displaystyle H_{1}}$ ${\displaystyle H_{2}}$

La secuencia numérica de Betti para esta figura es 1, 1, 0, 0,...; el polinomio de Poincaré es . ${\displaystyle 1+x\,}$

Números de Betti del plano proyectivo.

Los grupos de homología del plano proyectivo P son: ^[5]

${\displaystyle H_{k}(P)={\begin{cases}\mathbb {Z} &k=0\\\mathbb {Z} _{2}&k=1\\\{0\}&{\text{otherwise}}\end{cases}}}$

Aquí, Z ₂ es el grupo cíclico de orden 2. El número 0 de Betti es nuevamente 1. Sin embargo, el primer número de Betti es 0. Esto se debe a que H ₁ ( P ) es un grupo finito: no tiene cualquier componente infinito. La componente finita del grupo se llama coeficiente de torsión de P. Los números de Betti (racionales) b _k ( X ) no tienen en cuenta ninguna torsión en los grupos de homología, pero son invariantes topológicos básicos muy útiles. En los términos más intuitivos, permiten contar el número de agujeros de diferentes dimensiones.

Propiedades

característica de euler

Para un complejo CW finito K tenemos

${\displaystyle \chi (K)=\sum _{i=0}^{\infty }(-1)^{i}b_{i}(K,F),\,}$

donde denota la característica de Euler de K y cualquier campo  F. ${\displaystyle \chi (K)}$

producto cartesiano

Para dos espacios cualesquiera X e Y tenemos

${\displaystyle P_{X\times Y}=P_{X}P_{Y},}$

donde denota el polinomio de Poincaré de X (más generalmente, la serie de Hilbert-Poincaré , para espacios de dimensión infinita), es decir, la función generadora de los números de Betti de X : ${\displaystyle P_{X}}$

${\displaystyle P_{X}(z)=b_{0}(X)+b_{1}(X)z+b_{2}(X)z^{2}+\cdots ,\,\!}$

ver teorema de Künneth .

Simetría

Si X es una variedad de n dimensiones, hay simetría intercambiando y , para cualquier : ${\displaystyle k}$ ${\displaystyle n-k}$ ${\displaystyle k}$

${\displaystyle b_{k}(X)=b_{n-k}(X),}$

bajo condiciones (una variedad cerrada y orientada ); ver dualidad de Poincaré .

Diferentes coeficientes

La dependencia del campo F es sólo a través de su característica . Si los grupos de homología no tienen torsión , los números de Betti son independientes de F. La conexión de p -torsión y el número de Betti para la característica  p , para p un número primo, se da en detalle mediante el teorema del coeficiente universal (basado en los funtores Tor , pero en un caso simple).

Más ejemplos

1. La secuencia numérica de Betti para un círculo es 1, 1, 0, 0, 0,...;

   el polinomio de Poincaré es

   ${\displaystyle 1+x\,}$.

2. La secuencia numérica de Betti para un toro de tres es 1, 3, 3, 1, 0, 0, 0, ....

   el polinomio de Poincaré es

   ${\displaystyle (1+x)^{3}=1+3x+3x^{2}+x^{3}\,}$.

3. De manera similar, para un n - toro ,

   el polinomio de Poincaré es

   ${\displaystyle (1+x)^{n}\,}$(por el teorema de Künneth ), por lo que los números de Betti son los coeficientes binomiales .

Es posible que los espacios que son de dimensión infinita de manera esencial tengan una secuencia infinita de números de Betti distintos de cero. Un ejemplo es el espacio proyectivo complejo de dimensión infinita , con secuencia 1, 0, 1, 0, 1,... es decir periódico, con longitud de período 2. En este caso la función de Poincaré no es un polinomio sino una serie infinita.

${\displaystyle 1+x^{2}+x^{4}+\dotsb }$,

que al ser una serie geométrica se puede expresar como la función racional

${\displaystyle {\frac {1}{1-x^{2}}}.}$

De manera más general, cualquier secuencia que sea periódica se puede expresar como una suma de series geométricas, generalizando lo anterior. Por ejemplo tiene la función generadora. ${\displaystyle a,b,c,a,b,c,\dots ,}$

${\displaystyle \left(a+bx+cx^{2}\right)/\left(1-x^{3}\right)\,}$

y de manera más general, las secuencias recursivas lineales son exactamente las secuencias generadas por funciones racionales ; por tanto, la serie de Poincaré se puede expresar como una función racional si y sólo si la secuencia de números de Betti es una secuencia recursiva lineal.

Los polinomios de Poincaré de los grupos de Lie simples compactos son:

${\displaystyle {\begin{aligned}P_{SU(n+1)}(x)&=\left(1+x^{3}\right)\left(1+x^{5}\right)\cdots \left(1+x^{2n+1}\right)\\P_{SO(2n+1)}(x)&=\left(1+x^{3}\right)\left(1+x^{7}\right)\cdots \left(1+x^{4n-1}\right)\\P_{Sp(n)}(x)&=\left(1+x^{3}\right)\left(1+x^{7}\right)\cdots \left(1+x^{4n-1}\right)\\P_{SO(2n)}(x)&=\left(1+x^{2n-1}\right)\left(1+x^{3}\right)\left(1+x^{7}\right)\cdots \left(1+x^{4n-5}\right)\\P_{G_{2}}(x)&=\left(1+x^{3}\right)\left(1+x^{11}\right)\\P_{F_{4}}(x)&=\left(1+x^{3}\right)\left(1+x^{11}\right)\left(1+x^{15}\right)\left(1+x^{23}\right)\\P_{E_{6}}(x)&=\left(1+x^{3}\right)\left(1+x^{9}\right)\left(1+x^{11}\right)\left(1+x^{15}\right)\left(1+x^{17}\right)\left(1+x^{23}\right)\\P_{E_{7}}(x)&=\left(1+x^{3}\right)\left(1+x^{11}\right)\left(1+x^{15}\right)\left(1+x^{19}\right)\left(1+x^{23}\right)\left(1+x^{27}\right)\left(1+x^{35}\right)\\P_{E_{8}}(x)&=\left(1+x^{3}\right)\left(1+x^{15}\right)\left(1+x^{23}\right)\left(1+x^{27}\right)\left(1+x^{35}\right)\left(1+x^{39}\right)\left(1+x^{47}\right)\left(1+x^{59}\right)\end{aligned}}}$

Relación con dimensiones de espacios de formas diferenciales

En situaciones geométricas en las que se trata de una variedad cerrada , la importancia de los números de Betti puede surgir de una dirección diferente, es decir, que predicen las dimensiones de espacios vectoriales de formas diferenciales cerradas módulo de formas diferenciales exactas . La conexión con la definición dada anteriormente se produce a través de tres resultados básicos, el teorema de De Rham y la dualidad de Poincaré (cuando corresponda), y el teorema del coeficiente universal de la teoría de la homología . ${\displaystyle X}$

Hay una lectura alternativa, a saber, que los números de Betti dan las dimensiones de espacios de formas armónicas . Esto requiere el uso de algunos de los resultados de la teoría de Hodge sobre el laplaciano de Hodge .

En este contexto, la teoría de Morse proporciona un conjunto de desigualdades para sumas alternas de números de Betti en términos de una suma alterna correspondiente del número de puntos críticos de una función Morse de un índice dado : ${\displaystyle N_{i}}$

${\displaystyle b_{i}(X)-b_{i-1}(X)+\cdots \leq N_{i}-N_{i-1}+\cdots .}$

Edward Witten dio una explicación de estas desigualdades utilizando la función Morse para modificar la derivada exterior en el complejo de De Rham . ^[6]

Ver también

• Análisis de datos topológicos.
• Coeficiente de torsión
• característica de euler

Referencias

1. Barile y Weisstein, Margherita y Eric. "Número Betti". De MathWorld: un recurso web de Wolfram.
2. Archivado en Ghostarchive y Wayback Machine: Albin, Pierre (2019). "Historia de la topología algebraica". YouTube .
3. Por Hage (1996). Redes insulares: estructuras de comunicación, parentesco y clasificación en Oceanía. Prensa de la Universidad de Cambridge. pag. 49.ISBN​ 978-0-521-55232-5.
4. Peter Robert Kotiuga (2010). Una celebración del legado matemático de Raoul Bott. Sociedad Matemática Estadounidense. pag. 20.ISBN​ 978-0-8218-8381-5.
5. Archivado en Ghostarchive y Wayback Machine: Wildberger, Norman J. (2012). "Complejos delta, números de Betti y torsión". YouTube .
6. Witten, Edward (1982), "Supersimetría y teoría de Morse", Journal of Differential Geometry , 17 (4): 661–692, doi : 10.4310/jdg/1214437492

• Warner, Frank Wilson (1983), Fundamentos de variedades diferenciables y grupos de Lie , Nueva York: Springer, ISBN 0-387-90894-3.
• Roe, John (1998), Operadores elípticos, topología y métodos asintóticos , Serie Research Notes in Mathematics, vol. 395 (Segunda ed.), Boca Ratón, FL: Chapman y Hall, ISBN 0-582-32502-1.