2
$\begingroup$

I'm going through my assignments for this week, and I have a problem understanding the (notation of?) this exercise:

Let $S$ be a nonempty set and $F$ a field. Prove that for any $s_0 \in S$, $\{f \in F(S,F):f(s_0)=0\}$, is a subspace of $F(S,F)$. ($F(S,F)$ being the set of all functions).

Now what I'm wondering is what exactly is $s_0$, why the $_0$, and how should I understand the $f(s_0)=0$ part of the subspace?

Thanks for any help :)

  • 1
    It is$a$convention to give a fixed element a subscript, like $s_0$, to emphasize that it is fixed. In this situation, it would also be common to write $s_1$. But these are conventions, like using $x$ to denote a variable and $a$ to denote a constant.2012-09-20

1 Answers 1

2

I think they chose the index "$0$" because the functions are zero at $s_0$. In the question, $s_0$ is an element you pick (fix), in $S$.

So if $F(S,F)$ is the space of all functions $S \to F$ then the subspace consists of all functions that are zero at $s_0$. Perhaps one could denote the subspace $F_{s_0}$ to make it clear that it depends on $s_0$.

For example, we could look at the space of all functions $\mathbb R \to \mathbb R$ and consider the subspace of all functions that are zero at $3$.

  • 0
    @foaly Sorry your last comment didn't ping me. Yes that's right. If $f(s_0) = 0$ then $cf(s_0) = 0$, too. Common sense is perfectly fine : )2012-09-26