0
$\begingroup$

Let $l_2^{+}$ be the Hilbert space of all square summable sequences $\{x_n\}, n \in \mathbb{N}$ under some definition of inner-product $\langle,\rangle_l$. Define $B[l_2^{+}]$ as the set of all bounded linear transformation from $l_2^{+}$ to $l_2^{+}$. Finally, let $A[l_2^{+}]$ be the set of all bounded transformations from $l_2^{+}$ to $l_2^{+}$. Note that $B[l_2^{+}] \subset A[l_2^{+}]$ and that $A[l_2^{+}]$ contains transformations that are not necessarily linear (the superposition property does not hold).

Define the inner product on $A[l_2^{+}]$:

$$\langle T_1,T_2\rangle = \sup_{x \in l_2^{+} - \{0\}} \frac{\langle T_1x,T_2x \rangle_l}{\langle x,x \rangle_l}\text{, for all }T_1, T_2 \in A[l_2^{+}]$$

Question: is $B[l_2^{+}]$ dense on $A[l_2^{+}]$?

  • 2
    A hlibert space is still a vector space...what do you mean by a operator which is not linear?2012-09-14
  • 0
    This is not the core of the question. Anyways, a nonlinear operator is an operator which does not have the superposition property.2012-09-14
  • 1
    Your "inner product" is not an inner product.2012-09-14
  • 3
    Presumably you are asking whether for any bounded nonlinear operator $T$ and $\epsilon > 0$ there is a linear operator $S$ such that $\langle T-S, T-S \rangle \le \epsilon$, i.e. that $\|(T - S) x \|^2 \le \epsilon \|x\|^2$ for all $x$. That is clearly not the case: e.g. you can find $T$ where $T x = T(-x) = x$ for some $x \ne 0$.2012-09-14
  • 1
    @Robert I think what you wrote is actually an answer. I'll add a comment for the OP: it's a good idea to test conjectures about Hilbert spaces on finite-dimensional examples. For example, can we approximate $f(x)=|x|$ by linear functions (in one dimension)? Of course not.2012-09-15
  • 0
    Very good coment! However I would like to know why it is not an inner product, since it is linear in the first argument, positive definite, and symmetric.2012-09-16
  • 0
    Because of the sup, it is not linear in the first argument.2012-09-16

0 Answers 0