-4
$\begingroup$

Let X be any set, and let $V = \{f: X \to F\}$ be the vector space of functions on $X$ with pointwise addition, i.e. $$(f + g)(x) = f(x) + g(x),\quad f, g \in V.$$

  1. For each $x \in X$, let $fx \in V$ be the vector defined by $$fx(y)=\begin{cases}1, & \text{if } y=x \\ 0, & \text{if } y\neq x \end{cases}$$ For any finite subset $\{x_1, x_2, \ldots , x_n\} \subset X$, show that $\{fx_1,fx_2, \ldots ,fx_n\}$ is linearly independent.

Please help! I have no clue how to even begin solving this question....

  • 0
    I literally don't even really know how to start! I know the definition of linear independence since I have been proving it for weeks now! I literally have no clue how to start this!2017-01-23
  • 0
    Consider the particular case $n=2$. If $g=afx_1 + bfx_2 = 0$, what can you say about $g(x_1)$ and $g(x_2)$?2017-01-23
  • 0
    I'm really not sure lol :(2017-01-24
  • 0
    Have you computed $g(x_1)$?2017-01-24
  • 0
    I don't know how.. I'm so lost2017-01-24
  • 0
    What is $fx_1(x_1)$ and $fx_2(x_1)$?2017-01-24
  • 0
    is fx1(x1) = 1 and fx2(x2) = 2??2017-01-24
  • 0
    The first one is correct. I haven't asked for the second one and also it doesn't make sense. If you are unsure, look again at the definition of $fx$.2017-01-24

1 Answers 1

0

Let $\alpha_1 ... \alpha_n \in K$, where K is the underlying field.
Lets assume there exsits those coefficients such that $$ \sum_{i=1}^n \alpha_i f_{x_i}(y)=0 $$ Here the $0$ on the right-hand side is the 0 function $f(x)=0$. I will also suppose that $x_i \neq x_j$, otherwise you can bundle the coefficients to $(\alpha_j+\alpha_i)f_{x_i}(y)$. If we evalue the sum at an arbitrary $x_k \in \{x_1,....x_n \} $ we get that $$ \sum_{i=1}^n \alpha_i f_{x_i}(x_k)=\alpha_k $$ Therefore $\alpha_k=0$, since our sum has to be zero for all points. Since $x_k$ was arbitrary, we deduce that $\alpha_i=0$ for all $i \leq n$. Can you see now why there is linear indepence?

  • 0
    Yes! thank you!! There is a second part to the question which asks:2017-01-24
  • 0
    "When is V finite-dimensional?"2017-01-24
  • 0
    Im not gonna do that, but my approach would be to see what happens when X or F are finite, finite dimensional or infinite dimensional. The question also seems really vague.2017-01-24
  • 0
    No worries! Thank you for your help :)2017-01-24