Espacios vectoriales sobre cuerpos de característica igual a 2

Repasando la definición de espacio vectorial me asaltó la duda de si han de describirse siempre utilizando cuerpos de característica cero o  este no es un requisito imprescindible. Para llegar a una conclusión práctica me plantee un ejemplo: ¿qué pasaría si un grupo (E,+) se define como espacio vectorial sobre un cuerpo (K,+, ) de característica p =2. Pero antes de todo esto, ¿qué es la característica de un cuerpo y qué nos indica?. Vamos a intentar explicar estos conceptos. En primer lugar, un cuerpo es un conjunto K con dos operaciones que convenimos en llamar suma y multiplicación y en denotar con los símbolos usuales, respecto a las cuales cumple las condiciones siguientes:

a) (K,+) es un grupo conmutativo con neutro que denotamos como 0 (o sea cero) .

b) (K- \{0 \}, ) es un grupo cuyo elemento neutro denotamos por 1 (o sea uno).

c) El producto es distributivo respecto a la suma por ambos lados. Es decir, para cualesquiera x, y,z de K se cumple x(y+z) = xy+xz y también (x+y)z = xz+yz.

En el caso de que el grupo multiplicativo (K-\{0 \}, ) sea conmutativo se dice que el cuerpo es conmutativo.  Por la definición de cuerpo vemos que 0 \neq 1 ya que el neutro multiplicativo 1 pertenece a K- \{0 \}.  Ahora podemos considerar qué ocurre si sumamos el uno consigo mismo varias veces. Esto es, si n es un entero positivo, ¿cómo denotamos la suma

1+1+1+ \ldots +1, (n veces).

Pues la forma más sencilla es utilizar precisamente los enteros positivos. Así pues convenimos en que

1+1+1+ \ldots +1 = n \cdot 1.

Esto se puede generalizar para cualquier elemento de K. Así pues

x+x+x \ldots +x (n veces)  = n\cdot x.

Podemos probar fácilmente que si n,m son enteros positivos y x pertenece a K es

a) (n+m) x = nx +mx,

b) (nm)x = n(mx).

Obsérvese que hemos prescindido del punto siguiendo un abuso de notación que facilita la escritura y resulta “natural”. Llegados a este punto definimos la característica de car(K) mediante

car(K) = 0, si \{ n \in \mathbb{Z}^{+} : n 1 = 0 \} es vacío,

car(K) = \min \{ n \in \mathbb{Z}^{+} : n 1 = 0 \}, en otro caso.

Es decir, la característica es cero si la suma 1+1+ \ldots + 1 no da nunca cero para cualquier número n de sumandos y si la suma da cero para un número n de sumandos, se busca el menor p con esta propiedad y se dice que p es la característica. El principio de la buena ordenación garantiza la existencia de este mínimo.  Se puede probar fácilmente que la característica de un cuerpo ha de ser un número primo. Bastará utilizar la propiedad (b) y el hecho de que un cuerpo es un dominio de integridad (esto es, si un producto xy es nulo entonces algunoo ambos de sus factores x o y son nulos).

Ahora sea E un K-espacio vectorial y sea car(K) =2, entonces

1+1 = 0.

Pero como (\alpha + \beta)x = \alpha x + \beta x, 0 x = 01 x = x para cualesquiera \alpha, \beta de K y para cualquier x \in E, se tiene que

0 = 0x = (1+1) x = 1 x + 1 x = x +x.

Es decir

x+x = 0.

Esto significa que al sumar dos elementos iguales cualesquiera del grupo (E,+) se obtiene el cero, o lo que es lo mismo

x = -x

y cada elemento es su propio opuesto.  Esto es interesante pues nos lleva a considerar ciertas cuestiones de teoría de grupos (que no trataremos ahora).  Lo que está claro es que el comportamiento de este espacio vectorial resultaría cuando menos “extraño” pues se dan igualdades como

\lambda (x+x+x) = \lambda x.

Anuncios

2 comentarios en “Espacios vectoriales sobre cuerpos de característica igual a 2

  1. hmm… a ver si entendí. si K={0,1} y defino + sobre K como:
    0+0=0
    0+1=1+0=1
    1+1=0
    ¿es un grupo de característica 2? además, si defino * sobre K mediante: 0*0=0, 0*1=1, 1*1=1 ya tengo un espacio ¿vectorial? de característica 2 … siento que estoy pasando algo por alto

    • Creo que has cometido un pequeño error en las operaciones (en lugar de 0*1 =1, debería ser 0*1 = 0). De todas maneras, lo que estás describiendo es un cuerpo finito de característica dos considerado como espacio vectorial sobre sí mismo y sí, en efecto, este es un ejemplo de un espacio vectorial sobre un cuerpo de característica 2.

Responder a jocas16 Cancelar respuesta

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s