Let $S \subset L^2(\mathbb{R})$, and let us define $S^{\perp} =\{f \in L^2(\mathbb R) | \left< f,g\right> =0, g \in S\}$. Show that $S^{\perp}$ is a vector subspace of $L^2$.
Show that $S^{\perp}$ is a vector subspace of $L^2$
0
$\begingroup$
linear-algebra
-
0@alvoutila: i think your definition of $S^{\perp}$ is missing something. – 2010-10-22
-
0what is it missing? – 2010-10-22
-
0I think Chandru1 means you didn't define your inner product. It should be $S^{\perp} = \{f \in L^2(\mathbb{R}) : \int_\mathbb{R} f \bar{g} = 0 \forall g \in S \}$ right? Do you know what you are supposed to show and is there a specific part that you are having trouble with, or do you just not understand what you need to do? – 2010-10-22
-
6And even more to the point: If $(V,\langle\cdot,\cdot\rangle)$ is _any_ inner product space and $S \subset V$, then the set of vectors that are orthogonal to everything in $S$ is obviously a subspace of $V$ since the inner product is sesquilinear. – 2010-10-22
-
3@user1736: when one speaks of $L^2$, the inner product is implicit. No one sanely uses *another* inner product on that space... – 2010-10-22
-
0alvoutila, you messaged me that you have many questions in your "box." What do you mean by "box" ? – 2013-01-24
1 Answers
3
I think you mean, show that $S^\bot = \lbrace f \in L^2| \int_\mathbb{R} fg dx = 0 , \forall g \in S \rbrace$ is a vector subspace of $L^2$.
Let $f, g \in S^\bot$ and $\alpha, \beta \in \mathbb{R}$, then for $h \in S$, $\int_\mathbb{R} (\alpha f + \beta g)h dx = \alpha\int_\mathbb{R}fh dx + \beta\int_\mathbb{R}gh dx = \alpha 0 + \beta 0 = 0$.
Therefore $\alpha f + \beta g \in S^\top$, and so $S^\bot$ is a vector subspace.