Prove linear vector space consider a set of vectors $H = \{e^{a_1x}, e^{a_2x}, ..., e^{a_nx}\}$ where $a_i \in \mathbb R$ and $i= 1,2,...,n$ are distinct
how can I prove that $V= \text{span}~ H$  is a linear vector space?
I know I need to  prove closure under addition, scalar multiplication, and the zero vector
Could I do this by say:
$f(x) = m_1* e^{a_1x} + m_2* e^{a_2x} +  ... + m_n * e^{a_nx}$
$g(x) = l_1* e^{a_1x} + l_2* e^{a_2x} +  ... + l_n * e^{a_nx}$
for some $m_i$ and $l_i, i= 1,2,...,n$
and then try $f(x) + g(x)$?
and for scalar try:
$r*f(x) = r (m_1* e^{a_1x} + m_2* e^{a_2x} +  ... + mn * e^{a_nx})$
I am not sure what to do about the $0$ vector
 A: If you're taking $V = \text{span}~ H$, then by definition, $V$ is the closure under addition and scalar multiplication of $H$, including the zero vector, so $V$ is a linear vector space.
Maybe you want to ask what this linear vector space looks like?
A: By definition of linear span, $span(H)$ is a vector space. The zero vector being the trivial combination (all coefficients zero).
A: Because all $a_i$ are distinct we can order them without loss of generality. So let them be ordered like this: $a_1<a_2<...<a_n$. Now suppose that $e^{a_jx}$ is a linear combination of $e^{a_1x},e^{a_2x},...,e^{a_{j-1}x},e^{a_{j+1}x},...,e^{a_nx}$, so that $e^{a_jx}=\sum_{i=1}^{n}b_ie^{a_ix},(i\neq j)$. (I do not know how to write that the sum excludes the case $i=j$ so I wrote it in the brackets). Now we divide this expression by $e^{a_jx}$ to get $1=\sum_{i=1}^{n}b_ie^{(a_i-a_j)x}$ and now let $x\to\infty$. When you go to the limit the terms $e^{(a_i-a_j)x}$ go to $0$  if $(a_i-a_j)<0$ and to $\infty$ if $(a_i-a_j)>0$ so the right hand side is not equal to $1$ so the vectors in the set are linearly independent and because of that they span a vector space.
