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's actually just one question. The second resolved itself during writing :D2012-09-20
  • 0
    Excellent : ) ${}$2012-09-20
  • 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
    what the heck happened to the mathjax stuff? @_@2012-09-20
  • 0
    @foaly I'm not sure. In any case: Let's get the first part right, first. Can you tell me what the zero vector is in this space?2012-09-20
  • 0
    the zero polynomial? ($a_n = a_{n-1} = ... = a_0 = 0$)2012-09-20
  • 0
    @foaly Yes. So what is your argument that the zero function is in the subspace?2012-09-20
  • 0
    well the zero polynomial is zero at $s_0$. so it's in there.2012-09-20
  • 0
    @foaly Yes, good! Now would you repeat your other two proofs, please?2012-09-20
  • 0
    (Though, I'm not sure why you speak of polynomials now, I thought we're talking about functions)2012-09-20
  • 1
    where's the difference? x.x or how would you call it? well, scalar multiplication: where a function is zero, it is still gonna be zero when you multiply it by something ($c\in F$). Not sure how to express that adequately? addition: two functions added to each other will also always result in a function that is zero in the same place, which is $s_0$. Now i really don't know how you would prove / express this other than just with common sense.. ?2012-09-20
  • 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