Maximum number of vectors with pairwise negative inner product Let $V$ be a vector space with positive-definite inner product 
$$\langle \cdot, \cdot \rangle: V \times V \to \mathbb{R}.$$
Let $\dim V = n$, $n \in \mathbb{Z}$. What is the largest number $m$, such that there exist $v_1, \dots, v_m \in V$ such that $\langle v_i, v_j\rangle < 0$ for all $i \neq j$?
I know that answer is $n + 1$ if $V$ is $\mathbb{R}^n$ with standard inner product. Here is the proof:
https://mathoverflow.net/questions/31436/largest-number-of-vectors-with-pairwise-negative-dot-product
What if $V$ is arbitrary? For example, let $V$ be a space of polynomials with degree at most $k$ and define inner product by
$$\langle p, q \rangle = \int_0^1 p(x)q(x)dx.$$
 A: If you have a positive-definiteness condition on your inner product, then the answer is the same for any $n$-dimensional real vector space (with $n$ finite). You can see this by choosing an orthonormal basis for $V$ and mapping it to the standard basis in $\Bbb R^n$, extending this map linearly; the two are then isomorphic as inner product spaces.
If you relax positive-definiteness then the answer depends on the signature of the inner product, and can be infinite. For example, in Minkowski space you can have vectors such that $\langle v,v\rangle <0$. For such a $v$, every element of the set $\{\lambda v\}$ with $\lambda>0$ has negative inner product with every other element of the set.
A: The space of polynomials is infinite-dimensional. So we can choose a sequence of polynomials $p_1,p_2,p_3, \ldots$ such that each $p_{n+1}$ is perpendicular to the span of $\{p_1,p_2, \ldots, p_n\}$. That gives an increasing chain of finite-dimensional subspaces $P_n = $ span$\{p_1,p_2, \ldots, p_n\}$. 
By how we chose the polynomials $p_n$ we know the inner product restricted to each $P_n$ looks like the Euclidean inner product on $\mathbb R ^n$. 
Then you can choose vectors $\{v_1,v_2, v_3,  \ldots \} \subset V$ such that each $\{v_1,v_2, \ldots v_k, v_{k+1}\} \subset P_k$ form the vertex of a regular simplex at the origin. It follows the set $\{v_1,v_2, \ldots v_k, v_{k+1}\}$ has mutually negative dot products. By extension the same is true for $\{v_1,v_2, v_3,  \ldots \}$.
Question: What if the space is finite-dimensional, but the inner product is not positive-definite?
