No hay nada malo con esas igualdades. De hecho, no es necesario suponer que [math] | x | <1 [/ math] para que se mantengan: son correctos como igualdades entre series de poder formales.
Esto no significa que esas sean igualdades significativas cuando [matemáticas] x = 23 [/ matemáticas], solo significa que son igualdades significativas y correctas cuando [matemáticas] x [/ matemáticas] se ve como una variable formal, no un puntero a algún número particular.
Las series de potencias formales son una herramienta tremendamente útil en combinatoria, teoría de números, análisis y otras partes de las matemáticas. Cualquier igualdad que se demuestre que existe entre ellos también es cierta cuando los números reales son sustituidos por la variable, siempre que las series resultantes converjan en cualquier sentido de convergencia aplicable.
- ¿Se ha cambiado la tasa de descubrimientos matemáticos?
- ¿Alguien podría construir un sistema matemático completamente nuevo?
- ¿Qué significa que el sonido sea logarítmico?
- ¿Un teorema matemático nos dice algo sobre el mundo?
- ¿Puede una relación ser transitiva con un solo par ordenado?
Por ejemplo, la igualdad
[matemáticas] \ displaystyle \ sum_ {n = 0} ^ \ infty x ^ n = \ frac {1} {1-x} [/ matemáticas]
Se puede interpretar como una igualdad entre números reales cuando [matemática] x = 1/2 [/ matemática], o entre números complejos cuando [matemática] x = \ frac {1 + i} {7} [/ matemática], o entre [matemáticas] 2 [/ matemáticas] -números adicos cuando [matemáticas] x = 2 [/ matemáticas]. Si, obtienes
[matemáticas] 1 + 2 + 4 + 8 + 16 + \ ldots = -1 [/ matemáticas]
Esto no es cierto como una igualdad entre enteros o números reales, pero es cierto en un campo llamado [math] 2 [/ math] -adic números, denotado [math] \ mathbb {Q} _2 [/ math]. En este campo, las altas potencias de [math] 2 [/ math] se consideran pequeñas, por lo que la serie converge y su suma es [math] -1 [/ math].