Dado $ x_1,x_2, ..., x_n$ distintos real $N$ tuplas. Mostrar que existe una $N$ tupla $a$ tal que $(x_i . a)^n_{i=1}$ son todos distintos, donde . es el punto real del producto.
Pensamientos: he intentado probar el contrapositivo utilizando el principio del palomar y la no degeneración de el punto real del producto. Sin embargo, yo sólo era capaz de mostrar (wlog) que $x_1.a=x_2.a$ para infinidad de $a$. Pero esto no da $x_1=x_2$.
Un comentario en antecedentes:
Deje $H$ ser un diagonalisable operador en una real/complejo espacio vectorial $V$. Entonces sabemos que el $V=\oplus V_i $ donde $V_i$ es el subespacio propio correspondientes a distintos valores propios $\lambda_i$$H$. Que la suma es directa se basa en el hecho de que el $\lambda_i$'s son distintos.
En álgebras de Lie a menudo consideramos el eigen-descomposición de un espacio actúa no sólo uno diagonalisable operador $H$ pero por un espacio vectorial de las condiciones mutuamente desplazamientos diagonalisable operadores (el vector de espacio que tenemos en mente es la Cartan subalgebra). En esta situación, el análogo de subespacios propios son conocidos como el peso espacios y muestre su suma es directa, es suficiente para demostrar lo que he pedido.