0
$\begingroup$

I am interested to know an example of a collection $S$ of real valued functions $f : \mathbb{R} \to \mathbb{R}$ with the following properties.

  1. The set $S$ is not closed under addition. ($h(x) = f(x) + g(x)$).

  2. The set $S$ is not closed under multiplication. ($h(x) = f(x)g(x)$).

  3. There exists a binary operator under which the set $S$ is closed.

    EDIT : This edit is being made after receiving comments and suggestions from Zev Chonoles and joriki.

    The condition 3 is modified as below conditions.

    3A. There exists a binary operator $\star$ under which the set $S$ is closed.

    3B. The operator $\star$ on the set $S$ has associative property.

    3C. $\forall f_1,f_2,f_3 \in S$ if $f_1 \star f_2 = f_3$ then $f_1 \ne f_3$ and $f_2 \ne f_3$.

  • 2
    This is true for any set with properties 1 and 2, since you can define an arbitrary binary operator on it. I think you'll need to say something about what sort of binary operator you want this to be.2011-04-26

1 Answers 1

5

Here is one that meets the current requirements (including 3A, 3B, 3C):

Let $S=\{f_n\}_{n\in\mathbb{N}}$ where $$f_n(x)=\begin{cases}n\text{ if }x\neq0\\\textstyle \frac{1}{2}\text{ if }x=0\end{cases}$$ Clearly $S$ is not closed under addition or multiplication, and $S$ is infinite. Define $f_n\star f_m= f_{n+m}$ for all $n,m\in\mathbb{N}$. This operation is associative (because $+$ is associative on $\mathbb{N}$), and is guaranteed to have $f_n\star f_m\neq f_m$ and $f_n\star f_m\neq f_n$ for all $n,m\in\mathbb{N}$ (because $0\notin\mathbb{N}$).

  • 0
    @Zev Chonoles : Thank you for the answer. I wanted something else. I still donot know if this condition helps. The Set should have infinite number of elements.2011-04-26
  • 2
    @Rajesh: No, that doesn't help; see my comment under the question.2011-04-26
  • 0
    @joriki : does these conditions help. 1. Third operator ($\star$) should be associative and if $f_1 \star f_2 = f_3 $, then $f_3 \ne f_1$ and $f_3 \ne f_2$ for all $f_1,f_2 \in S$.2011-04-26
  • 0
    @Zev, @joriki : I would like to add the conditions in my last comment to the question and stop it there, with your due permission.2011-04-26
  • 0
    @Rajesh: That would be fine.2011-04-26
  • 0
    @Zev : thank you very much.2011-04-26
  • 0
    @Zev : I do not intend to change any further, just out of curiosity i am asking, what happens if I impose a condition that $f_n$ are all continuous ?2011-04-26
  • 1
    @Rajesh: Using [bump functions](http://en.wikipedia.org/wiki/Bump_function), we can construct $f_n$'s that are not only continuous, but $C^\infty$, and have the property that: $f_n(0)=\frac{1}{2}$ for all $n\in\mathbb{N}$, and $f_n(x)=n$ for all $|x|>1$. These functions, along with the same operation in my answer, will do the trick.2011-04-26