10 votos

Es posible hacer el cálculo en cualquier campo con una topología?

Voy a tratar de hacer mi punto claro: cuando consideramos el campo de los números complejos $\mathbb{C}$ podemos hacer cálculos porque nos tienen propiedades de un campo y en el mismo tiempo tenemos una topología para definir los límites. Por lo tanto, tenemos una métrica dada por la norma y así se puede construir una base para una topología utilizando este indicador y todo funciona bien. Desde $\mathbb{C}$ es un campo, entonces podemos definir funciones algebraicas como $f : \mathbb{C}\to \mathbb{C}$ $f(z)=z^k$ y las propiedades de campo junto con la definición de límite implica que podemos definir un derivado $f'(z)=kz^{k-1}$.

La integración parece más complicado y requiere más de estructura, porque integramos formas diferenciales, así que debe ser capaz de hablar acerca de ellos. Mi pregunta es: si $F$ es cualquier campo y si $\tau$ es una topología en $F$, podemos definir un cálculo diferencial tal y como hacemos con $\mathbb{R}$$\mathbb{C}$? Mi pensamiento era que el único requisito era que la necesitamos una métrica y que $(F,d)$ debe ser completa, pero puedo estar totalmente equivocado.

Sólo es posible hacer el cálculo diferencial como hacemos con los $\mathbb{C}$ $\mathbb{C}$ $\mathbb{R}$ en cualquier campo dotado de una métrica o esto sólo funciona en los dos campos específicos?

Muchas gracias de antemano!

1voto

plusepsilon.de Puntos 2689

Cada localmente compacto grupo tiene una medida de Haar (único hasta un escalar). Esto proporciona una buena teoría de la integración. Localmente compacto también es necesario para esto, creo.

Una teoría de los derivados no podría existir, por ejemplo, para $\mathbb{Q}_p$ suavidad es un concepto banal (=localmente constante).

Algunas funciones especiales con una representación integral como el $\Gamma$-la función del sentido por ejemplo, para $\mathbb{Q}_p$.

El radio de convergencia de potencia de la serie se comporta extraño para $\mathbb{Q}_p$. Creo que la función exponencial se ha finito radio de convergencia.

Por cierto, todos localmente compacto, no discreto campos han sido clasificadas. Ver http://en.wikipedia.org/wiki/Local_field

  • finito extensiones de $\mathbb{Q}_p$

  • el campo formal de la serie de Laurent $F_q((T))$ sobre un campo finito $F_q$

  • $\mathbb{R}$ $\mathbb{C}$

Todos ellos están equipados con un valor absoluto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X